* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Algorithmic complexity of quantum states
Renormalization group wikipedia , lookup
Basil Hiley wikipedia , lookup
Renormalization wikipedia , lookup
Theoretical and experimental justification for the Schrödinger equation wikipedia , lookup
Measurement in quantum mechanics wikipedia , lookup
Bohr–Einstein debates wikipedia , lookup
Quantum dot cellular automaton wikipedia , lookup
Delayed choice quantum eraser wikipedia , lookup
Quantum electrodynamics wikipedia , lookup
Scalar field theory wikipedia , lookup
Density matrix wikipedia , lookup
Particle in a box wikipedia , lookup
Copenhagen interpretation wikipedia , lookup
Quantum field theory wikipedia , lookup
Hydrogen atom wikipedia , lookup
Probability amplitude wikipedia , lookup
Quantum decoherence wikipedia , lookup
Coherent states wikipedia , lookup
Quantum dot wikipedia , lookup
Bell's theorem wikipedia , lookup
Path integral formulation wikipedia , lookup
Many-worlds interpretation wikipedia , lookup
Quantum fiction wikipedia , lookup
Orchestrated objective reduction wikipedia , lookup
Symmetry in quantum mechanics wikipedia , lookup
Quantum entanglement wikipedia , lookup
Interpretations of quantum mechanics wikipedia , lookup
History of quantum field theory wikipedia , lookup
EPR paradox wikipedia , lookup
Quantum computing wikipedia , lookup
Quantum group wikipedia , lookup
Quantum machine learning wikipedia , lookup
Quantum state wikipedia , lookup
Hidden variable theory wikipedia , lookup
Canonical quantization wikipedia , lookup
Algorithmic complexity of quantum states C. Mora1 and H. J. Briegel1,2 1 Institut für Quantenoptik und Quanteninformation der Österreichischen Akademie der Wissenschaften, Innsbruck 2 Institut für Theoretische Physik, Universität Innsbruck Abstract Classical algorithmic complexity We give a definition for the Kolmogorov complexity of a pure quantum state. In classical information theory the algorithmic complexity of a string is a measure of the information needed by a universal machine to reproduce the string itself. We define the complexity of a quantum state by means of the classical description complexity of an (abstract) experimental procedure that allows us to prepare the state with a given fidelity. We argue that our definition satisfies the intuitive idea of complexity as a measure of “how difficult” it is to prepare a quantum state. We apply this definition to give an upper bound for the algorithmic complexity of a number of states. We also investigate the relation between the algorithmic complexity of a quantum state and its entanglement properties. Classical algorithmic complexity [3] was first introduced to give an answer to the question: “is the classical string ω N = ωi1 ωi2 ωiN random?”. The definition is based on the concept of algorithmic reproducibility of a sequence: The algorithmic complexity KCl of a string ω N is the length of the shortest program that, running on a universal Turing machine, gives ω N as output. ➩ KCl(ω N ) l(ω N ) = N : ω N can always be reproduced by a program of the form “write ωi1 ωi2 · · · ”, whose length is ∼ l(ω N ) ➩ Def: A string is complex (or random) if its complexity grows linearily with its length. The upper bound for the complexity can be found also by means of a counting argument that will then be used in the quantum case. ✵ The set of infinite binary strings is isomorphic to the interval [0, 1] ∈ : P −ωi α 3 [0, 1] ↔ 2 j . ω N thus identifies the set of infinite strings whose first N bits coincide with ω N . This set is a ball with VN ∼ 2−N . { { { ω(2) 1 0 00ωi3ωi4... 01ωi3ωi4... 10ωi3ωi4... 11ωi3ωi4... { ω(1) 1 1 { 1ωi2ωi3... { 0 0ωi2ωi3... ω(1) 2 ω(2) 2 ω(3) 2 ω(4) 2 1 The unit interval is divided in [V (BN )]−1 ∼ 2N subintervals, each identified (i) by a ω N that can be reproduced by a program that specifies its index i: the length of such a program is N = − log VN . KCl(ω N ) In the quantum case we require an N −qubit normalized quantum state |ϕi to be reproduced up to a given precision ε. This means we accept any state |ψi such that |hψ|ϕi|2 ≥ 1 − ε; once fixed |ϕi,the set all states |ψi that satisfy this condition defines a “patch” on the hypersphere of normalized N +1 −N 2 states, with volume: Vε ∼ 2 ε . −→ N = − log V (BN ) K ε(|ϕi) The idea Notation Our definition originates from the following scenario. Alice has created a certain quantum state in her laboratory and wants to describe this state (via some classical channel) to Bob, who wants to reproduce it in his laboratory. How difficult is it for Alice to describe to Bob the state of her system? We are interested in building circuits from a fixed set of gates constituting a complete finite gate basis: in this way every quantum state can be reproduced up to arbitrary precision. With C B we represent a circuit built with gates from the basis B. To be able to communicate, Alice and Bob will first have agreed on a common language which they are using to describe their preparation procedure. They will use the same “toolbox” (a complete gate finite basis) to compose their experiments and the same words when referring to the same elements of the toolbox (a code). ✵ QN 3 |0i = |0iN = |0i(1) · · · |0i(N ). ⇓ −2N log ε+N The procedure Quantum state ←→ |ϕi ∈ QN ↓ ↓ Preparation procedure ←→ C B,ε ↓ ↓ Description of the ←→ ω(C B,ε) procedure ↓ ↓ Compression of the ←→ KCl[ω(C B,ε)] description Since there may be more circuits that prepare the same state |ϕi with the required precision we minimize over them: ✵ QN is the 2N -dimensional Hilbert space generated by N qubits. ✵ A quantum circuit C ε prepares |ϕi with precision ε if |hϕ|C ε|0i|2 ≥ 1 − ε. In order to define the complexity of the description of a circuit we will need to code it. This implies having an alphabet Ω = {ω1, · · · , ωl } and a set of rules to associate to each part of the circuit a letter (or sequence of letters). The state is described by a quantum circuit that produces it when acting on some standard reference state and the complexity of the state is that of the description of the circuit. B,ε KNet (|ϕi) = Complexity and Precision B,ε ⇓ The action of any unitary transformation on |0i can be implemented up to precision ε with M ∼ O(−2 N log ε) gates from a finite basis. The length of the word ω(C B,ε) that codes the circuit is proportional to the number of gates in the circuit ⇒ K Cl(ω(C B,ε)) l(ω(C B,ε)) ∼ O(−2N log ε) B,ε −2N log ε B,ε coding word ω(C B,ε) is the concatenation B,ε/J of ω(Cj ). Thus: J X ε Nj KNet(|ϕi) ≤ − 2 log J j=1 |0i |0i |0i C1 |0i |0i |0i C2 ) |ϕ1 i |ϕ2 i The maximal complexity can be obtained only by a truly N -party entangled state. NN For a completely separable state |ϕi = j=1 |ϕj i, |ϕj i ∈ Q1 we have KNet(|ϕi) ≤ 2N log(ε/N ). The absence of entanglement re-establishes the classical bound. KNet(|Φi) −2ES (|Φi(N + 1) log ε This work has been supported in part by the Deutsche Forschungsgemeinschaft and the European Union (IST-2001-38877,-39227). References [1] C. Mora, H. J. Briegel, Algorithmic complexity of quantum states, arXiv:quant-ph/0412172 Measure The circuit C B,ε that prepares |ϕi is B,ε/J formed by J circuits Cj and the Acknowledgements and References Def: The Schmidt measure ES (|Φi) of a state |Φi ∈ QN P is the logarithm of the minimum number r of separable states |ϕii ∈ QN such that |Φi = ri=1 αi|ϕii. We can use such a decomposition to build a circuit that prepares |Φi. |0i ··· 0. The initial state is |Tot(0)i = |0iN ⊗ |0ilog r .. .. 1. PrepareP log r “ancilla” qubits in state C |Φi . Cr . 1 |ai = ri=1 αi|ii |Tot(1)i = |0iN ⊗ |ai |0i ··· 2. Apply to the initial state |0i a circuit consist B,ε ing of controlled-Ci , the application of each |0i ··· conditional Pon the ancilla being in state |ii: . .. . Ca . . |Tot(2)i = ri=1 αi|ϕii ⊗ |ii P √ r 3. Project the ancilla onto state i=1 |ii/ r: if the |0i ··· |{z} | {z } | {z } |{z} result is non-zero, state |Φi is prepared. If this is 0 1 2 3 not the case it is sufficient to repeat the procedure. B,ε The word that codes the circuit is the concatenation of those that code circuits C i and Pr B,ε Ca : KNet(|Φi) ≤ KNet(|ai) + i=1 KNet(|ϕii) ≤ −2log r log ε + r(−N log ε) Ancilla j=1 N 2 2 log ε+c The number of states with complexity o(−2N log ε) is N 2 O(2 log ε) 1. Given any gate basis B, the number of noncomplex states is exponentially small. Complexity and Schmidt Measure Consider a state |ϕi ∈ QN , separable with respect to some partiJ X tioning: Nj = N |ϕi = |ϕ1i ⊗ · · · ⊗ |ϕJ i, |ϕj i ∈ QNj , ⇓ #{|ϕi ∈ QN |KNet (|ϕi) < c} #{|ϕi|ε} ➩ Def: A quantum state ϕ ∈ QN is complex if it has maximum complexity, i.e. if KNet (|ϕi ∈ QN ) ∼ −2N log ε Entanglement and Complexity |hϕ|C B,ε|0i|2≥1−ε KCl[ω(C B,ε)] Is there a basis that allows to describe (almost all) states easily? The number of classical strings with complexity bound by a constant c is: Pn−1 j #{ω n = ωi1 · · · ωin |KCl(ω n) < c} 2c − 1 j=0 2 ≤ = n #{ω n = ωi11 · · · ωin } 2 2n ✳ Any circuit acting on QN and built with m 1-qubit and C-not gates can be reproduced with precision ε using O(m log( m ε )) gates from a finite basis [2]. B,ε KNet (|ϕi ∈ QN ) min The basis problem How does KNet (|ϕi) depend on the precision parameter ε? ✳ Using only 1-qubit gates, plus the controlled-not it is possible to reproduce any unitary operation over Q N using O(4N ) gates [4]. ✳ We want to reproduce the action of a unitary on only one given state. ⇒ O(2 N ) gates are sufficient to prepare any |ϕi from the initial state |0i. ⇓ |ϕi [2] A. Y. Kitaev, Quantum computations: algorithms and error correction, Russ. Math. Surv. 52, 1191 (1997). [3] A. N. Kolmogorov, Three approaches to the quantitative definition of information, Probl. Inf. Transmission 1, 1 (1965). [4] J. J. Vartiainen, M. Möttönen, M. M. Salomaa, Efficient Decomposition of Quantum Gates, Phys. Rev. Lett 92, 17 (2004).