Landau free energy and the absence of spontaneous magnetization of the one-dimensional Ising model

This paper revisits the one-dimensional Ising model using Landau free energy and the density of states to rigorously prove the absence of spontaneous magnetization at any finite temperature by demonstrating that the free energy is an increasing function of magnetization with a positive, non-analytic second derivative at zero.

The Gist

The Big Question: Why Can't a 1D Chain of Magnets Stay Aligned?

Imagine you have a long line of tiny magnets (like a row of people holding hands). Each person can face either North (up) or South (down).

• The Goal: We want to know if, at a warm temperature, these magnets can spontaneously decide to all face North together (spontaneous magnetization) without anyone pushing them.
• The Known Fact: Physicists have known for a long time that in a single line (1D), this never happens. If you heat it up even a little bit, the line breaks up into random groups of North and South.
• The Old Explanation: The usual explanation is "Entropy wins." It's like saying: "It takes very little effort to flip one person in the line to create a 'break' (a domain wall), but that break messes up the whole line's order. Since there are so many ways to make breaks, the line stays messy."

What This Paper Does Differently

The authors of this paper wanted to look at this problem through a different lens: Landau Free Energy.

Think of Free Energy as a "happiness score" for the system.

• Low Energy = The magnets are happy to be aligned (like a calm lake).
• High Entropy = The magnets are happy to be chaotic (like a crowded party).
• Free Energy is a balance of these two. Nature always tries to find the "lowest point" on this energy landscape.

Usually, when a material becomes magnetic, the energy landscape looks like a "W" shape. The bottom of the "W" has two dips: one for "All North" and one for "All South." The system falls into one of those dips, creating a magnet.

The authors asked: "What does the energy landscape actually look like for this 1D line?"

The Detective Work: Counting the Possibilities

To answer this, the authors went back to the original method used by the physicist Ising (who first solved this problem in 1925). They didn't use the fancy modern math tools usually taught in textbooks. Instead, they did some combinatorial counting (like counting the number of ways you can arrange a deck of cards).

They calculated the Density of States.

• Analogy: Imagine a giant library. The "Density of States" is a catalog that tells you: "For a specific amount of 'messiness' (Energy) and a specific amount of 'alignment' (Magnetization), how many different ways can the magnets be arranged?"

The Big Discovery:
They found that this catalog has a very strict rule: The more aligned the magnets are, the fewer ways there are to arrange them.

• If you want the magnets to be perfectly aligned (Magnetization = 100%), there is only one way to do it (everyone faces North).
• If you allow a little bit of mess (Magnetization = 90%), there are thousands of ways to arrange them.
• If you want them to be completely random (Magnetization = 0%), there are millions of ways.

The paper proves mathematically that the number of arrangements monotonically decreases as you try to force the magnets to align more.

The Result: The "U" Shape vs. The "W" Shape

Because there are so many more ways to be messy than to be aligned, the "happiness score" (Free Energy) behaves differently than in a 3D magnet.

1. The Landscape: Instead of a "W" shape with two dips (North and South), the energy landscape for this 1D line is a perfect "U" shape.
2. The Bottom: The very bottom of the "U" is exactly in the middle, where the magnetization is zero.
3. The Conclusion: No matter how cold you make it (as long as it's not absolute zero), the system always wants to sit at the bottom of the "U" (zero magnetization). It never falls into a "North" or "South" dip.

The authors also checked the "steepness" of the curve at the bottom. They found that the curve is always curving upward (positive second derivative), meaning the zero-magnetization state is always stable. It never becomes unstable and forces the magnets to pick a side.

Why This Matters (Pedagogically)

The authors aren't claiming to have discovered a new physical law (we already knew 1D magnets don't work). Instead, they are offering a new way to teach it.

• The Old Way: "Entropy wins over energy." (A bit vague).
• The New Way: "Look at the density of states! There are simply too many messy configurations for the system to ever settle into an ordered one."

They show that if you look at the "catalog of possibilities" (the density of states), the answer becomes obvious without needing complex calculations. It bridges the gap between the old counting method (Ising) and the modern concept of energy landscapes (Landau), providing a clear, visual way to understand why this specific model fails to become a magnet.

Summary

• The Problem: Can a 1D line of magnets spontaneously align?
• The Method: Counted exactly how many ways the magnets can be arranged for different levels of alignment.
• The Finding: The number of ways to be aligned is always smaller than the number of ways to be messy.
• The Visual: The energy landscape is a "U" shape, not a "W" shape.
• The Result: The system always stays at zero magnetization. It never spontaneously becomes a magnet.

Technical Summary

Technical Summary: Landau Free Energy and the Absence of Spontaneous Magnetization of the One-Dimensional Ising Model

Problem Statement
The paper addresses the well-established fact that the one-dimensional (1D) Ising model does not exhibit spontaneous magnetization at any finite temperature. While this result is traditionally derived via exact solutions (Ising's original combinatorial method) or the transfer matrix method, the authors revisit the problem from the perspective of Landau free energy. The specific motivation arises from a pedagogical gap: students often find the exact Ising solution unintuitive and the heuristic "entropy wins over energy" argument vague. The authors aim to answer a direct question: At a given temperature $T$, what value of magnetization $M$ is most probable? This is framed as determining whether the Landau free energy $F(T, M)$ has a local minimum at $M=0$ (no spontaneous magnetization) or a local maximum (spontaneous magnetization).

Methodology
The authors employ a two-pronged approach combining combinatorial counting with statistical mechanics approximations:

1. Density of States Calculation: Following Ising's original combinatorial technique, the authors explicitly derive the density of states, $D(E, M)$, which counts the number of configurations with interaction energy $E$ and magnetization $M$ for a 1D chain with open boundary conditions. They classify configurations based on the number of domain walls ($N_{dw}$) and the number of up/down spins.
2. Monotonicity Analysis: The authors analyze the properties of $D(E, M)$, specifically proving an inequality $D(E, M) \geq D(E, M+2)$ for $0 \leq M \leq L-4$. This establishes that the density of states is monotonically decreasing with respect to the magnitude of magnetization $|M|$ at any fixed energy level.
3. Maximum-Term Approximation: To evaluate the partition function and free energy in the thermodynamic limit ($L \to \infty$), the authors utilize the maximum-term (saddle-point) approximation. They define a smooth function $w(d, m)$ representing the logarithm of the statistical weight per spin, where $d$ is the domain wall density and $m$ is the magnetization intensity.
4. Landau Free Energy Derivation: The Landau free energy per spin, $f(T, m)$, is calculated by maximizing $w(d, m)$ with respect to $d$ for a fixed $m$. The authors then analyze the first and second derivatives of $f(T, m)$ with respect to $m$ to determine the stability of the $m=0$ state.

Key Results

• Monotonicity of Density of States: The authors rigorously prove that for the 1D Ising model, the density of states $D(E, M)$ is a monotonically decreasing function of $|M|$ for any fixed energy $E$. This implies that the partial partition function $Z(T, M)$ is also monotonically decreasing with $|M|$ in the absence of an external field.
• Landau Free Energy Landscape: Consequently, the Landau free energy $F(T, M) = -T \ln Z(T, M)$ is shown to be a monotonically increasing function of $|M|$.
• Absence of Spontaneous Magnetization:
  • The most probable magnetization is found to be $m^* = 0$ (or $1$ for finite odd $L$) at any finite temperature.
  • The second derivative of the free energy with respect to magnetization at $m=0$ is calculated as $\frac{d^2f}{dm^2}|_{m=0} = T e^{-2/T}$. This value is strictly positive for all $T > 0$, confirming that $m=0$ is a stable global minimum.
  • The curvature at $m=0$ is non-analytic as $T \to 0$, contrasting with the standard analytic assumptions in phenomenological Landau theory.
• Exact Agreement: The derived free energy expression, $f(T, h) = -1 - T \ln[\cosh \alpha + \sqrt{\sinh^2 \alpha + e^{-4\beta}}]$, agrees with results obtained via the transfer matrix method.

Significance and Claims
The authors explicitly state that the paper does not present a new physical discovery, as the absence of spontaneous magnetization in the 1D Ising model is a known result. Instead, the paper's significance is pedagogical and reformulative:

• Bridging Perspectives: It connects Ising's original combinatorial counting with the modern framework of Landau free energy, offering an alternative perspective for students.
• Intuitive Rigor: It provides a rigorous proof of the absence of spontaneous magnetization by demonstrating that the free energy curve remains "U-shaped" (single minimum at $m=0$) rather than developing the "W-shape" (double minima) associated with symmetry breaking, regardless of how low the temperature drops.
• Counter-Example to Mean-Field: It serves as a counter-example to mean-field approximations, which erroneously predict a phase transition in 1D, by showing the exact behavior of the free energy landscape.
• Educational Utility: The mathematical tools used (combinatorics, Stirling's approximation, maximum-term method) are accessible to undergraduate students, making the work suitable for advanced coursework to review fundamental concepts like density of states, partition functions, and free energy landscapes.