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.

Operator domains, deficiency spaces and boundary realizations — Examples

1 · Prerequisites

2 · Summary

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

None yet.

5 · Examples, experiments and counterexamples

ExampleConstruction: Literature-sourcedVerification: AI-generatedprecheck passverified 2026-10-22 (gpt-6.1-sol)Open item page →

Twisted circle momentum and its interval boundary matrix

Example

Assume the Axiom of Choice, Countable Choice, and Dependent Choice. Let L>0, θ∈[0,2π), and ℏ>0. On L2(0,L;C) let Pθf=−iℏDf with D(Pθ)={f∈H1(0,L):f(L)=eiθf(0)}, using the continuous Sobolev trace. Then Pθ is self-adjoint and has the complete orthonormal eigenfamily ϕn(x)=L−1/2ei(2πn+θ)x/L,n∈Z, with eigenvalues ℏ(2πn+θ)/L. Its squared realization Pθ2/ℏ2 is the interval Laplacian with domain {f∈H2(0,L):f(L)=eiθf(0), f′(L)=eiθf′(0)}. In the boundary convention of the A-page theorem, this is the parameter Uθ=(0e−iθeiθ0)∈U(2).

Facts & Assumptions

Given: L>0, θ∈[0,2π), and ℏ>0.

[F1]

For Pθ0=−iD on {f∈H1(0,L):f(L)=eiθf(0)}, the supplied theorem proves self-adjointness and the complete orthonormal eigenfamily ϕn=L−1/2ei(2πn+θ)x/L with eigenvalues (2πn+θ)/L (The twisted-periodic momentum operator on an interval).

[F2]

The interval theorem parametrizes every self-adjoint realization of −D2 by the boundary equation (U−I2)a+i(U+I2)b=0, where a=(f(0),f(L)), b=ℓ(f′(0),−f′(L)), and U∈U(2) (All self-adjoint interval Laplacian boundary conditions).

[F3]

H2(0,L)={f∈H1(0,L):Df∈H1(0,L)} and the endpoint traces of f and Df are defined by their continuous representatives (One-dimensional Sobolev spaces on intervals, Endpoint trace bound and decay of H1 functions).

[F4]

For a densely defined linear operator A on a complex Hilbert space and c∈R∖{0}, the adjoint definition gives D((cA)∗)=D(A∗) and (cA)∗=cA∗. Indeed, x↦⟨cAx,y⟩=c⟨Ax,y⟩ is bounded in the ambient norm exactly when x↦⟨Ax,y⟩ is bounded, and its representing vector is cA∗y (Adjoint of a densely defined operator). The nonzero condition is essential: (0A)∗ is zero on the whole Hilbert space.

[F5]

Regard operators as functions with declared domains (A function is a relation f with (a,b)∈f and (a,c)∈f implying b=c; f:A→B, the value f(a), domain and codomain). Their composition applies the inner operator first and then the outer one, so D(Pθ∘Pθ)={f∈D(Pθ):Pθf∈D(Pθ)} and (Pθ∘Pθ)f=Pθ(Pθf) on this domain.

Verification

Given: The model operators and boundary conventions above.

1.1F1F4givenalgebra

The first supplier [F1] gives Pθ0 self-adjoint with the stated eigenfamily and eigenvalues. Since ℏ is a positive real scalar, Pθ=ℏPθ0 has the same domain and is self-adjoint: the adjoint identity [F4] gives (ℏPθ0)∗=ℏ(Pθ0)∗. Moreover Pθϕn=ℏ(2πn+θ)ϕn/L, so the same complete orthonormal family has the scaled eigenvalues in the Statement.

1.2F1F3F5algebra

By [F5], f∈D(Pθ2) exactly when f∈D(Pθ) and Pθf∈D(Pθ). The latter condition requires Df∈H1, hence f∈H2 by [F3], and its twisted trace is −iℏf′(L)=eiθ(−iℏf′(0)), equivalently f′(L)=eiθf′(0). Thus D(Pθ2) is exactly the stated second-order domain, and Pθ2/ℏ2=−D2 there.

2.1F2givenstep 1.2algebra∎

For a function in this domain write c=f(0) and d=f′(0). Its boundary vectors are a=c p and b=ℓd q, where p=(1,eiθ) and q=(1,−eiθ). These vectors are orthogonal and have equal norm, since ⟨p,q⟩=1−eiθe−iθ=0 and ∥p∥2=∥q∥2=2. The columns of the displayed matrix Uθ are (0,eiθ) and (e−iθ,0), which are orthonormal, so Uθ∈U(2). It sends p to p and q to −q, so for x=a+ib=c p+iℓd q it gives Uθx=c p−iℓd q=a−ib. Therefore (Uθ−I2)a+i(Uθ+I2)b=0. Conversely, for any f∈H2(0,L) satisfying this equation, expand its boundary vectors as a=αp+βq and b=γp+δq; the orthogonal nonzero vectors p,q form a basis of C2. The equation becomes −2βq+2iγp=0, so β=γ=0. Hence f(L)=eiθf(0) and, since ℓ>0, f′(L)=eiθf′(0). By [F2], this is exactly the self-adjoint boundary realization TUθ, which has the same domain and action as Pθ2/ℏ2.

CounterexampleConstruction: Literature-sourcedVerification: AI-generatedprecheck passverified 2026-10-22 (gpt-6.1-sol)Open item page →

A symmetric operator need not have a self-adjoint extension

Statement refuted

Let H be a complex Hilbert space and let T:D(T)→H be a densely defined symmetric linear operator. The false assertion is that there is a self-adjoint operator A:D(A)→H on the same Hilbert space with D(T)⊆D(A) and Af=Tf for every f∈D(T). By Stone's theorem, such an A would generate a strongly continuous one-parameter unitary group U(t)=eitA on H.

Facts & Assumptions

Given: The half-line operator and Hilbert space of A symmetric half-line momentum with no self-adjoint extension.

[A1]

The Axiom of Choice, Countable Choice, and Dependent Choice are the hypotheses of the half-line and integration-by-parts suppliers (The Axiom of Choice, The Axiom of Countable Choice (ACω), The axiom of dependent choice: a relation in which every element is related to something admits an N-indexed chain).

[F1]

The closure of −iD initially on Cc∞(0,∞) has deficiency indices (1,0) and no self-adjoint extension on L2(0,∞;C) (A symmetric half-line momentum with no self-adjoint extension).

[F2]

For compactly supported smooth f,g on (0,∞), clause (d) of Integration by parts and the endpoint-vanishing space on intervals (or integration by parts on a bounded interval containing their supports) gives ⟨−iDf,g⟩=⟨f,−iDg⟩.

[F3]

Stone's theorem says a strongly continuous one-parameter unitary group has a self-adjoint generator, and every self-adjoint operator generates such a group (Strongly continuous one-parameter unitary group, Stone's theorem: unitary groups and self-adjoint generators).

[F4]

A self-adjoint operator is closed, and every closed extension of a closable operator contains its least closed extension (Symmetric, self-adjoint and essentially self-adjoint operators).

Counterexample

Given: Let Sc=−iD on Cc∞(0,∞), with values in L2(0,∞;C).

1.1A1F2

By [F2], for all test functions f,g, ⟨Scf,g⟩=⟨f,Scg⟩; thus the test-domain operator is symmetric.

1.2A1F1

The same operator's closure has unequal deficiency indices (1,0), so by [F1] it has no self-adjoint extension on the same Hilbert space. Thus symmetry on the core does not guarantee a self-adjoint realization.

2.1A1F1F3F4step 1.2∎

If a strongly continuous unitary one-parameter group had a self-adjoint generator T extending Sc, Stone's theorem [F3] supplies that self-adjointness. By [F4], T is closed and contains the least closed extension S‾c: explicitly, every point of the graph of S‾c is a limit of graph points of Sc, and the closed graph of T contains each such limit. This contradicts [F1], which says S‾c has no self-adjoint extension. Thus the proposed general claim fails for this operator while its integration-by-parts symmetry hypothesis holds.

Sources