The 4-$ε$ Expansion for Long-range Interacting Systems

Using two-loop field-theoretic RG and perturbative bootstrap calculations, this paper demonstrates that for long-range interacting systems with algebraic decay exponent $\sigma < 2$, the short-range Wilson-Fisher fixed point becomes unstable in favor of a new stable long-range fixed point, establishing the transition threshold strictly at $\sigma_* = 2$ and contradicting the widely accepted Sak's criterion.

The Gist

The Big Picture: A Tug-of-War Between Neighbors

Imagine a giant crowd of people (these are the "spins" in a magnet) standing in a square grid. Each person wants to agree with their neighbors. In a normal magnet, you only care about the people standing right next to you (Short-Range interaction).

But in this paper, the authors are studying a special kind of magnet where people can "yell" across the room to influence others far away. The further away you are, the quieter the yell gets, following a specific rule (Long-Range interaction).

For decades, physicists have been arguing about a specific question: At what point does the "long-distance yelling" stop being the boss, and does the "neighborly whispering" take over?

The Old Theory vs. The New Discovery

The Old Theory (Sak's Criterion):
For 50 years, the leading theory (proposed by a physicist named Sak) suggested a "slippery slope." It argued that as you turn down the volume of the long-distance yelling, the system doesn't suddenly switch behaviors. Instead, it smoothly transitions. The theory predicted that the "crossover point" (where long-range stops dominating) happens at a specific, slightly shifted value, not a clean number. It was like saying the transition from day to night is a gradual, blurry twilight.

The New Discovery (The "Hard Line"):
The authors of this paper, using advanced math and computer simulations, say: "No, it's not a blurry twilight. It's a hard line."

They found that the transition happens exactly when the long-range influence drops below a specific threshold (mathematically, when a parameter called $\sigma$ equals 2).

• Before the line: The long-distance yelling rules the party.
• After the line: The neighborly whispers take over immediately.

It's like a light switch, not a dimmer switch. The behavior of the system changes abruptly, not gradually.

How They Figured It Out: Two Detective Tools

To solve this mystery, the authors used two different "detective tools" (mathematical techniques) to look at the problem from different angles.

1. The "Self-Consistent" Bootstrap (The Mirror Method)
Imagine trying to tune a guitar string. Usually, you pluck it and listen. But here, the authors built a special mirror. They assumed the string already sounded perfect, and then checked if the math held up. If the math didn't match the assumption, they adjusted the assumption until it did.

• The Result: This method showed that the "long-distance" influence creates a subtle, hidden ripple in the system that the old theories missed. This ripple forces the system to switch behaviors exactly at the hard line ($\sigma = 2$).

2. The Standard Field Theory (The Microscope)
This is the traditional way physicists look at these problems. They zoom in on the tiny details of the interactions, looking for "poles" (mathematical singularities) that indicate a change in behavior.

• The Result: This microscope confirmed the first method. It found that the "hidden ripple" (called the anomalous dimension) isn't zero as the old theory claimed. It's actually a small but crucial number that drives the system to switch gears exactly at the threshold.

Why This Matters: Fixing the Map

For years, physicists had a map of how these systems behave, but it had a blurry, confusing area in the middle.

• The Old Map: Said the transition was smooth and happened at a weird, shifted location.
• The New Map: Shows a sharp, clean border.

This is a big deal because:

1. It matches reality: Recent super-accurate computer simulations (using quantum computers and massive supercomputers) have been showing this sharp switch, but the math couldn't explain why. This paper finally provides the mathematical proof.
2. It connects the dots: This helps us understand not just magnets, but also things like how diseases spread over long distances, how birds flock, and even how turbulence works in fluids. All of these involve "long-range" connections.

The Takeaway

Think of the universe as a giant game of "Telephone."

• Short-Range: You only whisper to the person next to you.
• Long-Range: You can shout to someone across the room.

For 50 years, we thought that as you got quieter, the game would slowly change from "shouting" to "whispering" in a messy, gradual way. This paper proves that there is a magic moment where the game instantly flips from one style to the other. The math finally agrees with the experiments: the switch is sharp, clean, and happens exactly where the new theory predicted.

Technical Summary

1. Problem Statement

The paper addresses a long-standing controversy in statistical physics regarding the critical behavior of $O(n)$ spin models with long-range (LR) interactions that decay algebraically as $J(r) \sim 1/r^{d+\sigma}$.

• The Conflict: The central question is the value of the decay exponent threshold, $\sigma^*$, at which the system transitions from a long-range universality class to a short-range (SR) one.
  • Fisher-Ma-Nickel (1972): Proposed that the transition occurs strictly at $\sigma^* = 2$. In this scenario, the LR fixed point (LR-WFP) is stable for $\sigma < 2$, and the anomalous dimension $\eta$ is "locked" at the mean-field value $\eta = 2-\sigma$ up to high orders.
  • Sak's Criterion (1973): Proposed a refined threshold $\sigma^* = 2 - \eta_{SR}$. This suggests a continuous crossover where $\eta$ varies smoothly, and the LR fixed point becomes unstable before reaching $\sigma=2$, merging with the SR fixed point.
• Current Status: While high-precision numerical simulations (Monte Carlo) in recent years have strongly suggested $\sigma^* = 2$, the theoretical justification has been lacking. Previous field-theoretic analyses often relied on expansions around the mean-field line ($d=2\sigma$) which failed to capture the physics near $\sigma \to 2$ or assumed the stability of the SR fixed point without rigorous proof.

2. Methodology

The authors employ a systematic Renormalization Group (RG) analysis controlled by the small parameter $\epsilon = 4 - d$. Unlike previous studies that expanded around the mean-field line ($d=2\sigma$), this work expands around the upper critical dimension $d=4$, allowing for a rigorous treatment of the non-classical regime ($d/2 < \sigma < 2$).

The study utilizes two complementary techniques to ensure robustness:

1. Standard Field-Theoretic RG:
   • Uses the Ginzburg-Landau-Wilson effective action with both local ($k^2$) and non-local ($k^\sigma$) kinetic terms.
   • Calculates Feynman diagrams (self-energy and vertex corrections) up to the two-loop level.
   • Uses standard $Z$-factor renormalization to absorb ultraviolet divergences.
2. Perturbative Bootstrap Scheme:
   • A modified approach where the anomalous dimension $\eta$ is explicitly embedded into the structure of the renormalized action.
   • Instead of calculating $Z$-factors implicitly, the method enforces scale invariance directly on the effective propagator.
   • It determines $\eta$ via a self-consistency condition: the logarithmic divergences arising from loop corrections (specifically the two-loop "sunset" diagram) must be exactly cancelled by the kinetic counterterm.

Key Technical Innovation: The authors treat $\delta = 2 - \sigma$ as a small parameter of order $O(\epsilon)$ within the $d=4-\epsilon$ framework. This allows them to capture the pole structure in the Gamma functions (specifically terms like $1/(2\epsilon - 3\delta)$) that previous expansions missed, which is crucial for determining the stability of the fixed points.

3. Key Contributions and Results

A. Stability of Fixed Points

The authors derive the coordinates of the Wilson-Fisher fixed points and analyze their stability:

• LR-WFP Stability: They demonstrate that the Long-Range Wilson-Fisher Fixed Point (LR-WFP) remains stable for all $\sigma < 2$.
• SR-WFP Instability: Conversely, the Short-Range Wilson-Fisher Fixed Point (SR-WFP) becomes unstable as soon as $\sigma < 2$.
• Threshold: The crossover threshold is confirmed to be strictly $\sigma^* = 2$. This contradicts Sak's criterion ($\sigma^* = 2 - \eta_{SR}$).

B. Critical Exponents

The paper derives explicit expressions for the critical exponents $\eta$ (anomalous dimension) and $\nu$ (correlation length exponent) up to two-loop order in the non-classical regime ($d/2 < \sigma < 2$):

• Anomalous Dimension ($\eta$):
  $$\eta = \delta + \frac{n+2}{(n+8)^2} \frac{(\epsilon - 2\delta)^3}{2\epsilon - 3\delta} + O(\epsilon^3)$$
  where $\delta = 2 - \sigma$.

  • Significance: This result proves that $\eta$ is not locked at the mean-field value $2-\sigma$ (i.e., $\eta \neq \delta$). There is a non-trivial correction of order $O(\epsilon^3)$ (or $O(\epsilon^2)$ in the specific limit) that refutes the foundational assumption of Sak's criterion.

• Correlation Length Exponent ($\nu$):
  $$\frac{1}{\nu} = 2 - \delta - \frac{n+2}{n+8}(\epsilon - 2\delta) + O(\epsilon^2)$$

C. Consistency Checks

The derived formulas successfully reduce to known exact results in limiting cases:

• Spherical Model ($n \to \infty$): Recovers exact results for both LR and SR cases.
• Short-Range Limit ($\sigma > 2$): Reduces to the standard $(4-\epsilon)$ expansion results for short-range systems.
• Mean-Field Limit ($\epsilon \to 0, \delta \to 0$): Consistently approaches the Gaussian fixed point values.

4. Significance and Implications

1. Resolution of a 50-Year Debate: The paper provides the first rigorous theoretical justification for $\sigma^* = 2$, resolving the decades-long conflict between the "Sak's criterion" and the "strict $\sigma=2$" scenario. It aligns perfectly with recent high-precision numerical simulations (e.g., on 2D Ising, XY, and Heisenberg models).
2. Refutation of Sak's Assumptions: The work explicitly disproves the conjecture that the anomalous dimension $\eta$ remains fixed at the mean-field value $2-\sigma$ until the crossover. The calculation shows that loop corrections generate a non-trivial $\eta$ even in the LR regime.
3. Methodological Advancement: The successful application of the $4-\epsilon$ expansion to long-range systems, combined with the perturbative bootstrap scheme, offers a powerful new framework for studying non-local field theories. It overcomes the limitations of previous expansions that were restricted to the immediate vicinity of the mean-field line ($d=2\sigma$).
4. Broader Impact: The findings establish a unified framework connecting statistical mechanics to non-local field theories, with potential applications in Lévy flights, fractional quantum mechanics, and turbulence. It highlights that a consistent theoretical understanding of long-range interactions in low dimensions (especially $d=2$ and $d=3$) requires moving beyond the assumptions of the 1970s.

In conclusion, Li, Chen, and Deng have successfully demonstrated that the transition between long-range and short-range universality classes is sharp and occurs exactly at $\sigma^* = 2$, driven by the instability of the short-range fixed point and the emergence of non-trivial corrections to the anomalous dimension.