Stability of the Second Kind¶
A uniform lower bound proportional to particle count for a specified many-particle energy across all admissible system sizes.
Core Idea¶
Stability of the second kind is a property of a declared many-particle model: one fixed constant bounds its specified energy below by an amount proportional to particle count across all admitted sizes and configurations or states. A finite lower energy for each fixed-sized system is weaker. The model, energy, count convention and universal scope must all be named.[^ref-526c5913a292]
Fisher and Ruelle's classical condition concerns total configurational energy of N particles and a lower bound −BN for every allowed configuration under their potential assumptions.[^ref-5eb55dd88f68] Lieb's nonrelativistic quantum Coulomb example concerns the ground-state energy of the full Hamiltonian for N fermionic electrons and K nuclei, with a lower bound C(N + K) for a negative C independent of N and K at fixed physical parameters.[^ref-526c5913a292] The shared structure is the all-size linear bound; the energies and proof methods differ.
Scope of Application¶
The reviewed cases lie in mathematical physics and statistical mechanics. The classical pair-potential case uses sufficient potential conditions, with slightly smeared charges or a cutoff in its charged application. Fisher and Ruelle did not solve the quantum point-Coulomb problem.[^ref-5eb55dd88f68] The quantum case instead uses fermionic states and a kinetic-plus-Coulomb Hamiltonian.[^ref-526c5913a292] Lieb and Thirring's kinetic inequality is one route to its bound.[ref-526c5913a292][ref-53005eb9ef45]
The criterion is model-relative. Its presence in classical and quantum many-particle physics does not turn it into a claim about all domains, all quantum statistics, arbitrary fields or all energies called stable.
Clarity¶
The same coefficient must work for the full family, not just one chosen particle count. A model whose lowest energy becomes more negative than every fixed multiple of its particle count fails the second-kind test, even if each finite member has a lower energy. The energy object also matters: classical configurational potential energy is not quantum ground-state energy or generic free energy.[ref-5eb55dd88f68][ref-526c5913a292]
The lower bound alone does not establish a thermodynamic or free-energy limit. Fisher and Ruelle discuss further interaction-tail and domain-shape conditions; Lieb calls second-kind stability an essential ingredient rather than a guarantee.[ref-5eb55dd88f68][ref-526c5913a292]
Manages Complexity¶
The test separates the target property from the assumptions used to prove it. First declare the model and energy, then test for one lower-bound coefficient across all admitted sizes and states, then inspect the model-specific proof. This keeps classical potential conditions and quantum fermionic kinetic arguments from becoming universal definition clauses.[ref-5eb55dd88f68][ref-526c5913a292]
Abstract Reasoning¶
A second-kind claim has four necessary parts: a declared many-particle class, its energy functional, one size-independent linear lower bound, and coverage of its full admissible family. A result for a single configuration or wave function does not establish a lower bound for every configuration or state. A fixed-size bound does not establish one coefficient across arbitrarily many particles.[ref-5eb55dd88f68][ref-526c5913a292]
The live Prime Stability concerns restoring dynamics after perturbation. This criterion concerns how low a model's energy can fall as particle count varies; no trajectory or restoring force is required.
Knowledge Transfer¶
The question transfers between the classical and quantum cases: does the declared energy have a lower bound linear in the declared count with one constant? The answer must be proved anew. The classical case bounds configurational energy over positions.[^ref-5eb55dd88f68] The quantum case bounds the infimum of a full Hamiltonian over fermionic states.[^ref-526c5913a292] Their proof tools are accents, not shared requirements.
Lieb's nonrelativistic charged-boson discussion is a negative comparison: first-kind fixed-size stability can coexist with superlinear negative energy scaling and failure of the second kind. Its exponents depend on the model's mass assumptions.[^ref-526c5913a292]
Example¶
Classical pair-potential system. Fisher and Ruelle establish, under their sufficient interaction conditions, that the total configurational energy of every allowed N-particle arrangement is at least −BN with fixed B. The model and positions are the admissible family, and the potential-energy lower bound is the property being tested. The charged version they prove uses smeared charges or a short-distance cutoff.[^ref-5eb55dd88f68]
Nonrelativistic fermionic Coulomb matter. Lieb treats N electrons and K nuclei with electron kinetic and Coulomb energy. Fermionic antisymmetry and the Lieb–Thirring kinetic inequality help establish a lower bound proportional to N + K on the full ground-state energy. The accessible original 1975 publisher abstract supports the general kinetic-bound and stability claim; Lieb's full author treatment supplies the detailed model and count used here.[ref-526c5913a292][ref-53005eb9ef45]
Both cases map to the same four roles while retaining distinct energies, count conventions and proof assumptions.
Neighborhood in Abstraction Space¶
Stability of the Second Kind sits in a sparse region of the domain-specific corpus (86th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (2721 abstractions)
Nearest neighbors
- Eigenstate Thermalization Hypothesis — 0.82
- Discrete-to-continuum reference density — 0.81
- Exchange operator — 0.81
- Quantum Concentration — 0.80
- Hartree–Fock method — 0.80
Computed from structural-signature embeddings · 2026-10-17
Not to Be Confused With¶
- Stability of the first kind: finite lower ground-state energy for fixed particle content, without an all-size linear constant.[^ref-526c5913a292]
- A thermodynamic or free-energy limit: further conditions are needed; the lower bound alone is insufficient.[ref-5eb55dd88f68][ref-526c5913a292]
- Dynamical Stability: return toward an operating point after a perturbation is a different identity.
- The Lieb–Thirring inequality: a quantum proof tool, not the total-energy property or a classical prerequisite.[ref-526c5913a292][ref-53005eb9ef45]
- A universal charged-matter theorem: the classical charged result uses smeared charges, while quantum bosons can fail the second-kind test.[ref-5eb55dd88f68][ref-526c5913a292]
References¶
[^ref-5eb55dd88f68]: Michael E. Fisher and David Ruelle, “The Stability of Many-Particle Systems,” Institut des Hautes Études Scientifiques prepublication P/65/03 (1965), https://repo-archives.ihes.fr/FONDS_IHES/I_Prepublications/RUELLE/1965-1976/P_65_03/P_65_03_web.pdf . Full original preprint inspected: PDF p.0 abstract; pp.2–5 Introduction, including the all-configuration bound, extra thermodynamic-limit conditions and point-Coulomb quantum caveat; pp.6–8 multispecies theorem; pp.9–11 charged application. Display equations in the scan have poor OCR, so formula wording is cross-checked against the abstract and prose.
[^ref-526c5913a292]: Elliott H. Lieb, “The Stability of Matter and Quantum Electrodynamics” (2002), arXiv:math-ph/0209034, https://arxiv.org/pdf/math-ph/0209034 . Full author paper inspected: PDF pp.2–3 §2.2 and equations (1)–(2) define first and second kinds and the N + K count; pp.5–6 equations (4)–(6) specify the Coulomb Hamiltonian; pp.6–7 §3.1 and equation (7) discuss the fermionic proof route; pp.7–8 §3.2 distinguish charged-boson regimes. This later author treatment, rather than the 1975 abstract alone, supports the exact quantum model and count.
[^ref-53005eb9ef45]: Elliott H. Lieb and Walter E. Thirring, “Bound for the Kinetic Energy of Fermions Which Proves the Stability of Matter,” Physical Review Letters 35 (1975): 687–689, DOI: 10.1103/PhysRevLett.35.687, https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.35.687 . Original publisher abstract and metadata inspected; the full PRL article was not accessible through this path. The abstract supports a fermionic kinetic-energy lower bound and a resulting stability proof, but not the detailed Hamiltonian or N + K inequality on its own.