Emergent phenomena in Nature: a paradox with Theory?

The existence of various physical phenomena stems from the concept called asymptotic emergence, that is, they seem to be exclusively reserved for certain limiting theories. Important examples are spontaneous symmetry breaking (SSB) and phase transitions: these would only occur in the classical or thermodynamic limit of underlying finite quantum systems, since for finite quantum systems, due to the uniqueness of the relevant states, such phenomena are excluded by Theory. In Nature, however, finite quantum systems describing real materials clearly exhibit such effects. In this paper we discuss these apparently ``paradoxical'' phenomena and outline various ideas and mechanisms that encompass both theory and reality, from physical and mathematical points of view.


Introduction
Much of modern mathematical physics concerns the search for and formalization of mathematical structures concerning the occurrence of physical phenomena in Nature.Examples include spontaneous symmetry breaking, the theory of phase transitions, Bose-Einstein condensation, and so on.This can be done at various levels of rigor.In any event, unless perhaps in very simple cases, one can not avoid making assumptions and thus will consider a certain model that approaches reality. 1  This for example already happens in the study of the hyperfine structure of the spectrum of the Hydrogen atom, where one often "neglects" the relativistic interactions which are strictly speaking always present.Depending on the purpose of the study such assumptions are usually well founded and therefore they (often) do not affect the description of the physical system of interest.
However, describing Nature by means of a suitable theoretical model does not always have to give a correct result consistent with experimental predictions: it can create a serious mismatch between theory and reality.A particular case for which this mismatch leads to significant ambiguity is the manifestation of emergence, that is, according to Butterfield's first claim [8], a theoretical framework that describes phenomena as having behavior that is new and robust with respect to some comparison class. 2 In this paper we rather focus on asymptotic emergence in the context of limits, in which emergent behavior occurs in a "higher-level" theory being a limit of a sequence of "lower-level" theories, typically as some parameter, e.g.N corresponding to the size of a lattice describing quantum statistical mechanics goes to infinity, or in the spirit of the classical limit, Planck's constant ℏ to zero.This concept allows studying emergent phenomena inherent in nature in a mathematically rigorous way, namely by the theory of continuous field of C * -algebras and in view of the classical limit, by strict deformation quantization [16].
On the one hand, we emphasize that this notion of emergence may be viewed as a form of reduction (in the sense of deduction), in that, considering N → ∞ (resp.ℏ → 0) enables one to deduce novel and robust behavior compared to that of systems described for finite N (resp.non-zero ℏ).This is confirmed by two important examples one encounters in physics, namely spontaneous symmetry breaking (SSB) and phase transitions.Indeed, theoretically speaking SSB and phase transitions can only show up in classical or infinite quantum theories seen as a classical, respectively thermodynamic limit of an underlying finite quantum theory; and these features can be deduced after taking the limit of some parameter, explained in more detail in §2.2 (see also [17,19,30,29]).
On the other hand, as we know from decades of experience and experimental results, emergent phenomena such as SSB or phase transitions are observed in real materials, and therefore in finite systems despite the fact that due to uniqueness principles in Theory, they seem forbidden in such systems.This does therefore not show that the limit at N = ∞ is "physically real".The solution to this paradox is based on Butterfield's second claim [8]: "There is a weaker, yet still vivid, novel and robust behavior that occurs before we get to the limit, i.e. for finite N .And it is this weaker behavior which is physically real." This can be interpreted in the sense that a robust behavior of the physical phenomenon should occur before the pertinent limit, i.e. in systems described with a finite (respectively, non-zero) parameter, meaning large but finite N in the case of quantum spin systems or tiny but positive values of Planck's constant ℏ in the case of classical systems.This principle, what we call Butterfield's Principle, is taken to be our definition of emergence.
This paper is structured in the following way.In Section 1.1 we introduce the concept of phase transitions and spontaneous symmetry breaking, first from a more physical point of view often used in condensed matter physics followed by a mathematical approach common in algebraic quantum theory.In Section 2 the algebraic formalism suitable to describe classical and quantum theories is introduced.Using this language in §2.1 the definition of the classical limit is given.In §2.2 the connection with asymptotic emergence is explained and two examples (Example 2.3 and Example 2.4) are provided.In Section 3 the relation between SSB in Theory versus Nature is discussed.A solution to the above paradox compatible with Butterfield's Principle is given by a mathematical mechanism and is illustrated by means of numerical simulations.Finally, in §3.3 the analogy between our approach and the measurement problem is outlined.The paper is concluded by posing some open problems.

Phase transitions and spontaneous symmetry breaking
Phase transitions are everywhere in nature.They lay the foundation of many physical phenomena, like the formation of Bose-Einstein condensates, superconductivity of metals and so on.The general belief behind a phase transition is the occurrence of discontinuities in thermodynamic functionals and singularities in response functions.From a theoretical point of view these only arise in the relevant limit of an underlying finite quantum theory.
Practically speaking, incipient discontinuities of the relevant thermodynamic functionals are already observed in experiments, e.g. as the number of particles increases, most of the change in the magnetization occurs more and more steeply, i.e. it occurs in a smaller and smaller interval around the applied field being zero [12].Thus the magnetic susceptibility, defined as the derivative of magnetization with respect to magnetic field, is, in the neighborhood of zero, larger for larger N , and tends to infinity as N → ∞.However, at finite N no such singularity is present.This confirms Butterfield's Principle: the singularities which appear from experiment to exist in finite systems are not in fact singularities, but correspond to "robust behavior" encoded by steep maxima (incipient discontinuities) that precede the singular behavior the theory demonstrates in infinite systems.
Another more abstract picture, common in algebraic quantum theory to study phase transitions is based on the celebrated Kubo-Martin-Schwinger (KMS) condition describing thermal equilibrium at fixed inverse temperature β [13].A phase transition is now reformulated by saying that the associated β-KMS states are non-unique, that is the coexistence of more than one β-KMS state for a given dynamics.At positive temperature, however, KMS states are always unique for any finite system: no phase transitions take place [7].This rather abstract point of view is the usual one in modern mathematical physics; and it applies in general, i.e., it is not model-dependent.There is however also a drawback: this approach studies properties of states, and generally does not consider steep maxima.Consequently, slowly emerging singular behavior is not taken into account and therefore it is not clear at all how to restore Butterfield's Principle.We will come back to this point in Section 3.
Like phase transitions, symmetry and symmetry-breaking effects affect numerous areas and aspects of mathematical and theoretical physics, e.g. it plays a role in the Higgs mechanism providing mass generation of W and Z bosons, i.e. the gauge bosons that mediate the weak interaction [24].The general and common concept behind spontaneous symmetry breaking, originating in the field of condensed matter physics where one typically considers the limit of large particle numbers, often also called thermodynamic limit, is based on the idea that if a collection of quantum particles becomes larger, the symmetry of the system as a whole becomes more unstable against small perturbations [15,32].A similar statement can be made for quantum systems in their classical limit, where sensitivity against small perturbations now should be understood to hold in the relevant semi-classical regime, meaning that a certain parameter (e.g.ℏ) approaches zero3 [16,19].
To show the occurrence of SSB in a certain particle system various approaches of different levels of rigor are used.There are however some differences between the mathematical physics approach to SSB and the methods used in theoretical and condensed matter physics.In the latter approaches, based mainly on the ideas of Bogoliubov, the concept that the system in question becomes sensitive to small perturbations is generally implemented by adding a so-called infinitesimal symmetrybreaking field term to the Hamiltonian, from which one then wants to show that the limit of large particle numbers or the thermodynamic limit becomes "singular" [4,6], at least at the level of states, e.g. the ground state.If this happens, one says that the symmetry of the limiting system is spontaneously broken.To illustrate this we consider the quantum Ising Hamiltonian H QI N with N sites, i.e. ; (1.1) Here σ k (j) stands for , where σ k denotes the k-th spin Pauli matrix (k = 1, 2, 3) occupying the j-th slot, and J, B ∈ R are given constants defining the strength of the spinspin coupling and the (transverse) external magnetic field, respectively.The Hamiltonian H QI N is invariant under Z 2 -parity symmetry.For finite N , it is a well-known fact that the ground state eigenvector is (up to a phase) unique and therefore Z 2 -invariant: no SSB occurs.In order to observe SSB in the limit N → ∞ we take B ∈ (0, 1) and the constant J then may be chosen as one.The symmetry-breaking term is typically taken to be (1.3) In this approach one argues that the correct order of the limits should be lim ϵ → 0 lim N → ∞ [31,32] The the sign of ϵ then determines the direction of symmetry breaking (i.e. which of the limiting states is produced).In contrast, the opposite order lim N → ∞ lim ϵ → 0 gives a symmetric but mixed ground state on A. The symmetry is then said to be broken spontaneously if there is a difference in the order of the limits, as exactly happens in this example.In this sense, if SSB occurs, the limit N → ∞ can indeed be seen as singular [4,6].However, this approach gives no insight in the physical mechanism in SSB and furthermore challenged in the philosophical literature of physics [8].Without going into the mathematical details this paper instead is based on a definition of SSB that is standard in algebraic quantum theory, i.e. it is encapsulated in terms of an algebraic formulation of symmetries and ground states [7,16].The advantage of this approach is that it equally applies to finite and infinite systems, and to classical and quantum systems, namely it states that the ground (or equilibrium) state, suitably defined of a system with G-invariant dynamics (where G is some group, usually a discrete group or a Lie zero-limit of this parameter corresponds to a classical theory, encoded by a commutative C * -algebra.The general and correct formalism to deal with the classical limit is called strict deformation quantization, also called C * -algebraic deformation quantization. group) is either pure but not G-invariant, or G-invariant but mixed. 4Subsequently, in the spirit of the above discussion the "singularity" of the thermodynamic limit of systems with SSB is the fact that the exact pure ground state of a finite quantum system converges to a mixed state on the limit system, explained in detail in [17,19,30,29].The use of the word "singularity" here should thus not be confused with a discontinuous or singular limit.All we mean is the inability to decompose the finite quantum state (pure state), where in the limit, however, this is possible.This definition is therefore compatible with the general belief that SSB only occurs in the relevant limit.However, despite being mathematically correct, this approach does not confirm Butterfield's Principle, nor does it achieve the main idea that spontaneous symmetry breaking must be related to instability and sensitivity of the system to small perturbations in the relevant regime, manifested by the presence of non-invariant pure states rather than the unstable or non-physically mixed state.It is precisely the aim of this article to provide a natural mechanism that is mathematically correct and physically relevant, combining these (seemly different) notions of symmetry breaking into a self-contained theory.

Algebraic formulation
To answer the paradox in a mathematically rigorous way we need to introduce a C * -algebraic framework necessary to describe states and observables.To this end we focus on the interplay between classical and quantum physics.The major advantage of this algebraic approach is to have a unified rigorous formalism suitable for both classical and quantum theories.Indeed, classical and quantum physics turn out to share the following mathematical structure: • The observables constitute the (self-adjoint part of) a C * -algebra A.
• The states are positive linear functionals ω : A → C of norm one on A.
• Any pure state ω has no nontrivial convex decomposition, i.e., if ω = tω 1 + (1 − t)ω 2 for some t ∈ (0, 1) and certain states ω 1 and ω 2 , then The main difference between classical and quantum observables lies in the non-commutativity of the latter.

Classical observables
Classical observables are generally considered to be elements of the C * -algebra of continuous functions vanishing at infinity on a locally compact Hausdorff space X, denoted by A c = C 0 (X), where X is usually a symplectic or more generally a Poisson manifold playing the role of the underlying phase space. 5The algebraic operations are defined pointwise, i.e. (f g)(x) = f (x)g(x), involution is complex conjugation, and the norm is the supremum-norm denoted by || • || ∞ .As a result of Riesz Representation Theorem, states ω : A c → C correspond to probability measures µ on X.
Pure states on X in turn correspond to Dirac measures δ x , (x ∈ X) defined as (δ x f ) = f (x), and therefore are in bijection with points in X.

Quantum observables
Quantum observables are typically elements of a non-commutative C * algebra, denoted by A q .In the case of many situations of physical interest, A q usually corresponds to a a subalgebra of B(H), the bounded operators on a certain Hilbert space H.For example, A q could be the C * -algebra of compact operators A q = B ∞ (L 2 (R n )) on the Hilbert space L 2 (R n ), the latter denoting the square integrable functions on R n .The algebraic relations between operators may be added and multiplied in the obvious way; involution is hermitian conjugation, and the norm is the usual operator norm.
Let us for simplicity consider the case where bijectively correspond to density matrices ρ through ρ(a) = T r(ρa).Since a unit vector Ψ defines a density matrix |Ψ⟩⟨Ψ|, pure states ϕ on B ∞ (L 2 (R n )) bijectively correspond to unit vectors Ψ (up to a phase), via A particular choice of such a unit vector is Ψ ℏ , which corresponds to the lowest eigenvalue of a ℏdependent quantum Hamiltonian H ℏ (assuming its point spectrum is non-empty).Its corresponding algebraic state defined by (2.1) is called a ground state.

Classical limit in algebraic quantum theory
The theory of quantum mechanics provides an accurate description of systems containing microscopic particles, but principally quantum mechanics can be applied to any physical system.As known from long-time experience, classical physics, in turn, is a theory that works well with large objects.One may therefore expect that if quantum mechanics is applied to such objects, it reproduces classical results.Roughly speaking, this is what we call the classical limit, and refers to a way of connecting quantum with classical theories6 , rather than with infinite (non commutative) quantum systems [14,18].With perhaps abuse of notation the classical limit is often denoted by lim ℏ → 0.
Let us carefully introduce this concept from an algebraic point of view starting with the famous example of phase space X = R 2n .We consider the Schrödinger coherent state Ψ (q,p) ℏ labeled by a point (q, p) ∈ R 2n : If (ω ℏ ) ℏ is a family of quantum states defined on B ∞ (L 2 (R n ) and indexed by ℏ (with ℏ ∈ (0, 1]), we say that the quantum states have a classical limit if for all (or a sub-class) f ∈ C 0 (R 2n ), lim ℏ→0 ω ℏ (Q ℏ (f )) exists and defines a classical state on C 0 (R 2n ), say ω 0 .In other words, the family of quantum states (ω ℏ ) ℏ converges to a classical state ω 0 , if for all (or a sub-class) f ∈ C 0 (R 2n ).An important class of states one often encounters in physics are vector states induced by eigenvectors ψ ℏ of certain Hamiltonians H ℏ parameterized by a semiclassical parameter ℏ.Using these states, by Riesz' Representation Theorem the statement in (2.4) now means that for all f ∈ C 0 (R 2n ) one has where µ 0 is the probability measure corresponding to the state ω 0 and µ ψ ℏ , with ℏ > 0, is a probability measure on R 2n with density B ψ ℏ (q, p) := |⟨Ψ (q,p) ℏ , ψ ℏ ⟩| 2 (where Ψ (q,p) ℏ is the Schrödinger coherent state vector) also called the Husimi density function associated to the unit vector ψ ℏ .In other words µ ψ ℏ is given by with µ ℏ = dqdp (2πℏ) n the scaled Lebesgue measure on R 2n .
Remark 2.1.This approach is highly suitable for solving convergence issues regarding the semiclassical behavior of vector states induced by eigenvectors of certain operators.Indeed, such vectors itself do often not have a limit in the pertinent Hilbert space.As the next basic example already shows this problem can be circumvented by the algebraic approach introduced above.■ Example 2.2 (Classical limit of ground states of the harmonic oscillator).Consider V (x) = 1/2ω 2 x 2 in the quantum Schrödinger Hamiltonian (with mass m = 1/2), densely defined on L 2 (R).It is well known that the ground state is unique and that its wavefunction Ψ (0) ℏ (x) is a Gaussian peaked above x = 0. Using the language of the above formalism, it can be shown that the sequence of algebraic ground states ω ℏ ⟩ converges to the Dirac measure concentrated in the single point point (0, 0) ∈ R 2n .However, the ensuing limit of the eigenvector itself corresponds to a Dirac distribution which is not square integrable.■

Spontaneous symmetry breaking and phase transitions as emergent phenomena
We shall now discuss the role of spontaneous symmetry breaking (SSB) in quantum systems and their ensuing limits.As already elucidated in §1.1, the crucial point is that for finite quantum systems the ground state of almost any physically relevant Hamiltonian is unique 7 and hence invariant under whatever symmetry group G it may have [15,31].Hence, the possibility of SSB, in the usual sense of having a family of asymmetric pure ground states related by the action of G, seems to be reserved for infinite systems.Using the analogy between the thermodynamic limit and the classical limit (Section §2.1), an exact similar situation occurs in quantum mechanics of finite systems (SSB typically absent), versus classical mechanics, which allows it.Therefore, generally speaking, spontaneous symmetry breaking can be seen as natural emergent phenomenon8 meaning that it only occurs in the limit (be it an infinite quantum or a classical system) of an underlying finite quantum theory.
Let us give two examples of SSB occurring in the classical limit.The first example concerns a certain class of Schrödinger operators where emphasis is put to the classical limit in ℏ → 0 appearing in front of the Laplacian, the second example is the quantum Curie-Weiss model where the parameter ℏ → 0 is interpreted as the limit of large number of particles N .
Example 2.3 (Schrödinger operator).Consider the Schrödinger operator H ℏ suitably defined on a dense domain of L 2 (R n ) by where ∆ is the Laplacian and V a potential acting by multiplication.We take V to be of the form V (x) = (x 2 − 1) 2 , describing particularly a double well (n = 1) or Mexican hat (n = 2) potential.Clearly V is invariant under the natural SO(n)-action, and this property transfers to H ℏ .Furthermore, by standard results H ℏ has compact resolvent [23], and as a result of the (infinite version of the) Perron-Frobenius Theorem, the ground state eigenvector Ψ ℏ of the corresponding Schrödinger operator H ℏ is (up to phases) unique.The following facts are valid.
-Since the state ω (0) 0 (cf.(2.9)) defines a SO(n)-invariant, but mixed ground state one can prove that the SO(n) symmetry is spontaneously broken. 9■ Example 2.4 (Curie-Weiss model).Consider the quantum Curie-Weiss Hamiltonian H CW N with N sites

;
(2.11) (2.12) In order to observe spontaneous symmetry breaking in the relevant limit we take B ∈ (0, 1) and then we may choose J = 1.The following holds.
-The (pure) ground state ω (0) N ⟩ is unique and Z 2 -invariant.Again, no SSB occurs for any N < ∞.
-Similar as in Example 2.3 the classical limit ω 0 = lim ℏ→0 ω (0) ℏ exist;10 it yields a Z 2 -invariant, but mixed ground state ω where x ± ∈ B 3 correspond to the minima of the function h CW 0 (x, y, z) = −( J 2 z 2 + Bx), and 3 .Again, following the algebraic definitions it is not difficult to see that the Z 2 -symmetry is spontaneously broken.

■
In view of the previous discussion, we conclude that SSB shows up as "emergent phenomenon" when passing from the quantum realm to the classical world, i.e. by considering a classical limit, ℏ → 0 in Example 2.3 and N → ∞ in Example 2.4.This should be understood as emergence in the sense of deduction, as the novel and robust behavior (i.e.SSB) arises only after taking the limit in the relevant parameter.
In this algebraic fashion a similar study may be performed for phase transitions.In that case, one must show that the KMS states at inverse temperature, which are unique for finite systems, coexist in infinite systems.This is much harder problem than the study of SSB, since in general no additional symmetry is imposed on the relevant model.One usually tries to show that the quantum free energy function converges, followed by characterizing its minima and analyzing its continuity properties.This goes beyond the scope of this work, but we examine a simple yet illustrative case in §3.2.

Theory versus Nature
The previous examples have shown that SSB is a natural phenomenon emerging in the limit N → ∞ (where N typically plays the role of the number of lattice sites) or in the context of Schrödinger operators, in Planck's constant ℏ → 0 (which may be interpreted as a limit in large mass).Indeed, a pure G-invariant (quantum) ground state typically converges to a mixed G-invariant (classical) ground state.For phase transitions instead this is a much harder question.We will therefore mainly focus in SSB and step-by-step show how this algebraic approach in a rigorous way leads to the fulfillment Butterfield's Principle, thereby solving the paradox (cf.§3.1).
First of all, even though this notion of SSB is theoretically correct, it is not the entire story, since according to the general definitions, SSB also occurs whenever pure (or more generally, extreme) ground states are not invariant under the pertinent symmetry group G.It is precisely the latter notion of SSB that one observes in Nature: the limiting ground state is typically measured to be asymmetric in the sense that it is pure but not G-invariant.This state is therefore also called the "physical" ground state.Starting from this physical idea that the limiting ground state must be pure but not G-invariant, to prove SSB one should introduce a kind of quantum ground state that converges to a pure but not G-invariant, hence physical ground state, instead of to the unphysical G-invariant mixture predicted by the theory.
To get an idea of what this means we first go back to Example 2.3 for Schrödinger operators H ℏ with a SO(n)-invariant potential of the form V (x) = (x 2 − 1) 2 , (x ∈ R n ), i.e. we consider the operator The symmetry group SO(n) acts on R n by rotation.This induces the obvious action on the classical phase space R 2n , i.e., R(p, q) = (Rp, Rq), ((p, q) ∈ R 2n ), as well as a unitary map U on the Hilbert space Furthermore, as we have seen in Example 2.3, for any ℏ > 0 and n ∈ N the ground state of this Hamiltonian is unique and hence invariant under the SO(n) action; with an appropriate phase choice it can be chosen to be real and strictly positive.Yet the associated classical Hamiltonian defined on the classical phase space R 2n , has a degenerate ground state depending on the dimension n.For convenience we focus on two cases, n = 1 and n = 2.The case n = 1, corresponding to the symmetric double well potential with Z 2 -symmetry, the minima of V are obviously two-fold degenerate and given by the Dirac measures ω ± defined by where the point(s) (p = 0, q = ±1) are the (absolute) minima of h sch 0 .These (pure) states are clearly not Z 2 -invariant.Indeed, the Z 2 -action on R 2 induced by he non-trivial element of Z 2 is defined by the map ζ : x → −x, so that ω ± → ω ∓ .
The case n = 2 is the famous Mexican hat potential with SO(2) rotation symmetry.As we have seen before the level set Σ 0 = (h sch 0 ) −1 ({0}) is the SO(2)-orbit through the points (||p|| = 0 and ||q|| = 1.)This set of "classical" ground states is now connected and forms a circle in phase space.This is the idea of the (classical) Goldstone Theorem, a particle can freely move in this circle at no cost of energy, i.e., the motion in the orbit Σ 0 is free.Similarly, since each point in phase space is rotated under the SO(2) action, no point in Σ 0 is SO(2)-invariant.
To explain the issue about the existence of spontaneous symmetry breaking in Nature rather than Theory, then translates to the quest for a mechanism that reproduces Dirac measures in the relevant limit.To do this, we summarize two important approaches used in literature.

Anderson's approach
A commonly used mechanism to accomplish localization, originating with Anderson (1952) [1,2], is based on forming symmetry-breaking linear combinations of low-lying states (sometimes called "Anderson's tower of states" [27]) whose energy difference vanishes in the pertinent limit.In the limit (i.e.either ℏ → 0 or N → ∞) these low-lying eigenstates, still defining a pure state, converge to some symmetry-breaking pure ground state on the relevant limit system.In view of the quantum Ising model introduced in section §1.1 this limiting state corresponds to one of the tensor product states induced by the vectors | ↑⟩ or | ↓⟩.
In view of Example 2.3 with SO(n) symmetry, the case n = 1 precisely yields two eigenstates, namely the ground state Ψ ℏ ), viz. the mixed state ω 0 0 = 1 2 (ω + 0 + ω − 0 ), the low-lying eigenstates defined by Ψ ± ℏ := which are now localized, but define pure states ω ± 0 as well, converge to pure classical states: In this simple example this is clear, because Ψ ± ℏ has a single peak above ±1 since neither Ψ + ℏ nor Ψ − ℏ is an energy eigenstate (whereas their limits ω + 0 and ω − 0 are energy eigenstates, in the classical sense of being fixed points of the Hamiltonian flow).The reason is that the energy difference ∆ ℏ vanishes exponentially as ℏ → 0, so that in the classical limit Ψ + ℏ and Ψ − ℏ approximately do become energy eigenstates.
A similar situation occurs for the the Mexican hat potential, i.e. n = 2.As opposed to the double well potential, we now have an infinite number of low-lying eigenstates {Ψ (n) ℏ , n ∈ Z}, in the sense that they are all eigenfunctions of the operator H ℏ and their eigenenergies all coincide in the limit ℏ → 0. One then define the localized wave function by where θ ∈ [0, 2π) parameterizes the SO(2)-action on L 2 (R 2 ).The limit lim does not exists in L 2 (R 2 ).Instead, the idea is to exploit the techniques explained in §2.1, which makes the unit vectors Ψ N ℏ,θ converge to some probability measure µ ℏ,θ on R 2n as N → ∞.In the subsequent limit ℏ → 0, one should then obtain a probability measure µ 0,θ concentrated on a suitable point in the orbit of classical ground states {(p, q) ∈ R 4 | p = 0, ||q|| = 1} [16].
To summarize, these two examples illustrating Anderson's approach show that the right physical ground state is obtained in the pertinent limit.Clearly the pertinent pure (not SO(n)-invariant) limiting state breaks the SO(n)-symmetry.

Solving the paradox: case of SSB
Even though Anderson's approach may yield the right "physical" ground state in the pertinent limit, the low-lying tower of eigenstates itself is not an eigenstate of the original operator, and breaks the pertinent symmetry already for any finite ℏ (resp.any N ).This approach therefore is rather artificial: apart from the fact that this approach forces a separated limit to be taken, moreover, it still does not account for the fact that in Nature real and hence large and finite materials evidently display spontaneous symmetry breaking whereas on microscopic scale no SSB should be present, i.e. the pure state should be G-invariant in such regimes.Another more sophisticated mechanism that extends Anderson's approach and is compatible with as well theory as nature is introduced below.

Perturbative approach
In order to provide a natural mechanism compatible with symmetry breaking in Nature, we recall Butterfield's Principle [8]: "There is a weaker, yet still vivid, novel and robust behavior that occurs before we get to the limit, i.e. for finite N .And it is this weaker behavior which is physically real."Despite the fact that this was originally phrased in the context of phase transitions, namely that robust behavior for finite systems is not singular but corresponds to steep maxima (what Lavis et al., call incipient singularities [12]), this can can be interpreted for systems exhibiting SSB as well.This means that some approximate and robust form of symmetry breaking should already occur before the pertinent limit (viz.finite N or non-zero ℏ), despite the fact that uniqueness of the ground state seems to forbid this.To accomplish this, it must be shown that for finite N or ℏ > 0 the system is not in its exact ground state, but in some other state having the property that as N → ∞ or ℏ → 0, it converges in a suitable sense (see the discussion in §2.1 and [29]) to a symmetry-broken ground state of the limit system, which is either an infinite quantum system or a classical system.Since the symmetry of a state is preserved under the limits in question, this implies that the actual physical state at finite N or ℏ must already break the symmetry.
A natural setting taking this into account is based on some form of perturbation theory [10,31].Although in a different context, this approach, firstly introduced by Jona-Lasinio et al. [11] and later called the "Flea on the elephant" by Simon [26], is based on the fact that the exact ground state of a tiny perturbed Hamiltonian approximates the right physical (symmetry-broken) state in such a way that this perturbed ground state is G-invariant for relatively large values of ℏ > 0 (or similarly, for small values of N ), but when approaching the relevant limiting regime (i.e.ℏ ≪ 1 or N ≫ 0) the perturbed ground state loses its G-invariance, 11 and therefore breaks the symmetry already before the ensuing limit.The physical intuition behind this mechanism is that these tiny perturbations should arise naturally and might correspond either to imperfections of the material or contributions to the Hamiltonian from the environment.This is therefore also compatible with the physical idea that the symmetry of the system in question should become highly sensitive to small perturbations in the relevant regime (viz.Section 1).
To see what this means in a very simple context we again consider the Schrödinger operator defined by (3.1) for n = 1. 12As already mentioned, for any ℏ > 0 the (normalized) ground state Ψ (0) ℏ ∈ L 2 (R) of this Hamiltonian is unique and hence invariant under the Z 2 -symmetry ψ(x) → ψ(−x); with an appropriate phase choice it is real, strictly positive, and doubly peaked above x = ±1.The classical Hamiltonian h sch 0 ∈ C(R 2 ) has a two-fold degenerate ground state, given by the Dirac measures ω ± defined by (3.3).As predicted by Theory, the symmetric mixed state ω 0 = 1 2 (ω + + ω − ) turned out to be the classical limit of the exact algebraic ground state ω ℏ of (3.1) as ℏ → 0. In view of the previous discussions we perturb (3.1) by adding an asymmetric term δV (i.e., the "flea"), which, however small it is, under reasonable assumptions localizes the ground state ψ → ω + or ω − (rather than the unphysical mixture ω 0 ) depending on the sign and location of δV . 13According to the results proved in [26] to get localization the perturbed Hamiltonian should have the following properties: • δV is smooth, bounded and vanishes in a neighbourhood of the minima of V .
• The support of δV is localized at positive distance from the minima of V , but not too "far", meaning that its support is located not farther way than the Agmon distance between the two minimal points (see [31,26] for technical details).
The first condition of Property 3.1 means that the perturbation should not have any support at the minimum set itself.The physical interpretation is that tiny perturbations should induce symmetry breaking for small values of ℏ, but the symmetry of the minimum (or more generally, the level) set itself should be untouched to not affect the physical situation.The second condition means that the perturbation is indeed "effective".For example, if the perturbation is such that the support is located at a distance larger than the distance between both minima, no effect is observed: the ground state eigenvector will remain Z 2 −invariant for any ℏ.■ Let us consider an example.A natural perturbation δV for the Schrödinger operator H ℏ is where the parameters (b, c, d) represent the location of its center b, its width 2c and its height d, respectively.Using this function as perturbation for a suitable choice of these parameters it can be shown that indeed all conditions of Property 3.1 can be met.This is confirmed in Figures 1-2, where the perturbed potential V + δV and the ground state eigenvector of H (δ) ℏ for several values of ℏ are plotted. 14From Figure 2 it is clear that the ground state eigenfunction already localizes for relatively small, but positive values of ℏ, whilst for relatively large values of ℏ the state is Z 2invariant.For such small values of ℏ the ground state is definitely not Z 2 -invariant anymore, and therefore it corresponds to the physical (symmetry broken) ground state yielding a Dirac measure in the subsequent limit ℏ → 0. This precisely confirms the essence of the argument and the flea mechanism: SSB is already foreshadowed in quantum mechanics for small yet positive ℏ. 0 is indeed non-degenerate: no degeneracy effects due to numerical noise has played a role.Therefore, for these values of ℏ (obviously, they depend on the machine precision of the computer used to perform calculations) the simulations accurately reflect the uniqueness of the ground state, proved from general theory on Schrödinger operators.
■  Remark 3.4.We stress that this "flea mechanism" has been independently verified for meanfield quantum spin systems in the thermodynamic limit N → ∞ in [31].In this work a suitable perturbation in spin space has been defined having the same properties as perturbation (3.7).As a result the exact pure ground state of the perturbed quantum spin Hamiltonian converges to a pure state on the (in this case) phase space B 3 := {(x, y, z) ∈ R 3 | x 2 + y 2 + z 2 ≤ 1}.■ The final example for which we show the validity of this mechanism is a 2d solid periodic metal.In order to represent a realistic situation, we will not use potentials with vertical walls, but rather a smoothly varying function taken to be a Gaussian potential [22] assuming the form where V 0 represents the maximum depth of the well, (x 0 , y 0 ) are the coordinates of the center of the well, and α x and α y are measures of the range of the well in either direction.For the purpose of this paper we focus on the cases α x = α y = a = 1 and x 0 = y 0 = 0.The potential (3.8) represents a single cell and is translated in each direction to model the overall potential of the metal (see Figure 3).The symmetry group corresponding to such potential is the discrete group Z N acting in the obvious way (i.e. by addition) and N 2 denotes the total number of atoms.In what follows we consider the 2d Schrödinger operator induced by the potential (3.8), i.e.To move on our discussion regarding localization we perturb the potential (3.8) with a "flea-like" perturbation (cf.Property 3.1).In the same spirit as for the double well potential our perturbation is chosen to be strictly positive and bounded away from each of the minima.To avoid numerical complications we have taken the perturbation to be δ = 0.1 precisely on single grid points.An upper view of the perturbed potential is depicted in Figure 4.
Similarly to the double well potential one can think this perturbation as having the property that the relative energy of the lattice is minimized exactly towards one cell, but the absolute minima are untouched.This is visible from Figure 4, the center cell corresponding to x = y = 0 is relatively lower in energy then all other cells since the perturbation is positive.It is clear from Figure 5 that the perturbed ground state localizes at the point (0, 0), as ℏ → 0. Clearly the associated state (a Dirac measure) breaks the relevant symmetry.As before, it has been numerically checked that for the values of ℏ used to compute the ground state eigenfunction Ψ is non-degenerate.Therefore, localization is not caused by "numerical noise" that typically does play a role when the (strictly speaking) non-degenerate eigenenergies differ by an order of magnitude comparable with the machine precision.Remark 3.5.We note that this perturbative approach generalizes Anderson's mechanism.Indeed, the "flea"-mechanism that causes a pure state to arise in the classical limit has the same effect as the limit of the tower of states: it simply generates it!■

Paradox: case of phase transitions
Despite the fact that Butterfield's Principle has been confirmed in the context of phase transitions, namely by viewing incipient singularities as robust behavior foreshadowing the singular behavior evidenced in infinite systems, the physical (and mathematical correct) idea of the "flea" illustrated above has yet to be found.Let us say a few words about the difficulties associated with phase transitions, characterized by coexisting states.Similar as for SSB, one may try to introduce suitable "flea"-type perturbations that favor one of these states, in such a way that before the pertinent limit, this "selection process" already takes place.The main issue with phase transitions is that they might occur without the presence of additional symmetry and worse: all excited states may come into play.It is therefore a much harder issue to find suitable "asymmetric" perturbations.To illustrate the latter, we limit ourselves to the Z 2 −invariant Curie-Weiss model (Example 2.4), but now for non-zero temperature β.In a similar fashion as elucidated in Section 2.1 the relevant Gibbs state induced by the CW-Hamiltonian (2.12) converges to where m β is the temperature dependent magnetization, and δ x (f ) = f (x).The above probability measure is definitely Z 2 −invariant, in complete analogy to the case of SSB.Nonetheless, we expect Butterfield's Principle to be restored through the introduction of asymmetric "flea"-type perturbations to H CW N that are localized in spin configuration space, although at nonzero temperature all excited states (rather than just the first) will start to play a role; the precise details of the "flea" scenario remain therefore to be settled.

Comparison with the measurement problem
In this last part, we outline the analogy between the flea mechanism and the measurement problem (we refer to [18] for a detailed discussion).In broad terms, the measurement problem consists in the fact that the Schrödinger equation of quantum mechanics fails to predict that measurements have single outcomes.Instead, it empirically predicts unacceptable "superpositions" thereof.The obstacle here is that at first sight such super positions seem to survive the classical limit, as shown above by the ground state of the double-well potential in the limit ℏ → 0 or by the ground state of the Curie-Weiss model in the limit N → ∞.More generally, the measurement problem arises whenever in the classical limit a pure quantum state converges to a mixed classical state, since in that case quantum theory fails to predict a single measurement outcome; it rather suggests there are many outcomes.Consequently, the real problem is to show that under realistic measurement conditions pure quantum states actually have pure classical limits.As shown in [18] this is brought about precisely by the "flea"-mechanism.Indeed, In the presence of a small perturbation, the perturbed ground state will localize as ℏ → 0, resulting in a pure state (Dirac measure).Since this depends only on the support of the perturbation, but not on its size, the tiniest of perturbations may cause collapse in the classical limit.This "collapse" of the wave-function in the limit is thus compatible with the measurement problem.

Discussion
In this paper we have discussed the concept of spontaneous symmetry breaking and the theory of phase transitions from various points of view.
Without going into technical details we have seen that the notion of the quantization map and more generally algebraic quantum theory is an rigorous framework to study these natural phenomena.Even though mathematically correct, the results proved by such approaches do not always reflect reality; and in particular they violate Butterfield's Principle.Several methods and mechanisms we discussed are compatible with the physical idea of symmetry breaking in Nature, namely that the limiting state should be pure and not G−invariant.Probably the mechanism that best reflects this is the "flea-"mechanism.Indeed, a small perturbation of the Hamiltonian yields the correct "physical" ground state already before reaching the relevant regime which therefore saves Butterfield's Principle.Without a mathematical proof, this mechanism has been generalized and confirmed by means of a simulation in case of a 2d periodic potential.
However, it is not clear how such a flea should look like for more complex symmetries (e.g.continuous symmetry groups).Attempts have been made to introduce a similar flea perturbation in case of the Mexican hat potential but they did not seem to work: the perturbed ground state does not localize for any ℏ.In order to get localization, it is probably not sufficient to use a perturbation of the type (3.7), i.e. its support is defined on larger sets.This raises the question whether or not such a perturbation is "natural" in the sense that it should resemble a tiny perturbation of the material.
In the case of phase transitions at non-zero temperature the same issue remains: due to the in general absence of additional symmetry and the interplay of all excited states it is not not clear how to precisely define the flea "scenario".It is therefore not clear whether this approach can resolve the paradox between Nature and Theory.

ℏ
| vanishes as ℏ → 0. In contrast to the classical limit of the pure algebraic vector state ω (0) ℏ corresponding to the exact ground state Ψ (0) ℏ (the same is true for the first excited state ω(1)

Remark 3 . 3 .
It has been numerically checked that for the values of ℏ used to compute the ground state eigenfunction Ψ (δ) ℏ of H (δ) ℏ , the ground state energy E (δ)

Figure 1 :
Figure 1: The Z2-symmetric double well potential V with asymmetric perturbation δV whose support is indicated by the black circle.The perturbation δV b,c,d is defined for the parameters, b = 0.65, c = 0.2, d = −0.1.

Figure 2 :
Figure 2: The ground state eigenfunction |Ψ (δ) ℏ | 2 of the perturbed Hamiltonian H δ ℏ corresponding to the double well potential for four values of Planck's constant ℏ.The figure in the left top corner corresponds to ℏ = 0.5, the figure in the right top top to ℏ = 0.1, the figure in the left corner down to ℏ = 0.05, and the figure in the right down corner to ℏ = 0.01.

Figure 3 :
Figure 3: The potential (3.8) translated over a square (N = 7) in each direction.The potential minimum is set to zero making the corresponding Schrödinger operator positive.

Figure 4 :
Figure 4: Top view of the perturbed potential (3.8) translated over N = 7 cells in each direction.The dots in yellow indicate the support of the perturbation, each corresponding to a single grid point localized away from any of the minima.

Figure 5 :
Figure 5: The probability density for the ground state Ψ(δ) ℏ corresponding to the perturbed Schrödinger operator for ℏ = 0.1 (left) and ℏ = 0.025 (right).Little localization is observed for such relatively large values of ℏ (left), whilst localization is almost total for such small values of ℏ (right).