« first day (2741 days earlier)      last day (2577 days later) » 

00:00
and if we let our fiedl to be Z/pZ
so it is trivially a subspace
Well here's the thing
(7,2,1) isn't really an element of Z/5Z
dont we see it as 2,2,1?
or by saying that eleemnts are in Z ==> 7 and 2 are different
Well that's kinda different in a way but yeah if you're talking about that then sure
No, we see it as $([2],[2],[1])$, where $[x]$ denotes the equivalence class $x$ modulo $p$
00:01
Things are set-theoretically subtle
hmm I see what can go wrong
$\mathbb{Z}/p\mathbb{Z} \not\subset \mathbb{Z}$
yeah I see it now
thanks guys :D
As Xander says, the elements of Z/pZ are not themselves integers, rather they are subsets of Z
No problem!
So, why is my function entire... :(
00:02
Because if it weren't that'd be a contradiction
if it helps, $g$ is continuous, too... I think I forgot to mention that
All functions are continuous
well, sure
but $g$ is extra-crispy continuous
00:14
@Daminark except for most of them
Those aren't functions, those are garbage
@Daminark the best functions are not continuous
The best functions are $C^{2, \alpha}$
only holomorphic functions are true functions
@EricSilva if you have that much regularity you're smooth
00:22
That's why they're the best
@EricSilva my favorite function is the Laplacian on $C_c^\infty$
well, the closure in L^2
Is it wrong that I write an exam in two days and I care more about getting that damn ring theory badge?
nods vigorously
$\Delta$ is the goodest boi
Yes
Or d+d*
00:28
Heyup
@XanderHenderson: Can't you just take the $z$ derivative under the integral sign?
Heya MikeM and DogAteMy!
@MikeMiller what is d*
$\delta$
@EricSilva dual of d
Ah codiff
00:30
The easiest sqrt(Delta)
@TedShifrin hi
I was wondering if your little familiar with cycle class maps ?
I mean stuff like Abel Jacobi map etc
@TedShifrin Yes, that's the idea, but is it obvious?
Seems obvious to me.
00:39
I am trying to collect up my notes from the last year and a half, and I have written the words "This is stupid obvious, derp derp derp." on the page where this is claimed.
You see?
that always makes me a little afraid
because whenever I say that something is "obvious", I feel like I am probably trying to sweep something under the rug
There's the standard lemma that $\int_a^b f(t,z)\,dt$ defines a holomorphic function whenever $\partial f/\partial z$ is integrable.
YES! That is the theorem I had in mind...
okay, I'm happy now
Glad it doesn't take much :)
00:42
that's why I go to so much effort to show that the damn thing is integrable in my notes
huzzah
that probably explains what I was thinking
Does anyone here know about the AMC 10?
Yup. I've both tutored for and proctored that thing a few times.
So, I use a TeX package called "todonotes" to annotate my work. I gave my advisor a copy of some notes, but forgot to first disable this package before recompiling the document. He got back to me a few days later and says "The results are nice. They are not 'horseshit'. Also, what do you mean by 'Stuff what needs to be did'?"
Oops. :P
indeed
my notes to myself are typically quite harsh
and not PG-13
@DarkRunner Why?
@XanderHenderson I'll be taking it soon, and I was wondering if anyone had any tips; I'm pretty versed in number theory, and geometry, but Questions 16-20 still trip me up
00:49
You shouldn't present things to your adviser that you'd be ashamed for your daughter to hear/read, @Xander.
I know, right!
i.e., any theorems I should know, etc.
But I feel that way about all I write
The only theorem worth knowing for math competitions is the Pigeonhole Principle
99.9999% of competition problems reduce to a super clever application of it.
(okay, I'm exaggerating a bit, but it is still a useful result)
ok thanks
01:05
what are you doing @XanderHenderson ?
complex geometry ?
Fractal geometry.
I am not really very smart, and actual geometry is too hard.
So I'll stick with fractals.
Just as soon as someone can tell me what a fractal actually is.
and now it is dinner o'clock
laters
01:24
@MatheinBoulomenos I got around to writing down a solution for the problem - finding primes $p, q$ with $p^2 = 1\pmod{q}$ and $q^2 = -1\pmod{p}$ - I was stuck with (I did read your solution too). It's along the lines of, say $p = \pm 1 + kq$. Then we're asking for situations when $(q^2 + 1)/(\pm 1 + kq)$ is an integer, say $m$. Then we get a quadratic equation with determinant $\Delta = m^2k^2 - 4(1 \pm m)$. $k^2 \Delta$ becomes, by completing the square, $(mk^2 \pm 2) - 4(1 + k^2)$
Now it's a case by case analysis to see for which $k$ and $m$ it happens that $k^2 \Delta \leq (mk^2 \pm 2 - 1)^2$ (if that doesn't happen $\Delta$ is not a perfect square)
Still unsleeping, Balarka?
It's not too bad, actually. I ended up with $(2, 3), (5, 2), (5, 3)$ too.
@TedShifrin Nah
Sup nerdzillas
You have to address me with more respect than that, Eric!
nerdzilla is very respectful
01:30
It's a compliment of the highest order
Since order is unbounded above, that is a vacuous compliment.
Compliments only have pole singularities
So I do not agree with that
I guess that's one way to interpret that expression
Still, no such thing as highest.
@Ted the SO and I will be making steak and aligot with brussel sprouts and some point soon
01:34
what's aligot?
I am familiar with a French dish that Ted is not?
I think I stumbled into a mirror universe
I have some physics to do, and some floor function problems to do. Should I get physically exhausted first or should I be floored by competition math first?
Perhaps so.
Floor function problems, Balarka?
Anyway @Ted it's a cheese and potato dish
I don't understand anything in this room.
ohhh, a gratin?
ohhh ...
I've actually never had that, but I get it.
@Ted you know, weird things like, "Prove $\lfloor \sqrt{n} + \sqrt{n+1} \rfloor = \lfloor \sqrt{4n + k} \rfloor$ for $k = 1, 2, 3$"
though that one is not hard
Yeah it's my two favorite things mixed together
I made a potato/fennel gratin for Thanksgiving that was fantastic. Of course tons of cheese.
Amazing
01:39
The one I wrote down was actually found by Ramanujan I think
along with many other things...
Why're you doing stuff like that, Balarka? Is that in your HS curriculum?
Nope, it's for the admission tests
ohhhhh
I don't think admission to college math departments should be based on competition math skills. Oy.
I wouldn't have gotten in anywhere good.
01:40
It's painful yeah
But it is not what math is about.
I agree, I guess.
Unless it's a test of basic logic skills, geometry knowledge, calculus knowledge, whatever.
Much as everyone loves to complain about the GRE math exam, it's not competition math trickiness AT ALL.
I think admissions tests don't make sense
Eric: To an extent, they do. You have to have an objective way of judging since high school (or US college) curricula are different and standards, letters of recommendation, etc., are totally non-uniform. We would get grad school recs saying "best student in my career" from a podunk school, and generally that means a big nothing.
From an MIT prof, of course, it means a lot.
So the GRE is a way of normalizing things to be fair, ultimately.
01:43
GRE isn't an admissions test though
Well, it's used as such.
Your application is still holistic, the gre is a component of it
I guess
Sure, sure.
India is super competitive so admission tests are prolly the only selection process that's viable
Astyx and others in France do the same thing there, too. Each school gives its own admissions test. An interesting concept, but the US is way too big.
01:45
Yeah France is like India x 9000
Yeah, why don't Yale and co have admissions tests?
Not that I want them to have one
Or do the SATs and ACTs function as one
@TedShifrin About the closest comparison (beyond the gre) are the comprehensive exams in grad school
idt admission tests can be hard enough to affect you unless it's like the IMO or something and you have 14 Akiva's competing with you
;)
01:46
DogAteMy: For one thing, we don't admit people to specific majors in the US (sometimes you're admitted to an Engineering school rather than the university as a whole).
My problem with them is that small variations in test structure of tests can radically alter your performance
I'd be shit at the IMO, imo
Yeah, Semiclassic, but that's based on your specific preparation.
01:47
I was crap on sat considtently but I got a 36 on the ACT without studying
the department is what's preparing the exam, not the university as a whole
ACT is supposedly more content-specific (not that I've ever taken it).
And they don't really differ much in content
why do you need SATs again? I forget
@TedShifrin It has a science section
01:48
I got a 790 (out of 800) on the math section of the SAT, which pisses me off because I took the test unofficially when I was 8 or something and I got an 800
same thing I said earlier — normalizes things across schools/backgrounds/recommendations, @Balarka
Plus somewhat a predictor of college success ... somewhat.
LOL, I got 830 on the math GRE (not the advanced one) out of 800, DogAteMy.
It's really good at predicting how much your parents make
I don't know the GRE. How does that work?
@EricSilva Lol
There are some SAT prep books for like $15 though I thought
01:49
Eric, indubitably there is cultural/societal bias.
Obviously tutors are more expensive
But crummy schools in rotten neighborhoods, DogAteMy.
I think the whole tutor thing is for the birds ... it's cheating the damn system.
Honestly apparently the marshmallow test is the best indicator for future success
We should just give people that :P
01:51
I hate marshmallows. Hate.
:thonk:
What's this marshmallow test?
Place a young child in a room with a marshmallow. Tell them you're gonna leave for 20 minutes. Tell them if they don't eat it while you're gone, they can have two marshmallows.
@TedShifrin I make crazy bank as a math tutor tho
Leave them alone for twenty minutes with the marshmallow, and possibly watch them through cameras or one-way mirrors if you want
01:53
I'd just eat the marshmallow right there and cut my losses rather than deal with having two in my possession
When I was in grad school, a friend of old friends of my family's wanted to hire me to tutor their high school son. I pointed out that they'd have to pay a premium price for a 4th year PhD student compared to a good high school student. They paid. The kid was actually smart, just bored in school. But I had no problem engaging him and he did do better just because he was more interested.
Maybe Marx would say I'm lumpenproletariat
Marx debunked tutors yeaaaaaars ago
:fire: :boom:
I'm leeching money from the bourgeoisie instead of contributing to class consciousness
gasp I'm a counter-revolutionary
Apparently the best indicator for how easily someone could get addicted to drugs is asking them how easily they get bored
01:56
Yeah, but then once they get addicted to meth, it's a whole different sort of bored, DogAteMy.
Or maybe that's the indicator for whether or not they'll relapse once released from jail, if they're in jail for drug use
@TedShifrin yeah I'm addicted to math and it's boring
Ples send help
…Was that a typo? It's hard to tell @TedShifrin
They both make sense in context
no, DogAteMy ... Demonark aside, it wasn't a typo
@AkivaWeinberger oh shit bad news for me
01:58
Do my martinis count as drugs?
I don't think I've had a martini
I can fix that easily, ERic :)
Cultural whatever aside, alcohol is a drug
to which you can get addicted
Alcohol is 7/10
It's like ok
DogAteMy: I assure you that you don't have to worry about me.
02:01
I honestly hate the taste tbh
can I get addicted to pineapple juice
I've tasted wine, but never more than like a drop
Just a horrible aftertaste. Also horrible taste
DogAteMy: There's some where I agree you, and others where I don't.
Different drinks taste different
There's a lot of horrible wine out there (not mentioning the Jewish crap).
02:01
yeah, wine is a taste which i've yet to acquire
I tend to find alcohol pretty hit or miss in general tho
I'm mainly into bourbon and scotch and they taste like licking a sour barrel
But that's ok coffee tastes like dirt and I like that too
i like the scent of coffee but never liked the taste
I hate bourbon, Eric, but ...
I only drink coffee if I'm desperate
It tastes like death
There's a lot of crap coffee.
02:05
I hate soda but love me a bourbon and coke tho
Blech.
(Specifically espresso makes me want to jump out a window but in general I don't do bitter things, which most coffee is from my experience)
I can't stand sugar in coffee. Things like Turkish coffee I won't even touch.
I like raw sugarless tea. But coffee is a different beast
I just want cafe con leche
No sugar
02:06
I've only ever had coffee as an aside to milk and sugar
My mom always adds an insane amount of sugar to her coffee and it is revolting to me
I don't even want much more than a touch of leche, Eric ...
Is "cafe con leche" what I think it is?
I prefer covfefe
leeches
02:07
Lol my dad used to do that a lot at McDonald's
LOL, Balarka, I figured you would
McDonalds? Oy.
I've only very recently started liking tea
Damn, DogAteMy, you probably hate good food, too :P
He usually drinks Dunkin Donuts or 7/11, before he used to drink McDonald's as well but not as much
I won't touch any of that stuff, Demonark.
It's like drinking battery acid.
Watered down.
02:09
Oh he actually told me once that it's one of the better places around. Not as good as the other two but better than, say Starbucks
There's this psychology experiment where you give someone a shock button, ask them to press it (they get an electric shock), and ask them if they think they would ever press it again ("No"). And then you leave them in an empty room with the button for five minutes
I'm not fond of Starbucks, but I have zero belief in your dad.
and out of sheer boredom they press the shock button again
@AkivaWeinberger coffee with milk?
02:10
Akiva lol u watch vsauce brutha
Reminds me of an Alzheimers test I took the other night. And twice I touched the wrong button as an automatic response starting off the new segment of the test, DogAteMy. It was very disconcerting.
I do, I do
Well, now he's a bit worse than he was
I liked the leaning tower of lyre video
@TedShifrin lmao, I mean he's spot on with Dunkin' Donuts so there's that. Though for the most part I prefer Earl Grey tea
I knew the computation but it always felt paradoxical to me
02:12
I love Earl Grey tea.
They have it every now and then at the math department tea time and it's the best
But I can't stand those coffees.
we need tide pod flavored tea
(is that meme dead yet?)
@TedShifrin As in, like, one button said "Continue to the next section" and the other said, I dunno, "Armageddon" or something, and you hit the wrong one?
Or what do you mean
@AkivaWeinberger tbh id do it instantly
02:13
Boredom is a powerful force but pain is another thing entirely lmao
nah pain is good stimulus
No, they had different sections to the test and they gave you practice at whatever. Two of the five times I immediately hit the wrong key on the first question. My brain knew it wasn't right, but I just did it.
you get instant serotonin boost from small amounts of pains
@BalarkaSen You can do a tower that goes out further if you have more than one block per row
I think Martin Gardner wrote about that?
I don't know that one. Link me something?
02:16
@BalarkaSen approximately 7 of them?
accurate
hi if i have a function f(x,y) = (y,x) i get a matrix which seems to be none of the linear transformation matrices that i know of i tried reflection and the rotation but the negatives don't match so i am a bit confused on how to state what the correct linear transformation is here =/
Couldn't find a Gardner thing
but it looks like that
Oh ok I see
@WDUK: It is a reflection.
02:21
i must've made an error then checking
let me check again
Draw pictures.
yeh i see it on paper but im trying to see it matching to the cos(2theta) matrix stuff
ah, gotcha ... well, what line is it reflecting across?
2*pi/4 im using
02:25
isnt a reflection 2*angle the line inclination being pi/4
OK, the line is in fact at $\pi/4$, yes.
So what is the matrix you get?
oh snap i see my mistake now
I figured you would :)
used the wrong trig function in the wrong cell :P
thanks for the help
03:04
does any one know how to get wolfram to give the area of a circle from a circle equation ?
 
2 hours later…
05:21
If the two foci of an oblique ellipse are given and its eccentricity is also given, how do i find the length of major axis? Can I still assume the distance between foci=2ae?
05:41
@WDUK for wolfram alpha, it's "area inside [equation]"
e.g. "area inside of x^2+y^2=1" gives pi
 
1 hour later…
06:53
@Semiclassical that Soviet Math. Dokl. paper has popped up again!
07:11
another update to my paper
some people might find it interesting
no theorem numbers?
@0celo7 no
should i?
and there are no "theorems"
i wouldnt say anything in there is strong enough to call a theorem
or rather, pivotal enough
a billion propositions
34-ish
should i add numbers?
of course
07:14
oh ok
that will be in the next version than
its only half-done
i started a month ago
roughly
brb
[Random]
"Square root" of a transpose
Let $A$ be a m x n matrix
Let $B$ be a set of divisors of $mn$ arranged in ascending order
Thus given a set of positive integers $I$ with cardinality $k$ where $k$ is the number of divisors of $mn$, $B$ is a well ordered set: $\{b_1,b_2,...,b_k\}$
Define the half tranpose operator as follows:
If $k$ is odd
$$A^\frac{T}{2} : \Bbb{F}^{mn} \to \Bbb{F}^{b_{\frac{k}{2}}b_{\frac{k+1}{2}}}$$
If $k$ is even
uuuh ok?
cool i think
$$A^\frac{T}{2} : \Bbb{F}^{mn} \to \Bbb{F}^{b_{\frac{k}{2}}b_{\frac{k}{2}}}$$
and therefore the half transpose operator has the property:
$(A^{\frac{T}{2}})^{\frac{T}{2}} = A^T$
actually, the more precise definition is that $b_k=mn$ and if $m \geq n$ then $mn$ becomes $b_{\frac{k}{2}}b_{\frac{k+1}{2}}$ in that order
This will become clear when we illustrate an example
Let $A$ be 4x4
The factors of 16 are 1,2,4,8,16
i.e. the pairs we are dealing with are:
1x16,2x8,4x4,8x2,16x1
Now we can see that k=5, hence odd. Thus the rule becomes:
$A^\frac{T}{2} : \Bbb{F}^{4\times 4} \to \Bbb{F}^{4\times 4}$
Now for an even example:
Let $A$ be 3x4
This gives factors 1,2,3,4,6,12 which becomes 1x12,2x6,3x4,4x3,6x2,12x1
Here k=6, hence even. Therefore:
$A^\frac{T}{2}$ does not exist
However, if $A$ is 1x12 or 6x2, then:
$A^\frac{T}{2} : \Bbb{F}^{1\times 12} \to \Bbb{F}^{4\times 3}$
and
$A^\frac{T}{2} : \Bbb{F}^{6\times 2} \to \Bbb{F}^{3\times 4}$
respectively
07:36
uuuh ok
me lost + no mathjax
actually, I need to work out in more detail how to write the rules algebraically. It is very easy to illustrate by example, because the dimension of the matrix after a half transpose will be defined to be some intermediate factor between nxm and mxn
and in the special case of a square matrix, the dimensions is unchanged
In fact, I have not work out in detail how the map actually looks like, because it seemed to be quite nonlinear. We can take the 2x2 case as an example
The goal is basically to solve the following system of functional equations:
Here, we can immediately found out for the diagonal entries, $f$ is idempotent on the entries indicated while the off diagonal entries have a period of 4
Also since (A^T)^T=A, we need $f$ to have an inverse
Solving all of this gives...
my head hurts
ive made leaps and bounds in differential fork theory though
(i still chuckle at that name)
And the only situation where f(x)=f^{-1}(x) is when x is a fixed point of f. Thus we immediately knew that for square matrices, the diagonal is left unchanged by the half transpose operator
As for the off diagonal elements:
We also found that if f(b)=x_1 and f^{-1}(b)=x_2, then we have a contradiction since we then have f(x_1)=f(x_2). To avoid the contradiction, we must conclude that x_1=x_2 hence f(b)=f^{-1}(b) which based on the previous argument, we then conclude b is a fixed point of f
As a result, the half transpose cannot be defined simply as an elementwise map of some single variable function f as otherwise, f^2(x)=x where x in {a,b,c,d}, contradict our requirement of being a half transpose.
To solve this, instead, the half transpose is defined to be a three variable function f(a,i,j) applied elementwise to the matrix
That is, given any a_ij, f^2(a,i,j)=a_{ji}
Now we often like to have maps that are continuous. Given a pair of a_ij and a_ji, there are many ways to interpolate between them. The simplest way is a linear interpolation, thus we can define:
$$\forall a_ij \in A : f(a_{ij}) = \frac{a_{ij}+a_{ji}}{2}$$
It is now obvious that the diagonal remains unchanged after application of $f$. Therefore, one natural way to define the half transpose for square matrices nxn is as follows:
\begin{align}
\forall i,j \in \{1,...,n\} :\\
f(a_{ij}) & = \frac{a_{ij}+a_{ji}}{2}\\
f^2(a_{ij}) & = a_{ji}
\end{align}
typo
08:12
@Secret are you familiar with miktex?
\begin{align}
\forall i,j \in \{1,...,n\} :\\
a_{ij} \neq a_{ji} : f(a_{ij},0) & = \frac{a_{ij}+a_{ji}}{2} = f(\frac{a_{ij}+a_{ji}}{2},1)\\
f^2(\frac{a_{ij}+a_{ji}}{2},0) & = a_{ji}
\end{align}
@TheGreatDuck nope, I use sharelatex mainly
actually, I think I need something more to flag that the matrix is obtained from a half transposition else the operation is not invertible. Will figure this out later
Background: The above bizzare idea is born out of thinking about the geometric meaning of transpose and wonder what happens if the transpose is halfway done
@Secret google it. download it. write a bigass paper eith all your kooky goofy fun ideas in it.
stop wasting them away in chat threads nobody is gonna read
They are currently scattered all over the chat, and I am still condensing them from the chat transcripts due to my incoherent and disorganisation
yeah well
get a tex document and go to town
im saying that for your sake
someone might steal your ideas
or worse: you lose an idea altogether
08:35
Yeah I am tidying up all my internet footprints since last year. It is a slow process since SE don't have a search function to search for only messages posted by a certian user, thus I have to crawl through all 3 years since 2015
@Secret then stahp continuing to do it
do what i did
look at my profile
 
2 hours later…
10:48
Are all archimedean ordered fields extensions of $\Bbb Q$ contained in $\Bbb R$?
Hey!

How can I find the limit: $\lim_{n \to \infty}{\left( \frac{3n}{3n+1}\right )^{6n}}$?
I did some calculation and got $\lim_{n \to \infty}{\left( \frac{3n}{3n+1}\right )^{6n}}=1$ as a result.
But wolfram alpha tells me it is $\lim_{n \to \infty}{\left( \frac{3n}{3n+1}\right )^{6n}} = \frac{1}{e^2}$.
Can someone give me a hint how to achieve that correct result?

« first day (2741 days earlier)      last day (2577 days later) »