« first day (2542 days earlier)      last day (2484 days later) » 

12:00 AM
So I guess you guess at what the antiderivative is, prove it's the antiderivative, and know that complex derivatives of things are analytic
to prove Morera
 
Yup
 
And that last statement probably comes from the Cauchy integral formula or some such
 
And it's pretty simple too
$F(z) = \int_{z_0}^z f(\xi)d\xi$
Since you're working in some, say simply connected domain $\Omega$, you have path independence
 
So that's well-defined
Also hey @Adeek! :)
 
12:04 AM
hey @Daminark good to see complex analysis discussion going on :)
 
Hello!
 
For sure
And hey @Lucas!
If you're into a treatment of complex analysis which does some algebraic/differential topology to start with and frames certain things in that context, try Berenstein and Gay @Adeek
 
Yo @Daminark, did you see the IMO's exam?
 
@Daminark Wait, why is the derivative of a thing analytic
 
Nope, how is it?
 
12:06 AM
This year's exam looks easier than the average IMO exam
 
Like, why are derivatives of analytic functions analytic? This is true because of Cauchy's integral formula
 
Thanks @Daminark I will keep that in mind I will start with stein then after that I will move on to more sophisticated treatment
@Daminark I love differential topology
@Daminark check out this playlist
its awesome
 
@Daminark Oh, derp, I see
 
@Adeek "Math says nothing" m8 u wanna go?
 
@Daminark ?
 
12:13 AM
@Daminark if you want to check out, you can find IMO in English here
Problem 1 is really easy tbh
 
I mean, it might not say anything about the real world, sure, until you decide from physics that a mathematical construction is superimposed, but to say that theorems of math say nothing... thems fightin words
 
@Daminark yeah
 
And @Lucas thanks, I'll check it out!
@Adeek much as this person is set to cause the great math/physics war, it seems like his explanations and such are solid
 
yeah his lectures are gr8
@Daminark Also yeah I noticed germans are aggressive haha
 
oh. as a small data point in the math/physics war, one the other condensed matter grad students I know is headed off to Chicago for a postdoc. @daminark
 
12:23 AM
Demonark: Another powerful technique which you should see is to use Morera to prove something defined by an integral of a continuous function with holomorphic $z$ dependence is a holomorphic function of $z$ by switching order of integration in a double integral.
 
I'm not following the distinction.
Oh. Showing that holomorphic integrand implies holomorphic integral?
 
Is that a win for the physics side?
 
well, there's a parameter with respect to which you're integrating ($t$) ... So how do we show $\displaystyle\int_\gamma \dfrac{f(t)}{t-\z}\,dt$ is a holomorphic function of $z$? Usual way is to differentiate under the integral.
hi skull
 
Hi professor.
 
yeah, gotcha.
 
12:26 AM
One could argue that basic Fubini is more elementary than diff under the integral. :)
 
hi @TedShifrin
 
hi Karim
 
In accordance with physics tradition, I tend to take diff under the integral for granted.
 
Yes, well, sometimes that's wrong/subtle with singularities.
You and I have discussed this before, I think.
 
How long does the tart take to bake?
 
12:27 AM
I didn't say it was a good tradition :P
 
I dunno, skull. I've never made an apricot tart before.
 
or, well, an ideal tradition
 
It might turn out a disaster.
But then baguette and good cheese and fruit will be dessert. :P
 
I'm never one to avoid experimentation.
 
12:29 AM
In the realm of complex analysis, what I'm intending to read up on is Borel summation / Borel transforms.
 
Of which I know not.
 
Yeah, I don't know a lot either.
I think it acts as a way to reconstruct an analytic function from its asymptotic series? Something like that, but if I knew what I was doing it wouldn't be called research.
 
Side note, R and R^2 should both have continuum-cardinality bases over Q, right?
And if so, this should imply they're isomorphic as abelian groups, or is that a thing you can only do in finite dimensions?
 
first question yes, use cosets
 
Isomorphic as abelian groups? Um ...
 
12:34 AM
what's the group operation?
 
Addition
 
addition
 
mmkay
 
$+$ obviously - e;f,b
lol
 
Actually I'm gonna meet now with a friend so I gtg, but hmm
 
12:35 AM
Bye, Demonark
 
but actually is this true
is there an isomorphism
 
but doesn't "addition" just mean "an abelian group operation" though
 
that's the prototypical one, sure
but multiplication in a multiplicative groups of units is abelian too.
 
yes, R is isomorphic as a Q-vector space to a direct sum of c=|R|-many copies of Q, hence R and RxR are both isomorphic as Q-vector spaces (any Q-vector space map is in particular an additive group homomorphism)
 
ohhh i think you need aoc though
 
12:38 AM
yes
or at least choice up to that far
 
2
Q: Characterization of group homomorphisms from $R$ to $R$

user166305I am trying to characterize all the group homomorphisms from $R$ to $R$. I have characterized all the "continuous" group homomorphisms from $R$ to $R$. They are of the form $f(x) = f(1) x$. Now I claim that all the group homomorphisms from $R$ to $R$ are necessarily continuous. Is this claim co...

 
if you don't believe that every vector space has a basis then gtfo of this chat :P
fight me
 
wow, rude
 
<3 be my friend please
 
Bring back "anon."
 
12:39 AM
okay thanks all!
 
where's that peter parker "wow rude" meme?
 
<---- practices being rude
skull: FYI, I just took the apricot tart out of the oven.
 
and?
 
LOL ... and? It has to cool off and then I'll put an apricot glaze on it.
 
Right.
Sounds delicious
 
12:42 AM
you can come have leftovers ...
 
thnx
Did you enjoy the Wimbledon final on Sunday?
 
not really ... it was very anticlimactic
 
Sports is like that sometimes.
 
Well, injuries aren't good.
 
Yup, they're a big part of it.
Especially contact sports.
 
12:49 AM
Is tennis a contact sport?
 
Nope.
Just saying.
 
notes the rhetorical question
 
::noted::
Especially More so in contact sports.
 
Not to mention concussions and Alzheimers brought about by one particular contact sport.
 
And before that it was boxing.
 
1:00 AM
UFC is the worst.
 
ehhh.
I doubt anything that's broadcast on live TV is likely to be 'the worst' as far as danger goes.
 
Well in UFC the fights generally are over immediately after someone gets hurt.
 
Hello @Ted!
 
and the submission stuff generally isn't life threatening.
There's no counts in ufc. You don't have people fighting after they already got their brain shaken for very long.
 
What's gotten less dangerous over time (though in a quite different category of 'sport') is racing.
 
1:02 AM
hi Lucas
 
I'm not much of a NASCAR guy, but the impacts which people walk away from are just crazy.
 
car safety in general has increased exponentially over the last 20-30 or so years.
 
well, we could all be athletic like our president ... who believes any exercise is deadly (and one must eat the fat only from KFC).
definitely, @PVAL ... but I dunno at 150 mph.
 
Well, in NASCAR at least there's both stuff inside the cars (roll cages, HANS devices, etc) and outside (e.g. safer barriers) which help to minimize the impact on the driver
 
I've read some complaints about NASCAR, that the cars are too dependent on clean air in front of them.
So passing has gotten a lot more rare.
 
1:05 AM
yeah, lots of focus on aerodynamics and drafting
main place you see crashes is when there's just so many cars in an area at once.
 
I think the thing is its at the point where drafting isn't nearly significant as having a better air component as a fuel
 
or is that draughting?
 
Hmm, interesting
 
so you are seeing much less passing, as cars get slower as you approach a car from behind.
 
Cars don't run well without oxygen ... although it's not like it was in 1974 when I tried to drive over Independence Pass in a far-pre-fuel injection car.
 
1:07 AM
oof, Independence Pass
I've been across that at least once.
 
I was so scared that it would stall out and I'd never start it again.
Fuel injection — piece of cake (I presume).
 
My main memory of it is seeing a line across a mountain range across a valley, realizing that it was a road, and asking..."we're not really going there, are we?"
(we were.)
 
Yup, we went there.
 
I'm not sure we drove this direction or the other, but this is what we're talking about:
though one has to go quite a ways into that video to get to the pass
 
A bit hard for me to remember 43 years ago
 
1:11 AM
Looking at a video its really difficult to tell if you are ascending or descending
There isn't really a clear horizon with the mountains in the back.
 
eh, you'll know once you're high.
 
I'm not watching 14 minutes, but that's the direction I went.
 
Rocky Mountain high.
 
skull channels John Denver
 
Yup.
 
1:12 AM
I'm watching it, so I'll track down where the pass itself shows up
 
I remember (vaguely) that this used to be a math chatroom
 
"general discussion"
 
Slope.
 
Soon I have to start studying up on what I need to teach.
 
How long has it been since you taught precalc?
 
1:17 AM
Well, this is a different clientele and a very different course. I last taught it over 10 years ago. I think AoPS has a lot of clever problem-solving in it ... unlike college precalculus.
 
you should record your lectures
 
Not feasible, and probably against their rules.
 
How much does it cost?
 
Plus I'm not sure how much will be actual lecture. I suspect it'll be lots of group discussions.
 
the student??
 
1:19 AM
I dunno.
They aren't catering to the poor, that's for sure. But no one would let me volunteer to teach the in-need students.
 
looks like $300-600 for general classes pre-calc is $490 ($543 with books).
 
In the bigger scheme of things, probably not that expensive.
I assume this kids leverage this all on their college applications ... and I assume I'll be writing recommendations (still).
 
Do you know the class size yet?
 
No. I think they're limited to 15 or 18.
I think they're still interviewing parents/students for quite a while this summer.
 
So this is like an exclusive thing too?
 
1:27 AM
I don't know how AoPS works on-line, but I believe that for the brick-'n-mortar school they do interview prospective students/parents.
I'll find out more, of course.
My boss, @PVAL, is a topologist you know, I'm sure.
 
Starbird?
 
-inactive
 
No, no, not your UT. The other UT.
 
Bar-Natan ?
 
I thought that chem eng from Princeton was your boss?
 
1:31 AM
Yikes.
Huh? skull?
 
He founded AoPS
 
No, @PVAL, Jim Conant decided to do this to be in SD full-time. I don't know his work personally, but I know he's good.
 
@skullpatrol Wow.
 
Oh, skull, I'm referring to the guy who's in charge of the actual school I'm at.
Although I think I'll meet the overall boss soon.
 
Oh, sorry.
 
1:32 AM
What U of T does he have to do with?
 
Tennessee
Ph.D. from UCSD
 
Weird
I didn't know Teichner was at UCSD.
 
Hi @LucasHenrique
 
Hey there
 
I guess he was there for a while.
 
1:34 AM
Yeah, I was confuzled about that, too.
runs away as Demonark enters
 
Teichner does so many different things.
 
All this far from my once expertise, but ... yes.
 
1:51 AM
Hey everyone!
@Ted huh, why'd you leave the room?
 
To escape you?
 
Hey that's not fair, why can everyone else escape me while I can't? Shrugs in bewilderment
 
I could never escape me, either.
 
Know thy self.
 
Only you can know us, skull.
 
1:57 AM
::noted::
 
::knowted::
 
rolls 6 1/2 eyes
 
6.4999...
 
rules skull out of order for arbitrary disruptiveness
 
::bows out::
 
2:02 AM
If I were feeling philosophical I'd talk about escaping the slavery of one's own desires
 
waits to see what Demonark does with that
you're always philosophical, DogAteMy
 
but instead I feel like I'm gonna sneeze
Done
 
LOL
heya Eric
 
hey hey
 
2:03 AM
rolls 3 1/2 eyes
 
hihi
 
@Ted just made some great sausage ragu with some hand made pappardelle
was gud
 
Damn, I'm impressed. You need to cook for me :) ... I'm cooking for a former colleague and his wife tomorrow ...
just made an apricot tart, did eggplant caviar for appetizer ... doing an asian chicken/asparagus salad and then a French pork stew
 
oooh I love me a good stew
 
sometimes food is more fun than math :P
 
2:08 AM
i agree pretty wholeheartedly
 
Did you find any good recipes in Europe during your vacation?
 
had some good meals, yes
 
Cooking is science for hungry people
 
science + art ... just like math
 
@Ted but no matter how good food is, can you really resist the urge of Lurie and topos theory?
 
2:09 AM
you know the answer, Demonark
 
True
 
You can have math without food
Math without drink is something else
 
well, only so far
 
Yeah you at least want to eat every 2 weeks
 
2:27 AM
u should eat more frequently than that
esp if u wanna do math man
 
True, let's say twice a week
 
Does every ring have a multiplicative identity? math.stackexchange.com/questions/1418036/… the most upvote comment says it is not necessary. But, quizlet.com/121089303/… says false
 
Depends on who you ask
 
the standard convention is yes, but it is just a convention
 
But I say that without identity, they're rngs
 
2:38 AM
rng still a ring, right?
 
Not as I see it
I mean I mostly meme with the whole rng thing, but roll with the rings need to have identity
 
By the definition of ring, there is no axiom about multiplicative identy
 
Well, that depends on which book you're using. Some books define rings to have identity, others don't. I think with identity is more common though
 
ok, thanks for your clarification
 
hey ive been researching PNT prime number theorem and ive come to the conclusion that x/(ln(x)-ln(ln(x))-ln(ln(ln(x)))-ln(ln(ln(ln(x))))-ln(ln(ln(ln(ln(x)))))) is a better bound then x/ln(x)
 
2:54 AM
@shai horowitz and why do you think it's a bound?
 
bound is the wrong word, i should say asymptotically equal
 
and why do you think it's assympototically equal?
I'm pretty certain it isn't
it just might look that way for computationally feasible things.
 
@PVAL-inactive of course they are ~ to each other, ln(ln(x)) etc. are all o(ln(x))
the iterated ln's are hardly relevant though, as they're superseded in approximation by a simple affine function in the denominator: $\pi(x)\sim x/(\ln x-1)$ (see Legendre's constant)
 
interesting thank you
thats pretty much exactly what im searching for
 
3:12 AM
What does a thing mean to be a bijection?
I know what a bijective function is.
I do also know the Chinese Remainder Theorem
 
bijection means bijective function
 
Random thought occurred to me in the shower

$(x-a)^2$ has its minimum at $a$, $~(x-b)^2$ has its minimum at $b$, and their sum $(x-a)^2+(x-b)^2$ has its minimum at $\frac{a+b}2$, their average.

Conjecture: that happens whenever you have a concave-up even function $f$ with a minimum at $0$: the minimum of $f(x-a)+f(x-b)$ is at $\frac{a+b}2$.
 
But I can't understand what it means to $\mathbb{Z}_{a_1\ldots a_k} \to \mathbb{Z}_{a1} \times \dots \times \mathbb{Z}_{a_k}$ be a bijection
 
That's not yet a function
That's just describing what the domain and codomain of a function will be
but it doesn't say what the function is
 
Yes, that's why it's so abstract to me
 
3:15 AM
what do you define as a bijective function @LucasHenrique
 
@shaihorowitz look it up
 
i know the def
 
@LucasHenrique the function is bijective. are you asking what the function is?
 
What you can say is that there exists a bijective function from $\mathbb{Z}_{a_1\ldots a_k} \to \mathbb{Z}_{a1} \times \dots \times \mathbb{Z}_{a_k}$
Hopefully your book actually defines what the bijection is somewhere
 
hi chat
 
3:16 AM
@AkivaWeinberger it's $[x]\mapsto ([x],[x],\cdots)$
 
(Indeed, we want a bijective homomorphism - that is, an isomorphism)
@arctictern Ah, yeah, that's right
And we have to check that that's well-defined
(which it is)
 
A injective and surjective function
 
@arctictern can you please explain to me the idea behind generating functions ? like for beginners
 
The "clothesline" analogy is good I think
A sequence is lots of little pieces of information
A generating function holds all those pieces of information in one object
 
Which is a 1-to-1 correspondence between domain and codomain, in which image = codomain
 
3:18 AM
@AkivaWeinberger okay so far so good :)
 
The definition is that the generating function of $(a_n)$ is $\sum a_nx^n\in\Bbb R[[x]]$, but I'm sure you know that already
Right?
 
So the idea is that certain manipulations to the sequence correspond to manipulations of the function
 
But when my teacher did an example , I could nto follow where he got the polynomials
 
Hello, can someone help me understand this answer: math.stackexchange.com/questions/1771525/…
 
3:20 AM
@KasmirKhaan What kind of example
 
Okay please continue the big picture and ill post later the example
@AkivaWeinberger Ok i post it now one second
 
So adding sequences corresponds to adding generating functions
 
I'm not sure where the $d_n$'s come from
 
Shifting sequences by $n$ corresponds to multiplying by $x^n$
So, for example, if the generating function of $(1,1,2,3,5,\dots)$ is $f$, then the generating function of $(0,1,1,2,3,5,\dots)$ is $x\cdot f$
'cause the first one would be $1+x+2x^2+3x^3+5x^4+\dotsb$ and the second would be $x+x^2+2x^3+3x^4+5x^5+\dotsb$
 
@AkivaWeinberger Find the number of solutions : x_1+x_2 +....+x_5 = r
, where x_1 >= 3 ,
2=<x_2 <= 4 ,
x_3 <= 2 ,
x_4 is even ,
x_5 is odd

But lets contiunue step by step ,I understand what you are saying so far
 
3:22 AM
Similarly, $(0,0,1,1,2,3,5,\dots)$ has generating function $x^2f$
So that's the Fibonacci sequences. And you know how that works, right? Each is the sum of the last two
 
Yes :)
But based on that question
How to get those polynomials
 
Yeah OK so
For that example
 
I mean those conditions, i could not see how they " connect"
 
I guess the main idea is thinking about how multiplying generating functions works
 
@AkivaWeinberger What does that mean in the context of CRT?
 
3:25 AM
Do you know what this means?:
8 mins ago, by arctic tern
@AkivaWeinberger it's $[x]\mapsto ([x],[x],\cdots)$
That's the definition of the function
The Chinese Remainder Theorem, in essence, says that it's bijective
 
@AkivaWeinberger No.
I do not know this notation "$[x]$"
 
@AkivaWeinberger okay thanks alot ! :D you made some things clear, ill keep readign and see where I go ><
 
@KasmirKhaan Say I have $(x^3+x^4+x^5+\dotsb)(x^2+x^3+x^4)$. Think about what the coefficient of $x^n$ in the product would be
@LucasHenrique I guess they're not really necessary… but what it means is, if $x$ is an integer in $\Bbb Z$, then $[x]$ is the corresponding element in $\Bbb Z_n$
It's like $x$ mod $n$
So, we don't have $1=6$ in the integers, but in $\Bbb Z_5$, we have $[1]=[6]$
By $\Bbb Z_n$ I mean $\Bbb Z/n\Bbb Z$
I don't know which notation you're familiar with
 
@AkivaWeinberger x^3 / (1-x ) for the first , and x^2(1-x^3) / (1-x)
 
@AkivaWeinberger I'm familiar with both
It's so much clearer now.
 
3:31 AM
Oh, OK, I don't think I even got to the actual explaining bit yet
but if you understand it better now, that's good
 
@AkivaWeinberger x^5 ( 1-x^3) / (1-x)^2 right? :)
 
@KasmirKhaan Sure, but that's not what I asked for
 
@AkivaWeinberger It's just a simple consequence of CRT. Defined the function, you can show all of that stuff does exist and is unique; therefore bijective.
 
@AkivaWeinberger hmm thats my problem, I still dont know what those count / do / mean ><
 
That's why "$\mathbb{Z}_{ab} \to \mathbb{Z}_{a} \times \mathbb{Z}_{b}$ is a bijection" was so weird; I was wondering what function they were talking about
 
3:34 AM
@KasmirKhaan You know how, if we have $(a+b)(c+d)$, the product ($ac+ad+bc+bd$) is the sum of every possible combination of something from $a$ and $b$ with something from $c$ and $d$?
 
@AkivaWeinberger Yes right :)
 
With $(x^3+x^4+x^5+\dotsb)(x^2+x^3+x^4)$, we'd get the sum of every combination of a term from the first factor and a term from the second. For concreteness, let's look for the coefficient of $x^7$ in the product
How many ways can you get a seventh-degree thing as a product of some term from the first thing and some term from the second?
Well, you have $x^3\cdot x^4$
and you have $x^4\cdot x^3$
and you have $x^5\cdot x^2$
Those are the only ways to get an $x^7$ term as a product of a term from the first factor and a term from the second
Right?
 
@AkivaWeinberger Yes I was counting them
 
So the coefficient of $x^7$ in the product is $3$
 
3:37 AM
We have a $3x^7$ in the product
 
yes:)
What does that number tell us?
the coeffecient?
 
How many ways can you write $7$ as $x_1+x_2$ where $x_1\ge3$ and $2\le x_2\le4$?
 
let me think :)
 
Well, we have $3+4$, $~4+3$, and $5+2$
Oh, whoops
Does that make sense?
 
hmm I understood how to do it , but why it worked no idea , I mean I can do it now but it is still magic for me @AkivaWeinberger
 
3:42 AM
Do you see why the two questions ("what is the $x^7$ term in $(x^3+x^4+\dotsb)(x^2+x^3+x^4)$"$~$ and $~$"how many ways can you write $7=x_1+x_2$ with $x_1\ge3$ and $2\le x_2\le4$") are the same?
 
@AkivaWeinberger well you kinda gave me the problem backwards >< if we start from x_1+x_2 =7 and those conditions $x_1\ge3$ and $2\le x_2\le4$, how to get those polynomials?
@AkivaWeinberger Yes I see it they answer same thign but in different magical way
@AkivaWeinberger oh wait :D i think i got it =p
 
The terms of the first *factor, $x^3+x^4+x^5+\dotsb$, have exponents that are precisely the numbers that satisfy $x_1\ge3$
 
@AkivaWeinberger from those conditions , i construct the generating function startign with x^3 and so forth , and the other between x^2 and x^4
 
:D : D :D thanks alot :D @AkivaWeinberger
 
3:45 AM
The second factor, $x^2+x^3+x^4$, has exponents that are between $2$ and $4$
because of the condition $2\le x_2\le4$
@KasmirKhaan You're welcome
 
It is a very smart method =p
 
3:57 AM
@KasmirKhaan Tools are just clever tricks that can be used more than once
 
@AkivaWeinberger Yeah :) I tried to solve that same problem by brute force , it got out of hand very fast
 
LEDs are magic
I will try watching videos on them until they stop being "How do these work" magic and start being "How could anyone have thought of this" magic
(Not now. Now I go to bed)
 
@AkivaWeinberger Thanks again for help and goodnight :)
 
4:28 AM
Can anyone remind me what $\left(\frac n p \right)$ is called?
it takes in two numbers and return 1 or -1
 
legendre symbol
 
thanks
 
4:54 AM
Can I solve $a^x \equiv 1 \pmod n$ given $a$ and $n$ quickly?
Quickly means $O(\log n)$
 

« first day (2542 days earlier)      last day (2484 days later) »