« first day (2760 days earlier)      last day (2277 days later) » 

6:36 PM
hi @TedShifrin :)
 
hi @Shobhit
 
today i saw a question online, which was, if a number divided by a1 ,a2, a3 leaves the same remainder in each case, find the number. The answer is easy, but the author used a trick, he wrote the number is H.C.F (a1-a2 ,a2-a3, a3-a1), why is this true?
 
@wilkersmon: When you do (for simplicity) $F(\omega,Y)$ this is a (double) contraction of $F\otimes\omega\otimes Y$. So you apply (c) and (d).
There's not a unique answer to that, @Shobhit.
 
but when i am using this method, i am always finding the largest possible values for which this is true @TedShifrin
 
No. You can add any multiple of the LCM of the $a_i$.
Are you told that the $a_i$ are relatively prime?
 
6:42 PM
no, they were not
 
So I don't think there's a general rule for an approach, then.
 
Hey guys
 
hmm, ok ty
 
Can a cubic ever be symmetrical about some x=k ?
 
Of course, @Tanuj. Depends what kind of symmetry you are thinking.
 
6:45 PM
@TedShifrin idk , ig the question asks for the symmetry like x=k acts as a mirror for the cubic
 
Likely they mean reflection symmetry in which case there's not many possibilities
 
No, there are different kinds of symmetry. $y=x^3$ is symmetric about the origin. Oh, I see .... about the line $x=k$. That would require reflective symmetry, which an odd degree polynomial clearly cannot have.
 
So you'd have to have $a = 0$
 
@TedShifrin Okay , so i can take this as a rule ? Odd polynomials are never symmetrical about a vertical line ?
 
I hate trick questions like this. So if we assume $a=0$, then it's symmetric about $x=-c/(2b)$ and (3) holds.
 
6:48 PM
Yeah
 
@TedShifrin lol yea i figured that out
 
It's a JEE thing
 
@Tanuj: Odd degree, yes, because as $x\to\infty$ and $x\to -\infty$ the function goes in opposite directions.
Hi, DogAteMy.
 
@TedShifrin Thanks a ton , bro ! :)
 
Sure thing.
 
6:51 PM
lol @ "bro"
 
@BalarkaSen I just figured out what i just did . @TedShifrin Sorry Ted !
 
No big deal. I don't take offense.
 
cool :)
 
Ted is an oldtimer of this chat. We don't know what we'll do without him.
 
@TedShifrin an answer that’s true because x+0=0 is a bit annoying
In that context at least
 
6:54 PM
I don't follow your comment, but I already said I hated questions like that ;P
 
(Though I’d mind it less if “none of the above” wasn’t listed)
 
Yeah, I would have marked "none of the above."
 
I have been familiar with Indian competitive questions way too much to trust that option
 
So I have to take the nationality of the question-asker into account? That's racist.
 
6:56 PM
Hahah
Well JEE is a point of pride for India so it can't possibly be racist, just a mark of greatness of our country
 
@BalarkaSen You've given jee too ?
 
The system which supplies the greatest number of engineers in the world
 
How much did you score ?
 
No comment.
 
@Tanuj Nah. I haven't graduated high school yet (the finals are at the end of next month)
But I also would not take JEE, no
 
6:58 PM
ah okay
 
Are you taking it this year?
 
yup
 
Good luck
 
Thanks man :)
 
Oh, Balarka is a "man" and I'm a "bro." I need to analyze this.
 
7:00 PM
Hahahah
 
@TedShifrin I'm way too bad at this ! You need to teach me this - Addressing people
 
@Shobhit: I'm curious now. What is the exact question you found? But do you agree there are infinitely many solutions? \
You shouldn't ask me, @Tanuj. I call Daminark Demonark, for example.
 
You should call him the potato-thonk man
 
Way too many syllables.
Balarka: You're not supposed to be wasting time here.
 
he addresses himself as A-min. @Daminark show us the email you sent to Charlie boi
 
7:02 PM
@TedShifrin alright man ! :) Mathematicians are always so much fun to be around with
 
Some mathematicians are smart but boring.
 
Lol I don't have it now, I just inspect elemented something ridiculous and once it was over I just got rid of the photo
 
@TedShifrin You're certainly smart , nowhere near boring !
 
let me try to find the exact question, there maybe many solutions but not infinite since r is positive @TedShifrin
 
I think it's in discord somewhere
 
7:03 PM
@Shobhit: No, it's infinite, always. The sign of $r$ doesn't matter.
 
But basically what happened was this
So we have a group chat for the undergrads in functional and after our prof didn't upload the pset for quite a while we were like uh what do we do?
 
Guess no homework this week!
 
So I was like alright I'll email him, someone jokingly suggested calling him Charlie-boi
 
Is this Fefferman?
 
@TedShifrin Alright man , see you around
 
7:05 PM
Nah, Charles Smart
 
Take care, @Tanuj. Good luck!
 
Charles Fefferman is at another school, though we do have his brother, Robert Fefferman
 
Oh right. I knew that. Stooopid me.
 
haha sorry, its the number that divides these three given numbers :P @TedShifrin
 
@TedShifrin You too man ! Have a good one :).Thanks for the help.
 
7:06 PM
there should be an emoji for an embarrased face
 
But yeah so when he suggested that I wrote up a joke email being like "Yo fam where the pset b @?"
And I signed off as the name of the person who suggested it
 
@Shobhit: OK, so let's have a correct statement, please :)
 
He was like lol I'm mildly concerned that you wrote his email in already, so I decided as a joke to pretend that I actually sent it
Sent a much more appropriate email, but then used inspect element to make it look like the original, took a screenshot
 
@Daminark that's a Shyamalanesque twist right there
 
sure, sorry about that.What is the largest number which divides 62, 132 and 237 and leaves the same remainder in each case? @TedShifrin
 
7:08 PM
Now, he knew immediately that I used inspect element, but someone else who was with me after I did my work didn't realize that and was like, Amin why?!
 
Oh god
 
And then I was just curious at how many people would actually believe that I sent it, including Balarka
 
I'd believe anything inappropriate about you, Demonark.
@Shobhit: Very different question. Let me now think a second.
 
guys, I'm sorry to interrupt, but please help, do you know any other authors like Terence Tao that you can recommend? I'm searching for those who presents material (like proofs, key ideas, big picture, new definitions) in a clear and rigorous way
 
Also I created a response from the professor saying something like, thanks for reminding me about the pset but this is bad email etiquette so I'd recommend not making a habit out of this
@TedShifrin perhaps my puns are ahead of their time but I don't think I spend my time doing things which aren't appropriate
 
7:13 PM
If making is math puns is wrong then I don’t want to be $\perp$
 
LOL
 
Orthogonal?
 
Jesus
End my life
 
“Normal” would also work :P
 
@Shobhit: Now that you stated the problem carefully and correctly, is it obvious to you that the mystery number $m$ must divide all of their pairwise differences? It should be.
 
7:15 PM
yes, i got it
 
OK :)
 
math puns are the first sine of madness
 
I'm not going to cosine any loans with denizens of this chatroom.
 
lol
 
@TedShifrin Is that a tangential insult at our basic mathematics skills?
 
7:21 PM
No inverse insults here. Direct assault on your integrity.
 
I see. So the loan comment was merely a hyperbole.
 
Let's not start telling paraboles now.
<--- leaves before Demonark joins the fray.
 
Soon I'm gonna revoke your rights to trash talk on me
Like
God
 
Good luck revoking my rights. Only our President can do that.
 
"I pass a policy and forget it's name" - Lil Trump
 
7:24 PM
I just had lunch and now I see this
 
Balarka: I leave it to you to calm Demonark's stomach and nerves.
 
@TedShifrin to put things on a lighter note, here's a billboard I see on the way home everyday: citypages.com/news/…
 
I mean can we even classify this as a nerve problem?
(At least I tried)
Okay wait no much as some folk want to paint me as bottom of the barrel, I have standards and this was a quality lapse, why do you star my worst jokes?
 
Can someone say woosh?
3
Q: Fake proof of $2p_1=0$

TsangLet $E$ be any real bundle over $X$. I have somehow produced a 'proof' that $2p_1(E)=0$: By the splitting principle, we can write $E=E_1 \oplus ... \oplus E_n$ where $E_i$ are real line bundles. Then $p_1(E)=c_2(E \otimes \mathbb{C})=c_2(E_1 \otimes \mathbb{C} \oplus ... \oplus E_n \otimes \math...

 
Everyone star Daminark's joke
 
7:31 PM
@Clarinetist woosh
 
It's actually his peak humor
 
>:(
 
Here's an amusing question: can someone ELI5 that question I linked?
 
I can try to explain the relevant words
Which can, if only explain a fraction of what's there, at least start an interesting conversation. Depends on how much time we're prepared to put on it
 
While Balarka does that I can talk down to you as if you were 5 if that helps.
 
7:36 PM
I can't don't have time to read in great detail right now, but feel free to ping me, and I can read it later
Lol @Tobias
I wonder how many people respond with that on Reddit
 
I mean i think ELI5 posts greatly overestimate the ability of 5 year olds
Usually the correct response to "ELI5 ____" is to tell the kid to play tag and that they'll learn it in 10-15 years, likely upon asking an ELI5 question
 
ELI5 ELI5 questions
 
The book of ELI5 was a mediocre movie
 
is that the den5el movie
 
bubba is my favorite movie
 
7:44 PM
Is $\delta(\textbf{x}-\textbf{a}) = \dfrac{1}{L}\sum_{k=1}^{\infty} \sin(\dfrac{\pi k \textbf{x}}{L}) \sin (\dfrac{\pi k \textbf{a}}{L})$?
 
@Lozansky need more context
 
@Clarinetist I'll write something later perhaps
 
LOL at the xkcd! I'll have to print that one out
 
@wilkersmon Like what? It's Dirac-Delta distribution
 
7:47 PM
My most recent favorite has been the machine learning one
 
$\aleph_0$
 
there is some thing I don't understand in a proof
how do we get the first equality ?
how do we get $f(z) - f(z_0) = a(z - z_0)^k + G(z)$ for all $z near z_0$ ?
how do we get that ?
 
what is G(z)?
nevermind
 
$f(z)-f(z_0)$ has a zero of vanishing order $k \geq 2$
that means if you expand it as a power series the first $k$ coefficients are $0$
 
hohh
ohhh okay
thanks @MatheinBoulomenos
 
7:57 PM
np
I've read the draft of your thesis
 
oh how do you like it ?
@MatheinBoulomenos
 
It's interesting. You touch upon a lot of different topics and still give proper motivation for each.
 
@Adeek what book is that?
 
@MatheinBoulomenos that is how I actually think. I like to know where things come from and how it was discovered
@wilkersmon Stein
 
One thing I still don't get is how the Q-construction is a form of linearization, though
 
8:02 PM
@MatheinBoulomenos I mean it takes more time to learn things this way, but it is worth it from my opinion.
 
how does Stein compare to Alhfors?
 
so the way I think about it is that you collapse the morphisms
This collapsing gives some kinda of linearization of the category
I haven't read Alhfors @wilkersmon
@MatheinBoulomenos wait can you explain to me this why do we know that we have at least two zeros ?
 
having a zero at $z_0$ means that the first coefficient in the taylor series vanishes. Because the derivative has also a zero at $z_0$, the second coefficient vanishes, too
 
well we know that we have one zero at thee derivative
but we don't know that we have zero at the original function ?
 
that's why we substract $f(z_0)$
that doesn't change the derivative but creates a zero at $z_0$
 
8:12 PM
ohhh
okayy yes
thanks a lot
it is crystal clear now
see @MatheinBoulomenos your also good in analysis :P
 
I guess
 
how is things btw
you were writting on your blog ?
 
yeah I finished the first entry
 
@Semiclassical Ugh I'm writing appendix D finally and now I have to interpret my disastrous notes from the second GR seminar talk...
 
But it's more technical stuff as a preparation for a cool application in the second entry I'm still writing
 
8:20 PM
@MatheinBoulomenos cool
Once I am done with my thesis I would like to start writing again on my blog.
 
@Semiclassical like, what did I even accomplish here i.gyazo.com/fc22b1568ede137fa5b34e668aad3864.jpg
I can't believe I gave a talk from these notes
 
@Adeek If you want to read it: wlou.blog If you know the construction of tensor products for modules then everything will be very familiar
 
no idea
 
nice I was about to ask about your blog
 
@Semiclassical I was not notationally consistent here so it's a disaster
 
8:22 PM
@MatheinBoulomenos this is mine
 
For all the other parts, I wrote the thesis and the notes concurrently. Going backwards here is a complete pain
 
I used to write in it 1 year ago, but got busy.
 
@Adeek thanks, I will have a look later
 
awesome
 
8:35 PM
just gave my lectures
advisor meeting in an hour and a half
lol
 
good luck @Antonios-AlexandrosRobotis
I am gonna go back to work
cya guys
 
8:56 PM
cya @Adeek
 
Hi! I want to understand what is "alternate edges"?!
 
@YOUSEFY No idea. Where are you seeing this term?
 
here in Vizarain's textbook about approximation algorithm: Chapter 3, it is about proving the follwoing lemma: let V' be subset of V, such that |V'| is even, and let M be a minimum cost perfect matching on V', Then cost(M) <= 1/2 (OPT)
OPT = tour of TSP
TSP is Travling salseman problem
TSP in NP-complete, and we try to give an approximation algorithm for this problem in metric case.
 
9:12 PM
@BalarkaSen are you here
 
yes
 
@BalarkaSen If I pull back $d\mu(g)$ along $\Phi$ do I get $d\mu(\Phi^*g)$? I sure hope so
 
Isn't this what I was asking you lol
 
Maybe
Are you writing my thesis?
 
I sure hope not
So say $\Phi : M \to M$ is a diffeomorphism and $M$ has a Riemannian metric $g$
 
9:15 PM
yes
is $\Phi^*\omega_g=\omega_{\Phi^*g}$
where $\omega_h$ is the volume form
Oh dear god this manifold doesn't have to be orientable.
Kill me.
 
F
 
If $p \in M$ and $\mathbf{b}$ is an orthonormal basis wrt $g$ at $T_p M$, then $\omega_g(\mathbf{b}) = 1$.
 
use $\mathfrak b$ like a normal person
(Milnor)
 
So $\Phi^* \omega_g((d\Phi)_p^{-1} \mathbf{b}) = 1$
And $\omega_{\Phi^* g}((d\Phi)^{-1}\mathbf{b}) = 1$ because $(d\Phi)^{-1}\mathbf{b}$ is orthonormal wrt $\Phi^* g$ by definition of pullback metric
 
didn't I tell you this earlier
 
9:20 PM
You did.
:P
 
Yes, well
I have an issue because I'm not sure my map is orientation preserving
So I might be getting a minus sign
 
Right
 
@BalarkaSen I think it might be the meme of pullback vs. just evaluating at the new point. Like, the result I get is that composing Green's function w/ an orientation reversing isometry gives the negative of the Green's function, which is clearly absurd.
 
9:48 PM
What's the difference between $\mathbb{R}^{2\times 2}$ and $ \mathbb{R}^{4}$? The context is that I have a 2x2 matrix manifold on this space. Are those spaces equivalent or is there some deeper meaning?
"matrix manifold" I mean a matrix lie group that can be described as a manifold on the above spaces.
math.stackexchange.com/questions/1020029/… says they are isomorphic which is what I was asking
 
10:30 PM
 
@BalarkaSen Ah.
 
Amazing
 
@BalarkaSen $\omega_g(\mathfrak b)=1$ on a positively oriented basis
 
Yes, of course
 
So if $\Phi$ reverses orientation, you get the negative volume form
 
10:31 PM
I thought we agreed on that
 
wtf
 
You just said that you might be getting a minus sign because your map is not orientation preserving above, to which I replied affirmatively
 
@BalarkaSen Yeah, $\int_M\omega=-\int_N\Phi^*\omega$
but $\Phi^*\omega=-\omega$
so it works out
 
@Skortya: The vector space of $2\times 2$ matrices is isomorphic to $\Bbb R^4$, of course, but matrices have some structure (e.g., matrix multiplication) you can't give on $\Bbb R^4$. So it's important to know what we (you) are talking about.
 
10:46 PM
hi @Ted
 
hi demonic Alessandro — how goes it?
 
Quite well, I have a question for you since you've been a professor for a lot of time, are you familiar with Miles Reid undergraduate commutative algebra book?
 
No, haven't seen it. I know his undergraduate algebraic geometry book somewhat.
 
Hi @Ted @Alessandro
 
Hi Mathein.
 
10:50 PM
Hi @Mathei
I see, because he wrote he had to leave out some topics from the book to fit into a 30 hours undergrad course, but it seems to me one would have to work through the book at a crazy speed to cover it in a 30 hour course
 
Some of us lecture quickly :)
It's interesting that some people have commented on my YouTube lectures about how slowly it all goes ... but these are advanced students who've forgotten that I was teaching it all to people learning it for the first time.
 
@AlessandroCodenotti I see, that's the reason why he doesn't cover tensor products (they're really important!)
 
You can't cover everything in a tiny book!
That makes for thick books.
 
yeah, but taking tensor product feels like a basic operation to me, I consider at as natural as taking direct sums or quotients at this point
 
You don't count.
 
10:55 PM
Ah, @Mathei do you happen to have an example of an integral domain in which all irreducibles are primes yet isn't an UFD? I was thinking about something like $\Bbb Z[\{2^{\frac{1}{2^n}}:n\in\Bbb N\}]$ but I'm not sure
 
Reid obviously felt he could get to more important things more quickly without it.
 
@AlessandroCodenotti there are integral domains which don't have any irreducibles. Take for example the integral closure of $\Bbb Z$ inside $\Bbb C$
 
Do they still have non-unit elements? I think so, $2$ isn't invertible in your example, right?
 
In English that's a very ambiguous answer.
Is it "nein" or "doch"? :)
 
10:58 PM
There is a tiny commutative algebra book which covers quite a lot.
 
an element is a unit in the ring I mentioned iff the constant term of the minimal polynomial is $\pm 1$
 
That makes sense
Is there a simple way to see that there are no irreducibles?
 
Every element has a square root, because if $a^2=b$ and $b$ is an algebraic integer, then so is $a$ (you can write down a polynomial for $a$ explicitly)
So we have $b=a^2$, if $a$ is a unit, then $b$ is a unit, if $a$ is not a unit, $b$ is not irreducible
I think the ring of entire functions also qualifies. Iirc the only irreducible elements up to a unit are of the form $z+a$ for $a \in \Bbb C$ and these are also prime. Not sure how to show that, though
Okay, that follows from the Weierstraß factorization theorem
 
@MatheinBoulomenos Cool, that's a nice example
 
you can always construct entire functions with zeroes as you like (as long as they are discret) and $f \mid g$ in the ring of entire functions iff the order of zero for $f$ is $\leq$ than the order of zero for $g$ at every point
From there it follows that every irreducible element is associate to $z+a$
$\mathcal{O}(\Bbb C)/(z+a) \cong \Bbb C$ by the first homomorphism theorem, so $(z+a)$ is maximal, thus $z+a$ is prime
if you take any entire function with infinitely many zeroes, then you can't factor that as a finite product of irreducibles
 
11:06 PM
 
these are the two natural examples I can think of
 
that is called Warsaw circle
 
I have more examples, but they're more constructed
 
but you could approach the limiting arc in non-nomeomorphic ways
by different patterns of wiggling
so could I call those "generalized Warsaw circles"?
@BalarkaSen
 
The example of entire functions can probably be generalized to holomorphic functions on domains in $\Bbb C$, but I'm not sure if Weierstraß factorization works the same way for that (I think it does, but the proof is harder? not quite sure)
 
11:10 PM
Ah, sanity check while we're talking about integral stuff, if $B$ is a finite $A$-algebra then it's also integral over $A$, right?
 
yes
What can be said is that in a ring where irreducibles are prime, if a factorization of an element into irreducible exists, then it is unique
 
@ForeverMozart Ah I remember that. Sounds like a good terminology to me
 
Right, we looked at some implications between "every (nonzero blablabla) element has a factorization into irreducibles", "if an element has a factorization then it is unique", "irreducibles are prime", "the ring satisfies ACC on principal ideals"
 
The counterexample that "every element has factorization into irreducibles" does not imply ACC on prinicipal ideals was quite difficult, iirc
I think there is one that is constructed in a paper, but that's pretty much it
 
I have no idea about that
 
11:16 PM
It is due to um Gram .. or Grams, something like that?
Ah, it's in the database: ringtheory.herokuapp.com/rings/ring/60
That's not something I could ever come up with
 
I've never even heard the name of most of the properties listed on that site wtf
 
don't worry, I could define ~40% and have heard of ~50% and I think I've read quite a bit on ring theory
 
Hi, Is it true $\forall P\in \mathbb Z[x,y] $ with $P(4,3)=P(2,4)=P(4,4)=P(1,2)= P(1,3)-3$, $\forall R,Q \in \mathbb Z[x],P(x,y)\neq R(x)+Q(y)$ ?
 
Some of the properties are trivially true for commutative rings, so you wouldn't hear of them unless you read on noncommutative algebra
 
Somehow "Don't worry, I only know half of everything" doesn't feel reassuring
 
11:30 PM
Oh yeah, that may have sounded wrong, sorry
I spent some time exploring pretty obscure corners of ring theory and I still never heard of half of those properties
and as I said, if you've never done noncommutative algebra, then you won't encounter a lot of those properties even if you're an expert in commutative algebra
There are more important things than knowing a lot of properties that a ring can and can't have and sometimes one doesn't know the word although one has worked with the property itself
I didn't want to sound condescending @Alessandro
 

« first day (2760 days earlier)      last day (2277 days later) »