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

3:00 AM
still need to remove terms to make it finite.
 
yeah, which is why I have no idea how will $\pi$ under such representation will behave like. My guess is that since $\pi$ is irrational, there might be no pattern in the distribution of 1s in that expansion
First 4 terms of $\pi$ under base-$\omega$: The terms decreases very rapidly: $$\pi=3+\frac{1}{8}+\frac{1}{61}+\frac{1}{5020}+\cdots$$
But no pattern so far
 
@Dair The Kempner series is weirder.
 
3:15 AM
@Semiclassical Basically everything in math dealing with infinity is weird lol.
 
point
 
trying to explain people that the rationals have the same cardinality as the integers causes issues...
 
Eh, that's not nearly as weird as the real numbers having a higher cardinality than either of those.
Saying that the integers are as infinite as the rationals? Weird, but hey---infinity is weird.
 
it isn't that weird but try explaining it to a non-math friend lol.
I feel like I've seen Kempner series while preping for Putnam.
 
Saying that the real numbers are 'more infinite' than the integers? Weeeeird.
 
3:20 AM
there is a classic question about omitting 9s from harmonic and getting a good series... which I believe is a Kempner series?
wait yeah, that is exactly the Kempner Series... lol. silly math.
 
I think I first saw it here: smbc-comics.com/index.php?id=3777
Though in retrospect I think that said comic is a little silly. The math translation is: "Almost all really big numbers have a nine in them."
 
so there is no closed form for the sum?
what happens if $5$ is removed instead?
 
pretty sure it's convergent then as well.
plus there are some methods for estimating such series.
 
i'm rather suprised that Wikipedia doesn't have an "Open Problem" box.
 
There is something like that for "Physics" topics here
 
3:26 AM
they have those boxes in math as well. I'm just suprised a closed form for the sum is not listed as a problem.
 
Eh, it's pretty specialized.
Plus it's a fact that relies on picking a particular base-b representation and a particular string of avoided digits.
By contrast, they do have "Is $\pi$ a normal number" listed there.
 
i must admit i'm rather confused about the choice of importance for math problems...
not saying I disagree with you are anything, but it is hard for me to judge whether a problem is valuable or not.
 
I've no insight there either.
 
How to solve it? I only know $X^T=-X,Y^T=-Y,Z^T=Z$
 
You'll need to compute the transposes of each of those combinations
Note that $(A+B)^T=A^T+B^T$ and $(AB)^T=B^T A^T$.
 
3:33 AM
Ok. Nice
 
i wonder how many important problems of the era have disapeared in importance in the next era of math.
 
Yeah.
I imagine there are quite a few old conjectures which motivated some work but were ultimately left by the wayside
 
in my math history (for specifically calculus) it seemed like there were rather 3 phases:

1. Calculation
2. Proving a lot of stuff
3. Reflection / formalization
 
Depends on the subject, but yeah.
My comment here is a bit silly, but I always like pointing out how to use units in order to check an answer
 
Units are sooo valuable. I wish I payed more attention to them in chem during highschool.
 
3:45 AM
Yeah.
When I'm grading, wrong units are like alarm bells
 
it's like a test taking strategy, but also a conceptual check all at the same time.
 
Quite.
Of course, there are limits to that. It's less helpful in electrodynamics due to the number of units involved
Not many people remember that a tesla-meters^2 is the same as a volt-second.
And if you do atomic physics you end up using different scale of units (mostly eV and angstroms)
 
oh geez that sounds mildly infuriating.
 
tbh, it actually makes things easier than with SI units.
for instance, for atomic stuff you measure energy in units of eV. for mass, you really only care about doing $E=mc^2$ stuff, so the natural unit of mass is eV/c^2.
For Planck's constant, the combination I've got memorized is $hc=1240 $nm-eV$=12.4 $keV-angstrom$
 
you have 1240 memorized?
 
3:53 AM
yeah.
 
that's some dedication.
 
it reaaally comes in handy when you're doing the Physics GRE
 
are you a physics major?
 
Physics grad student :)
 
Kek
 
3:54 AM
Ahh. That's cool!
 
I've also got the masses of various particles in my head, e.g. an electron is about 1/2 MeV and a proton/neutron is about 1 GeV
 
On the subject of units: when my professor in mechanics was doing an intro to SR, he used units of feet and seconds so that $c$ would be almost $1$ :P
 
(it's also common to say eV instead of eV/c^2 when talking about mass)
also, to be fair I've got the charge/mass of an electron stuck in my memory pretty well
but that's from TAing intro physics a few times
m=9.11e-31 kg is rather cumbersome compared to "oh, about half a million eV"
also, the e from the electron charge is built right into eV
so you don't have to remember e=1.6e-19 coulombs
 
@Semiclassical i feel like there is a relavent SMBC comic for this...
 
lol, probably
 
3:57 AM
Is there ever not a relevant SMBC comic?
 
The main advantage of eV-type units is that the numbers tend to not require scientific notation
 
something along the lines of:

What is Pi?
Enthusiast: 3.14159
Engineer: 3.14
Physicist: 5 is good enough
Math: $\pi$
 
shamefully I have 3.14159 memorized...
 
I've got 3.1415926(3)
(3) because I don't know for sure if that's right :P
Speaking of dimensionless constants, one that you see a lot in atomic physics is the so-called fine structure constant
 
4:01 AM
2653
 
nuts.
 
which...I'm forgetting how it's defined. hang on while I quickly rederive it using the relevant mnemonic
 
I memorized 80 digits one time in high school since I was bored :P
 
roll
okay, $\alpha=ke^2/\hbar c$
what's fun is that, to a decent approximation, $\alpha=1/137.$
 
4:04 AM
what is a fine structure? what is an ugly one?
 
ask an atomic physicist :P
(I think it's mostly a historical thing)
I should note, though, that factors of $\pi$ can be a big deal in QFT calculations
$\pi^2\approx 10$, so if you have a few powers of $\pi$ in your calculation for reasons then that can shift the order of magnitude significantly
 
$4πε_0ħcα = e^2$ what is the epsilon?
 
permittivity of free space
I honestly never remember what number that is :/
 
so $k$ is $4\pi\epsilon_0$?
wait no...
 
1/k is
 
4:08 AM
yeah.
 
k is easy to remember. i think it's 9e-9 in SI units?
nuts, 9e9.
but, I mean, I also have it in my brain that $\epsilon_0\mu_0=1/c^2$ where $\mu_0$ is the permeability of free space
and $\mu_0=4\pi\times 10^{-6}$ in SI units (might be wrong about the exponent)
nuts, 10^-7
and, well, I know what $c$ is.
so from that getting $\epsilon_0$ is easy as well.
 
 
2 hours later…
hi, easy question that i think i missed something. is there 16 ways to write 4 as a sum of 3 non negative integers? i found 15 :/
0 1 3
0 3 1
0 2 2
0 0 4
0 4 0
1 3 0
1 0 3
1 1 2
1 2 1
2 2 0
2 0 2
2 1 1
3 1 0
3 0 1
4 0 0
 
15 should be correct.
There are 4 ways to split 4 into 3 or fewer non-zero pieces: 1+3, 2+2, 1+1+2, 4.
For the latter 3, there are 3 possible reorderings when you introduce 0; for 1+3, there are 6 reorderings. 6 + 3 + 3 + 3 = 15.
 
so i guess there is a mistake in the question , thanks.
 
Yeah I'd say so.
What are you doing awake @Daminark?
 
6:49 AM
shrugs
 
Tru
 
hi guys do you think this question is bad, math.stackexchange.com/questions/2293979/… , why it has downvote?
 
7:32 AM
Morning chat (how many flags/bans did I miss?)
 
 
1 hour later…
9:01 AM
wait... Someone got banned from the chat?!! grabs pop corn where? Someone please give me the permalink???
ah found it
well guys I have my VISA interview tomorrow, wish me luck
 
 
1 hour later…
10:24 AM
Hey @Steamy. I think I understand now what the separation constant is. We have separated our variables to the left and right sight. We introduce this constant, such that we can solve the the two sides separately (in terms of the constant), and then in the end we can combine the results.
 
10:50 AM
0
Q: Is this product of 8 quaternions a real value?

Rajesh DachirajuI'd like to know the product of 8 quaternions $$(a+bi+cj+dk)(a-bi+cj+dk)(a+bi-cj+dk)(a+bi+cj-dk)(a+bi-cj-dk)(a-bi-cj+dk)(a-bi+cj-dk)(a-bi-cj-dk)$$ I'd like to know if it is real? PS : $a,b,c,d \in \mathbb{R}$

 
11:42 AM
Guys, when normalising the solution to the Schrödinger equation in the case of the infinite square well, we do the following:
$$
\int_0^a\vert A\vert^2\sin^2(kx)\,dx=\vert A\vert^2\frac{a}{2}=1,
$$
so $\vert A\vert^2=2/a$. Now Griffiths says that "it's simplest to pick the positive real root: $A=\sqrt{2/a}$ (the phase of $A$ cassies no physical significance anyway)." I don't understand where the phase comes into play, if we were to consider $A=-\sqrt{2/a}$. Any ideas?
 
why integrating on a closed curve say a circle with a function that is defined well inside that circle except a point say $z_o$ we have a problem? im integrating along a path why do we care what is inside the path?
why do we care about points that are not along the path * especially the ones inside since if our problematic points are outside nothing changes
 
12:04 PM
@ShaVuklia The phase of $A$? Sure this isn't about the phase of some wave?
Because, if you pick $A$ with the negative sign, you can move that sign inside the sine/cosine to get a phase of $\pi$.
 
@Steamy yea, I just double-checked, and they really talk about the phase of $A$
and you're talking about the phase of $\pi$; what do you mean by that actually?
oh wait
I think I understand what they mean with the phase of $A$
they don't care if $A$ is half a cycle behind or not, because apparently it carries no physical significance anyway
 
Hmm
Given a graph, is there a way to order its elements such that all other isomorphic graphs follow the same ordering?
 
12:39 PM
@Daminark ¯\ _(ツ)_/¯
 
@Alessandro an $\infty, n$-frankenstein?
 
1:01 PM
lol
 
1:38 PM
Hey Balarka
 
Hi @Danu
 
Is it right to say that an isometric immersion is completely described by the second fundamental form?
The Gauss equation gives the curvature
The Codazzi equation does... what exactly? :P
It gives the perpendicular component of the ambient curvature
 
@Danu Well, if your immersed surfaces have the same $\Bbb{I}$ (which is the isometry condition) and $\Bbb{II}$, then one can be taken to another by rigid motion.
 
Hi chat
 
It's an extrinsic geometry thing.
 
1:41 PM
@BalarkaSen You're talking about surfaces in $\Bbb R^3$?
 
Yeah.
 
What about general isometrically immersed submanifolds in any Riemannian manifold?
(you can still think of them as immersed into $\Bbb R^n$ I guess; though that will give a different notion of extrinsic geometry than the original immersion)
 
Err, I don't really know the story for other ambient spaces than R^3.
The 2nd fundamental form is a bundle-valued tensor in higher dimensions, isn't it?
 
Hmm.
Yeah, just normal bundle valued
The generalization of the Gauss equation and Codazzi equation is sort of trivial/obvious
(depending strongly on what notation you're using in the surfaces-in-$\Bbb R^3$ case, I should say)
 
I think it should still be true.
That is to say, if two isometric immersions have the same 2nd fundamental form, there should be an isometry of the ambient space which takes one to the another.
But I think you should ask Ted about this.
 
1:45 PM
I was just about to ping him
 
Yes, the second fundamental form completely determines the isometric immersion
 
@SteamyRoot So is this hard to prove?
Actually
what is the precise statement
is what Balarka said the precise statement?
 
@Soham Hey man.
 
Hmmm.. I don't know the precise formulation.
 
1:50 PM
The idea is that, using the formulas of Gauss and Weingarten, you can prove the Gauss-Codazzi-Ricci equations
 
@SteamyRoot I don't know all those names. But I see that the Weingarten equation is just the Gauss equation for the normal bundle, fine. What are the G-C-R equations, and how does this help us get an ambient isometry?
 
@SohamChowdhury How're you doin'
 
real life is determined on sucking very hard at the moment
 
@TedShifrin Oh master geometer, any help? I'm looking for the precise sense in which the second fundamental form of an (arbitrary codimension) isometrically immersed submanifold determines the immersion (see above discussion for what we already figured out).
 
the whole college admissions thing is not going too well. upside: after a loooong time, I can do math again
I mean, it's been ~6 months since I did any serious math.
 
1:56 PM
i'm very scared about the admission business
where are you going
 
I don't know. :(
The ISI/CMI entrances weren't amazing. CMI was okay.
 
I need to take those man, and I'm bad at this sort of math
 
Unless something really bad happens, my ISC marks will be good enough to make the IISER cutoff. Pune is full of arithmetic geometry/NT people.
 
um, what's isc again?
 
class 12
 
2:00 PM
oh. IISER takes people based on boards?
 
HS, I think you call it
They have a low-ish cutoff, yes. Then you have to give a test.
It's like JEE Main, but a bit easier and with biology.
 
Oh yeah I haven't taken biology so
 
neither have I
but what they ask for, it's not too hard. class 10-ish.
went to IISc etc. again?
 
Ah ok
nah haven't been to anywhere
 
you talked about writing papers and stuff, too
i see you've been doing the diffgeo thing pretty hard ^_^
 
2:03 PM
did i? maybe that was balarka 1.0
yeah i'm still learning stuff at sluggish rate but
more foliations than geometry
 
soham 2.0: now with crippling depression
foliations are like the Hopf fibration?
 
Yeah fibrations are good examples of foliations. You break up a manifold into a union of "parallel" submanifolds
Hopf fibration foliates S^3 by S^1's
 
Oh hi, Soham!
 
but there are foliations which are not fiber bundles (eg Reeb foliation)
 
btw, I got into this
but I can't go
I turned down Mathcamp, too, this year. :(
hello, @Akiva
 
2:06 PM
the admission thing is a big wild goose chase
in India
 
@SohamChowdhury …so that you can focus on your true love, ballet
 
seriously, college admissions has ruined my year pretty well
@Akiva s/ballet/salsa/
 
I will not be trifled with
 
it also doesn't help that there are like 5 university in all of india that truly has good math course syllabus
 
2:08 PM
I just discovered that somewhere in my 300 tabs, there are five long-gone-bad nLab pages
I'm definitely going to hell
 
cancel tab immediately
 
"Hegel was actually working in a higher topos, that's all"
metaphysics level 3000 unlocked
@Akiva so what's going on rn with you?
 
@BalarkaSen Will you consider studying outside of India as well?
 
Kierkegaard did talk about existential topoi
 
mhm, for me, US admissions was a dumpster fire
 
2:10 PM
@Alessandro I don't really want to go outside... it just seems like a huge pain in the neck + i'm homesick
 
NYU accepted me, but, y'know, it's expensive
and theoretically I'm still on the Columbia waitlist
 
I'll probably try to move abroad for my master, but those are good points
 
Balarka 1.0 also talked about HRI/IMSc iirc
are those out for you?
 
do those really have undergrad
idts
 
no
I said so then
 
2:13 PM
yeah balarka 1.0 was an ignorant ass
Hi @PaulPlummer
 
soham 1.0 didn't know he was one, so
wow, all the old familiar faces
 
well, identicons more like
 
@BalarkaSen Hello
 
"welcome home, @Soham"
 
2:14 PM
@AlessandroCodenotti Hello
Been a while @SohamChowdhury
 
@Balarka do you still meet up with any of your old profs?
yeah, I only got to talk to Mike outside of chat since
indeed, @Paul
 
i met with MM a while ago, he came to the city for a few days. the RKMVU crew is currently on ISI
 
i talk to all of 'em once in a while
ISICal
 
oh
anything else you've been working on since?
 
2:17 PM
currently i'm busy locking myself up in my room and burning a hole through reality using existential angst
 
soham 2.0 also has a bit less fomo, which is really liberating
same
 
on a serious note, nah, just trying to work on some foliations and riemannian geometry but i have learnt epsilon > 0 in a few months on either of both
 
@AlessandroCodenotti If you plan on moving to the US for school, just go for the phd, not the masters (if you are thinking "pure" math)
 
@PaulPlummer nah, I'm thinking about Germany at the moment
I don't think I want to leave Europe
 
@AlessandroCodenotti Good idea
 
2:27 PM
hunger is the main trouble hindering thinking
 
Hi guys, I'd like to ask you for some advice. I am currently reading a programming book. One section is fully devoted to symbolic algebra. Here are the topics
https://mitpress.mit.edu/sicp/full-text/sicp/book/node49.html
as you can see, it has some sections on doing system on polynomials and rational functions. I am very bad at math and so it seems very difficult for me. I'd like to ask you, are there any real world applications of the topics described in this particularl chapter? Thanks all!
 
meh i have to do calculus but i want to watch a movie
 
@Daminark @EricSilva I finally solved the prime-exponents polynomial puzzle
 
2:46 PM
I don't mean to interrupt, but I'm wondering if I can ask about the Marshal Problem on this site?
The Marshal Problem is a problem (I think I've come up with but who knows) where I'd like to know how many days it would take me to reach 100 flags, if I start at 10, can only use all my flags once a day and get a new flag every 10 flags I use.
would that be ok to ask?
 
@morbidCode: google "automatic differentiation" (assuming that is SICP)
$\Bbb R[x]/(x^2)$ is useful in the real world
 
@SohamChowdhury yes. chapter 2.5. I am honestly a little borred by it because I have no idea what they are used for. I'd like to know because the earlier sections has some topics that are very very useful (E.G. miller-rabin primality test, newton's method, successive squaring) even though I don't understand all the maths behind them.
 
AD is useful for neural nets
to a first approximation, a lot of machine learning is just weaponized chain rules
see how the error depends on your weights and biases ("backpropagation"), change them a bit to reduce the error, repeat
AD is symbolic algebra of a sort and can be very helpful
of a sort, mind you. it's not actually symbolic differentiation. that is slow.
In mathematics and computer algebra, automatic differentiation (AD), also called algorithmic differentiation or computational differentiation, is a set of techniques to numerically evaluate the derivative of a function specified by a computer program. AD exploits the fact that every computer program, no matter how complicated, executes a sequence of elementary arithmetic operations (addition, subtraction, multiplication, division, etc.) and elementary functions (exp, log, sin, cos, etc.). By applying the chain rule repeatedly to these operations, derivatives of arbitrary order can be comput...
22 hours ago, by Zee
I should be doing math right now...
 
3:02 PM
math is 2hard
 
Machine learning is, "Here's this formula with a ton of parameters and a spot for an input" "How many parameters?" "I dunno, thousands probably" "Your formula's not giving the right answers" "Hm, maybe the parameters are a bit off"
nudges the parameters "OK, should be better now" (repeat ad infinitum)
Machine learning is less about knowing the right formula than about knowing how to nudge the parameters the right way, I think
 
The answer to "why do these parameters work" is "because they do". :P
 
Strictly speaking, the machine isn't even necessary. It's just there to actually calculate the formula and the nudges, but you could theoretically do it by hand if you had enough time
(That would probably be a completely unreasonable amount of time)
But, like, if you were to do it by hand… What did the learning?
 
@SohamChowdhury um, I think you are referring to section 2.3 (symbolic deferentiation). I think this one is different. It talks about arithmetic on polynomials (no factoring though), long division, rational functions and stuff like that.
 
You wouldn't be able to say that "The machine learned blah blah blah" anymore.
On an unrelated note: Does the projective plane on $\Bbb F_p$ have $p^2+p+1$ points?
$|\Bbb F_p{\rm P}^2|=p^2+p+1$?
 
3:08 PM
Yeah
 
Cool, thanks
 
this follows from the usual stratification as a union of affine spaces
 
I'm guessing it'd just be the lines
 
Zee
@MikeMiller hey mike
 
doesn't look like my taste
 
3:20 PM
you called?
 
no I was just picking on you
I wanted to say hi
 
well, hi then
I'm doing math again.
 
that's good
as opposed to before?
 
as opposed to spending the last couple months barely keeping my head above the water
what do you call a category where you have tensor products?
(something like "parallel composition")
 
symmetric monoidal?
 
3:25 PM
monoidal is existence, and symmetric is comm. of tensor?
 
oh yeah I guess monoidal is the right notion of category w/ a tensor product
symmetric means the tensor product functor is symmetric upto isomorphism
 
given $f_i : M_i \to N_i$, want $\otimes_i f_i : \otimes_i M_i \to \otimes_i N_i$
 
that's too bad
 
it was
 
what was the water for the past 2 mo
 
3:30 PM
finals, college admissions, misc. entrance exams, somewhat Costanzian parents
 
where you gojng
your parents are like George costanza or his parents?
 
the latter
I don't know yet.
1 hour ago, by Soham Chowdhury
mhm, for me, US admissions was a dumpster fire
 
Ah, sorry. :(
 
Zee
Education is such a scam
 
and back home I won't know for about a month
 
3:33 PM
But in most likelihood you'll be staying home for your Bachelors?
 
approximately yes
 
fair enough, crush em boo
you don't need to go to one of those schools all your countrymen are freaked out about exams for right?
the JEE and all that
 
well, there are exams and they are worth freaking out about. just different ones.
 
I see
 
2 hours ago, by Balarka Sen
I need to take those man, and I'm bad at this sort of math
 
3:35 PM
I don't miss this pressure
I mean, it just becomes a different flavor of pressure
But still
Have you seen one-punch man?
 
I just thing the bad thing is there are only a few universities in the country which has a reasonable math syllabus
 
is that Bruce Lee?
oh, anime
non
 
I think you might like it
 
if we had 100 such uni and all with super hard exams i probably would be less freaked out
most of the stuff are the engineering shit
 
It's a satire of the sort of fighting anime I think you used to be (still are?) really into
 
3:38 PM
although there's the whole point about non-independent random variables. "if you apply to 20 hyperselective colleges you have a 99.<arbitrary digits> chance of making it into at least one"
Mike: you meant me? I don't recalling watching anime, much less telling you about it
 
hmmmm
 
Zee
@BalarkaSen are you in the USA?
 
Maybe I confuse you with some of your friends from when you used to hang out here
 
oh, that's the CMI guy
who used to do those integrals with Chris's sis
 
Zee
3:40 PM
One punch man is awsommmme
 
r9m? I wasn't thinking of him
But in any case it doesn't matter
 
You should read the original OPM webcomic. The awful drawing style is half of the fun, really.
 
too much work
 
Zee
Link?
 
not a communal experience like TV either
 
3:45 PM
I don't really have a link. It's probably translated on MangaFox or something like that.
 
Hello
 
Any ideas on this question of mine ?
0
Q: Painless introduction to polynomials

Alex K ChenWhile reading through this betterexplained article, I suddenly realised my understanding or mental model of polynomials is no better than this: Put in random value of $x$ in the equation $ f(x) = \sum_i a_ix^i $ and chug out the solution, or just blindly shuffle symbols around ( which is called D...

 
I think 50% of it is how much I love his stupid face
 
Weird
I didn't learn polynomial like that
Damn autocorrect
A polynomial is a group of variables
With plus and minus signs
 
Huh ?
 
3:51 PM
You heard me
But precalulus you basically learn how to factor polynomials and find the roots
I never did sums in precalc
 
And I know how to do it, but I can say my mental model sux.
 
Zee
Sometimes you should treat a polynomial as just a polynomial
 
Well then you should learn what the different exponentials do to a polynomial
When it goes to infinity or negative infinity
Wether it goes from increasing to decreasing etc
Functions (or precalc) is mostly about graphing.
also there's some memorization about when a graph is stretched or compressed or vertically or horizontally shifted...
 
IMO it is very hard to visualise polynomials since you cannot figure out what the coefficients of each term are on the graph
 
@Mike the only other, um, visual media I remember you ever talking about is The Seventh Seal
 
3:58 PM
The seventh seal put me to sleep man
 
Then the only sensible way is symbol pudding @Secret ?
*pushing
 

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