« first day (5175 days earlier)      last day (50 days later) » 
00:00 - 17:0017:00 - 00:00

17:07
@TobiasFünke It's already too long for a single Q&A pair here, but I will make it available if I finish it, sure :P
Does anyone have a pdf of this book m.media-amazon.com/images/I/…
@ACuriousMind thanks for the reply. Looking forward to! :)
ACM, do you have a blog or think about starting one? :d
@TobiasFünke I've tried several times but I am bad at actually publishing posts - I usually produce like a dozen unpushblished drafts that I'm not quite happy with and then lose motivation :P
hehe I know right
but for this one, now, it is too late: you already announced it hehe
so you gotta publish it
yes, this is an attempt to trick myself into actually doing it :P
17:27
In the free Klein gordon case, can a antiparticle and particle change into 2 particles and 2 antiparticles as long as all other conservation laws are satisfied?
What conservation law causes the above not to be allowed?
Conservation of momentum, energy, and particle minus antiparticle number can all be acheived
What am I missing
@DIRAC1930 is it not obviously conservation of particle number?
The individual number operators commute with the free Hamiltonian.
17:42
Oh yeah
18:22
Isn't probability then positive if one separates the modes into two different particles
There must be a probability density somewhere
that is positive
18:52
@Relativisticcucumber was this a reference to ryder?
19:10
Are the scaling and universality hypotheses (in statistical mechanics) still thought to be true?
If the particles of the Klein Gordon theory are non interacting and the number of them are conserved, then surely the whole theory can be properly interpreted as a 1 particle theory. One knows that what was thought as probability density is actually charge density so that leaves the question regarding what the expression for probability density is
Underlying everything, there is secretely normal qm going on just not using the expressions that one naively assumes
what do you mean with one-particle theory?
special relativistic QFT does not know a (self-adjoint) position operator, as e.g. in "normal qm"
Sure, you have a Fock space and this Fock space has a one-particle sector
@TobiasFünke I keep telling them that but they never listen and insist there should be wavefunctions in the ordinary sense :P
hmmh :d
@SillyGoose can you formulate both precisely (or link to something)?
@TobiasFünke The Fock space is built from one particle states
19:20
?
yes
what's the point?
One should be able to formulate a consistent single particle klein Gordon theory
Starting from a single-particle Hilbert space, you can construct a corresponding (bosonic or fermionic) Fock space
hence my question: "what do you mean with one-particle theory?"
What is the probability density. Does it get replaced by energy density of one particle?
probability density of what?
The particle
Who’s integral is conserved with time
19:26
@TobiasFünke I am reading's Baxter's book on exactly solvable models in stat mech. But I am looking at this old review (journals.aps.org/rmp/abstract/10.1103/RevModPhys.71.S358) and i am assuming their definitions of universality and scaling (section III)
@DIRAC1930 see e.g. this or many other posts physics.stackexchange.com/questions/462565/…
"Strictly localized observables necessarily turn single-particle states into states with an indefinite number of particles."
and this
29
Q: Does relativistic quantum mechanics (RQM) really violate causality?

Sam GrallaThe Hamiltonian $$H=\sqrt{p^2+m^2}$$ defines a one-particle quantum mechanics in the usual way. Let us call this theory RQM for short. Peskin and Schroeder claim that RQM violates causality because the (quantum-mechanical) propagator has support outside the light cone (Sec. 2.1). I do not beli...

@ACuriousMind I'm really sorry for leaving in the middle of the conversation,had to run an important errand
19:42
Everything seems very dodgy
Maybe similar issues pop up with phonons in cmt where one doesn’t have the complications of special relativity
The field operators take a similar form to the klein Gordon neutral case
oO
"dodgy"??
there are several rigorous theorems concerning locality and the non-existence of "usual" position-like self-adjoint observables
I really don't see what you're heading for. Yes, non-relativistic QFT (e.g. in condensed matter) is easier with this respect. But what's the point?
20:20
@handan_toddler no i have ryder rude blocked so i cant see any of the nonsense that surrounds that user
ok, thanks for responding @Relativisticcucumber
why might it be reasonable to call the difference between the singlet and the middle triple the "exchange energy"?
Okay but then why not have a momentum probability density
The point is the Klein-Gordon theory should be able to be formulated properly as a single particle theory if one can formulate a non-interacting many particle theory where the number of particles and antiparticles is conserved. The question is how.
@DIRAC1930 There is one, given by exactly the usual $\lvert\langle p\vert \psi\rangle\rvert^2$ Why do you think there isn't?
20:34
What is the equation for the single particle momentum probability density?
@DIRAC1930 There is no problem in formulating the theory on a formal level. It is just unphysical because the naive one-particle Hamiltonian is unbounded from below.
@DIRAC1930 I just wrote it down, it is the usual formula in terms of eigenstates of the momentum operator since the momentum operator exists as a self-adjoint operator with no problems (since translations are represented unitarily). What's unclear about that?
Because I can easily just write $|<x|\psi>|^2$ and claim everything is consistent
No, you can't, because the $\lvert x\rangle$ don't exist
@ACuriousMind Yes but there should be a 2 particle hamiltonian
Where the positron wave function (btw by wavefunction I mean momentum space wave function) and electron wavefunction are treated seperatly
I have no idea what you mean, but if you think there "should" be such that thing, just go ahead and write it down. If you can say it should exist, what problem do you have in finding it?
You can't just assert that random things should exist without presenting a derivation of them.
20:41
One has the positive energy solutions being that of a single particle, and the negative energy solutions being that of another particle
Hence one has a minimum of a 2 particle hamiltonian
but they do not interact with eachother
hence one has 2 independent 1 particle hamiltonians each acting on a different set of wavefunctcions
@ACuriousMind maybe im getting it wrong but doesnt this just say that when accounting for PEP there should be an energy decrease when discussing fermions? it's not clear to me why this energy difference would correspond specifically to the energy difference between $T_0$ and $S$ tho
@DIRAC1930 You can split the space of wavefunctions $H$ into $H_+ \oplus H_0 \oplus H_-$ as the eigenspace decomposition of the KG-Hamiltonian. What's your point?
@ACuriousMind If you do this and treat all solutions as being that of 1 particle, you run into inconcictencies I think
I don't know what it means to "treat all solutions as being that of 1 particle"
@ACuriousMind what do you mean here? isn't the spectrum of the one-particle KG Hamiltonian given by $\sqrt{k^2+m^2}$?
though, I think that the (free) one-particle Dirac Hamiltonian is indeed unbounded from below.
20:53
Well when you split the many particle Hilbert space into $H_+ \oplus H_-$, you have $a,a^\dagger$ operators only acting on $H_-$ and $b,b^\dagger$ operators only acting on $H^+$.
So this is 2 particles essentially
Which is claimed to be consistent
Which it probably is
But my point is that in the non interacting regime, one can consider this as just being 2 particles, one with a wavefunction in $H_+$ and another particle with a wavefunction in $H_-$
And the one should have no inconcictencies if the many body QFT is correct
@TobiasFünke Sorry, you are right, I was thinking about the Dirac Hamiltonian
Which means that the notion of momentum probability density must make sense and not be negative
but now I have no idea what "negative energies" @DIRAC1930 is even talking about the for KG case
I think some wires between the Dirac and the KG case got crossed very wrongly here
@TobiasFünke $\pm \sqrt{k^2+m^2}$ i thought
Ah, this is the difference between the field Klein-Gordon Hamiltonian and the one-particle one
@TobiasFünke you're thinking of the field Hamiltonian, which is bounded below with that spectrum (if the infinite zero point energy is somehow taken care of)
but if you just look at the KG equation on one-particle wavefunctions, it's not bounded below since the "negative frequency" solutions have $-\sqrt{p^2+m^2}$ as their energy
@DIRAC1930 But that doesn't change that the Hamiltonian for one of your two "particles" is unbounded below.
I really don't understand what you're trying to do here
21:04
All I'm trying to do is to understand the Klein-gordon QFT, as a many body quantum theory
But that's not what you're doing, QFT certainly does not interpret the negative frequency solutions as a different particle in the case of the real scalar field.
I thought we were doing the complex Klein gordon field
You didn't specify that, and the real one has the negative solutions, too
mhm, I am looking at one of Arai's books, where he introduces the single-particle operator $\omega_m(k):=\sqrt{k^2+m^2}$, and from that constructs the second quantized Hamiltonian $\mathrm d\Gamma(\omega_m)$. The time evolution of the fields is governed by this latter SQ Hamiltonian, which I think you refer to the "field" Hamiltonian (?)
But I should probably start with the real scalar field to make this easier
21:07
@TobiasFünke yes
Lets get down right to basics. If I have a real Klein-gordon particle infront of me, does the notion of having a momentum probability density make sense?
ultimately of course the "correct" Hamiltonian on one-particle states is also bounded below, but it is not equal to the Hamiltonian of the classical KG equation because we throw away that infinite piece in the field Hamiltonian (or switch the role of the c/a operators or whatever phrasing you want for what makes the field Hamiltonian well-defined)
33 mins ago, by ACuriousMind
@DIRAC1930 I just wrote it down, it is the usual formula in terms of eigenstates of the momentum operator since the momentum operator exists as a self-adjoint operator with no problems (since translations are represented unitarily). What's unclear about that?
I see. So I started from the "non-pathological" Hamiltonian, which "historically" however is not how things were discussed (?)
Is it given by the Fourier transform of the usual $j_0$?
The fourier transform of $j_0 = \psi^* \partial_t \psi - c.c.$ or something
meow
21:11
@DIRAC1930 You need to take three steps back and first define the Hilbert space (again, complete with inner product) we're taking as our space of states here
Hi Allie
hi
how r u
@DIRAC1930 With all due respect, why don't you just read a good, perhaps mathematical, QFT book?
Lets take the inner product to be $<\psi | \phi> =\int \mathrm{d} p \psi^*(p) \phi(p)$
I am more or less fine, thanks. I hope you too? Unfortunately I have to leave now
21:13
im feelin like shit rn but its chill
bye bye!
@DIRAC1930 Yeah, that's wrong. We've been over that.
If you continue to refuse to properly learn how to set up a relativistic space of states with an invariant inner product I cannot help you.
We do not need an invariant inner product. That comes later. Mine transforms as the time component of a 4 vector which is historically what was done
@DIRAC1930 Talagrand in his QFT book discusses how to properly build a good Hilbert space
hilbert
but in light of Wigner's theorem, why do you want a non-invariant inner product???
@Allie :/
21:15
@DIRAC1930 If you think you can build a relativistic theory without making the Poincaré group unitary as your very first step then you will never build a relativistic theory.
2 days ago, by ACuriousMind
otherwise you could tell which Lorentz frame you are in by performing an experiment where those probabilities differ in different frames. That such probability-preserving transformations must be (anti-)unitary operators is Wigner's theorem.
I have already made exactly the same point and am rapidly reaching the conclusion that this conversation is pointless
I can, i just need the inner product to transform as the time component of a 4 vector
sassy
yeah, good luck with that, I'm done with this conversation
This is exactly the reason why the Dirac Lorentz transformation matricies aren't unitary matricies
@ACuriousMind it seems so indeed
21:18
One just needs to ensure $\int \mathrm{d}^3x\psi^\dagger \psi$ transforms as the time component of the 4-vector
Otherwise you run into silly statements like 'qft is needed because the spinor matrices are non-unitary'
Hence some silly statement regarding people saying its resolved by the matricies transforming the operators which aren't part of the Hilbert space or something
Just like Dirac did it
The normal way
This is the exact reason why hep-th is doomed. Noone can answer trivial question regarding qft because it's all been forgotten
@Relativisticcucumber In the singlet, the spins are anti-parallel and so there is no "Pauli exclusion effect" at work. In the triplet, the spins are parallel and Pauli exclusion forbids them to occupy the same state in the non-spin part of the space.
(1) in condensed matter and qft, the cluster decomposition principle supposes that long-range spatial correlations should vanish (essentially). (2) in textbook qft especially only isolated systems are considered. (3) then how can the CDP possibly be true if entanglement is a generic fact of life in an isolated system?
@SillyGoose The cluster decomposition principle does not state that no systems possess long-range correlations.
It merely states a factorization property e.g. of the S-matrix when the states considered are seperated from each other in a specific way (related to causality)
(there are many equivalent or almost-equivalent ways to state this causality property of the scattering operator which is why I use 'e.g.')
oh wow
21:34
@DIRAC1930 Several people have extremely patiently tried to engage with your questions yet you continue to ignore all the pointers you are given to the correct solutions. You can do that, but you have no business getting upset about people disengaging from you when their input is continuously ignored.
lul
hi handan_toddler
wuzzup
enjoying the drama :P
not particularly but it is a little silly
21:38
@handan_toddler I've also had enough of you just always trying to stoke the flames. This kind of behaviour is also not welcome here.
mrow
@Arjun don't worry about it, chat messages don't disappear if you don't read them fast enough ;P The explanation I gave was designed to be brief; if the usage of the topological properties of connectedness doesn't sit well with you there should be various other derivations in the literature that discusses the structure of the Lorentz group (that it has four connected components is a result many places should show)
@ACuriousMind but $T_0$ refers to the triplet that is not up-up or down-down
@ACuriousMind i have never heard the word stoke. nice word
@ACuriousMind But they aren't the correct solutions. I am literally quoting from the methods in Dirac's book, Pauli's book, Landau & Lifshitz, some other early texts on quantum electrodynamics that build things up properly etc. Noone has offered a solution regarding the exact structure of what I am asking because it is not as simple as it seems
I am thinking of this notion of cluster decomposition. Am i misinterpreting this expression with the words I wrote above?
21:47
@Relativisticcucumber sorry, I said it the wrong way around. Here's a formal argument: If you example the spin states, then the triplet states are symmetric under exchange but the singlet state is anti-symmetric. It follows that, for the overall state to be antisymmetric, the spatial part of the wavefunction is anti-symmetric for the triplet but symmetric for the singlet. So in the singlet, the wavefunctions are allowed to be "the same" - no exclusion effect - while in the triplet, they may not
more concretely, I am thinking that one defines a correlation as $\langle A B \rangle - \langle A \rangle \langle B \rangle$. So that the above screenshot would then imply that this vanishes.
More particularly, I am working through Baxter's exposition of the general Ising model. He defines a correlation function $g_{ij} := \langle \sigma_i \sigma_j \rangle - \langle \sigma_i \rangle \langle \sigma_j \rangle$, which if the system is translationally invariant only depends on the lattice distant between sites $g_{ij} = g(\vec{r}_{ij})$.
@SillyGoose Yes, because those are vacuum correlation functions
The vacuum is not entangled.
Then he writes that it is expected that $\lim_{\lvert r \lvert \to \infty} g(\vec{r}) \to x^{-\tau} e^{-x/\xi}$ as $x \to \infty$, which according to a discussion I had yesterday with a prof is the CM-implementation of cluster decomposistion
There is no claim that such functions should factorize when the state is not the vacuum.
In the Ising model here, it seems we are not working with VEVs but still invoking a cluster decomposition principle.
21:54
@SillyGoose I mean, what state are those expectation values you wrote down for?
The one caveat stated by Baxter is that the "cluster decomposition" behavior of $g$ should hold true away from a "critical point/temperature"
@ACuriousMind A (classical) canonical ensemble $\rho \sim Z^{-1}(B, \beta) \exp(-\beta H(\sigma, B))$ where $B$ is an external field, $\sigma$ is a spin configuration, and $\beta$ is inverse temperature.
@ACuriousMind erm i am still not getting it. for one, any argument based off of symmetry and antisymmetry wont be able to single out $T_0$, it would apply to all triplets, no?
@Relativisticcucumber Sure. But you already observed correctly that the spins are parallel in the other two triplet states, and flipping a spin in general might also cost a bunch of energy, so if you took those to define the "exchange energy" you might get more than you want
@SillyGoose Now we're getting to CM-specifics I am rather weak on but I believe it's indeed either a theorem or an assumption (it might depend on $H$ which) that such thermal states also satisfy cluster decomposition
But there is no claim that all states (i.e. those particular entangled states with long-range correlations you're thinking of) satisfy cluster decomposition
@ACuriousMind hm ok. i think i can buy it
@ACuriousMind oh i see. i did have this misconception
22:06
also, about my qualm from yesterday. so if i have a situation, where there are two regions, left and right, one electron, and some tunneling $g$ between these two regions, then i can write a hamiltonian for this system reminiscent of the normal 2-level system. if i diagonalize this and get energies $E_{\pm} = \varepsilon \pm \frac{1}{2}\sqrt{\delta^2 + 4 g^2}$, [...]
[...] then i see that the tunneling being nonzero "breaks a degeneracy". what i mean by this is that with zero tunneling, there is a $\delta$ for which $E_- = E_+$. however, the text im reading says "the tunneling removes the degeneracy, and symmetric and antisymmetric states are formed". is there a way to understand why removing the degeneracy leads to symmetric and antisymmetric states? i mean in the case of, say, a magnetic field, [...]
[...] this would make sense because zeeman splitting, but i see no rationale to this here.
kind of a reiteration of a q yesterday but tried to provide more info :PPP
@ACuriousMind Thanks for the help :D
@Relativisticcucumber As long as your Hamiltonian remains symmetric under exchange of left and right, its new non-degenerate eigenstates need to be eigenvectors of the exchange operators (if this is not obvious, try to think about why that is). The eigenvectors of the exchange operator are symmetric and anti-symmetric combinations of the "left" and "right" state.
by exchange operator, you mean smth that acts like $\hat{O}(\vert L \rangle \otimes \vert R \rangle) = \vert R \rangle \otimes \vert L \rangle$, right?
22:21
yes
for instance in the double potential well centered around $x=0$, it's just the parity operator $x\mapsto -x$
 
2 hours later…
23:53
@TobiasFünke not at my uni lmfao cries
00:00 - 17:0017:00 - 00:00

« first day (5175 days earlier)      last day (50 days later) »