Alphabeta Math
Pipeline-generated
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Qm Math Composites

1 · Prerequisites

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 Tu,vx=⟨x,v⟩u are the basic trace-class model: Rank-one operator calculus computes ∥Tu,v∥=∥Tu,v∥1=∥u∥ ∥v∥, tr⁡(Tu,v)=⟨u,v⟩, the adjoint Tu,v∗=Tv,u, positivity of Tx,x, the product identities with bounded and trace-class factors and trace-norm continuity of (u,v)↦Tu,v.

On it, Bounded tensor maps: extension, norm estimate, adjoint and commutation establishes the amplifications A⊗I and I⊗B, 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 L2(X)⊗^L2(Y)→L2(X×Y) for the Euclidean product, with Fubini and Tonelli as its analytic inputs, and Density operators and scalar spectral probability defines density operators, proves that μρ(B)=tr⁡(ρE(B)) is a probability measure in every expansion ρ=∑nwnTun,un, 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 tr⁡ρ2=∑rsr4; Nuclear bounded cyclicity for trace-class operators, which computes BTu,v=TBu,v, Tu,vB=Tu,B∗v 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 H⊗^K 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 JB∗, 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 Wξ=∑aMaξ⊗ea 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 ∑aMa∗Ma=I 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 ∫e−z∣x∣2dx=(π/z)n/2 on Re⁡z>0 by holomorphic continuation, and Momentum Fourier Jacobian: the unitary momentum representation, which fixes the pointwise momentum formula ψp(p)=(2πℏ)−d/2∫e−ip⋅x/ℏψ(x)dx for Schwartz inputs and its unitary extension U=DℏF2:L2(dx)→L2(dp) with ∥Uψ∥2=∥ψ∥2. Real multiplication operators and free plus bounded-potential Schrödinger operators proves self-adjointness of real multiplication operators, of the free operator H0=F2∗Mc∣ξ∣2+bF2 on its W2,2 domain, and of H0+V for bounded measurable real V 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 ψt=(2πσ2)−1/4(1+iτ)−1/2exp⁡(−(x−x0−p0t/m)2/(4σ2(1+iτ))+ip0(x−x0)/ℏ−ip02t/(2mℏ)) with mean x0+p0t/m, variances σ2(1+τ2) and ℏ2/(4σ2) and ΔQΔP=ℏ21+τ2. Weak-form Robertson uncertainty on a common domain supplies the weak-form Robertson bound on a common domain, with the Schwartz position-momentum case ∣Im⁡⟨xQ,yP⟩∣=c/2, 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 G of strongly commuting regular projection-valued measures E,F with G(B×C)=E(B)F(C), and Compatible Lüders repeatability, which computes the sequential Lüders probabilities tr⁡(ρPiQj), proves that the conditional state PiQjρPiQj/tr⁡(ρPiQj) 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

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Hilbert tensor construction: inner product, completion and product bases

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)). Let H,K 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 H as a right C-module by u⋅c:=cu and K as a left C-module by c⋅v:=cv. Write H⊙K for the complex vector space of The tensor product M⊗RN from the additive group underlying the free Z-module on M×N, elementary tensors, and finite tensor sums applied to these modules: its underlying abelian group is the quotient F/H0 of that definition, the class of e(u,v) is written u⊗v, every element of H⊙K is a finite sum of elementary tensors u⊗v, and the defining relations make (u,v)↦u⊗v C-bilinear. Define, for finite sums,

⟨∑iui⊗vi, ∑juj′⊗vj′⟩:=∑i,j⟨ui,uj′⟩H ⟨vi,vj′⟩K.

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 H⊙K, linear in the first argument and conjugate-linear in the second;

(b) positive definiteness and orthonormal coordinates: ⟨z,z⟩≥0 for every z∈H⊙K, with ⟨z,z⟩=0 exactly for z=0; more precisely, if U0⊆H and V0⊆K are finite-dimensional subspaces with orthonormal bases e1,…,ep and f1,…,fq, then every z in the span of the elementary tensors from U0×V0 has a unique expansion z=∑a,bcab ea⊗fb and ⟨z,z⟩=∑a,b∣cab∣2; in particular the assignment is an inner product on H⊙K;

(c) completion: the norm completion (H⊙K^,κ) of H⊙K (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, ∥κ(u⊗v)∥=∥u∥ ∥v∥, and any two completions of H⊙K are identified by a unique surjective linear isometry fixing H⊙K pointwise;

(d) product bases: if (ea)a∈A and (fb)b∈B are orthonormal families in H and K whose closed linear spans are H and K, then (κ(ea⊗fb))(a,b)∈A×B is an orthonormal family in H⊙K^ whose closed linear span is H⊙K^; if A and B are countable then H⊙K^ is separable.

The notation H⊗^K:=H⊙K^ is used in the rest of this pair. More precisely, if (Y,ι) and (Z,j) are any two norm completions of H⊙K, there is a unique surjective linear isometry U:Y→Z with U∘ι=j. No assertion is made about unbounded operators or algebraic sums of non-completed tensor products.

Facts & Assumptions

Given: Complex Hilbert spaces H,K with pairing linear in the first argument; the algebraic tensor product H⊙K of The tensor product M⊗RN from the additive group underlying the free Z-module on M×N, elementary tensors, and finite tensor sums over R=C; the displayed sesquilinear form; finite sums of elementary tensors.

[F1]

The tensor product M⊗RN is the quotient of the free Z-module F=Z(M×N) by the subgroup generated by e(m+m′,n)−e(m,n)−e(m′,n), e(m,n+n′)−e(m,n)−e(m,n′) and e(mr,n)−e(m,rn); its elements are the cosets m⊗n, every tensor is a finite sum of elementary tensors, the relations (m+m′)⊗n=m⊗n+m′⊗n, m⊗(n+n′)=m⊗n+m⊗n′ and (mr)⊗n=m⊗(rn) hold, and 0⊗n=0=m⊗0 (The tensor product M⊗RN from the additive group underlying the free Z-module on M×N, elementary tensors, and finite tensor sums).

[F2]

A completion of a normed space X is a pair (X^,ι) with X^ Banach, ι:X→X^ a linear isometry and ι[X] dense; and if X 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).

[F3]

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 ∥v∥=⟨v,v⟩1/2 (Real and complex inner-product spaces and their induced length, The induced length is a norm).

[F4]

Every finite-dimensional complex inner product space has an orthonormal basis (Every finite-dimensional real or complex inner product space has an orthonormal basis).

[F5]

For an orthonormal family (gi)i∈I in a Hilbert space the finite partial sums PFx=∑i∈F⟨x,gi⟩gi converge to x for every x 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).

[F6]

In a complex inner product space, ∣⟨x,y⟩∣≤∥x∥ ∥y∥, and ∥x∥=0 implies x=0 (Cauchy–Schwarz: ∣⟨u,v⟩∣≤∥u∥∥v∥, with equality exactly for linearly dependent vectors, Orthogonality and the orthogonal complement).

Proof

technique · direct: descend the coordinate functionals through the defining relations, verify the sesquilinear form and its positive definiteness in orthonormal coordinates of the finite-dimensional factor spans, complete, and extend the product-basis density by the norm estimate for elementary products
1.1givenF1algebra

[The quotient is a complex vector space] Since C is commutative, for each c∈C the Z-linear self-map Lc of F induced by e(u,v)↦e(cu,v) maps every defining generator of H0 to a defining generator: Lc(e(u+u′,v)−e(u,v)−e(u′,v))=e(cu+cu′,v)−e(cu,v)−e(cu′,v) is the first relation at (cu,cu′,v), the second family is preserved in the same way, and Lc(e(ur,v)−e(u,rv))=e(c(ur),v)−e(cu,rv) is the third relation at (cu,r,v) because c(ur)=(cu)r. Hence Lc[H0]⊆H0 and Lc descends to a Z-linear map of F/H0; because LcLc′=Lcc′ and the actions distribute over the abelian group, F/H0 becomes a C-vector space with c⋅(u⊗v)=(cu)⊗v; the third relation gives (cu)⊗v=u⊗(cv), so the quotient is the C-bilinear tensor product H⊙K.

1.2givenF1F3algebra

[Well-definedness and sesquilinearity] For fixed (u0,v0) the map (u,v)↦⟨u,u0⟩H⟨v,v0⟩K is C-linear on H×K (both factors are linear in their first argument by [F3]) and vanishes on each generating relation of H0: for the additive relations by bilinearity of the pairings, and for (ur,v)−(u,rv) because ⟨ur,u0⟩⟨v,v0⟩=⟨u,u0⟩⟨rv,v0⟩ holds in the commutative field C with the C-module structures. Hence it descends to a C-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 ⟨z,w⟩=⟨w,z⟩‾ because both factor pairings have this property and complex conjugation is multiplicative.

2.1step 1.1step 1.2F4F6algebra

[Positive definiteness and unique orthonormal coordinates] Let z=∑i=1nui⊗vi, let U0=span⁡{ui} and V0=span⁡{vi}, and choose orthonormal bases e1,…,ep of U0 and f1,…,fq of V0 by [F4]. Write ui=∑aαiaea and vi=∑bβibfb; bilinearity of ⊗ (step 1.1) gives z=∑a,bcabea⊗fb with cab=∑iαiaβib. By the defining formula of the Statement and orthonormality, ⟨z,z⟩=∑a,b,c,dcabccd‾⟨ea,ec⟩⟨fb,fd⟩=∑a,b∣cab∣2≥0. If z=0, then this same displayed formula gives ∑a,b∣cab∣2=⟨z,z⟩=0, so every cab=0, because a sum of nonnegative real numbers vanishes only if every term does; conversely, if cab=0 for all a,b then bilinearity gives z=∑a,b0⋅ea⊗fb=0. Hence ⟨z,z⟩=0 exactly when z=0, and applying the same argument to the difference of two expansions shows that the coefficients relative to orthonormal families are unique.

3.1step 2.1F2F3constructalgebra

[Completion and the norm of elementary tensors] By steps 1.2 and 2.1, (H⊙K,⟨⋅,⋅⟩) is a complex inner product space with induced norm ∥z∥=⟨z,z⟩1/2 by [F3]. Its norm completion (H⊙K^,κ) 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 H⊙K^ is a Hilbert space and κ is a linear isometry with dense image. The norm of an elementary tensor is ∥κ(u⊗v)∥2=⟨u⊗v,u⊗v⟩=⟨u,u⟩H⟨v,v⟩K=∥u∥2∥v∥2, hence ∥κ(u⊗v)∥=∥u∥ ∥v∥. To prove the completion uniqueness asserted above, let (Y,ι) and (Z,j) be completions. The rule ι(z)↦j(z) is a well-defined linear isometry on the dense subspace ι[H⊙K]. For y∈Y, choose zn∈H⊙K with ι(zn)→y and define U(y):=lim⁡nj(zn); the isometry makes (j(zn)) Cauchy and makes this limit independent of the approximating sequence. Thus U is a linear isometry with U∘ι=j. Its image is closed because Y is complete and contains the dense set j[H⊙K], so it is onto; any two such continuous extensions agree on a dense subspace and hence everywhere.

4.1step 3.1F1algebra

[Orthonormal family of products] Let (ea)a∈A, (fb)b∈B be orthonormal with closed linear spans H and K. For pairs (a,b)≠(a′,b′) at least one index differs, so ⟨κ(ea⊗fb),κ(ea′⊗fb′)⟩=⟨ea,ea′⟩H⟨fb,fb′⟩K=0, and for equal pairs the value is 1; hence the products are orthonormal in H⊙K^.

5.1step 3.1step 4.1F5F6algebra∎

[Density of the product span] Fix ε>0 and z=∑i=1nui⊗vi∈H⊙K. By [F5] applied to (ea) and to (fb) there are finite sets Ai⊆A, Bi⊆B with ∥ui−∑a∈Ai⟨ui,ea⟩ea∥<ε/(n(∥vi∥+1)) and ∥vi−∑b∈Bi⟨vi,fb⟩fb∥<ε/(n(∥ui∥+1)); write ui′,vi′ for the finite sums and z′=∑iui′⊗vi′. Then z−z′=∑i((ui−ui′)⊗vi+ui′⊗(vi−vi′)), and by the triangle inequality, ∥ui′∥≤∥ui∥ (Bessel, [F5]) and the norm formula of step 3.1, ∥z−z′∥≤∑i(∥ui−ui′∥ ∥vi∥+∥ui∥ ∥vi−vi′∥)<2ε. Hence every element of the dense subspace κ[H⊙K] is approximated by finite sums ∑cabκ(ea⊗fb), so the closed linear span of the product family contains κ[H⊙K] and therefore coincides with H⊙K^; by [F5] the family is a complete orthonormal system. If A and B are countable, then A×B is countable and the closed span of a countable family is separable, so H⊙K^ is separable.

LemmaStatement: Literature-sourcedProof: AI-adaptedOpen item page →

Rank-one operator calculus

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)). Let H 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 u,v∈H let

Tu,vx:=⟨x,v⟩u(x∈H).

Then:

(a) Tu,v∈B(H) with ∥Tu,v∥=∥u∥ ∥v∥ (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 (u,v)↦Tu,v is linear in u and conjugate-linear in v;

(b) Tu,v is trace class (Trace class operator) with ∥Tu,v∥1=∥u∥ ∥v∥ and tr⁡(Tu,v)=⟨u,v⟩;

(c) Tu,v∗=Tv,u (The Hilbert-space adjoint of a bounded operator); Tx,x is a positive bounded operator in the sense of Self-adjoint, positive, unitary and normal operators, with ⟨Tx,xy,y⟩=∣⟨y,x⟩∣2≥0 for every y∈H, and tr⁡(Tx,x)=∥x∥2, ∥Tx,x∥1=∥x∥2;

(d) for bounded B∈B(H), BTu,v=TBu,v and Tu,vB=Tu,B∗v;

(e) for trace-class S, STu,v=TSu,v, Tu,vS=Tu,S∗v and tr⁡(STx,y)=⟨Sx,y⟩=tr⁡(Tx,yS);

(f) the map (u,v)↦Tu,v is continuous H×H→S1(H) for the trace norm, so in particular v↦Tv,v and v↦Tu,v are trace-norm continuous for fixed u.

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 H with pairing linear in the first argument; vectors u,v,x,y,w,z∈H; a bounded operator B; a trace-class operator S.

[F1]

A compact operator T is trace class when ∑nsn(T)<∞, with trace norm ∥T∥1=∑nsn(T); then ∥T∥1≥∥T∥, the zero operator is trace class, and every bounded finite-rank operator is compact (Trace class operator, Bounded finite rank operators are compact).

[F2]

T is trace class if and only if it has a nuclear representation Tx=∑j⟨x,uj⟩vj converging in operator norm with ∑j∥uj∥ ∥vj∥<∞; then ∥T∥1=inf⁡∑j∥uj∥ ∥vj∥ over all such representations, the infimum being attained (Nuclear series characterizes trace norm).

[F3]

For every nuclear representation T=∑jTvj,uj of a trace-class operator, the scalar series ∑j⟨vj,uj⟩ converges absolutely to a number tr⁡(T) independent of the representation, the trace is linear in the trace-class variable, and ∣tr⁡(T)∣≤∥T∥1 (Trace is absolutely convergent and basis independent).

[F4]

The Hilbert adjoint is characterised by ⟨Bx,y⟩=⟨x,B∗y⟩ for all x,y and is unique; the pairing is linear in the first argument and conjugate-linear in the second with ⟨x,y⟩=⟨y,x⟩‾, and ∣⟨x,y⟩∣≤∥x∥ ∥y∥ (The Hilbert-space adjoint of a bounded operator, Real and complex inner-product spaces and their induced length, Cauchy–Schwarz: ∣⟨u,v⟩∣≤∥u∥∥v∥, with equality exactly for linearly dependent vectors).

[F5]

On the trace-class operators ∥⋅∥1 is a norm, they form a Banach space, and ∥T∥≤∥T∥1 and ∥ATB∥1≤∥A∥ ∥T∥1∥B∥ (Trace class is a two sided Banach operator ideal).

[F6]

The operator norm is ∥B∥=sup⁡∥x∥≤1∥Bx∥ for bounded B; 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

1.1givenF4F6algebra

[Boundedness, norm and linearity] Tu,v is linear and ∥Tu,vx∥=∣⟨x,v⟩∣ ∥u∥≤∥x∥ ∥v∥ ∥u∥ by [F4], so ∥Tu,v∥≤∥u∥ ∥v∥ [F6]; if u≠0 and v≠0, taking x=v/∥v∥ gives Tu,vx=∥v∥u and hence ∥Tu,v∥≥∥u∥ ∥v∥, while for u=0 or v=0 the operator vanishes and both sides are 0. Linearity in u and conjugate-linearity in v are immediate from the definition and the pairing conventions [F4].

2.1step 1.1F1F2F5algebra

[Trace class and trace norm] The range of Tu,v is contained in Cu, so Tu,v has rank at most one, is finite rank, compact [F1]; its one-term nuclear representation is Tu,v=∑jTvj,uj with v1=u, u1=v and the remaining terms zero, so ∑j∥uj∥ ∥vj∥=∥v∥ ∥u∥ and [F2] first establishes trace class and gives ∥Tu,v∥1≤∥u∥ ∥v∥, while ∥Tu,v∥1≥∥Tu,v∥=∥u∥ ∥v∥ by [F5] and step 1.1. Hence ∥Tu,v∥1=∥u∥ ∥v∥.

3.1step 2.1F3algebra

[The trace] Applying [F3] to the one-term nuclear representation of step 2.1 gives tr⁡(Tu,v)=∑j⟨vj,uj⟩=⟨u,v⟩. In particular tr⁡(Tx,x)=⟨x,x⟩=∥x∥2 and, with step 2.1, ∥Tx,x∥1=∥x∥2.

3.2step 1.1step 2.1F4F6algebra

[Adjoint, positivity and one-sided products] For all x,y, ⟨Tu,vx,y⟩=⟨x,v⟩⟨u,y⟩=⟨x,⟨y,u⟩v⟩ by [F4], so Tu,v∗=Tv,u; in particular Tx,x is self-adjoint, and ⟨Tx,xy,y⟩=∣⟨y,x⟩∣2≥0 for every y, so it is positive by [F6]. For bounded B: (BTu,v)x=B(⟨x,v⟩u)=⟨x,v⟩Bu=TBu,vx and (Tu,vB)x=⟨Bx,v⟩u=⟨x,B∗v⟩u=Tu,B∗vx, using the defining property of the adjoint [F4].

3.3step 1.1step 2.1F5algebra

[Trace-norm continuity] By the bilinearity of step 1.1, Tu,v−Tu′,v′=Tu−u′,v+Tu′,v−v′; by [F5] and the estimates of steps 1.1 and 2.1, ∥Tu,v−Tu′,v′∥1≤∥u−u′∥ ∥v∥+∥u′∥ ∥v−v′∥, which tends to 0 whenever (u′,v′)→(u,v) in H×H; hence (u,v)↦Tu,v is continuous into S1(H), and fixing one slot gives the stated continuity. This is (f).

4.1step 3.1step 3.2F3F4algebra∎

[Products with trace-class operators] If S is trace class then (STu,v)x=⟨x,v⟩Su=TSu,vx and (Tu,vS)x=⟨Sx,v⟩u=⟨x,S∗v⟩u=Tu,S∗vx, so STu,v=TSu,v and Tu,vS=Tu,S∗v [F4]; applying step 3.1 to the rank-one operators TSu,v and Tu,S∗v gives tr⁡(STx,y)=⟨Sx,y⟩ and tr⁡(Tx,yS)=⟨x,S∗y⟩=⟨Sx,y⟩. 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.

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Bounded tensor maps: extension, norm estimate, adjoint and commutation

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)). Let H,H′,K,K′ be complex Hilbert spaces and let S∈B(H,H′), T∈B(K,K′) be bounded linear operators (A bounded linear operator between normed spaces). Write H⊗^K 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 S⊗T:H⊗^K→H′⊗^K′ with (S⊗T)κ(u⊗v)=κ′(Su⊗Tv) for all u∈H, v∈K, and it satisfies ∥S⊗T∥≤∥S∥ ∥T∥ (The operator norm as the least bound and as the unit-sphere or unit-ball supremum).

(b) For Hilbert spaces H′′,K′′ and bounded S′:H′′→H, T′:K′′→K, one has (S⊗T)(S′⊗T′)=(SS′)⊗(TT′). In particular, for endomorphisms S:H→H, T:K→K, the endomorphisms S⊗IK and IH⊗T commute and their composite is S⊗T.

(c) The Hilbert adjoint (The Hilbert-space adjoint of a bounded operator) is (S⊗T)∗=S∗⊗T∗.

(d) If S,T are unitary, then so is S⊗T. No extension of unbounded maps, and no algebraic manipulation of domains of unbounded operators, is asserted.

Facts & Assumptions

Given: Complex Hilbert spaces H,H′,K,K′; bounded operators S∈B(H,H′), T∈B(K,K′); in (b), composable S′:H′′→H, T′:K′′→K; the completions H⊗^K, H′⊗^K′ of Hilbert tensor construction: inner product, completion and product bases with inclusions κ,κ′; the elementary tensors u⊗v.

[F1]

The construction of Hilbert tensor construction: inner product, completion and product bases gives: the algebraic tensor product H⊙K with u⊗v bilinear; a positive definite inner product with ⟨u⊗v,u′⊗v′⟩=⟨u,u′⟩H⟨v,v′⟩K; the completion H⊗^K with dense inclusion κ; unique orthonormal-coordinate expansions with ∥∑a,bcabea⊗fb∥2=∑a,b∣cab∣2 for orthonormal families (ea)⊆H, (fb)⊆K spanning finite-dimensional subspaces; and ∥κ(u⊗v)∥=∥u∥ ∥v∥.

[F2]

If X is a normed space, D⊆X a dense normed subspace, Y a Banach space and L:D→Y bounded linear, then L has a unique bounded linear extension to X of the same norm (A bounded linear map from a dense normed subspace into a Banach space extends uniquely with the same norm).

[F3]

A linear map is bounded exactly when it admits a finite bound ∥Lx∥≤C∥x∥, 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).

[F4]

The Hilbert adjoint L∗ of a bounded operator L∈B(X,Y) is the unique bounded operator with ⟨Lx,y⟩Y=⟨x,L∗y⟩X for all x∈X, y∈Y; it satisfies (L1L2)∗=L2∗L1∗, L∗∗=L and ∥L∗∥=∥L∥ (The Hilbert-space adjoint of a bounded operator, Hilbert-adjoint identities).

Proof

1.1givenF1algebra

[The bilinear extension on the algebraic tensor product] Put R0(u⊗v):=κ′(Su⊗Tv) and extend C-linearly to finite sums. This is well defined and C-linear on H⊙K because (u,v)↦Su⊗Tv is C-bilinear, composition of the linear maps S,T with the bilinear tensor map; thus R0 is the unique linear map on H⊙K with R0(u⊗v)=κ′(Su⊗Tv).

2.1step 1.1F1F3algebra

[One-sided norm estimates] Let z=∑i=1nui⊗vi∈H⊙K. Let V0=span⁡{vi} and let f1,…,fq be an orthonormal basis of V0; grouping the expansion of each vi in this basis gives z=∑b=1qub⊗fb with ub∈span⁡{ui}. By the norm formula of [F1] and ∥Sub∥≤∥S∥ ∥ub∥, ∥(S⊗I)z∥2=∑b∥Sub∥2≤∥S∥2∑b∥ub∥2=∥S∥2∥z∥2, so the map S⊗IK on elementary tensors is bounded with norm at most ∥S∥; symmetrically ∥(IH⊗T)z∥≤∥T∥ ∥z∥. Hence ∥R0z∥≤∥S∥ ∥T∥ ∥z∥ for all z∈H⊙K, because R0 is the composite of the two one-sided maps on elementary tensors and the estimates compose.

3.1step 1.1step 2.1F2

[Extension to the completions] By [F2] applied to the dense subspace H⊙K of H⊗^K and the Banach space H′⊗^K′, the map R0 has a unique bounded linear extension S⊗T:H⊗^K→H′⊗^K′ of the same norm; by step 2.1 its norm is at most ∥S∥ ∥T∥, and uniqueness also shows that (S⊗T)κ=R0. This is clause (a).

4.1step 3.1F2algebra

[Products and commutation] For u⊗v one has (S⊗T)(S′⊗T′)(u⊗v)=κ′(SS′u⊗TT′v)=(SS′⊗TT′)(u⊗v); the two maps are bounded and agree on the dense subspace H′′⊙K′′, hence everywhere by uniqueness of bounded extensions, giving the first identity of (b) for elementary tensors in H′′⊙K′′. In the endomorphism case, taking T′=IK, S′=IH and using I⊗I=I shows (S⊗IK)(IH⊗T)=S⊗T; applying the same identity with the roles exchanged gives (IH⊗T)(S⊗IK)=S⊗T, since SIH=S and IKT=T.

4.2step 3.1F1F4algebra

[Adjoint] For u∈H, u′∈H′ and v∈K, v′∈K′, ⟨(S⊗T)κ(u⊗v),κ′(u′⊗v′)⟩=⟨Su,u′⟩H′⟨Tv,v′⟩K′=⟨u,S∗u′⟩H⟨v,T∗v′⟩K=⟨κ(u⊗v),(S∗⊗T∗)κ′(u′⊗v′)⟩, 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 H⊗^K×H′⊗^K′; by the uniqueness in [F4], (S⊗T)∗=S∗⊗T∗.

5.1step 4.1step 4.2algebra∎

[Unitary case] If S,T are unitary then S∗S=I, SS∗=I, T∗T=I, TT∗=I, so by steps 4.1 and 4.2 (S⊗T)∗(S⊗T)=S∗S⊗T∗T=I⊗I=I and likewise (S⊗T)(S⊗T)∗=I, whence S⊗T is unitary.

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Density operators and scalar spectral probability

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)) and let H be a nonzero complex Hilbert space (Hilbert space). Recall that Tu,v∈B(H) denotes the rank-one operator Tu,vx=⟨x,v⟩u (Rank-one operator calculus).

(a) A density operator on H is a self-adjoint positive trace-class operator ρ with tr⁡ρ=1 (Trace class operator, Trace of a trace class operator, Self-adjoint, positive, unitary and normal operators). If (un)n∈J is a finite or countable orthonormal family, with J a finite initial segment of the positive integers or all positive integers, and wn≥0 with ∑nwn=1, then the sum ρ:=∑nwnTun,un converges in trace norm to a density operator with tr⁡ρ=∑nwn=1. 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 E be a projection-valued measure on a measurable space (X,Σ) acting on H (Projection valued measure). Then μρ(B):=tr⁡(ρE(B)) is a well-defined probability measure on (X,Σ) (Measures on sigma-algebras, Probability measures and probability spaces); it is given by the absolutely convergent series μρ(B)=∑nwn∥E(B)un∥2 in every expansion of (a), and reduces to μρ(B)=∥E(B)u∥2 for a pure density operator ρ=Tu,u with ∥u∥=1.

(c) Assume in addition the Axiom of Choice (The Axiom of Choice). Let A be a self-adjoint operator with projection-valued measure EA (Spectral theorem for unbounded self-adjoint operators (PVM form)) and let ψ∈H have ∥ψ∥=1 and ψ∈D(A). Here ∣A∣1/2 denotes the unbounded PVM integral f(EA) for f(λ)=∣λ∣1/2, with domain D(f(EA))={ψ:∫∣λ∣ dEA,ψ<∞} as in Integral of a measurable function against a projection-valued measure. Then

∫Rλ dEA,ψ(λ)=⟨Aψ,ψ⟩,∫Rλ2 dEA,ψ(λ)=∥Aψ∥2,

where EA,ψ(B)=⟨EA(B)ψ,ψ⟩ (Scalar and complex measures from a pvm); moreover ∫R∣λ∣ dEA,ψ(λ)<∞ exactly when ψ∈D(∣A∣1/2), and then the mean ∫λ dEA,ψ is finite. No product Aρ 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 H; orthonormal vectors un and weights wn≥0; a density operator ρ; a PVM E on (X,Σ); in clause (c) a self-adjoint A with PVM EA and a unit vector ψ∈D(A).

[F1]

Tu,vx=⟨x,v⟩u is trace class with ∥Tu,v∥1=∥u∥ ∥v∥ and tr⁡(Tu,v)=⟨u,v⟩; T is trace class iff it is a norm limit of a nuclear series T=∑jTvj,uj with ∑j∥vj∥ ∥uj∥<∞, and then ∥T∥1=inf⁡∑j∥vj∥ ∥uj∥ over such representations (Rank-one operator calculus, Nuclear series characterizes trace norm).

[F2]

Trace class is a two-sided Banach operator ideal: ∥ATB∥1≤∥A∥ ∥T∥1∥B∥, and the trace is linear on the trace-class operators with ∣tr⁡T∣≤∥T∥1 (Trace class is a two sided Banach operator ideal, Trace is absolutely convergent and basis independent).

[F3]

If T is compact and self-adjoint, its nonzero eigenvalues are real with finite multiplicity and accumulate only at 0, the closed span of their eigenspaces is (ker⁡T)⊥=ran⁡T‾, and Tx=∑λλPλx converges in norm, where Pλ is the orthogonal projection onto the eigenspace of λ (Spectral theorem for compact self adjoint operators).

[F4]

If T∈B(H) is self-adjoint and positive and trace class, then sn(T)=λn and tr⁡T=∑n≥1λn=∥T∥1, 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).

[F5]

A PVM E is a map into orthogonal projections with E(∅)=0, E(X)=I, E(B∩C)=E(B)E(C) and strong countable additivity; for every x the set function Ex(B)=⟨E(B)x,x⟩ is a positive measure with Ex(X)=∥x∥2≤∥x∥2 and E(B) is an orthogonal projection, so ⟨E(B)x,x⟩=∥E(B)x∥2≥0 (Projection valued measure, Scalar and complex measures from a pvm).

[F6]

Assume the Axiom of Choice. For a self-adjoint A with PVM EA, D(A)={ψ:∫λ2dEA,ψ<∞} and Aψ=∫λ dEA(λ)ψ; the integral against a PVM defines f(A) on D(f(A))={ψ:∫∣f∣2dEA,ψ<∞} (Spectral theorem for unbounded self-adjoint operators (PVM form), Integral of a measurable function against a projection-valued measure). For bounded f and x∈H, ⟨ΦE(f)x,x⟩=∫f dEx and ∥ΦE(f)x∥2=∫∣f∣2dEx (Bounded borel pvm integral).

[F7]

If nonnegative measurable fn increase pointwise to f, then ∫fn dμ↑∫f dμ (Monotone convergence for the integral); if measurable complex-valued fn,f satisfy fn→f almost everywhere and ∣fn∣≤g almost everywhere for a nonnegative measurable integrable g, then ∫fn dμ→∫f dμ (Dominated convergence).

Proof

1.1givenF1F2F3F4choosealgebra

[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 μ1>μ2>⋯ have finite multiplicities, accumulate only at 0, and ρx=∑kμkPkx with Pk the orthogonal projection onto Eμk(ρ). Each Eμk(ρ) 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 (un) with the corresponding eigenvalues wn>0 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 ρx=∑nwn⟨x,un⟩un, that is, ρ=∑nwnTun,un in operator norm, and [F4] gives tr⁡ρ=∑nwn=∥ρ∥1=1. 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.

1.2givenF1F2algebra

[Weighted sums are density operators] Conversely let (un) be orthonormal and wn≥0 with ∑nwn=1. The series ∑nwnTun,un is nuclear with ∑nwn∥un∥ ∥un∥=∑nwn<∞, 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 ∥ρ∥1≤1; this also gives operator-norm convergence; it is self-adjoint, and ⟨ρx,x⟩=∑nwn∣⟨x,un⟩∣2≥0 by continuity of the pairing and nonnegativity of each term, so ρ is positive; [F1] and [F2] give tr⁡ρ=∑nwn⟨un,un⟩=∑nwn=1 by linearity and absolute convergence. Hence ρ is a density operator. Distinct orthonormal bases of a single positive eigenspace produce different families (un) with the same sum, so expansions are not unique.

2.1step 1.1step 1.2F1F2F5F7algebra

[The scalar law of a PVM] Let E be a PVM on (X,Σ) and let ρ=∑nwnTun,un be an expansion from step 1.1 (any expansion gives the same value below by step 1.2 and [F2]). For B∈Σ, Tun,unE(B)=Tun,E(B)un, so by linearity of the trace and trace-norm convergence of the series (traced against the bounded E(B)), tr⁡(ρE(B))=∑nwntr⁡(Tun,E(B)un)=∑nwn⟨un,E(B)un⟩=∑nwn∥E(B)un∥2, the series converging absolutely with value in [0,1] because the finite subsums are bounded by ∑wn∥un∥2=1 by [F5]. Setting B=X gives μρ(X)=∑nwn=1. If Bk are pairwise disjoint with union B, then for each n the identity ∥E(B)un∥2=∑k∥E(Bk)un∥2 holds by strong additivity of E and continuity of the norm (Projection valued measure); summing the resulting absolutely convergent nonnegative double series by [F7] gives μρ(B)=∑kμρ(Bk). Thus μρ is a probability measure; for ρ=Tu,u with ∥u∥=1 step 1.2 applies with w1=1, giving μρ(B)=∥E(B)u∥2.

3.1givenF6F7algebra∎

[Moments for a self-adjoint operator, under AC] Assume the Axiom of Choice and let ψ∈D(A) with ∥ψ∥=1 and EA the PVM of A. By [F6], ∫λ2dEA,ψ<∞ and, for the bounded measurable truncations λn:=λ1{∣λ∣≤n}, ΦEA(λn)ψ→Aψ in norm. The bounded quadratic identity gives ∥ΦEA(λn)ψ∥2=∫λ21{∣λ∣≤n}dEA,ψ. These nonnegative measurable integrands increase to λ2, so monotone convergence [F7] and norm continuity give ∫λ2dEA,ψ=lim⁡n∥ΦEA(λn)ψ∥2=∥Aψ∥2. Since ψ∈D(A) the integral ∫∣λ∣ dEA,ψ is finite, because ∣λ∣≤(1+λ2)/2 and ∫dEA,ψ=1; the same truncations λn satisfy ∣λn∣≤∣λ∣ and λn→λ pointwise, so Dominated convergence applied to the finite measures EA,ψ gives ∫λ dEA,ψ=lim⁡n∫λn dEA,ψ. Pairing the identity Aψ=lim⁡nΦEA(λn)ψ (the defining truncation limit of Integral of a measurable function against a projection-valued measure) with ψ and using ⟨ΦEA(λn)ψ,ψ⟩=∫λn dEA,ψ from [F6] yields ⟨Aψ,ψ⟩=∫λ dEA,ψ(λ). Finally [F6] applied to f=∣λ∣1/2 gives ∫∣λ∣ dEA,ψ<∞ exactly when ψ∈D(∣A∣1/2), and in that case the mean integral is finite.

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Weak-form Robertson uncertainty on a common domain

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)). Let H be a complex Hilbert space (Hilbert space) and let A,B be symmetric densely defined operators on H (Symmetric, self-adjoint and essentially self-adjoint operators, Adjoint of a densely defined operator). Let u∈D(A)∩D(B) have ∥u∥=1, and put

a:=⟨Au,u⟩,b:=⟨Bu,u⟩,x:=(A−a)u,y:=(B−b)u,ΔA:=∥x∥,ΔB:=∥y∥.

Then:

(a) a and b are real, x,y∈H, and ΔAΔB≥∣⟨x,y⟩∣≥∣Im⁡⟨x,y⟩∣;

(b) (refined form) (ΔA)2(ΔB)2≥[Re⁡⟨x,y⟩]2+[Im⁡⟨x,y⟩]2;

(c) if in addition u∈D(AB)∩D(BA), then ([A,B]u,u)=⟨ABu,u⟩−⟨BAu,u⟩=−2iIm⁡⟨Au,Bu⟩=−2iIm⁡⟨x,y⟩, and consequently ΔAΔB≥12∣([A,B]u,u)∣;

(d) for c>0, H=L2(R) and the operators Qf(x)=xf(x), Pf(x)=−icf′(x) defined on the Schwartz space S(R): every unit f∈S(R) satisfies (QP−PQ)f=icf, the numbers aQ=∫Rx∣f(x)∣2dx and bP=⟨Pf,f⟩ are real, and with xQ:=(Q−aQ)f, yP:=(P−bP)f one has ∣Im⁡⟨xQ,yP⟩∣=c/2; hence ΔQΔP≥c/2 in the sense of the centered norms.

No assertion is made about products AB off D(AB) and the statement produces no energy-time inequality.

Facts & Assumptions

Given: A complex Hilbert space H with pairing linear in the first argument; symmetric densely defined A,B; a unit vector u∈D(A)∩D(B); in clause (d) the operators Q,P on S(R).

[F1]

For a symmetric operator T (so T⊆T∗) and v∈D(T), ⟨Tv,v⟩=⟨v,Tv⟩=⟨Tv,v⟩‾, so the number is real (Symmetric, self-adjoint and essentially self-adjoint operators, Adjoint of a densely defined operator).

[F2]

If T is symmetric and v∈D(T), then (T−λ)v∈H for every real λ; and ∥(T−λ)v∥2=∥Tv∥2−2λRe⁡⟨Tv,v⟩+λ2∥v∥2, so centering by the real mean λ=⟨Tv,v⟩ is legitimate (Symmetric, self-adjoint and essentially self-adjoint operators).

[F3]

In a complex inner product space, ∣⟨v,w⟩∣≤∥v∥ ∥w∥ and ∣⟨v,w⟩∣2=(Re⁡⟨v,w⟩)2+(Im⁡⟨v,w⟩)2 (Cauchy–Schwarz: ∣⟨u,v⟩∣≤∥u∥∥v∥, with equality exactly for linearly dependent vectors).

[F4]

S(R) consists of C∞ complex functions all of whose polynomial-weighted derivatives are bounded; in particular f,f′,xf,xf′∈L2(R) and xf(x)f(x)‾→0 as x→±∞ for every f∈S(R) (Schwartz space and its seminorms).

[F6]

For differentiable real u,v on [a,b] with integrable derivatives, ∫abuv′=u(b)v(b)−u(a)v(a)−∫abu′v (If u,v are differentiable on [a,b] with u′,v′ integrable, then ∫abuv′=u(b)v(b)−u(a)v(a)−∫abu′v); a continuous real function on an interval has a primitive and ∫abG′=G(b)−G(a) for it (Every continuous function on an interval has a primitive; two primitives differ by a constant; and ∫abf=G(b)−G(a) for any primitive G); the improper integral over an unbounded interval is the limit of the compact-interval integrals (Improper integrals over unbounded intervals).

Proof

1.1givenF1F2algebra

[Reality of the means] By [F1] applied to T=A and T=B, a=⟨Au,u⟩ and b=⟨Bu,u⟩ are real. Hence x=Au−au∈H and y=Bu−bu∈H, and ΔA=∥x∥, ΔB=∥y∥ are the norms of the centered vectors; the centering by the real means is the construction recorded in [F2].

1.2givenF4F5F6algebra

[Boundary-vanishing pairing identity on the Schwartz space] Let f,g∈S(R). Applying [F6] on [−R,R] to the real and imaginary parts of f and g‾ and summing the four identities gives ∫−RRf′g‾=[fg‾]−RR−∫−RRfg′‾; by [F4] the boundary term f(R)g‾(R)−f(−R)g‾(−R) tends to 0 as R→∞, while both improper integrals converge absolutely because f′g‾ and fg′‾ are products of Schwartz functions; taking the limit in [F6]'s finite identity therefore gives ∫Rf′g‾=−∫Rfg′‾.

2.1step 1.1F3algebra

[Cauchy-Schwarz bounds] By [F3], ΔAΔB=∥x∥ ∥y∥≥∣⟨x,y⟩∣, and ∣⟨x,y⟩∣≥∣Im⁡⟨x,y⟩∣; squaring the first identity of [F3] gives (ΔA)2(ΔB)2≥(Re⁡⟨x,y⟩)2+(Im⁡⟨x,y⟩)2. This is (a) and (b).

2.2step 1.2F4F5F6algebra

[The position-momentum commutator] For f∈S(R) the product rule [F5] applied componentwise gives (xf)′(x)=f(x)+xf′(x) and hence (QP−PQ)f(x)=x(−icf′(x))−(−ic)(f(x)+xf′(x))=icf(x), so QP−PQ=icI on S(R). Moreover ∫R(x∣f∣2)′(x) dx=0: on [−R,R] the evaluation clause of [F6] gives ∫−RR(x∣f∣2)′ dx=x∣f∣2∣−RR, which tends to 0 by [F4], and (x∣f∣2)′=∣f∣2+2Re⁡(xf′f‾) is continuous and dominated by an integrable Schwartz bound, so its improper integral over R exists by [F6] and equals this limit. Expanding and using ∫R∣f∣2=1 yields ∫Rxf′f‾ dx+∫Rxff′‾ dx=−1; the second integral equals ∫Rxf′f‾ dx‾ by complex conjugation, so 2Re⁡∫Rxf′f‾ dx=−1.

3.1step 1.1step 2.1algebra

[Commutator pairing] Assume u∈D(AB)∩D(BA). Using symmetry of A with Bu∈D(A) and symmetry of B with Au∈D(B), ⟨ABu,u⟩=⟨Bu,Au⟩ and ⟨BAu,u⟩=⟨Au,Bu⟩, so ([A,B]u,u)=⟨Bu,Au⟩−⟨Au,Bu⟩=⟨Au,Bu⟩‾−⟨Au,Bu⟩=−2iIm⁡⟨Au,Bu⟩. Since a,b∈R, expanding ⟨x,y⟩=⟨(A−a)u,(B−b)u⟩ gives ⟨x,y⟩=⟨Au,Bu⟩−ab and therefore Im⁡⟨x,y⟩=Im⁡⟨Au,Bu⟩; combining with step 2.1 gives ΔAΔB≥12∣([A,B]u,u)∣.

4.1step 2.1step 2.2F4algebra∎

[The uncertainty product for the Schwartz pair] Let f∈S(R) have ∥f∥=1 and put aQ=∫Rx∣f∣2dx∈R, bP=⟨Pf,f⟩=−ic∫Rf′f‾ dx; step 1.2 with g=f gives ∫Rf′f‾=−∫Rf′f‾‾, so this number is purely imaginary and bP is real. With xQ=(Q−aQ)f and yP=(P−bP)f, both in L2(R) by [F4], one computes ⟨xQ,yP⟩=⟨Qf,Pf⟩−aQbP, using ⟨Qf,f⟩=aQ, ⟨f,Pf⟩=⟨Pf,f⟩‾=bP and ∥f∥=1. Now Im⁡⟨Qf,Pf⟩: writing w=∫Rxff′‾ dx and using ⟨Qf,Pf⟩=∫Rxf(−icf′)‾=icw, and w+w‾=∫Rx(∣f∣2)′=−1 from step 2.2, so Re⁡w=−12 and Im⁡⟨Qf,Pf⟩=cRe⁡w=−c2. Hence ∣Im⁡⟨xQ,yP⟩∣=c/2, and the Cauchy-Schwarz computation of step 2.1 applied to the explicitly centered vectors xQ,yP gives ΔQΔP≥c/2.

TheoremStatement: AI-adaptedProof: AI-adaptedOpen item page →

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 (ACω), The Axiom of Choice), let d≥1 and work on the complex Hilbert space H=L2(Rd;C), whose completeness follows from Riesz-Fischer completeness of Lp for 1≤p≤∞ and whose Hilbert-space structure is defined in Hilbert space.

(a) For a real measurable finite-valued function a:Rd→R define Maf:=af on D(Ma):={f∈H:af∈H}. Then Ma is a densely defined self-adjoint operator on H (Adjoint of a densely defined operator, Symmetric, self-adjoint and essentially self-adjoint operators).

(b) Let c>0, b∈R, and let F2 be the unitary Plancherel transform with the convention f^(ξ)=∫f(x)e−2πix⋅ξdx on L1 (Fourier transform on complex L1 classes, Plancherel theorem). Define

H0:=F2∗ Mc∣ξ∣2+b F2,D(H0):={f∈H:∣ξ∣2F2f∈H}.

Then H0 is self-adjoint, D(H0) coincides with the Sobolev space W2,2(Rd;C) 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), H0≥b in the quadratic-form sense, and for every Schwartz function f∈S(Rd), H0f=−(c/4π2)Δf+bf.

(c) If V:Rd→R is measurable with ∥V∥∞<∞ and H:=H0+MV with domain D(H0), then H is self-adjoint on D(H0), is bounded below, and the assignment t↦eitH is a strongly continuous one-parameter unitary group whose generator is iH: the limit lim⁡t→01t(eitHψ−ψ) exists exactly for ψ∈D(H) and equals iHψ (A self-adjoint operator generates a strongly continuous unitary group).

(d) Scope: the argument uses only boundedness and measurability of V; it proves nothing for V∝−1/∣x∣, V∝∣x∣2 or the delta interaction, does not identify H0 with any measured free-particle Hamiltonian, and asserts no physical interpretation.

Facts & Assumptions

Given: d≥1; H=L2(Rd;C); a real measurable finite-valued a; constants c>0, b∈R; a real bounded measurable V.

[F1]

If measurable fn→f pointwise and ∣fn∣≤g with ∫g<∞, then ∫∣fn−f∣→0 (Dominated convergence).

[F2]

For a densely defined operator T, D(T∗) consists of those y for which x↦⟨Tx,y⟩ is bounded on D(T); T is symmetric when ⟨Tx,y⟩=⟨x,Ty⟩ for x,y∈D(T), and self-adjoint when T=T∗ including domains (Adjoint of a densely defined operator, Symmetric, self-adjoint and essentially self-adjoint operators).

[F3]

F2:L2(Rd)→L2(Rd) is a surjective linear isometry extending the L1 transform f^(ξ)=∫f(x)e−2πix⋅ξdx, and it preserves the inner product (Plancherel theorem, Fourier transform on complex L1 classes).

[F4]

For f∈S(Rd) the Plancherel transforms of f and of its distributional Laplacian satisfy F2(Δf)(ξ)=−4π2∣ξ∣2F2f(ξ) for a.e. ξ (Distributional derivatives are polynomial Fourier multipliers, Schwartz space and its seminorms).

[F5]

W2,2(Rd;C) equals the set {f∈L2:⟨ξ⟩2F2f∈L2} and the two norms are equivalent; consequently {f:∣ξ∣2F2f∈L2}=W2,2 as sets (Integer-order W^{k,2} and H^k agree with equivalent norms, Integer-order Sobolev spaces and their norms).

[F6]

Let A be self-adjoint and B symmetric with D(A)⊆D(B) and A-bound less than one; then A+B on D(A) is self-adjoint and, when A≥γ with admissible pair (a,b) for B, A+B≥γ−max⁡{a∣γ∣+b, b/(1−a)} (Kato-Rellich theorem, Relative boundedness with respect to an operator).

[F7]

If T is self-adjoint with spectral PVM E and U(t)=eitT, then U is a strongly continuous one-parameter unitary group, U(t)D(T)=D(T), and lim⁡t→01t(U(t)ψ−ψ) exists exactly for ψ∈D(T), where it equals iTψ (A self-adjoint operator generates a strongly continuous unitary group).

[F8]

For Lebesgue measure and p=2, the quotient space L2(Rd) is complete, so with its usual first-variable-linear inner product it is a complex Hilbert space (Riesz-Fischer completeness of Lp for 1≤p≤∞, Hilbert space).

Proof

1.1givenF1F2F8algebra

[Density and symmetry of the multiplier] By [F8], the defined L2 space H is a complex Hilbert space. For f∈H and n≥1 put fn:=f1{∣a∣≤n}. Then afn is bounded by n∣fn∣, so fn∈D(Ma), and fn→f in H by [F1] applied to ∣fn−f∣2≤∣f∣2; hence D(Ma) is dense. For f,g∈D(Ma) the integral ∫afg‾ is defined and equals ∫fag‾ because a is real-valued, so ⟨Maf,g⟩=⟨f,Mag⟩: Ma is symmetric.

2.1step 1.1F2algebra

[Adjoint domain of the multiplier] Let g∈D(Ma∗) with representing vector h=Ma∗g, so ∫afg‾=∫fh‾ for all f∈D(Ma). Fix n and restrict to f∈H vanishing off En:={∣a∣≤n}; every such f lies in D(Ma), and the identity reads ∫En(ag‾−h‾)f=0 for all f∈L2(En), so h=ag a.e. on En; as En↑Rd, h=ag a.e., and since h∈H, ag∈H and g∈D(Ma). Conversely every g∈D(Ma) satisfies the adjoint identity with h=Mag. Hence D(Ma∗)=D(Ma) and Ma∗=Ma: Ma is self-adjoint, giving (a).

3.1step 2.1F2F3algebra

[Unitary conjugation] Let T:=Mc∣ξ∣2+b, self-adjoint on D(T)={g:c∣ξ∣2g∈H} by step 2.1 applied to the real finite-valued function c∣ξ∣2+b. Define H0:=F2∗TF2 on D(H0)=F2−1D(T)={f:∣ξ∣2F2f∈H}. For x,y∈D(H0), ⟨H0x,y⟩=⟨TF2x,F2y⟩ by unitarity of F2 [F3]. If y∈D(H0∗), the functional x↦⟨H0x,y⟩ is bounded on D(H0); conjugating by the unitary F2 shows that g↦⟨Tg,F2y⟩ is bounded on D(T), so F2y∈D(T∗)=D(T) and hence y∈D(H0) with H0∗y=F2∗T∗F2y=H0y; the reverse inclusion is immediate from the symmetry identity. Thus H0 is self-adjoint.

4.1step 3.1F3F4F5algebra

[Domain, lower bound and free action] By [F5], D(H0)=W2,2(Rd) as a set with equivalent norms. For f∈D(H0) the pairing with f is computed in the ξ-variable, where multiplication by c∣ξ∣2+b≥b gives ⟨H0f,f⟩=∫(c∣ξ∣2+b)∣F2f(ξ)∣2dξ≥b∥F2f∥2=b∥f∥2, so H0≥b in the quadratic-form sense. For a Schwartz function f, [F4] gives F2(−(c/4π2)Δf+bf)(ξ)=(c∣ξ∣2+b)F2f(ξ) a.e.; both sides are continuous representatives, and Plancherel inversion identifies them as elements of H, so H0f=−(c/4π2)Δf+bf. This is (b).

5.1step 4.1F6algebra

[Bounded perturbation by Kato-Rellich] Let V be real with ∥V∥∞<∞ and let MV be the bounded multiplication operator on H. Then D(H0)⊆D(MV)=H, MV is symmetric because V is real, and ∥MVf∥≤∥V∥∞∥f∥ for every f∈D(H0), so the H0-bound of MV is 0<1 with admissible pair (0,∥V∥∞) (Relative boundedness with respect to an operator). By [F6] the operator H=H0+MV on D(H0) is self-adjoint and, since H0≥b, satisfies H≥b−max⁡{0⋅∣b∣+∥V∥∞, ∥V∥∞}=b−∥V∥∞, hence is bounded below.

6.1step 5.1F7∎

[Unitary dynamics] Applying [F7] to the self-adjoint H of step 5.1 yields that t↦eitH is a strongly continuous one-parameter unitary group, eitHD(H)=D(H), and the difference quotients converge exactly on D(H); the physical convention t↦e−itH is the same group at negative time. No claim in this item extends to unbounded or singular V, which are excluded by the boundedness and measurability hypotheses recorded in [F6].

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

The CHSH bound and the finite-sampling law for independent trials

Statement

No choice principle is used. Let (Ω,F,P) be a probability space (Probability measures and probability spaces).

(a) CHSH bound. Let A0,A1,B0,B1:Ω→{−1,1} be random variables with values in {−1,1} (Random elements and real random variables). Then the four expectations exist and

∣E[A0B0]+E[A0B1]+E[A1B0]−E[A1B1]∣≤2.

(b) Positive-probability sequences. Let N≥1, m≥1, p1,…,pm≥0 with ∑j=1mpj=1, and let X1,…,XN:Ω→{1,…,m} be mutually independent with P(Xk=j)=pj for all k,j (Pairwise and mutual independence of finite-valued random variables). Then for every sequence (j1,…,jN)∈{1,…,m}N with pjk>0 for every k,

P(Xk=jk for every k)=∏k=1Npjk>0.

Consequently every event disjoint from this outcome has probability at most 1−∏kpjk<1: any criterion that rejects at least one such sequence has positive failure probability under this sampling model.

(c) Binomial frequency. Let S be binomial(N,p) with N≥1 and p∈[0,1] (Bernoulli random variables and binomial random variables as sums of independent Bernoulli trials). Then the frequency S/N satisfies E[S/N]=p, Var⁡(S/N)=p(1−p)/N, and for every ε>0

P(∣S/N−p∣≥ε)≤p(1−p)Nε2.

(d) Multinomial count law. The number of sequences (j1,…,jN) with prescribed fibre sizes nj:=#{k:jk=j} is the multinomial coefficient (Nn1,…,nm) (The multinomial coefficient (nk0,…,km−1) as the number of ordered partitions of an n-set into blocks of prescribed sizes), and each such sequence has probability ∏j=1mpjnj; in this displayed product use the zero-count convention p0:=1 for every p∈[0,1], including p=0. Hence the probability that the count vector equals (n1,…,nm) is (Nn1,…,nm)∏jpjnj.

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 (Ω,F,P); variables Ai,Bj with values in {−1,1}; independent {1,…,m}-valued X1,…,XN; a binomial(N,p) variable S.

[F1]

A probability measure P 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 Ω→R (Random elements and real random variables).

[F2]

E[aX+bY]=aE[X]+bE[Y] for integrable X,Y and scalars a,b; E[X]≤E[Y] almost surely for integrable real X≤Y; ∣E[X]∣≤E[∣X∣] (Linearity, monotonicity, and the modulus bound for expectation, Expectation of a nonnegative or integrable random variable).

[F3]

A finite family (Xi) of finite-valued random variables is mutually independent when P(Xj=xj for all j∈J)=∏j∈JP(Xj=xj) for every nonempty J and every selection xj∈Xj(Ω) (Pairwise and mutual independence of finite-valued random variables).

[F5]

For a real random variable, Var⁡(X)=E[(X−E[X])2] when X is square-integrable, and P(∣X−E[X]∣≥a)≤Var⁡(X)/a2 for a>0 (Moments, variance, and covariance on a probability space, Chebyshev's inequality for random variables).

[F6]

The multinomial coefficient (Nn1,…,nm) is the number of colourings c:{1,…,N}→{1,…,m} with ∣c−1[{j}]∣=nj for every j, defined only when ∑jnj=N (The multinomial coefficient (nk0,…,km−1) as the number of ordered partitions of an n-set into blocks of prescribed sizes).

Proof

1.1givenF2algebra

[Pointwise CHSH identity] Fix ω∈Ω. Since B0(ω),B1(ω)∈{−1,1}, the numbers B0(ω)+B1(ω) and B0(ω)−B1(ω) are ±2 or 0, and exactly one of them is nonzero: the first is 0 precisely when B1(ω)=−B0(ω), in which case the second is ±2, and otherwise the first is ±2 and the second 0. Hence A0(B0+B1)+A1(B0−B1) equals ±2 at every ω, so its absolute value is bounded by 2 pointwise and E[A0B0]+E[A0B1]+E[A1B0]−E[A1B1]=E[A0(B0+B1)+A1(B0−B1)] by linearity [F2], the variables being bounded hence integrable. The monotonicity and modulus bound of [F2] applied to the pointwise bound −2≤A0(B0+B1)+A1(B0−B1)≤2 give the stated ≤2 bound.

1.2givenF1F3algebra

[Positive-probability sequences] Since pjk>0, each event {Xk=jk} is nonempty and jk∈Xk(Ω). By mutual independence [F3] applied to the full index set J={1,…,N} and the selection xk=jk, P(Xk=jk for all k)=∏kP(Xk=jk)=∏kpjk, which is a product of positive reals and hence positive. If an event R is disjoint from {Xk=jk for all k}, then P(R)≤1−∏kpjk<1 by additivity and complementation [F1].

1.3givenF2F4F5algebra

[Binomial frequency moments] By [F4], S is a sum of N mutually independent Bernoulli(p) variables, with E[S]=Np and Var⁡(S)=Np(1−p). Linearity [F2] gives E[S/N]=1NE[S]=p; and by the definition of variance [F5], Var⁡(S/N)=E[(S/N−p)2]=1N2E[(S−Np)2]=1N2Var⁡(S)=p(1−p)N. Applying the Chebyshev inequality [F5] to the square-integrable variable S/N with parameter ε>0 gives P(∣S/N−p∣≥ε)≤p(1−p)/(Nε2).

2.1givenF1F3F6algebra∎

[Multinomial count law] A sequence (j1,…,jN) is exactly a function c:{1,…,N}→{1,…,m}, with fibre sizes nj; by [F6] the number of such functions with prescribed fibre sizes is (Nn1,…,nm). If some jk∉Xk(Ω), the sequence event is empty, and pjk=P(Xk=jk)=0, so its probability and ∏kpjk are both zero. Otherwise every selected label lies in the corresponding image, and independence [F3] gives probability ∏kpjk. Thus in either case each sequence has probability ∏kpjk=∏jpjnj, because the exponent of pj is the number of k with jk=j, namely nj; when nj=0 the sequence contains no factor pj, and the displayed product convention in (d) assigns that factor the value 1, also when pj=0. The count event is the disjoint union of the corresponding sequence events, so finite additivity [F1] gives probability (Nn1,…,nm)∏jpjnj.

TheoremStatement: AI-adaptedProof: AI-adaptedOpen item page →

Finite partial trace, Schmidt decomposition and finite no-signalling

Statement

Let V,W be nonzero finite-dimensional complex inner product spaces with orthonormal bases (e1,…,em) of V and (f1,…,fn) of W, let V⊗W be their tensor product with the inner product of Hilbert tensor construction: inner product, completion and product bases, and let tr⁡ 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 R of V⊗W there is a unique endomorphism Tr⁡WR of V with

tr⁡((Tr⁡WR)A)=tr⁡(R(A⊗IW))for every A∈End⁡(V),

namely Tr⁡WR=∑j=1nφj∘R∘ιj, where ιj(v)=v⊗fj and φj(x⊗w)=⟨w,fj⟩x; it does not depend on the orthonormal basis (fj) of W, and the analogous definition gives Tr⁡VR with tr⁡((Tr⁡VR)B)=tr⁡(R(IV⊗B)).

(b) Tr⁡W is linear, positive (it maps positive endomorphisms to positive endomorphisms) and trace preserving on density matrices: if R≥0 and tr⁡R=1 then Tr⁡WR≥0 and tr⁡Tr⁡WR=1; and Tr⁡WTΨ,Ψ=CC∗ for every Ψ∈V⊗W, where C:W→V is the coefficient map determined by Ψ=∑jCfj⊗fj.

(c) Schmidt decomposition. Every Ψ∈V⊗W admits an expansion

Ψ=∑r=1ksr vr⊗ur,

with k≤min⁡(m,n), orthonormal families (vr)⊆V, (ur)⊆W and s1≥⋯≥sk>0 uniquely determined by Ψ as the positive singular values of the coefficient map; moreover ∥Ψ∥2=∑rsr2. For ∥Ψ∥=1 the reduced density ρ=Tr⁡WTΨ,Ψ satisfies tr⁡ρ2=∑rsr4, and tr⁡ρ2=1 holds exactly when k=1, i.e. exactly when Ψ is a product vector; mixed-state separability is not decided by this criterion.

(d) Finite nonselective no-signalling. If (Ma)a=1p are endomorphisms of W with ∑aMa∗Ma=IW then for every endomorphism R of V⊗W

Tr⁡W(∑a(IV⊗Ma)R(IV⊗Ma∗))=Tr⁡WR.

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 V,W with orthonormal bases (ei),(fj); an endomorphism R of V⊗W; in (c) a vector Ψ; in (d) endomorphisms Ma of W.

[F1]

The tensor product V⊗W with the inner product ⟨u⊗v,u′⊗v′⟩=⟨u,u′⟩V⟨v,v′⟩W is a finite-dimensional inner product space; (ei⊗fj)i,j is an orthonormal basis, and every tensor has a unique expansion ∑i,jcijei⊗fj with ∥Ψ∥2=∑i,j∣cij∣2; the inclusion and the bilinear relations are those of Hilbert tensor construction: inner product, completion and product bases.

[F2]

For endomorphisms S:V1→V2 and T:V2→V1 of finite-dimensional spaces, tr⁡(ST)=tr⁡(TS); the trace of an endomorphism is computed as the trace of its matrix in any ordered basis (For A∈Mm×n(F) and B∈Mn×m(F), tr⁡(AB)=tr⁡(BA), The basis-independent trace of an endomorphism of a finite-dimensional vector space, Coordinate columns [v]B and matrices [T]BC of linear maps relative to ordered bases).

[F3]

Every linear map C:W→V of finite-dimensional inner product spaces has a singular value decomposition: orthonormal bases (u1,…,un) of W and (v1,…,vm) of V and s1≥⋯≥sk>0 with Cw=∑r=1ksr⟨w,ur⟩vr (Every linear map between finite-dimensional real or complex inner product spaces admits a singular value decomposition); the positive numbers sr2 are the nonzero eigenvalues of CC∗, 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).

[F4]

Non-negative means ⟨Tv,v⟩≥0 for all v (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

1.1givenF1F2algebra

[Existence and uniqueness of the partial trace] Define Tr⁡WR:=∑j=1nφjRιj, a linear endomorphism of V. Computed in the basis (ei⊗fj) and using [F2], the matrix of φj contracts the W-index into fj, and the total matrix of Tr⁡WR has entries (Tr⁡WR)ii′=∑jRij,i′j; hence, with (A)i′i′′ the matrix of A, tr⁡((Tr⁡WR)A)=∑i,i′,jRij,i′jAi′i=tr⁡(R(A⊗IW)). Uniqueness: if S and S′ both satisfy the pairing identity, then tr⁡((S−S′)A)=0 for all A; taking A=Tα,β (the rank-one endomorphism v↦⟨v,β⟩α) for α,β ranging over a basis of V and using [F1] and [F2] extracts every matrix entry of S−S′, so S=S′. Basis independence: the defining identity involves only the basis-independent trace [F2]; equivalently the formula with another orthonormal basis (gj) yields the same operator by the uniqueness just proved.

2.1step 1.1givenF4algebra

[Positivity and trace preservation] If R≥0 then for every x∈V, ⟨(Tr⁡WR)x,x⟩=∑j⟨R(x⊗fj),x⊗fj⟩≥0 because R≥0 [F4] and each summand is a nonnegative real; hence Tr⁡WR≥0. Taking A=IV in the defining identity gives tr⁡Tr⁡WR=tr⁡R; consequently a density matrix R (positive, tr⁡R=1, in the sense of Density operators and scalar spectral probability) has Tr⁡WR≥0 and trace 1, so (Tr⁡W) maps density matrices to density matrices.

2.2step 1.1F1F2algebra

[Reduced state of a pure vector] Let Ψ=∑i,jcijei⊗fj and define C:W→V by Cfj=∑icijei, so that Ψ=∑jCfj⊗fj by [F1] (insert the expansions of the Cfj). For the rank-one endomorphism TΨ,Ψ and A∈End⁡(V), the defining identity of step 1.1 gives tr⁡((Tr⁡WTΨ,Ψ)A)=tr⁡(TΨ,Ψ(A⊗I))=⟨(A⊗I)Ψ,Ψ⟩, and substituting the expansion yields ∑i,i′⟨Aei,ei′⟩∑jcijci′j‾=tr⁡(A CC∗), using the matrix of CC∗ in the basis (ei). Since this holds for all A and the operator is determined by its pairings with all A (step 1.1), Tr⁡WTΨ,Ψ=CC∗.

3.1step 2.2F1F3algebra

[Schmidt expansion with the complex convention] Apply [F3] to the coefficient map C: there are orthonormal right singular vectors qr∈W and left singular vectors vr∈V such that Cfj=∑rsr⟨fj,qr⟩vr. Define ur:=∑j⟨fj,qr⟩fj, the coordinate conjugate of qr in the fixed basis (fj). The coordinate conjugation reverses inner products, so ⟨ur,ut⟩=⟨qr,qt⟩‾=δrt. Substituting the formula for Cfj into Ψ=∑jCfj⊗fj gives Ψ=∑rsrvr⊗ur. Thus the claimed Schmidt expansion holds, with singular values sr of C. 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 ∥Ψ∥2=∑rsr2.

4.1step 2.2step 3.1algebra

[Purity and the product criterion] By steps 2.2 and 3.1, ρ=Tr⁡WTΨ,Ψ=CC∗ has eigenvalues sr2 with multiplicity by [F3], so for ∥Ψ∥=1 we have tr⁡ρ2=∑rsr4 and tr⁡ρ=1=∑rsr2. Since all sr are positive, ∑rsr4≤(∑rsr2)2=1 with equality exactly when at most one sr is nonzero, i.e. k=1; and k=1 means Ψ=s1v1⊗u1 is a product vector, conversely a product vector has C of rank one by step 2.2. This is the stated criterion; it concerns pure vectors only.

5.1step 1.1F2algebra∎

[Finite nonselective no-signalling] Let (Ma) satisfy ∑aMa∗Ma=IW. For A∈End⁡(V), using the defining identity of step 1.1 and the identity (I⊗Ma∗)(A⊗I)=(A⊗Ma∗) together with cyclicity [F2] inside the finite trace, tr⁡((Tr⁡W∑a(I⊗Ma)R(I⊗Ma∗))A)=∑atr⁡(R(A⊗Ma∗Ma))=tr⁡(R(A⊗∑aMa∗Ma))=tr⁡(R(A⊗I))=tr⁡((Tr⁡WR)A); since this holds for every A, the uniqueness in step 1.1 gives Tr⁡W(∑a(I⊗Ma)R(I⊗Ma∗))=Tr⁡WR.

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Finite effects and instruments: normalization and non-determination of the update

Statement

Let H be a finite-dimensional complex Hilbert space of dimension d≥1 (Hilbert space), with adjoints as in The adjoint T∗:W→V is characterised by ⟨Tv,w⟩W=⟨v,T∗w⟩V and the finite trace as in The basis-independent trace of an endomorphism of a finite-dimensional vector space. Recall that an endomorphism F is an effect when F≥0 and I−F≥0, i.e. 0≤F≤I in the quadratic-form order (Non-negative and positive operators).

(a) Definitions. A finite POVM is a finite family (Fa)a=1p, p≥1, of effects with ∑aFa=I. An instrument here is a finite family (Ma,r)1≤a≤p, 1≤r≤qa of endomorphisms of H, where each qa is a non-negative integer; its outcome operators and update maps are Fa:=∑rMa,r∗Ma,r and Ia:End⁡(H)→End⁡(H), Ia(R):=∑rMa,rRMa,r∗, with empty sums equal to zero. It is normalized when ∑a,rMa,r∗Ma,r=I. For a normalized instrument the Fa are its outcome effects, as proved in (b); without normalization they need not be effects.

(b) If (Fa) is a finite POVM and ρ a density operator (Density operators and scalar spectral probability) then pa:=tr⁡(ρFa)≥0 and ∑apa=1. If (Ma,r) is a normalized instrument then the Fa form a finite POVM, tr⁡Ia(ρ)=pa, each Ia(ρ) is non-negative, and whenever pa>0 the normalized update Ia(ρ)/pa is a density operator.

(c) Ideal Lüders case. For an orthogonal projection P (The orthogonal projection PWv is the W-component in V=W⊕W⊥) put M0=P, M1=I−P. Then ∑jMj∗Mj=P+(I−P)=I, the effects are F0=P, F1=I−P, and Ij(ρ)=PρP or (I−P)ρ(I−P).

(d) Non-determination. Effects alone do not determine the update: there are two normalized instruments on C2 with the same outcome effects F0=diag⁡(1,0), F1=diag⁡(0,1) whose updates differ on the same input.

Facts & Assumptions

Given: A finite-dimensional complex Hilbert space H; a density operator ρ; a finite POVM (Fa); a normalized instrument (Ma,r); an orthogonal projection P.

[F2]

A self-adjoint endomorphism T is non-negative exactly when ⟨Tv,v⟩≥0 for all v (Non-negative and positive operators); its eigenvalues are then non-negative by evaluation on eigenvectors. For non-negative ρ, [F3] gives (MρM∗)∗=MρM∗, and the adjoint identity gives ⟨MρM∗x,x⟩=⟨ρM∗x,M∗x⟩≥0, so MρM∗ is non-negative.

[F3]

For endomorphisms S,T of a finite-dimensional space, tr⁡(ST)=tr⁡(TS) (For A∈Mm×n(F) and B∈Mn×m(F), tr⁡(AB)=tr⁡(BA), 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 I. If A=(aij) is an operator matrix, then A∗=A‾T satisfies the defining identity of The adjoint T∗:W→V is characterised by ⟨Tv,w⟩W=⟨v,T∗w⟩V by expanding the two inner products in coordinates. Uniqueness follows because two adjoints B,C give ⟨x,(B−C)y⟩=0 for all x,y, hence (B−C)y=0. Matrix conjugation and transposition now give M∗∗=M, (AB)∗=B∗A∗ and (A+B)∗=A∗+B∗. Thus these finite identities require no Countable Choice; the general Hilbert-space theorem Hilbert-adjoint identities is not invoked.

[F4]

A density operator means a self-adjoint positive trace-class ρ with trace 1 (Density operators and scalar spectral probability), where positive means non-negative as in that supplier. Write Tu,vx:=⟨x,v⟩u, with the inner product linear in its first argument, as in the same supplier. In the finite-dimensional H 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 u1,…,ud for the self-adjoint, hence normal, ρ. Put wn:=⟨ρun,un⟩≥0 by [F2]. The finite trace (The basis-independent trace of an endomorphism of a finite-dimensional vector space) gives ∑n=1dwn=tr⁡ρ=1, and expansion in this basis gives ρ=∑n=1dwnTun,un. This finite argument uses no Countable Choice and does not invoke the general density expansion.

[F5]

An endomorphism U with U∗U=I is a linear isometry; every orthogonal projection P satisfies P2=P=P∗ (Linear isometries, and orthogonal or unitary operators on finite-dimensional inner product spaces, The orthogonal projection PWv is the W-component in V=W⊕W⊥).

Proof

1.1givenF2F3F4algebra

[POVM probabilities] By the finite-dimensional argument in [F4], ρ=∑n=1dwnTun,un with (un) orthonormal and ∑nwn=1. Then pa=tr⁡(ρFa)=∑nwn⟨Faun,un⟩ by linearity of the finite trace [F3], and each term is non-negative because Fa≥0 [F2]; hence pa≥0. Summing over a and using linearity, ∑apa=∑nwn⟨(∑aFa)un,un⟩=∑nwn=1.

1.2givenF3F5algebra

[Lüders instance] For M0=P and M1=I−P with P2=P=P∗ [F5], M0∗M0=P2=P and M1∗M1=(I−P)2=I−P, so ∑jMj∗Mj=I and the effects are F0=P, F1=I−P; the updates are I0(ρ)=PρP, I1(ρ)=(I−P)ρ(I−P).

2.1step 1.1F2F3F4algebra

[Update traces and positivity] Let Fa=∑rMa,r∗Ma,r. Then tr⁡Ia(ρ)=∑rtr⁡(Ma,rρMa,r∗)=∑rtr⁡(ρMa,r∗Ma,r)=tr⁡(ρFa)=pa, by cyclicity [F3]. For each r, (Ma,rρMa,r∗)∗=Ma,rρMa,r∗ because ρ=ρ∗; hence Ia(ρ) is self-adjoint. For x∈H, ⟨Ia(ρ)x,x⟩=∑r⟨Ma,rρMa,r∗x,x⟩=∑r⟨ρ(Ma,r∗x),Ma,r∗x⟩≥0 because ρ≥0; thus Ia(ρ)≥0. If pa>0, then Ia(ρ)/pa has trace 1 and is positive, hence is a density operator in the sense of [F4]. The effects of a normalized instrument form a POVM: each Ma,r∗Ma,r is non-negative, and both Fa and I−Fa=∑(b,r):b≠aMb,r∗Mb,r are non-negative, so 0≤Fa≤I. This is (b).

3.1step 2.1F3F5algebra∎

[Two instruments with equal effects] On H=C2 with orthonormal basis (e1,e2) let F0=Te1,e1, F1=Te2,e2 and let σ be the swap σe1=e2, σe2=e1, so that σ∗σ=I by [F5]. Instrument A: M0,1:=F0, M1,1:=F1. Instrument B: M0,1:=σF0, M1,1:=F1. Both are normalized: F0∗F0+F1∗F1=F0+F1=I, and (σF0)∗(σF0)=F0σ∗σF0=F02=F0, so F1+F0=I. Their effect families coincide, but their updates differ on ρ=12I: I0A(ρ)=12F0=12diag⁡(1,0) while I0B(ρ)=12σF0σ=12diag⁡(0,1), by σTe1,e1σ=Tσe1,σe1=Te2,e2. This is (d).

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Permutation sector projections on the n-fold tensor power

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)). Let H be a complex Hilbert space, n≥1, and H⊗n the n-fold completed tensor power (H⊗1:=H, H⊗(k+1):=H⊗k⊗^H as in Hilbert tensor construction: inner product, completion and product bases). For v0,…,vn−1∈H write v0⊗⋯⊗vn−1∈H⊗n for the iterated elementary tensor.

(a) For every π in the symmetric group Sn (The finite symmetric group Sn, one-line notation, and cycle notation) there is a unique unitary Uπ∈B(H⊗n) with

Uπ(v0⊗⋯⊗vn−1)=vπ−1(0)⊗⋯⊗vπ−1(n−1),

and UπUσ=Uπσ, Uπ∗=Uπ−1.

(b) The operators

P+:=1n!∑π∈SnUπ,P−:=1n!∑π∈Snsgn⁡(π)Uπ

(with sgn⁡ the sign homomorphism, The sign is a homomorphism Sn→{+1,−1}, surjective exactly when n≥2) are orthogonal projections.

(c) UπP+=P+Uπ=P+ and UπP−=P−Uπ=sgn⁡(π)P− for every π; consequently the range of P+ is the subspace of vectors fixed by every Uπ, and the range of P− is the subspace of vectors transforming by sgn⁡.

(d) If v0,…,vn−1 have a repeated factor, that is, vi=vj for some distinct i,j∈{0,…,n−1}, then P−(v0⊗⋯⊗vn−1)=0.

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 H; n≥1; the tensor powers H⊗k; the symmetric group Sn and its sign homomorphism.

[F1]

The completed tensor product construction provides: the algebraic tensor product with bilinear elementary tensors, the inner product with ⟨u⊗v,u′⊗v′⟩=⟨u,u′⟩⟨v,v′⟩, the dense inclusion, unique orthonormal-coordinate expansions and ∥u⊗v∥=∥u∥ ∥v∥ (Hilbert tensor construction: inner product, completion and product bases).

[F2]

Bounded operators S,T extend uniquely to S⊗T with ∥S⊗T∥≤∥S∥ ∥T∥, the adjoint is S∗⊗T∗, and compositions multiply; unitary factors have unitary tensor product (Bounded tensor maps: extension, norm estimate, adjoint and commutation).

[F3]

Any parenthesized iterated tensor product represents multilinear maps: for a multilinear map Φ:Hn→Z there is a unique linear L with L(v1⊗⋯⊗vn)=Φ(v1,…,vn) and different parenthesizations agree (Finite iterated tensor products represent multilinear maps independently of parenthesization).

[F4]

sgn⁡:Sn→{+1,−1} is a homomorphism with sgn⁡(πσ)=sgn⁡(π)sgn⁡(σ) and sgn⁡(π−1)=sgn⁡(π); An=ker⁡sgn⁡ consists of the even permutations (The sign is a homomorphism Sn→{+1,−1}, surjective exactly when n≥2, The alternating group An=ker⁡(sgn⁡) of even permutations, For n≥2, sign is the unique nontrivial homomorphism Sn→{+1,−1}).

Proof

1.1givenF1F3constructalgebra

[Permutation isometries on the dense algebraic core] The span of iterated elementary tensors is dense in H⊗n, by induction on the completion construction [F1]. On the algebraic iterated tensor product, the multilinear assignment (v0,…,vn−1)↦vπ−1(0)⊗⋯⊗vπ−1(n−1) induces a linear map by [F3]. It descends isometrically to its image in the completed tensor power: for elementary tensors v=v0⊗⋯⊗vn−1 and w=w0⊗⋯⊗wn−1, the inner product of their permuted images is ∏k=0n−1⟨vπ−1(k),wπ−1(k)⟩=∏k=0n−1⟨vk,wk⟩=⟨v,w⟩ 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 Uπ on the completion. For n=1 it is the identity, and the zero Hilbert space is included.

2.1step 1.1F1F2algebra

[Group law and unitarity] Direct substitution of indices in the elementary formula gives UπUσ=Uπσ and Ue=I on the dense algebraic core; continuity gives these equalities on the whole completion. Thus Uπ−1Uπ=I=UπUπ−1, so the isometry of step 1.1 is surjective and unitary, with Uπ∗=Uπ−1. 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.

3.1step 2.1F4algebra

[The projections are orthogonal projections] With coefficients c+(π)=1 and c−(π)=sgn⁡(π), write P±:=1n!∑πc±(π)Uπ as in the Statement, use UπUσ=Uπσ and reindex τ=πσ: for P+ this gives P+2=1(n!)2∑π,σUπσ=1(n!)2∑τn! Uτ=P+, and for P−, since σ=π−1τ and by [F4] sgn⁡(π)sgn⁡(σ)=sgn⁡(τ), it gives P−2=1(n!)2∑π,σsgn⁡(π)sgn⁡(σ)Uπσ=1(n!)2∑τn! sgn⁡(τ)Uτ=P−; moreover P±∗=1n!∑πc±(π)Uπ−1=1n!∑τc±(τ)Uτ=P± because Uπ∗=Uπ−1 and sgn⁡(π−1)=sgn⁡(π) [F4]. Hence P± are orthogonal projections.

4.1step 2.1step 3.1F4algebra

[Ranges and transformation laws] For every π, UπP+=1n!∑σUπσ=1n!∑τUτ=P+ and UπP−=1n!∑σsgn⁡(σ)Uπσ=sgn⁡(π)1n!∑τsgn⁡(τ)Uτ=sgn⁡(π)P−, using sgn⁡(σ)sgn⁡(πσ)=sgn⁡(π) [F4]; by self-adjointness of the projections these identities also hold with the order reversed. Consequently, if u∈ran⁡P+ then Uπu=P+u=u for all π, and if u∈ran⁡P− then Uπu=sgn⁡(π)u; conversely Uπu=u for all π gives P+u=u, and Uπu=sgn⁡(π)u for all π gives P−u=1n!∑πsgn⁡(π)2u=u.

5.1step 2.1step 3.1F4algebra∎

[Vanishing on repeated factors] Suppose vi=vj for distinct i,j∈{0,…,n−1} and let τ be the transposition swapping those positions. Then Uτ(v0⊗⋯⊗vn−1)=v0⊗⋯⊗vn−1 because the swap exchanges equal vectors. Pairing the terms of the sum defining n!P− as {π,πτ} over a set of coset representatives of the subgroup {e,τ} gives, for each pair, sgn⁡(π)Uπv+sgn⁡(πτ)Uπτv=sgn⁡(π)Uπv−sgn⁡(π)UπUτv=0 by Uπτ=UπUτ and Uτv=v. Hence P−v=0 for the tensor with a repeated factor.

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

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 (ACω)), let a,b≥1, and let λn denote Lebesgue measure on L(Rn) as defined in Lebesgue measurable sets, the family L(Rn), and the restricted set function λn and completed from Borel measure as in L(Rn) is exactly the completion of the restriction of λn to the Borel sets. The product measure λa×λb exists by For sigma-finite factors, the product measure exists, has the rectangle formula, is sigma-finite, and is unique, and under Ra+b=Ra×Rb, λa+b is its completion (The Euclidean Lebesgue measure is the completion of the product of the factor Lebesgue measures). Write Ha=L2(Ra,λa) and Hb=L2(Rb,λb), with L2 understood as the almost-everywhere quotient of square-integrable measurable functions (The space Lp(μ) as the quotient by null functions). Then there is a unique linear isometry

Θ:Ha⊗^Hb⟶L2(Ra+b)

with Θ(f⊗g)(x,y)=f(x)g(y) for all f∈Ha, g∈Hb and a.e. (x,y), 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: a,b≥1; f,g,f′,g′ in the respective L2 spaces; the completed tensor product Ha⊗^Hb of Hilbert tensor construction: inner product, completion and product bases.

[F1]

∥f∥2=(∫∣f∣2 dλn)1/2, the complex L2 pairing is ⟨f,f′⟩=∫ff′‾ dλn, and ∫∣ff′∣ dλn≤∥f∥2∥f′∥2 (The space Lp(μ) as the quotient by null functions, The complex L2 pairing on equivalence classes, Cauchy-Schwarz inequality for L2). The completed tensor product carries the inner product with ⟨f⊗g,f′⊗g′⟩=⟨f,f′⟩⟨g,g′⟩ and the elementary tensors span a dense subspace (Hilbert tensor construction: inner product, completion and product bases).

[F2]

The completed product measure λa+b is the completion of λa×λb; 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}).

[F4]

A bounded linear map on a dense subspace extends uniquely with the same norm, provided its target is Banach; each L2(λn) 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 Lp for 1≤p≤∞).

[F5]

Lebesgue measure on Rn 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 (L(Rn) is exactly the completion of the restriction of λn to the Borel sets, A function measurable for a completion is almost everywhere equal to one measurable for the original sigma-algebra).

[F6]

If a linear subspace M of a Hilbert space has M⊥={0}, then M‾=M⊥⊥ is the whole space (The double orthogonal complement of a subspace is its closure).

Proof

1.1givenF1F2algebra

[Isometry on finite sums] For f∈L2(λa) and g∈L2(λb) 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 z=∑i=1nαifi⊗gi and z′=∑j=1mβjfj′⊗gj′, each fifj′‾∈L1(λa) and gigj′‾∈L1(λb) by [F1], so the product is integrable in the completed product by Fubini [F2], and ∫Ra+bfi(x)fj′(x)‾gi(y)gj′(y)‾ dλa+b(x,y)=⟨fi,fj′⟩⟨gi,gj′⟩. The map (f,g)↦[f(x)g(y)] is bilinear, hence descends through the defining tensor relations to a linear map Θ0 on the algebraic tensor product. Summing with coefficients αiβj‾ gives ⟨Θ0z,Θ0z′⟩=⟨z,z′⟩ by [F1]. Taking z′=z gives Θ0z=0⇒z=0, so Θ0 is well defined and isometric on the dense algebraic tensor product.

1.2givenF2F3F5algebra

[Finite-positive-measure uniqueness in the first variable] Let h∈L2(Ra+b) be orthogonal to every product of bounded-box indicators, so ∫B×Ch=0 for all boxes B,C. For each bounded rational half-open box B⊆Rb, define hB(x):=∫Bh(x,y)dy for a.e. x. Cauchy-Schwarz gives ∣hB(x)∣2≤∣B∣∫B∣h(x,y)∣2dy, and Tonelli [F2] shows hB∈L2(Ra). Fubini [F2] gives ∫ChB=∫C×Bh=0 for every rational half-open box C⊆Ra. Fix a bounded rational half-open box K⊆Ra and write u=Re⁡hB, v=Im⁡hB. By [F5], choose Borel representatives u~,v~ equal a.e. to u,v. The family PK:={K∩C:C is a rational half-open box in Ra} is a π-system containing K and generating the relative Borel σ-algebra of K by [F3]. The positive and negative parts u~+,u~−,v~+,v~− are integrable on K because K has finite measure and hB∈L2. The finite positive Borel measures A↦∫Au~+ and A↦∫Au~− agree on PK, including the total mass at K, since ∫Au=0 there; likewise the measures from v~+ and v~− agree. By [F3] these equalities hold for every Borel A⊆K. Taking the Borel sets where u~>0, u~<0, v~>0 and v~<0 shows u=v=0 a.e. on K. The countable rational half-open boxes K cover Ra, so hB=0 a.e. on Ra for each rational half-open B.

2.1step 1.2F2F3F5F6algebra

[Zero orthogonal complement] There are countably many rational half-open boxes B⊆Rb, and step 1.2 gives hB=0 a.e. for each; completed-product Fubini [F2] also gives h(x,⋅)∈L2(Rb) for a.e. x. Intersecting these countably many full-measure sets, for a.e. x the section is in L2 and ∫Bh(x,y)dy=0 for every rational half-open B. Fix such an x. On each bounded rational half-open box K⊆Rb, choose Borel representatives of the real and imaginary parts of h(x,⋅) by [F5]. The positive and negative parts of these representatives define finite positive Borel measures on K; as in step 1.2 they agree on the π-system of rational half-open subboxes, including K, so [F3] makes the positive and negative measures equal on every Borel subset of K. Their positive and negative level sets then show the real and imaginary parts vanish a.e. on K. The countably many K cover Rb, hence h(x,⋅)=0 a.e. for a.e. x, and Tonelli [F2] gives h=0 a.e. Thus Ran⁡Θ0⊥={0}; since Ran⁡Θ0 is a linear subspace, [F6] gives Ran⁡Θ0‾=Ran⁡Θ0⊥⊥=L2(λa+b).

3.1step 1.1step 2.1F1F4∎

[Extension and surjectivity] By [F4], whose Banach-space hypothesis holds by Riesz–Fischer, the isometry Θ0 on the dense algebraic tensor product extends uniquely to a linear isometry Θ of the completion. Its range is closed (isometries have closed range: if Θzn→w then (zn) is Cauchy, so zn→z and w=Θz) and dense by step 2.1, hence is all of L2(λa+b). Thus Θ is a surjective linear isometry, i.e. unitary, with the stated action on elementary tensors.

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Nuclear bounded cyclicity for trace-class operators

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)). Let H be a complex Hilbert space (Hilbert space) and for u,v∈H let Tu,vx=⟨x,v⟩u (Rank-one operator calculus).

(a) For every bounded B∈B(H) (A bounded linear operator between normed spaces),

BTu,v=TBu,v,Tu,vB=Tu,B∗v,

with the Hilbert adjoint B∗ (The Hilbert-space adjoint of a bounded operator).

(b) Let T∈B(H) be trace class and let T=∑jTuj,vj be a nuclear representation, i.e. the partial sums converge to T in operator norm and ∑j∥uj∥ ∥vj∥<∞ (Nuclear series characterizes trace norm, Trace class operator). Then for every bounded B

tr⁡(BT)=∑j⟨Buj,vj⟩,tr⁡(TB)=∑j⟨uj,B∗vj⟩,

both series converging absolutely with ∣tr⁡(BT)∣≤∥B∥∑j∥uj∥ ∥vj∥, and tr⁡(BT)=tr⁡(TB) (Trace is absolutely convergent and basis independent). In particular tr⁡(BT)=tr⁡(TB) for every trace-class T and bounded B, and tr⁡(Tu,v)=⟨u,v⟩. No cyclic permutation of unbounded operators is asserted.

Facts & Assumptions

Given: A complex Hilbert space H; vectors u,v,uj,vj∈H; bounded operators B; a trace-class T with nuclear representation T=∑jTuj,vj.

[F1]

Tu,v∈B(H) is trace class, ∥Tu,v∥1=∥u∥ ∥v∥, tr⁡(Tu,v)=⟨u,v⟩, and Tu,v∗=Tv,u (Rank-one operator calculus).

[F2]

T is trace class exactly when it has a nuclear representation T=∑jTuj,vj with ∑j∥uj∥ ∥vj∥<∞ converging in operator norm; and then ∥T∥1=inf⁡∑j∥uj∥ ∥vj∥ over all such representations (Nuclear series characterizes trace norm).

[F3]

The trace-class operators form a two-sided Banach operator ideal: BT∈S1(H) for bounded B and trace-class T, with ∥BT∥1≤∥B∥ ∥T∥1 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).

[F4]

The trace is linear on trace-class operators and ∣tr⁡S∣≤∥S∥1 (Trace is absolutely convergent and basis independent).

[F5]

Bounded adjoints obey ∥B∗∥=∥B∥ (Hilbert-adjoint identities). The Hilbert adjoint satisfies ⟨Bx,y⟩=⟨x,B∗y⟩ and Tu,v∗=Tv,u (The Hilbert-space adjoint of a bounded operator, Rank-one operator calculus).

Proof

1.1givenF5algebra

[Rank-one multiplication] For x∈H, (BTu,v)x=B(⟨x,v⟩u)=⟨x,v⟩Bu=TBu,vx, so BTu,v=TBu,v; and (Tu,vB)x=⟨Bx,v⟩u=⟨x,B∗v⟩u=Tu,B∗vx by [F5], so Tu,vB=Tu,B∗v. Both are bounded because B is and the displayed maps have the stated form.

2.1step 1.1F1F2F3algebra

[Trace-norm convergence of the multiplier series] Write Tn:=∑j≤nTuj,vj, so ∥T−Tn∥→0. Then BTn=∑j≤nTBuj,vj by step 1.1, and ∑j∥TBuj,vj∥1=∑j∥Buj∥ ∥vj∥≤∥B∥∑j∥uj∥ ∥vj∥<∞ by [F1]; since the trace-class operators are complete in trace norm [F3], the series ∑jTBuj,vj converges in trace norm, and its limit agrees with BT because trace-norm convergence implies operator-norm convergence and BTn→BT in operator norm. Hence BT=∑jTBuj,vj in trace norm, with ∥BT∥1≤∥B∥∑j∥uj∥ ∥vj∥.

3.1step 2.1F1F4algebra

[Trace of the left product] By [F4], tr⁡(BT)=lim⁡ntr⁡(BTn)=lim⁡n∑j≤ntr⁡(TBuj,vj)=lim⁡n∑j≤n⟨Buj,vj⟩, because the trace is linear on the finite sums BTn and continuous for the trace norm, and BTn→BT in trace norm by step 2.1. Thus tr⁡(BT)=∑j⟨Buj,vj⟩, and the series converges absolutely since ∣⟨Buj,vj⟩∣=∣tr⁡(TBuj,vj)∣≤∥Buj∥ ∥vj∥ by [F1]; the bound ∣tr⁡(BT)∣≤∥B∥∑j∥uj∥ ∥vj∥ follows from [F4] and step 2.1.

4.1step 1.1step 2.1step 3.1F1F2F3F4F5algebra∎

[Right multiplication and cyclicity] By step 1.1, TnB=∑j≤nTuj,B∗vj, and ∑j∥uj∥∥B∗vj∥≤∥B∥∑j∥uj∥∥vj∥<∞ by [F5]. Exactly as in step 2.1, trace-norm completeness gives convergence of this series to TB, since its operator-norm limit is TB. Trace continuity and the rank-one trace formula therefore give tr⁡(TB)=∑j⟨uj,B∗vj⟩ with absolute convergence. Each summand equals ⟨Buj,vj⟩ by the adjoint identity, so step 3.1 gives tr⁡(TB)=tr⁡(BT) 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.

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Complex Gaussian continuation

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)). For z∈C with Re⁡z>0 and n≥1 let

Gn(z):=∫Rne−z∣x∣2 dx,

where dx 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 lim⁡R→∞∫[−R,R]ne−z∣x∣2 dx of these finite Lebesgue integrals. For n=1 it also equals the sum of the two separately convergent one-sided improper Riemann integrals at 0, computed componentwise (Improper integrals over unbounded intervals); this agreement is proved below. Then:

(a) Gn(z) converges absolutely for every z with Re⁡z>0, and G1 is holomorphic on the right half-plane Ω:={z∈C:Re⁡z>0} with G1′(z)=−∫Rx2e−zx2dx (Complex differentiability at a point, the complex derivative, holomorphic functions, and entire functions, A complex domain is a nonempty connected open subset of C);

(b) with Log⁡ the principal logarithm and the branch z−1/2:=exp⁡(−12Log⁡z) 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),

G1(z)=π z−1/2,G1(z)2=πz(z∈Ω),

the value on the positive real axis being G1(t)=π/t for t>0;

(c) for every n≥1 and z∈Ω, Gn(z)=G1(z)n=(π/z)n/2, the power being the branch (π/z)n/2=exp⁡(n2(log⁡π−Log⁡z)).

In particular the factor (1+iτ)−1/2 is defined by this branch for every real τ, since Re⁡(1+iτ)=1>0. No asymptotic or distributional interpretation is asserted.

Facts & Assumptions

Given: n≥1; a complex parameter z with Re⁡z>0; the functions Gn of the Statement; the principal logarithm Log⁡.

[F1]

For n≥1, t>0 and ξ∈Rn, F(e−πt∣x∣2)(ξ)=t−n/2e−π∣ξ∣2/t; at ξ=0 this reads ∫Rne−πt∣x∣2dx=t−n/2, and substituting s=πt gives ∫Rne−s∣x∣2dx=(π/s)n/2. Every polynomial times a positive real Gaussian is absolutely integrable (Euclidean Gaussian transform with the 2π normalization).

[F2]

On a fixed measure space, if measurable complex-valued fn,f satisfy fn→f almost everywhere and ∣fn∣≤g almost everywhere for one nonnegative measurable g with ∫g<∞, then ∫∣fn−f∣→0 (Dominated convergence). For a parameter h→0, apply this to each sequence of nonzero parameters tending to zero.

[F3]

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 C).

[F4]

The principal logarithm Log⁡ is holomorphic on the slit plane S=C∖(−∞,0], satisfies exp⁡(Log⁡z)=z and Log⁡z=log⁡∣z∣+iArg⁡z with Arg⁡z∈(−π,π), and Log⁡t=ln⁡t for t>0; complex powers are defined by za=exp⁡(aLog⁡z) (Complex logarithms, the principal logarithm, and principal and multivalued complex powers, The principal logarithm is the normalised holomorphic branch on the slit plane).

[F5]

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).

[F6]

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).

[F7]

For continuous f:Rn→C with ∫∣f∣<∞, the improper multiple integral used here is lim⁡R→∞∫[−R,R]nf, with finite Lebesgue integrals computed componentwise. Dominated convergence (Dominated convergence) applied to 1[−R,R]nf identifies this limit with the product Lebesgue integral: for any sequence Rj→∞ the indicators tend pointwise to 1 and are dominated by ∣f∣, hence every such sequence has the same limit. For n=1, the real and imaginary parts are bounded and Riemann integrable on every compact interval by A continuous function on [a,b] 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 1[0,R]f as R→∞ and 1[R,0]f as R→−∞ therefore proves convergence of both one-sided improper integrals of Improper integrals over unbounded intervals; the same argument for ∣f∣ proves absolute convergence. Their sum is the full integral because the overlap {0} has Lebesgue measure zero. Existence of a symmetric limit alone does not imply this agreement.

Proof

1.1givenF1F7algebra

[Absolute convergence] Let z∈Ω and δ:=Re⁡z>0. For every x, ∣e−z∣x∣2∣=e−δ∣x∣2, whose integral over Rn is finite by [F1] with s=δ; hence the real and imaginary parts of x↦e−z∣x∣2 are absolutely improperly integrable and Gn(z) is well defined by [F7]. The same bound holds uniformly on compact subsets of Ω, where δ can be taken positive uniformly.

2.1step 1.1F2F3F7algebra

[Holomorphy of G1] Fix z∈Ω and 0<δ<Re⁡z; let ∣h∣<δ/2. For the function w↦ew the second-order Taylor remainder satisfies ∣ew−1−w∣≤∣w∣2e∣w∣ (the power series of ew−1−w has its first term w22 and the remaining terms are bounded by ∣w∣22(e∣w∣−1)≤∣w∣2e∣w∣). Applying this with w=−hx2 gives ∣e−zx2e−hx2−1+hx2h∣≤∣h∣x4e(∣h∣−Re⁡z)x2≤∣h∣x4e−δx2/2 for all real x and all ∣h∣<δ/2, and x↦x4e−δx2/2 has finite integral; the remainder functions are continuous, hence measurable, converge pointwise to zero, and for ∣h∣<δ/2 are dominated by the nonnegative integrable function (δ/2)x4e−δx2/2. By [F2] along every sequence h→0, their integrals over R tend to zero. Thus the difference quotient (G1(z+h)−G1(z))/h tends, as h→0, to −∫Rx2e−zx2dx. Hence G1 is complex differentiable at every z∈Ω, with the displayed derivative; by [F3] it is holomorphic on Ω.

2.2step 1.1F1F3F4algebra

[The candidate branch] Put H(z):=π exp⁡(−12Log⁡z) for z in the slit plane S⊇Ω. By [F4], Log⁡ is holomorphic on S with Log⁡′z=1/z, and the complex exponential is entire with derivative itself, so by the chain rule for complex derivatives H is holomorphic on the complex domain S (The chain rule for complex derivatives, The complex exponential is entire and its complex derivative is itself); also H(z)2=πexp⁡(−Log⁡z)=π/z because exp⁡(Log⁡z)=z. On the positive axis, Log⁡t=ln⁡t [F4], so H(t)=π t−1/2=π/t, which equals G1(t)=∫Re−tx2dx by [F1] with n=1, s=t.

3.1step 2.1step 2.2F3F5algebra

[Agreement by the identity theorem] The right half-plane Ω is nonempty, open and convex (if Re⁡z1,Re⁡z2>0 then Re⁡((1−λ)z1+λz2)>0 for 0≤λ≤1), hence a complex domain, and it is contained in S, so both G1 (step 2.1) and H (step 2.2) are holomorphic on Ω. They agree at every t>0 (step 2.2), and the set (0,∞) has accumulation points in Ω; by [F5] applied to the complex domain Ω, G1=H on Ω, giving clause (b).

4.1step 3.1F4F6algebra∎

[Factorization] For z∈Ω write e−z∣x∣2=∏j=1ne−zxj2; the absolute value factors as ∏je−Re⁡(z)xj2, a product of nonnegative integrable functions of the single coordinates. Tonelli's theorem [F6] applied to the nonnegative function x↦∏je−Re⁡(z)xj2 shows that the multiple integral of ∣e−z∣x∣2∣ factorizes as the product of the one-dimensional integrals and is finite; hence x↦e−z∣x∣2 is integrable on the product, and the Fubini theorem for L1 functions (Fubini's theorem for L^1 functions on a sigma-finite product) applied to its real and imaginary parts gives Gn(z)=∏j=1nG1(z)=G1(z)n. By step 3.1, G1(z)n=(π/z)n/2 in the branch notation of [F4]. This is clause (c), and Re⁡(1+iτ)=1>0 shows the branch is defined at 1+iτ.

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Momentum Fourier Jacobian: the unitary momentum representation

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)), let d≥1 and ℏ>0. Write F2 for the unitary Plancherel transform extending f^(ξ)=∫Rdf(x)e−2πix⋅ξdx (Fourier transform on complex L1 classes, Plancherel theorem); the L2 spaces are Hilbert spaces by Riesz-Fischer completeness of Lp for 1≤p≤∞ and Hilbert space. For ψ∈S(Rd), denote by ψ^ the continuous representative of F2ψ given by that absolutely convergent integral.

(a) For ψ∈S(Rd) the momentum wavefunction

ψp(p):=(2πℏ)−d/2∫Rde−ip⋅x/ℏψ(x) dx

is well defined, bounded and continuous, and ψp(p)=(2πℏ)−d/2ψ^(p/(2πℏ)) for every p; here ψ^ is the stated continuous representative, not a point evaluation of an L2 equivalence class.

(b) The dilation operator Dℏg(p):=(2πℏ)−d/2g(p/(2πℏ)) is a surjective linear isometry of L2(Rd;C) onto itself, with inverse Dℏ−1g(ξ)=(2πℏ)d/2g(2πℏ ξ).

(c) The formula U0ψ:=ψp defines a linear isometry S(Rd)→L2(Rd) (for the Lebesgue spaces dx and dp) that extends uniquely to a surjective linear isometry U:L2(Rd,dx)→L2(Rd,dp); on Schwartz functions U=DℏF2, and for every ψ∈L2(Rd),

∥Uψ∥L2(dp)=∥ψ∥L2(dx).

The normalization statement is: the substitution ξ=p/(2πℏ) carries dξ=(2πℏ)−ddp, and the factor (2πℏ)−d/2 in U0 is exactly what makes U an isometry with respect to dp. No physical identification of Uψ with a measured momentum distribution is made.

Facts & Assumptions

Given: d≥1, ℏ>0; a Schwartz function ψ∈S(Rd); the Plancherel transform F2 and the L1 transform f^(ξ)=∫f(x)e−2πix⋅ξdx.

[F1]

F2 is a surjective complex-linear isometry L2(Rd)→L2(Rd) that extends the L1 Fourier transform f^(ξ)=∫f(x)e−2πix⋅ξdx (Plancherel theorem, Fourier transform on complex L1 classes).

[F2]

If fn→f pointwise and ∣fn∣≤g for a fixed integrable g, then ∫fn→∫f (Dominated convergence).

[F3]

An invertible linear map T of Rd scales Lebesgue measure by ∣det⁡T∣ on measurable sets (A linear map T of Rn sends Lebesgue measurable sets to Lebesgue measurable sets, with λn(T[E])=∣det⁡T∣ λn(E) when T is invertible and T[E] Lebesgue null when it is not); for nonnegative measurable h the integral identity ∫h(Tx) dx=∣det⁡T∣−1∫h(y) dy follows by approximation with simple functions and monotone convergence (Monotone convergence for the integral).

[F4]

S(Rd) contains Cc∞(Rd), which is dense in L2(Rd) (Smooth compactly supported functions of an open set are dense in L2, Schwartz space and its seminorms); in particular every Schwartz function lies in L1∩L2. The L2 space is complete by Riesz-Fischer completeness of Lp for 1≤p≤∞.

[F5]

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

1.1givenF2F4algebra

[Absolute convergence and continuity] For ψ∈S(Rd), ∣e−ip⋅x/ℏψ(x)∣=∣ψ(x)∣ is integrable by [F4], so the defining integral converges absolutely for every p and ∣ψp(p)∣≤(2πℏ)−d/2∥ψ∥1. Continuity in p follows from [F2] applied to e−ipn⋅x/ℏψ→e−ip⋅x/ℏψ with the integrable dominating function ∣ψ∣.

2.1step 1.1F1algebra

[Identification with the Plancherel transform] For ψ∈S, put ξ=p/(2πℏ), so 2πx⋅ξ=p⋅x/ℏ; comparing the defining integral of ψp with the L1 Fourier transform [F1] gives ψp(p)=(2πℏ)−d/2ψ^(ξ)=(2πℏ)−d/2F2ψ(p/(2πℏ)), the last equality because ψ∈L1 and F2 extends  ⋅ ^. Hence U0=Dℏ∘F2 on S(Rd).

2.2step 1.1F3algebra

[The dilation is a unitary] For g∈L2 the substitution p=(2πℏ)ξ is an invertible linear map with determinant (2πℏ)d, so by [F3] applied to h=∣g∣2, ∫∣Dℏg(p)∣2dp=(2πℏ)−d∫∣g(p/(2πℏ))∣2dp=(2πℏ)−d(2πℏ)d∫∣g(ξ)∣2dξ=∥g∥2. Thus Dℏ is a linear isometry; its inverse Dℏ−1g(ξ)=(2πℏ)d/2g(2πℏξ) is likewise an isometry and the two compositions are the identity, so Dℏ is a surjective isometry.

3.1step 2.1step 2.2F1algebra

[Norm preservation on Schwartz functions] By steps 2.1 and 2.2 and unitarity of F2 [F1], ∥ψp∥2=∥DℏF2ψ∥2=∥F2ψ∥2=∥ψ∥2 for ψ∈S(Rd); moreover U0 is linear on S(Rd) because the integral and the dilation are linear.

4.1step 2.2step 3.1F1F4F5algebra∎

[Unique unitary extension] The subspace S(Rd) is dense in L2 because it contains the dense subspace Cc∞(Rd) [F4]; by [F5] the isometry U0 on S(Rd) has a unique bounded linear extension U:L2(Rd,dx)→L2(Rd,dp) with the same norm, so ∥Uψ∥=∥ψ∥ for every ψ∈L2. Surjectivity: for arbitrary h∈L2(Rd,dp), the vector ψ:=F2∗Dℏ−1h lies in L2, and since U agrees with DℏF2 on the dense set S while both sides are bounded, Uψ=h; hence U is onto. The norm identity of clause (c) is exactly ∥Uψ∥2=∥ψ∥2, and the normalization discussion is the determinant computation of step 2.2 read at g=F2ψ.

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Separable partial trace and its basic properties

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)). Let H,K be nonzero complex Hilbert spaces (Hilbert space) and let H⊗^K be their completed tensor product (Hilbert tensor construction: inner product, completion and product bases); write Tx,zx′=⟨x′,z⟩x for rank-one operators (Rank-one operator calculus) and tr⁡ for the trace of a trace-class operator (Trace is absolutely convergent and basis independent).

(a) There is a unique linear map Tr⁡K:S1(H⊗^K)→S1(H) with

tr⁡((Tr⁡KT)A)=tr⁡(T(A⊗IK))

for every trace-class T and every A∈B(H); it satisfies ∥Tr⁡KT∥1≤∥T∥1 and is independent of any chosen orthonormal basis of K.

(b) Tr⁡K 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 (tr⁡Tr⁡KT=tr⁡T), and maps density operators to density operators (Density operators and scalar spectral probability).

(c) On rank-one operators, Tr⁡KTu⊗v,u′⊗v′=⟨v,v′⟩K Tu,u′.

The analogous map Tr⁡H satisfies tr⁡((Tr⁡HT)A)=tr⁡(T(IH⊗A)) for A∈B(K). No claim is made about instruments or conditioning.

Facts & Assumptions

Given: Nonzero complex Hilbert spaces H,K; vectors u,u′∈H, v,v′∈K; a trace-class T on H⊗^K with a nuclear representation T=∑jTwj,zj, wj,zj∈H⊗^K; a bounded A∈B(H).

[F1]

Tx,z is trace class (Trace class operator) with ∥Tx,z∥1=∥x∥ ∥z∥, tr⁡(Tx,z)=⟨x,z⟩, and Tx,zB=Tx,B∗z, BTx,z=TBx,z for bounded B; for trace-class T, tr⁡(TB)=tr⁡(BT) and tr⁡(T)=∑j⟨wj,zj⟩ for every nuclear representation (Rank-one operator calculus, Nuclear bounded cyclicity for trace-class operators, Trace is absolutely convergent and basis independent).

[F2]

T is trace class exactly when T=∑jTwj,zj with ∑j∥wj∥ ∥zj∥<∞ converging in operator norm (The operator norm as the least bound and as the unit-sphere or unit-ball supremum), and then ∥T∥1=inf⁡∑j∥wj∥ ∥zj∥; S1 is complete in trace norm and a two-sided ideal with ∥BTB′∥1≤∥B∥ ∥T∥1∥B′∥ (Nuclear series characterizes trace norm, Trace class is a two sided Banach operator ideal).

[F3]

If S∈S1(H) and x,y∈H then tr⁡(STx,y)=⟨Sx,y⟩; if tr⁡(SA)=0 for all bounded A then S=0 (Nuclear bounded cyclicity for trace-class operators, Rank-one operator calculus).

[F4]

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: ∣⟨x,y⟩∣≤∥x∥ ∥y∥, with equality exactly for dependent pairs).

Proof

1.1givenF1algebra

[The rank-one values] For Tu⊗v,u′⊗v′ and bounded A, T(A⊗I)=Tu⊗v,(A⊗I)∗(u′⊗v′)=Tu⊗v,A∗u′⊗v′ by [F1], whose trace is ⟨u⊗v,A∗u′⊗v′⟩=⟨u,A∗u′⟩⟨v,v′⟩=⟨Au,u′⟩⟨v,v′⟩. On the other hand tr⁡((⟨v,v′⟩Tu,u′)A)=⟨v,v′⟩tr⁡(Tu,u′A)=⟨v,v′⟩⟨Au,u′⟩ by [F1]. Hence the assignment Tr⁡KTu⊗v,u′⊗v′:=⟨v,v′⟩Tu,u′ satisfies the defining identity on rank-one tensors, and ∥Tr⁡KTu⊗v,u′⊗v′∥1≤∥v∥ ∥v′∥ ∥u∥ ∥u′∥=∥u⊗v∥ ∥u′⊗v′∥ by [F1].

2.1step 1.1F1F2F3F4chooseconstructalgebra

[Arbitrary rank-one vectors] Fix w,z∈H⊗^K. 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 K0 be their closed linear span. Finite rational complex combinations form an explicit dense sequence in K0, so [F4] provides a finite/countable orthonormal basis (fb) of K0. The maps taking ∑iui⊗vi to ∑i⟨vi,fb⟩ui have norm at most one by orthogonal coordinates and extend to the completion. Their values wb,zb∈H satisfy w=∑bwb⊗fb, z=∑bzb⊗fb and ∑b∥wb∥2=∥w∥2, ∑b∥zb∥2=∥z∥2: the finite-coordinate projections are contractions, converge on algebraic tensors in H⊙K0, and hence converge on its closure, which contains w,z. Define Q(w,z):=∑bTwb,zb. By [F1], [F2] and Cauchy–Schwarz, this converges in trace norm and ∥Q(w,z)∥1≤∑b∥wb∥∥zb∥≤∥w∥∥z∥. Finite-coordinate truncations and step 1.1 give tr⁡(Q(w,z)A)=⟨(A⊗I)w,z⟩=tr⁡(Tw,z(A⊗I)); rank-one trace-norm continuity and bounded tensor maps [F4] pass this identity to limits. The identity uniquely determines Q(w,z) by [F3], so it is independent of the supports, basis and approximants, is sesquilinear in w,z, and agrees with the elementary assignment.

3.1step 2.1F1F2F3F4algebra

[Extension to trace class] For a nuclear representation T=∑jTwj,zj, define Tr⁡KT:=∑jQ(wj,zj). Step 2.1 and [F2] give trace-norm convergence and the bound ∥Tr⁡KT∥1≤inf⁡∑j∥wj∥∥zj∥=∥T∥1. The defining trace pairing follows by summing that of step 2.1, using trace-norm continuity and ∥A⊗I∥≤∥A∥. If two nuclear representations are used, both images have the same pairings against every bounded A, 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).

4.1step 2.1step 3.1F1F2algebra

[Positivity and trace preservation] Step 2.1 gives Q(w,w)=∑bTwb,wb, which is self-adjoint positive since ⟨Twb,wbx,x⟩=∣⟨x,wb⟩∣2≥0 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 Q(w,w) and hence carries its limit to a self-adjoint positive operator. Taking A=IH in the defining pairing gives tr⁡Tr⁡KT=tr⁡T. Hence density operators map to density operators.

5.1step 3.1F3∎

[Uniqueness] If two linear maps Tr⁡K,Tr⁡K′ satisfy the defining identity for all T and A, then for fixed T the difference S=Tr⁡KT−Tr⁡K′T satisfies tr⁡(SA)=0 for all bounded A, so S=0 by [F3]. Hence the map is unique and, in particular, independent of any basis; the symmetrically defined Tr⁡H has the stated identity.

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Countable Kraus normalization and trace-norm convergence

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)). Let H be a complex Hilbert space (Hilbert space) and let (Ma)a≥1 be bounded operators on H with

∑a=1NMa∗Ma⟶Istrongly as N→∞.

Then:

(a) ∑a≥1∥Max∥2=∥x∥2 for every x∈H;

(b) for every self-adjoint positive trace-class ρ (positivity as in Self-adjoint, positive, unitary and normal operators) the series ∑a≥1MaρMa∗ converges in trace norm to a self-adjoint positive trace-class operator Φ(ρ) with tr⁡Φ(ρ)=tr⁡ρ;

(c) Φ extends uniquely to a linear positive map Φ:S1(H)→S1(H) with tr⁡Φ(ρ)=tr⁡ρ for all trace-class ρ and ∥Φ(ρ)∥1≤∥ρ∥1 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 H; bounded operators Ma with strong completeness ∑a≤NMa∗Ma→I; a positive trace-class ρ.

[F1]

For every x, ⟨(∑a≤NMa∗Ma)x,x⟩→⟨x,x⟩ and the partial sums are increasing (each term Ma∗Ma≥0), so the nonnegative series ∑a∥Max∥2=∑a⟨Ma∗Max,x⟩ has value ∥x∥2 (Hilbert space).

[F2]

tr⁡(MaρMa∗)=tr⁡(Ma∗Maρ); Tx,zB=Tx,B∗z; T is trace class exactly when it is a nuclear series; trace class is a complete two-sided ideal; the trace is linear, continuous for ∥⋅∥1 and tr⁡T=∑jtr⁡Twj,zj 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).

[F3]

A self-adjoint positive trace-class operator with positive trace becomes a density operator after dividing by its trace and has the spectral expansion ρ=∑nwnTun,un with orthonormal un, wn≥0 and tr⁡ρ=∑nwn; a zero-trace self-adjoint positive trace-class operator is zero. Conversely such sums (with ∑wn<∞) 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).

[F4]

A self-adjoint compact operator has an expansion ∑λλPλ and tr⁡(T±)=∑±λ>0∣λ∣; for a positive trace-class operator S, ∥S∥1=tr⁡S (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

1.1givenF1algebra

[Norm identity, including the zero space] If H={0}, then every Ma and every trace-class input is zero, so the unique map on S1(H)={0} satisfies (a)-(c). Suppose henceforth that H≠{0}. For every x, ∑a≤N∥Max∥2 is the increasing sequence ⟨(∑a≤NMa∗Ma)x,x⟩, so its supremum is ⟨x,x⟩=∥x∥2 by strong convergence and continuity of the inner product in N; by [F1] this supremum is ∑a∥Max∥2.

2.1step 1.1F2F3F4algebra

[Positive input] Let ρ=∑nwnTun,un be the spectral expansion [F3]. The partial sums ΦN(ρ):=∑a≤NMaρMa∗ are positive trace-class with tr⁡ΦN(ρ)=∑a≤N∑nwn∥Maun∥2 by [F2]; the double sum increases with N, and its limit is ∑nwn∑a∥Maun∥2=∑nwn∥un∥2=tr⁡ρ by step 1.1 and Tonelli for nonnegative series. Hence the increasing positive sequence ΦN(ρ) has traces increasing to tr⁡ρ, so for N≥M we have ∥ΦN(ρ)−ΦM(ρ)∥1=tr⁡ΦN(ρ)−tr⁡ΦM(ρ)→0 ([F4] with positivity of the difference); by completeness of S1(H) [F2] the series converges in trace norm to a trace-class Φ(ρ)≥0 (the trace-norm limit of positive operators is positive) with tr⁡Φ(ρ)=tr⁡ρ.

3.1step 1.1step 2.1F2F3F4algebra

[Linear extension by nuclear convergence] For rank-one input, MaTu,vMa∗=TMau,Mav by [F2]. Step 1.1 and Cauchy–Schwarz give ∑a∥Mau∥∥Mav∥≤∥u∥∥v∥. Thus for a nuclear input T=∑jTuj,vj the double series of Kraus rank-one images is absolutely summable in trace norm, with total norm at most ∑j∥uj∥∥vj∥. Its sum is the trace-norm limit of ΦN(T)=∑a≤NMaTMa∗, by interchanging absolutely convergent sums and the bounded two-sided ideal action. This limit depends only on T, 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 ∥Φ(T)∥1≤∥T∥1 for every input. For rank-one inputs, the trace sum is ∑a⟨Mau,Mav⟩=⟨u,v⟩, by strong completeness and the adjoint identity; extending through the absolutely convergent nuclear sum proves tr⁡Φ(T)=tr⁡T. 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.

4.1step 2.1step 3.1F4∎

[Norm bound and conclusion] For self-adjoint ρ with spectral decomposition ρ=ρ+−ρ− write T=ρ. Then Φ(ρ)=Φ(ρ+)−Φ(ρ−) by construction, so ∥Φ(ρ)∥1≤tr⁡Φ(ρ+)+tr⁡Φ(ρ−)=tr⁡ρ++tr⁡ρ−=∥ρ∥1 using step 2.1 and [F4]. Positivity for arbitrary ρ≥0 is step 2.1, and trace preservation was shown in step 3.1; hence density operators map to density operators.

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Finite-ancilla complete positivity of countable Kraus maps

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)). Let H be a complex Hilbert space (Hilbert space), let (Ma)a≥1 be bounded operators on H with ∑a≤NMa∗Ma→I strongly, and let Φ(ρ)=∑aMaρMa∗ 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 C, its matrixwise amplification IC⊗Φ preserves self-adjoint positive trace-class operators on C⊗^H. Then for every finite-dimensional complex inner product space C the amplification

IC⊗Φ:S1(C⊗^H)→S1(C⊗^H)

is well defined by the trace-norm convergent series ∑a(IC⊗Ma)R(IC⊗Ma∗) and preserves positivity: every self-adjoint positive trace-class R (positivity in the sense of Self-adjoint, positive, unitary and normal operators) has IC⊗Φ(R) self-adjoint positive. Hence Φ is completely positive on every finite-dimensional ancilla in the stated sense.

Facts & Assumptions

Given: H, (Ma) and Φ as in the Statement; a finite-dimensional complex inner product space C; a positive trace-class R on C⊗^H.

[F1]

The completed tensor product C⊗^H with the inner product ⟨c⊗h,c′⊗h′⟩=⟨c,c′⟩⟨h,h′⟩ is a complex Hilbert space with dense span of elementary tensors; for bounded S the amplification IC⊗S is bounded with ∥IC⊗S∥≤∥S∥ (Hilbert tensor construction: inner product, completion and product bases, Bounded tensor maps: extension, norm estimate, adjoint and commutation).

[F2]

For every R≥0 in S1 and every bounded V, VRV∗≥0 and tr⁡(VRV∗)=tr⁡(V∗VR); 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).

[F3]

A positive trace-class operator R on a Hilbert space has a spectral expansion R=∑nwnTξn,ξn with orthonormal ξn, wn≥0 and ∑nwn=tr⁡R (Density operators and scalar spectral probability).

[F4]

The partial sums SN=∑a≤NMa∗Ma satisfy 0≤SN≤I and converge strongly to I. For finite-dimensional C with orthonormal basis (ek)k=1d, every vector in C⊗^H has the form ξ=∑kek⊗hk, so IC⊗SN acts coordinatewise, is a positive contraction, and converges strongly to I (Bounded tensor maps: extension, norm estimate, adjoint and commutation, Hilbert tensor construction: inner product, completion and product bases).

Proof

1.1givenF1F4algebra

[The amplified family is strongly complete] For each a, (IC⊗Ma)∗(IC⊗Ma)=IC⊗Ma∗Ma by [F1]. If (ek)k=1d is an orthonormal basis of C and ξ=∑kek⊗hk, then ∥(IC⊗∑a≤NMa∗Ma−I)ξ∥2=∑k=1d∥(SN−I)hk∥2⟶0 by the assumed strong convergence on H. Thus the amplified family satisfies the hypothesis of Countable Kraus normalization and trace-norm convergence on C⊗^H, and that lemma applies to it.

2.1step 1.1F1F2F3algebra∎

[Positivity] If C={0} or H={0}, then C⊗^H={0}, the only trace-class input is R=0, and the asserted series and its limit are zero, so the conclusion holds. Suppose henceforth that C,H≠{0}. For R≥0 and each a, (IC⊗Ma)R(IC⊗Ma)∗≥0 by [F2]; the partial sums are positive, and the trace-norm limit is positive because ⟨Sx,x⟩=lim⁡⟨SNx,x⟩≥0 for trace-norm convergent SN→S. Alternatively, applying the spectral argument of Countable Kraus normalization and trace-norm convergence to the amplified family: by [F3], R=∑nwnTξn,ξn with ξn∈C⊗^H, the partial sums ∑a≤N(IC⊗Ma)R(IC⊗Ma)∗=∑nwn∑a≤NT(IC⊗Ma)ξn,(IC⊗Ma)ξn are positive with traces ∑nwn∑a≤N∥(IC⊗Ma)ξn∥2↑∑nwn∥ξn∥2=tr⁡R by step 1.1, so they converge in trace norm to a positive limit with trace tr⁡R, and the series converges to IC⊗Φ(R).

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Local trace-preserving Kraus maps do not change the opposite reduced state

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)). Let H,K be complex Hilbert spaces, let (Ma)a≥1 be bounded operators on K with ∑a≤NMa∗Ma→IK strongly, and let R be a trace-class operator on H⊗^K. In this statement, R≥0 means that R is self-adjoint and ⟨Rx,x⟩≥0 for every x, as in Self-adjoint, positive, unitary and normal operators. Then the series (when either factor is {0}, use the zero partial-trace maps Tr⁡K:S1({0})→S1(H) and Tr⁡H:S1({0})→S1(K); when both factors are nonzero, use the partial traces of Separable partial trace and its basic properties)

∑a≥1(IH⊗Ma)R(IH⊗Ma∗)

converges in trace norm, its sum Φ(R) is trace class with tr⁡Φ(R)=tr⁡R and Φ(R)≥0 if R≥0, and the reduced state on H is unchanged:

Tr⁡KΦ(R)=Tr⁡KR.

By symmetry, a local map R↦∑a(Na⊗IK)R(Na∗⊗IK) on the first factor also leaves Tr⁡HR fixed. Selective conditioning (one summand normalized by its nonzero trace) is not covered.

Facts & Assumptions

Given: H,K; the family (Ma); a trace-class R on H⊗^K with nuclear representation R=∑jTwj,zj; a bounded A∈B(H).

[F1]

The amplified family (IH⊗Ma) consists of bounded operators on H⊗^K with (IH⊗Ma)∗(IH⊗Ma)=IH⊗Ma∗Ma, and ∑a≤N(IH⊗Ma)∗(IH⊗Ma)→I strongly: on finite sums of elementary tensors this is the strong convergence of ∑a≤NMa∗Ma, and the general case follows by approximation and ∥IH⊗SN∥≤1 (Bounded tensor maps: extension, norm estimate, adjoint and commutation, Hilbert tensor construction: inner product, completion and product bases).

[F2]

Under the strong completeness hypothesis, ∑aVaRVa∗ converges in trace norm for every trace-class R, is positive for positive R, and preserves the trace, where Va:=IH⊗Ma; moreover the identity tr⁡(∑aVaRVa∗)=tr⁡R is the trace-preservation clause (Countable Kraus normalization and trace-norm convergence, Finite-ancilla complete positivity of countable Kraus maps).

[F3]

When H,K≠{0}, Tr⁡K is the unique linear map on S1(H⊗^K) with tr⁡((Tr⁡KT)A)=tr⁡(T(A⊗IK)) for all bounded A, and it satisfies ∥Tr⁡KT∥1≤∥T∥1 (Separable partial trace and its basic properties); the Statement supplies the zero-map convention when a factor is zero.

[F4]

For a bounded operator B and trace-class T, BT is trace class with ∥BT∥1≤∥B∥ ∥T∥1, and tr⁡(BT) is linear in T 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 T has a nuclear representation T=∑jTwj,zj, and for bounded B the trace formulas tr⁡(TB)=∑j⟨wj,B∗zj⟩=tr⁡(BT) hold with absolute convergence (Nuclear bounded cyclicity for trace-class operators, Facts [F2] and Statement (b)).

Proof

1.1givenF1F2

[Convergence of the local map] If H={0} or K={0}, then R=0 and every summand (IH⊗Ma)R(IH⊗Ma)∗ is zero; hence Φ(R)=0 and both sides of Tr⁡KΦ(R)=Tr⁡KR are zero by the convention in the Statement. Assume henceforth H,K≠{0}. By [F1] the amplified family satisfies the strong completeness hypothesis of [F2] on the Hilbert space H⊗^K, so the series ∑aVaRVa∗ with Va=IH⊗Ma converges in trace norm, its sum Φ(R) is trace class with tr⁡Φ(R)=tr⁡R, and Φ(R)≥0 for R≥0.

2.1step 1.1F4algebra

[Pairing computation] For bounded A and Va=IH⊗Ma, apply the bounded cyclicity of [F4] to the trace-class operator T=RVa∗(A⊗IK) and bounded Va. It gives tr⁡(VaRVa∗(A⊗IK))=tr⁡(R Va∗(A⊗IK)Va) with Va∗(A⊗IK)Va=(IH⊗Ma∗)(A⊗IK)(IH⊗Ma)=A⊗Ma∗Ma. For each N, sum this identity over a≤N; trace-norm convergence of the series in step 1.1 and trace-norm continuity of the bounded trace pairing [F4] give tr⁡(Φ(R)(A⊗IK))=lim⁡N→∞tr⁡(R(A⊗SN)), where SN=∑a≤NMa∗Ma.

3.1step 2.1F1F4algebra

[Passing to the limit in the completeness sum] Let R=∑jTwj,zj be nuclear. For each N, tr⁡(R(A⊗∑a≤NMa∗Ma))=∑j⟨wj,(A⊗SN)∗zj⟩ with SN:=∑a≤NMa∗Ma, an absolutely convergent series with ∣⟨wj,(A⊗SN)∗zj⟩∣≤∥A∥ ∥wj∥ ∥zj∥; since (A⊗SN)∗→A∗⊗I strongly, each term converges to ⟨wj,(A∗⊗I)zj⟩, and the summable majorant gives ∑j⟨wj,(A⊗SN)∗zj⟩→∑j⟨wj,(A∗⊗I)zj⟩=tr⁡(R(A⊗IK)). Hence tr⁡(Φ(R)(A⊗IK))=tr⁡(R(A⊗IK)).

4.1step 3.1F3∎

[Conclusion] By [F3], tr⁡((Tr⁡KΦ(R))A)=tr⁡(Φ(R)(A⊗IK))=tr⁡(R(A⊗IK))=tr⁡((Tr⁡KR)A) for every bounded A; since the pairings with all A determine a trace-class operator by the uniqueness in [F3], Tr⁡KΦ(R)=Tr⁡KR. The statement for the first factor is obtained by exchanging the roles of H and K.

TheoremStatement: AI-adaptedProof: AI-adaptedOpen item page →

Infinite Schmidt decomposition and the pure product criterion

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)) and let H,K be nonzero complex Hilbert spaces (Hilbert space) with H⊗^K their completed tensor product (Hilbert tensor construction: inner product, completion and product bases). A product vector means an elementary tensor v⊗u with v∈H and u∈K. Then for every Ψ∈H⊗^K there are an at most countable index set J, orthonormal families (vr)r∈J⊆H and (ur)r∈J⊆K, and numbers sr>0 with

Ψ=∑r∈Jsr vr⊗ur(norm convergence in H⊗^K),

and ∥Ψ∥2=∑rsr2. The sr are the positive square roots of the nonzero eigenvalues of CC∗, where C:K0‾→H0 is the linear coefficient operator on countable closed factor supports of Ψ, defined below; if J is infinite then sr→0. For ∥Ψ∥=1 the reduced density ρ=Tr⁡KTΨ,Ψ has tr⁡ρ2=∑rsr4, and tr⁡ρ2=1 holds exactly when exactly one sr 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 H0⊆H, K0⊆K be the closed spans of their factor vectors. These supports have finite/countable orthonormal bases, and Ψ∈H0⊗^K0. The conjugate Hilbert space K0‾ consists of symbols zˉ, with azˉ:=aˉz‾ and ⟨zˉ,wˉ⟩K0‾:=⟨w,z⟩K0. For an orthonormal basis (fj) of K0, write Ψ=∑jhj⊗fj and set Cfˉj=hj, extending linearly and continuously. The positive singular values and the nonzero spectrum of CC∗ 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 H,K, and Ψ∈H⊗^K. The supports, bases and coefficient map are constructed in the proof; no countable basis of the ambient spaces is assumed.

[F1]

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).

[F2]

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 (C∗)∗=C; Cauchy–Schwarz bounds coordinate sums (Bounded finite rank operators are compact, Norm limit of compact operators is compact, Hilbert-adjoint identities, Cauchy–Schwarz: ∣⟨x,y⟩∣≤∥x∥ ∥y∥, with equality exactly for dependent pairs).

[F3]

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).

[F4]

Rank-one operators have trace norm ∥Tu,v∥1=∥u∥∥v∥ and trace ⟨u,v⟩. 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

1.1givenF1F4chooseconstructalgebra

[Countable supports and coefficients] By density and Countable Choice choose algebraic tensors Ψn→Ψ with finite factor decompositions. Their countably many factor vectors span closed subspaces H0,K0 with explicit dense sequences of finite rational complex combinations; [F1] supplies finite/countable orthonormal bases. The inclusion of H0⊙K0 in H⊗^K is isometric and extends to its closed completion, which contains Ψ. Choose the basis (fj) of K0. As in the orthogonal contraction construction of Separable partial trace and its basic properties, coefficient contractions define hj∈H0 with Ψ=∑jhj⊗fj and ∑j∥hj∥2=∥Ψ∥2. All sums here may be finite or empty, including Ψ=0.

2.1step 1.1F1F2F4constructalgebra

[The typed compact coefficient operator] Define C(∑jzjfˉj):=∑jzjhj first on finite sums in K0‾. Cauchy–Schwarz gives ∥Cz∥≤(∑j∥hj∥2)1/2∥z∥, so it extends to all of K0‾ by continuity and completeness. The finite truncations CN have finite rank and ∥C−CN∥≤(∑j>N∥hj∥2)1/2→0, so [F2] makes C compact. The adjoint has the correctly typed formula C∗x=∑j⟨x,hj⟩fˉj for x∈H0, hence CC∗x=∑j⟨x,hj⟩hj. The finite sums ∑j≤NThj,hj converge in trace norm by [F4], with trace sum ∑j∥hj∥2; their operator-norm limit is CC∗, so CC∗ is positive trace class with tr⁡CC∗=∥Ψ∥2.

3.1step 1.1step 2.1F4algebra

[Reduced-state identity] Let ΨN=∑j≤Nhj⊗fj. The elementary partial-trace formula gives Tr⁡KTΨN,ΨN=∑j≤NThj,hj, regarding the latter operators on H as zero on H0⊥. Rank-one continuity and boundedness of the partial trace [F4] pass to the limit and give Tr⁡KTΨ,Ψ=CC∗ extended by zero. Thus the nonzero eigenvalues of CC∗ are intrinsic to Ψ, independent of all auxiliary supports and bases.

4.1step 2.1step 3.1F1F2F3chooseconstructalgebra

[Singular vectors in the conjugate factor] By [F3] choose orthonormal eigenvectors vr∈H0 for the positive eigenvalues sr2 of CC∗, counted with multiplicity; finite-dimensional eigenspace bases are supplied by [F1] and their countable selection uses the stated Countable Choice. Define uˉr:=sr−1C∗vr∈K0‾. Then ⟨uˉr,uˉt⟩=sr−1st−1⟨vr,CC∗vt⟩=δrt, so the actual vectors ur∈K0 are orthonormal too. By step 2.1 their coefficients obey ur=∑jsr−1⟨hj,vr⟩fj. The trace formula [F3] gives ∑rsr2=tr⁡CC∗=∥Ψ∥2, and infinitely many positive eigenvalues tend to zero.

5.1step 1.1step 4.1F1F3algebra

[Reconstruction] If g∈ker⁡CC∗ then 0=⟨CC∗g,g⟩=∥C∗g∥2, so all ⟨g,hj⟩ vanish. Thus every hj is in the closed span of the vr by [F3], and hj=∑r⟨hj,vr⟩vr. The orthonormal series ∑rsrvr⊗ur converges in tensor norm because ∑rsr2<∞. Its fj coefficient is ∑rsr⟨ur,fj⟩vr=∑r⟨hj,vr⟩vr=hj by step 4.1. The orthogonal coefficient norm formula [F1] therefore identifies its sum with Ψ. If Ψ=0, the positive spectrum and the Schmidt family are empty, giving the zero expansion.

6.1step 2.1step 3.1step 4.1step 5.1F3F4algebra∎

[Purity and product criterion] For ∥Ψ∥=1, steps 3.1–5.1 show that the reduced density has eigenvalues sr2 and ∑rsr2=1, hence tr⁡ρ2=∑rsr4. The difference (∑rsr2)2−∑rsr4=2∑r<tsr2st2 vanishes exactly when there is one positive coefficient. That case makes the expansion a product vector. Conversely for a nonzero product a⊗b, its coefficients are hj=⟨b,fj⟩a, so C has rank one and CC∗ 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.

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Abstract trace-class instruments: effects and Heisenberg duality

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)). Let H be a nonzero complex Hilbert space (Hilbert space) and let (X,Σ) be a measurable space. In this item, a positive trace-class operator means a self-adjoint trace-class operator T with ⟨Tx,x⟩≥0 for every x∈H; a bounded effect means a self-adjoint F∈B(H) with 0≤⟨Fx,x⟩≤∥x∥2 for every x∈H.

By an abstract instrument on (X,Σ) we mean a map J:Σ→B(S1(H)) into bounded linear maps of the trace-class operators such that (i) each JB is completely positive (every finite amplification ICn⊗JB preserves positivity on positive trace-class operators); (ii) for pairwise disjoint Bn with union B, JB(ρ)=∑nJBn(ρ) in trace norm for every trace-class ρ; (iii) JX is trace preserving.

Then:

(a) for every B∈Σ there is a unique effect FB∈B(H), 0≤FB≤I (Self-adjoint, positive, unitary and normal operators), with tr⁡(JB(T))=tr⁡(TFB) for every trace-class T;

(b) FX=I, and B↦FB is weakly countably additive: for pairwise disjoint Bn with union B and all x,y∈H, ⟨FBx,y⟩=∑n⟨FBnx,y⟩;

(c) for every B and every bounded A∈B(H) there is a unique bounded operator JB∗(A) with tr⁡(JB(T)A)=tr⁡(TJB∗(A)) for every trace-class T; the map A↦JB∗(A) is linear and bounded with JB∗(A)≥0 for A≥0 and JX∗(I)=I;

(d) for a density operator ρ and B∈Σ the number p(B)=tr⁡(JB(ρ))=tr⁡(ρFB) lies in [0,1], and p is countably additive. Whether an experimental procedure realizes such an instrument is a separate model assumption; the conditional update JB(ρ)/p(B) is defined only when p(B)>0.

No universal representation theorem for arbitrary instruments is asserted.

Facts & Assumptions

Given: A nonzero complex Hilbert space H; an abstract instrument J as defined; bounded A; vectors x,y,u,v.

[F1]

Tx,y is trace class with tr⁡(Tx,y)=⟨x,y⟩, ∥Tx,y∥1=∥x∥ ∥y∥; Tx,y∗=Ty,x; tr⁡(STx,y)=⟨Sx,y⟩ for trace-class S; and ∣tr⁡T∣≤∥T∥1 (Rank-one operator calculus, Nuclear bounded cyclicity for trace-class operators, Trace is absolutely convergent and basis independent).

[F2]

Trace-class operators form a Banach space in trace norm, and the trace is linear and trace-norm continuous; for bounded B, ∥BT∥1≤∥B∥ ∥T∥1 (Trace class is a two sided Banach operator ideal).

[F3]

A bounded linear functional f on H has a unique Riesz representative y with f(x)=⟨x,y⟩ (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.

[F4]

Complete positivity implies positivity of JB 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

1.1givenF1F2algebra

[The functional and its sesquilinear form] Fix B∈Σ. The map fB(T):=tr⁡(JB(T)) is a bounded linear functional on S1(H) with ∣fB(T)∣≤∥JB∥ ∥T∥1 by [F2]. Define bB(u,v):=fB(Tu,v) on rank-one operators. Because Tu,v is linear in u and conjugate-linear in v and fB is linear, bB is sesquilinear; by [F1], ∣bB(u,v)∣≤∥JB∥ ∥u∥ ∥v∥.

2.1step 1.1F1F2F3F4algebra

[The effect] For fixed u, Riesz representation of v↦bB(u,v)‾ gives a unique vector FBu with bB(u,v)=⟨FBu,v⟩; the sesquilinear bound in step 1.1 makes u↦FBu a bounded linear operator. By [F4], JB(Tu,u) is self-adjoint positive trace class and has nonnegative trace, so bB(u,u)≥0. The complement relation JX=JB+JX∖B and positivity of JX∖B give bB(u,u)≤bX(u,u)=tr⁡(Tu,u)=∥u∥2. Thus the diagonal form values are real, so polarization makes bB Hermitian and FB self-adjoint; the two inequalities show it is an effect in the stated sense. Linearity and trace-norm continuity [F1, F2] extend tr⁡(JB(Tu,v))=⟨FBu,v⟩=tr⁡(Tu,vFB) to every trace-class T. Uniqueness follows because all pairings ⟨FBu,v⟩ are fixed. This is (a).

3.1step 2.1F1F2algebra

[Normalization and countable additivity] For T=Tu,v and B=X the trace-preservation clause of the instrument gives ⟨FXu,v⟩=tr⁡(JX(Tu,v))=tr⁡(Tu,v)=⟨u,v⟩, so FX=I. For pairwise disjoint Bn with union B, the instrument's countable additivity says ∑n≤NJBn(T)→JB(T) in trace norm; by linearity and trace-norm continuity of the functional tr⁡(⋅ FB)-pairing [F1, F2], tr⁡(Tu,vFB)=tr⁡(JB(Tu,v))=lim⁡N∑n≤Ntr⁡(JBn(Tu,v))=∑n⟨FBnu,v⟩ by step 2.1. As u,v are arbitrary, this is ⟨FBu,v⟩=∑n⟨FBnu,v⟩, which is (b).

4.1step 2.1step 3.1F1F2F3F4algebra

[Heisenberg dual] Fix B and bounded A. Define cA(u,v):=tr⁡(JB(Tu,v)A). This is sesquilinear in (u,v) with ∣cA(u,v)∣≤∥JB∥ ∥A∥ ∥u∥ ∥v∥ by [F1, F2]; by the Riesz construction in [F3] there is a unique bounded JB∗(A) with cA(u,v)=⟨JB∗(A)u,v⟩ and ∥JB∗(A)∥≤∥JB∥ ∥A∥. Then for rank-one Tu,v, tr⁡(JB(Tu,v)A)=⟨JB∗(A)u,v⟩=tr⁡(Tu,vJB∗(A)) by [F1]; both sides are linear and trace-norm continuous in T [F2], so the identity holds for all trace-class T. Linearity of A↦JB∗(A) follows by uniqueness of the representing operator. If A≥0 and x∈H, then ⟨JB∗(A)x,x⟩=tr⁡(JB(Tx,x)A)≥0: by [F4], JB(Tx,x)=∑nwnTun,un with wn≥0, and the trace is ∑nwn⟨Aun,un⟩, a convergent nonnegative sum. Its diagonal values are real, so polarization also gives JB∗(A)∗=JB∗(A). Finally JX∗(I)=I by tr⁡(JX(T)I)=tr⁡T=tr⁡(TI) and uniqueness. This is (c).

5.1step 2.1step 3.1F1F2F4algebra∎

[Probabilities] For a density operator ρ=∑nwnTun,un, step 2.1 gives p(B)=tr⁡(JB(ρ))=tr⁡(ρFB)=∑nwn⟨FBun,un⟩. Since 0≤FB≤I, each diagonal term lies in [0,1] and ∑nwn=1, so p(B)∈[0,1]. Trace-norm additivity of J and trace continuity imply countable additivity of p, and p(X)=1 by trace preservation. Positivity and normalization of JB(ρ)/p(B) hold precisely when p(B)>0. Whether the prescribed instrument is experimentally realized remains a separate model assumption.

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

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 (ACω), The Axiom of Choice). Let H be a nonzero complex Hilbert space (Hilbert space) and (F1,…,Fn) a finite POVM on H: a finite family of bounded self-adjoint operators 0≤Fa≤I with ∑aFa=I (Finite effects and instruments: normalization and non-determination of the update). Let C=Cn with standard orthonormal basis (ea) and form H⊗^C (Hilbert tensor construction: inner product, completion and product bases). Then

W:H→H⊗^C,Wψ:=∑a=1nFa1/2ψ⊗ea,

is a linear isometry, the operators Pa:=IH⊗Tea,ea are orthogonal projections with ∑aPa=I (a finite PVM on {1,…,n}, The Hilbert orthogonal projection onto a closed subspace), and

W∗PaW=Fa(a=1,…,n).

The square roots Fa1/2 are the positive square roots supplied by the bounded functional calculus. The construction asserts no physical realization of the ancilla.

Facts & Assumptions

Given: H; a finite POVM (Fa); the ancilla C=Cn with orthonormal basis (ea).

[F1]

0≤Fa≤I; for the bounded self-adjoint Fa the continuous functional calculus provides a unique isometric unital star-homomorphism f↦f(Fa); in particular Fa is bounded, self-adjoint, positive, satisfies Fa2=Fa and commutes with Fa (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).

[F2]

The completed tensor product has the inner product ⟨u⊗c,u′⊗c′⟩=⟨u,u′⟩⟨c,c′⟩, the elementary tensors span a dense subspace, and bounded operators extend as S⊗T with adjoint S∗⊗T∗ (Hilbert tensor construction: inner product, completion and product bases, Bounded tensor maps: extension, norm estimate, adjoint and commutation).

[F3]

Tea,ea is the orthogonal projection of C onto Cea; Tea,eaTeb,eb=δabTea,ea and ∑aTea,ea=IC (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

1.1givenF1F2F3algebra

[The isometry] The map ψ↦∑aFa1/2ψ⊗ea is well defined and linear; for finite sums of elementary tensors the inner product is computed by [F2], and for ψ∈H, ∥Wψ∥2=∑a,b⟨Fa1/2ψ,Fb1/2ψ⟩⟨ea,eb⟩=∑a∥Fa1/2ψ∥2=∑a⟨Faψ,ψ⟩=⟨ψ,ψ⟩ by [F1] and [F3]. Hence W is an isometry.

2.1step 1.1F2F3algebra

[The projections] The operators Pa=IH⊗Tea,ea are orthogonal projections by [F2] and [F3]; distinct ones are orthogonal and ∑aPa=IH⊗IC=I by [F3].

3.1step 1.1F1F2algebra∎

[Compression] Compute the adjoint directly: for ξ∈H, vectors ξa∈H and scalars za, ⟨Wξ,∑azaξa⊗ea⟩=∑aza‾⟨Fa1/2ξ,ξa⟩=∑aza‾⟨ξ,Fa1/2ξa⟩ by [F2] and [F1], so W∗(∑azaξa⊗ea)=∑azaFa1/2ξa; in particular W∗(ξ⊗ea)=Fa1/2ξ. Then PaWψ=Fa1/2ψ⊗ea and W∗PaWψ=Fa1/2Fa1/2ψ=Faψ by [F1].

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Countable Kraus isometric dilation and partial-trace recovery

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)). Let H be a nonzero complex Hilbert space (Hilbert space) and let (Ma,r)a,r≥1 be bounded operators on H with

∑a≤A, r≤RMa,r∗Ma,r⟶Istrongly as A,R→∞.

Let (ea,r)a,r≥1 be the standard orthonormal basis of ℓ2 and form H⊗^ℓ2 (Hilbert tensor construction: inner product, completion and product bases). Then

W:H→H⊗^ℓ2,Wψ:=∑a,r≥1Ma,rψ⊗ea,r

is a linear isometry; for each outcome label a the strong limit Pa:=∑r≥1IH⊗Tea,r,ea,r is an orthogonal projection (The Hilbert orthogonal projection onto a closed subspace), the family (Pa)a≥1 consists of pairwise orthogonal projections with ∑aPa=I strongly, and

W∗PaW=∑r≥1Ma,r∗Ma,r=:Fa;

moreover the partial trace of the dilated state over ℓ2 recovers the Kraus instrument: for every trace-class ρ on H,

Tr⁡ℓ2(WρW∗)=∑a,r≥1Ma,rρMa,r∗,

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: H; the family (Ma,r) with the stated strong completeness; the orthonormal basis (ea,r) of ℓ2.

[F1]

For ψ∈H, the nonnegative double series ∑a,r∥Ma,rψ∥2 has value ∥ψ∥2, and ∥Wψ∥2=∑a,r∥Ma,rψ∥2 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).

[F2]

The operators Tea,r,ea,r are orthogonal projections onto Cea,r, pairwise orthogonal, with ∑a,rTea,r,ea,r=I 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).

[F3]

Tr⁡ℓ2 is the trace-norm continuous linear map with defining identity tr⁡((Tr⁡ℓ2T)A)=tr⁡(T(A⊗I)) for bounded A, and on rank-one operators Tr⁡ℓ2Tu⊗e,u′⊗e′=⟨e,e′⟩Tu,u′ (Separable partial trace and its basic properties).

[F4]

tr⁡(Tx,z)=⟨x,z⟩, and for bounded B, Tx,zB=Tx,B∗z (Rank-one operator calculus, Nuclear bounded cyclicity for trace-class operators).

Proof

1.1givenF1algebra

[The dilation is an isometry] The series defining Wψ converges: the partial sums ∑a≤A,r≤RMa,rψ⊗ea,r are Cauchy because for A′≥A, R′≥R the squared norm of the difference is the corresponding nonnegative subsum, which is bounded by the tail of the summable series ∑a,r∥Ma,rψ∥2; by [F1] the limit Wψ has ∥Wψ∥2=∑a,r∥Ma,rψ∥2=∥ψ∥2, so W is linear and isometric.

2.1step 1.1F2algebra

[Outcome projections] By [F2] each Pa=∑rI⊗Tea,r,ea,r is the orthogonal projection onto H⊗^span⁡‾{ea,r:r≥1}, the strong sums over a telescope to I, and PaPb=δabPa.

3.1step 2.1F1algebra

[Compression] As in the finite case, W∗(ξ⊗ea,r)=Ma,r∗ξ because W is an isometry with the displayed action, so W∗PaWψ=∑rMa,r∗Ma,rψ for every ψ, the strong limit defining Fa.

4.1step 1.1step 3.1F1F3F4algebra∎

[Partial-trace recovery by truncations] For x,y∈H and a finite rectangle D of index pairs put wD:=∑(a,r)∈DMa,rx⊗ea,r and zD:=∑(a,r)∈DMa,ry⊗ea,r. Then wD→Wx, zD→Wy by step 1.1, and rank-one trace-norm continuity gives TwD,zD→TWx,Wy=WTx,yW∗. For each finite rectangle the elementary formula [F3] gives Tr⁡ℓ2TwD,zD=∑(a,r)∈DTMa,rx,Ma,ry; Cauchy–Schwarz and [F1] give ∑a,r∥Ma,rx∥∥Ma,ry∥≤∥x∥∥y∥, 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 W,W∗ 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.

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Continuous measurable Kraus instruments: isometry, POVM and trace-norm integration

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)). Let (X,Σ,μ) be a σ-finite measure space, H a nonzero separable complex Hilbert space, and (Mr)r≥1 bounded operator-valued maps on X such that:

(i) for every ψ∈H the map x↦Mr(x)ψ is strongly measurable for each r (Strongly measurable Banach-valued function) and

∫X∑r≥1∥Mr(x)ψ∥2 dμ(x)=∥ψ∥2(ψ∈H).

Here E:=ℓ2(H) is the space of sequences z=(zr)r≥1 with ∑r∥zr∥2<∞, with inner product ⟨z,w⟩E:=∑r⟨zr,wr⟩H. Define L2(X,μ;E) as the vector space of strongly measurable fields f:X→E with ∫X∥f(x)∥E2dμ<∞, modulo equality almost everywhere; its inner product is ⟨[f],[g]⟩:=∫X⟨f(x),g(x)⟩Edμ. The proof establishes that both spaces are Hilbert spaces before using adjoints or PVMs on this target.

Then:

(a) the formula Wψ(x):=(Mr(x)ψ)r defines a linear isometry W:H→L2(X,μ;ℓ2(H));

(b) for B∈Σ the multiplication operator P(B) by 1B is a projection-valued measure on (X,Σ), and F(B):=W∗P(B)W is a normalized POVM. Here a POVM is a weakly countably additive map F:Σ→B(H) whose values are self-adjoint positive contractions, with F(∅)=0 and F(X)=I; positivity is in the sense of Self-adjoint, positive, unitary and normal operators;

(c) for every self-adjoint positive trace-class ρ=∑nwnTun,un (Self-adjoint, positive, unitary and normal operators, Trace class operator, Density operators and scalar spectral probability) the Bochner integral

IB(ρ):=∑n≥1wn∫B∑r≥1TMr(x)un,Mr(x)un dμ(x)

converges in trace norm and defines a positive trace-class operator with tr⁡IB(ρ)=tr⁡(ρF(B)); the map B↦IB(ρ) is countably additive in trace norm and IX is trace preserving, so I is an abstract instrument in the sense of Abstract trace-class instruments: effects and Heisenberg duality; moreover tr⁡(IB(ρ)A)=∑r∫Btr⁡(Mr(x)ρMr(x)∗A) dμ(x) for bounded A, and finite-dimensional ancilla amplifications preserve positivity;

(d) the conditional update at an event B with p(B)=tr⁡(ρF(B))>0 is IB(ρ)/p(B). The normalization is integrated over events; no pointwise identity ∑rMr(x)∗Mr(x)=I is assumed. Universal normal-instrument representation is not claimed.

Facts & Assumptions

Given: (X,Σ,μ), H, (Mr) with the normalization identity; a self-adjoint positive trace-class ρ=∑nwnTun,un.

[F1]

∥(Mr(x)ψ)r∥ℓ2(H)2=∑r∥Mr(x)ψ∥2; the normalization hypothesis says the Bochner square norm is ∥ψ∥2, so the resulting equivalence class belongs to L2 and has norm ∥ψ∥ (Bochner-integrable function, The space Lp(μ) as the quotient by null functions, Hilbert tensor construction: inner product, completion and product bases).

[F2]

For T∈S1(H) the rank-one map v↦Tv,v is trace-norm continuous with ∥Tv,v∥1=∥v∥2; Tx,zB=Tx,B∗z and ∥ATB∥1≤∥A∥ ∥T∥1∥B∥ (Rank-one operator calculus, Trace class is a two sided Banach operator ideal, Nuclear bounded cyclicity for trace-class operators).

[F3]

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).

[F4]

Tonelli's theorem permits interchanging the nonnegative sum over r and the integral over X; the trace pairing satisfies tr⁡(Tx,z)=⟨x,z⟩ 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).

[F5]

Nuclear representations converge in trace norm as well as operator norm; finite rank-one sums are trace-norm dense, and tr⁡(Tu,vA)=⟨Au,v⟩ for bounded A. 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: ∣⟨x,y⟩∣≤∥x∥ ∥y∥, with equality exactly for dependent pairs).

[F6]

Monotone convergence applies to nonnegative scalar functions; scalar L2 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 L2, Minkowski's inequality for integrals, including p=∞, Measure-null sets and almost-everywhere statements relative to a measure).

Proof

1.1givenF1F3F6chooseconstructalgebra

[Construction and completeness of the Hilbert target] Coordinate Cauchy–Schwarz makes the inner product of E=ℓ2(H) absolutely convergent and gives its squared norm ∑r∥zr∥2. If (z(n)) is Cauchy in this norm, each coordinate converges in the complete space H to zr; taking limits of finite squared sums shows ∑r∥zr∥2<∞ and ∥z(n)−z∥E→0. Thus E is Hilbert. Strongly measurable E-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 fk satisfying ∥fk+1−fk∥2≤2−k; Countable Choice permits the countable representative selection. Set dk=fk+1−fk. For gN:=∑k≤N∥dk(⋅)∥E, scalar Minkowski gives ∥gN∥2≤∑k≤N2−k≤1. Monotone convergence [F6] applied to gN2 gives g:=∑k∥dk∥E∈L2 and g<∞ almost everywhere. Hence f1+∑kdk converges pointwise off a measurable null set in complete E; define its limit as zero on that set. The limit is strongly measurable: the countably many simple approximant ranges for all fk have a separable closed span, norm distances to a countable dense subset are measurable, and choosing the nearest of the first N dense points gives finite-valued simple approximants converging pointwise. Scalar Minkowski and monotone convergence also give ∥f−fk∥2≤∑j≥k2−j→0, and f∈L2 since ∥f∥E≤∥f1∥E+g. 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 μ(X) is finite.

2.1step 1.1givenF1F3F6constructalgebra

[The L2 isometry] Fix ψ∈H. The measurable nonnegative function gψ(x):=∑r∥Mr(x)ψ∥2 has finite integral ∥ψ∥2, so it is finite outside a null set. On that set the finite coordinate truncations converge in ℓ2(H); 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 ℓ2(H) and measurable coordinates). The field belongs to L2(X;ℓ2(H)) because its squared norm is gψ almost everywhere. Its equivalence class defines Wψ, 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 W is linear as a map of equivalence classes; normalization gives ∥Wψ∥=∥ψ∥, hence W is a linear isometry. No L1 integrability of this raw vector field is needed.

3.1step 2.1F2F3F4F5algebra

[The PVM and the effects] Multiplication by 1B on L2 is a bounded self-adjoint projection, with P(X)=I and P(B∩C)=P(B)P(C). For disjoint Bj with union B, put UN=⋃j≤NBj. The squared L2 norm of (P(B)−∑j≤NP(Bj))f is ∫B∖UN∥f(x)∥2dμ; this tends to zero because 1UN∥f∥2↑1B∥f∥2 and monotone convergence applies. Thus P is a PVM. Compression gives self-adjoint positive contractions F(B)=W∗P(B)W, normalization F(X)=I, and weak countable additivity. Equivalently, for every u,v, ⟨F(B)u,v⟩=∫B∑r⟨Mr(x)u,Mr(x)v⟩ dμ, with absolute convergence by Cauchy–Schwarz and normalization. This is the normalized POVM asserted in (b).

4.1step 2.1step 3.1F2F3F4F5constructalgebra

[Integrable cross fields] For u,v∈H, each x↦TMr(x)u,Mr(x)v is strongly measurable in trace norm by [F2]. By Cauchy–Schwarz twice and normalization, ∫X∑r∥Mr(x)u∥ ∥Mr(x)v∥ dμ≤∥u∥ ∥v∥. Thus, outside a null set, the rank-one series converges absolutely in trace norm. Its sum Ku,v(x) is strongly measurable and Bochner integrable by [F3], with integrated norm at most ∥u∥∥v∥. Define EB(u,v):=∫BKu,v(x) dμ. This is sesquilinear, satisfies ∥EB(u,v)∥1≤∥u∥∥v∥, and has pairing tr⁡(EB(u,v)A)=∑r∫B⟨AMr(x)u,Mr(x)v⟩dμ for bounded A, by the boundedness of trace pairings and absolute integrability. In particular EB(u,u) is positive and tr⁡EB(u,u)=⟨F(B)u,u⟩.

5.1step 3.1step 4.1F2F3F4F5constructalgebra

[The bounded linear instrument] For a nuclear representation T=∑jTuj,vj, define IB(T):=∑jEB(uj,vj), converging in trace norm. The bound of step 4.1 gives ∥IB(T)∥1≤∑j∥uj∥∥vj∥. This is independent of representation: for a nuclear representation of zero, Tonelli and step 4.1 allow exchanging its j sum, the r sum and each bounded-A trace pairing with the integral. For each fixed r,x, the two-sided ideal bound makes ∑jMr(x)Tuj,vjMr(x)∗=Mr(x)0Mr(x)∗=0 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 IB is linear, bounded with norm at most one by taking the nuclear infimum, and positive by positive spectral rank-one expansion. For positive ρ=∑nwnTun,un its definition is exactly the Bochner formula in (c), and absolute integrability gives the stated bounded-A pairing. Taking A=I gives tr⁡IB(T)=tr⁡(TF(B)) first for rank-one inputs by step 3.1 and then for all inputs by nuclear continuity; in particular IX is trace preserving.

6.1step 4.1step 5.1F2F3F4F5algebra

[Countable additivity and complete positivity] For disjoint Bj with union B, the fields 1UNKu,v, where UN=⋃j≤NBj, converge pointwise almost everywhere to 1BKu,v and are dominated in norm by the integrable function ∥Ku,v∥1; Bochner dominated convergence [F3] gives EB(u,v)=∑jEBj(u,v) in trace norm. For a nuclear input T=∑kTuk,vk, [F2] and step 4.1 give In fact, ∑j∑k∥EBj(uk,vk)∥1≤∑k∫B∑r∥Mr(x)uk∥ ∥Mr(x)vk∥dμ≤∑k∥uk∥ ∥vk∥<∞. Thus the two sums may be interchanged in trace norm, and the omitted event tails tend to zero; this proves countable additivity of IB(T) in trace norm. For each finite ancilla Cn, act on Cn⊗^H with the pointwise Kraus maps I⊗Mr(x). For a vector ξ=∑k=1nek⊗ξk, the integrated squared output norm is ∑k∫X∑r∥Mr(x)ξk∥2dμ=∥ξ∥2. The same construction as steps 4.1–5.1 therefore maps each self-adjoint positive rank-one Tξ,ξ 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 IB. Thus every IB is completely positive, and together with additivity and trace preservation this establishes the full abstract instrument, not merely its restriction to positive inputs.

7.1step 5.1step 6.1F2algebra∎

[Conditional updates] For a density operator ρ, IB(ρ)≥0 and p(B)=tr⁡IB(ρ)=tr⁡(ρF(B)) by step 5.1. If p(B)>0, division gives a positive operator of trace one and hence the claimed density operator; if p(B)=0 no normalized update is defined. Nothing here claims a normalized singleton density or a universal representation theorem.

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Marker overlap contraction of the two-path cross term

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)). Let (D,A,μ) be a σ-finite measure space, let L2(D,μ) denote the quotient of square-integrable measurable functions modulo almost-everywhere equality (The space Lp(μ) as the quotient by null functions), let K be a complex Hilbert space (Hilbert space) with unit vectors e1,e2, let a,b∈L2(D,μ) be unit vectors, and let α,β∈C with ∣α∣2+∣β∣2=1. Choose measurable representatives of a,b; all displayed pointwise expressions are understood almost everywhere, and the integrals below are independent of the representatives. Put

Ψ:=α a⊗e1+β b⊗e2∈L2(D)⊗^K.

Then:

(a) the reduced positive trace-class weight ρ:=Tr⁡KTΨ,Ψ on L2(D) is

ρ=∣α∣2Ta,a+∣β∣2Tb,b+αβ‾ ⟨e1,e2⟩ Ta,b+α‾β ⟨e2,e1⟩ Tb,a;

(b) for every measurable B⊆D with finite measure, writing PB for the multiplication operator by 1B,

tr⁡(ρPB)=∫B(∣α∣2∣a∣2+∣β∣2∣b∣2+2Re⁡(αβ‾⟨e1,e2⟩ a(x)b(x)‾))dμ;

(c) the marker overlap contracts the cross term: ∣⟨e1,e2⟩∣≤1, and if e1⊥e2 the cross term in (b) vanishes, leaving the incoherent weight ∣α∣2∣a∣2+∣β∣2∣b∣2.

The weight satisfies tr⁡ρ=∥Ψ∥2=1+2Re⁡(αβ‾⟨a,b⟩⟨e1,e2⟩); it is a density operator precisely when ∥Ψ∥=1. 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: D,K,e1,e2,a,b,α,β,Ψ as in the Statement; a measurable B⊆D with finite measure.

[F0]

Under the assumed Countable Choice, complex L2(D,μ) is complete for its L2 norm and has the first-variable-linear inner product ⟨f,g⟩=∫Dfg‾ dμ inducing that norm (Complex completeness, density, and inner product: the consumer interface). Thus it is a complex Hilbert space. The given unit vectors a,b make it nonzero; the unit e1 makes K nonzero, so both tensor and partial-trace suppliers apply.

[F1]

The completed tensor product L2(D)⊗^K carries the inner product ⟨f⊗u,f′⊗u′⟩=⟨f,f′⟩⟨u,u′⟩ and ∥f⊗u∥=∥f∥ ∥u∥ (Hilbert tensor construction: inner product, completion and product bases).

[F2]

Tr⁡K is linear with Tr⁡KTf⊗u,f′⊗u′=⟨u,u′⟩Tf,f′; Tf,f′g=⟨g,f′⟩f; and tr⁡(Tf,f′PB)=⟨f,PBf′⟩=∫Bff′‾ dμ for the self-adjoint multiplication operator PB (Separable partial trace and its basic properties, Nuclear bounded cyclicity for trace-class operators).

[F3]

∣⟨e1,e2⟩∣≤1 (Cauchy–Schwarz: ∣⟨u,v⟩∣≤∥u∥∥v∥, with equality exactly for linearly dependent vectors); the functions ab‾, ∣a∣2, ∣b∣2 are integrable on B of finite measure by Cauchy-Schwarz (Cauchy-Schwarz inequality for L2).

Proof

1.1givenF0F1F2algebra

[The reduced state] Expanding TΨ,Ψ into its four rank-one summands and applying the rank-one rule [F2] termwise gives Tr⁡KTΨ,Ψ=∣α∣2Ta,a+∣β∣2Tb,b+αβ‾⟨e1,e2⟩Ta,b+α‾β⟨e2,e1⟩Tb,a, which is (a). The trace-preserving partial trace [F2] gives tr⁡ρ=∥Ψ∥2; expanding the tensor norm by [F1] gives the displayed normalization formula. Positivity follows from positivity of TΨ,Ψ and the positive partial trace [F2], so trace one is exactly the density condition.

2.1step 1.1F2F3algebra

[The bin weight] By [F2], tr⁡(ρPB)=∣α∣2∫B∣a∣2+∣β∣2∫B∣b∣2+αβ‾⟨e1,e2⟩∫Bab‾+α‾β⟨e2,e1⟩∫Bba‾; since the last two integrals are conjugates of one another (because ⟨e2,e1⟩=⟨e1,e2⟩‾ and ∫Bba‾=∫Bab‾‾), their sum is 2Re⁡(αβ‾⟨e1,e2⟩∫Bab‾), giving (b).

3.1step 2.1F3algebra∎

[The overlap bound] By [F3], ∣⟨e1,e2⟩∣≤1. Thus the modulus of the complex cross-term coefficient αβ‾⟨e1,e2⟩ is at most ∣αβ∣, and the real cross-term contribution at x is bounded in magnitude by 2∣αβ∣ ∣a(x)b(x)∣. A complex phase may rotate that contribution, so no comparison of its real part with the real part for overlap one is asserted. When e1⊥e2, the overlap is zero and the cross term vanishes, leaving exactly the diagonal sum, as claimed in (c).

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Exact free Gaussian propagation

Statement

Assume the Axiom of Countable Choice and the Axiom of Choice (The Axiom of Countable Choice (ACω), The Axiom of Choice). Fix m>0, ℏ>0, σ>0 and real x0,p0, and let

ψ0(x):=(2πσ2)−1/4exp⁡(−(x−x0)24σ2)exp⁡(ip0(x−x0)ℏ),x∈R.

Let H0 be the free operator of clause (b) of Real multiplication operators and free plus bounded-potential Schrödinger operators with c:=2π2ℏ2/m and b:=0, i.e.

H0:=F2∗ M2π2ℏ2ξ2/m F2,D(H0)={f∈L2(R):ξ2F2f∈L2(R)},

which is self-adjoint with D(H0)=W2,2(R;C) and H0f=−ℏ22mΔf for f∈S(R). Let U be the momentum transform of Momentum Fourier Jacobian: the unitary momentum representation, the surjective isometry L2(R,dx)→L2(R,dp) with U=Dℏ∘F2 on S(R). For t∈R put τ:=ℏt2mσ2 and

ψt(x):=(2πσ2)−1/4(1+iτ)−1/2exp⁡(−(x−x0−p0t/m)24σ2(1+iτ)+ip0(x−x0)ℏ−ip02t2mℏ),

where z−1/2:=exp⁡(−12Log⁡z) is the principal branch of Complex logarithms, the principal logarithm, and principal and multivalued complex powers, legitimate at z=1+iτ because Re⁡(1+iτ)=1>0. Let Qf(x)=xf(x) and Pf(x)=−iℏf′(x) act on S(R). Then:

(a) ψ0∈S(R), ∥ψ0∥2=1, and for every t one has ψt∈S(R)⊆D(H0); the map t↦ψt is continuously differentiable R→L2(R) with ψt∈D(H0) and ddtψt=−iℏH0ψt, and consequently ψt=e−itH0/ℏψ0, where e−itH0/ℏ:=eitT with T:=−H0/ℏ denotes the unitary group generated by the self-adjoint operator T (A self-adjoint operator generates a strongly continuous unitary group).

(b) Position density. ∣ψt(x)∣2=(2πσ2(1+τ2))−1/2exp⁡(−(x−x0−p0t/m)2/(2σ2(1+τ2))); it is a probability density of mean x0+p0t/m and variance σ2(1+τ2).

(c) Momentum density. ∣Uψt(p)∣2=2/π (σ/ℏ)exp⁡(−2σ2(p−p0)2/ℏ2)=∣Uψ0(p)∣2 for almost every p; it is a probability density of mean p0 and variance ℏ2/(4σ2), independent of t.

(d) Standard deviations. With ΔQ:=∥(Q−⟨Qψt,ψt⟩)ψt∥2 and ΔP:=∥(P−⟨Pψt,ψt⟩)ψt∥2 one has ΔQ=σ1+τ2, ΔP=ℏ/(2σ) and

ΔQ ΔP=ℏ21+τ2 ≥ ℏ2,

with equality exactly at t=0; the lower bound ℏ/2 is the one supplied by clause (d) of Weak-form Robertson uncertainty on a common domain with c=ℏ.

(e) Scope. These are exact conditional calculations for the free model defined by H0; no measurement, instrument or laboratory preparation is described, and nothing here asserts that a physical wave packet is Gaussian.

Facts & Assumptions

Given: m,ℏ,σ>0, x0,p0∈R, the vector ψ0 above, the operator H0 and the transform U.

[F1]

S(R) consists of the C∞ functions all of whose polynomial-weighted derivatives are bounded; every Schwartz function lies in L1∩L2 (Schwartz space and its seminorms).

[F2]

U:L2(R,dx)→L2(R,dp) is a surjective complex-linear isometry with U=DℏF2 on S(R), where Dℏg(p)=(2πℏ)−1/2g(p/(2πℏ)); being a surjective isometry, U preserves inner products and U∗=U−1 (Momentum Fourier Jacobian: the unitary momentum representation).

[F3]

If Re⁡z>0 then ∫Re−zx2dx=π z−1/2 for the branch z−1/2=exp⁡(−12Log⁡z), and for G1(z):=∫Re−zx2dx one has G1′(z)=−∫Rx2e−zx2dx (Complex Gaussian continuation(a),(b)).

[F4]

H0 is self-adjoint, D(H0)=W2,2(R;C)={f∈L2:ξ2F2f∈L2} with equivalent norms on this set, and H0f=−ℏ22mΔf for f∈S(R) (Real multiplication operators and free plus bounded-potential Schrödinger operators(b)). Here F2 is the Plancherel transform extending the L1 transform f^(ξ)=∫f(x)e−2πixξdx; it is a surjective isometry preserving inner products (Plancherel theorem, Fourier transform on complex L1 classes).

[F5]

For a self-adjoint operator T the operators V(t):=eitT form a strongly continuous one-parameter unitary group with V(t)D(T)=D(T), TV(t)=V(t)T on D(T), and lim⁡s→01s(V(s)x−x)=iTx exactly for x∈D(T) (A self-adjoint operator generates a strongly continuous unitary group).

[F6]

Dominated convergence: if fn→f pointwise and ∣fn∣≤g for a fixed integrable g, then ∫fn→∫f (Dominated convergence). A continuous real function on an interval has a primitive and ∫abG′=G(b)−G(a) for it (Every continuous function on an interval has a primitive; two primitives differ by a constant; and ∫abf=G(b)−G(a) for any primitive G); the integral over R is the limit of the compact-interval integrals when it exists (Improper integrals over unbounded intervals); (fg)′=f′g+fg′ (Sums, scalar multiples, products and quotients: (f+g)′(c)=f′(c)+g′(c), (αf)′(c)=αf′(c), (fg)′(c)=f′(c)g(c)+f(c)g′(c), and (f/g)′(c)=(f′(c)g(c)−f(c)g′(c))/g(c)2 when g(c)≠0); for differentiable u,v with integrable derivatives on [a,b], ∫abuv′=u(b)v(b)−u(a)v(a)−∫abu′v (If u,v are differentiable on [a,b] with u′,v′ integrable, then ∫abuv′=u(b)v(b)−u(a)v(a)−∫abu′v). Substitutions: an invertible linear T:R→R scales Lebesgue measure by ∣det⁡T∣ (A linear map T of Rn sends Lebesgue measurable sets to Lebesgue measurable sets, with λn(T[E])=∣det⁡T∣ λn(E) when T is invertible and T[E] Lebesgue null when it is not), and λ1(E+h)=λ1(E) for every Lebesgue measurable E and h∈R (Lebesgue outer measure, Lebesgue measurability and Lebesgue measure are unchanged by translation); hence for every nonnegative measurable H and every real x0, ∫RH(x−x0)dx=∫RH(y)dy, by approximation with simple functions and monotone convergence (Monotone convergence for the integral).

[F7]

For every unit f∈S(R) and every c>0, with Qf(x)=xf(x) and Pcf(x)=−icf′(x), one has ΔQ ΔPc≥c/2, the differences being centered norms (Weak-form Robertson uncertainty on a common domain(d)).

Proof

1.1F1F3F6algebra

[The initial packet is a unit Schwartz vector] The derivative ∂xkψ0 equals Pk(x)ψ0(x) for a polynomial Pk: this follows by induction with the product rule [F6] applied to the three factors (2πσ2)−1/4, e−(x−x0)2/(4σ2) and the bounded factor eip0(x−x0)/ℏ, each differentiation of the last factor multiplying it by the constant ip0/ℏ. Since x↦xjPk(x)e−(x−x0)2/(4σ2) is bounded for all j,k (the exponential decays faster than any polynomial), ψ0∈S(R) [F1]. By [F6] ∫R∣ψ0(x)∣2dx=(2πσ2)−1/2∫Re−y2/(2σ2)dy=(2πσ2)−1/2π (2σ2)1/2=1, using [F3] with z=1/(2σ2) and the substitution x=x0+y.

1.2F3F6algebra

[The complex shift identity] For Re⁡a>0 and b∈R one has ∫Re−ay2eibydy=π/a e−b2/(4a) with π/a:=π a−1/2: setting F(b):=∫Re−ay2+ibydy (absolutely convergent since ∣e−ay2+iby∣=e−Re⁡(a)y2 is integrable) and GR(b):=∫−RRe−ay2+ibydy, the fundamental theorem and [F6] give ddbGR(b)=i∫−RRye−ay2+ibydy, and since ∣y∣e−Re⁡(a)y2 is integrable, GR→F pointwise with the difference quotients converging, so F is differentiable with F′(b)=i∫Rye−ay2+ibydy; integrating ∂y(e−ay2+iby)=(−2ay+ib)e−ay2+iby over [−R,R] gives ∫−RR(−2ay+ib)e−ay2+ibydy=e−aR2+ibR−e−aR2−ibR, of modulus at most 2e−Re⁡(a)R2→0, so [F6] as R→∞ gives −2aFy(b)+ibF(b)=0 with Fy(b):=∫Rye−ay2+ibydy, hence Fy=ib2aF and F′=−b2aF; the product rule [F6] gives ddb[F(b)eb2/(4a)]=0, so the product is constant (fundamental theorem applied to real and imaginary parts [F6]) and its value at b=0 is F(0)=∫Re−ay2dy=π a−1/2 by [F3].

1.3F2F4algebra

[The free operator in momentum coordinates] Let B be the multiplication operator (Bφ)(p)=p22mφ(p) on D(B):={φ∈L2(dp):p2φ∈L2}; then U∗BU=H0 with D(H0)=U∗D(B), and H0U∗=U∗B, because Dℏ∗=Dℏ−1 and (Dℏ−1MgDℏh)(ξ)=g(2πℏξ)h(ξ) for every Borel g and every h in the domain of Dℏ−1MgDℏ, so with g(p)=p2/(2m) one has U∗BU=F2∗Dℏ∗Mp2/(2m)DℏF2=F2∗M2π2ℏ2ξ2/mF2=H0 as operators [F2, F4]; for the domains, f∈D(H0) means ξ2F2f∈L2, which by Uf(p)=(2πℏ)−1/2F2f(p/(2πℏ)) is equivalent to p2Uf∈L2 (the substitution ξ=p/(2πℏ) and the constants (2πℏ)±2 preserve L2-membership), i.e. to Uf∈D(B), so D(H0)=U∗D(B), the identity U∗BU=H0 holds on it, and multiplying on the right by U∗ gives H0U∗=U∗BUU∗=U∗B.

2.1step 1.1step 1.2F2F4F6algebra

[Fourier transform of the initial packet] Since ψ0∈L1∩L2 [step 1.1], F2ψ0 is computed by the L1 integral [F4]; substituting x=x0+y [F6] and using ψ0(x0+y)=(2πσ2)−1/4e−y2/(4σ2)eip0y/ℏ gives F2ψ0(ξ)=(2πσ2)−1/4e−2πix0ξ∫Re−y2/(4σ2)ei(p0/ℏ−2πξ)ydy=(2πσ2)−1/4e−2πix0ξ2σπ e−σ2(p0/ℏ−2πξ)2 by step 1.2 with a=1/(4σ2) and b=p0/ℏ−2πξ; since ψ0∈S(R), Uψ0=DℏF2ψ0 [F2], so φ0:=Uψ0 satisfies φ0(p)=(2πℏ)−1/2F2ψ0(p/(2πℏ))=Ke−ix0p/ℏe−σ2(p−p0)2/ℏ2 with K:=(2πℏ)−1/2(2πσ2)−1/42σπ and K2=2/π σ/ℏ.

2.2step 1.1F1F4algebra

[The packet is Schwartz and its modulus is the spreading Gaussian] Putting zt:=1/(1+iτ) (so Re⁡zt=1/(1+τ2)>0) and ct:=x0+p0t/m, one has ∣ψt(x)∣=(2πσ2)−1/4∣1+iτ∣−1/2e−Re⁡(zt)(x−ct)2/(4σ2)=(2πσ2)−1/4(1+τ2)−1/4e−(x−ct)2/(4σ2(1+τ2)); the remaining x-dependent phase is exp⁡(−iIm⁡(zt)(x−ct)2/(4σ2)+ip0(x−x0)/ℏ), which has modulus one. By the product rule, each x-derivative of ψt is a polynomial in x times ψt, so the displayed decaying modulus makes every polynomial-weighted derivative bounded and ψt∈S(R); in particular ψt∈L1∩L2 and ψt∈D(H0) by [F4].

3.1step 1.2step 2.1step 2.2F2F4F6algebra

[Momentum coordinates of the packet] With At:=(2πσ2)−1/4(1+iτ)−1/2, at:=1/(4σ2(1+iτ)) and bξ:=p0/ℏ−2πξ, substituting x=ct+y [F6] in the L1 integral [F4] of the packet ψt=Ate−ip02t/(2mℏ)e−at(x−ct)2ei(p0/ℏ)(x−x0) [step 2.2] gives F2ψt(ξ)=Atπ/at eip02t/(2mℏ)e−2πiξcte−bξ2/(4at) by step 1.2 with a=at (legal since Re⁡at>0); since ψt∈S(R), Uψt=DℏF2ψt [F2], and with p=2πℏξ, π/at=2σπ(1+iτ)1/2, At(1+iτ)1/2=(2πσ2)−1/4 and 1/(4at)=σ2(1+iτ) one gets Uψt(p)=Keip02t/(2mℏ)e−ipct/ℏe−σ2(p−p0)2/ℏ2e−it(p−p0)2/(2mℏ) with K as in step 2.1.

3.2step 2.2F3F6algebra

[Position density, mean and variance] By step 2.2, ∣ψt(x)∣2=(2πσ2(1+τ2))−1/2e−(x−ct)2/(2dt2) with ct=x0+p0t/m and dt:=σ1+τ2; substituting x=ct+dtu and using ∫Re−u2/2du=2π (that is [F3] with z=1/2) gives ∫R∣ψt∣2=1, while the centering ∫R(x−ct)∣ψt(x)∣2dx=dt∫Rue−u2/22πdu=0 and ∫R(x−ct)2∣ψt(x)∣2dx=dt2∫Ru2e−u2/22πdu=dt2, since ∫Ru2e−u2/2du=−G1′(1/2)=2π by [F3]; hence the density has mean ct=x0+p0t/m and variance σ2(1+τ2), which is clause (b).

4.1step 2.1step 3.1F2algebra

[The packet is the free evolution of the momentum Gaussian] With θt(p):=tp2/(2mℏ) and φt:=e−iθtφ0, steps 2.1 and 3.1 give Uψt(p)=e−itp2/(2mℏ)φ0(p)=φt(p) for every p, because the two exponents differ by i(p02t/(2mℏ)−p(x0+p0t/m)/ℏ−t(p−p0)2/(2mℏ)+px0/ℏ+tp2/(2mℏ))=it(p02−2pp0−(p−p0)2+p2)/(2mℏ)=0; hence Uψt=φt and, U being a surjective isometry [F2], ψt=U∗φt.

4.2step 2.1step 3.1step 3.2F3F6algebra

[Momentum density, mean and variance] By steps 2.1 and 3.1, ∣Uψt(p)∣2=∣φ0(p)∣2=K2e−2σ2(p−p0)2/ℏ2=2/πσℏe−(p−p0)2/(2w2) with w:=ℏ/(2σ) and K2=2/π σ/ℏ; substituting p=p0+wu as in step 3.2 gives total mass 1, mean p0 and variance w2=ℏ2/(4σ2), and the density does not depend on t; this is clause (c).

5.1step 1.3step 2.1step 4.1F2F6algebra

[The momentum path solves the momentum equation] Put q(p):=p2/(2mℏ) and φt(p):=e−itq(p)φ0(p). The Gaussian formula of step 2.1 gives qφ0∈L2(dp) and p2φ0∈L2(dp), so φt∈D(B) for every t. For fixed t and h≠0, φt+h(p)−φt(p)h=φt(p)e−ihq(p)−1h tends pointwise to −iq(p)φt(p)=−(i/ℏ)p22mφt(p). Since ∣e−is−1∣≤∣s∣, the difference between the quotient and its limit has squared modulus at most 4∣q(p)φ0(p)∣2, an integrable function; dominated convergence [F6] therefore gives convergence in L2(dp). Also φt+h→φt and Bφt+h→Bφt in L2(dp) by pointwise convergence and the respective integrable square majorants 4∣φ0∣2 and 4∣Bφ0∣2. Thus t↦φt is continuously differentiable with φt′=−(i/ℏ)Bφt. Consequently ψt=U∗φt [step 4.1] is C1 in L2, lies in D(H0)=U∗D(B), and ddtψt=U∗φt′=−iℏU∗Bφt=−iℏH0U∗φt=−iℏH0ψt, using that U∗ is an isometry [F2] and H0U∗=U∗B from step 1.3; at t=0 the formula of the Statement reduces to ψ0.

6.1step 1.1step 5.1F4F5F6algebra

[Uniqueness of the Cauchy problem] Let V(t):=eitT with T:=−H0/ℏ [F5]; since ψ0∈D(H0)=D(T) [step 1.1, F4], one has V(t)ψ0∈D(T) for all t and t↦V(t)ψ0 is C1 with ddtV(t)ψ0=iTV(t)ψ0=−iℏH0V(t)ψ0, because [F5] gives 1h(V(t+h)−V(t))ψ0=V(t)1h(V(h)ψ0−ψ0)→V(t)(iTψ0) as ψ0∈D(T) and V(t) is bounded, and TV(t)=V(t)T on D(T) by [F5]; by step 5.1, wt:=ψt−V(t)ψ0 is C1 with wt∈D(H0) and wt′=−iℏH0wt, and w0=0 since V(0)=I and the Statement's formula at t=0 is the initial packet; for the real function t↦∥wt∥2 one has ∥wt+h∥2−∥wt∥2h=2Re⁡⟨wt,wt+h−wth⟩+∥wt+h−wt∥2h→2Re⁡⟨wt,wt′⟩, the last term tending to 0; now, since the inner product is conjugate-linear in its second argument, ⟨wt,wt′⟩=⟨wt,−iℏH0wt⟩=iℏ⟨wt,H0wt⟩. The number ⟨wt,H0wt⟩=⟨H0wt,wt⟩ is real because H0 is self-adjoint, hence symmetric, on D(H0) [F4], so Re⁡⟨wt,wt′⟩=0 and ∥wt∥2 has vanishing derivative, hence is constant by the fundamental theorem [F6] and equals ∥w0∥2=0; thus ψt=V(t)ψ0=e−itH0/ℏψ0 for every t, which is clause (a).

7.1step 3.2step 4.2step 6.1F2F6algebra

[Operator standard deviations] For ψ∈S(R) one has U(Pψ)=MpUψ with (Mpg)(p)=pg(p), because F2(Pψ)(ξ)=∫R(−iℏψ′(x))e−2πixξdx=2πℏξ F2ψ(ξ) by integration by parts, the boundary terms [ψ(x)e−2πixξ] vanishing at ±∞ as ψ∈S(R) [F6], and applying Dℏ with p=2πℏξ gives the claim [F2]; the unit vector ψt of step 6.1 is the packet of steps 3.2 and 4.2, and for it this gives bt:=⟨Pψt,ψt⟩=⟨UPψt,Uψt⟩=∫Rp∣Uψt(p)∣2dp=p0, a real number, and ΔP:=∥(P−bt)ψt∥2=∥U(P−bt)ψt∥2=(∫R(p−p0)2∣Uψt(p)∣2dp)1/2=ℏ/(2σ) by step 4.2, while at:=⟨Qψt,ψt⟩=∫Rx∣ψt(x)∣2dx=ct and ΔQ:=∥(Q−at)ψt∥2=(∫R(x−ct)2∣ψt(x)∣2dx)1/2=σ1+τ2 by step 3.2; hence ΔQΔP=ℏ21+τ2.

8.1step 7.1F7algebra∎

[Robertson comparison and scope] By [F7] with c=ℏ, applied to the unit Schwartz vector ψt of step 7.1, one has ΔQΔP≥ℏ/2; the exact value of step 7.1 is ℏ21+τ2, which equals ℏ/2 exactly when τ=0, i.e. exactly at t=0 since τ=ℏt/(2mσ2), 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 H0, with no measurement interpretation.

TheoremStatement: AI-adaptedProof: AI-adaptedOpen item page →

Joint PVM construction for strongly commuting regular projection-valued measures

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)). Let H be a nonzero complex Hilbert space (Hilbert space) and let E,F be regular projection-valued measures on the Borel σ-algebra of R (Projection valued measure, The Borel sigma-algebra of a topological space) satisfying the strong commutation relation

E(B)F(C)=F(C)E(B)for all Borel B,C⊆R.

Then there is a unique regular projection-valued measure G on the Borel σ-algebra of R2 with

G(B×C)=E(B)F(C)for every Borel rectangle B×C,

where rectangle means a measurable rectangle in the sense of Measurable rectangles in a product of measurable spaces. Its marginals are G(B×R)=E(B) and G(R×C)=F(C).

For the scalar construction, let A0 be the algebra of finite unions of Borel rectangles, and define P0(⨆i=1nBi×Ci):=∑i=1nE(Bi)F(Ci) on disjoint rectangular decompositions. For every ψ∈H, μψ(A):=⟨P0(A)ψ,ψ⟩ is a finite premeasure on A0 and has a unique extension Gψ=⟨G(⋅)ψ,ψ⟩ to the Borel σ-algebra. For x,y∈H, define the polarized measure νx,y:=14∑k=03ikGx+iky. Then every Borel S⊆R2 has a unique bounded operator G(S) satisfying ⟨G(S)x,y⟩=νx,y(S) for all x,y∈H, and 0≤G(S)≤I.

Facts & Assumptions

Given: A nonzero complex Hilbert space H; regular PVMs E,F on B(R) with E(B)F(C)=F(C)E(B); the algebra A0 of finite unions of measurable rectangles in R2.

[F1]

A PVM is a map into orthogonal projections with E(∅)=0, E(R)=I, E(B∩C)=E(B)E(C) and strong countable additivity; regularity means every scalar measure Ex(B)=⟨E(B)x,x⟩ is a regular Borel measure. For an orthogonal projection P one has ⟨Px,x⟩=∥Px∥2≥0 (Projection valued measure, The Hilbert orthogonal projection onto a closed subspace, Hilbert projections are linear, self-adjoint and contractive).

[F2]

For a PVM, Ex(B)=⟨E(B)x,x⟩ is a positive measure with Ex(R)=∥x∥2; the polarized Ex,y(B)=⟨E(B)x,y⟩ is a finite complex measure with Ey,x=Ex,y‾, ∣Ex,y(B)∣≤∥x∥ ∥y∥ and the polarization identity Ex,y=14∑k=03ikEx+iky (Scalar and complex measures from a pvm).

[F3]

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 ACω, 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).

[F4]

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).

[F5]

The σ-algebra generated by the measurable rectangles of B(R)×B(R) is the product σ-algebra, and B(R)⊗B(R)=B(R2) (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}).

[F6]

Every finite Borel measure on R2 is regular once every open subset of R2 is σ-compact (Sigma-compact open sets make locally finite Borel measures regular). This topological hypothesis holds: for an open proper U⊊R2, the compact sets Kn={x∈[−n,n]2:dist⁡(x,R2∖U)≥1/n} cover U; for U=R2, the squares [−n,n]2 cover it.

[F7]

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).

[F8]

If P is a π-system and D is a λ-system containing P, then D contains the σ-algebra generated by P (Dynkin's pi-lambda theorem).

Proof

1.1givenF1algebra

[The finitely additive projection on the rectangle algebra] For a finite disjoint union A=⨆i=1n(Bi×Ci) of measurable rectangles put P(A):=∑iE(Bi)F(Ci). 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 E and F; in particular P(∅)=0 and P(R2)=I. Each E(Bi)F(Ci) is an orthogonal projection because (E(Bi)F(Ci))2=E(Bi)2F(Ci)2=E(Bi)F(Ci) and (E(Bi)F(Ci))∗=F(Ci)E(Bi)=E(Bi)F(Ci) by [F1] and strong commutation; summands belonging to disjoint rectangles are orthogonal, since E(Bi)F(Ci)E(Bj)F(Cj)=E(Bi∩Bj)F(Ci∩Cj)=0. Hence P(A) is a sum of pairwise orthogonal projections, so P(A)2=P(A)=P(A)∗; and from the refinement description P is finitely additive on disjoint unions, P(A∩A′)=P(A)P(A′) and P(A∪A′)=P(A)+P(A′) for disjoint A,A′∈A0.

1.2F5F8algebra

[Uniqueness for finite complex measures] Let μ,ν be finite complex measures on B(R2) that agree on A0, which contains R2. Then D:={S∈B(R2):μ(S)=ν(S)} contains R2 and the π-system A0; 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], D contains σ(A0)=B(R2) by [F5], so μ=ν on every Borel set.

2.1step 1.1F1F3algebra

[The scalar set functions are premeasures] For ψ∈H define μψ(A):=⟨P(A)ψ,ψ⟩=∥P(A)ψ∥2 for A∈A0; by step 1.1, μψ(∅)=0, μψ is finitely additive, and μψ≤∥ψ∥2. To verify countable additivity, fix pairwise disjoint An∈A0 with union A∈A0 and put RN:=A∖⋃n≤NAn∈A0. Finite additivity gives μψ(A)=∑n≤Nμψ(An)+μψ(RN), and RN↓∅, so continuity from above at ∅ implies μψ(A)=∑nμψ(An). It remains to prove that continuity: for An↓∅ in A0, show μψ(An)→0. Given ε>0, approximate each An from inside by a compact union of rectangles: for a rectangle B×C one has P(B×C)−P(KB×KC)=E(B∖KB)F(C)+E(KB)F(C∖KC) with the two summands orthogonal, so μψ(B×C)−μψ(KB×KC)≤Eψ(B∖KB)+Fψ(C∖KC) for Eψ(B)=⟨E(B)ψ,ψ⟩, Fψ(C)=⟨F(C)ψ,ψ⟩; by regularity [F1] compact KB⊆B, KC⊆C make this arbitrarily small, and finite unions are handled by summing. Choose compact Ln⊆An with μψ(An∖Ln)<ε2−n. If μψ(An)≥ε for all n, then for every N additivity and L1∩⋯∩LN⊇AN∖⋃n≤N(An∖Ln) give μψ(L1∩⋯∩LN)≥μψ(AN)−∑n≤Nμψ(An∖Ln)≥ε−∑n≤Nε2−n>0; hence every finite intersection L1∩⋯∩LN is nonempty, and compactness gives a point of ⋂nLn⊆⋂nAn=∅, a contradiction. Thus μψ(An)→0, and μψ is a finite premeasure on A0.

3.1step 1.1step 2.1F2F3F4F5algebra

[Carathéodory extension and polarization] By steps 1.1 and 2.1 the algebra A0 of finite unions of measurable rectangles is a π-system containing R2 and generates B(R2) by [F5]; hence μψ extends to a finite measure νψ on B(R2), unique by [F3], and νψ(S)=μψ(S) for S∈A0. Uniqueness also extends the scalar homogeneity ναx=∣α∣2νx and the parallelogram identity from A0 to every Borel set: the corresponding finite positive measures agree on A0 and have the same total mass. For x,y∈H define νx,y(S):=14∑k=03ikνx+iky(S); this is a finite complex measure and for S∈A0 it coincides with ⟨P(S)x,y⟩ by the polarization identity [F2]. The scalar homogeneity and parallelogram identity imply, by expansion of the four polarization terms, that (x,y)↦νx,y(S) is sesquilinear and Hermitian for every Borel S, with νx,x(S)=νx(S)≥0. Positivity gives Cauchy–Schwarz for this form (apply 0≤νx+λy(S) for all λ∈C), so ∣νx,y(S)∣≤νx(S)1/2νy(S)1/2≤∥x∥ ∥y∥.

4.1step 3.1F7algebra

[The operators G(S)] Fix a Borel S⊆R2. For fixed x, the map y↦νx,y(S)‾ is a bounded linear functional of norm at most ∥x∥ by step 3.1, so by [F7] there is a unique G(S)x∈H with νx,y(S)‾=⟨y,G(S)x⟩, that is νx,y(S)=⟨G(S)x,y⟩, and ∥G(S)x∥≤∥x∥. The assignment x↦G(S)x is linear because the form is linear in its first argument and the representative is unique, so G(S)∈B(H) with ∥G(S)∥≤1; moreover ⟨G(S)x,y⟩=νx,y(S)=νy,x(S)‾=⟨G(S)y,x⟩‾=⟨x,G(S)y⟩, so G(S) is self-adjoint, and ⟨G(S)x,x⟩=νx(S)∈[0,∥x∥2] gives 0≤G(S)≤I. For every A∈A0, step 3.1 gives νx,y(A)=⟨P(A)x,y⟩, so the defining pairings imply G(A)=P(A); in particular G(B×C)=E(B)F(C).

5.1step 1.1step 1.2step 4.1F1F2F6F8algebra

[Multiplicativity and the PVM axioms] First observe that for arbitrary Borel S and rectangle R=B′×C′, for every x,y the scalar set functions S′↦⟨G(S′∩R)x,y⟩=νx,y(S′∩R) and S′↦⟨G(S′)G(R)x,y⟩=νG(R)x,y(S′) are finite complex measures; they agree on rectangles S′=B×C because G(S′∩R)=E(B∩B′)F(C∩C′)=E(B)E(B′)F(C)F(C′)=E(B)F(C)E(B′)F(C′)=G(S′)G(R) by [F1] and the commutation hypothesis, and they agree on R2 since each value is G(R). By step 1.2 [F8], these scalar measures agree on all Borel S′, so G(S′∩R)=G(S′)G(R) for all Borel S′. Now fix arbitrary Borel S and compare, for every x,y, the finite complex measures T↦⟨G(S∩T)x,y⟩=νx,y(S∩T) and T↦⟨G(S)G(T)x,y⟩=νx,G(S)y(T); by the previous result they agree on every rectangle T, and by step 1.2 [F8] they agree for all Borel T. Taking S=T yields G(S)2=G(S), so every G(S) is an orthogonal projection; G(∅)=0 and G(R2)=I follow from the rectangle values. Strong countable additivity holds because for pairwise disjoint Sn with union S the scalar measures satisfy νx(S)=∑nνx(Sn), so ∑n∥G(Sn)x∥2=∑nνx(Sn)=νx(S)≤∥x∥2<∞ and the orthogonal series ∑nG(Sn)x converges in norm to a vector whose pairings with every y equal ∑nνx,y(Sn)=νx,y(S)=⟨G(S)x,y⟩, hence to G(S)x. Finally the scalar measures of G are the νψ, finite Borel measures on R2 and hence regular by [F6]; so G is a regular PVM with G(B×C)=E(B)F(C).

6.1step 5.1step 1.2F1F2F8algebra∎

[Marginals and uniqueness] For the marginal, G(B×R)=E(B)F(R)=E(B) and G(R×C)=F(C) by [F1]. If G′ is another regular PVM with G′(B×C)=E(B)F(C), then for every x,y the finite complex measures S↦⟨G′(S)x,y⟩ and νx,y agree on rectangles, including R2, so step 1.2 [F8] gives their equality on B(R2). Taking y=G′(S)x−G(S)x gives G′(S)=G(S) for every Borel S. Hence G is unique, completing the proof.

LemmaStatement: AI-adaptedProof: AI-adaptedOpen item page →

Compatible Lüders repeatability

Statement

Assume the Axiom of Countable Choice (The Axiom of Countable Choice (ACω)). Let H be a nonzero complex Hilbert space, let E,F be regular projection-valued measures on the Borel σ-algebra of R with E(B)F(C)=F(C)E(B) for all Borel B,C⊆R, and let G be the joint projection-valued measure on the Borel σ-algebra of R2 with G(B×C)=E(B)F(C) and marginals E,F (Joint PVM construction for strongly commuting regular projection-valued measures). Fix finite families of Borel sets B1,…,Bn with Bi∩Bk=∅ for i≠k and C1,…,Cm with Cj∩Cl=∅ for j≠l, put

Pi:=E(Bi),Qj:=F(Cj),Rij:=PiQj,

and let ρ be a density operator on H (Density operators and scalar spectral probability(a)). The listed projections are stipulated to be outcomes of ideal Lüders instruments, with outcome probabilities tr⁡(ρPi) and post-measurement states ρi:=PiρPi/tr⁡(ρPi) when tr⁡(ρPi)>0, and likewise for (Qj). If either listed family fails to sum to the identity, include its complementary projection I−∑iPi or I−∑jQj 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) Pi,Qj and Rij are orthogonal projections (The Hilbert orthogonal projection onto a closed subspace), Rij=QjPi=G(Bi×Cj), and PiPk=0 for i≠k, QjQl=0 for j≠l, RijRkl=0 whenever (i,j)≠(k,l).

(b) The probability of the listed ordered outcome pair (i then j) equals, when tr⁡(ρPi)>0, tr⁡(PiρPiQj)/tr⁡(ρPi)⋅tr⁡(ρPi)=tr⁡(ρRij), 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: tr⁡(PiρPiQj)=tr⁡(QjρQjPi)=tr⁡(ρRij)=tr⁡(ρ G(Bi×Cj)).

(c) If tr⁡(ρRij)>0, the conditional state after the pair is order-independent: QjPiρPiQjtr⁡(ρRij)=PiQjρQjPitr⁡(ρRij)=Rij ρ Rijtr⁡(ρRij), and it is a density operator.

(d) Repeatability. Under the positive-probability hypothesis tr⁡(ρRij)>0 of (c), with σ:=RijρRij/tr⁡(ρRij) one has tr⁡(σRij)=1 and tr⁡(σPi)=tr⁡(σQj)=1, and the Lüders update by Rij, Pi or Qj leaves σ unchanged: RijσRij/tr⁡(σRij)=PiσPi/tr⁡(σPi)=QjσQj/tr⁡(σQj)=σ. Thus immediate repetition of the compatible pair, or of either single sharp measurement, reproduces the same outcomes with certainty.

(e) If ⋃jCj=R then ∑jtr⁡(ρRij)=tr⁡(ρPi), and if ⋃iBi=R then ∑itr⁡(ρRij)=tr⁡(ρQj): 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 G; 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 H; regular PVMs E,F with E(B)F(C)=F(C)E(B); the joint PVM G; Borel sets B1,…,Bn and C1,…,Cm pairwise disjoint within each family; a density operator ρ; the projections Pi,Qj,Rij.

[F1]

An orthogonal projection on H is a bounded operator P with P2=P=P∗; for a PVM E every value E(B) is an orthogonal projection, E(∅)=0, E(R)=I, E(B∩C)=E(B)E(C), and E is strongly countably additive (The Hilbert orthogonal projection onto a closed subspace, Joint PVM construction for strongly commuting regular projection-valued measures).

[F2]

G is a regular PVM on the Borel σ-algebra of R2 with G(B×C)=E(B)F(C) for Borel rectangles and marginals G(B×R)=E(B), G(R×C)=F(C); it is the unique such PVM and every value G(S) is an orthogonal projection with 0≤G(S)≤I (Joint PVM construction for strongly commuting regular projection-valued measures).

[F3]

A density operator is a self-adjoint positive trace-class ρ with tr⁡ρ=1; for every PVM E on a measurable space the set function μρ(S):=tr⁡(ρE(S)) is a probability measure, and in every expansion ρ=∑nwnTun,un with orthonormal (un) and weights wn≥0, ∑nwn=1, one has μρ(S)=∑nwn∥E(S)un∥2 (Density operators and scalar spectral probability(a),(b)).

[F4]

For bounded B and trace-class T: BT and TB are trace class, tr⁡(BT)=tr⁡(TB), tr⁡ is linear on trace-class operators, and ∣tr⁡(BT)∣≤∥B∥ ∥T∥1 (Nuclear bounded cyclicity for trace-class operators(b), Trace is absolutely convergent and basis independent).

[F5]

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

1.1F1F2givenalgebra

[Sharp bins and their products are projections] By [F1], Pi=E(Bi) and Qj=F(Cj) are orthogonal projections; PiPk=E(Bi)E(Bk)=E(Bi∩Bk)=E(∅)=0 for i≠k and QjQl=0 for j≠l; the commutation hypothesis and [F2] give PiQj=E(Bi)F(Cj)=G(Bi×Cj)=F(Cj)E(Bi)=QjPi, so Rij=PiQj=QjPi is self-adjoint (Rij∗=Qj∗Pi∗=QjPi=Rij) and idempotent (Rij2=PiQjPiQj=Pi(PiQj)Qj=Pi2Qj2=PiQj), hence an orthogonal projection; also RijRkl=PiQjPkQl=PiPkQjQl using commutation, which vanishes unless i=k and j=l.

1.2F3F4algebra

[Trace and Born rules] For every bounded operator B one has tr⁡(ρB)=tr⁡(Bρ), and tr⁡(ρ⋅) is linear in its bounded argument with ∣tr⁡(ρB)∣≤∥B∥; for every PVM and Borel set S the number tr⁡(ρE(S)) lies in [0,1] and equals ∑nwn∥E(S)un∥2 in any expansion of [F3], so tr⁡(ρRij)=tr⁡(ρG(Bi×Cj))=∑nwn∥G(Bi×Cj)un∥2 and tr⁡(ρPi)=∑nwn∥Piun∥2 are nonnegative and at most 1.

2.1step 1.1step 1.2F3F4F5algebra

[Sequential Lüders probability] If tr⁡(ρPi)>0, measuring the first instrument gives listed outcome i with probability tr⁡(ρPi) and state ρi=PiρPi/tr⁡(ρPi) (stipulated, [F5]); measuring then the second gives conditional probability tr⁡(ρiQj)=tr⁡(PiρPiQj)/tr⁡(ρPi). Cyclicity and PiQj=QjPi, Pi2=Pi give tr⁡(PiρPiQj)=tr⁡(ρPiQjPi)=tr⁡(ρPiQj), so the probability of the listed pair is tr⁡(ρPiQj)=tr⁡(ρRij) by step 1.1. When tr⁡(ρQj)>0, the reversed order gives conditional probability tr⁡(QjρQjPi)/tr⁡(ρQj)=tr⁡(ρQjPi)/tr⁡(ρQj)=tr⁡(ρRij)/tr⁡(ρQj); multiplying by the probability of the first outcome gives the same joint probability. If a listed first outcome has zero probability, then 0≤Rij≤Pi,Qj and the positive density expansion [F3] give tr⁡(ρRij)=0, so the listed pair has probability zero and no division is taken.

3.1step 1.1step 2.1F3F4algebra

[Order-independent conditional state] Assume tr⁡(ρRij)>0; running (Pi) then (Qj) produces the product of the two stipulated denominator-normalizations, i.e. the state QjPiρPiQj/tr⁡(ρRij) (by the computation of step 2.1), while the reversed order produces PiQjρQjPi/tr⁡(ρRij); by step 1.1 both numerators equal RijρRij and the denominators are the same positive number, so the two conditional states coincide and equal RijρRij/tr⁡(ρRij), which is a density operator because RijρRij is positive trace class with trace tr⁡(ρRij)>0 [F3, F4].

3.2step 1.1step 2.1F1F4algebra

[Marginals of the joint law] If ⋃jCj=R, the finite additivity of a PVM gives ∑jQj=F(⋃jCj)=F(R)=I [F1], so ∑jtr⁡(ρPiQj)=tr⁡(ρPi∑jQj)=tr⁡(ρPi) by linearity of tr⁡(ρ⋅) and the ideal property [F4]; symmetrically ∑itr⁡(ρPiQj)=tr⁡(ρQj) when ⋃iBi=R, so the joint law has the sharp-bin marginals.

4.1step 1.1step 3.1F4algebra

[Repeatability] Let σ:=RijρRij/tr⁡(ρRij) from step 3.1. Then tr⁡(σRij)=tr⁡(RijρRijRij)/tr⁡(ρRij)=tr⁡(ρRij)/tr⁡(ρRij)=1 since Rij2=Rij and RijRijRij=Rij [step 1.1, F4]; likewise tr⁡(σPi)=tr⁡(PiRijρRijPi)/tr⁡(ρRij)=tr⁡(RijρRij)/tr⁡(ρRij)=1 because PiRij=Rij=RijPi, and tr⁡(σQj)=1 the same way. Hence the Lüders updates RijσRij/tr⁡(σRij), PiσPi/tr⁡(σPi) and QjσQj/tr⁡(σQj) all return the same state: e.g. RijσRij=Rij3ρRij3/tr⁡(ρRij)=RijρRij/tr⁡(ρRij)=σ and the denominators equal 1, and similarly PiσPi=PiRijρRijPi/tr⁡(ρRij)=RijρRij/tr⁡(ρRij)=σ and QjσQj=σ. Thus an immediate repetition of the pair, or of either single sharp measurement, returns the same outcome with probability 1.

5.1step 4.1F2F5algebra∎

[Scope] Steps 2.1-4.1 are conditional computations inside the stipulated Lüders instrument and the joint PVM G 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