We construct a probabilistic quantum cloning machine by a general unitary-reduction operation. With a postselection of the measurement results, the machine yields faithful copies of the input states. It is shown that the states secretly chosen from a certain set $S\phantom{\rule{0ex}{0ex}}=\phantom{\rule{0ex}{0ex}}{|{\ensuremath{\Psi}}_{1}〉,|{\ensuremath{\Psi}}_{2}〉,\dots{},|{\ensuremath{\Psi}}_{n}〉}$ can be probabilistically cloned if and only if $|{\ensuremath{\Psi}}_{1}〉,|{\ensuremath{\Psi}}_{2}〉,\dots{},\mathrm{and}|{\ensuremath{\Psi}}_{n}〉$ are linearly independent. We derive the best possible cloning efficiencies. Probabilistic cloning has a close connection with the problem of identification of a set of states, which is a type of
n+1 outcome measurement on
n linearly independent states. The optimal efficiencies for this type of measurement are obtained.
From Ref. [Phys. Rev. Lett. 80(1998)4999] one knows that the quantum states secretly chosen from a certain set can be probabilistically cloned with positive cloning efficiencies if and only if all the states in the set are linearly independent. In this paper, we focus on the probabilistic quantum cloning (PQC) of linearly dependent states with nonnegative cloning efficiencies. We show that a linearly independent subset of the linearly dependent quantum states can be probabilistically cloned if and only if any one state in the subset can not be expressed as the linear superposition of the other states in the set. The optimal possible cloning efficiencies are also investigated.
We further verify the impossibility of deleting an arbitrary unknown quantum state, and also show it is impossible to delete two nonorthogonal quantum states as a consequence of unitarity of quantum mechanics. A quantum approximate (deterministic) deleting machine and a probabilistic (exact) deleting machine are constructed. The estimation for the global fidelity characterizing the efficiency of the quantum approximate deleting is given. We then demonstrate that unknown nonorthogonal states chosen from a set with their multiple copies can evolve into a linear superposition of multiple deletions and failure branches by a unitary process if and only if the states are linearly independent. It is notable that the proof for necessity is somewhat different from Pati's [Phys. Rev. Lett. 83, 2849 (1999)]. Another deleting machine for the input states that are unnecessarily linearly independent is also presented. The bounds on the success probabilities of these deleting machines are derived. So we expound some preliminary analogies between quantum cloning and deleting.
The no-cloning theorem is a cornerstone result in quantum mechanics that forbids copying of general quantum information. More quantitatively, even given
N copies of an unknown state, any channel producing an
(N+1)-copy state incurs a nonzero trace-distance error on some inputs. Turning this around, one can ask about the sample complexity of approximate
N→N+1 cloning: for a desired small error
ε, what
N suffices? For arbitrary pure states on a Hilbert space
H, the answer is
N≃dimH/ε - astronomically large for most
H of interest. What if the input is promised to lie in a structured family? We examine a range of families fundamental to many-body physics and quantum information:
n-mode fermionic Gaussian and Slater states,
n-mode bosonic Gaussian states, and qudit phase states. For fermions, we construct optimal cloning channels, reducing the complexity from exponential to polynomial in
n. For bosonic Gaussian states, we construct an explicit cloner that certifies polynomial complexity, without any constraint on the energy of the state; this channel, however, is not optimal in general. The fermionic and bosonic results follow from a single representation-theoretic framework, which generalizes previous work by Werner and by Chiribella and Yang; it also yields the cloners' unitary implementation. Furthermore, we explain why for many families the cloning complexity is linear in the dimension of the family manifold, via a controlled saddle-point evaluation of the frame potential at high
N. The same calculation accounts for the analogous scaling of tomography complexity. The above framework does not cover phase states; for these we give an independent construction of a channel with optimal cloning fidelity. Our work complements recent results on cloning stabilizer states.
Quantum theory fundamentally forbids the perfect copying of an arbitrary unknown quantum state, according to a principle known as the no-cloning theorem. Nevertheless, it is possible to construct a deterministic quantum map that produces multiple approximate copies of an unknown quantum state. This task is referred to as universal quantum cloning, further facilitating numerous quantum technologies such as quantum cryptography and quantum communication. In this work, we theoretically verify that the universal quantum cloning cannot be realized within a noncontextual theory, highlighting its intrinsically nonclassical nature. Our verification first {focuses on revealing that}
1→2 cloning scenario {is fully contextual}, and {further covers general examples to observe the contextual behavior of}
N→M scenario. We believe that our results regarding quantum cloning serve a key role for understanding both quantum foundation and application.