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.
Qm Math Composites
1 · Prerequisites
- 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
- Areas of Elementary Plane Figures
- Banach Alaoglu Goldstine and Krein Milman
- Banach Algebras Spectrum and Holomorphic Functional Calculus
- Banach Valued Integration and the Radon Nikodym Property
- Bessel-Potential Completions and Real-Order Sobolev Spaces
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Linear Operators and Quotient Spaces
- Bounded Variation and the Riemann–Stieltjes Integral
- Compact Operators and Riesz Schauder Theory
- Compact Self Adjoint Hilbert Schmidt and Trace Class Operators
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Complex Differentiability and the Cauchy–Riemann Equations
- Complex Lp Spaces and Test-Function Conventions
- Complex Power Series and Analytic Functions
- Composition Series, the Jordan–Hölder Theorem and Solvable Groups
- Congruences, the Integers Modulo n and the Chinese Remainder Theorem
- Connectedness
- 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
- Darboux, L'Hôpital, and Taylor's Theorem
- Density Separability and Convolution in Lᵖ
- Determinants of Matrices over a Commutative Ring
- Diagonalisation and the Minimal Polynomial
- Distributions Test Functions and Differentiation
- 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
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite Dimensional Normed Spaces and Riesz Lemma
- Finite Probability and the Probabilistic Method
- Finite Probability Spaces and Random Variables
- Foundations of the Real Numbers for Analysis
- Fourier Multipliers and Sobolev Characterisations
- Fourier Transform Convolution and Approximate Identities
- Fredholm Elliptic Problems and the Elliptic Spectrum
- Free Modules, Exact Sequences, Projective and Injective Modules
- Fubini and Change of Variables
- Function Space Topologies and the Exponential Law
- Fundamental Trigonometric Identities
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Gelfand Theory and Commutative C Star Algebras
- Goursat's Theorem and Cauchy's Theorem in a Convex Domain
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Harmonic Functions and Mean Values in Rn
- Hausdorff via the Diagonal
- Hilbert Space Geometry and Riesz Representation
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Improper Integrals
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Lebesgue Measure on Euclidean Space
- 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
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modes of Convergence Egorov and Lusin
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- 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
- Outer Measure and the Caratheodory Extension Theorem
- Partitions of Unity and Paracompactness
- pi: the Equivalent Characterizations
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Primes, Euclid's Lemma and the Fundamental Theorem of Arithmetic
- Probability Spaces Random Variables and Expectation
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Radon Measures and the Riesz Markov Kakutani Theorem
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Schwartz Space and the Plancherel Theorem
- 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
- Signed and Complex Measures Hahn and Jordan
- Simple Field Extensions and the Construction of the Complex Numbers
- Sine, Cosine, and the Definition of Pi
- Smooth Approximation and Sobolev Extension
- Smooth Partitions of Unity and Exhaustions
- Spectral Measures and Borel Functional Calculus
- Splitting Fields
- Square-Integrable Kernels and Hilbert–Schmidt Compactness
- 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
- Tempered Distributions and the Fourier Transform
- Tensor Products of Modules
- The Analytic Hahn Banach Theorem
- The Baire Principles of Functional Analysis
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Complex Exponential and Euler's Formula
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Exponential Function
- The Fundamental Theorem of Algebra
- The Fundamental Theorem of Finite Abelian Groups
- The Fundamental Theorems of Calculus
- The Galois Correspondence
- The Identity Theorem, the Maximum Principle and the Open Mapping Theorem
- The Inverse and Implicit Function Theorems
- The Lebesgue and Riemann Integrals Compared
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Maximal Function and Lebesgue Differentiation
- 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 Winding Number and the Global Cauchy Theorem
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Unbounded Self Adjoint Operators and Stones Theorem
- Urysohn's Lemma and the Tietze Extension Theorem
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Weak Derivatives and Sobolev Spaces
2 · Summary
The composite mathematical layer of the non-relativistic quantum mechanics
collection, all of it mathematics: completed Hilbert tensor products and their
bounded maps, density operators with their scalar spectral probabilities,
partial traces and Schmidt decompositions, trace-class cyclicity and the
sigma-spectral layer, effects, instruments, Kraus families and their dilations,
the compatible-observable joint projection-valued measure, the uncertainty and
finite-sampling inequalities, permutation sectors, the Euclidean L² product
unitary, and the exact free-Gaussian propagation with its complex-Gaussian
input. Every item on this page carries domain: mathematics and depends only
on mathematical suppliers; nothing here asserts a physical interpretation, an
instrument realization or an empirical claim, and those remain with the
consuming quantum-mechanics pages.
The tensor layer begins with Hilbert tensor construction: inner product, completion and product bases, which builds the algebraic tensor product of two complex Hilbert spaces, proves that the induced sesquilinear form is an inner product with orthonormal coordinate expansions, and completes it to a Hilbert space in which product bases of orthonormal families have dense span. The rank-one operators are the basic trace-class model: Rank-one operator calculus computes , , the adjoint , positivity of , the product identities with bounded and trace-class factors and trace-norm continuity of .
On it, Bounded tensor maps: extension, norm estimate, adjoint and commutation establishes the amplifications and , their adjoints, norms and extensions, and Permutation sector projections on the n-fold tensor power turns the finite symmetric group action on an iterated product into orthogonal projections onto the symmetric and antisymmetric sectors with the transposition character identities. Euclidean L² product unitary: L²(R^a)⊗̂L²(R^b) ≅ L²(R^{a+b}) identifies the natural isometry for the Euclidean product, with Fubini and Tonelli as its analytic inputs, and Density operators and scalar spectral probability defines density operators, proves that is a probability measure in every expansion , and records the scalar spectral moment identities for a self-adjoint operator with its projection-valued measure.
The finite-dimensional and trace-class layer comprises Finite partial trace, Schmidt decomposition and finite no-signalling, which constructs the partial trace through its defining trace identity, proves positivity and trace preservation and the Schmidt decomposition with the purity criterion ; Nuclear bounded cyclicity for trace-class operators, which computes , and cyclicity of the trace against bounded operators through nuclear representations; Separable partial trace and its basic properties, which extends the partial trace to the completed tensor product of arbitrary Hilbert spaces and proves its uniqueness, positivity, trace preservation and contractivity; and Infinite Schmidt decomposition and the pure product criterion, which proves the Schmidt expansion for arbitrary vectors of by constructing countable factor supports, and the reduction and purity formulae for unit vectors. On this basis Finite effects and instruments: normalization and non-determination of the update introduces finite effects and instruments with their Lüders examples and probability normalization, Abstract trace-class instruments: effects and Heisenberg duality proves the duality between abstract trace-class instruments and their effects together with the adjoint instrument , Finite Naimark compression: a finite POVM as a compression of a PVM constructs a finite PVM on a larger tensor space whose compression by an isometry gives the specified finite POVM, and Countable Kraus normalization and trace-norm convergence proves trace-norm convergence, positivity and trace preservation for countable Kraus families with strong completeness.
The infinite and continuous instrument layer is Finite-ancilla complete positivity of countable Kraus maps, which defines finite-ancilla complete positivity and proves that finite-dimensional ancilla amplifications of normalized countable Kraus maps preserve self-adjoint positive trace-class inputs; Countable Kraus isometric dilation and partial-trace recovery, which builds the isometric dilation with the repair of the normalization needed for it; Local trace-preserving Kraus maps do not change the opposite reduced state, which proves that a local instrument with preserves the reduced state of the other factor; Marker overlap contraction of the two-path cross term, which bounds the overlap of marker states by the received trace-class data; and Continuous measurable Kraus instruments: isometry, POVM and trace-norm integration, which integrates a strongly measurable Kraus family over a sigma-finite measure space to obtain an instrument with the conditional update on events of positive probability.
The analytic layer begins with Complex Gaussian continuation, which evaluates on by holomorphic continuation, and Momentum Fourier Jacobian: the unitary momentum representation, which fixes the pointwise momentum formula for Schwartz inputs and its unitary extension with . Real multiplication operators and free plus bounded-potential Schrödinger operators proves self-adjointness of real multiplication operators, of the free operator on its domain, and of for bounded measurable real via Kato–Rellich, with the strongly continuous unitary group generated by the self-adjoint operator; on those results Exact free Gaussian propagation computes the exact free evolution of the Gaussian packet with mean , variances and and . Weak-form Robertson uncertainty on a common domain supplies the weak-form Robertson bound on a common domain, with the Schwartz position-momentum case , and The CHSH bound and the finite-sampling law for independent trials records the CHSH inequality for the four-binary-outcome family together with the finite-sampling deviation bound behind its statistical reading.
The compatible-measurement layer is Joint PVM construction for strongly commuting regular projection-valued measures, which constructs the unique regular joint projection-valued measure of strongly commuting regular projection-valued measures with , and Compatible Lüders repeatability, which computes the sequential Lüders probabilities , proves that the conditional state does not depend on the order of the two compatible sharp measurements, and derives repeatability for the stipulated ideal instrument. All items are draft mathematics under construction; their physical consumers add the measurement, evolution and apparatus assumptions, and no laboratory realization of any of these instruments is claimed here.
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
Hilbert tensor construction: inner product, completion and product bases
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). Let be complex Hilbert spaces with the pairing linear in the first argument (Real and complex inner-product spaces and their induced length, Hilbert space). Regard as a right -module by and as a left -module by . Write for the complex vector space of The tensor product from the additive group underlying the free -module on , elementary tensors, and finite tensor sums applied to these modules: its underlying abelian group is the quotient of that definition, the class of is written , every element of is a finite sum of elementary tensors , and the defining relations make -bilinear. Define, for finite sums,
Then:
(a) well-definedness and sesquilinearity: the displayed value is independent of the representatives of its two arguments and defines a Hermitian sesquilinear form on , linear in the first argument and conjugate-linear in the second;
(b) positive definiteness and orthonormal coordinates: for every , with exactly for ; more precisely, if and are finite-dimensional subspaces with orthonormal bases and , then every in the span of the elementary tensors from has a unique expansion and ; in particular the assignment is an inner product on ;
(c) completion: the norm completion of (Completion of a normed space) exists and, with the unique inner product extending the given one, is a complex Hilbert space; is a linear isometry with dense image, , and any two completions of are identified by a unique surjective linear isometry fixing pointwise;
(d) product bases: if and are orthonormal families in and whose closed linear spans are and , then is an orthonormal family in whose closed linear span is ; if and are countable then is separable.
The notation is used in the rest of this pair. More precisely, if and are any two norm completions of , there is a unique surjective linear isometry with . No assertion is made about unbounded operators or algebraic sums of non-completed tensor products.
Facts & Assumptions
Given: Complex Hilbert spaces with pairing linear in the first argument; the algebraic tensor product of The tensor product from the additive group underlying the free -module on , elementary tensors, and finite tensor sums over ; the displayed sesquilinear form; finite sums of elementary tensors.
The tensor product is the quotient of the free -module by the subgroup generated by , and ; its elements are the cosets , every tensor is a finite sum of elementary tensors, the relations , and hold, and (The tensor product from the additive group underlying the free -module on , elementary tensors, and finite tensor sums).
A completion of a normed space is a pair with Banach, a linear isometry and dense; and if is an inner product space, its norm completion carries a unique inner product extending the given one whose induced length is the completion norm, making it a Hilbert space (Completion of a normed space, The norm completion of an inner-product space is a Hilbert space).
The inner product conventions of the library are: linear in the first argument, conjugate-linear in the second, positive definite, and the induced length is (Real and complex inner-product spaces and their induced length, The induced length is a norm).
Every finite-dimensional complex inner product space has an orthonormal basis (Every finite-dimensional real or complex inner product space has an orthonormal basis).
For an orthonormal family in a Hilbert space the finite partial sums converge to for every exactly when the closed linear span of the family is the whole space (Orthonormal families, complete orthonormal systems and Hilbert bases, Parseval equivalences for an orthonormal family).
In a complex inner product space, , and implies (Cauchy–Schwarz: , with equality exactly for linearly dependent vectors, Orthogonality and the orthogonal complement).
Proof
[The quotient is a complex vector space] Since is commutative, for each the -linear self-map of induced by maps every defining generator of to a defining generator: is the first relation at , the second family is preserved in the same way, and is the third relation at because . Hence and descends to a -linear map of ; because and the actions distribute over the abelian group, becomes a -vector space with ; the third relation gives , so the quotient is the -bilinear tensor product .
[Well-definedness and sesquilinearity] For fixed the map is -linear on (both factors are linear in their first argument by [F3]) and vanishes on each generating relation of : for the additive relations by bilinearity of the pairings, and for because holds in the commutative field with the -module structures. Hence it descends to a -linear functional of the first tensor argument, and the two-variable form descends in its first argument; interchanging the roles and using conjugate symmetry of both pairings gives that it also descends in the second argument and is conjugate-linear there. Finally because both factor pairings have this property and complex conjugation is multiplicative.
[Positive definiteness and unique orthonormal coordinates] Let , let and , and choose orthonormal bases of and of by [F4]. Write and ; bilinearity of (step 1.1) gives with . By the defining formula of the Statement and orthonormality, . If , then this same displayed formula gives , so every , because a sum of nonnegative real numbers vanishes only if every term does; conversely, if for all then bilinearity gives . Hence exactly when , and applying the same argument to the difference of two expansions shows that the coefficients relative to orthonormal families are unique.
[Completion and the norm of elementary tensors] By steps 1.2 and 2.1, is a complex inner product space with induced norm by [F3]. Its norm completion exists by [F2], and by [F2] it carries a unique inner product extending the given one whose induced length is the completion norm; with it is a Hilbert space and is a linear isometry with dense image. The norm of an elementary tensor is , hence . To prove the completion uniqueness asserted above, let and be completions. The rule is a well-defined linear isometry on the dense subspace . For , choose with and define ; the isometry makes Cauchy and makes this limit independent of the approximating sequence. Thus is a linear isometry with . Its image is closed because is complete and contains the dense set , so it is onto; any two such continuous extensions agree on a dense subspace and hence everywhere.
[Orthonormal family of products] Let , be orthonormal with closed linear spans and . For pairs at least one index differs, so , and for equal pairs the value is ; hence the products are orthonormal in .
[Density of the product span] Fix and . By [F5] applied to and to there are finite sets , with and ; write for the finite sums and . Then , and by the triangle inequality, (Bessel, [F5]) and the norm formula of step 3.1, . Hence every element of the dense subspace is approximated by finite sums , so the closed linear span of the product family contains and therefore coincides with ; by [F5] the family is a complete orthonormal system. If and are countable, then is countable and the closed span of a countable family is separable, so is separable.
Rank-one operator calculus
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). Let be a complex Hilbert space with the pairing linear in the first argument (Hilbert space, Real and complex inner-product spaces and their induced length), and for let
Then:
(a) with (A bounded linear operator between normed spaces, The operator norm as the least bound and as the unit-sphere or unit-ball supremum), and the assignment is linear in and conjugate-linear in ;
(b) is trace class (Trace class operator) with and ;
(c) (The Hilbert-space adjoint of a bounded operator); is a positive bounded operator in the sense of Self-adjoint, positive, unitary and normal operators, with for every , and , ;
(d) for bounded , and ;
(e) for trace-class , , and ;
(f) the map is continuous for the trace norm, so in particular and are trace-norm continuous for fixed .
Scope. Only the rank-one calculus is asserted; no spectral, compactness or ideal statement beyond (b) is claimed, and no physical interpretation is attached.
Facts & Assumptions
Given: A complex Hilbert space with pairing linear in the first argument; vectors ; a bounded operator ; a trace-class operator .
A compact operator is trace class when , with trace norm ; then , the zero operator is trace class, and every bounded finite-rank operator is compact (Trace class operator, Bounded finite rank operators are compact).
is trace class if and only if it has a nuclear representation converging in operator norm with ; then over all such representations, the infimum being attained (Nuclear series characterizes trace norm).
For every nuclear representation of a trace-class operator, the scalar series converges absolutely to a number independent of the representation, the trace is linear in the trace-class variable, and (Trace is absolutely convergent and basis independent).
The Hilbert adjoint is characterised by for all and is unique; the pairing is linear in the first argument and conjugate-linear in the second with , and (The Hilbert-space adjoint of a bounded operator, Real and complex inner-product spaces and their induced length, Cauchy–Schwarz: , with equality exactly for linearly dependent vectors).
On the trace-class operators is a norm, they form a Banach space, and and (Trace class is a two sided Banach operator ideal).
The operator norm is for bounded ; a bounded operator is positive when its quadratic-form values are real and nonnegative (The operator norm as the least bound and as the unit-sphere or unit-ball supremum, A bounded linear operator between normed spaces, Self-adjoint, positive, unitary and normal operators).
Proof
[Boundedness, norm and linearity] is linear and by [F4], so [F6]; if and , taking gives and hence , while for or the operator vanishes and both sides are . Linearity in and conjugate-linearity in are immediate from the definition and the pairing conventions [F4].
[Trace class and trace norm] The range of is contained in , so has rank at most one, is finite rank, compact [F1]; its one-term nuclear representation is with , and the remaining terms zero, so and [F2] first establishes trace class and gives , while by [F5] and step 1.1. Hence .
[The trace] Applying [F3] to the one-term nuclear representation of step 2.1 gives . In particular and, with step 2.1, .
[Adjoint, positivity and one-sided products] For all , by [F4], so ; in particular is self-adjoint, and for every , so it is positive by [F6]. For bounded : and , using the defining property of the adjoint [F4].
[Trace-norm continuity] By the bilinearity of step 1.1, ; by [F5] and the estimates of steps 1.1 and 2.1, , which tends to whenever in ; hence is continuous into , and fixing one slot gives the stated continuity. This is (f).
[Products with trace-class operators] If is trace class then and , so and [F4]; applying step 3.1 to the rank-one operators and gives and . This is (e); (a)-(d) are steps 1.1, 2.1, 3.1 and 3.2, and the scope remark records that nothing beyond the rank-one calculus is asserted.
Bounded tensor maps: extension, norm estimate, adjoint and commutation
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). Let be complex Hilbert spaces and let , be bounded linear operators (A bounded linear operator between normed spaces). Write for the completion of the algebraic tensor product constructed in Hilbert tensor construction: inner product, completion and product bases, with inclusion .
(a) There is a unique bounded linear operator with for all , , and it satisfies (The operator norm as the least bound and as the unit-sphere or unit-ball supremum).
(b) For Hilbert spaces and bounded , , one has . In particular, for endomorphisms , , the endomorphisms and commute and their composite is .
(c) The Hilbert adjoint (The Hilbert-space adjoint of a bounded operator) is .
(d) If are unitary, then so is . No extension of unbounded maps, and no algebraic manipulation of domains of unbounded operators, is asserted.
Facts & Assumptions
Given: Complex Hilbert spaces ; bounded operators , ; in (b), composable , ; the completions , of Hilbert tensor construction: inner product, completion and product bases with inclusions ; the elementary tensors .
The construction of Hilbert tensor construction: inner product, completion and product bases gives: the algebraic tensor product with bilinear; a positive definite inner product with ; the completion with dense inclusion ; unique orthonormal-coordinate expansions with for orthonormal families , spanning finite-dimensional subspaces; and .
If is a normed space, a dense normed subspace, a Banach space and bounded linear, then has a unique bounded linear extension to of the same norm (A bounded linear map from a dense normed subspace into a Banach space extends uniquely with the same norm).
A linear map is bounded exactly when it admits a finite bound , and the operator norm is the least such bound (A bounded linear operator between normed spaces, The operator norm as the least bound and as the unit-sphere or unit-ball supremum).
The Hilbert adjoint of a bounded operator is the unique bounded operator with for all , ; it satisfies , and (The Hilbert-space adjoint of a bounded operator, Hilbert-adjoint identities).
Proof
[The bilinear extension on the algebraic tensor product] Put and extend -linearly to finite sums. This is well defined and -linear on because is -bilinear, composition of the linear maps with the bilinear tensor map; thus is the unique linear map on with .
[One-sided norm estimates] Let . Let and let be an orthonormal basis of ; grouping the expansion of each in this basis gives with . By the norm formula of [F1] and , , so the map on elementary tensors is bounded with norm at most ; symmetrically . Hence for all , because is the composite of the two one-sided maps on elementary tensors and the estimates compose.
[Extension to the completions] By [F2] applied to the dense subspace of and the Banach space , the map has a unique bounded linear extension of the same norm; by step 2.1 its norm is at most , and uniqueness also shows that . This is clause (a).
[Products and commutation] For one has ; the two maps are bounded and agree on the dense subspace , hence everywhere by uniqueness of bounded extensions, giving the first identity of (b) for elementary tensors in . In the endomorphism case, taking , and using shows ; applying the same identity with the roles exchanged gives , since and .
[Adjoint] For , and , , , using [F4] and the pairing formula of [F1]. Both sides are sesquilinear in the elementary tensors and continuous in each argument, and the elementary tensors span a dense subspace, so the identity holds on all of ; by the uniqueness in [F4], .
[Unitary case] If are unitary then , , , , so by steps 4.1 and 4.2 and likewise , whence is unitary.
Density operators and scalar spectral probability
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()) and let be a nonzero complex Hilbert space (Hilbert space). Recall that denotes the rank-one operator (Rank-one operator calculus).
(a) A density operator on is a self-adjoint positive trace-class operator with (Trace class operator, Trace of a trace class operator, Self-adjoint, positive, unitary and normal operators). If is a finite or countable orthonormal family, with a finite initial segment of the positive integers or all positive integers, and with , then the sum converges in trace norm to a density operator with . Conversely every density operator admits such an expansion whose weights are its positive eigenvalues counted with multiplicity and whose vectors are orthonormal eigenvectors; distinct expansions of the same exist when a positive eigenspace has dimension at least two.
(b) Let be a projection-valued measure on a measurable space acting on (Projection valued measure). Then is a well-defined probability measure on (Measures on sigma-algebras, Probability measures and probability spaces); it is given by the absolutely convergent series in every expansion of (a), and reduces to for a pure density operator with .
(c) Assume in addition the Axiom of Choice (The Axiom of Choice). Let be a self-adjoint operator with projection-valued measure (Spectral theorem for unbounded self-adjoint operators (PVM form)) and let have and . Here denotes the unbounded PVM integral for , with domain as in Integral of a measurable function against a projection-valued measure. Then
where (Scalar and complex measures from a pvm); moreover exactly when , and then the mean is finite. No product of an unbounded operator with a density operator is used, and no physical interpretation of or of the moments is asserted.
Facts & Assumptions
Given: A nonzero complex Hilbert space ; orthonormal vectors and weights ; a density operator ; a PVM on ; in clause (c) a self-adjoint with PVM and a unit vector .
is trace class with and ; is trace class iff it is a norm limit of a nuclear series with , and then over such representations (Rank-one operator calculus, Nuclear series characterizes trace norm).
Trace class is a two-sided Banach operator ideal: , and the trace is linear on the trace-class operators with (Trace class is a two sided Banach operator ideal, Trace is absolutely convergent and basis independent).
If is compact and self-adjoint, its nonzero eigenvalues are real with finite multiplicity and accumulate only at , the closed span of their eigenspaces is , and converges in norm, where is the orthogonal projection onto the eigenspace of (Spectral theorem for compact self adjoint operators).
If is self-adjoint and positive and trace class, then and , the sum running over the positive eigenvalues with multiplicity; in particular a positive trace-class operator is compact (Trace of a positive operator is the sum of its eigenvalues, Trace class operator).
A PVM is a map into orthogonal projections with , , and strong countable additivity; for every the set function is a positive measure with and is an orthogonal projection, so (Projection valued measure, Scalar and complex measures from a pvm).
Assume the Axiom of Choice. For a self-adjoint with PVM , and ; the integral against a PVM defines on (Spectral theorem for unbounded self-adjoint operators (PVM form), Integral of a measurable function against a projection-valued measure). For bounded and , and (Bounded borel pvm integral).
If nonnegative measurable increase pointwise to , then (Monotone convergence for the integral); if measurable complex-valued satisfy almost everywhere and almost everywhere for a nonnegative measurable integrable , then (Dominated convergence).
Proof
[Expansion of a density operator] Let be a density operator. By [F4] and [F1] it is compact, self-adjoint and positive, so [F3] applies: its positive eigenvalues have finite multiplicities, accumulate only at , and with the orthogonal projection onto . Each is finite-dimensional, so it has an orthonormal basis by Every finite-dimensional real or complex inner product space has an orthonormal basis; using Countable Choice to select the finite bases and listing their vectors in a finite or countable sequence with the corresponding eigenvalues indexed by a finite initial segment or the positive integers as appropriate and enumerated by [F3] (the multiset is finite or countably infinite) gives an orthonormal family with , that is, in operator norm, and [F4] gives . Their rank-one trace norms sum to one by [F1], so the partial sums also converge in trace norm by completeness [F2]; that limit equals because both limits agree in operator norm.
[Weighted sums are density operators] Conversely let be orthonormal and with . The series is nuclear with , and its trace norms sum to one by [F1]. Completeness of trace class [F2] therefore makes its partial sums converge in trace norm to a trace-class operator with ; this also gives operator-norm convergence; it is self-adjoint, and by continuity of the pairing and nonnegativity of each term, so is positive; [F1] and [F2] give by linearity and absolute convergence. Hence is a density operator. Distinct orthonormal bases of a single positive eigenspace produce different families with the same sum, so expansions are not unique.
[The scalar law of a PVM] Let be a PVM on and let be an expansion from step 1.1 (any expansion gives the same value below by step 1.2 and [F2]). For , , so by linearity of the trace and trace-norm convergence of the series (traced against the bounded ), , the series converging absolutely with value in because the finite subsums are bounded by by [F5]. Setting gives . If are pairwise disjoint with union , then for each the identity holds by strong additivity of and continuity of the norm (Projection valued measure); summing the resulting absolutely convergent nonnegative double series by [F7] gives . Thus is a probability measure; for with step 1.2 applies with , giving .
[Moments for a self-adjoint operator, under AC] Assume the Axiom of Choice and let with and the PVM of . By [F6], and, for the bounded measurable truncations , in norm. The bounded quadratic identity gives . These nonnegative measurable integrands increase to , so monotone convergence [F7] and norm continuity give . Since the integral is finite, because and ; the same truncations satisfy and pointwise, so Dominated convergence applied to the finite measures gives . Pairing the identity (the defining truncation limit of Integral of a measurable function against a projection-valued measure) with and using from [F6] yields . Finally [F6] applied to gives exactly when , and in that case the mean integral is finite.
Weak-form Robertson uncertainty on a common domain
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). Let be a complex Hilbert space (Hilbert space) and let be symmetric densely defined operators on (Symmetric, self-adjoint and essentially self-adjoint operators, Adjoint of a densely defined operator). Let have , and put
Then:
(a) and are real, , and ;
(b) (refined form) ;
(c) if in addition , then , and consequently ;
(d) for , and the operators , defined on the Schwartz space : every unit satisfies , the numbers and are real, and with , one has ; hence in the sense of the centered norms.
No assertion is made about products off and the statement produces no energy-time inequality.
Facts & Assumptions
Given: A complex Hilbert space with pairing linear in the first argument; symmetric densely defined ; a unit vector ; in clause (d) the operators on .
For a symmetric operator (so ) and , , so the number is real (Symmetric, self-adjoint and essentially self-adjoint operators, Adjoint of a densely defined operator).
If is symmetric and , then for every real ; and , so centering by the real mean is legitimate (Symmetric, self-adjoint and essentially self-adjoint operators).
In a complex inner product space, and (Cauchy–Schwarz: , with equality exactly for linearly dependent vectors).
consists of complex functions all of whose polynomial-weighted derivatives are bounded; in particular and as for every (Schwartz space and its seminorms).
Sums, scalar multiples and products of differentiable real functions satisfy , and the derivative of a complex-valued differentiable function is computed componentwise (Sums, scalar multiples, products and quotients: , , , and when ).
For differentiable real on with integrable derivatives, (If are differentiable on with integrable, then ); a continuous real function on an interval has a primitive and for it (Every continuous function on an interval has a primitive; two primitives differ by a constant; and for any primitive ); the improper integral over an unbounded interval is the limit of the compact-interval integrals (Improper integrals over unbounded intervals).
Proof
[Reality of the means] By [F1] applied to and , and are real. Hence and , and , are the norms of the centered vectors; the centering by the real means is the construction recorded in [F2].
[Boundary-vanishing pairing identity on the Schwartz space] Let . Applying [F6] on to the real and imaginary parts of and and summing the four identities gives ; by [F4] the boundary term tends to as , while both improper integrals converge absolutely because and are products of Schwartz functions; taking the limit in [F6]'s finite identity therefore gives .
[Cauchy-Schwarz bounds] By [F3], , and ; squaring the first identity of [F3] gives . This is (a) and (b).
[The position-momentum commutator] For the product rule [F5] applied componentwise gives and hence , so on . Moreover : on the evaluation clause of [F6] gives , which tends to by [F4], and is continuous and dominated by an integrable Schwartz bound, so its improper integral over exists by [F6] and equals this limit. Expanding and using yields ; the second integral equals by complex conjugation, so .
[Commutator pairing] Assume . Using symmetry of with and symmetry of with , and , so . Since , expanding gives and therefore ; combining with step 2.1 gives .
[The uncertainty product for the Schwartz pair] Let have and put , ; step 1.2 with gives , so this number is purely imaginary and is real. With and , both in by [F4], one computes , using , and . Now : writing and using , and from step 2.2, so and . Hence , and the Cauchy-Schwarz computation of step 2.1 applied to the explicitly centered vectors gives .
Real multiplication operators and free plus bounded-potential Schrödinger operators
Statement
Assume the Axiom of Countable Choice and the Axiom of Choice (The Axiom of Countable Choice (), The Axiom of Choice), let and work on the complex Hilbert space , whose completeness follows from Riesz-Fischer completeness of for and whose Hilbert-space structure is defined in Hilbert space.
(a) For a real measurable finite-valued function define on . Then is a densely defined self-adjoint operator on (Adjoint of a densely defined operator, Symmetric, self-adjoint and essentially self-adjoint operators).
(b) Let , , and let be the unitary Plancherel transform with the convention on (Fourier transform on complex L1 classes, Plancherel theorem). Define
Then is self-adjoint, coincides with the Sobolev space as a set (with equivalent norms, Integer-order Sobolev spaces and their norms, Integer-order W^{k,2} and H^k agree with equivalent norms), in the quadratic-form sense, and for every Schwartz function , .
(c) If is measurable with and with domain , then is self-adjoint on , is bounded below, and the assignment is a strongly continuous one-parameter unitary group whose generator is : the limit exists exactly for and equals (A self-adjoint operator generates a strongly continuous unitary group).
(d) Scope: the argument uses only boundedness and measurability of ; it proves nothing for , or the delta interaction, does not identify with any measured free-particle Hamiltonian, and asserts no physical interpretation.
Facts & Assumptions
Given: ; ; a real measurable finite-valued ; constants , ; a real bounded measurable .
If measurable pointwise and with , then (Dominated convergence).
For a densely defined operator , consists of those for which is bounded on ; is symmetric when for , and self-adjoint when including domains (Adjoint of a densely defined operator, Symmetric, self-adjoint and essentially self-adjoint operators).
is a surjective linear isometry extending the transform , and it preserves the inner product (Plancherel theorem, Fourier transform on complex L1 classes).
For the Plancherel transforms of and of its distributional Laplacian satisfy for a.e. (Distributional derivatives are polynomial Fourier multipliers, Schwartz space and its seminorms).
equals the set and the two norms are equivalent; consequently as sets (Integer-order W^{k,2} and H^k agree with equivalent norms, Integer-order Sobolev spaces and their norms).
Let be self-adjoint and symmetric with and -bound less than one; then on is self-adjoint and, when with admissible pair for , (Kato-Rellich theorem, Relative boundedness with respect to an operator).
If is self-adjoint with spectral PVM and , then is a strongly continuous one-parameter unitary group, , and exists exactly for , where it equals (A self-adjoint operator generates a strongly continuous unitary group).
For Lebesgue measure and , the quotient space is complete, so with its usual first-variable-linear inner product it is a complex Hilbert space (Riesz-Fischer completeness of for , Hilbert space).
Proof
[Density and symmetry of the multiplier] By [F8], the defined space is a complex Hilbert space. For and put . Then is bounded by , so , and in by [F1] applied to ; hence is dense. For the integral is defined and equals because is real-valued, so : is symmetric.
[Adjoint domain of the multiplier] Let with representing vector , so for all . Fix and restrict to vanishing off ; every such lies in , and the identity reads for all , so a.e. on ; as , a.e., and since , and . Conversely every satisfies the adjoint identity with . Hence and : is self-adjoint, giving (a).
[Unitary conjugation] Let , self-adjoint on by step 2.1 applied to the real finite-valued function . Define on . For , by unitarity of [F3]. If , the functional is bounded on ; conjugating by the unitary shows that is bounded on , so and hence with ; the reverse inclusion is immediate from the symmetry identity. Thus is self-adjoint.
[Domain, lower bound and free action] By [F5], as a set with equivalent norms. For the pairing with is computed in the -variable, where multiplication by gives , so in the quadratic-form sense. For a Schwartz function , [F4] gives a.e.; both sides are continuous representatives, and Plancherel inversion identifies them as elements of , so . This is (b).
[Bounded perturbation by Kato-Rellich] Let be real with and let be the bounded multiplication operator on . Then , is symmetric because is real, and for every , so the -bound of is with admissible pair (Relative boundedness with respect to an operator). By [F6] the operator on is self-adjoint and, since , satisfies , hence is bounded below.
[Unitary dynamics] Applying [F7] to the self-adjoint of step 5.1 yields that is a strongly continuous one-parameter unitary group, , and the difference quotients converge exactly on ; the physical convention is the same group at negative time. No claim in this item extends to unbounded or singular , which are excluded by the boundedness and measurability hypotheses recorded in [F6].
The CHSH bound and the finite-sampling law for independent trials
Statement
No choice principle is used. Let be a probability space (Probability measures and probability spaces).
(a) CHSH bound. Let be random variables with values in (Random elements and real random variables). Then the four expectations exist and
(b) Positive-probability sequences. Let , , with , and let be mutually independent with for all (Pairwise and mutual independence of finite-valued random variables). Then for every sequence with for every ,
Consequently every event disjoint from this outcome has probability at most : any criterion that rejects at least one such sequence has positive failure probability under this sampling model.
(c) Binomial frequency. Let be binomial with and (Bernoulli random variables and binomial random variables as sums of independent Bernoulli trials). Then the frequency satisfies , , and for every
(d) Multinomial count law. The number of sequences with prescribed fibre sizes is the multinomial coefficient (The multinomial coefficient as the number of ordered partitions of an -set into blocks of prescribed sizes), and each such sequence has probability ; in this displayed product use the zero-count convention for every , including . Hence the probability that the count vector equals is .
No statistical inference, empirical claim or measured frequency is asserted; the lemma only computes probabilities of an explicitly specified independent sampling model.
Facts & Assumptions
Given: A probability space ; variables with values in ; independent -valued ; a binomial variable .
A probability measure is countably additive on disjoint families, hence finitely additive (Measures on sigma-algebras, Probability measures and probability spaces); a real random variable is a measurable (Random elements and real random variables).
for integrable and scalars ; almost surely for integrable real ; (Linearity, monotonicity, and the modulus bound for expectation, Expectation of a nonnegative or integrable random variable).
A finite family of finite-valued random variables is mutually independent when for every nonempty and every selection (Pairwise and mutual independence of finite-valued random variables).
A binomial variable is a sum of mutually independent Bernoulli variables; and (Bernoulli random variables and binomial random variables as sums of independent Bernoulli trials, A Bernoulli variable has mean and variance ; a binomial variable has mean and variance ).
For a real random variable, when is square-integrable, and for (Moments, variance, and covariance on a probability space, Chebyshev's inequality for random variables).
The multinomial coefficient is the number of colourings with for every , defined only when (The multinomial coefficient as the number of ordered partitions of an -set into blocks of prescribed sizes).
Proof
[Pointwise CHSH identity] Fix . Since , the numbers and are or , and exactly one of them is nonzero: the first is precisely when , in which case the second is , and otherwise the first is and the second . Hence equals at every , so its absolute value is bounded by pointwise and by linearity [F2], the variables being bounded hence integrable. The monotonicity and modulus bound of [F2] applied to the pointwise bound give the stated bound.
[Positive-probability sequences] Since , each event is nonempty and . By mutual independence [F3] applied to the full index set and the selection , , which is a product of positive reals and hence positive. If an event is disjoint from , then by additivity and complementation [F1].
[Binomial frequency moments] By [F4], is a sum of mutually independent Bernoulli variables, with and . Linearity [F2] gives ; and by the definition of variance [F5], . Applying the Chebyshev inequality [F5] to the square-integrable variable with parameter gives .
[Multinomial count law] A sequence is exactly a function , with fibre sizes ; by [F6] the number of such functions with prescribed fibre sizes is . If some , the sequence event is empty, and , so its probability and are both zero. Otherwise every selected label lies in the corresponding image, and independence [F3] gives probability . Thus in either case each sequence has probability , because the exponent of is the number of with , namely ; when the sequence contains no factor , and the displayed product convention in (d) assigns that factor the value , also when . The count event is the disjoint union of the corresponding sequence events, so finite additivity [F1] gives probability .
Finite partial trace, Schmidt decomposition and finite no-signalling
Statement
Let be nonzero finite-dimensional complex inner product spaces with orthonormal bases of and of , let be their tensor product with the inner product of Hilbert tensor construction: inner product, completion and product bases, and let denote the basis-independent trace of an endomorphism (The basis-independent trace of an endomorphism of a finite-dimensional vector space).
(a) For every endomorphism of there is a unique endomorphism of with
namely , where and ; it does not depend on the orthonormal basis of , and the analogous definition gives with .
(b) is linear, positive (it maps positive endomorphisms to positive endomorphisms) and trace preserving on density matrices: if and then and ; and for every , where is the coefficient map determined by .
(c) Schmidt decomposition. Every admits an expansion
with , orthonormal families , and uniquely determined by as the positive singular values of the coefficient map; moreover . For the reduced density satisfies , and holds exactly when , i.e. exactly when is a product vector; mixed-state separability is not decided by this criterion.
(d) Finite nonselective no-signalling. If are endomorphisms of with then for every endomorphism of
This is an identity for the specified finite local instrument; selective conditioning (dividing one summand by its nonzero trace) is not covered.
Facts & Assumptions
Given: Finite-dimensional complex inner product spaces with orthonormal bases ; an endomorphism of ; in (c) a vector ; in (d) endomorphisms of .
The tensor product with the inner product is a finite-dimensional inner product space; is an orthonormal basis, and every tensor has a unique expansion with ; the inclusion and the bilinear relations are those of Hilbert tensor construction: inner product, completion and product bases.
For endomorphisms and of finite-dimensional spaces, ; the trace of an endomorphism is computed as the trace of its matrix in any ordered basis (For and , , The basis-independent trace of an endomorphism of a finite-dimensional vector space, Coordinate columns and matrices of linear maps relative to ordered bases).
Every linear map of finite-dimensional inner product spaces has a singular value decomposition: orthonormal bases of and of and with (Every linear map between finite-dimensional real or complex inner product spaces admits a singular value decomposition); the positive numbers are the nonzero eigenvalues of , counted with multiplicity (Complex spectral theorem: a normal endomorphism of a finite-dimensional complex inner product space has an orthonormal eigenbasis, and conversely, A normal endomorphism is a sum of its eigenvalues times pairwise orthogonal projections, and each spectral projection is a polynomial in the endomorphism, Self-adjoint and normal endomorphisms of a finite-dimensional real or complex inner product space).
Non-negative means for all (Non-negative and positive operators); every finite-dimensional inner product space has an orthonormal basis (Every finite-dimensional real or complex inner product space has an orthonormal basis).
Proof
[Existence and uniqueness of the partial trace] Define , a linear endomorphism of . Computed in the basis and using [F2], the matrix of contracts the -index into , and the total matrix of has entries ; hence, with the matrix of , . Uniqueness: if and both satisfy the pairing identity, then for all ; taking (the rank-one endomorphism ) for ranging over a basis of and using [F1] and [F2] extracts every matrix entry of , so . Basis independence: the defining identity involves only the basis-independent trace [F2]; equivalently the formula with another orthonormal basis yields the same operator by the uniqueness just proved.
[Positivity and trace preservation] If then for every , because [F4] and each summand is a nonnegative real; hence . Taking in the defining identity gives ; consequently a density matrix (positive, , in the sense of Density operators and scalar spectral probability) has and trace , so maps density matrices to density matrices.
[Reduced state of a pure vector] Let and define by , so that by [F1] (insert the expansions of the ). For the rank-one endomorphism and , the defining identity of step 1.1 gives , and substituting the expansion yields , using the matrix of in the basis . Since this holds for all and the operator is determined by its pairings with all (step 1.1), .
[Schmidt expansion with the complex convention] Apply [F3] to the coefficient map : there are orthonormal right singular vectors and left singular vectors such that . Define , the coordinate conjugate of in the fixed basis . The coordinate conjugation reverses inner products, so . Substituting the formula for into gives . Thus the claimed Schmidt expansion holds, with singular values of . Changing the factor bases changes the coefficient matrix by unitary matrices (with transpose rather than adjoint on the second factor); hence the singular values remain unchanged. Orthogonality of the elementary Schmidt products gives .
[Purity and the product criterion] By steps 2.2 and 3.1, has eigenvalues with multiplicity by [F3], so for we have and . Since all are positive, with equality exactly when at most one is nonzero, i.e. ; and means is a product vector, conversely a product vector has of rank one by step 2.2. This is the stated criterion; it concerns pure vectors only.
[Finite nonselective no-signalling] Let satisfy . For , using the defining identity of step 1.1 and the identity together with cyclicity [F2] inside the finite trace, ; since this holds for every , the uniqueness in step 1.1 gives .
Finite effects and instruments: normalization and non-determination of the update
Statement
Let be a finite-dimensional complex Hilbert space of dimension (Hilbert space), with adjoints as in The adjoint is characterised by and the finite trace as in The basis-independent trace of an endomorphism of a finite-dimensional vector space. Recall that an endomorphism is an effect when and , i.e. in the quadratic-form order (Non-negative and positive operators).
(a) Definitions. A finite POVM is a finite family , , of effects with . An instrument here is a finite family of endomorphisms of , where each is a non-negative integer; its outcome operators and update maps are and , , with empty sums equal to zero. It is normalized when . For a normalized instrument the are its outcome effects, as proved in (b); without normalization they need not be effects.
(b) If is a finite POVM and a density operator (Density operators and scalar spectral probability) then and . If is a normalized instrument then the form a finite POVM, , each is non-negative, and whenever the normalized update is a density operator.
(c) Ideal Lüders case. For an orthogonal projection (The orthogonal projection is the -component in ) put , . Then , the effects are , , and or .
(d) Non-determination. Effects alone do not determine the update: there are two normalized instruments on with the same outcome effects , whose updates differ on the same input.
Facts & Assumptions
Given: A finite-dimensional complex Hilbert space ; a density operator ; a finite POVM ; a normalized instrument ; an orthogonal projection .
A self-adjoint endomorphism is non-negative exactly when for all (Non-negative and positive operators); its eigenvalues are then non-negative by evaluation on eigenvectors. For non-negative , [F3] gives , and the adjoint identity gives , so is non-negative.
For endomorphisms of a finite-dimensional space, (For and , , The basis-independent trace of an endomorphism of a finite-dimensional vector space). The finite adjoint identities are justified directly: choose an orthonormal basis, available by applying Complex spectral theorem: a normal endomorphism of a finite-dimensional complex inner product space has an orthonormal eigenbasis, and conversely to . If is an operator matrix, then satisfies the defining identity of The adjoint is characterised by by expanding the two inner products in coordinates. Uniqueness follows because two adjoints give for all , hence . Matrix conjugation and transposition now give , and . Thus these finite identities require no Countable Choice; the general Hilbert-space theorem Hilbert-adjoint identities is not invoked.
A density operator means a self-adjoint positive trace-class with trace (Density operators and scalar spectral probability), where positive means non-negative as in that supplier. Write , with the inner product linear in its first argument, as in the same supplier. In the finite-dimensional used here, the finite-dimensional spectral theorem (Complex spectral theorem: a normal endomorphism of a finite-dimensional complex inner product space has an orthonormal eigenbasis, and conversely) gives an orthonormal eigenbasis for the self-adjoint, hence normal, . Put by [F2]. The finite trace (The basis-independent trace of an endomorphism of a finite-dimensional vector space) gives , and expansion in this basis gives . This finite argument uses no Countable Choice and does not invoke the general density expansion.
An endomorphism with is a linear isometry; every orthogonal projection satisfies (Linear isometries, and orthogonal or unitary operators on finite-dimensional inner product spaces, The orthogonal projection is the -component in ).
Proof
[POVM probabilities] By the finite-dimensional argument in [F4], with orthonormal and . Then by linearity of the finite trace [F3], and each term is non-negative because [F2]; hence . Summing over and using linearity, .
[Lüders instance] For and with [F5], and , so and the effects are , ; the updates are , .
[Update traces and positivity] Let . Then , by cyclicity [F3]. For each , because ; hence is self-adjoint. For , because ; thus . If , then has trace and is positive, hence is a density operator in the sense of [F4]. The effects of a normalized instrument form a POVM: each is non-negative, and both and are non-negative, so . This is (b).
[Two instruments with equal effects] On with orthonormal basis let , and let be the swap , , so that by [F5]. Instrument A: , . Instrument B: , . Both are normalized: , and , so . Their effect families coincide, but their updates differ on : while , by . This is (d).
Permutation sector projections on the n-fold tensor power
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). Let be a complex Hilbert space, , and the -fold completed tensor power (, as in Hilbert tensor construction: inner product, completion and product bases). For write for the iterated elementary tensor.
(a) For every in the symmetric group (The finite symmetric group , one-line notation, and cycle notation) there is a unique unitary with
and , .
(b) The operators
(with the sign homomorphism, The sign is a homomorphism , surjective exactly when ) are orthogonal projections.
(c) and for every ; consequently the range of is the subspace of vectors fixed by every , and the range of is the subspace of vectors transforming by .
(d) If have a repeated factor, that is, for some distinct , then .
Selecting the symmetric or antisymmetric sector for a particle species is a physical postulate, not a theorem of this construction; no spin-statistics statement is proved here.
Facts & Assumptions
Given: A complex Hilbert space ; ; the tensor powers ; the symmetric group and its sign homomorphism.
The completed tensor product construction provides: the algebraic tensor product with bilinear elementary tensors, the inner product with , the dense inclusion, unique orthonormal-coordinate expansions and (Hilbert tensor construction: inner product, completion and product bases).
Bounded operators extend uniquely to with , the adjoint is , and compositions multiply; unitary factors have unitary tensor product (Bounded tensor maps: extension, norm estimate, adjoint and commutation).
Any parenthesized iterated tensor product represents multilinear maps: for a multilinear map there is a unique linear with and different parenthesizations agree (Finite iterated tensor products represent multilinear maps independently of parenthesization).
is a homomorphism with and ; consists of the even permutations (The sign is a homomorphism , surjective exactly when , The alternating group of even permutations, For , sign is the unique nontrivial homomorphism ).
Proof
[Permutation isometries on the dense algebraic core] The span of iterated elementary tensors is dense in , by induction on the completion construction [F1]. On the algebraic iterated tensor product, the multilinear assignment induces a linear map by [F3]. It descends isometrically to its image in the completed tensor power: for elementary tensors and , the inner product of their permuted images is by [F1]. Sesquilinearity gives the same identity for finite linear combinations, so any algebraic relation with zero norm has zero-norm image. The isometry therefore extends uniquely by continuity to on the completion. For it is the identity, and the zero Hilbert space is included.
[Group law and unitarity] Direct substitution of indices in the elementary formula gives and on the dense algebraic core; continuity gives these equalities on the whole completion. Thus , so the isometry of step 1.1 is surjective and unitary, with . Any bounded operator with the same elementary action agrees with this one on a dense span and hence everywhere, proving uniqueness. No choice of permutation word or zeroth tensor power is needed.
[The projections are orthogonal projections] With coefficients and , write as in the Statement, use and reindex : for this gives , and for , since and by [F4] , it gives ; moreover because and [F4]. Hence are orthogonal projections.
[Ranges and transformation laws] For every , and , using [F4]; by self-adjointness of the projections these identities also hold with the order reversed. Consequently, if then for all , and if then ; conversely for all gives , and for all gives .
[Vanishing on repeated factors] Suppose for distinct and let be the transposition swapping those positions. Then because the swap exchanges equal vectors. Pairing the terms of the sum defining as over a set of coset representatives of the subgroup gives, for each pair, by and . Hence for the tensor with a repeated factor.
Euclidean L² product unitary: L²(R^a)⊗̂L²(R^b) ≅ L²(R^{a+b})
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()), let , and let denote Lebesgue measure on as defined in Lebesgue measurable sets, the family , and the restricted set function and completed from Borel measure as in is exactly the completion of the restriction of to the Borel sets. The product measure exists by For sigma-finite factors, the product measure exists, has the rectangle formula, is sigma-finite, and is unique, and under , is its completion (The Euclidean Lebesgue measure is the completion of the product of the factor Lebesgue measures). Write and , with understood as the almost-everywhere quotient of square-integrable measurable functions (The space as the quotient by null functions). Then there is a unique linear isometry
with for all , and a.e. , and is onto: it is a surjective linear isometry, hence unitary. Vector-valued or spin factors follow by finite component sums. No identification of non-Euclidean product measures is asserted.
Facts & Assumptions
Given: ; in the respective spaces; the completed tensor product of Hilbert tensor construction: inner product, completion and product bases.
, the complex pairing is , and (The space as the quotient by null functions, The complex pairing on equivalence classes, Cauchy-Schwarz inequality for ). The completed tensor product carries the inner product with and the elementary tensors span a dense subspace (Hilbert tensor construction: inner product, completion and product bases).
The completed product measure is the completion of ; Fubini and Tonelli hold for functions measurable in this completed product. Every Lebesgue-measurable factor has a Borel representative equal almost everywhere, so products of factor representatives define completed-product-measurable functions, independently of the chosen representatives (The Euclidean Lebesgue measure is the completion of the product of the factor Lebesgue measures, Tonelli and Fubini for the completed product, with only almost-everywhere section measurability, A function measurable for a completion is almost everywhere equal to one measurable for the original sigma-algebra, The Borel product of R^m and R^n is the Borel sigma-algebra of R^{m+n}).
Finite positive Borel measures agreeing on rational half-open boxes and on their total mass agree on the Borel -algebra; rational half-open boxes form a -system generating it (Finite measures agreeing on a generating pi-system and on the whole space are equal, Pi-systems, Measurable rectangles in a product of measurable spaces, For n at least one, open sets, closed sets, compact sets, open balls, boxes, rational open boxes, and rational half-open boxes generate the Borel sigma-algebra on R^n, The measure with density relative to ).
A bounded linear map on a dense subspace extends uniquely with the same norm, provided its target is Banach; each is complete by Riesz–Fischer (A bounded linear map from a dense normed subspace into a Banach space extends uniquely with the same norm, Riesz-Fischer completeness of for ).
Lebesgue measure on is the completion of its restriction to the Borel sets, and every real Lebesgue-measurable function equals a Borel-measurable function almost everywhere under Countable Choice ( is exactly the completion of the restriction of to the Borel sets, A function measurable for a completion is almost everywhere equal to one measurable for the original sigma-algebra).
If a linear subspace of a Hilbert space has , then is the whole space (The double orthogonal complement of a subspace is its closure).
Proof
[Isometry on finite sums] For and choose measurable representatives. By [F2], replacing them by Borel representatives changes the product only on null strips in the completed product, and the product class is well defined. For finite sums and , each and by [F1], so the product is integrable in the completed product by Fubini [F2], and The map is bilinear, hence descends through the defining tensor relations to a linear map on the algebraic tensor product. Summing with coefficients gives by [F1]. Taking gives , so is well defined and isometric on the dense algebraic tensor product.
[Finite-positive-measure uniqueness in the first variable] Let be orthogonal to every product of bounded-box indicators, so for all boxes . For each bounded rational half-open box , define for a.e. . Cauchy-Schwarz gives , and Tonelli [F2] shows . Fubini [F2] gives for every rational half-open box . Fix a bounded rational half-open box and write , . By [F5], choose Borel representatives equal a.e. to . The family is a -system containing and generating the relative Borel -algebra of by [F3]. The positive and negative parts are integrable on because has finite measure and . The finite positive Borel measures and agree on , including the total mass at , since there; likewise the measures from and agree. By [F3] these equalities hold for every Borel . Taking the Borel sets where , , and shows a.e. on . The countable rational half-open boxes cover , so a.e. on for each rational half-open .
[Zero orthogonal complement] There are countably many rational half-open boxes , and step 1.2 gives a.e. for each; completed-product Fubini [F2] also gives for a.e. . Intersecting these countably many full-measure sets, for a.e. the section is in and for every rational half-open . Fix such an . On each bounded rational half-open box , choose Borel representatives of the real and imaginary parts of by [F5]. The positive and negative parts of these representatives define finite positive Borel measures on ; as in step 1.2 they agree on the -system of rational half-open subboxes, including , so [F3] makes the positive and negative measures equal on every Borel subset of . Their positive and negative level sets then show the real and imaginary parts vanish a.e. on . The countably many cover , hence a.e. for a.e. , and Tonelli [F2] gives a.e. Thus ; since is a linear subspace, [F6] gives .
[Extension and surjectivity] By [F4], whose Banach-space hypothesis holds by Riesz–Fischer, the isometry on the dense algebraic tensor product extends uniquely to a linear isometry of the completion. Its range is closed (isometries have closed range: if then is Cauchy, so and ) and dense by step 2.1, hence is all of . Thus is a surjective linear isometry, i.e. unitary, with the stated action on elementary tensors.
Nuclear bounded cyclicity for trace-class operators
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). Let be a complex Hilbert space (Hilbert space) and for let (Rank-one operator calculus).
(a) For every bounded (A bounded linear operator between normed spaces),
with the Hilbert adjoint (The Hilbert-space adjoint of a bounded operator).
(b) Let be trace class and let be a nuclear representation, i.e. the partial sums converge to in operator norm and (Nuclear series characterizes trace norm, Trace class operator). Then for every bounded
both series converging absolutely with , and (Trace is absolutely convergent and basis independent). In particular for every trace-class and bounded , and . No cyclic permutation of unbounded operators is asserted.
Facts & Assumptions
Given: A complex Hilbert space ; vectors ; bounded operators ; a trace-class with nuclear representation .
is trace class, , , and (Rank-one operator calculus).
is trace class exactly when it has a nuclear representation with converging in operator norm; and then over all such representations (Nuclear series characterizes trace norm).
The trace-class operators form a two-sided Banach operator ideal: for bounded and trace-class , with for the operator norm (Trace class is a two sided Banach operator ideal, The operator norm as the least bound and as the unit-sphere or unit-ball supremum).
The trace is linear on trace-class operators and (Trace is absolutely convergent and basis independent).
Bounded adjoints obey (Hilbert-adjoint identities). The Hilbert adjoint satisfies and (The Hilbert-space adjoint of a bounded operator, Rank-one operator calculus).
Proof
[Rank-one multiplication] For , , so ; and by [F5], so . Both are bounded because is and the displayed maps have the stated form.
[Trace-norm convergence of the multiplier series] Write , so . Then by step 1.1, and by [F1]; since the trace-class operators are complete in trace norm [F3], the series converges in trace norm, and its limit agrees with because trace-norm convergence implies operator-norm convergence and in operator norm. Hence in trace norm, with .
[Trace of the left product] By [F4], , because the trace is linear on the finite sums and continuous for the trace norm, and in trace norm by step 2.1. Thus , and the series converges absolutely since by [F1]; the bound follows from [F4] and step 2.1.
[Right multiplication and cyclicity] By step 1.1, , and by [F5]. Exactly as in step 2.1, trace-norm completeness gives convergence of this series to , since its operator-norm limit is . Trace continuity and the rank-one trace formula therefore give with absolute convergence. Each summand equals by the adjoint identity, so step 3.1 gives for the original arbitrary nuclear representation. Every trace-class operator has such a representation by [F2]; the stated rank-one trace identity is [F1]. Only bounded multipliers were used.
Complex Gaussian continuation
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). For with and let
where is product Lebesgue measure and the complex integral is computed from its real and imaginary parts. Equivalently, the absolutely convergent improper multiple integral used here is the cube-truncation limit of these finite Lebesgue integrals. For it also equals the sum of the two separately convergent one-sided improper Riemann integrals at , computed componentwise (Improper integrals over unbounded intervals); this agreement is proved below. Then:
(a) converges absolutely for every with , and is holomorphic on the right half-plane with (Complex differentiability at a point, the complex derivative, holomorphic functions, and entire functions, A complex domain is a nonempty connected open subset of );
(b) with the principal logarithm and the branch on the slit plane (Complex logarithms, the principal logarithm, and principal and multivalued complex powers, The principal logarithm is the normalised holomorphic branch on the slit plane),
the value on the positive real axis being for ;
(c) for every and , , the power being the branch .
In particular the factor is defined by this branch for every real , since . No asymptotic or distributional interpretation is asserted.
Facts & Assumptions
Given: ; a complex parameter with ; the functions of the Statement; the principal logarithm .
For , and , ; at this reads , and substituting gives . Every polynomial times a positive real Gaussian is absolutely integrable (Euclidean Gaussian transform with the 2π normalization).
On a fixed measure space, if measurable complex-valued satisfy almost everywhere and almost everywhere for one nonnegative measurable with , then (Dominated convergence). For a parameter , apply this to each sequence of nonzero parameters tending to zero.
A function is holomorphic when it is complex differentiable at every point of its domain; the derivative is the limit of difference quotients (Complex differentiability at a point, the complex derivative, holomorphic functions, and entire functions). A complex domain is a nonempty connected open set (A complex domain is a nonempty connected open subset of ).
The principal logarithm is holomorphic on the slit plane , satisfies and with , and for ; complex powers are defined by (Complex logarithms, the principal logarithm, and principal and multivalued complex powers, The principal logarithm is the normalised holomorphic branch on the slit plane).
If two holomorphic functions on a complex domain agree on a set with an accumulation point in the domain, they agree everywhere (Identity theorem for holomorphic functions).
Tonelli's theorem: for a product-measurable nonnegative function on a -finite product, the iterated and double integrals agree (Tonelli's theorem for nonnegative measurable functions on a sigma-finite product).
For continuous with , the improper multiple integral used here is , with finite Lebesgue integrals computed componentwise. Dominated convergence (Dominated convergence) applied to identifies this limit with the product Lebesgue integral: for any sequence the indicators tend pointwise to and are dominated by , hence every such sequence has the same limit. For , the real and imaginary parts are bounded and Riemann integrable on every compact interval by A continuous function on is Riemann integrable, by Heine-Cantor and Riemann's criterion, and their finite Riemann and Lebesgue integrals agree by A bounded Riemann integrable function on a closed bounded interval is Lebesgue measurable and has the same integral. Applying dominated convergence separately to as and as therefore proves convergence of both one-sided improper integrals of Improper integrals over unbounded intervals; the same argument for proves absolute convergence. Their sum is the full integral because the overlap has Lebesgue measure zero. Existence of a symmetric limit alone does not imply this agreement.
Proof
[Absolute convergence] Let and . For every , , whose integral over is finite by [F1] with ; hence the real and imaginary parts of are absolutely improperly integrable and is well defined by [F7]. The same bound holds uniformly on compact subsets of , where can be taken positive uniformly.
[Holomorphy of ] Fix and ; let . For the function the second-order Taylor remainder satisfies (the power series of has its first term and the remaining terms are bounded by ). Applying this with gives for all real and all , and has finite integral; the remainder functions are continuous, hence measurable, converge pointwise to zero, and for are dominated by the nonnegative integrable function . By [F2] along every sequence , their integrals over tend to zero. Thus the difference quotient tends, as , to . Hence is complex differentiable at every , with the displayed derivative; by [F3] it is holomorphic on .
[The candidate branch] Put for in the slit plane . By [F4], is holomorphic on with , and the complex exponential is entire with derivative itself, so by the chain rule for complex derivatives is holomorphic on the complex domain (The chain rule for complex derivatives, The complex exponential is entire and its complex derivative is itself); also because . On the positive axis, [F4], so , which equals by [F1] with , .
[Agreement by the identity theorem] The right half-plane is nonempty, open and convex (if then for ), hence a complex domain, and it is contained in , so both (step 2.1) and (step 2.2) are holomorphic on . They agree at every (step 2.2), and the set has accumulation points in ; by [F5] applied to the complex domain , on , giving clause (b).
[Factorization] For write ; the absolute value factors as , a product of nonnegative integrable functions of the single coordinates. Tonelli's theorem [F6] applied to the nonnegative function shows that the multiple integral of factorizes as the product of the one-dimensional integrals and is finite; hence is integrable on the product, and the Fubini theorem for functions (Fubini's theorem for L^1 functions on a sigma-finite product) applied to its real and imaginary parts gives . By step 3.1, in the branch notation of [F4]. This is clause (c), and shows the branch is defined at .
Momentum Fourier Jacobian: the unitary momentum representation
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()), let and . Write for the unitary Plancherel transform extending (Fourier transform on complex L1 classes, Plancherel theorem); the spaces are Hilbert spaces by Riesz-Fischer completeness of for and Hilbert space. For , denote by the continuous representative of given by that absolutely convergent integral.
(a) For the momentum wavefunction
is well defined, bounded and continuous, and for every ; here is the stated continuous representative, not a point evaluation of an equivalence class.
(b) The dilation operator is a surjective linear isometry of onto itself, with inverse .
(c) The formula defines a linear isometry (for the Lebesgue spaces and ) that extends uniquely to a surjective linear isometry ; on Schwartz functions , and for every ,
The normalization statement is: the substitution carries , and the factor in is exactly what makes an isometry with respect to . No physical identification of with a measured momentum distribution is made.
Facts & Assumptions
Given: , ; a Schwartz function ; the Plancherel transform and the transform .
is a surjective complex-linear isometry that extends the Fourier transform (Plancherel theorem, Fourier transform on complex L1 classes).
If pointwise and for a fixed integrable , then (Dominated convergence).
An invertible linear map of scales Lebesgue measure by on measurable sets (A linear map of sends Lebesgue measurable sets to Lebesgue measurable sets, with when is invertible and Lebesgue null when it is not); for nonnegative measurable the integral identity follows by approximation with simple functions and monotone convergence (Monotone convergence for the integral).
contains , which is dense in (Smooth compactly supported functions of an open set are dense in , Schwartz space and its seminorms); in particular every Schwartz function lies in . The space is complete by Riesz-Fischer completeness of for .
A bounded linear map from a dense subspace of a normed space into a Banach space extends uniquely with the same norm (A bounded linear map from a dense normed subspace into a Banach space extends uniquely with the same norm).
Proof
[Absolute convergence and continuity] For , is integrable by [F4], so the defining integral converges absolutely for every and . Continuity in follows from [F2] applied to with the integrable dominating function .
[Identification with the Plancherel transform] For , put , so ; comparing the defining integral of with the Fourier transform [F1] gives , the last equality because and extends . Hence on .
[The dilation is a unitary] For the substitution is an invertible linear map with determinant , so by [F3] applied to , . Thus is a linear isometry; its inverse is likewise an isometry and the two compositions are the identity, so is a surjective isometry.
[Norm preservation on Schwartz functions] By steps 2.1 and 2.2 and unitarity of [F1], for ; moreover is linear on because the integral and the dilation are linear.
[Unique unitary extension] The subspace is dense in because it contains the dense subspace [F4]; by [F5] the isometry on has a unique bounded linear extension with the same norm, so for every . Surjectivity: for arbitrary , the vector lies in , and since agrees with on the dense set while both sides are bounded, ; hence is onto. The norm identity of clause (c) is exactly , and the normalization discussion is the determinant computation of step 2.2 read at .
Separable partial trace and its basic properties
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). Let be nonzero complex Hilbert spaces (Hilbert space) and let be their completed tensor product (Hilbert tensor construction: inner product, completion and product bases); write for rank-one operators (Rank-one operator calculus) and for the trace of a trace-class operator (Trace is absolutely convergent and basis independent).
(a) There is a unique linear map with
for every trace-class and every ; it satisfies and is independent of any chosen orthonormal basis of .
(b) maps self-adjoint positive trace-class operators to self-adjoint positive trace-class operators (positivity in the bounded-operator sense of Self-adjoint, positive, unitary and normal operators), is trace preserving (), and maps density operators to density operators (Density operators and scalar spectral probability).
(c) On rank-one operators, .
The analogous map satisfies for . No claim is made about instruments or conditioning.
Facts & Assumptions
Given: Nonzero complex Hilbert spaces ; vectors , ; a trace-class on with a nuclear representation , ; a bounded .
is trace class (Trace class operator) with , , and , for bounded ; for trace-class , and for every nuclear representation (Rank-one operator calculus, Nuclear bounded cyclicity for trace-class operators, Trace is absolutely convergent and basis independent).
is trace class exactly when with converging in operator norm (The operator norm as the least bound and as the unit-sphere or unit-ball supremum), and then ; is complete in trace norm and a two-sided ideal with (Nuclear series characterizes trace norm, Trace class is a two sided Banach operator ideal).
If and then ; if for all bounded then (Nuclear bounded cyclicity for trace-class operators, Rank-one operator calculus).
Algebraic tensors are dense in the completed product, with the orthogonal coordinate norm formula; a closed span of a given countable sequence has a finite/countable orthonormal basis by Gram–Schmidt. Bounded tensor maps extend and satisfy the adjoint and norm identities; Cauchy–Schwarz bounds scalar coefficient sums (Hilbert tensor construction: inner product, completion and product bases, A Hilbert space with a dense sequence has a finite or countable orthonormal basis, Bounded tensor maps: extension, norm estimate, adjoint and commutation, Cauchy–Schwarz: , with equality exactly for dependent pairs).
Proof
[The rank-one values] For and bounded , by [F1], whose trace is . On the other hand by [F1]. Hence the assignment satisfies the defining identity on rank-one tensors, and by [F1].
[Arbitrary rank-one vectors] Fix . By density and Countable Choice choose sequences of finite algebraic tensors converging to these two vectors; collect their countably many second-factor vectors and let be their closed linear span. Finite rational complex combinations form an explicit dense sequence in , so [F4] provides a finite/countable orthonormal basis of . The maps taking to have norm at most one by orthogonal coordinates and extend to the completion. Their values satisfy , and , : the finite-coordinate projections are contractions, converge on algebraic tensors in , and hence converge on its closure, which contains . Define . By [F1], [F2] and Cauchy–Schwarz, this converges in trace norm and . Finite-coordinate truncations and step 1.1 give ; rank-one trace-norm continuity and bounded tensor maps [F4] pass this identity to limits. The identity uniquely determines by [F3], so it is independent of the supports, basis and approximants, is sesquilinear in , and agrees with the elementary assignment.
[Extension to trace class] For a nuclear representation , define . Step 2.1 and [F2] give trace-norm convergence and the bound . The defining trace pairing follows by summing that of step 2.1, using trace-norm continuity and . If two nuclear representations are used, both images have the same pairings against every bounded , and their difference vanishes by [F3]. Thus the definition is independent of representation. The same uniqueness proves linearity, since the sum and scalar multiple of images satisfy the pairing for the sum and scalar multiple of inputs. This proves (a) and the elementary formula (c).
[Positivity and trace preservation] Step 2.1 gives , which is self-adjoint positive since and trace-norm convergence implies operator-norm convergence. Every self-adjoint positive trace-class input of positive trace becomes a density operator after division by its trace, so it has the positive spectral rank-one expansion of Density operators and scalar spectral probability; a zero-trace self-adjoint positive trace-class input is zero by Trace of a positive operator is the sum of its eigenvalues. The bounded map of step 3.1 carries the partial sums of this expansion to positive sums of the corresponding and hence carries its limit to a self-adjoint positive operator. Taking in the defining pairing gives . Hence density operators map to density operators.
[Uniqueness] If two linear maps satisfy the defining identity for all and , then for fixed the difference satisfies for all bounded , so by [F3]. Hence the map is unique and, in particular, independent of any basis; the symmetrically defined has the stated identity.
Countable Kraus normalization and trace-norm convergence
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). Let be a complex Hilbert space (Hilbert space) and let be bounded operators on with
Then:
(a) for every ;
(b) for every self-adjoint positive trace-class (positivity as in Self-adjoint, positive, unitary and normal operators) the series converges in trace norm to a self-adjoint positive trace-class operator with ;
(c) extends uniquely to a linear positive map with for all trace-class and for self-adjoint ; it maps density operators to density operators. No claim is made that every positive trace-preserving map has such a family.
Facts & Assumptions
Given: A complex Hilbert space ; bounded operators with strong completeness ; a positive trace-class .
For every , and the partial sums are increasing (each term ), so the nonnegative series has value (Hilbert space).
; ; is trace class exactly when it is a nuclear series; trace class is a complete two-sided ideal; the trace is linear, continuous for and for nuclear representations (Nuclear bounded cyclicity for trace-class operators, Rank-one operator calculus, Trace class is a two sided Banach operator ideal, Trace is absolutely convergent and basis independent).
A self-adjoint positive trace-class operator with positive trace becomes a density operator after dividing by its trace and has the spectral expansion with orthonormal , and ; a zero-trace self-adjoint positive trace-class operator is zero. Conversely such sums (with ) are self-adjoint positive trace class (Density operators and scalar spectral probability, Trace of a positive operator is the sum of its eigenvalues, Self-adjoint, positive, unitary and normal operators).
A self-adjoint compact operator has an expansion and ; for a positive trace-class operator , (Spectral theorem for compact self adjoint operators, Trace of a positive operator is the sum of its eigenvalues, Trace class is a two sided Banach operator ideal, Trace class iff product of two Hilbert Schmidt operators).
Proof
[Norm identity, including the zero space] If , then every and every trace-class input is zero, so the unique map on satisfies (a)-(c). Suppose henceforth that . For every , is the increasing sequence , so its supremum is by strong convergence and continuity of the inner product in ; by [F1] this supremum is .
[Positive input] Let be the spectral expansion [F3]. The partial sums are positive trace-class with by [F2]; the double sum increases with , and its limit is by step 1.1 and Tonelli for nonnegative series. Hence the increasing positive sequence has traces increasing to , so for we have ([F4] with positivity of the difference); by completeness of [F2] the series converges in trace norm to a trace-class (the trace-norm limit of positive operators is positive) with .
[Linear extension by nuclear convergence] For rank-one input, by [F2]. Step 1.1 and Cauchy–Schwarz give . Thus for a nuclear input the double series of Kraus rank-one images is absolutely summable in trace norm, with total norm at most . Its sum is the trace-norm limit of , by interchanging absolutely convergent sums and the bounded two-sided ideal action. This limit depends only on , so defines a linear map extending the positive-input map of step 2.1. Taking the nuclear infimum (Nuclear series characterizes trace norm) gives the bound for every input. For rank-one inputs, the trace sum is , by strong completeness and the adjoint identity; extending through the absolutely convergent nuclear sum proves . The positive trace-class operators linearly span trace class by the self-adjoint real/imaginary and positive/negative spectral decompositions in [F4], so no other linear extension agreeing with step 2.1 is possible.
[Norm bound and conclusion] For self-adjoint with spectral decomposition write . Then by construction, so using step 2.1 and [F4]. Positivity for arbitrary is step 2.1, and trace preservation was shown in step 3.1; hence density operators map to density operators.
Finite-ancilla complete positivity of countable Kraus maps
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). Let be a complex Hilbert space (Hilbert space), let be bounded operators on with strongly, and let be the map of Countable Kraus normalization and trace-norm convergence. Here a map on trace-class operators is completely positive on finite-dimensional ancillas when, for every finite-dimensional complex inner product space , its matrixwise amplification preserves self-adjoint positive trace-class operators on . Then for every finite-dimensional complex inner product space the amplification
is well defined by the trace-norm convergent series and preserves positivity: every self-adjoint positive trace-class (positivity in the sense of Self-adjoint, positive, unitary and normal operators) has self-adjoint positive. Hence is completely positive on every finite-dimensional ancilla in the stated sense.
Facts & Assumptions
Given: , and as in the Statement; a finite-dimensional complex inner product space ; a positive trace-class on .
The completed tensor product with the inner product is a complex Hilbert space with dense span of elementary tensors; for bounded the amplification is bounded with (Hilbert tensor construction: inner product, completion and product bases, Bounded tensor maps: extension, norm estimate, adjoint and commutation).
For every in and every bounded , and ; the trace-class operators are complete in trace norm (Nuclear bounded cyclicity for trace-class operators, Trace class is a two sided Banach operator ideal, Trace class operator).
A positive trace-class operator on a Hilbert space has a spectral expansion with orthonormal , and (Density operators and scalar spectral probability).
The partial sums satisfy and converge strongly to . For finite-dimensional with orthonormal basis , every vector in has the form , so acts coordinatewise, is a positive contraction, and converges strongly to (Bounded tensor maps: extension, norm estimate, adjoint and commutation, Hilbert tensor construction: inner product, completion and product bases).
Proof
[The amplified family is strongly complete] For each , by [F1]. If is an orthonormal basis of and , then by the assumed strong convergence on . Thus the amplified family satisfies the hypothesis of Countable Kraus normalization and trace-norm convergence on , and that lemma applies to it.
[Positivity] If or , then , the only trace-class input is , and the asserted series and its limit are zero, so the conclusion holds. Suppose henceforth that . For and each , by [F2]; the partial sums are positive, and the trace-norm limit is positive because for trace-norm convergent . Alternatively, applying the spectral argument of Countable Kraus normalization and trace-norm convergence to the amplified family: by [F3], with , the partial sums are positive with traces by step 1.1, so they converge in trace norm to a positive limit with trace , and the series converges to .
Local trace-preserving Kraus maps do not change the opposite reduced state
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). Let be complex Hilbert spaces, let be bounded operators on with strongly, and let be a trace-class operator on . In this statement, means that is self-adjoint and for every , as in Self-adjoint, positive, unitary and normal operators. Then the series (when either factor is , use the zero partial-trace maps and ; when both factors are nonzero, use the partial traces of Separable partial trace and its basic properties)
converges in trace norm, its sum is trace class with and if , and the reduced state on is unchanged:
By symmetry, a local map on the first factor also leaves fixed. Selective conditioning (one summand normalized by its nonzero trace) is not covered.
Facts & Assumptions
Given: ; the family ; a trace-class on with nuclear representation ; a bounded .
The amplified family consists of bounded operators on with , and strongly: on finite sums of elementary tensors this is the strong convergence of , and the general case follows by approximation and (Bounded tensor maps: extension, norm estimate, adjoint and commutation, Hilbert tensor construction: inner product, completion and product bases).
Under the strong completeness hypothesis, converges in trace norm for every trace-class , is positive for positive , and preserves the trace, where ; moreover the identity is the trace-preservation clause (Countable Kraus normalization and trace-norm convergence, Finite-ancilla complete positivity of countable Kraus maps).
When , is the unique linear map on with for all bounded , and it satisfies (Separable partial trace and its basic properties); the Statement supplies the zero-map convention when a factor is zero.
For a bounded operator and trace-class , is trace class with , and is linear in and continuous in trace norm (Trace class is a two sided Banach operator ideal, Trace is absolutely convergent and basis independent). In addition, every trace-class has a nuclear representation , and for bounded the trace formulas hold with absolute convergence (Nuclear bounded cyclicity for trace-class operators, Facts [F2] and Statement (b)).
Proof
[Convergence of the local map] If or , then and every summand is zero; hence and both sides of are zero by the convention in the Statement. Assume henceforth . By [F1] the amplified family satisfies the strong completeness hypothesis of [F2] on the Hilbert space , so the series with converges in trace norm, its sum is trace class with , and for .
[Pairing computation] For bounded and , apply the bounded cyclicity of [F4] to the trace-class operator and bounded . It gives with . For each , sum this identity over ; trace-norm convergence of the series in step 1.1 and trace-norm continuity of the bounded trace pairing [F4] give , where .
[Passing to the limit in the completeness sum] Let be nuclear. For each , with , an absolutely convergent series with ; since strongly, each term converges to , and the summable majorant gives . Hence .
[Conclusion] By [F3], for every bounded ; since the pairings with all determine a trace-class operator by the uniqueness in [F3], . The statement for the first factor is obtained by exchanging the roles of and .
Infinite Schmidt decomposition and the pure product criterion
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()) and let be nonzero complex Hilbert spaces (Hilbert space) with their completed tensor product (Hilbert tensor construction: inner product, completion and product bases). A product vector means an elementary tensor with and . Then for every there are an at most countable index set , orthonormal families and , and numbers with
and . The are the positive square roots of the nonzero eigenvalues of , where is the linear coefficient operator on countable closed factor supports of , defined below; if is infinite then . For the reduced density has , and holds exactly when exactly one is nonzero, i.e. exactly when is a product vector. No assertion about separability of mixed density operators is made here.
For clarity, choose finite algebraic tensors converging to and let , be the closed spans of their factor vectors. These supports have finite/countable orthonormal bases, and . The conjugate Hilbert space consists of symbols , with and . For an orthonormal basis of , write and set , extending linearly and continuously. The positive singular values and the nonzero spectrum of are independent of these supports and bases, as the reduced-state identity proved below shows.
Facts & Assumptions
Given: Countable Choice, arbitrary nonzero complex Hilbert spaces , and . The supports, bases and coefficient map are constructed in the proof; no countable basis of the ambient spaces is assumed.
Algebraic tensors are dense in their Hilbert completion, and orthogonal coordinates have the squared-norm sum formula. A given dense sequence in a Hilbert space yields a finite/countable orthonormal basis by Gram–Schmidt (Hilbert tensor construction: inner product, completion and product bases, A Hilbert space with a dense sequence has a finite or countable orthonormal basis, Parseval equivalences for an orthonormal family).
Bounded finite-rank operators are compact, and an operator-norm limit of compact operators into a Hilbert space is compact under Countable Choice. Hilbert adjoints satisfy the adjoint identity and ; Cauchy–Schwarz bounds coordinate sums (Bounded finite rank operators are compact, Norm limit of compact operators is compact, Hilbert-adjoint identities, Cauchy–Schwarz: , with equality exactly for dependent pairs).
A compact positive self-adjoint operator has positive eigenvalues of finite multiplicity, accumulating only at zero, and its nonzero eigenspaces span the orthogonal complement of its kernel. A positive trace-class operator has trace and trace norm equal to the sum of its positive eigenvalues (Spectral theorem for compact self adjoint operators, Trace of a positive operator is the sum of its eigenvalues).
Rank-one operators have trace norm and trace . The partial trace is bounded in trace norm with the defining bounded-operator pairing and elementary rank-one formula. Bounded tensor maps extend with their norm and adjoint identities (Rank-one operator calculus, Separable partial trace and its basic properties, Bounded tensor maps: extension, norm estimate, adjoint and commutation, Trace class is a two sided Banach operator ideal).
Proof
[Countable supports and coefficients] By density and Countable Choice choose algebraic tensors with finite factor decompositions. Their countably many factor vectors span closed subspaces with explicit dense sequences of finite rational complex combinations; [F1] supplies finite/countable orthonormal bases. The inclusion of in is isometric and extends to its closed completion, which contains . Choose the basis of . As in the orthogonal contraction construction of Separable partial trace and its basic properties, coefficient contractions define with and . All sums here may be finite or empty, including .
[The typed compact coefficient operator] Define first on finite sums in . Cauchy–Schwarz gives , so it extends to all of by continuity and completeness. The finite truncations have finite rank and , so [F2] makes compact. The adjoint has the correctly typed formula for , hence . The finite sums converge in trace norm by [F4], with trace sum ; their operator-norm limit is , so is positive trace class with .
[Reduced-state identity] Let . The elementary partial-trace formula gives , regarding the latter operators on as zero on . Rank-one continuity and boundedness of the partial trace [F4] pass to the limit and give extended by zero. Thus the nonzero eigenvalues of are intrinsic to , independent of all auxiliary supports and bases.
[Singular vectors in the conjugate factor] By [F3] choose orthonormal eigenvectors for the positive eigenvalues of , counted with multiplicity; finite-dimensional eigenspace bases are supplied by [F1] and their countable selection uses the stated Countable Choice. Define . Then , so the actual vectors are orthonormal too. By step 2.1 their coefficients obey . The trace formula [F3] gives , and infinitely many positive eigenvalues tend to zero.
[Reconstruction] If then , so all vanish. Thus every is in the closed span of the by [F3], and . The orthonormal series converges in tensor norm because . Its coefficient is by step 4.1. The orthogonal coefficient norm formula [F1] therefore identifies its sum with . If , the positive spectrum and the Schmidt family are empty, giving the zero expansion.
[Purity and product criterion] For , steps 3.1–5.1 show that the reduced density has eigenvalues and , hence . The difference vanishes exactly when there is one positive coefficient. That case makes the expansion a product vector. Conversely for a nonzero product , its coefficients are , so has rank one and has one positive eigenvalue; for a unit product its reduced purity is one. All ambient Hilbert spaces remain arbitrary; only the supports of this particular vector were made countable. This establishes every claimed clause.
Abstract trace-class instruments: effects and Heisenberg duality
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). Let be a nonzero complex Hilbert space (Hilbert space) and let be a measurable space. In this item, a positive trace-class operator means a self-adjoint trace-class operator with for every ; a bounded effect means a self-adjoint with for every .
By an abstract instrument on we mean a map into bounded linear maps of the trace-class operators such that (i) each is completely positive (every finite amplification preserves positivity on positive trace-class operators); (ii) for pairwise disjoint with union , in trace norm for every trace-class ; (iii) is trace preserving.
Then:
(a) for every there is a unique effect , (Self-adjoint, positive, unitary and normal operators), with for every trace-class ;
(b) , and is weakly countably additive: for pairwise disjoint with union and all , ;
(c) for every and every bounded there is a unique bounded operator with for every trace-class ; the map is linear and bounded with for and ;
(d) for a density operator and the number lies in , and is countably additive. Whether an experimental procedure realizes such an instrument is a separate model assumption; the conditional update is defined only when .
No universal representation theorem for arbitrary instruments is asserted.
Facts & Assumptions
Given: A nonzero complex Hilbert space ; an abstract instrument as defined; bounded ; vectors .
is trace class with , ; ; for trace-class ; and (Rank-one operator calculus, Nuclear bounded cyclicity for trace-class operators, Trace is absolutely convergent and basis independent).
Trace-class operators form a Banach space in trace norm, and the trace is linear and trace-norm continuous; for bounded , (Trace class is a two sided Banach operator ideal).
A bounded linear functional on has a unique Riesz representative with (Riesz representation for Hilbert spaces). Applying this to the conjugate of each bounded conjugate-linear section of a sesquilinear form represents that form by a unique bounded operator. If the diagonal values of the form are real, polarization makes it Hermitian, and the representing operator is self-adjoint.
Complete positivity implies positivity of by the definition in this Statement. A self-adjoint positive trace-class operator has an orthonormal rank-one expansion with nonnegative weights summing to its trace, and its trace is the sum of its positive eigenvalues (Density operators and scalar spectral probability, Trace of a positive operator is the sum of its eigenvalues).
Proof
[The functional and its sesquilinear form] Fix . The map is a bounded linear functional on with by [F2]. Define on rank-one operators. Because is linear in and conjugate-linear in and is linear, is sesquilinear; by [F1], .
[The effect] For fixed , Riesz representation of gives a unique vector with ; the sesquilinear bound in step 1.1 makes a bounded linear operator. By [F4], is self-adjoint positive trace class and has nonnegative trace, so . The complement relation and positivity of give . Thus the diagonal form values are real, so polarization makes Hermitian and self-adjoint; the two inequalities show it is an effect in the stated sense. Linearity and trace-norm continuity [F1, F2] extend to every trace-class . Uniqueness follows because all pairings are fixed. This is (a).
[Normalization and countable additivity] For and the trace-preservation clause of the instrument gives , so . For pairwise disjoint with union , the instrument's countable additivity says in trace norm; by linearity and trace-norm continuity of the functional -pairing [F1, F2], by step 2.1. As are arbitrary, this is , which is (b).
[Heisenberg dual] Fix and bounded . Define . This is sesquilinear in with by [F1, F2]; by the Riesz construction in [F3] there is a unique bounded with and . Then for rank-one , by [F1]; both sides are linear and trace-norm continuous in [F2], so the identity holds for all trace-class . Linearity of follows by uniqueness of the representing operator. If and , then : by [F4], with , and the trace is , a convergent nonnegative sum. Its diagonal values are real, so polarization also gives . Finally by and uniqueness. This is (c).
[Probabilities] For a density operator , step 2.1 gives . Since , each diagonal term lies in and , so . Trace-norm additivity of and trace continuity imply countable additivity of , and by trace preservation. Positivity and normalization of hold precisely when . Whether the prescribed instrument is experimentally realized remains a separate model assumption.
Finite Naimark compression: a finite POVM as a compression of a PVM
Statement
Assume the Axiom of Countable Choice and the Axiom of Choice (The Axiom of Countable Choice (), The Axiom of Choice). Let be a nonzero complex Hilbert space (Hilbert space) and a finite POVM on : a finite family of bounded self-adjoint operators with (Finite effects and instruments: normalization and non-determination of the update). Let with standard orthonormal basis and form (Hilbert tensor construction: inner product, completion and product bases). Then
is a linear isometry, the operators are orthogonal projections with (a finite PVM on , The Hilbert orthogonal projection onto a closed subspace), and
The square roots are the positive square roots supplied by the bounded functional calculus. The construction asserts no physical realization of the ancilla.
Facts & Assumptions
Given: ; a finite POVM ; the ancilla with orthonormal basis .
; for the bounded self-adjoint the continuous functional calculus provides a unique isometric unital star-homomorphism ; in particular is bounded, self-adjoint, positive, satisfies and commutes with (Continuous functional calculus for bounded self adjoint operators, Borel functional calculus for a bounded normal operator, Finite effects and instruments: normalization and non-determination of the update).
The completed tensor product has the inner product , the elementary tensors span a dense subspace, and bounded operators extend as with adjoint (Hilbert tensor construction: inner product, completion and product bases, Bounded tensor maps: extension, norm estimate, adjoint and commutation).
is the orthogonal projection of onto ; and (Finite effects and instruments: normalization and non-determination of the update, The Hilbert orthogonal projection onto a closed subspace, Hilbert projections are linear, self-adjoint and contractive).
Proof
[The isometry] The map is well defined and linear; for finite sums of elementary tensors the inner product is computed by [F2], and for , by [F1] and [F3]. Hence is an isometry.
[The projections] The operators are orthogonal projections by [F2] and [F3]; distinct ones are orthogonal and by [F3].
[Compression] Compute the adjoint directly: for , vectors and scalars , by [F2] and [F1], so ; in particular . Then and by [F1].
Countable Kraus isometric dilation and partial-trace recovery
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). Let be a nonzero complex Hilbert space (Hilbert space) and let be bounded operators on with
Let be the standard orthonormal basis of and form (Hilbert tensor construction: inner product, completion and product bases). Then
is a linear isometry; for each outcome label the strong limit is an orthogonal projection (The Hilbert orthogonal projection onto a closed subspace), the family consists of pairwise orthogonal projections with strongly, and
moreover the partial trace of the dilated state over recovers the Kraus instrument: for every trace-class on ,
the series converging in trace norm and the right side being the map of Countable Kraus normalization and trace-norm convergence. This realizes the specified family; it is not a classification of all channels.
Facts & Assumptions
Given: ; the family with the stated strong completeness; the orthonormal basis of .
For , the nonnegative double series has value , and whenever the partial sums converge (Countable Kraus normalization and trace-norm convergence, Hilbert tensor construction: inner product, completion and product bases, Parseval equivalences for an orthonormal family).
The operators are orthogonal projections onto , pairwise orthogonal, with strongly; a strong sum of pairwise orthogonal projections is the orthogonal projection onto the closed span of their ranges, and telescoping strong sums behave additively (Weak and strong additivity of orthogonal projections, The Hilbert orthogonal projection onto a closed subspace, Finite effects and instruments: normalization and non-determination of the update).
is the trace-norm continuous linear map with defining identity for bounded , and on rank-one operators (Separable partial trace and its basic properties).
, and for bounded , (Rank-one operator calculus, Nuclear bounded cyclicity for trace-class operators).
Proof
[The dilation is an isometry] The series defining converges: the partial sums are Cauchy because for , the squared norm of the difference is the corresponding nonnegative subsum, which is bounded by the tail of the summable series ; by [F1] the limit has , so is linear and isometric.
[Outcome projections] By [F2] each is the orthogonal projection onto , the strong sums over telescope to , and .
[Compression] As in the finite case, because is an isometry with the displayed action, so for every , the strong limit defining .
[Partial-trace recovery by truncations] For and a finite rectangle of index pairs put and . Then , by step 1.1, and rank-one trace-norm continuity gives . For each finite rectangle the elementary formula [F3] gives ; Cauchy–Schwarz and [F1] give , so these diagonal terms converge absolutely in trace norm. Taking limits using [F3] proves the Kraus formula on rank-one inputs. Both sides are bounded linear maps on trace class: the left side by the two-sided ideal bound for and [F3], and the right side by nuclear expansion and the preceding rank-one bound. Finite rank-one sums are trace-norm dense by the nuclear characterization in Nuclear bounded cyclicity for trace-class operators, so the identity extends to every trace-class input and equals the map of Countable Kraus normalization and trace-norm convergence.
Continuous measurable Kraus instruments: isometry, POVM and trace-norm integration
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). Let be a -finite measure space, a nonzero separable complex Hilbert space, and bounded operator-valued maps on such that:
(i) for every the map is strongly measurable for each (Strongly measurable Banach-valued function) and
Here is the space of sequences with , with inner product . Define as the vector space of strongly measurable fields with , modulo equality almost everywhere; its inner product is . The proof establishes that both spaces are Hilbert spaces before using adjoints or PVMs on this target.
Then:
(a) the formula defines a linear isometry ;
(b) for the multiplication operator by is a projection-valued measure on , and is a normalized POVM. Here a POVM is a weakly countably additive map whose values are self-adjoint positive contractions, with and ; positivity is in the sense of Self-adjoint, positive, unitary and normal operators;
(c) for every self-adjoint positive trace-class (Self-adjoint, positive, unitary and normal operators, Trace class operator, Density operators and scalar spectral probability) the Bochner integral
converges in trace norm and defines a positive trace-class operator with ; the map is countably additive in trace norm and is trace preserving, so is an abstract instrument in the sense of Abstract trace-class instruments: effects and Heisenberg duality; moreover for bounded , and finite-dimensional ancilla amplifications preserve positivity;
(d) the conditional update at an event with is . The normalization is integrated over events; no pointwise identity is assumed. Universal normal-instrument representation is not claimed.
Facts & Assumptions
Given: , , with the normalization identity; a self-adjoint positive trace-class .
; the normalization hypothesis says the Bochner square norm is , so the resulting equivalence class belongs to and has norm (Bochner-integrable function, The space as the quotient by null functions, Hilbert tensor construction: inner product, completion and product bases).
For the rank-one map is trace-norm continuous with ; and (Rank-one operator calculus, Trace class is a two sided Banach operator ideal, Nuclear bounded cyclicity for trace-class operators).
A strongly measurable Banach-valued function is Bochner integrable exactly when the integral of its norm is finite; the Bochner integral is norm-continuous and dominated convergence holds under an integrable majorant (Bochner integrability criterion, Bochner integral norm inequality, Bochner dominated convergence theorem).
Tonelli's theorem permits interchanging the nonnegative sum over and the integral over ; the trace pairing satisfies and the polarisation/positivity properties of the previous items (Tonelli's theorem for nonnegative measurable functions on a sigma-finite product, Rank-one operator calculus, Separable partial trace and its basic properties).
Nuclear representations converge in trace norm as well as operator norm; finite rank-one sums are trace-norm dense, and for bounded . Cauchy–Schwarz applies both to the countable coordinate sum and to the scalar integral (Nuclear series characterizes trace norm, Trace is absolutely convergent and basis independent, Rank-one operator calculus, Cauchy–Schwarz: , with equality exactly for dependent pairs).
Monotone convergence applies to nonnegative scalar functions; scalar Cauchy–Schwarz and Minkowski give the integral product and sum bounds. Equality almost everywhere means equality outside a measurable null set (Monotone convergence for the integral, Cauchy-Schwarz inequality for , Minkowski's inequality for integrals, including , Measure-null sets and almost-everywhere statements relative to a measure).
Proof
[Construction and completeness of the Hilbert target] Coordinate Cauchy–Schwarz makes the inner product of absolutely convergent and gives its squared norm . If is Cauchy in this norm, each coordinate converges in the complete space to ; taking limits of finite squared sums shows and . Thus is Hilbert. Strongly measurable -valued fields have measurable norm and inner-product functions by their simple approximants; scalar Cauchy–Schwarz [F6] gives absolute integrability of the target inner product. This integral descends to the almost-everywhere quotient, is positive definite there, and has the stated norm; scalar Minkowski gives its triangle inequality. For completeness, take a Cauchy sequence of classes and a subsequence with representatives satisfying ; Countable Choice permits the countable representative selection. Set . For , scalar Minkowski gives . Monotone convergence [F6] applied to gives and almost everywhere. Hence converges pointwise off a measurable null set in complete ; define its limit as zero on that set. The limit is strongly measurable: the countably many simple approximant ranges for all have a separable closed span, norm distances to a countable dense subset are measurable, and choosing the nearest of the first dense points gives finite-valued simple approximants converging pointwise. Scalar Minkowski and monotone convergence also give , and since . The original Cauchy sequence converges to the same class by the triangle inequality. Therefore the defined target is a Hilbert space; the construction uses no assumption that is finite.
[The isometry] Fix . The measurable nonnegative function has finite integral , so it is finite outside a null set. On that set the finite coordinate truncations converge in ; define the vector field to be zero on the exceptional null set. The truncations are strongly measurable and their pointwise limit is strongly measurable, as follows directly by approximation with simple functions (or by separability of and measurable coordinates). The field belongs to because its squared norm is almost everywhere. Its equivalence class defines , independently of the null-set representative. For any finite collection of vectors, the coordinate linear identities hold outside the union of their exceptional sets, so is linear as a map of equivalence classes; normalization gives , hence is a linear isometry. No integrability of this raw vector field is needed.
[The PVM and the effects] Multiplication by on is a bounded self-adjoint projection, with and . For disjoint with union , put . The squared norm of is ; this tends to zero because and monotone convergence applies. Thus is a PVM. Compression gives self-adjoint positive contractions , normalization , and weak countable additivity. Equivalently, for every , , with absolute convergence by Cauchy–Schwarz and normalization. This is the normalized POVM asserted in (b).
[Integrable cross fields] For , each is strongly measurable in trace norm by [F2]. By Cauchy–Schwarz twice and normalization, Thus, outside a null set, the rank-one series converges absolutely in trace norm. Its sum is strongly measurable and Bochner integrable by [F3], with integrated norm at most . Define . This is sesquilinear, satisfies , and has pairing for bounded , by the boundedness of trace pairings and absolute integrability. In particular is positive and .
[The bounded linear instrument] For a nuclear representation , define , converging in trace norm. The bound of step 4.1 gives . This is independent of representation: for a nuclear representation of zero, Tonelli and step 4.1 allow exchanging its sum, the sum and each bounded- trace pairing with the integral. For each fixed , the two-sided ideal bound makes in trace norm. Therefore all the resulting pairings vanish; rank-one test operators and [F5] show the image is zero. The difference of two representations is such a zero representation, proving independence. Hence is linear, bounded with norm at most one by taking the nuclear infimum, and positive by positive spectral rank-one expansion. For positive its definition is exactly the Bochner formula in (c), and absolute integrability gives the stated bounded- pairing. Taking gives first for rank-one inputs by step 3.1 and then for all inputs by nuclear continuity; in particular is trace preserving.
[Countable additivity and complete positivity] For disjoint with union , the fields , where , converge pointwise almost everywhere to and are dominated in norm by the integrable function ; Bochner dominated convergence [F3] gives in trace norm. For a nuclear input , [F2] and step 4.1 give In fact, . Thus the two sums may be interchanged in trace norm, and the omitted event tails tend to zero; this proves countable additivity of in trace norm. For each finite ancilla , act on with the pointwise Kraus maps . For a vector , the integrated squared output norm is . The same construction as steps 4.1–5.1 therefore maps each self-adjoint positive rank-one to an integral of positive rank-one operators and extends positively to every self-adjoint positive trace-class amplified input. Expanding its finite ancilla matrix entries shows this extension equals the finite amplification of . Thus every is completely positive, and together with additivity and trace preservation this establishes the full abstract instrument, not merely its restriction to positive inputs.
[Conditional updates] For a density operator , and by step 5.1. If , division gives a positive operator of trace one and hence the claimed density operator; if no normalized update is defined. Nothing here claims a normalized singleton density or a universal representation theorem.
Marker overlap contraction of the two-path cross term
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). Let be a -finite measure space, let denote the quotient of square-integrable measurable functions modulo almost-everywhere equality (The space as the quotient by null functions), let be a complex Hilbert space (Hilbert space) with unit vectors , let be unit vectors, and let with . Choose measurable representatives of ; all displayed pointwise expressions are understood almost everywhere, and the integrals below are independent of the representatives. Put
Then:
(a) the reduced positive trace-class weight on is
(b) for every measurable with finite measure, writing for the multiplication operator by ,
(c) the marker overlap contracts the cross term: , and if the cross term in (b) vanishes, leaving the incoherent weight .
The weight satisfies ; it is a density operator precisely when . The stated assumptions do not force this normalization. These are identities for the specified vector and its unnormalized weight; they assert no measured detector law and cover no selective conditioning.
Facts & Assumptions
Given: as in the Statement; a measurable with finite measure.
Under the assumed Countable Choice, complex is complete for its norm and has the first-variable-linear inner product inducing that norm (Complex completeness, density, and inner product: the consumer interface). Thus it is a complex Hilbert space. The given unit vectors make it nonzero; the unit makes nonzero, so both tensor and partial-trace suppliers apply.
The completed tensor product carries the inner product and (Hilbert tensor construction: inner product, completion and product bases).
is linear with ; ; and for the self-adjoint multiplication operator (Separable partial trace and its basic properties, Nuclear bounded cyclicity for trace-class operators).
(Cauchy–Schwarz: , with equality exactly for linearly dependent vectors); the functions , , are integrable on of finite measure by Cauchy-Schwarz (Cauchy-Schwarz inequality for ).
Proof
[The reduced state] Expanding into its four rank-one summands and applying the rank-one rule [F2] termwise gives , which is (a). The trace-preserving partial trace [F2] gives ; expanding the tensor norm by [F1] gives the displayed normalization formula. Positivity follows from positivity of and the positive partial trace [F2], so trace one is exactly the density condition.
[The bin weight] By [F2], ; since the last two integrals are conjugates of one another (because and ), their sum is , giving (b).
[The overlap bound] By [F3], . Thus the modulus of the complex cross-term coefficient is at most , and the real cross-term contribution at is bounded in magnitude by . A complex phase may rotate that contribution, so no comparison of its real part with the real part for overlap one is asserted. When , the overlap is zero and the cross term vanishes, leaving exactly the diagonal sum, as claimed in (c).
Exact free Gaussian propagation
Statement
Assume the Axiom of Countable Choice and the Axiom of Choice (The Axiom of Countable Choice (), The Axiom of Choice). Fix , , and real , and let
Let be the free operator of clause (b) of Real multiplication operators and free plus bounded-potential Schrödinger operators with and , i.e.
which is self-adjoint with and for . Let be the momentum transform of Momentum Fourier Jacobian: the unitary momentum representation, the surjective isometry with on . For put and
where is the principal branch of Complex logarithms, the principal logarithm, and principal and multivalued complex powers, legitimate at because . Let and act on . Then:
(a) , , and for every one has ; the map is continuously differentiable with and , and consequently , where with denotes the unitary group generated by the self-adjoint operator (A self-adjoint operator generates a strongly continuous unitary group).
(b) Position density. ; it is a probability density of mean and variance .
(c) Momentum density. for almost every ; it is a probability density of mean and variance , independent of .
(d) Standard deviations. With and one has , and
with equality exactly at ; the lower bound is the one supplied by clause (d) of Weak-form Robertson uncertainty on a common domain with .
(e) Scope. These are exact conditional calculations for the free model defined by ; no measurement, instrument or laboratory preparation is described, and nothing here asserts that a physical wave packet is Gaussian.
Facts & Assumptions
Given: , , the vector above, the operator and the transform .
consists of the functions all of whose polynomial-weighted derivatives are bounded; every Schwartz function lies in (Schwartz space and its seminorms).
is a surjective complex-linear isometry with on , where ; being a surjective isometry, preserves inner products and (Momentum Fourier Jacobian: the unitary momentum representation).
If then for the branch , and for one has (Complex Gaussian continuation(a),(b)).
is self-adjoint, with equivalent norms on this set, and for (Real multiplication operators and free plus bounded-potential Schrödinger operators(b)). Here is the Plancherel transform extending the transform ; it is a surjective isometry preserving inner products (Plancherel theorem, Fourier transform on complex L1 classes).
For a self-adjoint operator the operators form a strongly continuous one-parameter unitary group with , on , and exactly for (A self-adjoint operator generates a strongly continuous unitary group).
Dominated convergence: if pointwise and for a fixed integrable , then (Dominated convergence). A continuous real function on an interval has a primitive and for it (Every continuous function on an interval has a primitive; two primitives differ by a constant; and for any primitive ); the integral over is the limit of the compact-interval integrals when it exists (Improper integrals over unbounded intervals); (Sums, scalar multiples, products and quotients: , , , and when ); for differentiable with integrable derivatives on , (If are differentiable on with integrable, then ). Substitutions: an invertible linear scales Lebesgue measure by (A linear map of sends Lebesgue measurable sets to Lebesgue measurable sets, with when is invertible and Lebesgue null when it is not), and for every Lebesgue measurable and (Lebesgue outer measure, Lebesgue measurability and Lebesgue measure are unchanged by translation); hence for every nonnegative measurable and every real , , by approximation with simple functions and monotone convergence (Monotone convergence for the integral).
For every unit and every , with and , one has , the differences being centered norms (Weak-form Robertson uncertainty on a common domain(d)).
Proof
[The initial packet is a unit Schwartz vector] The derivative equals for a polynomial : this follows by induction with the product rule [F6] applied to the three factors , and the bounded factor , each differentiation of the last factor multiplying it by the constant . Since is bounded for all (the exponential decays faster than any polynomial), [F1]. By [F6] , using [F3] with and the substitution .
[The complex shift identity] For and one has with : setting (absolutely convergent since is integrable) and , the fundamental theorem and [F6] give , and since is integrable, pointwise with the difference quotients converging, so is differentiable with ; integrating over gives , of modulus at most , so [F6] as gives with , hence and ; the product rule [F6] gives , so the product is constant (fundamental theorem applied to real and imaginary parts [F6]) and its value at is by [F3].
[The free operator in momentum coordinates] Let be the multiplication operator on ; then with , and , because and for every Borel and every in the domain of , so with one has as operators [F2, F4]; for the domains, means , which by is equivalent to (the substitution and the constants preserve -membership), i.e. to , so , the identity holds on it, and multiplying on the right by gives .
[Fourier transform of the initial packet] Since [step 1.1], is computed by the integral [F4]; substituting [F6] and using gives by step 1.2 with and ; since , [F2], so satisfies with and .
[The packet is Schwartz and its modulus is the spreading Gaussian] Putting (so ) and , one has ; the remaining -dependent phase is , which has modulus one. By the product rule, each -derivative of is a polynomial in times , so the displayed decaying modulus makes every polynomial-weighted derivative bounded and ; in particular and by [F4].
[Momentum coordinates of the packet] With , and , substituting [F6] in the integral [F4] of the packet [step 2.2] gives by step 1.2 with (legal since ); since , [F2], and with , , and one gets with as in step 2.1.
[Position density, mean and variance] By step 2.2, with and ; substituting and using (that is [F3] with ) gives , while the centering and , since by [F3]; hence the density has mean and variance , which is clause (b).
[The packet is the free evolution of the momentum Gaussian] With and , steps 2.1 and 3.1 give for every , because the two exponents differ by ; hence and, being a surjective isometry [F2], .
[Momentum density, mean and variance] By steps 2.1 and 3.1, with and ; substituting as in step 3.2 gives total mass , mean and variance , and the density does not depend on ; this is clause (c).
[The momentum path solves the momentum equation] Put and . The Gaussian formula of step 2.1 gives and , so for every . For fixed and , tends pointwise to . Since , the difference between the quotient and its limit has squared modulus at most , an integrable function; dominated convergence [F6] therefore gives convergence in . Also and in by pointwise convergence and the respective integrable square majorants and . Thus is continuously differentiable with . Consequently [step 4.1] is in , lies in , and , using that is an isometry [F2] and from step 1.3; at the formula of the Statement reduces to .
[Uniqueness of the Cauchy problem] Let with [F5]; since [step 1.1, F4], one has for all and is with , because [F5] gives as and is bounded, and on by [F5]; by step 5.1, is with and , and since and the Statement's formula at is the initial packet; for the real function one has , the last term tending to ; now, since the inner product is conjugate-linear in its second argument, . The number is real because is self-adjoint, hence symmetric, on [F4], so and has vanishing derivative, hence is constant by the fundamental theorem [F6] and equals ; thus for every , which is clause (a).
[Operator standard deviations] For one has with , because by integration by parts, the boundary terms vanishing at as [F6], and applying with gives the claim [F2]; the unit vector of step 6.1 is the packet of steps 3.2 and 4.2, and for it this gives , a real number, and by step 4.2, while and by step 3.2; hence .
[Robertson comparison and scope] By [F7] with , applied to the unit Schwartz vector of step 7.1, one has ; the exact value of step 7.1 is , which equals exactly when , i.e. exactly at since , and is strictly larger otherwise; thus clause (d) holds, and clause (e) records that all of the above are computations inside the free model defined by , with no measurement interpretation.
Joint PVM construction for strongly commuting regular projection-valued measures
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). Let be a nonzero complex Hilbert space (Hilbert space) and let be regular projection-valued measures on the Borel -algebra of (Projection valued measure, The Borel sigma-algebra of a topological space) satisfying the strong commutation relation
Then there is a unique regular projection-valued measure on the Borel -algebra of with
where rectangle means a measurable rectangle in the sense of Measurable rectangles in a product of measurable spaces. Its marginals are and .
For the scalar construction, let be the algebra of finite unions of Borel rectangles, and define on disjoint rectangular decompositions. For every , is a finite premeasure on and has a unique extension to the Borel -algebra. For , define the polarized measure . Then every Borel has a unique bounded operator satisfying for all , and .
Facts & Assumptions
Given: A nonzero complex Hilbert space ; regular PVMs on with ; the algebra of finite unions of measurable rectangles in .
A PVM is a map into orthogonal projections with , , and strong countable additivity; regularity means every scalar measure is a regular Borel measure. For an orthogonal projection one has (Projection valued measure, The Hilbert orthogonal projection onto a closed subspace, Hilbert projections are linear, self-adjoint and contractive).
For a PVM, is a positive measure with ; the polarized is a finite complex measure with , and the polarization identity (Scalar and complex measures from a pvm).
A premeasure on an algebra is finitely additive and countably additive on disjoint families whose union lies in the algebra; the outer set function it induces is an outer measure under , the Carathéodory -algebra carries the extended measure, the source algebra consists of Carathéodory measurable sets, the extension agrees with the premeasure on the source algebra, and a finite premeasure has at most one extension to the generated -algebra (Premeasures on algebras of sets, Assuming countable choice, the outer set function induced by a premeasure is an outer measure, Carathéodory's theorem: measurable sets form a sigma-algebra carrying a complete measure, The induced outer measure agrees with the premeasure on the source algebra, Assuming countable choice, every source-algebra set is measurable for the induced outer measure, A finite premeasure has at most one extension to its generated sigma-algebra).
Finite positive measures agreeing on a -system that generates a -algebra and having equal total mass agree everywhere on it (Finite measures agreeing on a generating pi-system and on the whole space are equal, Pi-systems).
The -algebra generated by the measurable rectangles of is the product -algebra, and (The product sigma-algebra and its finite iterates, The Borel product of R^m and R^n is the Borel sigma-algebra of R^{m+n}).
Every finite Borel measure on is regular once every open subset of is -compact (Sigma-compact open sets make locally finite Borel measures regular). This topological hypothesis holds: for an open proper , the compact sets cover ; for , the squares cover it.
For a bounded sesquilinear form on a Hilbert space there is a unique bounded operator representing it; equivalently, bounded linear functionals are represented by vectors (Riesz representation for Hilbert spaces).
If is a -system and is a -system containing , then contains the -algebra generated by (Dynkin's pi-lambda theorem).
Proof
[The finitely additive projection on the rectangle algebra] For a finite disjoint union of measurable rectangles put . This is well defined: two finite rectangle decompositions have a common refinement into disjoint rectangles (intersections of the pieces), and on a common refinement both sums agree by additivity of and ; in particular and . Each is an orthogonal projection because and by [F1] and strong commutation; summands belonging to disjoint rectangles are orthogonal, since . Hence is a sum of pairwise orthogonal projections, so ; and from the refinement description is finitely additive on disjoint unions, and for disjoint .
[Uniqueness for finite complex measures] Let be finite complex measures on that agree on , which contains . Then contains and the -system ; it is a -system because equality on the whole space gives closure under complements and countable additivity gives closure under disjoint countable unions. By Dynkin's - theorem [F8], contains by [F5], so on every Borel set.
[The scalar set functions are premeasures] For define for ; by step 1.1, , is finitely additive, and . To verify countable additivity, fix pairwise disjoint with union and put . Finite additivity gives , and , so continuity from above at implies . It remains to prove that continuity: for in , show . Given , approximate each from inside by a compact union of rectangles: for a rectangle one has with the two summands orthogonal, so for , ; by regularity [F1] compact , make this arbitrarily small, and finite unions are handled by summing. Choose compact with . If for all , then for every additivity and give ; hence every finite intersection is nonempty, and compactness gives a point of , a contradiction. Thus , and is a finite premeasure on .
[Carathéodory extension and polarization] By steps 1.1 and 2.1 the algebra of finite unions of measurable rectangles is a -system containing and generates by [F5]; hence extends to a finite measure on , unique by [F3], and for . Uniqueness also extends the scalar homogeneity and the parallelogram identity from to every Borel set: the corresponding finite positive measures agree on and have the same total mass. For define ; this is a finite complex measure and for it coincides with by the polarization identity [F2]. The scalar homogeneity and parallelogram identity imply, by expansion of the four polarization terms, that is sesquilinear and Hermitian for every Borel , with . Positivity gives Cauchy–Schwarz for this form (apply for all ), so .
[The operators ] Fix a Borel . For fixed , the map is a bounded linear functional of norm at most by step 3.1, so by [F7] there is a unique with , that is , and . The assignment is linear because the form is linear in its first argument and the representative is unique, so with ; moreover , so is self-adjoint, and gives . For every , step 3.1 gives , so the defining pairings imply ; in particular .
[Multiplicativity and the PVM axioms] First observe that for arbitrary Borel and rectangle , for every the scalar set functions and are finite complex measures; they agree on rectangles because by [F1] and the commutation hypothesis, and they agree on since each value is . By step 1.2 [F8], these scalar measures agree on all Borel , so for all Borel . Now fix arbitrary Borel and compare, for every , the finite complex measures and ; by the previous result they agree on every rectangle , and by step 1.2 [F8] they agree for all Borel . Taking yields , so every is an orthogonal projection; and follow from the rectangle values. Strong countable additivity holds because for pairwise disjoint with union the scalar measures satisfy , so and the orthogonal series converges in norm to a vector whose pairings with every equal , hence to . Finally the scalar measures of are the , finite Borel measures on and hence regular by [F6]; so is a regular PVM with .
[Marginals and uniqueness] For the marginal, and by [F1]. If is another regular PVM with , then for every the finite complex measures and agree on rectangles, including , so step 1.2 [F8] gives their equality on . Taking gives for every Borel . Hence is unique, completing the proof.
Compatible Lüders repeatability
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). Let be a nonzero complex Hilbert space, let be regular projection-valued measures on the Borel -algebra of with for all Borel , and let be the joint projection-valued measure on the Borel -algebra of with and marginals (Joint PVM construction for strongly commuting regular projection-valued measures). Fix finite families of Borel sets with for and with for , put
and let be a density operator on (Density operators and scalar spectral probability(a)). The listed projections are stipulated to be outcomes of ideal Lüders instruments, with outcome probabilities and post-measurement states when , and likewise for . If either listed family fails to sum to the identity, include its complementary projection or as an additional outcome; only probabilities for the listed outcomes are displayed below. A sequential run measures the first instrument and then the second on the resulting state. Then:
(a) and are orthogonal projections (The Hilbert orthogonal projection onto a closed subspace), , and for , for , whenever .
(b) The probability of the listed ordered outcome pair equals, when , , and is zero if the first outcome has zero probability; the same number is obtained in the reversed order, so the sequential order of the two compatible sharp measurements gives the same masses to all listed outcome pairs:
(c) If , the conditional state after the pair is order-independent: and it is a density operator.
(d) Repeatability. Under the positive-probability hypothesis of (c), with one has and , and the Lüders update by , or leaves unchanged: . Thus immediate repetition of the compatible pair, or of either single sharp measurement, reproduces the same outcomes with certainty.
(e) If then , and if then : the joint law has the sharp-bin marginals.
(f) Scope. All of this is a conditional calculation for the stipulated ideal Lüders instrument and the joint PVM ; no claim is made that a laboratory apparatus realizes the Lüders instrument or the joint measurement, and no dynamical time development is described.
Facts & Assumptions
Given: A nonzero complex Hilbert space ; regular PVMs with ; the joint PVM ; Borel sets and pairwise disjoint within each family; a density operator ; the projections .
An orthogonal projection on is a bounded operator with ; for a PVM every value is an orthogonal projection, , , , and is strongly countably additive (The Hilbert orthogonal projection onto a closed subspace, Joint PVM construction for strongly commuting regular projection-valued measures).
is a regular PVM on the Borel -algebra of with for Borel rectangles and marginals , ; it is the unique such PVM and every value is an orthogonal projection with (Joint PVM construction for strongly commuting regular projection-valued measures).
A density operator is a self-adjoint positive trace-class with ; for every PVM on a measurable space the set function is a probability measure, and in every expansion with orthonormal and weights , , one has (Density operators and scalar spectral probability(a),(b)).
For bounded and trace-class : and are trace class, , is linear on trace-class operators, and (Nuclear bounded cyclicity for trace-class operators(b), Trace is absolutely convergent and basis independent).
The Lüders instrument and the sequential protocol of the Statement are stipulated; the conditional state is defined only when the corresponding probability is positive.
Proof
[Sharp bins and their products are projections] By [F1], and are orthogonal projections; for and for ; the commutation hypothesis and [F2] give , so is self-adjoint () and idempotent (), hence an orthogonal projection; also using commutation, which vanishes unless and .
[Trace and Born rules] For every bounded operator one has , and is linear in its bounded argument with ; for every PVM and Borel set the number lies in and equals in any expansion of [F3], so and are nonnegative and at most .
[Sequential Lüders probability] If , measuring the first instrument gives listed outcome with probability and state (stipulated, [F5]); measuring then the second gives conditional probability . Cyclicity and , give , so the probability of the listed pair is by step 1.1. When , the reversed order gives conditional probability ; multiplying by the probability of the first outcome gives the same joint probability. If a listed first outcome has zero probability, then and the positive density expansion [F3] give , so the listed pair has probability zero and no division is taken.
[Order-independent conditional state] Assume ; running then produces the product of the two stipulated denominator-normalizations, i.e. the state (by the computation of step 2.1), while the reversed order produces ; by step 1.1 both numerators equal and the denominators are the same positive number, so the two conditional states coincide and equal , which is a density operator because is positive trace class with trace [F3, F4].
[Marginals of the joint law] If , the finite additivity of a PVM gives [F1], so by linearity of and the ideal property [F4]; symmetrically when , so the joint law has the sharp-bin marginals.
[Repeatability] Let from step 3.1. Then since and [step 1.1, F4]; likewise because , and the same way. Hence the Lüders updates , and all return the same state: e.g. and the denominators equal , and similarly and . Thus an immediate repetition of the pair, or of either single sharp measurement, returns the same outcome with probability .
[Scope] Steps 2.1-4.1 are conditional computations inside the stipulated Lüders instrument and the joint PVM of [F2]; they assert joint probabilities, order independence and repeatability for that ideal model only, with no laboratory realization, no nonselective statement beyond step 3.2, and no time development.
5 · Examples, experiments and counterexamples
None yet.
Sources
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, §1.4 pp. 45-47 (tensor construction and product bases)
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 8 'Multiparticle States and Tensor Products', PDF pp. 1-12
- A. W. Knapp, Advanced Real Analysis, Chapter II §5 (rank-one operators, trace class and the trace norm)
- G. Teschl, Topics in Real and Functional Analysis (November 17, 2017), §3.6, Lemmas 3.27–3.29, printed pp. 96–98 (Hilbert-Schmidt and trace class operators)
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, §1.4 pp. 45-47 (tensor products of operators)
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 8 'Multiparticle States and Tensor Products', §1 pp. 1-4
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, Section 3.1 pp. 87-98 (spectral calculus and scalar spectral measures), Section 6.2 pp. 136-138 (compact spectral expansions) and Section 6.3 pp. 139-144 (trace class, trace and ideal properties)
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, §6.3 pp. 121-128 (density operators)
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 5 'Uncertainty Principle and Compatible Observables' (variance identity and Cauchy-Schwarz bound)
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, §2.1 pp. 55-57 and §3.1 pp. 88-92 (self-adjoint operators and spectral measures)
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, Thm 6.4 p. 135 (Kato-Rellich), Thm 7.8 p. 168 (free Hamiltonian), Thm 5.1-5.2 pp. 123-125 (Stone)
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, §2.3 pp. 24-28 (free Hamiltonian as an informed model choice)
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, §6.1.4 pp. 113-115 (CHSH inequality for a setting-independent local model)
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 8 'Multiparticle States and Tensor Products', §5 pp. 16-19
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 8 'Multiparticle States and Tensor Products', §§1-3 pp. 1-12
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, §6.1 pp. 105-111 and §6.3 pp. 121-128 (reduced states, nonunique mixtures)
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 2 'Spin One-half, Bras, Kets, and Operators' and Chapter 4 'Dirac's Bra and Ket Notation'
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, §1.4 p. 15 and §6.3 pp. 121-128
- D. Skinner, Principles of Quantum Mechanics (Cambridge Part II, Michaelmas 2021), Chapter 7 'Identical Particles', pp. 1-10
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 8 'Multiparticle States and Tensor Products'
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, §1.4 pp. 45-47 (tensor products of L² spaces)
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 8 'Multiparticle States and Tensor Products', §1
- G. Teschl, Topics in Real and Functional Analysis (2017), §3.6 pp. 93-96 (trace class, nuclear series and cyclicity)
- A. W. Knapp, Advanced Real Analysis, Chapter II §5 (trace-class operators and their ideal properties)
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, §7.2-7.3 pp. 167-172 (Gaussian kernels for the free evolution)
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 1 'Wave Mechanics' (Gaussian integrals and free packets)
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, §7.1 pp. 161-165 (Fourier conventions and momentum domains)
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, §2.4 pp. 28-32 (momentum-space wavefunction)
- G. Teschl, Topics in Real and Functional Analysis (2017), §3.6 pp. 93-96 (trace-class operators and partial traces)
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 8 'Multiparticle States and Tensor Products', §3 pp. 9-12
- G. Teschl, Topics in Real and Functional Analysis (2017), §3.6 pp. 93-96 (trace-norm convergence and positivity)
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 8 'Multiparticle States and Tensor Products', §3 (local operations and reduced states)
- G. Teschl, Topics in Real and Functional Analysis (2017), §3.6 pp. 93-96 (trace-class amplification)
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 8 'Multiparticle States and Tensor Products' (composite systems and amplification)
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, §6.3 pp. 121-128 (local operations and reduced states)
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, §1.4 pp. 45-47 and Ch. 3 (compact operators and spectral decomposition)
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 8 'Multiparticle States and Tensor Products', §§1-3
- G. Teschl, Topics in Real and Functional Analysis (2017), §3.6 pp. 93-96 (trace-class pairing and duality)
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 4 'Dirac's Bra and Ket Notation' (effects and measurement formulation)
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, Ch. 3 pp. 90-100 (bounded self-adjoint calculus)
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 4 'Dirac's Bra and Ket Notation'
- G. Teschl, Topics in Real and Functional Analysis (2017), §3.6 pp. 93-96 (trace-class dilation computations)
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 8 'Multiparticle States and Tensor Products' (ancilla constructions)
- G. Teschl, Topics in Real and Functional Analysis (2017), Ch. 1-3 (Bochner integration, trace-class Banach space and duality)
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 4 'Dirac's Bra and Ket Notation' (POVM formulation)
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, §6.3 pp. 121-128 (reduced states and marker-induced loss of coherence)
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 8 'Multiparticle States and Tensor Products', §3
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 6 'Quantum Dynamics' (free Gaussian packet evolution)
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, Thm 7.8 p. 168 and §7.3 (free evolution)
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, Thm 3.1-3.2 pp. 90-92 (projection-valued measures and Borel calculus)
- A. W. Knapp, Advanced Real Analysis, Ch. II-III (Carathéodory extension, measure uniqueness and regularity)
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, §1.4 p. 15 (ideal measurement) and §6.1.1 pp. 108-109
- MIT 8.05 Quantum Physics II (Fall 2013), Chapter 4 'Dirac's Bra and Ket Notation' (projective measurements)