Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedjudge pass (gpt-6-luna)
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 S be a set of pure-state rays in a nonzero finite-dimensional Hilbert space H. If one channel maps every pure-state projector Pψ with ray ψ∈S to Pψ⊗Pψ, then every pair of rays in S is identical or orthogonal. Consequently no channel exactly clones all pure states when dim⁡H≥2; when dim⁡H=1, the unique ray is cloned by the one-dimensional isometry.

Facts & Assumptions

Given: Nonzero finite-dimensional H, a set S of rays, and a channel Φ with the stated exact pure-state outputs.

[L1]

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.

[L2]

Every finite-dimensional channel has an isometric Stinespring dilation V:H→H⊗H⊗E (Finite-dimensional quantum channel, Every finite-dimensional channel has a finite isometric dilation). The QC05 channel and dilation theorem bodies are present as drafts.

[L3]

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.

[L4]

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

1.1givenL1L2L3algebra

For each unit representative ψ of a ray in S, the reduced state of Vψ on the two output registers is the pure projector Pψ⊗Pψ. By the Schmidt decomposition [L3], there is a unit environment vector eψ and a phase absorbed into it such that Vψ=ψ⊗ψ⊗eψ.

2.1givenstep 1.1algebra

For any two unit representatives ψ,ϕ∈S, the isometry preserves their inner product. By step 1.1, ⟨ψ,ϕ⟩=⟨Vψ,Vϕ⟩=⟨ψ,ϕ⟩2⟨eψ,eϕ⟩. Taking absolute values and applying Cauchy–Schwarz to the unit environment vectors gives c=c2∣⟨eψ,eϕ⟩∣≤c2, where c=∣⟨ψ,ϕ⟩∣∈[0,1]. Hence c(1−c)≤0 with both factors nonnegative, so c=0 or c=1. The first case is orthogonality; in the second, equality in Cauchy–Schwarz makes the two vectors scalar multiples and their rays identical (Cauchy–Schwarz: ∣⟨x,y⟩∣≤∥x∥ ∥y∥, with equality exactly for dependent pairs).

3.1givenstep 2.1L4algebrachoose∎

If dim⁡H≥2, choose orthonormal e1,e2; the rays of e1 and (e1+e2)/2 are neither equal nor orthogonal, contradicting step 2.1 for a universal exact cloner. If dim⁡H=1, fix a unit vector e and take the one-dimensional environment E=C with unit vector f. Define V(e)=e⊗e⊗f and extend linearly; because this sends the unit basis vector to a unit product vector, it is an isometry. By [L4], X↦Tr⁡E(VXV∗) is a channel; on the sole pure-state projector it outputs Pe⊗Pe. Hence the unique ray is cloned by a channel.

Depends on

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