Alphabeta Math
Pipeline-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.

Finite gravitational phase and entropy reference — Examples

1 · Prerequisites

2 · Summary

These examples and counterexamples check the finite softened normalization, point-particle collapse, softened and hard-core nonextensivity, finite regulated negative Gibbs-volume capacity, entropy-convention dependence, and finite-bath stabilization under a separately stated exchange law.

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

None yet.

5 · Examples, experiments and counterexamples

CounterexampleConstruction: AI-generatedVerification: AI-generatedprecheck passjudge pass (gpt-6-luna)Open item page →

Bound relative Kepler entropies give different heat capacities

Statement refuted

For the six-dimensional bound relative Kepler model defined below, the Gibbs-volume and fixed-width surface-density entropy conventions give the same heat capacity at every bound energy E<0.

Facts & Assumptions

Given: The relative phase space Γrel=(R3∖{0})×R3, with q in metres and p in kg m s−1, and relative point-Kepler Hamiltonian h(q,p)=∣p∣22μ−A∣q∣,μ,A,h∗>0, where μ is in kilograms, A in J m, and h∗ in J s. Its dimensionless phase measure is dνrel=h∗−3d3q d3p, with no center-of-mass factor or 1/2!. For E<0, define Ω(E):=νrel{h≤E} and, where ω(E):=dΩ/dE>0, set SG(E):=kBlog⁡Ω(E) and SB(E):=kBlog⁡(ω(E)ΔE) for fixed ΔE>0 in joules. Where dSG/dE and dSB/dE are positive, define TG−1=dSG/dE and TB−1=dSB/dE; where the temperature derivatives are nonzero, define CG=dE/dTG and CB=dE/dTB. Thus the two conventions are explicitly applied to this relative measure, rather than inferred from the N-particle measure in Finite gravitational phase and entropy reference.

[F1]

The phase reference defines SG=kBlog⁡Ω(E) and, when ω(E)=Ω′(E)>0, the distinct convention SB=kBlog⁡(ω(E)ΔE) for fixed ΔE>0. (Finite gravitational phase and entropy reference)

[F2]

Radial integrals on bounded shells satisfy ∫a≤∣q∣≤bF(∣q∣) dq=4π∫abF(r)r2dr for continuous F. (Radial integration over a bounded Euclidean shell)

[F3]

Increasing nonnegative measurable functions pass to their pointwise limit under the integral. (Monotone convergence for the integral)

[F4]

Tonelli identifies the nonnegative phase integral with its iterated momentum and position integrals. (Tonelli's theorem for nonnegative measurable functions on a sigma-finite product)

Counterexample

1.1F1F2F3F4givenconstruct

Fix E=−e<0 and take the sequence εk=A/(e(k+1)), k≥1. For each cutoff domain r≥εk, the momentum sublevel at radius r is the ball ∣p∣≤2μ(A/r−e) for εk≤r≤A/e. Applying [F2] to the momentum ball and the position shell and using [F4] gives Ωε(−e)=(4π)(4π/3)(2μ)3/2h∗3∫εA/er2(A/r−e)3/2 dr. As k→∞, these sublevel sets increase to the full relative phase sublevel because every allowed position has r>0; [F3] therefore gives Ω(−e)=lim⁡k→∞Ωεk(−e). With s=er/A this is Ω(−e)=Ce−3/2J0,C=(4π)(4π/3)(2μ)3/2A3h∗3,J0=∫01s1/2(1−s)3/2ds. The integral J0 is finite and positive because its integrand is bounded by s1/2 near zero and by (1−s)3/2 near one.

2.1F1step 1.1algebra

Since E=−e, differentiation gives ω(E)=Ω′(E)=32CJ0e−5/2>0. The Gibbs-volume entropy therefore has TG=2e/(3kB) and CG=dE/dTG=−3kB/2.

3.1F1step 2.1algebra

For any fixed ΔE>0, the surface-density entropy has ω(E)ΔE=(32CJ0ΔE)e−5/2, so TB=2e/(5kB) and CB=dE/dTB=−5kB/2. Both temperatures are positive under their declared conventions, but CG≠CB.

4.1step 1.1step 2.1step 3.1∎

This explicit six-dimensional relative model contradicts convention-independent finite-system heat capacity. Its bound-energy phase volume is finite at each E<0; no canonical normalizability, finite outer box, or empirical preparation is claimed.

ExampleConstruction: AI-generatedVerification: AI-generatedprecheck passjudge pass (gpt-6-luna)Open item page →

Finite softened two-body box

Example

Let B=[0,L]3 with L>0, choose N=2, mass m>0, regulator a>0, action reference h∗>0, and inverse temperature β>0. Use the softened Hamiltonian H(q1,q2,p1,p2)=∣p1∣2+∣p2∣22m−Gm2∣q1−q2∣2+a2 on B2×R6 with measure d3q1d3q2d3p1d3p2/(2!h∗6).

Facts & Assumptions

Given: The finite softened model, a positive-volume box, m,G,a,β,h∗>0.

[F1]

Every finite softened model on a positive finite-volume box has a finite positive Gibbs partition function and a normalized density for each β>0. (Finite gravitational Gibbs normalization and differentiable moments)

Verification

1.1givenF1algebra

For every (q1,q2)∈B2, the pair attraction is between −Gm2/a and 0, so the Hamiltonian has the exact form covered by [F1]. The box has volume L3>0 and finite, so all hypotheses apply.

2.1F1step 1.1∎

By [F1], 0<Z2(β)<∞ and pβ=Z2−1e−βH is a probability density relative to the stated dimensionless phase measure. This verifies the finite softened two-body preparation for every β>0; it makes no claim about the distinct point model or dynamical equilibration.

CounterexampleConstruction: AI-generatedVerification: AI-generatedprecheck passOpen item page →

Finite box fails to cure point gravitational collapse

Statement refuted

A finite enclosing box by itself guarantees a finite canonical partition function for a two-particle Newtonian point-attraction model.

Facts & Assumptions

Given: In SI units, let B=∏j=13(aj,bj)⊂R3 with finite aj<bj in metres. Let qi∈B be positions, pi∈R3 momenta in kg m s−1, m>0 a mass in kg, G>0 in m3 kg−1 s−2, β>0 in J−1, and h∗>0 a fixed action reference in J s. On Γ={(q1,q2,p1,p2)∈B2×R6:q1≠q2}, define the point Hamiltonian in joules by H=∣p1∣2+∣p2∣22m−Gm2∣q1−q2∣ and its dimensionless canonical partition integral by Z2(β)=∫Γe−βH d3q1 d3q2 d3p1 d3p2/(2!h∗6), using product Lebesgue measure. The collision diagonal is excluded, with no positive minimum separation imposed.

[F1]

For two equal positive masses and the stated point Hamiltonian in a bounded three-dimensional box with nonempty interior, the canonical partition integral with the dimensionless phase reference is infinite for every β>0. (Point collapse and unscaled gravity nonextensivity, clause 1)

Counterexample

1.1givenF1

The box B⊂R3 is bounded and has nonempty interior since each bj−aj>0. The phase variables, two equal positive masses, point Hamiltonian and reference measure are exactly those of [F1]; no short-distance cutoff is imposed.

2.1F1step 1.1∎

By [F1], Z2(β)=+∞ for this finite box and every β>0. This contradicts the refuted universal finiteness claim, so a finite outer box alone does not cure point collapse.

CounterexampleConstruction: AI-generatedVerification: AI-generatedprecheck passjudge pass (gpt-6-luna)Open item page →

Fixed softening does not guarantee finite extensive free energy

Statement refuted

Fix β>0. For each box BN, let VN=∣BN∣, let ZN(β) be its canonical partition function, and set FN(β)=−β−1log⁡ZN(β). The per-particle free-energy density is fN=FN/N (in joules), and the per-volume free-energy density is gN=FN/VN (in joules per cubic metre). Here a “finite extensive free-energy density” means that the chosen normalized sequence has a finite real thermodynamic-limit value. The claim refuted is that a fixed positive softening length guarantees such a finite limit for every sequence of unscaled self-gravitating boxes whose volumes are bounded above and below by positive multiples of N. The counterexample below has both fN→−∞ and gN→−∞.

Facts & Assumptions

Given: The softened Newtonian pair potential with fixed a>0 and the growing-box hypotheses in Point collapse and unscaled gravity nonextensivity.

[F1]

For boxes containing a fixed positive-volume cube, the softened unscaled model has log⁡ZN/N→+∞ along the concentration sequence, so its free energy per particle tends to −∞. (Point collapse and unscaled gravity nonextensivity)

Counterexample

1.1givenF1construct

Fix L>0, take C=[0,L]3, and set BN=[0,LN1/3]3 for every integer N≥1. Then C⊆BN, ∣C∣=L3>0, and VN=L3N, so this is a bounded-box sequence satisfying the softened concentration hypotheses in [F1].

2.1F1step 1.1algebra∎

Clause 2 of [F1] gives log⁡ZN/N≥βc(N−1)−log⁡N+Kβ→+∞, hence fN=−β−1log⁡ZN/N→−∞. Since VN=L3N, also gN=fN/L3→−∞. Neither normalization has a finite real thermodynamic-limit value along this sequence, contradicting the claimed guarantee.

CounterexampleConstruction: AI-generatedVerification: AI-generatedprecheck passjudge pass (gpt-6-luna)Open item page →

Hard-core exclusion does not guarantee a finite unscaled-gravity limit

Statement refuted

Fix β>0 and consider the fixed-density sequence indexed by N=n3. Let VN be the box volume, ZN(β) the canonical partition function, and FN(β)=−β−1log⁡ZN(β). The per-particle free-energy density is fN=FN/N (in joules), and the per-volume free-energy density is gN=FN/VN (in joules per cubic metre). Here a “finite extensive free-energy density” means that the chosen normalized sequence has a finite real thermodynamic-limit value as n→∞. The claim refuted is that a fixed hard-core exclusion distance and fixed particle density guarantee this for the unscaled Newtonian long-range attraction.

Facts & Assumptions

Given: The unscaled point attraction −Gm2/r, a positive hard-core separation, and boxes with side proportional to N1/3.

[F1]

For N=n3, a cubic packing with fixed minimum separation still has interaction energy at most −c0N5/3 on positive-volume position sets, and its canonical free energy per particle tends to −∞. (Point collapse and unscaled gravity nonextensivity)

Counterexample

1.1givenF1construct

Fix a grid spacing larger than the hard-core radius and take N=n3 particles, one in each small cube around the cubic grid sites. The enclosing box has side proportional to n=N1/3 and the product of the small cubes is an admissible positive-volume position set, matching [F1].

2.1F1step 1.1algebra∎

By [F1], fN=FN/N=−β−1log⁡ZN/N→−∞. Here VN=∣Bn∣=d3N, so gN=FN/VN=d−3fN→−∞. Neither normalization has a finite real thermodynamic-limit value, contradicting the claimed guarantee.

ExampleConstruction: AI-generatedVerification: AI-generatedprecheck passjudge pass (gpt-6-luna)Open item page →

Regulated Kepler branch has negative volume response

Example

Choose relative parameters μ>0, A>0, r0>0, and R>32r0. Set e=A/(32r0), so E=−e and δ=er0/A=1/32. This is an interior point of the finite regulated shell branch.

Facts & Assumptions

Given: The regulated relative shell, R>32r0, and the Gibbs-volume and canonical temperature conventions.

[F1]

On every regulated shell energy with 0<δ≤1/16, the Gibbs-volume heat capacity is strictly negative. (Negative Gibbs-volume capacity in a finite regulated shell)

[F2]

For the same fixed relative Hamiltonian under a separate canonical preparation, the response is CK=kBβ2Var⁡(h)≥0. (Exact relative-shell canonical normalization and response)

Verification

1.1givenalgebra

Since R>32r0, A/R<A/(32r0)=e; also e=A/(32r0)≤A/(16r0). Thus the branch assumptions hold and δ=1/32≤1/16.

2.1F1F2step 1.1∎

Applying [F1] gives CG<0 for the explicit Gibbs-volume entropy convention. Applying [F2] to the same relative Hamiltonian but its canonical preparation gives CK≥0. These are different preparations and response definitions, so the two signs do not contradict one another.

ExampleConstruction: AI-generatedVerification: AI-generatedprecheck passjudge pass (gpt-6-luna)Open item page →

Finite bath can stabilize negative heat capacity exchange

Example

Take a negative-capacity subsystem at an interior energy E∗ with Gibbs-volume temperature T∗>0 and capacity CG(E∗)<0, as in Finite-bath entropy curvature and specified exchange stability. Set Cb=∣CG(E∗)∣/2. For any energy offset E0∈R in joules, reference temperature Tref>0 in kelvin, and additive entropy constant S0 in J K−1, take Sb(Eb)=Cblog⁡(Eb−E0CbTref)+S0,Eb>E0, and choose Eb=E0+CbT∗. The argument of the logarithm is dimensionless.

Facts & Assumptions

Given: A negative-capacity finite subsystem at common temperature T∗ and the selected finite-bath exchange model.

[F1]

For the specified finite-bath entropy and exchange law, 0<Cb<∣CG∣ gives strict negative combined-entropy curvature and local exponential attraction under x˙=LStot′(x). (Finite-bath entropy curvature and specified exchange stability)

Verification

1.1givenalgebra

Differentiating the displayed bath entropy gives Sb′(Eb)=Cb/(Eb−E0), so Tb=1/Sb′(Eb)=(Eb−E0)/Cb and dEb/dTb=Cb. The chosen Eb makes Tb=T∗.

2.1F1step 1.1algebra

Since Cb=∣CG∣/2, the reciprocal-capacity sum is 1/CG+1/Cb=−1/∣CG∣+2/∣CG∣=1/∣CG∣>0. At the matched-temperature critical point, [F1] gives Stot′′=−1T∗2(1CG+1Cb)=−1T∗2∣CG∣<0. Thus the combined entropy has a strict local maximum in this exchange direction.

3.1F1step 2.1∎

The selected effective law x˙=LStot′(x) has nonnegative entropy production and exponentially attracts this local maximum by [F1]. This is a constructed mathematical reservoir model, not empirical data or a generic gravitational stability conclusion.

Sources