We present a systematic analysis of how one can improve performance of probabilistic programmable quantum processors. We generalize a simple Vidal-Masanes-Cirac processor that realizes U(1) rotations on a qubit with the phase of the rotation encoded in a state of the program register. We show how the probability of success of the probabilistic processor can be enhanced by using the processor in loops. In addition we show that the same strategy can be utilized for a probabilistic implementation of nonunitary transformations on qubits. In addition, we show that an arbitrary SU(2) transformation of qubits can be encoded in program state of a universal programmable probabilistic quantum processor. The probability of success of this processor can be enhanced by a systematic correction of errors via conditional loops. Finally, we show that all our results can be generalized also for qudits. In particular, we show how to implement SU(N) rotations of qudits via programmable quantum processor and how the performance of the processor can be enhanced when it is used in loops.
We analyze probabilistic realizations of programmable quantum processors that allow us to realize unitary operations on qubits as well as on qudits. Programmable processors are composed of two inputs — the data register and the program register. In the input state of the program register information about the operation that is supposed to be performed on the data is encoded. At the output of the probabilistic processor a measurement over the program register is performed. An intrinsic property of probabilistic processors is that they sometimes fail, but we know when this happens. We present a complete analysis of two processors: (1) The so-called [Formula: see text] processor that is based on a simple controlled-NOT gate. (2) The so-called [Formula: see text] processor that utilizes the quantum-information-distributor circuit.
Abstract We analyze how to improve performance of probabilistic programmable quantum processors. We show how the probability of success of the probabilistic processor can be enhanced by using the processor in loops. In addition, we show that an arbitrary SU(2) transformations of qubits can be encoded in program state of a universal programmable probabilistic quantum processor. The probability of success of this processor can be enhanced by a systematic correction of errors via conditional loops. Finally, we show that all our results can be generalized also for qudits.
In the first part of the work, the equivalence of quantum deterministic and probabilistic processors was investigated. A programmable quantum processor is a device able to transform input data states in a desired way. Deterministic equivalence as well as three types of probabilistic equivalences - strong, weak, and structural - were defined. Necessary and sufficient conditions for deterministic and structural equivalence of unitarily related processors were discovered. Equivalence of deterministic SWAP processor for two-dimensional data and two-dimensional program space was completely solved. It was found that spans of operators of structurally equivalent processors are identical. Relations between types of individual equivalences were also examined. In the second part, robustness of probabilistic storing and retrieval device (PSAR), originally optimized for implementing a phase gate, to noise was examined - specifically to depolarization and phase damping. In the case of a depolarizing channel mixed with a unitary channel, the device implements noisy channel with the probability that decreases with an increasing number of times the given channel is applied. In the case of the phase damping channel, the device implements noisy channel with the same probability as the original PSAR device optimized for phase gate. Concrete implementations - through the Vidal-Masanes-Cirac scheme and virtual qudit - were examined. Vidal-Masanes-Cirac gives the same result for both noisy channels which is better than the result from PSAR. Implementation through virtual qudit for depolarization yields worse probability of successful measurement than Vidal-Masanes-Cirac. However, it is still better than the probability for PSAR. Probability of successful measurement obtained for phase damping implemented through virtual qudit is the same as for Vidal-Masanes-Cirac and PSAR.
We examine the execution of general
U(1) transformations on programmable quantum processors. We show that, with only the minimal assumption of availability of copies of the
1-qubit program state, the apparent advantage of existing schemes proposed by G. Vidal et al. [Phys. Rev. Lett. 88, 047905 (2002)] and M. Hillery et al. [Phys. Rev. A 65, 022301 (2003)] to execute a general
U(1) transformation with greater probability using complex program states appears not to hold.
Similar to a classical processor, which is an algorithm for reading a program and executing its instructions on input data, a universal programmable quantum processor is a fixed quantum channel that reads a quantum program
∣ψU⟩ that causes the processor to approximately apply an arbitrary unitary
U to a quantum data register. The present work focuses on a class of simple programmable quantum processors for implementing reflection operators, i.e.
U=eiπ∣ψ⟩⟨ψ∣ for an arbitrary pure state
∣ψ⟩ of finite dimension
d. Unlike quantum programs that assume query access to
U, our program takes the form of independent copies of the state to be reflected about
∣ψU⟩=∣ψ⟩⊗n. We then identify the worst-case optimal algorithm among all processors of the form
trProgram[V(∣ϕ⟩⟨ϕ∣⊗(∣ψ⟩⟨ψ∣)⊗n)V†] where the algorithm
V is a unitary linear combination of permutations. By generalizing these algorithms to processors for arbitrary-angle rotations,
eiα∣ψ⟩⟨ψ∣ for
α∈R, we give a construction for a universal programmable processor with better scaling in
d. For programming reflections, we obtain a tight analytical lower bound on the program dimension by bounding the Holevo information of an ensemble of reflections applied to an entangled probe state. The lower bound makes use of a block decomposition of the uniform ensemble of reflected states with respect to irreps of the partially transposed permutation matrix algebra, and two representation-theoretic conjectures based on extensive numerical evidence.