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.
Unitary deficiency parameterization at a reference scale
Statement
Assume the Axiom of Choice and Countable Choice. Let be a complex Hilbert space and a densely defined, closed, symmetric linear operator. Fix and let and be the scaled deficiency spaces and indices. For every unitary map , the operator is a self-adjoint extension of . Every self-adjoint extension of is uniquely for one such . Consequently has a self-adjoint extension if and only if .
Statement references
Facts & Assumptions
Given: The Hilbert space, closed symmetric operator, reference scale, deficiency spaces, and indices in the Statement. All inner products are linear in the first argument.
The Axiom of Choice is the choice-function principle, and Countable Choice is its countable-family restriction (The Axiom of Choice, The Axiom of Countable Choice ()).
At scale , and ; these are closed Hilbert subspaces, and Hilbert dimension is the cardinality of an orthonormal basis Closed symmetric operators and deficiency data Deficiency subspaces and deficiency indices.
For a densely defined operator , ; its adjoint is closed and reverses densely defined operator inclusion The adjoint is well defined, closed, and reverses inclusions.
Every closed linear subspace of a Hilbert space has an orthogonal complement and gives the unique decomposition into that subspace and its orthogonal complement Orthogonal decomposition by a closed subspace.
The graph norm of a closed operator is complete; on it is Unbounded linear operators: domain, graph and extension.
For a self-adjoint operator, its Cayley transform is unitary; the Cayley map is one-to-one and its inverse sends a unitary with to a self-adjoint operator on (Cayley transform of a self-adjoint operator, Cayley correspondence between self-adjoint operators and unitaries).
Equal Hilbert dimensions mean that orthonormal bases of the two spaces have bijective index sets; under Choice each such Hilbert space has an orthonormal basis and the dimension is independent of that basis Deficiency subspaces and deficiency indices, Injection, surjection, bijection.
The adjoint is characterized by for every and Adjoint of a densely defined operator.
Proof
Given: The objects in the Statement. Put on .
The graph of is the image of the graph of under the bounded invertible map on , so it is closed; real scaling preserves symmetry. If , then for every , , so and . Conversely, if , then , so and . Therefore and . Since , the ordinary deficiency spaces of at are exactly .
Suppose . Choose orthonormal bases of and of . By [F6], choose a bijection . The map preserves norms on finite linear combinations by orthonormality, so it extends continuously to an isometry . Its range contains the finite span of the , which is dense; the range of an isometry from the complete space is closed, so is onto and unitary.
For , symmetry makes real; expanding the two norms gives . Thus are injective. If converges, the norm identity applied to differences makes Cauchy and then Cauchy; closedness of shows the limit is in the range. Hence are closed. By [F2] and [F3], , with orthogonal sums.
Equip with the graph inner product . It is complete by [F2, F4], and is a closed subspace because is closed and there. If is graph-orthogonal to , then for every , . By the adjoint definition, this means and . Therefore and satisfy and , and . Conversely, is graph-orthogonal to both kernels: for , by the adjoint identity and conjugate-linearity in the second argument, and the same computation with holds for . If and , then . Thus the two kernels are graph-orthogonal to each other. Applying [F3] in the graph Hilbert space proves the orthogonal decomposition .
Define by . Injectivity of makes this well defined, the norm identity in step 2.1 makes it an isometry, and it is onto . Define for and . The decompositions from step 2.1 make well defined; it is unitary because its two orthogonal summands are mapped isometrically onto and . For , , so is dense. If , then is orthogonal to by unitarity, hence to the dense domain , so . The Cayley correspondence [F5] therefore gives a self-adjoint operator with Cayley transform .
For and , direct calculation gives and . The Cayley inverse is on , so and . Equivalently, after renaming as , . The sum is direct: if , then ; injectivity of gives . Its left side lies in and its right side in , whose intersection is zero, so . Multiplication by gives the displayed domain and action for . The two-way scalar-adjoint calculation in step 1.1 applies to as well, so . Thus is a self-adjoint extension of .
Conversely, let be any self-adjoint extension of and put . The two-way scalar-adjoint calculation in step 1.1 gives , so is a self-adjoint extension of . Its Cayley transform is unitary by [F5] and agrees with on , since equals on . A unitary carrying onto carries their orthogonal complements onto by step 2.1 and [F2]; hence . Put ; this is unitary. The unitary constructed from this agrees with on both orthogonal summands of , so uniqueness in [F5] gives . This determines uniquely from and proves that every self-adjoint extension of is uniquely .
If , step 1.2 supplies a unitary and step 4.1 supplies a self-adjoint extension. If an extension exists, step 4.2 supplies a unitary , so its orthonormal bases have bijective index sets and . This proves the existence equivalence and the complete parameterization.
Depends on
Closed symmetric operators and deficiency data
Deficiency subspaces and deficiency indices
Adjoint of a densely defined operator
The Axiom of Choice
The Axiom of Countable Choice ()
Symmetric, self-adjoint and essentially self-adjoint operators
Unbounded linear operators: domain, graph and extension
The adjoint is well defined, closed, and reverses inclusions
Orthogonal decomposition by a closed subspace
Cayley transform of a self-adjoint operator
Cayley correspondence between self-adjoint operators and unitaries
Injection, surjection, bijection