« first day (2349 days earlier)      last day (2581 days later) » 

6:01 PM
Make New Spain great again
We will buy back Florida
 
You can have it.
The fact that you want it explains a lot
 
But grandma will need a visa for going to Miami
 
@JohnRennie Howdy
 
@BernardoMeurer I'm just passing through. I'm on my way to my armchair and beer :-)
 
6:17 PM
@JohnRennie Oh how do I envy you
 
7:07 PM
@JohnRennie why always beer? Why not something stronger from your northern neighbors?
 
Oh, nice I have access to my school's computing cluster
What should I do...
Oh
I know
 
7:24 PM
@ACuriousMind I might end up reading part IV of this book because it contains an introduction to intersection forms...you might get a lot of gauge fields questions from me in a week or two :P
 
7:48 PM
Hi all
Does anyone have a basic definition for what a coherent spin state is?
 
@JohnDoe context?
definition can vary somewhat as I recall
 
@EmilioPisanty Do you have a computing cluster to lend me?
 
@BernardoMeurer I do have access to a computing cluster but no I cannot lend it to you
 
@EmilioPisanty Could you run my code in it for a while and see if it halts?
 
@JohnDoe you can start here though
@BernardoMeurer I'm not running no malware on an institutional cluster
 
8:02 PM
:(
It's not malware
in fact it's free software
built entirely with free software
 
or are you trying to get code to solve the Halting Problem?
 
Collatz conjecture
 
@EmilioPisanty Okay thanks. Have you see a definition which basically defines it as a the eigenstates of a spin operator in some arbitrary direction. So the states $| \mathbf{S} \cdot \hat{n} \rangle$ in eignvalue equation: $$\mathbf{S} \cdot \hat{n}| \mathbf{S} \cdot \hat{n}; + \rangle = (\frac{\hbar}{2})| \mathbf{S} \cdot \hat{n}; + \rangle$$?
 
@JohnDoe that is in general not the case
keep in mind that coherent spin states are typically defined for arbitrary total spin
 
@BernardoMeurer you want access to the ORNL cluster?
 
8:06 PM
and they're normally of interest in the limit where $S\gg1$
 
2nd most powerful computer after that one by the communist Chinese
 
@0celouvsky :)
I don't need access
I just need someone to run it
and monitor if it ever halts
 
Every time I log in I have to sign a thing from the NSA
 
@JohnDoe any simple properties not listed in §2.1 of that link are likely not true
 
Not even kidding
Will I go to jail if I run this thing
 
8:07 PM
@0celouvsky Well, technically this is for mathematics research!
Nope
Unless they don't limit core access
But they obviously do
 
I'll come to visit you in jail pal.
 
@EmilioPisanty Okay will look at it. The definition I gave I found in this paper.
 
@BernardoMeurer what language is the code in
 
@EmilioPisanty The last paragraph of first page.
 
@0celouvsky C++
 
8:10 PM
How do I run that
 
git clone https://github.com/bemeurer/collatz
let me know if that works
 
@JohnDoe well, so, there you have it
 
Stay away from the collatz. Math is not ready for it.
 
@BernardoMeurer I need a lot of money to do this.
 
@EmilioPisanty Did you check it out?
 
8:12 PM
@0celouvsky Nevermind then :)
 
sometimes you have a paper coming out on the arXiv tomorrow and it's taken so long to write it feels kinda like waiting for Christmas :D
 
@JohnDoe yes
note that it does not match with what you said
in particular w.r.t. the eigenvalue
needs to be $S$ and can be (much) bigger than 1
 
Merry Christmas @BenNiehoff :-)
 
I gotta go, though.
 
8:14 PM
@BenNiehoff is your paper Rigorous?
 
lol
yes, but it's numerical
 
@BenNiehoff Hello, do you have a computing cluster to lend me?
 
How long is it?
 
no, my collaborators did the numerics
 
@EmilioPisanty So it is a spin operator in some arbitrary direction with an eigenvalue $S$ rather that $\frac{\hbar}{2}$?
 
8:15 PM
I NEED A COMPUTING CLUSTER
 
the paper is about 35 pages, but the work took about 2 years to do
 
PLEASE
 
computing clusters, unfortunately, are not Free
 
Rekt
 
8:16 PM
They are if you study at a proper school
 
Haha @BernardoMeurer you can't recover from that one
 
they do run Linux, though :)
 
@BernardoMeurer they're always gonna have malware
 
@BenNiehoff How are they not Free? They all run Linux and the parallelization software has Free implementations AFAIK
 
they are Free as in Freedom, but not as in Free Beer
 
8:17 PM
Relax and beeyumbole @BernardoMeurer
 
and definitely not Free as in Available
 
Pretty much all of them run Free software you prick
I don't care about Free as in Gratis, I mean Free as in Freedom
 
Congrats on getting it finally published @BenNiehoff and have a happy new year :D
 
vzn
@BenNiehoff congrats, so thats a great pt to pause & do a special invited chat session, right? :)
 
8:22 PM
@BernardoMeurer yep
 
@BenNiehoff You're Belgian?
 
no, but I am in Belgium
 
Uff, got me worried for a second there
 
Worried?
 
@BenNiehoff You work with a Brazilian?
 
8:24 PM
what do you have against Belgians?
 
@BenNiehoff what is a numerical string theory
and how is that Rigorous
 
vzn
@BernardoMeurer what do you want to do with a compute cluster?
 
@BernardoMeurer Portuguese. And two of them, actually, you'll see when the paper is up
 
By god my lab data is 100 pages long
 
@BenNiehoff Cool, which school?
@vzn Run my collatz calculator
 
8:25 PM
it's probably chub n tuck
 
@BenNiehoff Oh, USC, fancy
 
vzn
@BernardoMeurer youre joking right? :|
 
@0celouvsky lol
@vzn No
 
vzn
@BernardoMeurer such a tease. its been verified up to ~2^60... what can you add to that? :P o_O
 
@vzn Arbitrary precision
In multiple threads
 
8:26 PM
@0celouvsky it's not really Rigorous :\
 
vzn
@BernardoMeurer ok, what language? when did you start playing with it?
 
@vzn C++; A few months ago
It's not 100% ready yet
I need to re-write it using p-threads
 
vzn
@BernardoMeurer great, you said your school has a cluster, whats wrong with that one?
 
@vzn It's shit. i can't get the right libraries on it
I can't even install anything with APT
 
vzn
bummer :( ... theres a cool new numberphile video on collatz have you seen it?
 
8:32 PM
And it runs fucking Debian
::rolls eyes::
 
well that sounds better than regular Debian
 
@BenNiehoff Hahahaha, good one
 
vzn
@BenNiehoff fyi your vociferous opposition to simulation hypothesis now immortalized "on the record" in a blog :)
 
my what?
lol
I haven't met Glashow, Salam, or Weinberg
 
vzn
@BenNiehoff think you said something like that in a chat comment. that was from comments in here
 
8:37 PM
I've met Witten, maybe you got him confused with Weinberg
 
lol
Mar 20 at 22:36, by Ben Niehoff
I dunno why, but I only just realized that I've met all three of GSW, and yet I don't own their book
 
OH boy
 
Green, Schwarz, and Witten
lol
 
vzn
@ACuriousMind !!! ok thx for correction would have been hard to find that again for me... maybe there is more than one GSW in physics? found the wrong one :| ... am gonna fix it
 
Don't have time to touch my gsw :(
 
8:40 PM
@BenNiehoff Bah
 
vzn
@BenNiehoff this is why we need you for a AMA so you can get all the details right :)
 
is there even a book by Glashow, Salam, and Weinberg?
 
vzn
@BenNiehoff think it was a theory. it came up on google maybe. "GSW physics" maybe
 
if the most interesting thing about me is that I've met people at conferences, that sounds like a pretty dull AMA
 
vzn
@BenNiehoff sigh this false modesty is our worst enemy for the AMAs & maybe one of my main personal hurdles in getting/ "herding" guests... youve authored what over 7 papers on arxiv now? argh o_O
 
8:42 PM
The closest might be a GSW paper by them with G = Goldstone :p
 
@vzn number 10 is due to show up in another hour or so, if I have my time zones right...or maybe it was two hours?
but I have a small number of papers among people at my career level, I think
 
vzn
@BenNiehoff in case you hadnt noticed our AMAs work for both big fish in small ponds and small fish in big ponds & stuff in between too... anyway iirc at least 1 other endorsed idea of you as guest :)
 
@ACuriousMind One of the books I picked up from the library in my index theory raid mentions "superconnections." What's that?
 
maaaybe next week, I'm still trying to get something done at the moment
 
@0celouvsky Haven't heard that before but I'll bet it's a connection on a supermanifold :P
 
8:48 PM
it could be a connection on a supermanifold, or it could be a connection in generalized geometry
 
@ACuriousMind I wonder if people have SU$\psi$do's.
@BenNiehoff Generalized geometry?
 
there's a way to package all of the fields of 11d SUGRA into a single "generalized geometry", where they all look like they are parts of the vielbein
then the superconnection contains all of that crap
and the 11d SUGRA equations of motion follow from Ricci-flatness of the superconnection
pretty sure it contains all the fermions, too, hence all the super-ness
 
This was a pure math book
 
it's a useful formalism for obtaining dimensional reductions, apparently...I've never worked with it, so I don't know much more than that
 
I doubt it has anything to do with that
 
8:51 PM
then I have no idea!
 
I guess I'll have to read it
Knowing my luck I'll have to learn string theory again
 
shit, I was off with the timezones
00:00 GMT is 1:00 in the morning for me :\
I guess you'll have to tell me how non-rigorous it is tomorrow
 
::smashes head::
the struggle :(
 
vzn
@BenNiehoff sorry, "10"? not following...? oh! ok understand now
(thought you were talking about time zones...)
 
@0celouvsky ?
 
9:05 PM
@Sanya the last column is off the page
 
In QM and spin in particular, what does the symbol $\chi$ usually denote?
 
@0celouvsky that surely can be solved by a bigger page :)
 
@JohnDoe No really unique standard meaning. Common things it could denote would be a quantum state (if $\psi,\phi$ are already taken) or a Weyl spinor.
 
who the hell cals a wave function $\chi$
Weinberg?
actually he uses $\Upsilon$ for wave functions
 
bleh, \Upsilon...
better than \upsilon, I guess
 
9:11 PM
$\upsilon$
oooo
$uv\upsilon$
 
someone should use u, v, w, x, \chi, \upsilon, \omega as their variables
 
@BenNiehoff $R_{\pi\omicron\upsilon\iota}$
 
@ACuriousMind Okay thanks. Do you maybe know why it is that given the Hamiltonian $\hat{H} = \hbar \Omega_R \sigma_{x}$ for a two level system represented by a vector in the vloch sphere, why it follows that the time evolution operator $\hat{U}(t) = e^{(-u \Omega_{R} \sigma_x)t}$ implies a rotation of the vector by an angle $\Omega_R t$ around the $x$-axis?
 
@JohnDoe because $\sigma_x$ is the generator of rotations about the $x$-axis
 
9:13 PM
^that
 
@ACuriousMind You...agreed with me? On physics?
 
@0celouvsky Oh okay. I must still be getting to that in Sakurai, thanks.
 
I didn't know Sakurai talked about the Bloch sphere.
 
@0celouvsky Occasionally, miracles do happen :P
 
@0celouvsky I don't know if he does or not but I haven't covered rotations in chapter 3 yet.
 
9:17 PM
@JohnDoe You should read chapter 3 then
 
@ACuriousMind Am I correct in stating that it doesn't make sense to talk about a vector in the Bloch sphere which is along the z-axis since that implies we know the coordinates of the other spin operators, it only makes sense to talk about the projection of some vector of a known magnitude?
@0celouvsky I'm still busy on chapter 2 :/
 
@ACuriousMind Teach me
What is a Tensor
My mechanics prof talked about it
But it was greek
 
@JohnDoe Which "z-axis" do you mean? The one in real space or the one in the Bloch sphere?
 
@ACuriousMind Today the Elven Lord was saying that homology was known to Poincare. But how did those guys compute anything without Maclane/Mayer/Vietoris and their homological algebra?
 
@BernardoMeurer A multilinear map on a vector space
 
9:18 PM
@ACuriousMind Bloch sphere
 
@ACuriousMind What's a multilinear map?
 
@BernardoMeurer Why are you asking him and not me?
 
@JohnDoe Then the vector "along the z-axis" is by definition of the Bloch sphere the eigenstate with z-spin up, no?
 
@ACuriousMind Yeah I confused myself sorry...
 
@0celouvsky Because last time I asked you you threw a useless definition at me and didn't care to explain in a way that was accessible. With ACM at least I understood half the sentence
 
9:19 PM
@BernardoMeurer Consider the case $f:V\times V\to \Bbb R$, a bilinear map
That means $f(v,w)$ is linear in $v$ and in $w$
 
Multilinear just means the same thing for $f:V\times\cdots\times V\to\Bbb R$
 
@BernardoMeurer A map $f : V\times\dots\times V \to \mathbb{R}$ that is linear in each component.
 
So a tensor is just a function in a vector space that is linear on all variables?
 
Get outta here ACM
He's my Brazilian
@BernardoMeurer Yes
 
9:20 PM
Okay, that seems simple, what's the big deal?
 
Because there's a deep structure when you try to take the tensor product of spaces
A tensor in itself is not hard to define
 
@0celouvsky Well, they computed it by hand, I guess. At least things like cellular homology can be computed by hand
No hope for the singular case though, really
@BernardoMeurer It's...not a "big deal", such maps simply appear rather often
Consider the ubiquity of matrices
They're just a special case of tensors
 
@BernardoMeurer I guarantee you can get away with thinking of 2-tensors as matrices
 
as long as you don't get too hung up on covariant vs contravariant
 
Since $V\otimes W\cong V^*\otimes W\cong \mathrm{Hom}(V,W)\cong\mathrm{Mat}_{\dim V,\dim W}$.
 
9:23 PM
Why do I need tensors for rotations and how do I use them?
 
in what context?
 
Might need to switch the dimensions in the last one there.
 
@BenNiehoff I do not know. I was distracted in class
There was a nice human sitting next to me
 
ah yes, humans
they can be quite distracting
 
@ACuriousMind Do you understand this notion of "bundle group" under "generalized whitney sums"
 
9:26 PM
@0celouvsky never heard of it
 
You have a semigroup on $\mathrm{Vect}(X)$ using $\oplus$, then you can add in $-$ by hand by paralleling the construction of $\Bbb Z$ from $\Bbb N$
So you can take the "difference" of (isomorphism classes of) vector bundles over $X$
 
I have to say, I really hate it when people decide to name something "generalized X"
it happens a lot in physics, and it drives me nuts
 
@BenNiehoff I just came up with that name :P
 
@BenNiehoff I'm gonna call that the "generalized Niehoff hate"
 
Don't know what else to call it
 
9:28 PM
but you see, that's exactly the problem
 
@ACuriousMind I think it's a K-theoretic construction because the resulting group is called $K(X)$.
 
I don't know any K-theory, either
 
I know as much about K-theory as is contained in the vague statement "D-brane charges are classified by K-theory...mostly"
 
Lol there's a paragraph in BBS on K theory
It's utter nonsense
 
that's more or less what the paragraph says
 
9:30 PM
@0celouvsky So why do I need a tensor in mechanics?
 
@BernardoMeurer I don't know. Something something inertia tensor?
 
@ACuriousMind ?
 
@BernardoMeurer Hooke's law in bulk solids
 
Why the hell was that old man talking about Tensors
 
@BernardoMeurer Without more context I can't say
 
9:31 PM
@BenNiehoff I don't think we use that
@ACuriousMind let me see his slides
 
@ACuriousMind So I have this thing called the "index bundle" of a parametrized family $T:X\to\mathscr F(\mathscr H)$ of Fredholm operators which is a vector bundle $$\mathrm{index}(T)=\ker (T)-\mathrm{coker}( T),$$
 
it looks like $\varepsilon_{ij} = E_{ijk\ell} \sigma_{k\ell}$
 
where ker(T) and coker(T) are the kernel and cokernel bundles
but idk wtf that - really means
 
$\varepsilon_{ij}$ is strain, it's a 3x3 matrix that describes the local shape deformations of a solid
 
Oh the prof is a geophysicist
This explains why my class is shit
 
9:32 PM
$\sigma_{ij}$ is stress, it describes pressures and sheer stresses in all directions
 
@BernardoMeurer any good continuum mechanics is differential geometry
so having tensors makes sense if you leave the realm of lagrangian/hamiltonian/... mechanics
 
and $E_{ijk\ell}$ is a 4-index constant tensor called the Young's modulus...tensor
 
@0celouvsky Judging from your description, it's really just a formal object
 
@ACuriousMind The Bloch sphere is a mapping from $\mathbf{C}^2$ to the projective Hilbert space to a unit sphere right?
 
@JohnDoe I'd say the Bloch sphere is the projective space $P\mathbb{C}^1$, which is isomorphic to a sphere.
 
9:34 PM
that's not isomorphic to a sphere!
 
@JohnDoe Why are you reading Sakurai if you're using words like "projective Hilbert space"
 
@ACuriousMind What kind of isomorphism? Just a bijection?
 
And bijection
 
@0celouvsky What the prob?
 
@BenNiehoff ugh, I never get the exponents on projective spaces right :P
 
9:35 PM
haha
 
@ACuriousMind U sure about that one
 
but the Bloch sphere is S^3
so it's still a U(1) over the projective space
 
$CP^1=RP^2$, right?
 
@BenNiehoff what
 
9:36 PM
@0celouvsky no
 
then what the hell is CP
 
Cheese Pizza
 
complex projective space?
 
@ACuriousMind What structure does it preserve?
 
@BenNiehoff The Bloch sphere is by definition the projective space of a two-level system, which is $\mathbb{C}P^1$, which is a 2-sphere
 
9:37 PM
Oh, it's the complex lines in $C^2$
@ACuriousMind I got confused by indices too :P
 
What definition are you using where the Bloch sphere is a 3-sphere?
 
@ACuriousMind Hmm, ok, I must have only heard about it in cases where there was an extra U(1) degree of freedom
isn't the U(1) the global phase? I think it's still there
but ok
 
@JohnDoe It's a homeomorphism
$CP^1$ is literally the Riemann sphere.
 
@JohnDoe Whichever you want, basically, but I'm not sure what/why you're asking
 
@0celouvsky Oh okay. So it's a topological isomorphism?
 
9:39 PM
@0celouvsky There are also HP^n's, and OP^1 and OP^2 (but no higher OP^n's)
 
What's a topological isomorphism?
Do you mean a bicontinuous bijection?
Aka a homeomorphism?
 
The bijection to the sphere is just used to get good coordinates for points on the Bloch sphere, why does it matter "what kind" of bijection it is?
 
@ACuriousMind I'm just trying to understand the relation between the states in $\mathbf{C}^2$ and the Bloch sphere.
 
@BenNiehoff I don't even want to know
 
Rather the mapping that get us from $\mathbf{C}^2$ to Bloch sphere....
 
9:41 PM
@0celouvsky quaternionic and octonionic projective spaces. The higehr OP^n's fail to exist because the octonions are not associative
 
Topologists can tell me about crazy spaces once they've figured out $S^n$
@BenNiehoff Of course.
 
@0celouvsky Yeah that's what I mean.
 
I still don't want to know about those things
 
@JohnDoe It's the standard projection onto the projective space, what exactly do you want to know about that mapping?
 
@JohnDoe CP^1 is the space of complex lines in C^2. A complex line is $z_1 + \lambda z_2 = 0$, for some $\lambda \in \mathbb{C}$.
 
9:42 PM
@BenNiehoff Although I do think that the heat equation can be exactly solved for some projective spaces.
So I'll be needing to look at that soon
 
@BenNiehoff With the caveat that $\lambda = \infty$ is allowed and corresponds to $z_2 = 0$.
Otherwise you don't get that it's a sphere
 
So, complex lines are parametrized by this complex number $\lambda$
right, $\lambda$ is your coordinate on the Riemann sphere
 
@BenNiehoff Okay thanks.
@ACuriousMind All I was trying to figure out was whether the point is to think that every pure two level state is a point on the sphere or if there was some other info that is preserved.
 
but if you want to see the sphere more easily, you can write $z_1 = r \cos \frac{\theta}{2} e^{i(\psi + \phi)/2}$ and $z_2 = r \sin \frac{\theta}{2} e^{i(\psi - \phi)/2}$. Then the sphere is at $r = 1$ and $\psi = 0$.
 
@JohnDoe Well, there is some more information that you can see on the sphere, e.g. the Fubini-Study metric, and states that are "close" on the sphere are also "close" in the original state space (for a suitable notion of "close" for rays)
 
9:51 PM
@ACuriousMind Okay thanks will check that out.
 
by the way, I lied about the sphere being at $\psi = 0$...what you really have to do is quotient by the U(1) described by $\psi$
 
So, I was awarded a scholarship but I don't know for how much. Am I supposed to find out at the awards ceremony or can I ask them now?
 
that's kinda weird
I was once awarded a scholarship and not told by whom! except that I was supposed to write them a thank you letter
 
Yeah I have to write one of those
 
...what
 
9:55 PM
This better be many thousands
@ACuriousMind It's a strange american tradition
 
What kind of weird "scholarships" do you have in 'murica? :P
 
One of the worst things about this country
 
it's where somebody gives you money to help pay for our incredibly expensive education!
 
Thank you letters and "special occasion" cards. Absolutely awful.
Thank you letters are the worst. Either the person is grateful and that's nice. Or they're not and lie to your face.
I don't see what the purpose is in either case.
 
well, this one was awkward because they weren't allowed to tell me who I was even writing the letter to
or why
so I had no idea what to say
I strongly suspect it was a relative, to be honest
 
9:57 PM
@BenNiehoff I don't know how much I'm getting
Not even an order of magnitude
 
@BenNiehoff Well, would that mysterious benefactor take the scholarship away if you didn't write the letter? :P It sounds like a very weird practice
 
@0celouvsky $10 and pocket change
 
because who the fuck would send you a scholarship out of the blue, and not tell you why, or who they were, or anything?
 
@ACuriousMind Yes.
@BenNiehoff Why wouldn't a relative say something at least?
 
maybe it was a relative who wanted to see how grateful I could be, I dunno
 
9:58 PM
lol
@ACuriousMind I wrote my essay on Sobolev spaces btw :P
 
@BenNiehoff There are a number of strange (and small) scholarships funded by donors to my place.
 
I once heard, not firsthand mind you, that my uncle was pissed at me because I didn't express enough gratitude for being allowed to stay at his house once
 
Here you mostly apply for scholarships and most of them give you the same amount of money as you'd be getting from the federal finanical aid. A little bit more and the main benefit is you don't have to pay that back later.
 
so who the hell knows
 
@dmckee How do I write a thank you letter if I don't know who is giving it to me or how much it is?
 

« first day (2349 days earlier)      last day (2581 days later) »