Copying Quantum States

Burkhard K\"ummerer; Hans Maassen

arxiv: 2607.02408 · v1 · pith:W6DRVLI5new · submitted 2026-07-02 · 🪐 quant-ph

Copying Quantum States

Hans Maassen , Burkhard K\"ummerer This is my paper

Pith reviewed 2026-07-03 11:37 UTC · model grok-4.3

classification 🪐 quant-ph

keywords no-broadcasting theoremno-cloning theoremdensity matricescommutativityC*-algebrascompletely positive mapsquantum statesbroadcasting

0 comments

The pith

A set of quantum states admits a common broadcasting operation if and only if their density matrices commute.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that a collection of states on a quantum system can be copied by a single operation if and only if the states' density matrices all commute with one another. This equivalence is established using the language of finite-dimensional C*-algebras and unital completely positive maps. The closely related no-cloning theorem appears as a special case when the states are pure. The result delineates the precise condition under which quantum information can be duplicated, explaining why non-commuting states resist common copying.

Core claim

The no-broadcasting theorem asserts that a set of states admits a common broadcasting operation if and only if their density matrices belong to a commuting family. The authors prove this statement and the no-cloning theorem within the category of finite-dimensional C*-algebras with unital completely positive maps as morphisms.

What carries the argument

The no-broadcasting theorem, which gives the if-and-only-if condition for the existence of a broadcasting map in terms of commutativity of density matrices.

If this is right

Broadcasting is possible exactly for states that share a common eigenbasis.
The no-cloning theorem is recovered when the states are pure and distinct.
Classical states, being diagonal in the same basis, always allow broadcasting.
Any broadcasting map must preserve the commutativity structure of the states.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This condition explains the impossibility of universal quantum cloning machines.
One might explore whether similar commutativity conditions apply to other quantum operations like state merging.
The finite-dimensional restriction leaves open questions about generalization to infinite-dimensional systems.

Load-bearing premise

The framework is limited to finite-dimensional systems and uses unital completely positive maps to model quantum operations.

What would settle it

A concrete falsifier would be the explicit construction of a broadcasting channel for a pair of non-commuting states like the |0> and |+> states on a qubit.

read the original abstract

The no-broadcasting theorem in quantum information says that a set of states on a quantum system admits a common broadcasting (copying) operation if and only if their density matrices belong to a commuting family. We discuss and prove this theorem, as well as the closely related no-cloning theorem in the context of quantum probability theory, i.e. in the category of (finite dimensional) C-star-algebras with unital completely positive maps.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives a clean algebraic proof of the already-known no-broadcasting theorem inside finite-dimensional C*-algebras but adds no new theorems.

read the letter

The main point is that Maassen and Kümmerer prove the standard no-broadcasting result in the category of finite-dimensional C*-algebras with unital completely positive maps: a family of states admits a common broadcasting channel if and only if the corresponding density operators commute. Sufficiency follows from simultaneous diagonalization plus classical copying; necessity follows because any broadcasting map forces the states to be jointly diagonalizable. They also cover the related no-cloning statement in the same setting.

The work does this cleanly. The equivalence is stated precisely, the morphisms are the right ones for quantum probability, and the argument stays within the algebraic language without hidden Hilbert-space steps. The stress-test note is right that both directions are standard in this regime and that no internal gap appears in the claim.

The obvious limitation is that nothing here is new. The no-broadcasting theorem predates the paper, and the finite-dimensional C*-algebra setting is exactly where the result has been proved before. The abstract is accurate but the contribution is a re-derivation rather than an extension or application.

This is useful for readers who already work in operator algebras and want to see quantum information results expressed that way. It is less useful for people looking for fresh theorems or broader implications. I would bring it to a reading group focused on algebraic quantum information, but I would not cite it in my own work. It is coherent and formally grounded enough to deserve referee time rather than a desk reject.

Referee Report

0 major / 2 minor

Summary. The paper states and proves the no-broadcasting theorem: a set of states admits a common broadcasting (copying) operation if and only if their density matrices form a commuting family. The proof is carried out in the category of finite-dimensional C*-algebras with unital completely positive maps as morphisms; the manuscript also discusses the related no-cloning theorem in the same setting.

Significance. The no-broadcasting theorem is a foundational result in quantum information. Framing the equivalence inside the category of finite-dimensional C*-algebras supplies a uniform language that aligns broadcasting with the morphisms of quantum probability theory; the sufficiency direction follows from simultaneous diagonalization plus classical copying, while necessity follows from the fact that a broadcasting channel forces joint diagonalizability. This categorical presentation may be useful for readers working at the interface of operator algebras and quantum information.

minor comments (2)

[Abstract] The abstract correctly recalls the standard theorem but does not indicate whether the proof contains any novel technical steps beyond the classical argument via simultaneous diagonalization.
[Section 2] Notation for the broadcasting map (e.g., the unital CP map B) should be introduced once in §2 or §3 and used consistently thereafter to avoid redefinition.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending acceptance. The report accurately captures the main result on the no-broadcasting theorem and its relation to the no-cloning theorem within the category of finite-dimensional C*-algebras and unital CP maps.

Circularity Check

0 steps flagged

Direct proof of standard no-broadcasting theorem; no circularity

full rationale

The paper states and proves the no-broadcasting theorem (common broadcasting map exists iff density operators commute) inside the category of finite-dimensional C*-algebras with unital CP maps. Sufficiency follows from simultaneous diagonalization plus classical copying; necessity follows from the broadcasting channel forcing joint diagonalizability. Both directions use only the standard algebraic structures of the setting; no parameter fitting, no self-definitional reductions, and no load-bearing self-citations appear. The derivation is self-contained and matches the classically known result in this regime.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the standard properties of finite-dimensional C*-algebras and completely positive maps; no free parameters or invented entities are introduced.

axioms (1)

standard math Finite-dimensional C*-algebras with unital completely positive maps form the category for quantum probability
Invoked to frame the no-broadcasting theorem in this mathematical language.

pith-pipeline@v0.9.1-grok · 5581 in / 1054 out tokens · 28138 ms · 2026-07-03T11:37:25.334698+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references

[1]

Noncommuting Mixed States Cannot Be Broadcast

H Barnum, C Caves. Noncommuting Mixed States Cannot Be Broadcast. Physical Review Letters. 1996

1996
[2]

H Barnum, J. Barrett. Generalized No-Broadcasting Theorem. Physical Review Letters. 2007

2007
[3]

Communication by E P R Devices

D Dieks. Communication by E P R Devices. Physics Letters. 1982

1982
[4]

N. Herbert. Flash -- A Superluminal Communicator Based on a New Kind of Quantum Measurement. 1982

1982
[5]

Hudson and K.R

R. Hudson and K.R. Parthasarathy. Quantum Ito's Formula and Stochastic Evolutions. Communications in Mathematical Physics. 1984

1984
[6]

Krishna and K.R

M. Krishna and K.R. Parthasarathy. An Entropic Uncertainty Principle for Quantum Measurements. The Indian Journal of Statistics. 2002

2002
[7]

Markov Dilations on W *-Algebras

Burkhard K \"u mmerer. Markov Dilations on W *-Algebras. Journal of Functional Analysis. 1985

1985
[8]

Quantum Markov Processes and Applications to Physics

Burkhard K \"u mmerer. Quantum Markov Processes and Applications to Physics. Lecture Notes in Mathematics. 2006

2006
[9]

K \"u mmerer and H

B. K \"u mmerer and H. Maassen. Quantum Markov Processes. 2024

2024
[10]

A General No-cloning Theorem

G Lindblad. A General No-cloning Theorem. Letters in Mathematical Physics. 1999

1999
[11]

H. Maassen. Quantum Probability Applied to the Damped Harmonic Oscillator. Quantum Probability Communications. 2003

2003
[12]

Quantum Computing and Quantum Information

M Nielsen and I Chuang. Quantum Computing and Quantum Information. 2000

2000
[13]

Parthasarathy

K.R. Parthasarathy. An Introduction to Quantum Stochastic Calculus. 1992

1992
[14]

Parthasarathy

K.R. Parthasarathy. Extremal Quantum States in Coupled Systems. Ann. I. H. Poincar \'e. 2005

2005
[15]

Wootters and W.H

W.K. Wootters and W.H. Zureck. A Single Quantum Cannot be Cloned. Nature. 1982

1982
[16]

H. Yuen. Amplification of Quantum States and Noiseless Photon Amplifiers. Physics Letters. 1986

1986

[1] [1]

Noncommuting Mixed States Cannot Be Broadcast

H Barnum, C Caves. Noncommuting Mixed States Cannot Be Broadcast. Physical Review Letters. 1996

1996

[2] [2]

H Barnum, J. Barrett. Generalized No-Broadcasting Theorem. Physical Review Letters. 2007

2007

[3] [3]

Communication by E P R Devices

D Dieks. Communication by E P R Devices. Physics Letters. 1982

1982

[4] [4]

N. Herbert. Flash -- A Superluminal Communicator Based on a New Kind of Quantum Measurement. 1982

1982

[5] [5]

Hudson and K.R

R. Hudson and K.R. Parthasarathy. Quantum Ito's Formula and Stochastic Evolutions. Communications in Mathematical Physics. 1984

1984

[6] [6]

Krishna and K.R

M. Krishna and K.R. Parthasarathy. An Entropic Uncertainty Principle for Quantum Measurements. The Indian Journal of Statistics. 2002

2002

[7] [7]

Markov Dilations on W *-Algebras

Burkhard K \"u mmerer. Markov Dilations on W *-Algebras. Journal of Functional Analysis. 1985

1985

[8] [8]

Quantum Markov Processes and Applications to Physics

Burkhard K \"u mmerer. Quantum Markov Processes and Applications to Physics. Lecture Notes in Mathematics. 2006

2006

[9] [9]

K \"u mmerer and H

B. K \"u mmerer and H. Maassen. Quantum Markov Processes. 2024

2024

[10] [10]

A General No-cloning Theorem

G Lindblad. A General No-cloning Theorem. Letters in Mathematical Physics. 1999

1999

[11] [11]

H. Maassen. Quantum Probability Applied to the Damped Harmonic Oscillator. Quantum Probability Communications. 2003

2003

[12] [12]

Quantum Computing and Quantum Information

M Nielsen and I Chuang. Quantum Computing and Quantum Information. 2000

2000

[13] [13]

Parthasarathy

K.R. Parthasarathy. An Introduction to Quantum Stochastic Calculus. 1992

1992

[14] [14]

Parthasarathy

K.R. Parthasarathy. Extremal Quantum States in Coupled Systems. Ann. I. H. Poincar \'e. 2005

2005

[15] [15]

Wootters and W.H

W.K. Wootters and W.H. Zureck. A Single Quantum Cannot be Cloned. Nature. 1982

1982

[16] [16]

H. Yuen. Amplification of Quantum States and Noiseless Photon Amplifiers. Physics Letters. 1986

1986