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.

Constructed independent cell Gibbs states

1 · Prerequisites

2 · Summary

This page constructs exact Gibbs states for finitely many independent cells assigned by a cell-location map to points of one stationary Lorentzian domain, conditional on the charged whole-future-mass-shell stationarity and global-compensator hypotheses supplied by TGR-ET02. It proves KMS inverse-temperature scaling along a metric-defined observer orbit with constant lapse, then derives finite-time response and spectral-frequency scaling for neutral controls on a specified finite cell. A one-mode occupation model gives the separate trace obstruction when the rotating generator loses strict positivity.

All conclusions are mathematical and conditional on the stated finite-dimensional, smooth-field, gauge-compensation, and supplier hypotheses. The page does not construct a generic curved-spacetime quantum field state, infer thermalization, or turn a finite response into a dc transport coefficient. The companion page supplies an exact two-level proper-clock calculation.

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

TheoremStatement: Literature-sourcedProof: AI-adaptedOpen item page →

Constructed independent cell Gibbs states

Statement

Let r≥1 be finite. For each cell i∈{1,…,r}, let Hi be a complex Hilbert space of finite dimension di≥1, let Hi=Hi∗ be a Hermitian proper Hamiltonian in joules, and let Qi=Qi∗ be a dimensionless number observable whose eigenvalues lie in N0. Assume [Hi,Qi]=0. Operators Hi,Qi on the total space H:=⨂i=1rHi mean their lifts acting on the ith tensor factor and as the identity on the other factors; no intercell interaction is included.

Let (M,g) be a smooth time-oriented Lorentzian four-manifold with signature (−,+,+,+), and let O⊆M be a connected open set on which a smooth future-directed timelike Killing field ξ is defined. Use length coordinates x0=ct and the corresponding dimensionless components of ξ. Define its dimensionless lapse N(x):=−gx(ξx,ξx)>0. Let c>0 be the speed of light in m s−1, kB>0 Boltzmann's constant in J K−1, and let A be a global smooth real one-form with SI components in tesla-metres, F:=dA with components in teslas, and Λξ:O→R a global smooth compensator in tesla-metres with LξA=dΛξ. Define Φξ(x):=−c((ιξA)x−Λξ(x)) in volts. Let T:O→(0,∞) and μ:O→R be smooth fields in kelvins and joules per particle. Fix a common particle rest mass m>0 in kilograms and charge q∈R in coulombs, put M:=mc2>0 in joules, and define u:=ξ/N, β:=u/(kBT) in J−1, and ζ:=μ/(kBT) dimensionlessly. On the future massive shell PM+(O):={(x,P)∈TO:gx(P,P)=−M2, P future-directed}, where P has energy-vector units and gx(P,P) has units J2, let f(x,P):=exp⁡(ζ(x)+gx(β(x),P)), as defined for the same charged data in Global electrochemical redshift from charged Liouville stationarity, and assume the exact whole-shell stationarity condition LF,qf(x,P)=0 for every (x,P)∈PM+(O), where LF,q is the charged transport field in that supplier's formulation. This is the stationarity premise of Global electrochemical redshift from charged Liouville stationarity. Choose a cell-location map χ:{1,…,r}→O and set xi:=χ(i). Define the lapse, compensated potential, proper temperature, and chemical potential at cell i by evaluation: Ni:=N(xi),Φi:=Φξ(xi),Ti:=T(xi),μi:=μ(xi). The same theorem supplies constants TK>0 and μK∈R such that NiTi=TK,Niμi+qΦi=μK, where q is the common particle charge in coulombs. This use of the charged smooth-geometry supplier retains its explicit ACω assumption.

Set βK=(kBTK)−1>0 in joules−1, βi=NiβK=(kBTi)−1, HK=∑i=1r(NiHi+qΦiQi), and Q=∑i=1rQi. Then the grand generator GK:=HK−μKQ is Hermitian and GK=∑i=1rNi(Hi−μiQi). The finite partition sums Zi:=Tr⁡Hie−βi(Hi−μiQi),Z:=Tr⁡He−βKGK are positive and finite, with Z=∏i=1rZi. The normalized Gibbs density factorizes exactly: ρ:=Z−1e−βKGK=⨂i=1rρi,ρi:=Zi−1e−βi(Hi−μiQi). It is a βK-KMS state for the grand-generator dynamics on the full finite matrix algebra. On the neutral subalgebra A0:={B∈B(H):[B,Q]=0}, grand-generator and physical HK dynamics coincide, so the restricted state is βK-KMS for the physical dynamics there. This constructs only independent finite cells; it does not claim that an interacting system's reduced cell states are Gibbs states.

Facts & Assumptions

Given: The finite cells, commuting local Hamiltonians and number operators, common charge and gauge reference, positive lapse and temperature, and the global stationarity hypotheses in the Statement.

[A1]

The cell-location map is χ:{1,…,r}→O, xi=χ(i), and Ni=N(xi), Φi=Φξ(xi), Ti=T(xi), and μi=μ(xi). On O, N=−g(ξ,ξ)>0, u=ξ/N, Φξ=−c(ιξA−Λξ), β=u/(kBT), and ζ=μ/(kBT). The exact stationarity premise is LF,qf=0 at every future-shell point for f(x,P)=exp⁡(ζ(x)+gx(β(x),P)) on g(P,P)=−M2 with P future-directed, in the charged transport formulation used by Global electrochemical redshift from charged Liouville stationarity; the global compensator is required for its constants.

[A2]

The Axiom of Countable Choice (ACω) states that every countable family of nonempty sets has a choice function. It is the explicit foundational assumption of the smooth charged-geometry carrier used by Global electrochemical redshift from charged Liouville stationarity; this theorem and its consumers retain that assumption, with no stronger choice principle.

[F1]

Finite matrix spectral and state calculus: every Hermitian matrix on a nonzero finite-dimensional complex inner-product space has a real spectral decomposition, independent of the basis inside each eigenspace; its finite trace is cyclic.

[F2]

Finite unitary dynamics and Gibbs KMS identity: for a finite-dimensional Hermitian generator G and β>0, ρG=e−βG/Tr⁡(e−βG) is stationary and is KMS for αt(B)=eitG/ℏBe−itG/ℏ with physical-time strip width βℏ seconds.

[F3]

Global electrochemical redshift from charged Liouville stationarity: under the connected-domain and smooth-field hypotheses, stationarity means LF,qf=0 on the entire future massive shell for f(x,P)=exp⁡(ζ(x)+gx(β(x),P)); with the global potential compensator it yields constants TK>0 and μK such that NT=TK and Nμ+qΦξ=μK throughout O. Evaluation at xi=χ(i) gives the cell relations. This supplier carries [A2]. Its current item is draft with a current ready Step 1 record; that records authoring readiness, not independent proof acceptance.

The QSM suppliers [F1] and [F2] are also current draft carriers with current ready Step 1 records; their proof status is not upgraded by this use.

Proof

1.1givenA1A2F3algebra

Apply [F3] under the inherited smooth charged-geometry assumption [A2] and the exact whole-shell stationarity premise in [A1]. For each cell Ti=TK/Ni and μi=(μK−qΦi)/Ni. The geometric and thermodynamic quantities use the conventions in [A1]. Therefore βi=1/(kBTi)=NiβK, and the local grand generator Gi:=Ni(Hi−μiQi) satisfies Gi=NiHi+(qΦi−μK)Qi. Summing this identity gives GK=∑iGi=HK−μKQ.

2.1givenF1step 1.1construct

Each pair Hi,Qi is simultaneously diagonalizable: diagonalize Qi using [F1]; each eigenspace of Qi is invariant under Hi because HiQi=QiHi; diagonalize the Hermitian restriction of Hi on each of the finitely many eigenspaces. The resulting orthonormal basis of Hi diagonalizes Gi. The tensor products of these bases form an orthonormal basis of H, and in that basis GK=∑iGi has eigenvalue ∑igi,ai on the basis vector indexed by (a1,…,ar).

3.1givenstep 1.1step 2.1algebra

The finite trace in that product basis is Z=∑a1,…,ar∏i=1re−βKgi,ai=∏i=1r(∑aie−βKgi,ai)=∏i=1rZi. Each factor is a finite sum of strictly positive reals, so 0<Zi<∞ and 0<Z<∞. Dividing each diagonal weight by this product gives ρ=⨂iZi−1e−βKGi=⨂iρi, and βKGi=βi(Hi−μiQi).

4.1givenF2step 3.1

Apply [F2] to the finite-dimensional Hermitian matrix GK and βK>0: ρ is a state and is KMS for αtG(B)=eitGK/ℏBe−itGK/ℏ on B(H).

5.1givenF2step 1.1step 4.1algebra∎

Since [HK,Q]=0, the exponentials of these two matrices commute and eitGK/ℏ=eitHK/ℏe−itμKQ/ℏ. For B∈A0, B commutes with Q, so αtG(B)=eitHK/ℏBe−itHK/ℏ=:αtH(B). The algebra A0 is closed under products, adjoints and linear combinations and is invariant under αtH. Restricting the state and the same bounded strip functions from step 4.1 to A,B∈A0 proves the physical HK KMS condition there. No KMS claim for charged observables is made.

Remarks

All deductions are conditional on the actual interfaces in [F1]–[F3]. In particular, the charged redshift relation is used at its stated global-compensator and whole-shell hypotheses; no generic curved-spacetime quantum state is inferred.

TheoremStatement: Literature-sourcedProof: AI-adaptedOpen item page →

KMS orbit clock rescaling

Statement

Let A be a unital complex C∗-algebra and let t↦αt be a strongly continuous one-parameter group of ∗-automorphisms of A. Let ω be a βK-KMS state for α in the physical-time convention of Physical-time KMS strip equilibrium condition, where βK>0 has units J−1 and ℏ>0 has units J s. For a constant dimensionless λ>0, define ατλ:=ατ/λ, where t and τ are real time parameters in seconds. Then ω is a λβK-KMS state for αλ, with strip width λβKℏ seconds. Conversely, if ω is a β^-KMS state for αλ, then it is a (β^/λ)-KMS state for α.

For the geometric interpretation, let O be a connected open subset of a smooth time-oriented Lorentzian four-manifold (M,g) of signature (−,+,+,+), and let ξ be a smooth future-directed timelike Killing field on O with dimensionless components in length coordinates x0=ct, where c>0 is the speed of light in m s−1. Define Nξ(x):=−gx(ξx,ξx)>0 and u:=ξ/Nξ. For a selected point x0∈O, let IK⊆R be an interval in seconds containing 0, and let γx0:IK→O be the C1 integral curve of cξ with γx0(0)=x0, so γx0′(tK)=c ξγx0(tK); this is the Killing orbit through x0 with Killing-time parameter tK. For a cell assigned to xi, take x0=xi and denote this curve by γi. Define its proper-time parameter from the metric by τ(tK):=1c∫0tK−gγx0(s)(γx0′(s),γx0′(s)) ds,τ(0)=0. By Killing temperature normalization and rigidity, ξ(Nξ)=0, so N:=Nξ(x0)>0 is constant along this orbit. The metric definition then gives dτ=N dtK and, with the chosen origins, τ=NtK; equivalently dγx0/dτ=cu for u=ξ/Nξ. For kB>0 in J K−1 and reference temperature TK>0 in kelvins, the inverse temperature βK=(kBTK)−1 rescales orbitwise to βloc:=NβK; defining Tloc:=(kBβloc)−1 gives Tloc=TK/N. No spatially varying lapse is treated as one global time-rescaled automorphism group.

Facts & Assumptions

Given: A unital complex C∗-algebra, a strongly continuous ∗-automorphism group, a βK-KMS state in physical time, and a constant λ>0.

[A1]

For a selected point x0∈O, IK is an interval in seconds containing 0, γx0:IK→O is C1 with γx0(0)=x0 and γx0′=cξ∘γx0, and τ(tK)=c−1∫0tK−gγx0(s)(γx0′(s),γx0′(s)) ds is its proper time in seconds. For a cell at xi, x0=xi and this curve is denoted γi. The positive lapse Nξ=−g(ξ,ξ) is constant along the orbit by [F2]; N=Nξ(x0) is the constant used in the rescaling.

[A2]

The Axiom of Countable Choice (ACω) is the explicit ACω assumption on the smooth stationary geometry carrier used by [F2]; no stronger choice principle is used.

[F1]

Physical-time KMS strip equilibrium condition: a β-KMS state for a strongly continuous automorphism group has, for every A,B, a bounded function continuous on 0≤Im⁡z≤βℏ, holomorphic inside, and with boundary values ω(Aαt(B)) and ω(αt(B)A).

[F2]

Killing temperature normalization and rigidity: under [A2] and its selected stationary-carrier hypotheses, its proof derives ξ(Nξ)=0 from the Killing equation and metric compatibility; when the inverse-temperature vector β is also Killing, the lemma gives NξT=TK for a positive constant and β=ξ/(kBTK). Its current item is draft and has a current ready Step 1 record, which is authoring readiness only.

Proof

1.1givenA1F1constructalgebra

For A,B∈A, let FA,B be the strip function supplied by [F1]. Define F~A,B(z):=FA,B(z/λ). If 0≤Im⁡z≤λβKℏ, then 0≤Im⁡(z/λ)≤βKℏ; hence F~ is bounded and continuous on the rescaled closed strip and holomorphic inside. For real τ, F~A,B(τ)=ω(Aατ/λ(B))=ω(Aατλ(B)), and at the upper edge F~A,B(τ+iλβKℏ)=ω(ατλ(B)A). Thus it is the required λβK-KMS function.

1.2givenA1F1algebra

Conversely, if F~A,B witnesses the β^-KMS property for αλ, define GA,B(z):=F~A,B(λz). Positive λ maps the strip of width (β^/λ)ℏ to the strip of width β^ℏ, so boundedness, boundary continuity and interior holomorphy are preserved. The lower edge is ω(Aαλtλ(B))=ω(Aαt(B)), and the upper edge is ω(αt(B)A). This proves the converse.

2.1givenA1A2F2step 1.1algebra∎

Along γx0, [F2] gives ξ(Nξ)=0, hence ddtKNξ(γx0(tK))=c ξ(Nξ)(γx0(tK))=0 and Nξ(γx0(tK))=N. By [A1] and γx0′=cξ, the proper-time definition yields dτdtK=c−1−g(γx0′,γx0′)=c−1−g(cξ,cξ)=N; integrating from 0 gives τ=NtK. Step 1.1 with λ=N gives βloc=NβK; by the stated definition, Tloc=(kBβloc)−1=TK/N. The result applies separately on each orbit; it constructs no global automorphism with position-dependent rescaling.

TheoremStatement: AI-adaptedProof: AI-adaptedjudge pass (gpt-6-luna)Open item page →

Finite response and spectral clock redshift

Statement

Fix a cell label i∈{1,…,r} in Constructed independent cell Gibbs states, let xi=χ(i) be its assigned point, and write N:=Ni=N(xi)>0, Hloc:=Hi, Q:=Qi, and μloc:=μi. Let βK>0 in joules−1 and μK in joules be the global parameters supplied there. Put Gloc:=Hloc−μlocQ and GK:=NGloc. Set βloc:=NβK and define the cell normalizer Zloc:=Zi=Tr⁡Hie−βlocGloc=Tr⁡Hie−βKGK>0. Let σ be the cell Gibbs density supplied by that theorem, so σ=Zloc−1e−βlocGloc=Zloc−1e−βKGK. For neutral Hermitian matrices, define ατloc(C):=eiGlocτ/ℏCe−iGlocτ/ℏ,αtK(C):=eiGKt/ℏCe−iGKt/ℏ. For this selected cell, let q be the common charge in coulombs and Φi:=Φξ(xi) its compensated potential in volts from the supplier. Define HK,i:=NHloc+qΦiQ in joules, and write HK:=HK,i in the physical control below. The supplier normalization gives Nμloc+qΦi=μK, hence HK=GK+μKQ.

Let A=A∗ and B=B∗ satisfy [A,Q]=[B,Q]=0. Then their local proper-time and Killing-time dynamics agree after τ=Nt.

Let h:[0,S]→R be continuous, with S>0 seconds, and let h(τ)B have units joules. For dimensionless ϵ∈R, the proper-time grand-generator control Gloc−ϵh(τ)B corresponds in Killing time to GK−ϵNh(Nt)B. Define Eloc(τ) and EK(t) as the finite-time expectations of A from the same initial density σ under these controls. Because A and B commute with Q, replacing each grand generator by its physical Hamiltonian changes the propagator only by a unitary generated by a constant multiple of Q and leaves the expectation of A unchanged. Thus these expectations also equal those obtained from the respective physical controls Hloc−ϵh(τ)B and HK−ϵNh(Nt)B. In particular, EK(t)=Eloc(Nt)(0≤t≤S/N). The finite-time Kubo expansions have identical first-order terms under this rescaling and the same quadratic remainder bound. With Rloc(u):=iℏTr⁡ ⁣(σ[αuloc(A),B]),CS:=2ℏ∫0S∣h(s)∣ ∥B∥ ds, the local expansion is Eloc(τ)=Tr⁡(σατloc(A))+ϵ∫0τh(s)Rloc(τ−s) ds+rloc(τ),∣rloc(τ)∣≤∥A∥(∣ϵ∣CS)2e∣ϵ∣CS2. Use ℏ>0 in joule-seconds, so CS is dimensionless and Rloc has units [A][B]/(J s). The Killing-time response kernel is RK(t)=Rloc(Nt) and its control amplitude is Nh(Nt).

For the equilibrium correlation spectral measures, use the Fourier convention of Finite spectral balance and distributional fluctuation response. If DN(ω):=Nω, then SK=(DN)∗Sloc,SK(ω)=N−1Sloc(ω/N) in distribution notation; the measure form preserves the weights of delta-function spectral lines. Since βKℏ(Nω)=βlocℏω, detailed balance is unchanged. Any zero-frequency atom remains an atom at zero and is not assigned a value by the coth formula, which remains restricted to nonzero frequencies.

For a static local perturbation Gloc−λB, where λB has units joules, the re-prepared Gibbs family satisfies ddλTr⁡(σλB)∣λ=0=βlocCov⁡KM,σ(B,B)=NβKCov⁡KM,σ(B,B)≥0. Here δB:=B−Tr⁡(σB)I and Cov⁡KM,σ(B,B):=∫01Tr⁡ ⁣(σ1−uδB σuδB) du. It reduces to the ordinary variance when B commutes with Gloc; no such reduction is asserted otherwise. These are exact finite-dimensional deductions for the constructed neutral cell. They imply no infinite-time relaxation, dc transport coefficient, or response law for arbitrary interacting reduced states.

Facts & Assumptions

Given: One finite cell of the stated independent-cell construction, its positive lapse and Gibbs density, neutral Hermitian matrices A,B, a continuous control on a finite proper-time interval, and the stated units.

[F1]

Constructed independent cell Gibbs states: for label i at xi=χ(i), N=Ni=N(xi) and the local data are Hloc=Hi, Q=Qi, and μloc=μi; under the stated whole-shell stationarity, global-compensator, and ACω hypotheses it supplies βloc=NβK, GK=NGloc, HK,i=NHloc+qΦiQ=GK+μKQ, and σ=Zloc−1e−βlocGloc. Here Zloc=Zi is the cell trace normalizer, whereas the supplier's total partition sum is Z=∏jZj. On observables commuting with number, grand-generator and physical dynamics agree. Its ACω assumption is The Axiom of Countable Choice (ACω): every countable family of nonempty sets has a choice function; no stronger choice principle is used. This current draft supplier has a complete conditional argument; its ready record is authoring readiness, not independent proof approval.

[F2]

Finite-time Kubo formula with norm remainder: for a finite Hermitian generator G, fixed Gibbs initial density σ=e−βG/Z, Hermitian A,B, continuous h, and finite interval, the control G−ϵhB has first-order kernel iTr⁡(σ[αu(A),B])/ℏ and the explicit quadratic remainder in its Statement. The current QSM item is draft with a current ready Step 1 record, not independent proof approval.

[F3]

Finite spectral balance and distributional fluctuation response: for a finite Gibbs matrix and Hermitian A, the correlation has a finite positive spectral measure with delta lines and detailed balance; its zero-frequency atom is retained separately and the coth identity is restricted to nonzero frequencies. The current QSM item is draft with a current ready Step 1 record, not independent proof approval.

[F4]

Duhamel derivative and finite Kubo–Mori response: for finite Hermitian Gloc, βloc>0, and Hermitian B, the derivative of the re-prepared Gibbs expectation is βlocCov⁡KM,σ(B,B)≥0; this equals βlocVar⁡σ(B) only if B commutes with the Gibbs density.

Proof

1.1givenF1algebra

By [F1], βloc=NβK and σ is the same normalized density for Gloc and GK=NGloc. For neutral matrices the chemical term proportional to Q does not change conjugation, so αtK(A)=αNtloc(A) and the same holds for B.

2.1givenF1F2step 1.1algebra

If Uloc(τ) solves iℏUloc′=(Gloc−ϵh(τ)B)Uloc, then the chain rule gives iℏddtUloc(Nt)=(GK−ϵNh(Nt)B)Uloc(Nt). Both grand-generator propagators have the same identity initial condition. Uniqueness of the finite-dimensional controlled evolution in [F2] gives UK(t)=Uloc(Nt) and equality of the grand-generator expectations. To compare with the physical controls, note that Hloc=Gloc+μlocQ and HK=GK+μKQ. Each grand controlled generator commutes with Q at every time because [Gloc,Q]=[B,Q]=0. Therefore the corresponding physical propagator equals its grand propagator multiplied by e−iμlocQτ/ℏ locally or e−iμKQt/ℏ in Killing time; differentiating these products verifies their evolution equations and identity initial data. Since [A,Q]=0, conjugation by these extra factors leaves A fixed, so physical and grand expectations agree. The two exact expectation equalities imply EK(t)=Eloc(Nt).

2.2givenF2step 1.1algebra

Apply [F2] on [0,S] locally and on [0,S/N] in Killing time. Its Killing kernel is RK(t)=Rloc(Nt) by step 1.1. The first-order terms agree because ϵ∫0tNh(Ns)Rloc(N(t−s)) ds=ϵ∫0Nth(v)Rloc(Nt−v) dv after v=Ns. Also 2ℏ∫0S/N∣Nh(Ns)∣∥B∥ ds=CS, so the two Kubo remainder bounds agree at corresponding times.

2.3givenF3step 1.1algebra

Diagonalize Gloc with eigenvalues Ej and eigenvectors uj. The density weights pj=Zloc−1e−βlocEj are also the weights for GK, whose eigenvalues are NEj; hence each transition frequency is multiplied by N, while each weight and matrix element of A is unchanged. By [F3], SK=(DN)∗Sloc, equivalently the displayed distribution scaling. Since βKℏNω=βlocℏω, detailed balance is preserved; DN(0)=0 carries any zero-frequency atom to itself, where [F3] gives no coth formula.

3.1givenF4step 1.1step 2.2algebra∎

Apply [F4] to the local re-prepared density σλ∝e−βloc(Gloc−λB) to obtain the stated Kubo–Mori derivative. Since Gloc is finite Hermitian and x↦e−βlocx is injective on its real spectrum, B commutes with σ exactly when it commutes with Gloc (both preserve the same eigenspace decomposition). Thus the variance reduction in [F4] has precisely the condition stated here; the finite-time expansion in step 2.2 instead keeps the initial σ fixed.

Remarks

The response variables are finite matrices and finite-time controls, not measured apparatus data. The exact Kubo expansion and the static derivative concern different preparations: the former fixes σ, while the latter re-normalizes the Gibbs family for each λ.

LemmaStatement: AI-adaptedProof: AI-generatedjudge pass (gpt-6-luna)Open item page →

Completeness of countable square-summable sequences

Statement

With the inner product and norm of Square-summable families on an arbitrary index set and the space ℓ2(I), the complex sequence space ℓ2(N0,C):={x=(xn)n≥0:∑n≥0∣xn∣2<∞} is complete. Hence it is a complex Hilbert space in the sense of Hilbert space.

Facts & Assumptions

Given: The index set is N0, the scalar field is C, and the square-summable-family norm is the supremum of finite subsums as in [F1].

[F1]

Square-summable families on an arbitrary index set and the space ℓ2(I): the square-summable families form an inner-product space with norm ∥x∥2=(sup⁡F⊆I, F finite∑i∈F∣xi∣2)1/2 and pairing ⟨x,y⟩=∑ixiyi‾, linear in the first argument.

[F3]

Hilbert space: a complex Hilbert space is an inner-product space complete in its induced norm.

Proof

1.1givenF1F2algebra

Let (x(k))k≥1 be Cauchy in ℓ2(N0,C). For each fixed n, ∣xn(k)−xn(ℓ)∣≤∥x(k)−x(ℓ)∥2, so [F2] gives a unique coordinate limit xn. The sequence is norm-bounded: choose k0 so that ∥x(k)−x(k0)∥2<1 for k≥k0, bound those terms by 1+∥x(k0)∥2, and enlarge the bound to include the finitely many earlier norms. Call the resulting bound C. For every finite F⊆N0, finite-sum continuity gives ∑n∈F∣xn∣2=lim⁡k∑n∈F∣xn(k)∣2≤C2. Taking the supremum over finite F shows x∈ℓ2.

2.1givenF1F2F3step 1.1algebra∎

Given δ>0, choose k1 so ∥x(k)−x(ℓ)∥2<δ/2 whenever k,ℓ≥k1. Fix k≥k1. For each finite F, coordinate convergence and the finite sum imply ∑n∈F∣xn(k)−xn∣2=lim⁡ℓ→∞∑n∈F∣xn(k)−xn(ℓ)∣2≤(δ/2)2. Taking the supremum over finite F gives ∥x(k)−x∥2≤δ/2<δ. Thus every Cauchy sequence converges in this norm; [F3] gives the Hilbert-space conclusion. The coordinate limits are uniquely determined, so no choice principle is used.

PropositionStatement: AI-adaptedProof: AI-adaptedjudge pass (gpt-6-luna)Open item page →

Rotating mode Gibbs obstruction

Statement

Let N0={0,1,2,…} and let H:=ℓ2(N0,C) be the complex square-summable sequences with inner product ⟨x,y⟩=∑n≥0xnyn‾, linear in its first argument. Let en be the sequence with value 1 at n and 0 elsewhere. Write B(H) for the bounded complex-linear operators on H, with operator norm ∥B∥:=sup⁡∥x∥2≤1∥Bx∥2; for C∈B(H), C∗ is its bounded Hilbert-space adjoint, characterized by ⟨Cx,y⟩=⟨x,C∗y⟩. A state on this operator algebra means a bounded complex-linear functional ω with ω(I)=1 and ω(C∗C)≥0 for every C∈B(H). Define the occupation-number operator D(N):={x∈H:∑n≥0n2∣xn∣2<∞},(Nx)n:=nxn. For a densely defined operator T on this space, use the adjoint relation D(T†):={y∈H:∃z∈H ∀x∈D(T), ⟨Tx,y⟩=⟨x,z⟩},T†y:=z. The representing z is unique when D(T) is dense; here “self-adjoint” means D(T†)=D(T) and T†x=Tx on that domain.

Let ϵ>0 be in joules, m∈Z a dimensionless azimuthal mode number, Ω∈R an angular velocity in s−1, ℏ>0 in joule-seconds, and βK>0 in joules−1. Set H:=ϵN,J:=ℏmN,a:=ϵ−ℏmΩ. For m≠0, J has domain D(N); for m=0, J is the zero operator on all of H. The operator H has energy units J, J has angular-momentum units J s, and a has energy units J, so ΩJ also has units J. Define K0:=H−ΩJ on the common domain D(N) and let K:=K0‾ be its operator closure. For a≠0, K=aN has domain D(N); for a=0, K is the zero operator on all of H. Thus K is the self-adjoint closure of the rotating generator H−ΩJ, including at the zero threshold. Then N, H, J and K are self-adjoint on the stated domains.

Define the one-mode occupation partition sum by ZβK(a):=∑n=0∞e−βKan∈[0,+∞]. It is the diagonal trace of the positive Gibbs weights in the occupation basis whenever the sum is finite. This sum is finite exactly when a=ϵ−ℏmΩ>0, in which case ZβK(a)=11−e−βKa. For a>0, the weights pn=ZβK(a)−1e−βKan sum to one and define the diagonal Gibbs functional ωa(B):=∑n=0∞pn⟨Ben,en⟩,B∈B(H). The proof shows that this is a state in the stated sense. For a≤0, the occupation partition sum diverges, so no normalized Gibbs state of this trace form exists. This is a single bosonic mode calculation; it constructs no continuum field state or rotating-spacetime equilibrium.

Facts & Assumptions

Given: The square-summable sequence space, its standard coordinate vectors, the real parameters and units in the Statement, and the displayed maximal diagonal domains.

[F1]

Square-summable families on an arbitrary index set and the space ℓ2(I): ℓ2(I,C) consists of complex families for which the supremum of finite subsums ∑i∈F∣xi∣2 is finite; its norm is that square root and its pairing ∑ixiyi‾ is linear in the first argument. The definition gives an inner-product space but does not assert completeness.

[F2]

Cauchy–Schwarz: ∣⟨x,y⟩∣≤∥x∥ ∥y∥, with equality exactly for dependent pairs: the inner product obeys ∣⟨x,y⟩∣≤∥x∥∥y∥, so the coordinate pairings and adjoint pairings used below converge.

[F3]

Completeness of countable square-summable sequences: the displayed ℓ2(N0,C) sequence space with its stated inner product is complete and therefore is a Hilbert space.

Proof

1.1givenF1F2F3algebra

By [F3], H with the displayed inner product is complete, so it is a Hilbert space. For x∈H, put S:=∑n≥0∣xn∣2=∥x∥22 and SM:=∑n=0M∣xn∣2. Every finite subset of N0 is contained in some {0,…,M}, so SM↑S. The finite-subsum splitting identity in [F1], applied to {0,…,M}, gives ∥x−∑n=0Mxnen∥22=∑n>M∣xn∣2=S−SM→0. Thus finite-support sequences are dense and lie in D(N), so N is densely defined. For x,y∈D(N), Cauchy–Schwarz [F2] gives convergence of both inner-product sums and ⟨Nx,y⟩=∑nnxnyn‾=∑nxnnyn‾=⟨x,Ny⟩, so the operator is symmetric.

1.2givenalgebra

On the basis vector en, the Gibbs weight for K is e−βKan, so the partition sum is the displayed nonnegative series. If a>0, put r=e−βKa∈(0,1); its partial sums are (1−rM+1)/(1−r) and tend to (1−r)−1. If a=0, every term is 1 and the partial sums tend to +∞. If a<0, the terms eβK∣a∣n do not tend to zero, so the nonnegative series diverges.

2.1givenF1step 1.1algebra

If y∈D(N), then z:=Ny∈H, and step 1.1 shows ⟨Nx,y⟩=⟨x,z⟩ for every x∈D(N); thus y∈D(N†) and N†y=Ny. Conversely, if y∈D(N†) with representing vector z∈H, test the defining identity on each x=en to obtain zn=nyn. Since z is square-summable, ∑nn2∣yn∣2<∞, so y∈D(N) and z=Ny. Therefore D(N†)=D(N) and N†=N.

3.1givenstep 1.1step 2.1algebra

Multiplication by a real nonzero scalar c leaves the adjoint domain D(N) unchanged and multiplies the adjoint action by c: the same coordinate test as step 2.1 forces zn=cnyn, and (cnyn)n is square-summable exactly when (nyn)n is. Thus cN is self-adjoint on D(N). The zero operator on all of H is self-adjoint: its adjoint relation forces ⟨x,z⟩=0 for every x∈H, in particular x=z, so z=0. Taking c=ϵ and c=ℏm when m≠0 proves the assertions for H and J; when m=0, J=0 on all of H. On the common domain, K0=aN. If a≠0, this operator is self-adjoint and closed by the scalar argument, so its closure is itself. If a=0, K0 is zero on the dense finite-support domain D(N); its graph closure is H×{0} and hence K is zero on all of H, which is self-adjoint.

4.1givenF1F2step 1.2algebra∎

In the finite case a>0, pn=(1−r)rn are positive and sum to one. For each B∈B(H), Cauchy–Schwarz [F2] and the operator norm give ∣⟨Ben,en⟩∣≤∥Ben∥2∥en∥2≤∥B∥, hence ∑npn∣⟨Ben,en⟩∣≤∥B∥; the defining series for ωa(B) is absolutely convergent and ∣ωa(B)∣≤∥B∥. Absolute convergence gives complex linearity, and ωa(I)=∑npn=1. For every C∈B(H), ωa(C∗C)=∑npn⟨C∗Cen,en⟩=∑npn∥Cen∥22≥0. Thus ωa is a bounded positive normalized linear functional, hence a state. If a≤0, step 1.2 gives no finite normalizer for these same occupation weights. This proves exactly the asserted trace-Gibbs obstruction without any field-theoretic or spacetime extension.

Remarks

The source treatments motivate finite Gibbs weighting and KMS equilibrium. The positivity threshold, weighted domain, self-adjointness and geometric-series calculation above are proved directly for this one-mode model; no rotating-field or black-hole conclusion is imported.

5 · Examples, experiments and counterexamples

None yet.

Sources