« first day (4020 days earlier)      last day (1010 days later) » 

12:08 AM
I’m cooking fresh whole sea bass tonight, @copper.
 
what, was there someone who thought that the working class in 19th century western society ate something else than bread
 
@TedShifrin. Not a fan of B-12 vitamin?
 
Huh?
 
B-12 3000 vitamin
Vitamin B12 3000
 
I know what vitamins are. What are you talking about? Have you studied my entire diet?
 
12:19 AM
Oh. Got it
 
12:42 AM
@TedShifrin i like salt water fish.
sea bass has a delightful delicate flavour
@shintuku where did that come from?
 
o.9
Yes bass is top tier
also red snapper
 
four-starred comment
 
o.9
Although I also enjoy sole and japanese amberjack
 
o.9
pog
is that spanish?
 
12:55 AM
no
 
german
 
Is a real Lie group one that takes a vector in R^n always to another vector in R^n and a complex Lie group one that takes a vector in C^n always to another vector in C^n? Does that mean that the real Lie group is a subgroup of the complex lie group?
 
Lie groups don’t take vectors.
 
this question does not make sense to me, Lie groups don't come with an intrinsic action on R^n or C^n
 
You need representations.
And the answer to the final question is most assuredly no.
 
1:03 AM
C^n=R^2n as vector spaces
the difference between real and complex Lie groups lies in their manifold structure
 
I'm a physicist so bare with me lol
 
o.9
please kick the physicist from chat
 
@DIRAC1930 You have in mind a family of Lie groups called matrix Lie groups; these are subgroups of $GL(n, \Bbb R)$ (real) or $GL(n, \Bbb C)$ (complex).
There are Lie groups which are not matrix Lie groups, useful in physics, however.
 
Ah okay thank you
 
It is true that any real Lie group is a subgroup of a "canonical" complex Lie group. The process is called complexification.
 
1:08 AM
They have representations in mind, I think
 
Eg, $S^1$ is a subgroup of $\Bbb C^*$
OK, I don't know exactly what @DIRAC1930 in mind but maybe a combination of our answers will help.
 
With matrix Lie groups, what is the difference between SL(2,R) and SL(2,C) for example?
 
The former is the group of 2x2 matrices with real entries, with determinant 1. The latter is the same description, but with complex entries.
I am not sure what you mean by difference, but the definitions are different.
 
So SL(2,R) is a subgroup of SL(2,C)?
 
Correct.
 
1:12 AM
hey ive got a rather silly question. if we know that $0 \leq x_1,x_2 < \infty$ and $y = \frac{x_1}{x_2}$, then what would $y$ be bounded by?
 
@Dubias write some examples
 
SL(2,R) is 3-dimensional, SL(2,C) is 6-dimensional
SL(2,R) is not simply connected, SL(2,C) is
 
@shintuku from the examples it seems to be also bounded by $0$ and $\infty$. Is that correct?
 
Okay thanks, so can SL(2,R) still act on a complex vector space?
 
Yes, it can.
You can multiply complex vectors by real numbers.
 
1:15 AM
in fact, any group acting linearly on a real vector space also naturally acts linearly on a complex vector space (namely its complexification)
 
@Dubias do you know the archimedean property for natural numbers?
 
not really
 
in terms of matrix lie groups, what is the meaning of a universal covering group?
 
none
universal covers do not make sense for matrix Lie groups alone
 
@Dubias well, it states that the natural numbers have no upper bound
 
1:18 AM
Thorgott is right. Those are precisely the kind of Lie groups which are not matrix Lie groups.
 
for example, SL(2,R) is a matrix Lie group, but its universal cover is not
 
Ok thanks
what does it mean however then when people say that SU(2) is the double cover of SO(3)?
 
That's an example of two matrix Lie groups, one covering the other, in the sense that there is a 2:1 homomorphism SU(2) -> SO(3).
That happens in that specific setup. It's a very special example.
 
@shintuku I see, thanks. So if we were to change the question a little and write $x_1$ and $x_2$ to be real numbers, then would the bound on $\frac{x_1}{x_2}$ change or still remain $0$ to $\infty$?
 
1:21 AM
bass for dinner sounds great, although i had fish for lunch. i think i'm having a lentil soup for dinner.
 
@Dubias you should verify this, the proofwiki shows you how for natural numbers
 
the english word 'lens' comes from the latin word for lentil. i like that.
 
@shintuku Ok, I will try. Thanks for you help
 
np, feel free to ask questions about the proof
 
So if a matrix lie group G' is the universal covering group of another matrix lie group G, what does that mean?
 
1:26 AM
it means nothing special
not sure what you're looking for
 
As in what is the definition of a universal covering group in that context?
 
Well you need to know what the definition of a Lie group is outside of a matrix Lie group.
 
if you're not familiar with the concept of a universal covering space, I'd suggest to start there
 
If you know what a Lie group is, then for $G$ a universal covering group $\widetilde{G}$ is a simply connected Lie group such that there is a surjective homomorphism $f : \widetilde{G} \to G$ which induces an isomorphism on Lie algebras
Eg, $SU(2)$ is universal covering group of $SO(3)$, because $SU(2)$ is simply connected, there is a surjective (2:1, in fact) homomorphism $SU(2) \to SO(3)$, and it induces an isomorphism on Lie algebras $\mathfrak{su}(2) \cong \mathfrak{so}(3)$
 
1:30 AM
Ah thank you
 
In fact you just need to know the Lie algebra of a given Lie group to construct the universal covering group, there is a unique such thing, the map can be constructed by hand. These can all be found in textbooks, though I do not know of a handy one to recommend. I am sure physicists have written their own textbooks which will be more accessible to you
These are staple food for physicists
 
you can do Ado's theorem by hand?
I'm impressed if so
 
I can do for semisimple Lie algebras
 
@BalarkaSen Do you know anything about the reprentations of the Lorentz group?
 
which is good enough for physicists
@DIRAC1930 No, nothing.
 
1:35 AM
@BalarkaSen How? By classification or do you have something better in mind?
 
You will find people in physics.SE who know more about this stuff than us.
@Thorgott The adjoint representation is the embedding, the kernel is the center.
 
o.9
I just found out my keyboard has a copyright key
©©©©©
 
Center is trivial coz semisimple bro
 
oh right lol
 
So yes, all of this can be done by hand by physicists and they do.
Nothing that is special math knowledge.
 
1:37 AM
well, you still have to exponentiate the Lie algebra "by hand"
 
Which you do using the exponential map for $GL$
The matrix exponential
 
yeah
 
The whole theory can be written using matrices. It'll just be less digestible for mathematicians.
That's OK
 
I've looked through the physics resources for the past few months on this stuff but it's the mathematical definitions that trip me up
 
I am sure people in here can help with the math
Sometimes they'll be overly abstract but you should just keep prodding them
 
1:43 AM
Lol thanks
 
not the whole theory, but parts of it
but using matrices is abysmal for most things you'd reasonably want to do
 
subtweeting me, balarka. there's no such thing as overly abstract. only not abstract enough.
 
@Thorgott remember "group theory"?
@leslietownes lol
 
Someone check the new S6 paper please
 
S6 paper?
 
1:47 AM
Complex structure on S6
 
Oh?
Someone after Atiyah?
 
Yes
 
link
 
Check the arxiv yourself
 
What is this garbage
3 pages
must have some arithmetic mistake
lol
lol
 
1:56 AM
disappearing chat...
 
into a kerr black hole
 
isn't their description of the curvature tensor off
 
Seems to be a matrix algebra mistake
Even if the formula for N in the previous paper is to be believed
 
someone will get there eventually.
 
2:14 AM
if we can represent a secret message by a large prime
number $p$, we can transmit over the network the number $r = p · q$, where $ q > p$
is another large prime number that acts as the encryption key.

What is the worst-case time complexity of the above algorithm? Since the
input to the algorithm is just one large number $r$, assume that the input size
n is the number of bytes needed to store $r$, that is, $n = \frac{(log2 r)}{8}$, and that
each division takes time $O(n)$.
So, since $r$ can take 100 bits, we need $\frac{r}{p}$ divisions in order to get the encrypted message. Now the questions is how we can calculate the complexity of the algorithm where we need to guess each and every single possibility, thus I said we need $\frac{r}{p}$ divisions
So, the question is now, I am not sure why the complexity is $O(n \times 2^{4n})$?
$\frac{r}{p} = \frac{r}{2^{100}}$ divisions
I assume the complexity in the question is referring to number of divisions or both divisions and space?
 
@BalarkaSen matrices, less digestible for mathematicians?
 
Sorry, $n= \frac{\log_2{n}}{8}$
 
2:44 AM
or $n=\log_{256}(n)$
 
2:57 AM
If you guys are talking about Robert Bryant, he’s a superstar of long standing. This note on Chern’s work is more than 5 years old, unless something has changed. He was one of the people whom tried to stop Atiyah ….
 
3:14 AM
Who tried. I don't know where that m came from.
Anyhow, he is all I found when I did a google search on complex structures on S^6 2021
 
i haven't found what other people were referring to.
 
All I see is (removed).
 
it would surprise me if there were a complex structure on S^6. i don't feel strongly about this but my money is on no.
 
I presume Ryan is referring to something quite different from Bryant's note on Chern's contributions to the question.
 
i've been wrong about almost everything though.
 
3:17 AM
Well, it's not exactly a functional analytic issue, @leslie :D
 
i've even been wrong on functional analysis.
 
Shocking.
 
if i think X, not-X is the safe bet.
i was on kadison's side of the kadison-singer conjecture. he didn't think it was true and i didn't either. he hated the way it was named. it turned out to be true.
 
@TedShifrin If Robert Bryant declared he's solved the S^6 complex structure problem I'd just say oh damn and move on with the crushing realization that there's another piece of great mathematics from my time that I'll never learn.
 
His name was the only one that came up when I searched.
 
3:26 AM
We're talking about today's entry on arxiv, math.dg.
 
No, he's worked on it seriously and didn't solve it.
 
It's 3 pages, claims to solve it by arithmetic with the Riemann curvature tensor.
@TedShifrin Ah.
 
Yes, out of frustration, I just searched for it. Seems hardly worth taking the trouble. Seems unlikely that the complex structure and the Riemannian metric don't have to intertwine in some nontrivial way. But the crucial "fact" comes from the same person's earlier work. Shrug.
Ignore.
 
Yeah not worth finding the most certain flaw it'll have
 
A math undergrad?
"currently studying the Ricci flow."
 
3:33 AM
Yeah, scary.
 
shrug
 
I'm happy to let you know though that the proof of my little theorem seems correct, after having written down the core (just finished today). It's not finding a complex structure on S6, but still.
 
It seems she is now working on a PhD, thanks Demailly. Who knows.
Congrats on your little theorem .
 
Thank you :) still scrutinizing, it's a little surprising this isn't known because it's too simple, the scare of being wrong is always there. But seems to work
 
Get someone competent to scrutinize.
 
3:41 AM
Any example of two periodic functions whose product is not periodic?
 
It must?
 
@TedShifrin I've told my to-be advisor, but maybe we could ask someone who knows stratified stuff.
 
If the periods are independent over $\Bbb Q$?
 
uurgh, excuse me
 
smacks copper :)
 
3:44 AM
i was thinking the product of two periodic functions of the same period. i was wondering why the question
 
Indeed.
 
3:56 AM
my daughter seems to have stopped yelling for the night.
she's not shy, at all. i was very shy at her age. she interrogates people on zoom. i guess it's zoom and not real life, but she will ask them about their business.
she asked a coworker who had not had time to change after spin class, "why is your hair stringy and disgusting."
i had to patch that up a little bit.
 
@love_sodam how about $g(x)=\{\sqrt 2x\} \sin x$?
,where $\{.\}$ is fractional part function.
 
@BalarkaSen My roommate found it
At least one mistake
 
can someone link the preprint? i didn't find it.
or not, if it's obviously crank stuff. there was a guy i used to interact with who had a history of interesting results but somehow thought he had solved the invariant subspace problem, and probably hadn't. people wouldn't talk to him at conferences.
he was nice, you just didn't want to talk about the invariant subspace problem with him.
 
i took one of those abbott bimax tests. as did my son. he tested positive, i tested negative. guess i won't be seeing much of him until I leave.
 
is that the lateral flow test? very unreliable.
 
4:11 AM
the abbott test is fairly reliable plus he has sore throat, mild fever
 
at the beginning of this crap we sued a company that was at work on a covid vaccine, completely unrelated to what we were suing them for, but they dumped it out into the press and suddenly we were getting death threats.
 
:-)
 
i'd try to confirm with a PCR based test.
someone came to my house and yelled at me. it wasn't cool.
i don't know how you tell someone, this isn't what this is about. while they're in your yard. i got him out of my yard.
there was some IP law blogger who blew it up and then really regretted it once we started getting crazies. he was telling his followers to calm down.
he was actually a really respectful and OK person. i just don't know why it brought out the nuts at the beginning of the pandemic.
being at home and on the internet all the time is not a good recipe for mental health.
 
trying to get my head around specificities & sensitivities
 
@Koro Why it's not periodic?
 
4:18 AM
they really go way up into your nose for the nasal swab on those covid tests. i think part of my brain came out on that q-tip.
 
The two I’ve had weren’t so horrid at all.
 
@leslietownes i experienced that too
 
mine was ok. had to swirl it around.
 
@love_sodam what’s the period?
 
i didn't mind it too much, but it was weird. much deeper than i was expecting.
 
4:22 AM
@love_sodam please ignore that example
 
@TedShifrin $1/\sqrt{2}$ and $2\pi$
 
my daughter yells about eating food but was very good about her covid test.
 
@Koro I plotted that function and it seems not periodic.
 
I plotted it on desmos, looks periodic. I am investigating this function more :)
 
@Koro Take a closer look. The part that looks periodic is not periodic
 
4:30 AM
while writing that example, I had $\frac 1{\sqrt 2}$ and $2\pi$ in mind that is the example certainly doesn't have any of the aforementioned periods. Then, you asked why that function is not periodic so I started thinking of proving it in rigour.
but that seems very complicated :-(
@love_sodam: it can be proved that the above function is indeed non-periodic (without graph) like this:
Let $T\gt 0$ be a period of $f$ so we must have: for all x, $f(x)=f(x+T)\implies \{\sqrt 2x\}\sin x=\{\sqrt 2 (x+T)\}\sin (x+T)$ and in particular this must be true at $x=0$
whence we get: $\{\sqrt 2T\}\sin T=0$, hence either $\{\sqrt 2 T\}=0$ or $\sin T=0$ and from here you can verify that neither is possible.
This establishes that the function $f(x)=\{\sqrt 2 x\} \sin x$ is non-periodic over $\mathbb R$.
 
4:48 AM
@Koro Why can I just say neither is possible? I can say $T = pi$ then
 
@leslietownes using cdc numbers for the bimax test (for symptomatic) and the albany case rate (from alameda county) i get that the prob. of having covid given that one tests positive is about 41% (assuming no mistakes).
 
i vacillate between being annoyed by how bad everything is with how good it was that we got vaccines so quickly.
 
@love_sodam if $T=\pi$ then you'll have for all real $x$, $\{\sqrt 2x\}\sin x=-\{\sqrt 2(x+\pi)\sin x$ and it follows that $\sin x(\{\{\sqrt 2x\}+\{\sqrt 2(x+\pi)\})=0$(will this hold for all $x$?)
 
How about this: If f,g are periodic functions with period $T(f), T(g)$ and if we suppose $T(fg)$ is a period (assume $fg$ is periodic) then $T(fg) = nT(f) = mT(g)$ for some $n,m\in\Bbb N$. Hence $T(f)/T(g)\in\Bbb Q$.
 
Similarly, you can show that $T=$integral multiple of $\frac 1{\sqrt 2}$ is not possible as a period of $f$.
 
4:55 AM
@Koro I mean either $\{\sqrt 2 T\}=0$ or $\sin T=0$ is possible for some $T$
 
@love_sodam To show why neither of these two cases is possible, you may consider two cases: 1)$\{\sqrt 2 T\}=0$ , 2) $\sin T=0$ and in both cases, $f(x)=f(x+T)$ will not hold for all $x\in \mathbb R$.
that's what I hinted at earlier when I said neither is possible
 
@Koro How about indirect way I mentioned above?
 
I'm looking at it
@love_sodam I think you should fill in more details as to why for some $n,m\in \mathbb N$ you have $nT(f)=mT(g)$
Are you assuming that a period can only be rational?
 
Not really
Hmm.. it's not guaranteed that $T(fg) = nT(f)$ for some $n$
Or it's guaranteed?
 
no, I think. Note that for example, every real number is a period for a constant function
but do you understand how this gives you a complete proof that $f$ stated above is not periodic?
6 mins ago, by Koro
@love_sodam To show why neither of these two cases is possible, you may consider two cases: 1)$\{\sqrt 2 T\}=0$ , 2) $\sin T=0$ and in both cases, $f(x)=f(x+T)$ will not hold for all $x\in \mathbb R$.
 
5:08 AM
@Koro If periodic, either 1) or 2) holds
 
yes
 
@Koro I'm currently thinking why $T(fg) = nT(f)$ is not guaranteed. I want some example
here, $n$ is a natural number
I'll further assume $f,g$ are both nonconstants
 
well, you can take $f$ as fractional part function and $g$ as sine function
 
Isn't that an example that $fg$ is not periodic?
 
ahh, ok
 
5:28 AM
@love_sodam take $f=\sin, g=\cos$
$T(fg)=\pi$ but $T(f)=2\pi$
But $T(f)=n T(fg)$ is true for some $n$ of course under the conditions you have stated on $fg$
 
Well
The point is $T(f)/T(g)$ is rational so
I'll let $T(fg) = q T(f)$ for some $q\in\Bbb Q$ then
 
note: i have taken fundamental period here
3 mins ago, by Koro
$T(fg)=\pi$ but $T(f)=2\pi$
 
So? $T(fg) = 1/2 T(f)$ then
@Koro I found an example
 
what are you trying to do now? you wanted an example like above, right?
 
file:///C:/Users/%EC%9D%B4%ED%99%8D%EC%A4%80/Downloads/1256835192.pdf
Example 3.1
 
5:42 AM
that's your local storage link :)
 
@Koro I mean I want to see why $T(fg) = q T(f)$ is nontrivial (or even false)
 
this is not false, if $q$ is rational (not just an integer), under some conditions.
 
Oh can't see
@Koro $f,g$ are just nonconstant periodic functions
 
the behaviour of periods is strange specially when periods are irrational. If both $f$ and $g$ have rational periods then $fg$ has "LCM of period of $f$ and that of $g$" as one of its periods.
 
5:59 AM
@TedShifrin are you awake and in chat?
Just wanted to share this AT answer I made:
0
A: Homeomorphic spaces have the same homology groups

I'm an alien Im an eagle alienUsing the notation found in Vick's Homology Theory. Let $f: X \to Y$ be a homeomorphism. Let $\sigma_n = \{ (s_0, s_1, \dots, s_n) \in \Bbb{R}^{n+1} : \sum_{i=0}^n s_i = 0$ and $s_i \geq 0, \ \forall i \}$. That is the standard $n$-simplex. Then if $\phi : \sigma_n \to X$ is singular $n$-simple...

Shows that I understand some of the basics of AT going by Vick's and from what I already knew before.
Reason I'm excited is because this question was left as an exercise in Vick's and I figured it out all on my own knowledge, without googling for hints.
 
6:42 AM
are you a sick eagle?
because that would make you an ill eagle alien
3
da da dump
 
7:03 AM
tss
 
:-)
 
7:49 AM
where is the manager
 
8:04 AM
community managers don't usually come in here
 
8:46 AM
Hello!! At the general solution of x'(t) = Bx(t) does it hold that there are no trigonometrc terms iff the eigenvalues and eigenvectors of B are real?
 
 
2 hours later…
10:41 AM
Who knows Jasper Loy?
 
@love_sodam were you able to show that the sum (or product) of two periodic functions, the ratio of whose periods is irrational, is not periodic?
 
10:57 AM
Hi professor @robjohn
 
@WhoSaveMeSaveEntireWorld he used to be a regular fixture here
 
Can something be said about convergence of $\displaystyle b_{n} =$$\displaystyle \left(\frac{n^{\frac{1}{n}} -1}{n^{\frac{1}{n}}}\right)^{2} .n$?
 
@robjohn: Thank you very much. I actually need his help. I want to know where I can download the past entrance exam of Nanyang Technology University (Singapore). He is living in Singapore.
 
@WhoSaveMeSaveEntireWorld can't help there, sorry
 
@robjohn: No problem. Thank you very much!
 
11:21 AM
0
Q: Finding $\lim \frac{(2n^{\frac 1n}-1)^n}{n^2}$.

KoroI want to find limit of $a_n= \frac{(2n^{\frac 1n}-1)^n}{n^2}$ as $n\to \infty$. $\displaystyle a_{n} =\frac{\left( 2n^{\frac{1}{n}} -1\right)^{n}}{n^{2}} =\left(\frac{2}{n^{\frac{1}{n}}} -\frac{1}{n^{\frac{2}{n}}}\right)^{n}$ $\displaystyle \begin{array}{{>{\displaystyle}l}} \log a_{n} =n\log\l...

 
 
2 hours later…
1:34 PM
Thanks a lot for the answer @robjohn. My only question to that is: since $\frac{\log (n)^2}n$ does not tend to $0$, how was the final conclusion made? Here, by $\log (n)^2$, I mean $(\log n)^2$.
If $\frac{\log (n)^2}n$ tended to $0$, the following lim $b_n$ would tend to $0$, solving my problem instantaneously.
3 hours ago, by Koro
Can something be said about convergence of $\displaystyle b_{n} =$$\displaystyle \left(\frac{n^{\frac{1}{n}} -1}{n^{\frac{1}{n}}}\right)^{2} .n$?
I say so because: $n\frac{n^\frac 1n-1}{n^\frac 1n}=\frac{n^\frac1n-1}{\frac 1n \log n}\frac {\log n}{n^\frac 1n}$.
 
2:35 PM
@Koro You know that $\lim\limits_{n\to\infty}\frac{\log(n)}n=0$?
substitute $n\mapsto n^{1/2}$ and get $\lim\limits_{n\to\infty}\frac{\frac12\log(n)}{n^{1/2}}=0$
then square to get $\lim\limits_{n\to\infty}\frac{\frac14\log(n)^2}n=0$
Now show that $\lim\limits_{n\to\infty}\frac{\log(n)^{1000}}n=0$
 
2:50 PM
padic numbers go off infinitly to the left i.e. $....31525$ real numbers go off infinitly to the right i.e. $3.1415....$ are there any numbers that go off infinitly in both? i.e. $....3125.31415...$ i remember seeing something like this before but i cant find it
 
Hey people
I'm looking for a simple scalar valued multivariable function with a complex gradient
Any suggestions?
 
wear glasses? not sure what a better way of looking would be. where did you last see it?
 

« first day (4020 days earlier)      last day (1010 days later) »