Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passverified 2026-10-22 (gpt-6.1-sol)
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.

Positive rescaling of an upper-strip W*-KMS flow

Statement

Assume the Axiom of Choice. Let H be a complex Hilbert space and let M⊆B(H) be a nonzero unital ∗-subalgebra with M=M′′, where B(H) is the bounded-operator algebra and M′ is its commutant. Let ω be a normal state, meaning a bounded positive linear functional with ω(I)=1 that preserves suprema of bounded increasing nets of positive elements. Let t↦αt be a one-parameter group of bijective unital ∗-automorphisms of M, with dimensionless parameter t, such that t↦φ(αt(X)) is continuous for every X∈M and every normal linear functional φ on M (an element of the predual). Suppose that for some dimensionless θ>0, for every A,B∈M there is a bounded continuous function FA,B on Sθ={z∈C:0≤Im⁡z≤θ}, holomorphic inside, with FA,B(t)=ω(Aαt(B)),FA,B(t+iθ)=ω(αt(B)A). This is the upper-strip convention of the preceding von Neumann KMS definition. For any scalar λ>0, set α~τ=ατ/λ for τ∈R. Then α~ is again a point-ultraweakly continuous one-parameter group, and ω satisfies the same upper-strip boundary condition for α~ on the strip of width λθ.

Facts & Assumptions

Given: The Axiom of Choice, the von Neumann algebra, normal state, point-ultraweak group, upper-strip boundary functions, and λ>0 from the Statement.

[A1]

The Axiom of Choice is assumed as in The Axiom of Choice.

[F1]

The preceding upper-strip KMS definition requires a bounded continuous strip function with lower boundary ω(Aαt(B)) and upper boundary ω(αt(B)A) for every A,B∈M; its parameter and strip width are dimensionless. Upper-strip KMS condition for von Neumann algebras

Proof

Proof technique: Reparameterize the existing strip functions by the positive linear map z↦z/λ.

Given: [A1], [F1], M, ω, α, θ, and λ>0.

1.1A1F1givenalgebra

The rescaled maps satisfy α~τ1α~τ2=ατ1/λ+τ2/λ=α~τ1+τ2 and α~0=id⁡M. For each X∈M and normal linear functional φ, the map τ↦φ(α~τ(X))=φ(ατ/λ(X)) is continuous because it is the composition of the continuous map t↦φ(αt(X)) with τ↦τ/λ. Thus α~ is a point-ultraweakly continuous one-parameter group.

1.2A1F1givenconstruct

For each A,B∈M, choose the strip function FA,B supplied by [F1] and define GA,B(z)=FA,B(z/λ). Since λ>0, the map z↦z/λ sends the closed strip of width λθ bijectively to Sθ and its interior to the interior. Therefore GA,B is bounded and continuous on the closed rescaled strip and holomorphic inside.

2.1A1F1step 1.2algebra∎

For real τ, the boundaries are GA,B(τ)=ω(Aατ/λ(B))=ω(Aα~τ(B)) and GA,B(τ+iλθ)=ω(ατ/λ(B)A)=ω(α~τ(B)A). These are precisely the required upper-strip boundary values at width λθ.

Depends on

Dependency tree · 2 levels

Sources