We present a finite set of projective measurements that, together with quantum memory and preparation of the |0> state, suffice for universal quantum computation. This extends work of Nielsen [quant-ph/0108020], who proposed a scheme in which an arbitrary unitary operation on n qubits can be simulated using only projective measurements on at most 2n qubits. All measurements in our set involve two qubits, except two measurements which involve three qubits. Thus we improve by one the upper bound, implied by Nielsen's results, on the maximum number of qubits needed to participate in any single measurement to achieve universal quantum computation. Each of our measurements is two-valued, and each can be expressed mathematically as a Boolean combination of single-qubit measurements.
Nielsen [quant-ph/0108020] showed that universal quantum computation is possible given quantum memory and the ability to perform projective measurements on up to 4-qubits. We describe an improved method that requires only 2-qubit measurements, which are both sufficient and necessary. We present a method to partially collapse the $C_k$-hierarchy in the indirect construction of unitary gates [Gottesman and Chuang, Nature, {\bf 402} 309 (1999)], and apply the method to find discrete universal sets of 2-qubit measurements.
Numerous quantum information protocols make use of maximally entangled two-particle states, or Bell states, in which information is stored in the correlations between the two particles rather than their individual properties. Retrieving information stored in this way means distinguishing between different Bell states, yet the well known no-go theorem establishes that projective linear evolution and local measurement (LELM) detection schemes can only reliably distinguish three of the four qubit Bell states. We establish maximum distinguishability of the qutrit Bell states of bosons via projecti…
So far, various multi-photon entangled states have been observed experimentally by using different experimental set-ups. Here, we present a scheme to realize many SLOCC-inequivalent states of three and four qubits via projective measurements on suitable entangled states. We demonstrate how these states can be observed experimentally in a single set-up and study the feasibility of the implementation with present-day technology.
We introduce a protocol capable of generating a general measurement operator for a mechanical resonator. The technique requires a qubit-resonator interaction and uses a coherent pulse to drive qubit transitions. This is followed by projective measurement of the qubit's energy, constraining the resonator in a state that depends on the pulse shape. The freedom to choose a pulse shape for the coherent drive enables an arbitrary position-basis measurement operator. Using this measurement operator, we outline a two pulse protocol that probabilistically generates a pure mechanical state with a desir…
We derive Born's rule and the density-operator formalism for quantum systems with Hilbert spaces of dimension two or larger. Our extension of Gleason's theorem only relies upon the consistent assignment of probabilities to the outcomes of projective measurements and their classical mixtures. This assumption is significantly weaker than those required for existing Gleason-type theorems valid in dimension two.
In projective measurements of energy, a target system is projected to an eigenstate of the system Hamiltonian, and the measurement outcomes provide the information of corresponding eigen-energies. Recently, it has been shown that such a measurement can be in principle realized without detailed knowledge of the Hamiltonian by using probe qubits. However, in the previous approach for the energy measurement, the necessary size of the dimension for the probe increases as we increase the dimension of the target system, and also individual addresibility of every qubit is required, which may not be p…
The action of qubit channels on projective measurements on a qubit state is used to establish an equivalence between channels and properties of generalized measurements characterized by bias and sharpness parameters. This can be interpreted as shifting the description of measurement dynamics from the Schrodinger to the Heisenberg picture. In particular, unital quantum channels are shown to induce unbiased measurements. The Markovian channels are found to be equivalent to measurements for which sharpness is a monotonically decreasing function of time. These results are illustrated by considerin…
We consider a qubit coupled to another system (its environment), and discuss the relationship between the effects of subjecting the qubit to either a dynamical decoupling sequence of unitary operations, or a sequence of projective measurements. We give a formal statement concerning equivalence of a sequence of coherent operations on a qubit, precisely operations from a minimal set $\left\{\mathbf{I}_Q,\hatσ_x\right\}$, and a sequence of projective measurements of $\hatσ_x$ observable. Using it we show that when the qubit is subjected to $n$ such successive projective measurements at certain ti…
A quantum spin-1/2, and its associated su(2) algebra of Pauli spin matrices are familiarly linked to Clifford algebra and quaternions. Somewhat more loosely, we develop connections between the su(4) algebra of two spins and of its sub-algebras, which are important throughout the field of quantum information, with octonions, the projective plane of seven elements, and entities in projective geometry and design theory called partial Steiner systems of 10 and 15 elements. Although not the exact correspondence between a single spin and quaternions, the close analogy between these geometrical objec…
A protocol is proposed to generate Bell states in two non-directly interacting qubits by means of repeated measurements of the state of a central ancilla connected to both qubits. An optimal measurement rate is found that minimizes the time to stably encode a Bell state in the target qubits, being of advantage in order to reduce detrimental effects from possible interactions with the environment. The quality of the entanglement is assessed in terms of the concurrence and the distance between the qubits state and the target Bell state is quantified by the fidelity.
It has recently been claimed by De Zela that Gleason's theorem, for probability measures on the lattice of projection operators, can be extended to qubits by adding assumptions related to continuity and the existence of 'eigenstates'. This amounts to a claim of the derivation of Born's rule for Hermitian qubit observables. I point out a simple counterexample, and the flaw in De Zela's derivation (these are equally applicable to the repetition of the derivation given in a recent Reply). I also briefly discuss a valid extension to qubits given by Busch.
We report the implementation of projective measurement on a single 1/2 nuclear spin of the 171Yb atom by measuring the polarization of cavity-enhanced fluorescence. To obtain cavity-enhanced fluorescence having a nuclear-spin-dependent polarization, we construct a two-mode cavity QED system, in which two cyclic transitions are independently coupled to each of the orthogonally polarized cavity modes, by manipulating the energy level of 171Yb. This system can associate the nuclear spin degrees of freedom with the polarization of photons, which will facilitate the development of hybrid quantum sy…
We study uncertainty and certainty relations for two successive measurements of two-dimensional observables. Uncertainties in successive measurement are considered within the following two scenarios. In the first scenario, the second measurement is performed on the quantum state generated after the first measurement with completely erased information. In the second scenario, the second measurement is performed on the post-first-measurement state conditioned on the actual measurement outcome. Induced quantum uncertainties are characterized by means of the Tsallis entropies. For two successive p…
Cellulations of the projective plane RP^2 define single qubit topological quantum error correcting codes since there is a unique essential cycle in H_1(RP^2;Z_2). We construct three of the smallest such codes, show they are inequivalent, and identify one of them as Shor's original 9 qubit repetition code. We observe that Shor's code can be constructed in a planar domain and generalize to planar constructions of higher genus codes for multiple qubits.
We identify the families of states that maximise some recently proposed quantifiers of Einstein-Podolsky-Rosen (EPR) steering and the volume of the Quantum Steering Ellipsoid (QSE). The optimal measurements which maximise genuine EPR steering measures are discussed and we develop a novel way to find them using the QSE. We thus explore the links between genuine EPR steering and the QSE and introduce states that can be the most useful for one-sided device-independent quantum cryptography for a given amount of noise.
We present an effective measurement scheme for the solid-state qubits that does {\bf not} introduce extra decoherence to the qubits until the measurement is switched on by a resonant pulse. The resonant pulse then maximally entangles the qubit with the detector. The scheme has the feature of being projective, noiseless, and switchable. This method is illustrated on the superconducting persistent-current qubit, but can be applied to the measurement of a wide variety of solid-state qubits, the {\bf direct} detection of the electromagnetic signals of which gives poor resolution of the qubit state…
We demonstrate feedback control of a superconducting transmon qubit using discrete, projective measurement and conditional coherent driving. Feedback realizes a fast and deterministic qubit reset to a target state with 2.4% error averaged over input superposition states, and cooling of the transmon from 16% spurious excitation to 3%. This closed-loop qubit control is necessary for measurement-based protocols such as quantum error correction and teleportation.
Self-testing represents the strongest form of certification of a quantum system. Here we investigate theoretically and experimentally the question of self-testing non-projective quantum measurements. That is, how can one certify, from observed data only, that an uncharacterised measurement device implements a desired non-projective positive-operator-valued-measure (POVM). We consider a prepare-and-measure scenario with a bound on the Hilbert space dimension, which we argue is natural for this problem since any measurement can be made projective by artificially increasing the Hilbert space dime…
Suppose we can apply a given 2-qubit Hamiltonian H to any (ordered) pair of qubits. We say H is n-universal if it can be used to approximate any unitary operation on n qubits. While it is well known that almost any 2-qubit Hamiltonian is 2-universal (Deutsch, Barenco, Ekert 1995; Lloyd 1995), an explicit characterization of the set of non-universal 2-qubit Hamiltonians has been elusive. Our main result is a complete characterization of 2-non-universal 2-qubit Hamiltonians. In particular, there are three ways that a 2-qubit Hamiltonian H can fail to be universal: (1) H shares an eigenvector wit…
What resources are universal for quantum computation? In the standard model, a quantum computer consists of a sequence of unitary gates acting coherently on the qubits making up the computer. This paper shows that a very different model involving only projective measurements, quantum memory, and the ability to prepare the |0> state is also universal for quantum computation. In particular, no coherent unitary dynamics are involved in the computation.
Superconducting quantum circuit is a promising system for building quantum computer. With this system we demonstrate the universal quantum computations, including the preparing of initial states, the single-qubit operations, the two-qubit universal gate operations between arbitrary qubits, the multiple pairs of two-qubit gate operations in parallel, the coupling operations on a group of qubits in parallel, the coupling operations on multiple groups of qubits in parallel, the coupling operations on multiple pairs and multiple groups of qubits in parallel. Within available technology, a universa…
We have studied the generation of multipartite entangled states for the superconducting phase qubits. The experiments performed in this direction have the capacity to generate several specific multipartite entangled states for three and four qubits. Our studies are also important as we have used a computable measure of genuine multipartite entanglement whereas all previous studies analyzed certain probability amplitudes. As a comparison, we have reviewed the generation of multipartite entangled states via von Neumann projective measurements.
Adopting the geometric description of steering assemblages and local hidden states (LHS) model, we construct the optimal LHS model for some two-qubit states under continuous projective measurements, and obtain a sufficient steering criterion for all two-qubit states. Using the criterion, we show more two-qubit states that are asymmetric in steering scenario under projective measurements. Then we generalize the geometric description into higher dimensional bipartite cases, calculate the steering bound of two-qutrit isotropic states and make discussion on more general cases.
Optimal quantum machines can be implemented by linear projective operations. In the present work a general qubit symmetrization theory is presented by investigating the close links to the qubit purification process and to the programmable teleportation of any generic optimal anti-unitary map. In addition, the contextual realization of the N ->M cloning map and of the teleportation of the N->(M-N) universal NOT gate is analyzed by a novel and very general angular momentum theory. An extended set of experimental realizations by state symmetrization linear optical procedures is reported. These in…
We study discrimination of m quantum measurements in the scenario when the unknown measurement with n outcomes can be used only once. We show that ancilla-assisted discrimination procedures provide a nontrivial advantage over simple (ancilla-free) schemes for perfect distinguishability and we prove that inevitably m <= n. We derive necessary and sufficient conditions of perfect distinguishability of general binary measurements. We show that the optimization of the discrimination of projective qubit measurements and their mixtures with white noise is equivalent to the discrimination of specific…
It is shown that efficient and robust universal quantum computation is possible using the stimulated Raman adiabatic passage with a qubit chain as a pointer register.
We explore the use of weak quantum measurements for single-qubit quantum state tomography processes. Weak measurements are those where the coupling between the qubit and the measurement apparatus is weak; this results in the quantum state being disturbed less than in the case of a projective measurement. We employ a weak measurement tomography protocol developed by Das and Arvind, which they claim offers a new method of extracting information from quantum systems. We test the Das-Arvind scheme for various measurement strengths, and ensemble sizes, and reproduce their results using a sequential…
Analytic Qubit Separation between POVMs and Projective Measurements
The Hong Kong University of Science and Technology (Guangzhou)（香港科技大学（广州））；Quantum Science Center of Guangdong–Hong Kong–Macao Greater Bay Area（粤港澳大湾区量子科学中心）
We perform generalized measurements of a qubit by realizing the qubit as a coin in a photonic quantum walk and subjecting the walker to projective measurements. Our experimental technique can be used to realize photonically any rank-1 single-qubit positive operator-valued measure via constructing an appropriate interferometric quantum-walk network and then projectively measuring the walker's position at the final step.
In this work we study the so-called quantitative complementarity quantities. We focus in the following physical situation: two qubits ($q_A$ and $q_B$) are initially in a maximally entangled state. One of them ($q_B$) interacts with a $N$-qubit system ($R$). After the interaction, projective measurements are performed in each of the qubits of $R$, in a basis that is chosen after independent optimization procedures: maximization of the visibility, the concurrence and the predictability. For a specific maximization procedure, we study in details how each of the complementary quantities behave, c…
We present a scheme for correcting qubit loss error while quantum computing with neutral atoms in an addressable optical lattice. The qubit loss is first detected using a quantum non-demolition measurement and then transformed into a standard qubit error by inserting a new atom in the vacated lattice site. The logical qubit, encoded here into four physical qubits with the Grassl-Beth-Pellizzari code, is reconstructed via a sequence of one projective measurement, two single-qubit gates, and three controlled-NOT operations. No ancillary qubits are required. Both quantum non-demolition and projec…
We consider two-qubit undergoing local dissipation and subject to local driving. We then determine the optimal Markovian feedback action to preserve initial entanglement as well as to create stationary entanglement with the help of an XY interaction Hamiltonian. Such feedback actions are worked out in a way not depending on the initial two-qubit state, whence called universal.
We show how to control and perform universal three-qubit quantum computation with trapped electron quantum states. The three qubits are the electron spin, and the first two quantum states of the cyclotron and axial harmonic oscillators. We explicitly show how the universal gates can be performed. As an example of a non-trivial quantum algorithm, we outline the implementation of the Deutsch-Jozsa algorithm in this system.
In this Brief Report we show the relation between three-qubit entanglement invariants and two-qubit concurrence with the help of projective measurements. How to use these invariants to represent the entanglement property of three-qubit pure states is also investigated.
Quantum measurement is universal for quantum computation. Two models for performing measurement-based quantum computation exist: the one-way quantum computer was introduced by Briegel and Raussendorf, and quantum computation via projective measurements only by Nielsen. The more recent development of this second model is based on state transfers instead of teleportation. From this development, a finite but approximate quantum universal family of observables is exhibited, which includes only one two-qubit observable, while others are one-qubit observables. In this article, an infinite but exact …
The Fuchs-Peres-Brandt (FPB) probe realizes the most powerful individual attack on Bennett-Brassard 1984 quantum key distribution by means of a single controlled-NOT gate in which Alice's transmitted qubit becomes the control-qubit input, Bob's received qubit is the control-qubit output, and Eve supplies the target-qubit input and measures the target-qubit output. The FPB probe uses the minimum-error-probability projective measurement for discriminating between the target-qubit output states that are perfectly correlated with Bob's sifted bit value when that bit is correctly received. This pap…
The necessary and sufficient criteria for violating the Mermin and Svetlichny inequalities by arbitrary three-qubit states are presented. Several attempts have been made, earlier, to find such criteria, however, those extant criteria are neither tight for most of the instances, nor fully general. We generalize the existing criteria for Mermin and Svetlichny inequalities which are valid for the local projective measurement observables as well as for the arbitrary ones. We obtain the maximal achievable bounds of the Mermin and Svetlichny operators with unbiased measurement observables for arbitr…
To generate arbitrary one- and two-qubit gates, the universal decompositions are usually used in quantum computing, and the universality of these decompositions has been demonstrated. However, in realistic experiments, gate errors may affect the universality of the universal decompositions. Here, we focus on the single-qubit-gate decomposition scheme and study the coherent-error effects on universality. We prove that, in the parameter space which we studied, some kinds of coherent errors will not affect the original universality, but some others will destroy it. We provide the definition and a…
A field configuration utilizing local static and oscillating fields is constructed to achieve universal (but low-order) protection of two-qubit states. That is, two-qubit states can be protected against arbitrary system-environment coupling if the driving field frequency, as compared with the cutoff frequency of the environment, is sufficiently large. Equally important, we show that it is possible to construct driving fields to protect two-qubit entangling gates against decoherence, without assuming any particular form of system-environment coupling. Using a non-Markovian master equation, we f…
We demonstrate that in a coupled two-qubit system any single-qubit gate can be decomposed into two conditional two-qubit gates and that any conditional two-qubit gate can be implemented by a manipulation analogous to that used for a controlled two-qubit gate. Based on this we present a unified approach to implement universal single-qubit and two-qubit gates in a coupled two-qubit system with fixed always-on coupling. This approach requires neither supplementary circuit or additional physical qubits to control the coupling nor extra hardware to adjust the energy level structure. The feasibility…
We show that there does not exist any universal quantum cloning machine that can broadcast an arbitrary mixed qubit with a constant fidelity. Based on this result, we investigate the dependent quantum cloner in the sense that some parameter of the input qubit $ρ_s(θ,ω,λ)$ is regarded as constant in the fidelity. For the case of constant $ω$, we establish the $1\to2$ optimal symmetric dependent cloner with a fidelity 1/2. It is also shown that the $1\to M$ optimal quantum cloning machine for pure qubits is also optimal for mixed qubits, when $λ$ is the unique parameter in the fidelity. For gene…
In this paper, we present the experimental realization of multi-qubit gates $% Λ_n(not) $ in macroscopic ensemble of three-qubit and four-qubit molecules. Instead of depending heavily on the two-bit universal gate, which served as the basic quantum operation in quantum computing, we use pulses of well-defined frequency and length that simultaneously apply to all qubits in a quantum register. It appears that this method is experimentally convenient when this procedure is extended to more qubits on some quantum computation, and it can also be used in other physical systems.
Reliable quantum information processing requires high-fidelity universal manipulation of quantum systems within the characteristic coherence times. Non-adiabatic holonomic quantum computation offers a promising approach to implement fast, universal, and robust quantum logic gates particularly useful in nano-fabricated solid-state architectures, which typically have short coherence times. Here, we propose an experimentally feasible scheme to realize high-speed universal geometric quantum gates in nano-engineered pseudo-spin charge qubits. We use a system of three coupled quantum dots containing…
We show theoretically how a correlation of multiple measurements on a qubit undergoing pure dephasing can be expressed as environmental noise filtering. The measurement of such correlations can be used for environmental noise spectroscopy, and the family of noise filters achievable in such a setting is broader than the one achievable with a standard approach, in which dynamical decoupling sequences are used. We illustrate the advantages of this approach by considering the case of noise spectrum with sharp features at very low frequencies. We also show how appropriately chosen correlations of a…
We show that an n-th root of the Walsh-Hadamard transform (obtained from the Hadamard gate and a cyclic permutation of the qubits), together with two diagonal matrices, namely a local qubit-flip (for a fixed but arbitrary qubit) and a non-local phase-flip (for a fixed but arbitrary coefficient), can do universal quantum computation on n qubits. A quantum computation, making use of n qubits and based on these operations, is then a word of variable length, but whose letters are always taken from an alphabet of cardinality three. Therefore, in contrast with other universal sets, no choice of qubi…
We present a universal set of quantum gate operations based on exchange-only spin qubits in a double quantum dot, where each qubit is obtained by three electrons in the (2,1) filling. Gate operations are addressed by modulating electrostatically the tunneling barrier and the energy offset between the two dots, singly and doubly occupied respectively. We propose explicit gate sequences of single qubit operations for Hadamard gate and $π$/8 gate, and the two-qubit controlled NOT (CNOT) gate, to complete the universal set. The unswitchable interaction between the two electrons of the doubly occup…
We propose a scheme to realize $1\to 2$ universal quantum cloning machine (UQCM) with superconducting quantum interference device (SQUID) qubits, embeded in a high-Q cavity. CNOT operations are derived to present our scheme, and the two-photon Raman resonance processes are used to increase the operation rate. Compared with previous works, our scheme has advantages in the experimental realization and further utilization.
We review our recent work on the universal (i.e. input state independent) optimal quantum copying (cloning) of qubits. We present unitary transformations which describe the optimal cloning of a qubit and we present the corresponding quantum logical network. We also present network for an optimal quantum copying ``machine'' (transformation) which produces N+1 identical copies from the original qubit. Here again the quality (fidelity) of the copies does not depend on the state of the original and is only a function of the number of copies, N. In addition, we present the machine which universaly …
Quantum control of systems plays important roles in modern science and technology. The ultimate goal of quantum control is to achieve high fidelity universal control in the time-optimal way. Although high fidelity universal control has been reported in various quantum systems, experimental implementation of time-optimal universal control remains elusive. Here we report the experimental realization of time-optimal universal control of spin qubits in diamond. By generalizing a recent method for solving quantum brachistochrone equations [X. Wang, et al., Phys. Rev. Lett. 114, 170501 (2015)], we o…
Finite projective geometries, especially the Fano plane, have been observed to arise in the context of certain quantum gate operators. We use Clifford algebras to explain why these geometries, both planar and higher dimensional, appear in the context of multi-qubit composite systems.
A scheme for the deterministic joint remote preparation of a four- qubit cluster-type state using only two Greenberger-Horne-Zeilinger (GHZ) states as quantum channels is presented. In this scheme, the first sender per- forms a two-qubit projective measurement according to the real coefficient of the desired state. Then, the other sender utilizes the measurement result and the complex coefficient to perform another projective measurement. To obtain the desired state, the receiver applies appropriate unitary operations to his/her own two qubits and two CNOT operations to the two ancillary ones.…
Projective Simulation was introduced as a novel approach to Artificial Intelligence. It involves a deliberation procedure that consists of a random walk on a graph of clips and allows for the learning agent to project itself into the future before committing to an action. Here we study and analyze a quantum mechanical version in which the random walk is performed by two kinds of Hamiltonians. The first kind is implemented by naively embedding the classical model in a quantum model by turning the clips into qubits. The other allows for storing clips in superpositions of qubits allowing for a po…
We consider the implementation of two-qubit unitary transformations by means of CNOT gates and single-qubit unitary gates. We show, by means of an explicit quantum circuit, that together with local gates three CNOT gates are necessary and sufficient in order to implement an arbitrary unitary transformation of two qubits. We also identify the subset of two-qubit gates that can be performed with only two CNOT gates.
