8 pages, three tables; Version 2 - a few typos and one discrepancy corrected; Version 3: substantial extension of the paper - two-qubits are generalized quadrangles of order two; Version 4: self-dual picture completed; Version 5: intriguing triality found -- three kinds of geometric hyperplanes within GQ and three distinguished subsets of Pauli operators
发表信息：
Theoretical and Mathematical Physics 155, 3 (2008) 905-913
The projective line over the (non-commutative) ring of two-by-two matrices with coefficients in GF(2) is found to fully accommodate the algebra of 15 operators - generalized Pauli matrices - characterizing two-qubit systems. The relevant sub-configuration consists of 15 points each of which is either simultaneously distant or simultaneously neighbor to (any) two given distant points of the line. The operators can be identified with the points in such a one-to-one manner that their commutation relations are exactly reproduced by the underlying geometry of the points, with the ring geometrical notions of neighbor/distant answering, respectively, to the operational ones of commuting/non-commuting. This remarkable configuration can be viewed in two principally different ways accounting, respectively, for the basic 9+6 and 10+5 factorizations of the algebra of the observables. First, as a disjoint union of the projective line over GF(2) x GF(2) (the "Mermin" part) and two lines over GF(4) passing through the two selected points, the latter omitted. Second, as the generalized quadrangle of order two, with its ovoids and/or spreads standing for (maximum) sets of five mutually non-commuting operators and/or groups of five maximally commuting subsets of three operators each. These findings open up rather unexpected vistas for an algebraic geometrical modelling of finite-dimensional quantum systems and give their numerous applications a wholly new perspective.
This note presents a simple and unified formulation of the most fundamental structures used in quantum information with qubits, arbitrary dimension qudits, and quantum continuous variables. This \emph{general quantum variables} construction provides a succinct language for formulating many results in quantum computation and information so that they are applicable in all dimensions. The structures included within this formalism include: a generalization to arbitrary dimension of the three Pauli operators, and the associated mutually unbiased bases; the Pauli and Clifford groups; many important …
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 me…
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…
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…
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.
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…
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.
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…
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…
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（粤港澳大湾区量子科学中心）
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 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…
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.…
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…
Whether entanglement in a state can be detected, distilled, and quantified without full state reconstruction is a fundamental open problem. We demonstrate a new scheme encompassing these three tasks for arbitrary two-qubit entanglement, by constructing the optimal entanglement witness for polarization-entangled mixed-state photon pairs without full state reconstruction. With better efficiency than quantum state tomography, the entanglement is maximally distilled by newly developed tunable polarization filters, and quantified by the expectation value of the witness, which equals the concurrence…
We show that bipartite concurrence for rank-2 mixed states of qubits is written by an observable which can be exactly and directly measurable in experiment by local projective measurements, provided that four copies of the composite quantum system are available. In addition, for a tripartite quantum pure state of qubits, the 3-tangle is also shown to be measurable only by projective measurements on the reduced density matrices of a pair of qubits conditioned on four copies of the state.
Information-theoretic uncertainty relations formulate the joint immeasurability of two non-commuting observables in terms of information entropies. The trade-off of the accuracy in the outcome of two successive measurements manifests in entropic noise-disturbance uncertainty relations. Recent theoretical analysis predicts that projective measurements are not optimal, with respect to the noise-disturbance trade-offs. Therefore the results in our previous letter [PRL 115, 030401 (2015)] are outperformed by general quantum measurements. Here, we experimentally test a tight information-theoretic m…
Traditional uncertainty relations dictate a minimal amount of noise in incompatible projective quantum measurements. However, not all measurements are projective. Weak measurements are minimally invasive methods for obtaining partial state information without projection. Recently, weak measurements were shown to obey an uncertainty relation cast in terms of entropies. We experimentally test this entropic uncertainty relation with strong and weak measurements of a superconducting transmon qubit. A weak measurement, we find, can reconcile two strong measurements' incompatibility, via backaction …
Fully characterizing the steerability of a quantum state of a bipartite system has remained an open problem since the concept of steerability was defined. In this work, using our recent geometrical approach to steerability, we suggest a necessary and sufficient condition for a two-qubit state to be steerable with respect to projective measurements. To this end, we define the critical radius of local models and show that a state of two qubits is steerable with respect to projective measurements from Alice's side if and only if her critical radius of local models is less than $1$. As an example,…
We establish a relation between topological and quantum entanglement for a multi-qubit state by considering the unitary representations of the Artin braid group. We construct topological operators that can entangle multi-qubit state. In particular we construct operators that create quantum entanglement for multi-qubit states based on the Segre ideal of complex multi-projective space. We also in detail discuss and construct these operators for two-qubit and three-qubit states.
A complex projective $t$-design is a configuration of vectors which is ``evenly distributed'' on a sphere in the sense that sampling uniformly from it reproduces the moments of Haar measure up to order $2t$. We show that the set of all $n$-qubit stabilizer states forms a complex projective $3$-design in dimension $2^n$. Stabilizer states had previously only been known to constitute $2$-designs. The main technical ingredient is a general recursion formula for the so-called frame potential of stabilizer states. To establish it, we need to compute the number of stabilizer states with pre-describe…
A single Yb atom is loaded into a high-finesse optical cavity with a moving lattice, and its nuclear spin state is manipulated using a nuclear magnetic resonance technique. A highly reliable quantum state control with fidelity and purity greater than 0.98 and 0.96, respectively, is confirmed by the full quantum state tomography; a projective measurement with high speed (500us) and high efficiency (0.98) is accomplished using the cavity QED technique. Because a hyperfine coupling is induced only when the projective measurement is operational, the long coherence times (T_1 = 0.49 s and T_2 = 0.1…
We consider the problem of minimizing resources required for universal quantum computation using only projective measurements. The resources we focus on are observables, which describe projective measurements, and ancillary qubits. We show that the set of observables {Z \otimes X, (cosθ)X + (sinθ)Y all θ\in [0, 2π)} with one ancillary qubit is universal for quantum computation. The set is simpler than a previous one in the sense that one-qubit projective measurements described by the observables in the set are ones only in the (X,Y) plane of the Bloch sphere. The proof of the universality imme…
We present a scheme for a projective measurement of the parity operator $P_z=\prod_{i=1}^N σ_z^{(i)}$ of $N$-qubits. Our protocol uses a single ancillary qubit, or a probe qubit, and involves manipulations of the total spin of the $N$ qubits without requiring individual addressing. We illustrate our protocol in terms of an experimental implementation with atomic ions in a two-zone linear Paul trap, and further discuss its extensions to several more general cases.
Recently, Pryde et al reported the demonstration of a quantum non-demolition scheme for single-photon polarization states with linear optics and projective measurements [Phys. Rev. Lett. 92, 190402 (2004)]. Here, we argue that their interpretation of the experiment is inconsistent with the fidelity measure they use.
Measurements in quantum mechanics cannot perfectly distinguish all states and necessarily disturb the measured system. We present and analyse a proposal to demonstrate fundamental limits on quantum control of a single qubit arising from these properties of quantum measurements. We consider a qubit prepared in one of two non-orthogonal states and subsequently subjected to dephasing noise. The task is to use measurement and feedback control to attempt to correct the state of the qubit. We demonstrate that projective measurements are not optimal for this task, and that there exists a non-projecti…
A bipartite Bell inequality is derived which is maximally violated on the two-qubit state space if measurements describable by positive operator valued measure (POVM) elements are allowed rather than restricting the possible measurements to projective ones. In particular, the presented Bell inequality requires POVMs in order to be maximally violated by a maximally entangled two-qubit state. This answers a question raised by N. Gisin.
Quantum state detectors based on switching of hysteretic Josephson junctions biased close to their critical current are simple to use but have strong back-action. We show that the back-action of a DC-switching detector can be considerably reduced by limiting the switching voltage and using a fast cryogenic amplifier, such that a single readout can be completed within 25 ns at a repetition rate of 1 MHz without loss of contrast. Based on a sequence of two successive readouts we show that the measurement has a clear quantum non-demolition character, with a QND fidelity of 75 %.
We investigate the uncertainty principle for two successive projective measurements in terms of Rényi entropy based on a single quantum system. Our results cover a large family of the entropy (including the Shannon entropy) uncertainty relations with a lower optimal bound. We compare our relation with other formulations of the uncertainty principle in a two-spin observables measured on a pure quantum state of qubit. It is shown that the low bound of our uncertainty relation has better tightness.
