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.
Ray-to-projector is well-defined and bijective
Statement
For nonzero finite-dimensional complex-inner-product , the map sending a ray to the rank-one projector of any unit representative is well-defined and bijective onto the rank-one orthogonal projections on . Each is non-negative and has trace one.
Facts & Assumptions
Given: A nonzero finite-dimensional complex-inner-product space , the pure-state ray convention, and the root inner product linear in its first argument.
Pure state and ray: a ray is the equivalence class of a nonzero vector under multiplication by a nonzero complex scalar; a pure state is such a ray represented by a unit vector.
Dirac Notation Conversion: the root inner product is linear in its first argument and acts by .
The orthogonal projection is the -component in : the orthogonal projection onto returns the component in ; its residual is in .
Non-negative and positive operators: non-negative means self-adjoint with nonnegative quadratic form.
The basis-independent trace of an endomorphism of a finite-dimensional vector space and The trace as the sum of the diagonal entries: trace is the matrix trace in a basis, and matrix trace is the sum of diagonal entries.
Every finite-dimensional real or complex inner product space has an orthonormal basis: every finite-dimensional inner-product space has an orthonormal basis.
Rank and nullity of a linear map with finite-dimensional domain: ; rank one means that the image is one-dimensional.
Proof
Let be unit and suppose is another unit representative of the same ray. Then , so . By [F2], for every . Thus the projector does not depend on the unit representative.
By [F2], . Its range is , a one-dimensional subspace, so [F7] gives rank one. For every , and so the residual is in ; by the residual characterization in [F3], is the orthogonal projection onto . Also, for all , and . Hence is non-negative by [F4]. Choose an orthonormal basis by [F6] and write ; then , so [F5] gives by orthonormality.
Conversely, let be a rank-one orthogonal projection onto . By [F7], , so choose a unit . For every , write ; [F3] gives , so . Therefore , proving surjectivity. If , their ranges are equal, so and span the same line and represent the same ray. This proves injectivity and the claimed bijection.
Depends on
- Pure state and ray
- Dirac Notation Conversion
- Non-negative and positive operators
- The basis-independent trace of an endomorphism of a finite-dimensional vector space
- The trace $\operatorname{tr}(A)$ as the sum of the diagonal entries
- The orthogonal projection $P_Wv$ is the $W$-component in $V=W\oplus W^\perp$
- Every finite-dimensional real or complex inner product space has an orthonormal basis
- Real and complex inner-product spaces and their induced length
- Finite-dimensional vector space, and its dimension $\dim_F V$; infinite-dimensional means having no finite basis
- Rank and nullity of a linear map with finite-dimensional domain
Used by
- Bell-state Schmidt decomposition and reduced density Example
- Bloch coordinates of |0> and H|0> Example
- One-bit feed-forward and deferred measurement Example
- Trace distance of orthogonal pure states Example
- An anticommuting stabilizer measurement is fair Lemma
- Deterministic Pauli measurement on a pure stabilizer state Lemma
- One-bit J-gate teleportation branch identity Lemma
- Phase-estimation finite outcome law Lemma
- Tableau row reduction returns the deterministic Pauli sign Lemma
- Channel Diamond Norm One Theorem
- Density operators have an orthogonal spectral ensemble Theorem
- Fingerprint swap-test error and communication cost Theorem
- Phase-aware tableau measurement agrees with the projective instrument Theorem
- Pure State No Cloning Theorem
- Purity is the boundary of the Bloch ball Theorem
- Rank-one density operators are pure-state projectors Theorem
- Swap-test measurement and pure-state outcome law Theorem
- Symmetric Subspace Dimension And Haar Moment Theorem
- The measurement law for a finite continuous-time walk Theorem
Cited to discharge well-definedness by Pure state and ray.
Dependency tree · two levels
41 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- John Watrous, The Theory of Quantum Information, §2.1.2 (standard reference, not scraped)
- John Preskill, Quantum Computation, Chapter 2: Foundations I: States and Ensembles (standard reference, not scraped)
- Ronald de Wolf, Quantum Computing: Lecture Notes, §15.1 (standard reference, not scraped)