nLab
no-cloning theorem

Context

Physics

, ,

Surveys, textbooks and lecture notes

  • ,


,

, ,

    • , , , ,

      • ,

      • ,

      • ,

        • ,

      • and
    • Axiomatizations

          • ,
        • -theorem

    • Tools

      • ,

        • ,

        • ,
    • Structural phenomena

    • Types of quantum field thories

        • ,

        • , ,

        • examples

          • ,
          • ,
        • , , , ,

        • , ,

Monoidal categories

With symmetry

With duals for objects

  • (list of them)

  • (what they have)

  • , a.k.a.

  • , a.k.a.

With duals for morphisms

With traces

Closed structure

Special sorts of products

Semisimplicity

Morphisms

  • (, , , )

Internal monoids

Examples

Theorems

In higher category theory

Type theory

,

  • ,

    • \vdash ,

(, , , )

  • ,

  • / ()

  • // ()

= + +

/-/
,
of / of
for for hom-tensor adjunction
introduction rule for for hom-tensor adjunction
( of) ( of)
into into
( of) ( of)
, ,
higher
/-//
/
, () ,
(, ) /
(absence of) (absence of)

  • ,

  • ,

    • , ,

  • ,

Contents

Idea

In quantum physics the no-cloning theorem is the statement that one cannot produce a second copy of an arbitrary given quantum state by a quantum physical process.

More in detail, in its original version the statement is that given a quantum system with Hilbert space HH and with a chosen initial pure quantum state eHe \in H, then there is no unitary operator on the tensor product HHH \otimes H which would take states of the form (ψ,e)(\psi, e) to (ψ,ψ)(\psi,\psi).

Of course this cannot exist, because such a map would not even be linear. Often the statement is relaxed to observing that if there is a unitary that takes (ψ,e)(\psi,e) to (ψ,ψ)(\psi,\psi) and (ϕ,e)(\phi,e) to (ϕ,ϕ)(\phi,\phi) for any two states ϕ,ψH\phi,\psi \in H, then either ϕ=ψ\phi= \psi or ϕψ\phi \perp \psi (since it follows from unitarity that in this case ϕ|ψ=ϕ|ψ 2\langle\phi | \psi \rangle = \langle\phi | \psi \rangle^2 ).

There is a slightly more substantial generalization of this observation to mixed quantum states, then called the no-broadcasting theorem. Dually, there is also a no-deleting theorem.

Formally, when quantum physics is axiomatized by quantum logic in the guise of linear logic/linear type theory, the content of “no-cloning” and “no-deleting” is the very “linearity” of this logic, the absence of a diagonal map and of a projection map for the non-cartesian tensor product in the categorical semantics given by non-cartesian symmetric monoidal categories such as that of Hilbert spaces. See also at finite quantum mechanics in terms of dagger-compact categories.

From this perspective one gets a more interesting statement if one turns this around and asks which conditions are imposed on a symmetric monoidal category if its tensor product is assumed to admit a diagonal map (for “cloning”) or projection maps (for “deleting”) or both. These turn out to be very strong conditions. For instance in order for a diagonal to exist for the tensor product of a compact closed category implies that every endomorphism on every object in the category is a multiple of the identity (Abramsky 09, in generalization of “Joyal’s lemma”). This is clearly false in any category in which one could find interesting quantum mechanics, certainly in that of (finite dimensional) Hilbert spaces.

References

The original articles are

General reviews include

Discussion from the point of view of monoidal category-theory (finite quantum mechanics in terms of dagger-compact categories) includes

  • Samson Abramsky, No-Cloning in categorical quantum mechanics, (2008) in I. Mackie and S. Gay (eds), Semantic Techniques for Quantum Computation , Cambridge University Press (arXiv:0910.2401)

Last revised on May 19, 2017 at 17:30:21. See the history of this page for a list of all contributions to it.