98

Most descriptions of spontaneous symmetry breaking, even for spontaneous symmetry breaking in quantum systems, actually only give a classical picture. According to the classical picture, spontaneous symmetry breaking can only happen for non-linear systems. Classical linear systems, such as harmonic oscillators, can never have spontaneous symmetry breaking (here "linear" means that the equation of motion is linear).

But the real quantum systems are always linear since the Schrodinger equation is always linear. So how can a linear quantum system have spontaneous symmetry breaking? Do we have a simple intuitive understanding for spontaneous symmetry breaking within quantum mechanics (without using the classical picture, such a Mexican hat -- the logo of physics.stackexchange)?

The Mexican hat does give us an intuitive and pictorial understanding of spontaneous symmetry breaking in classical systems. Do we have an intuitive and pictorial understanding of spontaneous symmetry breaking in quantum systems?

DanielSank
  • 24,439
Xiao-Gang Wen
  • 13,082
  • 11
    The linearity is at the wavefunction level, not on the operator level. I fail to see the problem exactly--- what is confusing exactly about quantum spontaneous symmetry breaking? If you have a probability distribution on the states a nonlinear system, the equation of motion for the probability distribution is also linear, but you still have spontaneous breaking of symmetry. – Ron Maimon Jun 01 '12 at 06:03
  • 3
    Consider the ground state of transverse Ising model $H=-\sum S^z_iS^z_j + B \sum S^x_i$ of $N$ spins. For small $B$, the exact ground state still do not break the $S^z\to -S^z$ symmetry. So it is non-trivial to see the $S^z \to -S^z$ symmetry breaking for small $B$. – Xiao-Gang Wen Jun 01 '12 at 06:43
  • 2
    I'm not sure the distinction between classical and quantum is very useful here. I mean, one talks about the ground state of the system, but one still has quantum fluctuations around it. – WIMP Jun 01 '12 at 08:04
  • 4
    Classical states are points in phase space and quantum states are vectors in Hilbert space. So they are very different. Spontaneous symmetry breaking in classical systems does mean that the classical ground state (represented by a point in phase space) breaks the symmetry. However, spontaneous symmetry breaking in quantum systems may not mean that the quantum ground state (represented by a vector in Hilbert space) breaks the symmetry. – Xiao-Gang Wen Jun 01 '12 at 12:24
  • 1
    With apologies that it's a little off topic, one can give a Koopman-von Neumann presentation of a classical statistical theory, in which case the states are vectors in a Hilbert space. In the relativistic field context, one can work with random fields instead of with quantum fields. Such fields do not satisfy the requirement that the spectrum of the energy-momentum lies in the forward light-cone, however, and one typically ends up with alternatives such as Stochastic ElectroDynamics (SED), which on the whole have not been productive. – Peter Morgan Jun 01 '12 at 13:21
  • If the question is "Find an example that is intuitive to the person asking." Then this is arguably a guessing game. Nobody but the OP knows how that intuition works. – dmckee --- ex-moderator kitten Jun 01 '12 at 14:06
  • fwiw I was trying to find a vector analogue with a rotating pendulum, the vector being the direction of the rotating bob from the center.Also looked at gyroscopes, but have not concluded on a good analogue. – anna v Jun 01 '12 at 14:59
  • 2
    @dmckee: There is a standard understanding of SSB in quantum systems. If you are happy with it, then one does not need to go further. I ask the question since I myself is not happy with the standard understanding of SSB in quantum systems. So I try to see if there are alternative ways to understand SSB. Maybe this will lead to an understanding that is deeper, and that I find more satisfying. I do feel that there should be a deeper and better understanding of SSB in QUANTUM systems. – Xiao-Gang Wen Jun 02 '12 at 03:00
  • 1
    @Xiao-GangWen: you are undoubtedly aware of Tony Leggett's work on this topic. For him, the motivation lies in the clearly finite size of real experimentally realisable condensates, especially in the early years. He defines a somewhat ad-hoc measure in the eigenvalues of the single-particle density matrix. Personally, I think it is the result of entanglement with the observer, and subsequent amplification due to quantum "locking". Or: though the system + observer is symmetric, once one traces out the observer it is equivalent to introducing a classical symmetry-breaking term. – genneth Jun 02 '12 at 14:16
  • @dmckee: There is a meta-question I would like to raise: the OP is not asking about the kind of understanding that one finds in textbooks; after all, he wrote some and is undoubtedly well-read on this sort of thing. There are a couple of answers below which essentially miss the point of the question, even though they would be perfect for something not tagged with "research-level". Is it appropriate to down-vote them? Or even flag for removal? (This is the sort of thing which the loss of TP.SE makes tricky...) – genneth Jun 02 '12 at 14:32
  • 2
    The introduction by Jimmy Liu of "very small B" takes us out of SSB, inasmuch as the symmetry is explicitly broken by the "B" term. That restores vacuum uniqueness and cluster decomposition at the cost of invariance. @Xiao-Gang Wen: do you intend this question mostly in terms of the condensed-matter tag, in which case I take the loss of invariance to be unproblematic? In the QFT context, allowing nonunique vacua introduces many new possible states over free fields, it's outside the Wightman field context, but perhaps we have to keep to exact Lorentz invariance. – Peter Morgan Jun 02 '12 at 21:06
  • 2
    A finite $B$ does not break $S^z\to -S^z$ symmetry. Also there is Lorentz symmetry. – Xiao-Gang Wen Jun 02 '12 at 21:52
  • 1
    @Xiao-Gang It's helpful if you put a name at the beginning of a comment. Nonetheless, the B term is not innocuous, in that it converts the mixed vacuum state of the zero-B model into the pure vacuum state of the non-zero-B model, which removes the long-range order of being in one or another state, replacing it with the long-range order of being in the pure state /enforced/ by the non-zero B term (which could be in the y or some other direction, not only in the x direction). Gauge symmetries seem to me harder than the SSB aspect. – Peter Morgan Jun 05 '12 at 17:28
  • 1
    @Peter: Indeed, a non-zero $B$ in $x$-direction will lead to a unique ground state for any finite systems. – Xiao-Gang Wen Jun 07 '12 at 10:47
  • @all, can someone explain clearly why "A finite does not break →− symmetry. Also there is Lorentz symmetry."?@Xiao-Gang Wen said, what does this mean here? – ann marie cœur Sep 28 '20 at 20:44
  • @Peter Morgan, can you explain clearly why "A finite does not break →− symmetry. Also there is Lorentz symmetry."?@Xiao-Gang Wen said, what does this mean here to your comment on Jimmy Liu of "very small B"? – ann marie cœur Sep 28 '20 at 20:44
  • @Peter Morgan, can you explain clearly "B converts the mixed vacuum state of the zero-B model into the pure vacuum state of the non-zero-B model, which removes the long-range order of being in one or another state, replacing it with the long-range order of being in the pure state /enforced/ by the non-zero B term (which could be in the y or some other direction, not only in the x direction). Gauge symmetries seem to me harder than the SSB aspect." ? – ann marie cœur Sep 28 '20 at 21:04
  • Particularly I am confused by " long-range order of being in the pure state /enforced/ by the non-zero B term (which could be in the y or some other direction, not only in the x direction). Gauge symmetries seem to me harder than the SSB aspect." ? – ann marie cœur Sep 28 '20 at 21:06

12 Answers12

35

I just discovered this very interesting website through Prof Wen's homepage. Thanks Prof Wen for the very interesting question. Here is my tentative "answer":

The spontaneous symmetry breaking in the ground state of a quantum system can be defined as the long range entanglement between any two far-separated points in this system, in any ground state that preserves the global symmetries of the system.

To be more precise, denote $G$ as the symmetry group of the system and $|\Psi\rangle$ a ground state that carries a 1d representation of $G$. For an Ising ferromagnet, the ground state will be $|\Psi_\pm\rangle =\frac{1}{\sqrt{2}}\left(|\text{all up}\rangle \pm |\text{all down}\rangle\right)$. Then consider two points 1 and 2 separated by distance $R$ in the space, and two small balls around points 1 and 2 with radius $r\ll R$, denoted by $B_1$ and $B_2$. Define $\rho_1$, $\rho_2$ and $\rho_{12}$ as the reduced density matrices of the region $B_1$, $B_2$ and $B_1+B_2$, and correspondingly the entropy $S_{1}=-tr(\rho_1\log \rho_1)$ (and similarly for $2$ and $12$). The mutual information between the two regions is defined as $I_{12}=S_1+S_2-S_{12}$. If $I_{12}> 0$ in the $R\rightarrow \infty$ limit for all symmetric ground states, the system is considered as in a spontaneous symmetry breaking state.

In the example of Ising FM, $S_{12}=\log 2$ for both ground states $|\Psi_\pm\rangle$.

I am afraid it's just a rephrasing of ODLRO but it might be an alternative way to look at spontaneous symmetry breaking.

Phynics
  • 399
  • I like your answer. Rephrasing ODLRO in term of entanglement may be helpful. The motivation of my question is trying to have an understanding of symmetry breaking and topological order with the same framework. Thinking entanglements may allow us to do it. Hope you can be active in physics.stackexchange to make it more useful for physics graduate students. I find mathoverflow is very helpful at graduate level. – Xiao-Gang Wen Sep 27 '12 at 00:09
  • 1
    Thanks very much. I think it is very interesting to express both conventional order and topological order in the same framework of long range entanglement. I will try to be active and I think this website will be very helpful not only for graduate students but also for myself. – Phynics Sep 28 '12 at 05:53
  • @Phynics Welcome to physics stackexchange! May I ask what the physical interpretation of the following three cases are: (i) $I_{12}>0$, (ii) $I_{12}=0$ and (iii) $I_{12}<0$ in the $R\rightarrow\infty$ limit? – Heidar Oct 14 '12 at 12:34
  • 1
    @Heidar: For the case I considered with two disconnected regions 1 and 2, I think $\I_{12}$ is always non-negative. $I_{12}=0$ means these two regions are completely independent, i.e., $\rho_{12}=\rho_1\otimes \rho_2$. $I_{12}>0$ means there is at least some correlation function between 1 and 2 which is non-vanished. – Phynics Nov 05 '12 at 00:10
21

This question posted by Prof. Wen is so profound that I had hasitated to response. However motivated by Jimmy's insightful answer, I eventually decided to join the discussion, and share my immature ideas.

1) Quantum SSB is a non-linear quantum dynamics beyond the description of Schordinger's equation.

Regarding the transverse field Ising model mentioned in the comments of the question, with a small B field, the ground state is a Schordinger's cat state. Asking how does the SSB happen in the $B\to 0$ limit is the same as asking how does the cat state collapses to a definite state of live or death. Quantum decoherence plays the key role here. However quantum decoherence is an irriversible dynamics with entropy production, which, I believe, can not be described by the linear dynamics of quantum mechanics that preserves the entropy. To understand quantum SSB, we may have to understand the dynamics of quantum decoherence first.

2) Quantum SSB is a result of information renormization, which may be described by the tensor network RG.

The key of understanding quantum decoherence is to understand how entropy was produced. It had been a mystery for a long time that what is the origin of entropy? Until Shannon related entropy to information, we started to realize that entropy is produced due to the lost of information. Information is lost in the experiments inevitably because we can only collect and process finite amount of data. Because all experiements are conducted under a finite energy and information (or entropy) scale, so only the low energy and low information effective theory is meaningful to physicists. Renormalization group (RG) technique had been developed to obtained the low energy effective theory successfully. Now we need to develop the informational RG to obtain the low information effective theory. DMRG and tensor network RG developed in recent years are indeed examples of informational RG. Quantum information is lost through the truncation of density matrix, and entropy is produced at the same time, which makes quantum decoherence and quantum SSB possible. In fact, quantum SSB can been observed in both DMRG and tensor network RG as I know. Along this line of thought, quantum SSB is not a final state of time evolution under linear quantum dynamics, but a fixed point of informational RG of quantum many-body state, which is non-linear and beyond our current text-book understanding of quantum mechanics.

Everett You
  • 11,748
  • 1
    Here, Everett brought out a very good point. Without SSB, a ground state remain to be a pure state even with a little quantum decoherence. However, with SSB, even a very small quantum decoherence may put the system into a mixed state of the nearly degenerate ground state. This may lead to a understanding of SSB in quantum system, if this idea can be made more quantitative. – Xiao-Gang Wen Jun 08 '12 at 02:55
  • @Xiao-GangWen: I've been thinking about exactly this quantitative example. I think the easiest model is to take a Heisenberg model with $N$ $1/2$-spins, couple one of these to a measurement spin, consider the ground state and explicitly perform the trace explicitly. Textbook answer is that all spins point "down", but clearly there are actually $2N+1$ degenerate states, which hopefully would just automatically fall out of the calculation. – genneth Jun 17 '12 at 16:46
  • 1
    I'm not sure I agree that "entropy production ... cannot be described by the linear dynamics of quantum mechanics that preserves the entropy". Certainly the "external" entanglement remains the same under unitary time evolution, but the "internal" entanglement within the system can increase. For example, if we start in a pure product state of spin-1/2s pointing in random directions and evolve under the Heisenberg model Hamiltonian, the different spins will quickly become entangled even as the total state remains pure. Isn't this "internal" entanglement enough to explain SSB via decoherence? – tparker Feb 11 '18 at 18:47
12

Bei Zeng and I wrote a paper http://arxiv.org/abs/1406.5090 , which addresses this question:

A symmetry breaking phase for finite group G is a gLU equivalent class formed by symmetric many-body states that have GHZ entanglement.

In other words, a symmetry breaking phase is a set of

  1. symmetric states $U_g \Psi = \Psi$ up to a phase, $g \in G$, and
  2. those symmetric states have the same GHZ entanglement $\Psi = \sum_\alpha \Psi_\alpha ,\ \ \alpha \in G/H,\ \ H\ \subset G$, where $\Psi_\alpha$'s are locally distinguishable.

We say those symmetric states are equivalent. The set of equivalent symmetric states is a symmetry breaking phase.

So symmetry breaking = GHZ entanglement which are classified by pairs $(G , H),\ H \subset G$.

More precisely:

  1. A symmetric many-body state has spontaneous symmetry breaking implies that the state has a GHZ entanglement.

  2. One can detect spontaneous symmetry breaking in a symmetric many-body state even without knowing the group and/or order parameter of the symmetry. One can detect spontaneous symmetry breaking in a symmetric many-body state using only probes that respect the symmetry.

  3. The symmetric exact ground state of a generic symmetric Hamiltonian has spontaneous symmetry breaking iff it has GHZ entanglement.

wonderich
  • 7,798
Xiao-Gang Wen
  • 13,082
  • 1
    I wonder whether the first condition should be modified to 1. $ U_g \Psi \propto \Psi$ up to the symmetric charge? also the second condition should be modified by 2. $\Psi_\alpha$ may NOT be locally distinguishable? – wonderich Nov 29 '16 at 06:19
  • 1
    I made a correction on a typo to "$H \subset G$." Do you have comments about what I wrote on Nov 29 '16? – wonderich Sep 28 '20 at 21:56
  • 1
  • Ψ∝Ψ up to the symmetric charge? so Ψ can carry a symmetry charge?
  • $Ψ = \exp(i q \theta)Ψ$ for a abelian U(1) symmetry. (Instead of finite group abelian symmetry: How about nonabelian symmetry and continuous symmetry?)

    – wonderich Sep 28 '20 at 21:57
  • 1
  • the second condition should be modified by 2. Ψ may NOT be locally distinguishable? thus Ψ is locally indistinguishable?
  • – wonderich Sep 28 '20 at 21:57