Rotational Wagner Effect

• The rotational Wagner effect is defined as the absence of spontaneous breaking of continuous rotational symmetry in two-dimensional equilibrium models with Vicsek-type interactions.
• The theorem employs rigorous methods, including a McBryan–Spencer bound and complex translation, to demonstrate that two-point orientational correlations decay algebraically.
• This result underscores that particle mobility in equilibrium models alone does not trigger long-range order, differentiating equilibrium systems from active, nonequilibrium flocking models.

The rotational Wagner effect, in the sense developed for equilibrium flocking models, is the absence of spontaneous breaking of continuous rotational symmetry in a class of two-dimensional equilibrium systems of hard-core particles with Vicsek-type exchange interactions at any nonzero temperature. In these models, the canonical Gibbs state retains rotational symmetry: the spontaneous average velocity vanishes in the infinite-volume, zero-field limit, and orientational correlations are bounded by a power law rather than approaching a nonzero constant. In Hal Tasaki’s formulation, the result is a Hohenberg–Mermin–Wagner type theorem for equilibrium models of flocking, together with a McBryan–Spencer bound on two-point correlations (Tasaki, 2020).

1. Model class and formal setup

The underlying systems consist of $N$ identical classical particles in the square box $[0,L]^2$ with periodic boundary conditions. Each particle has a position $r_j\in[0,L]^2$ and a velocity $v_j\in\mathbb{R}^2$, written as

$v_j=|v_j|(\cos\theta_j,\sin\theta_j).$

A hard-core two-body potential $u(r,r')$ enforces a minimum separation $a_0>0$: $u(r,r')=\infty$ if $\|r-r'\|<a_0$, and finite otherwise. The positional and kinetic contribution is

$$H_{\rm p}=\sum_{j=1}^N\epsilon(|v_j|)\;+\;\sum_{1\le j<k\le N}u(r_j,r_k),$$

where $[0,L]^2$0 is an arbitrary single-particle kinetic function, including examples such as $[0,L]^2$1 or a sharp minimum at fixed speed (Tasaki, 2020).

Alignment is introduced through a Vicsek-type exchange Hamiltonian,

$[0,L]^2$2

where $[0,L]^2$3 is finite-range, satisfies $[0,L]^2$4, and vanishes whenever $[0,L]^2$5. The parameter $[0,L]^2$6 is an external symmetry-breaking field aligning velocities in the $[0,L]^2$7-direction. The full Hamiltonian is

$[0,L]^2$8

and the equilibrium canonical state at inverse temperature $[0,L]^2$9 is

$r_j\in[0,L]^2$0

This setup is notable because it includes mobile particles and local alignment while remaining a genuine equilibrium Gibbs ensemble. That distinction is central to the theorem: mobility is present, but detailed balance is not abandoned.

2. Vanishing of spontaneous average velocity

The primary theorem states that for any $r_j\in[0,L]^2$1,

$r_j\in[0,L]^2$2

with $r_j\in[0,L]^2$3 (Tasaki, 2020). In words, the spontaneous average velocity in the $r_j\in[0,L]^2$4-direction vanishes in the thermodynamic and zero-field limits. No ferromagnetic vector order emerges.

The theorem requires the simultaneous presence of several hypotheses: two spatial dimensions, periodic boundary conditions, a hard-core potential with minimum separation $r_j\in[0,L]^2$5, a bounded finite-range exchange interaction with parameters $r_j\in[0,L]^2$6 and $r_j\in[0,L]^2$7, thermal equilibrium in the canonical ensemble, and arbitrary inverse temperature $r_j\in[0,L]^2$8. Within this class, the result excludes spontaneous orientational ordering at any nonzero temperature.

The significance is structural rather than merely model-specific. These equilibrium flocking Hamiltonians possess continuous rotational symmetry, yet that symmetry is not spontaneously broken in two dimensions. The result therefore places the equilibrium Vicsek-type construction within the same general obstruction class as other Hohenberg–Mermin–Wagner settings (Tasaki, 2020).

3. Orientational correlations and the McBryan–Spencer bound

The second main result concerns two-point directional correlations. For distinct particle labels $r_j\in[0,L]^2$9 and a target separation $v_j\in\mathbb{R}^2$0, one introduces the indicator $v_j\in\mathbb{R}^2$1, equal to $v_j\in\mathbb{R}^2$2 when particle $v_j\in\mathbb{R}^2$3 is in a small disk of radius $v_j\in\mathbb{R}^2$4 around the origin and particle $v_j\in\mathbb{R}^2$5 is in the disk of radius $v_j\in\mathbb{R}^2$6 around $v_j\in\mathbb{R}^2$7, and $v_j\in\mathbb{R}^2$8 otherwise. The conditional correlator is then

$v_j\in\mathbb{R}^2$9

For every $v_j=|v_j|(\cos\theta_j,\sin\theta_j).$0 and every $v_j=|v_j|(\cos\theta_j,\sin\theta_j).$1, there exist constants $v_j=|v_j|(\cos\theta_j,\sin\theta_j).$2 and $v_j=|v_j|(\cos\theta_j,\sin\theta_j).$3, depending only on $v_j=|v_j|(\cos\theta_j,\sin\theta_j).$4, such that

$v_j=|v_j|(\cos\theta_j,\sin\theta_j).$5

Thus orientational correlations decay at least with a power law, and there is no true long-range order (Tasaki, 2020).

The exponent $v_j=|v_j|(\cos\theta_j,\sin\theta_j).$6 is determined implicitly as the unique positive solution of

$v_j=|v_j|(\cos\theta_j,\sin\theta_j).$7

with low-$v_j=|v_j|(\cos\theta_j,\sin\theta_j).$8 asymptotics

$v_j=|v_j|(\cos\theta_j,\sin\theta_j).$9

These formulas quantify the statement that quasi-long-range order is the strongest behavior permitted by the theorem. A plausible implication is that the equilibrium model can sustain substantial orientational correlations over intermediate scales, but cannot support a nonzero asymptotic order parameter.

4. Complex-translation method of proof

The proof of the correlation bound uses a McBryan–Spencer type complex translation in the angular variables. For a fixed positional configuration $u(r,r')$0, one introduces

$u(r,r')$1

so that the conditional correlation is expressed through integration over positions, velocities, and angles.

The core step is to shift the contour as

$u(r,r')$2

with a real profile $u(r,r')$3. By analyticity and $u(r,r')$4-periodicity, the integral is unchanged. After the shift, hyperbolic factors appear, leading to the bound

$u(r,r')$5

where $u(r,r')$6 is the corresponding integral without the $u(r,r')$7 insertion (Tasaki, 2020).

The chosen profile is a logarithmic bump centered at $u(r,r')$8,

$u(r,r')$9

which ensures $a_0>0$0 and keeps $a_0>0$1 small for neighboring particles. A geometric estimate using the hard-core constraint yields

$a_0>0$2

Combining these bounds gives

$a_0>0$3

and after averaging one obtains the power-law decay of $a_0>0$4 (Tasaki, 2020).

Exactly the same complex-translation idea, now combined with a single global field $a_0>0$5, yields the vanishing of the spontaneous average velocity when one first takes $a_0>0$6 and then $a_0>0$7. The proof is therefore constructive at the level of inequalities, even though it does not produce long-range order.

5. Equilibrium flocking, detailed balance, and the role of mobility

The principal conceptual conclusion is that mobility alone does not account for spontaneous symmetry breaking in Vicsek-type models. The equilibrium Hamiltonian already allows particle motion through standard kinetic energy and Newtonian motion, yet the theorems exclude spontaneous breaking of rotational symmetry in two dimensions at any nonzero temperature (Tasaki, 2020).

By contrast, the classical Vicsek model and its Toner–Tu continuum description violate detailed balance: particles are self-propelled, energy is dissipated and injected, and there is no Hamiltonian whose Gibbs state describes the observed steady state. Such systems do exhibit genuine long-range orientational order in two dimensions. The equilibrium theorem therefore identifies the absence of detailed balance, equivalently the nonequilibrium nature, as the origin to be sought for spontaneous symmetry breaking in flocking models.

This distinction addresses a common misconception. The presence of mobile particles and local alignment interactions is not, by itself, sufficient to evade the Hohenberg–Mermin–Wagner obstruction. The theorem shows that the relevant escape route is nonequilibrium driving, not mobility per se.

6. Scope, interpretation, and significance

The rotational Wagner effect applies to two-dimensional equilibrium models of hard-core particles with finite-range Vicsek-type exchange interactions and continuous rotational symmetry. Its conclusions are strictly tied to the canonical ensemble, finite-range bounded $a_0>0$8, hard-core exclusion, and nonzero temperature. Within that domain, the infinite-volume Gibbs state respects rotational symmetry, the spontaneous average velocity vanishes, and two-point directional correlations satisfy a McBryan–Spencer power-law bound (Tasaki, 2020).

The effect should not be misread as forbidding all orientational structure. The correlation theorem allows algebraic decay, so quasi-long-range order remains possible in principle. What is ruled out is true long-range vectorial order and the associated spontaneous symmetry breaking. Likewise, the result does not describe active steady states, which fall outside detailed-balance equilibrium.

In concise form, the rotational Wagner effect states that in any two-dimensional equilibrium model of hard-core particles with finite-range Vicsek-type exchange interactions and continuous rotational symmetry, the canonical Gibbs state at any nonzero temperature preserves that symmetry. Its broader significance lies in sharpening the conceptual boundary between equilibrium statistical mechanics and active matter: spontaneous flocking in two dimensions is not recovered by adding mobility to an equilibrium Hamiltonian, but instead points to intrinsically nonequilibrium physics (Tasaki, 2020).