« first day (2833 days earlier)      last day (2485 days later) » 
00:00 - 18:0018:00 - 00:00

00:10
$\mathfrak O$ ?
i guess not
$\mathcal O$ ?
$\mathscr{O}$?
No that's even worse.
Hi DogAteMy
it's a TeX script font that isn't available on ChatJax, I think. I've used it before.
Hi @Fargle
Howdy @Ted.
$\mathrm O$?
00:27
oh, just a plain O ?
Looks right to me
I used euler roman O for this in my linear algebra book.
O well.
Oh, I see
Right, I think the rest of the math there is in that font, too
Yeah, which I think looks a bit much.
Discovery: there are taco shells in my pantry, behind things which are not taco shells
00:31
They probably don't keep all that well.
The box hasn't been opened yet
still ...
Are they actually kosher taco shells? Often those have lard in them.
Oh, I guess that would be OK.
Ugh .. I know I saw a little package of plastic feet for things ... but I can't for the life of me figure out where they are now.
01:30
0
Q: If Hawking's last paper is correct, is it valid to assume that we live in a 5 dimensional universe?

user9549355If I understand Hawking's last paper, "A smooth exit from eternal inflation?" (2018-04-27), correctly it implies that the Big Bang generated more universes than our own. This means that to locate a point in all of the universes we would need a 5-D Coordinate system $\left(x,y,z,t,u\right)$. Als...

Really an issue of whether the extra degrees of freedom is discrete or continuum
If it is discrete then $x_u$, otherwise it is often notated as $x(u)$
 
2 hours later…
03:01
Are there any games which are known to be NEXPTIME-complete?

https://en.wikipedia.org/wiki/Game_complexity
Isa
Isa
03:24
Is anyone here familiar with separation of variables method for PDE?
 
2 hours later…
05:42
@0celo7 Your speciality ^
06:22
@Semiclassical, is this correct: boundary of $\{z\in \Bbb C: |z|<1\}\cup \Bbb Z$ is $\{z\in \Bbb C: |z|=1\}\cup\Bbb Z-\{0\}$?
07:06
@Silent yes
 
2 hours later…
@LeylaAlkan Hmm, not sure what we are supposed to do with those pictures
Is this solution okay? any suggestions to improve?
Or any other method?
 
4 hours later…
12:46
hello
13:28
Dies
NoT
EXIST
14:21
0
Q: Has any of Cantor's ideas survived in modern physics?

WilhelmCantor's reason for devising set theory, i.e., for his "painstaking and hardly rewarding business of investigating point sets", was its application to reality. "I refer you to what I have found in Math. Annalen Vol. XX pp. 118-121, that in the space filled with body matter (since I assume the...

idunno lol
Let $A = \{(x,y) \in R^{2} : x^{n} + y^{n}=1 \}$. I need to prove that A is bounded implies $n$ is even and vice-versa. The topology is not mentioned in the question, so we take it to be the usual topology on $R^2$. Can someone drop me a hint please.
I have no idea how a systematic proof can be done, but my guess is that when n is odd, you have a sum of potentially positive and negative numbers, and these allow the (x,y) to go unbounded as as long their magnitudes matches in some way, they cancel into 1
@Shobhit you don't even need to consider the topology
this is a question in analysis
you only need to know that negative numbers have odd root but not even root
14:38
how does that help? @LeakyNun
in the even case, $x^n \ge 0$, so $y^n \le 1$. by symmetry, $x^n \le 1$
so $|x| \le 1$ and $|y| \le 1$
and then pythagoras
in the odd case, however large you want $x$ to be, you still can find a value of $y$ that satisfies it, so it is unbounded
as a bonus, try to compute $A \cap \Bbb Q^2$ for every $n$, that's a fun exercise
@MatheinBoulomenos :P
I won't spoil it :P
just learnning pqrtiql derivatives
14:44
partial*
anyone know what $\frac{\delta ^{2} h}{\delta x \delta y}$ means given $ h(x,y)$
The crazy algebraist is back! Hi @Mathei, how is it going?
1
A: How to prove that $f: ℝ^n → ℝ^m$ is differentiable at $a$ iff each of its components $f_i$ is differentiable at $a$

Christian BlatterThis has nothing to do with differentiation per se. It is a simple consequence of the following basic fact about convergence in ${\mathbb R}^n$: $${\bf x}\to{\bf 0}\qquad\Longleftrightarrow\qquad x_i\to0\quad (1\leq i\leq n)\ .$$

hey @Alessandro. I like that title
It's going well, but I'm really busy
Hi, how can I use this answer to prove that $f$ is differentiable iff each component is differentiable?
How are you? @Alessandro
14:49
Hey @Mathein! Long time no see
Hey @Balarka!
Pretty well @Mathei
I have to choose a topic in algebraic number theory to give a presentation on for the exam, I'm thinking about the Minkowski bound
hmm, the Minkowski bound is a nice thing to have, but the proof is way too analytical for my taste
blasphemy
We did the quadratic number fields case in class but the professor said it'd be nice if someone does the general case as a topic for the exam
14:55
Ah I see
Can anyone help me with a set question??
Please
The proof is just embedding the number field into $\Bbb R^n$ in a particular way and then applying Minkowski's theorem on convex sets
Another topic she suggested that I like is the primitive element theorem, but that's Galois theory more than ant
how is ANT not a confusing acronym
could be either analytic or algebraic
14:57
(Even though it's used all the time in ant)
Nobody likes the analytic one, so we don't talk about it
analytic number theory is cool, too
modular forms are nice and more algebraic than one might think
modular forms are topology
:3
topology is set theory
accurate
idk, the whole Minkowksi stuff we did in ANT felt a little out of place. You develop this whole theory which isn't related to anything else in the lecture to prove two theorems: Minkowski bound and Dirichlet unit theorem. Granted, these are important theorems, but you could basically forget everything about Minkowski theory/geometry of numbers after that
14:59
what is a cross partial derivative? I mean it significance??
@IPAddress what
The ring of modular forms for the whole modular group is just a polynomial ring in two variables over $\Bbb C$ with generators $E_4$ and $E_6$
@MatheinBoulomenos I kind agree with that feeling tbh
and the coefficients of $E_4$ and $E_6$ are number-theoretic functions
@MatheinBoulomenos modular forms :D
15:02
Or maybe I'll find another interesting topic, I'll think about it next week, I'm busy preparing a presentation on the cardinalities of ultraproducts for this Thursday atm
@AlessandroCodenotti what did you do in the lecture? maybe I can suggest something
@0celo7 i figured it out... but thanks
https://math.stackexchange.com/questions/1550962/polar-decomposition-of-bounded-normal-operator-on-hilbert-space in the accepted answer, how do we know $\mathcal{R}(|T|)^{\perp}
=\mathcal{N}(|T|)$?
@Mathei the usual stuff I think, number fields, discriminant, trace and integral (or integer?) basis, dedekind rings and the factorization of ideals, the ideal class group, the Dirichlet unit's theorem and the Minkowski bound
We followed those notes from chapter $6$ till the end, they're in Italian but you can probably make sense of the index without issues
15:11
I know a little Italian
@AlessandroCodenotti it seems that there is no section on cyclotomic fields. That's a pretty big topic, but there's also some rather elementary stuff you can do
is there an accepted notation for the space of functions $\{ f:S \to T \}$ with compact support?
for example, you can give an ANT proof of quadratic reciprocity via the splitting of primes in cyclotomic fields and their quadratic subfields
much more insightful than any more elementary proof I've seen
@MatheinBoulomenos Interesting, we talked about them in the Galois theory course, but I don't know about applications to number theory
15:18
@AlessandroCodenotti they're the one example other than qudratic fields that are often covered
I see, we focused on quadratic fields for most stuff
I'm looking at the following question: mathoverflow.net/questions/214569 and I don't get the answers? Why are the two groups not isomorphic?
Ah, btw @Mathei I tagged you in a ring theory question a week or so ago but you probably didn't see it, do you want to hear it? It's mostly a sanity check
sure
some stuff for cyclotomic fields turns out to be nice and simple: the ring of integers and the splitting of rational primes have simple descriptions (and you don't need more thatn that + a bit of Galois theory for the quadratic reciprocity proof). Other stuff is a bit deeper. The whole field of Iwasawa theory basically started as a way to understand class numbers of cyclotomic fields
The arguments, as far as I understand is, that the order relations of the generators define the Coxeter graph. The Coxeter graph relates to the Coxeter matrix and up to isomorphism there is a one-to-one correspondence between a Coxeter matrix and a Coxeter system.
15:22
and of course, there's Kronecker-Weber which illustrates the importance of cyclotomic fields (but you won't be able to cover that)
So the map $\varphi :R/(I\cap J)\to R/I\times R/J$ defined by $\varphi(x+I\cap J)=(x+I,x+J)$ is an isomorphism iff $I$ and $J$ are coprime (one direction is CRT, the other is not hard to prove)
that's a neat fact Alessandro
So I wanted to know if $R/(I\cap J)$ and $R/I\times R/J$ can still be isomorphic when $I$ and $J$ are not coprime, just through a different map and I think I have an example
$R=\prod\limits_{i=1}^\infty\Bbb Z$, $I$ is generated by $(1,0,\cdots)$, $J$ is generated by $(0,1,\cdots)$, then $R/(I\cap J)$, $R/I$, $R/J$ and $R\times R$ should all be isomorphic to $R$, does this look right?
yeah that works
note that $R \cong R \times R$, so you could also take $I=J=(0)$
Oh, of course!
Is there an example with $R$ Noetherian? Using non Noetherian rings feels like cheating :P
@MatheinBoulomenos That actually sounds very interesting, do you have a reference I could read?
15:32
hmm, it should be in most books on algebraic number theory. There's a section in chapter 1 of Neukirch, but he uses conductors for the proof that $\mathcal O_{\Bbb Q(\zeta_n)}=\Bbb Z[\zeta_n]$, not sure if you did that
I don't know what those are, but actually now that I think of it there was a series of exercises about cylotomic extensions in a pset which gets very close to proving that $\mathcal O_{\Bbb Q(\zeta_n)}=\Bbb Z[\zeta_n]$. I should check the details
it's also in Pierre Samuel's "algebraic theory of numbers". That's a really small book and the first half is just algebraic background you already know, so you could read up everything else you might need there quickly
Thanks, I'll look it up!
@AlessandroCodenotti it's impossible for Noetherian rings from my gut feeling and I have some ideas what might work to show that, but I'm a bit too busy right now to work it out
I'll come back to it later
15:54
Hey, does anyone here knows what should I do?
@MatheinBoulomenos Sure, there's no hurry, it's just a curiosity
16:18
@LeakyNun , i am learning complex function's differentiablilty, but I want to confirm this: complex function differentiable iff Cauchy Riemann equations hold.
not sure
@AlessandroCodenotti
Also, can we use Cauchy-Riemann equation to calculate derivative??
ok
@Silent f = u + iv is complex-differentiable at a point if and only if the partial derivatives of u and v satisfy the Cauchy–Riemann equations
@BlueLemon thank u. Also, can we use Cauchy–Riemann equations to calculate derivative of $f$?
16:25
@BlueLemon can you provide some link where that is shown? some example, or algorithm ...
f=u+iv => f' = u' + i v'
@BlueLemon What is u'? $u_x$ or $u_y$?
just kidding!
:44453105 please elaborate! what do u mean by parametrizing?
oh!
sorry
16:36
I was completely wrong lol
it's with respect to $z$
@GFauxPas so, how can we use Cauchy Riemann equations to compute derivatives?
by differentiating the real part and the imaginary part and then adding them together
in general it's not easier than differentiating the original formula
in practice, you use the CRE to prove that a function is well behaved, then you have permission to use other theorems
@GFauxPas so do you mean $u_x+iv_y$?
$\dfrac{\mathrm d}{\mathrm dz}$, not partials
16:52
oh
As I said, CRE are not so useful to find the derivative. You use it to prove the derivative exists, and then you use other theorems to actually find the derivative
Or to prove that the function isn't in fact differentiable, since it's an iff
@GFauxPas ok, that was very helpful, cleared so many doubts, thank u very much.
I'm questioning my answer now though of what blue meant :/
@GFauxPas blue?
@BlueLemon
What I said about using the CRE is correct, but im not sure what he meant
16:58
yeah, now me too :)
check out the CRE article on wipedia about "wirtinger derivatives" @Silent
17:18
[Random] It's called tutition, dammit
Hello all :)
and it is NOT pleasant
I'm finding it difficult to stay motivated during my Mathematics PhD. I'm wondering if anyone here has any advice or would just like to chat about it.
what kind of maths PhD you are doing?
I study combinatorial group theory.
17:24
I am unfamilar with that, and the group theorist are not on atm
In particular, I study the orders of certain groups called cyclically presented groups.
Fair enough, @Secret.
The problem is that I should be doing at least five hours of research a day, whereas I'm only doing about an hour, which isn't going to cut it.
It's been this way for months now :/
I'll try elsewhere. Thank you nonetheless.
See you later, I guess.
@Shaun do you have some time to help me?
17:39
does anyone know why $\cos\circ\cos\circ\dots\cos(x)$ converges to 0.7439...?
hello, could someone help me with very basic probability questions?
I'm trying to write a proof that uses some combinatorial group theory, but as a physicist I'm kinda lost
It's just about understanding some stuff
@XanderHenderson cool thanks!
i have 7 girls and 13 boys standing in a line.

1)x is a random variable defined by the number of the girls who stand in the last 5 places. what is p(x=i) for i=0,1,...,5 ?
17:43
@Shaun What are you doing with these groups?
$\frac{\binom{7}{i}\binom{13}{5-i}}{\binom{20}{5}}\:5!$
is this a correct way to represent it?
@ShaVuklia Also, what do you do for the other 4 hours? (and what about the further 3 hours of a full working day?)
guys, could you check the simple probability question i've asked?
@Tobias do you work in research at a university?
@BlueLemon Yes
17:50
i have 7 girls and 13 boys standing in a line.

1)x is a random variable defined by the number of the girls who stand in the last 5 places. what is p(x=i) for i=0,1,...,5 ? my solution:
$\frac{\binom{7}{i}\binom{13}{5-i}}{\binom{20}{5}}\:5!$

is this correct?
@Tobias ok, then you should know that sometimes not everything is optimal, i.e. people don't get the needed support from their advisor to be productive
@BlueLemon Ohh, my question was not meant to be a criticism. It was meant to get an understanding of how Shaun's day looks, and what might be causing the burnout.
@Ok... my apologies for the misunderstanding
with the parenthetical to get an idea of whether those remaining hours were spent teaching or something else
@Shaun See my comment above. I had not thought about the fact that the question could be taken as a criticism
@BlueLemon That's fine. I do see how it could be understood that way now that you point it out.
Hey @Tobias!
17:54
@MatheinBoulomenos Hi
1 hour spent on research, 45 minutes making coffee, 3 hours on MSE, an hour grading, another hour teaching or in office hours, another 30 minutes making coffee, 30 minutes commuting (each way!), another 45 minutes making coffee
How's it going?
I mean, my days fill up!
@MatheinBoulomenos I have been trying to work out an example. And I have been continuously doing things wrong, even though I have done these sorts of calculations tons of times before a few years back.
Ah, I didn't have time for our project during the last weeks
17:56
Now I have finally gotten my head around all the details, and I realized that I needed a bigger example or it would just be trivial in the setting I was looking at
@MatheinBoulomenos That's fine, neither have I
@XanderHenderson That's a lot of coffee making
I'm taking 4 grad lectures and 2 grad seminars and I'm the only TA/grader for intro number theory with 40 students
can't prove theorems without coffee, amirite?
guys, can anyone please help with a simple question in probability?
@MatheinBoulomenos What are the topics?
@MatheinBoulomenos How long have you been in the program?
17:58
I'm still an undergrad
oh
nevermind
as a first or second year PhD student, that would be a difficult but not undoable course load
(four graduate level courses in a quarter or semester is a lot, but can be done if you never sleep; the seminars are a timesink, but shouldn't really require that much extra work)
Hello
00:00 - 18:0018:00 - 00:00

« first day (2833 days earlier)      last day (2485 days later) »