Alphabeta Math
Physics theoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generated
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Conditional Ising equilibrium phase predictions

Physical scope

Classical translation-invariant finite-range Ising pair models on Z^d, d>=1, under the stated sufficient uniqueness condition; finite-temperature nearest-neighbor chains; and zero-field two-dimensional nearest-neighbor ferromagnets with J>0 and beta J>=2 for coexistence and the pressure cusp. Conditional model predictions only; no measured critical point or universal phase diagram.

Statement

Assume Countable Choice and adopt Interacting classical Gibbs equilibrium adoption for the specified classical Ising model. In the SI interpretation of Classical Gibbs quantities and SI reference conventions, β=(kBT)−1 is in J−1, J is the coupling energy JI in joules, and h is an energy bias per dimensionless spin in joules, not a magnetic-field strength; hence βJ and βh are dimensionless. The conditional model predictions are: (i) for a one-dimensional nearest-neighbor chain with finite β>0, J,h∈R, the DLR equilibrium state is unique; (ii) for a translation-invariant finite-range Ising pair interaction with symmetric zero-diagonal couplings Jij=Jji, Jii=0 and constant finite field, the sufficient condition sup⁡i∑jtanh⁡(β∣Jij∣)<1 gives a unique DLR equilibrium state; and (iii) for the two-dimensional nearest-neighbor ferromagnet at h=0 and βJ≥2, there are distinct stationary DLR equilibrium states with opposite nonzero magnetization and the pressure is nondifferentiable in h at zero. These deductions are restricted to the stated classical model; they do not report a measured transition or infer a phase diagram between the sufficient regimes.

Facts & Assumptions

Given: A specified classical Ising Hamiltonian, β>0, finite-range couplings and fields as stated, Countable Choice, and the adopted Gibbs-equilibrium postulate.

[A1]

The equilibrium interpretation is an adopted model assumption, not a theorem about equilibration or nature (Interacting classical Gibbs equilibrium adoption).

[A2]

Countable Choice is used in the lattice probability construction (The Axiom of Countable Choice (ACω)).

[F1]

Under Countable Choice, the one-dimensional nearest-neighbor Ising chain with finite β>0 and finite J,h∈R has exactly one DLR state (All-positive-temperature one-dimensional Ising DLR uniqueness).

[F2]

Under a strict Ising influence row-sum bound, the finite-range DLR state is unique (Unique interacting Ising state at sufficient high temperature).

[F3]

Under Countable Choice, for the zero-field nearest-neighbor Ising ferromagnet on Z2 with J>0 and β>0 satisfying βJ≥2, there exist stationary DLR states μ+ and μ− whose one-site expectations satisfy μ+(si)≥m∗>0 and μ−(si)≤−m∗ at every site (Two-dimensional Ising Gibbs coexistence at low temperature).

[F4]

Those coexistence states force nondifferentiability of the field-dependent pressure at h=0 (Coexistence implies an Ising pressure cusp).

Proof

1.1A1A2F1

Apply [F1] to the one-dimensional model to obtain uniqueness of its mathematical DLR equilibrium state; by the adoption [A1], this is the model's unique equilibrium-state prediction under the stated conditions.

1.2A1A2F2

Under [A2], apply [F2] whenever its strict influence sum is below one. This is a sufficient uniqueness regime and makes no assertion about parameters where the sum is at least one.

1.3A1A2F3

For the stated zero-field two-dimensional nearest-neighbor ferromagnet with J>0 and βJ≥2, [F3] supplies two stationary DLR states with magnetizations separated from zero.

2.1A1F4step 1.3∎

By [F4], their variational inequalities force a nonzero gap between the left and right pressure secant slopes. Thus coexistence and the cusp follow conditionally from the adopted postulate and the stated parameters; no empirical accuracy or exact critical value is inferred.

Depends on

Dependency tree · 2 levels

Sources