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
- Abelian Categories
- Absolute and Conditional Convergence; Rearrangement; Products
- Algebraic Closure, Embeddings, and Separability
- Algebraic Extensions, Extension Degree, and Finite Fields
- Analyticity of Holomorphic Functions; Liouville and Morera
- Approximation and Compactness in C(K)
- Arc Length and Rectifiable Curves
- Banach Alaoglu Goldstine and Krein Milman
- Banach Algebras Spectrum and Holomorphic Functional Calculus
- Banach Valued Integration and the Radon Nikodym Property
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Linear Operators and Quotient Spaces
- Bounded Variation and the Riemann–Stieltjes Integral
- Categories, Functors and Natural Transformations
- Chain Complexes and Homology
- Cm Math Continuum
- Cm Math Fluid
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Complex Coordinate and Path Transport
- Complex Differentiability and the Cauchy–Riemann Equations
- Complex Norms and Realification
- Complex Subspace Realification
- Complexification, Realification and Real Structures
- Composition Series, the Jordan–Hölder Theorem and Solvable Groups
- Congruences, the Integers Modulo n and the Chinese Remainder Theorem
- Connectedness
- Connections And Free Fall
- Connections Levi Civita and Parallel Transport
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Continuous Functional Calculus for Self Adjoint and Normal Operators
- Contour Integration
- Convergence: Nets and Filters
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Cyclic Groups and Direct Products
- Determinants of Matrices over a Commutative Ring
- Diagonalisation and the Minimal Polynomial
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Divisibility, Greatest Common Divisors and Bézout's Identity
- Dual Spaces Adjoint Operators and Annihilators
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Eigenvalues, Eigenvectors and the Characteristic Polynomial
- Einstein And Matter
- Euclidean Ordinary Differential Equations with Smooth Dependence
- Exterior Powers, Orientation and Hodge Duality
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite Dimensional Normed Spaces and Riesz Lemma
- Foundations of the Real Numbers for Analysis
- Framework And Geometry
- Free Modules, Exact Sequences, Projective and Injective Modules
- Fubini and Change of Variables
- Function Space Topologies and the Exponential Law
- Fundamental Trigonometric Identities
- Gauge-compensated charged Killing energy
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Gelfand Theory and Commutative C Star Algebras
- Geodesics, the Exponential Map, Completeness, and Hopf–Rinow
- Goursat's Theorem and Cauchy's Theorem in a Convex Domain
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group C Star Algebras and the Fell Unitary Dual
- Group Homomorphisms and the Isomorphism Theorems
- Hausdorff via the Diagonal
- Hereditary and Productive Behaviour of the Separation Axioms
- Hilbert Space Geometry and Riesz Representation
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper Integrals
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Integration of Forms and the General Stokes Theorem
- Limits and Colimits
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Line Integrals and the Gradient Theorem
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Local spin matrix algebras and isometric inclusions
- Manifolds with Boundary Collars and Orientations
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal density states and spectral moments
- Normal Subgroups and Quotient Groups
- Normed and Banach Spaces
- Norming and Separation under Hahn–Banach
- Order, Zorn's Lemma, and the Axiom of Choice
- Orthonormal Bases, Parseval and Fourier Series
- Partitions of Unity and Paracompactness
- Physical-time KMS strip equilibrium condition
- pi: the Equivalent Characterizations
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Preadditive and Additive Categories and Biproducts
- Primes, Euclid's Lemma and the Fundamental Theorem of Arithmetic
- Properties of the Integral and the Working FTC
- Pure and Mixed States, Ensembles, and Schmidt Decomposition
- Rank Theorems and Embedded Submanifolds
- Relations, Functions, and Quotients
- Riemann Curvature and Riemannian Submanifolds
- Riemannian Metrics Length Distance and Volume
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Simplicial Complexes and Simplicial Homology
- Sine, Cosine, and the Definition of Pi
- Singular Chains and Singular Homology
- Singular Cochains Mayer Vietoris and Smooth Singular Comparison
- Singular Cohomology and Coefficient Theorems
- Smooth Manifolds and Smooth Maps
- Smooth Partitions of Unity and Exhaustions
- Smooth Vector Bundles and Sections
- Spacetime Primitives
- Splitting Fields
- Stationary thermal geometric data
- Stone–Weierstrass in General
- Subspaces, Products, and Quotients
- Suprema and Infima
- Sylow's Theorems, p-Groups and Nilpotent Groups
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- Tensor Fields Exterior Algebra and Differential Forms
- Tensor Products of Modules
- Tensors And Observers
- The Analytic Hahn Banach Theorem
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Complex Exponential and Euler's Formula
- The De Rham Complex Homotopy and Mayer Vietoris
- The de Rham Theorem and Degree
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Exponential Function
- The Exterior Derivative and Cartan Calculus
- The Fundamental Theorem of Algebra
- The Fundamental Theorem of Finite Abelian Groups
- The Fundamental Theorems of Calculus
- The Galois Correspondence
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Spectral Theorem, Positive Operators and Singular Value Decomposition
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Trace-class bounded-observable response
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Uniform Spaces: the Three Definitions
- Uniformly bounded finite-range quantum spin interaction
- Vector Fields Flows and Lie Derivatives
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Volumes of Elementary Solids and Solids of Revolution
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
Constructed independent cell Gibbs states
Statement
Let be finite. For each cell , let be a complex Hilbert space of finite dimension , let be a Hermitian proper Hamiltonian in joules, and let be a dimensionless number observable whose eigenvalues lie in . Assume . Operators on the total space mean their lifts acting on the th tensor factor and as the identity on the other factors; no intercell interaction is included.
Let be a smooth time-oriented Lorentzian four-manifold with signature , and let be a connected open set on which a smooth future-directed timelike Killing field is defined. Use length coordinates and the corresponding dimensionless components of . Define its dimensionless lapse . Let be the speed of light in , Boltzmann's constant in , and let be a global smooth real one-form with SI components in tesla-metres, with components in teslas, and a global smooth compensator in tesla-metres with . Define in volts. Let and be smooth fields in kelvins and joules per particle. Fix a common particle rest mass in kilograms and charge in coulombs, put in joules, and define , in , and dimensionlessly. On the future massive shell , where has energy-vector units and has units , let , as defined for the same charged data in Global electrochemical redshift from charged Liouville stationarity, and assume the exact whole-shell stationarity condition for every , where 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 and set . Define the lapse, compensated potential, proper temperature, and chemical potential at cell by evaluation: The same theorem supplies constants and such that where is the common particle charge in coulombs. This use of the charged smooth-geometry supplier retains its explicit assumption.
Set in joules, , , and . Then the grand generator is Hermitian and The finite partition sums are positive and finite, with . The normalized Gibbs density factorizes exactly: It is a -KMS state for the grand-generator dynamics on the full finite matrix algebra. On the neutral subalgebra , grand-generator and physical dynamics coincide, so the restricted state is -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.
The cell-location map is , , and , , , and . On , , , , , and . The exact stationarity premise is at every future-shell point for on with future-directed, in the charged transport formulation used by Global electrochemical redshift from charged Liouville stationarity; the global compensator is required for its constants.
The Axiom of Countable Choice () 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.
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.
Finite unitary dynamics and Gibbs KMS identity: for a finite-dimensional Hermitian generator and , is stationary and is KMS for with physical-time strip width seconds.
Global electrochemical redshift from charged Liouville stationarity: under the connected-domain and smooth-field hypotheses, stationarity means on the entire future massive shell for ; with the global potential compensator it yields constants and such that and throughout . Evaluation at 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
Apply [F3] under the inherited smooth charged-geometry assumption [A2] and the exact whole-shell stationarity premise in [A1]. For each cell and . The geometric and thermodynamic quantities use the conventions in [A1]. Therefore , and the local grand generator satisfies . Summing this identity gives .
Each pair is simultaneously diagonalizable: diagonalize using [F1]; each eigenspace of is invariant under because ; diagonalize the Hermitian restriction of on each of the finitely many eigenspaces. The resulting orthonormal basis of diagonalizes . The tensor products of these bases form an orthonormal basis of , and in that basis has eigenvalue on the basis vector indexed by .
The finite trace in that product basis is Each factor is a finite sum of strictly positive reals, so and . Dividing each diagonal weight by this product gives , and .
Apply [F2] to the finite-dimensional Hermitian matrix and : is a state and is KMS for on .
Since , the exponentials of these two matrices commute and . For , commutes with , so . The algebra is closed under products, adjoints and linear combinations and is invariant under . Restricting the state and the same bounded strip functions from step 4.1 to proves the physical 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.
KMS orbit clock rescaling
Statement
Let be a unital complex -algebra and let be a strongly continuous one-parameter group of -automorphisms of . Let be a -KMS state for in the physical-time convention of Physical-time KMS strip equilibrium condition, where has units and has units . For a constant dimensionless , define where and are real time parameters in seconds. Then is a -KMS state for , with strip width seconds. Conversely, if is a -KMS state for , then it is a -KMS state for .
For the geometric interpretation, let be a connected open subset of a smooth time-oriented Lorentzian four-manifold of signature , and let be a smooth future-directed timelike Killing field on with dimensionless components in length coordinates , where is the speed of light in . Define and . For a selected point , let be an interval in seconds containing , and let be the integral curve of with , so ; this is the Killing orbit through with Killing-time parameter . For a cell assigned to , take and denote this curve by . Define its proper-time parameter from the metric by By Killing temperature normalization and rigidity, , so is constant along this orbit. The metric definition then gives and, with the chosen origins, ; equivalently for . For in and reference temperature in kelvins, the inverse temperature rescales orbitwise to ; defining gives . No spatially varying lapse is treated as one global time-rescaled automorphism group.
Facts & Assumptions
Given: A unital complex -algebra, a strongly continuous -automorphism group, a -KMS state in physical time, and a constant .
For a selected point , is an interval in seconds containing , is with and , and is its proper time in seconds. For a cell at , and this curve is denoted . The positive lapse is constant along the orbit by [F2]; is the constant used in the rescaling.
The Axiom of Countable Choice () is the explicit assumption on the smooth stationary geometry carrier used by [F2]; no stronger choice principle is used.
Physical-time KMS strip equilibrium condition: a -KMS state for a strongly continuous automorphism group has, for every , a bounded function continuous on , holomorphic inside, and with boundary values and .
Killing temperature normalization and rigidity: under [A2] and its selected stationary-carrier hypotheses, its proof derives from the Killing equation and metric compatibility; when the inverse-temperature vector is also Killing, the lemma gives for a positive constant and . Its current item is draft and has a current ready Step 1 record, which is authoring readiness only.
Proof
For , let be the strip function supplied by [F1]. Define . If , then ; hence is bounded and continuous on the rescaled closed strip and holomorphic inside. For real , , and at the upper edge . Thus it is the required -KMS function.
Conversely, if witnesses the -KMS property for , define . Positive maps the strip of width to the strip of width , so boundedness, boundary continuity and interior holomorphy are preserved. The lower edge is , and the upper edge is . This proves the converse.
Along , [F2] gives , hence and . By [A1] and , the proper-time definition yields ; integrating from gives . Step 1.1 with gives ; by the stated definition, . The result applies separately on each orbit; it constructs no global automorphism with position-dependent rescaling.
Finite response and spectral clock redshift
Statement
Fix a cell label in Constructed independent cell Gibbs states, let be its assigned point, and write , , , and . Let in joules and in joules be the global parameters supplied there. Put and . Set and define the cell normalizer . Let be the cell Gibbs density supplied by that theorem, so . For neutral Hermitian matrices, define For this selected cell, let be the common charge in coulombs and its compensated potential in volts from the supplier. Define in joules, and write in the physical control below. The supplier normalization gives , hence .
Let and satisfy . Then their local proper-time and Killing-time dynamics agree after .
Let be continuous, with seconds, and let have units joules. For dimensionless , the proper-time grand-generator control corresponds in Killing time to . Define and as the finite-time expectations of from the same initial density under these controls. Because and commute with , replacing each grand generator by its physical Hamiltonian changes the propagator only by a unitary generated by a constant multiple of and leaves the expectation of unchanged. Thus these expectations also equal those obtained from the respective physical controls and . In particular, The finite-time Kubo expansions have identical first-order terms under this rescaling and the same quadratic remainder bound. With the local expansion is Use in joule-seconds, so is dimensionless and has units . The Killing-time response kernel is and its control amplitude is .
For the equilibrium correlation spectral measures, use the Fourier convention of Finite spectral balance and distributional fluctuation response. If , then in distribution notation; the measure form preserves the weights of delta-function spectral lines. Since , 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 , where has units joules, the re-prepared Gibbs family satisfies Here and It reduces to the ordinary variance when commutes with ; 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 continuous control on a finite proper-time interval, and the stated units.
Constructed independent cell Gibbs states: for label at , and the local data are , , and ; under the stated whole-shell stationarity, global-compensator, and hypotheses it supplies , , , and . Here is the cell trace normalizer, whereas the supplier's total partition sum is . On observables commuting with number, grand-generator and physical dynamics agree. Its assumption is The Axiom of Countable Choice (): 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.
Finite-time Kubo formula with norm remainder: for a finite Hermitian generator , fixed Gibbs initial density , Hermitian , continuous , and finite interval, the control has first-order kernel 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.
Finite spectral balance and distributional fluctuation response: for a finite Gibbs matrix and Hermitian , 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.
Duhamel derivative and finite Kubo–Mori response: for finite Hermitian , , and Hermitian , the derivative of the re-prepared Gibbs expectation is ; this equals only if commutes with the Gibbs density.
Proof
By [F1], and is the same normalized density for and . For neutral matrices the chemical term proportional to does not change conjugation, so and the same holds for .
If solves , then the chain rule gives Both grand-generator propagators have the same identity initial condition. Uniqueness of the finite-dimensional controlled evolution in [F2] gives and equality of the grand-generator expectations. To compare with the physical controls, note that and . Each grand controlled generator commutes with at every time because . Therefore the corresponding physical propagator equals its grand propagator multiplied by locally or in Killing time; differentiating these products verifies their evolution equations and identity initial data. Since , conjugation by these extra factors leaves fixed, so physical and grand expectations agree. The two exact expectation equalities imply .
Apply [F2] on locally and on in Killing time. Its Killing kernel is by step 1.1. The first-order terms agree because after . Also so the two Kubo remainder bounds agree at corresponding times.
Diagonalize with eigenvalues and eigenvectors . The density weights are also the weights for , whose eigenvalues are ; hence each transition frequency is multiplied by , while each weight and matrix element of is unchanged. By [F3], , equivalently the displayed distribution scaling. Since , detailed balance is preserved; carries any zero-frequency atom to itself, where [F3] gives no coth formula.
Apply [F4] to the local re-prepared density to obtain the stated Kubo–Mori derivative. Since is finite Hermitian and is injective on its real spectrum, commutes with exactly when it commutes with (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 .
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 , the complex sequence space is complete. Hence it is a complex Hilbert space in the sense of Hilbert space.
Facts & Assumptions
Given: The index set is , the scalar field is , and the square-summable-family norm is the supremum of finite subsums as in [F1].
Square-summable families on an arbitrary index set and the space : the square-summable families form an inner-product space with norm and pairing , linear in the first argument.
The complex plane is complete, and convergence is equivalent to convergence of real and imaginary parts: every Cauchy sequence in converges.
Hilbert space: a complex Hilbert space is an inner-product space complete in its induced norm.
Proof
Let be Cauchy in . For each fixed , , so [F2] gives a unique coordinate limit . The sequence is norm-bounded: choose so that for , bound those terms by , and enlarge the bound to include the finitely many earlier norms. Call the resulting bound . For every finite , finite-sum continuity gives . Taking the supremum over finite shows .
Given , choose so whenever . Fix . For each finite , coordinate convergence and the finite sum imply . Taking the supremum over finite gives . 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.
Rotating mode Gibbs obstruction
Statement
Let and let be the complex square-summable sequences with inner product , linear in its first argument. Let be the sequence with value at and elsewhere. Write for the bounded complex-linear operators on , with operator norm ; for , is its bounded Hilbert-space adjoint, characterized by . A state on this operator algebra means a bounded complex-linear functional with and for every . Define the occupation-number operator For a densely defined operator on this space, use the adjoint relation The representing is unique when is dense; here “self-adjoint” means and on that domain.
Let be in joules, a dimensionless azimuthal mode number, an angular velocity in , in joule-seconds, and in joules. Set For , has domain ; for , is the zero operator on all of . The operator has energy units J, has angular-momentum units J s, and has energy units J, so also has units J. Define on the common domain and let be its operator closure. For , has domain ; for , is the zero operator on all of . Thus is the self-adjoint closure of the rotating generator , including at the zero threshold. Then , , and are self-adjoint on the stated domains.
Define the one-mode occupation partition sum by 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 , in which case For , the weights sum to one and define the diagonal Gibbs functional The proof shows that this is a state in the stated sense. For , 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.
Square-summable families on an arbitrary index set and the space : consists of complex families for which the supremum of finite subsums is finite; its norm is that square root and its pairing is linear in the first argument. The definition gives an inner-product space but does not assert completeness.
Cauchy–Schwarz: , with equality exactly for dependent pairs: the inner product obeys , so the coordinate pairings and adjoint pairings used below converge.
Completeness of countable square-summable sequences: the displayed sequence space with its stated inner product is complete and therefore is a Hilbert space.
Proof
By [F3], with the displayed inner product is complete, so it is a Hilbert space. For , put and . Every finite subset of is contained in some , so . The finite-subsum splitting identity in [F1], applied to , gives . Thus finite-support sequences are dense and lie in , so is densely defined. For , Cauchy–Schwarz [F2] gives convergence of both inner-product sums and so the operator is symmetric.
On the basis vector , the Gibbs weight for is , so the partition sum is the displayed nonnegative series. If , put ; its partial sums are and tend to . If , every term is and the partial sums tend to . If , the terms do not tend to zero, so the nonnegative series diverges.
If , then , and step 1.1 shows for every ; thus and . Conversely, if with representing vector , test the defining identity on each to obtain . Since is square-summable, , so and . Therefore and .
Multiplication by a real nonzero scalar leaves the adjoint domain unchanged and multiplies the adjoint action by : the same coordinate test as step 2.1 forces , and is square-summable exactly when is. Thus is self-adjoint on . The zero operator on all of is self-adjoint: its adjoint relation forces for every , in particular , so . Taking and when proves the assertions for and ; when , on all of . On the common domain, . If , this operator is self-adjoint and closed by the scalar argument, so its closure is itself. If , is zero on the dense finite-support domain ; its graph closure is and hence is zero on all of , which is self-adjoint.
In the finite case , are positive and sum to one. For each , Cauchy–Schwarz [F2] and the operator norm give , hence ; the defining series for is absolutely convergent and . Absolute convergence gives complex linearity, and . For every , . Thus is a bounded positive normalized linear functional, hence a state. If , 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
- Pieter Naaijkens, Quantum Spin Systems on Infinite Lattices, §3.4, Definition 3.4.4 and finite Gibbs/KMS calculation, printed pp. 74, 76–77
- David Ruelle, Topics in Quantum Statistical Mechanics and Operator Algebras, Chapter 1 §7 and Chapter 2 §6, printed pp. 13–14, 24
- Pieter Naaijkens, Quantum Spin Systems on Infinite Lattices, §3.4, Definition 3.4.4, printed p. 74
- David Ruelle, Topics in Quantum Statistical Mechanics and Operator Algebras, Chapter 1 §7, printed pp. 13–14
- Ryogo Kubo, Statistical-Mechanical Theory of Irreversible Processes I, Journal of the Physical Society of Japan 12 (1957), section 2, printed pages 572–575
- MIT OpenCourseWare 8.512, Theory of Solids II, Lecture 1: Linear Response Theory, sections 1.1–1.5
- Pieter Naaijkens, Quantum Spin Systems on Infinite Lattices, Chapter 2 §2.1, Definition 2.1.1 and Exercise 2.1.2, printed pp. 13–14 (PDF pp. 12–13)
- Pieter Naaijkens, Quantum Spin Systems on Infinite Lattices, §3.4, finite Gibbs/KMS calculation, printed pp. 76–77
- David Ruelle, Topics in Quantum Statistical Mechanics and Operator Algebras, Chapter 1 §7, KMS and Gibbs-state discussion, printed pp. 13–14