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.
Pure State No Cloning
Statement
Let be a set of pure-state rays in a nonzero finite-dimensional Hilbert space . If one channel maps every pure-state projector with ray to , then every pair of rays in is identical or orthogonal. Consequently no channel exactly clones all pure states when ; when , the unique ray is cloned by the one-dimensional isometry.
Facts & Assumptions
Given: Nonzero finite-dimensional , a set of rays, and a channel with the stated exact pure-state outputs.
A pure state is a ray represented by a rank-one projector (Pure state and ray); Ray-to-projector is well-defined and bijective proves the projector is independent of the unit representative. The QC03 definition and its well-definedness theorem are present as drafts.
Every finite-dimensional channel has an isometric Stinespring dilation (Finite-dimensional quantum channel, Every finite-dimensional channel has a finite isometric dilation). The QC05 channel and dilation theorem bodies are present as drafts.
The Schmidt decomposition of a bipartite vector has orthonormal factor families and positive Schmidt coefficients; a rank-one reduced projector therefore leaves one Schmidt coefficient and a product vector (Schmidt decomposition). The QC03 theorem body is present as a draft.
The ordered tensor-register convention supplies the factorwise product inner product; partial trace is defined on finite tensor registers, and an isometry followed by partial trace defines a channel (Ordered tensor registers, their inner product, and wire permutations, Partial trace over a finite tensor factor, An isometry followed by partial trace is a channel).
Proof
For each unit representative of a ray in , the reduced state of on the two output registers is the pure projector . By the Schmidt decomposition [L3], there is a unit environment vector and a phase absorbed into it such that .
For any two unit representatives , the isometry preserves their inner product. By step 1.1, Taking absolute values and applying Cauchy–Schwarz to the unit environment vectors gives , where . Hence with both factors nonnegative, so or . The first case is orthogonality; in the second, equality in Cauchy–Schwarz makes the two vectors scalar multiples and their rays identical (Cauchy–Schwarz: , with equality exactly for dependent pairs).
If , choose orthonormal ; the rays of and are neither equal nor orthogonal, contradicting step 2.1 for a universal exact cloner. If , fix a unit vector and take the one-dimensional environment with unit vector . Define and extend linearly; because this sends the unit basis vector to a unit product vector, it is an isometry. By [L4], is a channel; on the sole pure-state projector it outputs . Hence the unique ray is cloned by a channel.
Depends on
- Finite-dimensional quantum channel
- Partial trace over a finite tensor factor
- Every finite-dimensional channel has a finite isometric dilation
- An isometry followed by partial trace is a channel
- Ordered tensor registers, their inner product, and wire permutations
- Pure state and ray
- Ray-to-projector is well-defined and bijective
- Schmidt decomposition
- Cauchy–Schwarz: $|\langle x,y\rangle|\le\|x\|\,\|y\|$, with equality exactly for dependent pairs
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
51 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 (standard reference, not scraped)
- Ronald de Wolf, Quantum Computing: Lecture Notes, arXiv:1907.09415v6 (standard reference, not scraped)