We present a new approach for obtaining quantum quasi-probability distributions, $P(α,β)$, for two arbitrary operators, $\mathbf{a}$ and $\mathbf{b}$, where $α$ and $β$ are the corresponding c-variables. We show that the quantum expectation value of an arbitrary operator can always be expressed as a phase space integral over $α$ and $β$, where the integrand is a product of two terms: One dependent only on the quantum state, and the other only on the operator. In this formulation, the concepts of quasi-probability and correspondence rule arise naturally in that simultaneously with the derivation of the quasi-distribution, one obtains the generalization of the concept of correspondence rule for arbitrary operators.
Sequential weak measurements of non-commuting observables is not only fundamentally interesting in quantum measurement but also shown potential in various applications. The previous reported methods, however, can only realize limited sequential weak measurements experimentally. In this Letter, we propose the realization of sequential measurements of arbitrary observables and experimentally demonstrate for the first time the measurement of sequential weak values of three non-commuting Pauli observables by using genuine single photons. The results presented here will not only improve our underst…
Quantum systems are typically subject to various environmental noise sources. Treating these environmental disturbances with a system-bath approach beyond weak coupling one must refer to numerical methods as, for example, the numerically exact quasi-adiabatic path integral approach. This approach, however, cannot treat baths which couple to the system via operators, which do not commute. We extend the quasi-adiabatic path integral approach by determining the time discrete influence functional for such non-commuting fluctuations and by modifying the propagation scheme accordingly. We test the e…
Quantum Markov networks are a generalization of quantum Markov chains to arbitrary graphs. They provide a powerful classification of correlations in quantum many-body systems---complementing the area law at finite temperature---and are therefore useful to understand the powers and limitations of certain classes of simulation algorithms. Here, we extend the characterization of quantum Markov networks and in particular prove the equivalence of positive quantum Markov networks and Gibbs states of Hamiltonians that are the sum of local commuting terms on graphs containing no triangles. For more ge…
We prove that for any two commuting von Neumann algebras of infinite type, the open set of Bell correlated states for the two algebras is norm dense. We then apply this result to algebraic quantum field theory -- where all local algebras are of infinite type -- in order to show that for any two spacelike separated regions, there is an open dense set of field states that dictate Bell correlations between the regions. We also show that any vector state cyclic for one of a pair of commuting nonabelian von Neumann algebras is entangled (i.e., nonseparable) across the algebras -- from which it foll…
Modified logarithmic Sobolev inequality for 1D non-commuting Hamiltonians
University of Cambridge（剑桥大学）；Universität Tübingen（蒂宾根大学）；Universidad Complutense de Madrid（马德里康普顿斯大学）；Instituto de Ciencias Matemáticas (ICMAT)（数学科学研究所）；Instituto de Física Teórica UAM/CSIC（UAM/CSIC理论物理研究所）
For any pair of bounded observables $A$ and $B$ with pure point spectra, we construct an associated "joint observable" which gives rise to a notion of a joint (projective) measurement of $A$ and $B$, and which conforms to the intuition that one can measure non-commuting observables simultaneously, provided one is willing to give up arbitrary precision. As an application, we show how our notion of a joint observable naturally allows for a construction of a "functional calculus," so that for any pair of observables $A$ and $B$ as above, and any (Borel measurable) function $f: \mathbb{R}^2 \right…
We analyze the physical meaning of a possible experiment aimed at the simultaneous measurement of two non-commuting spin components. We demonstrate that switching of a strong spin-orbit interaction, e.g., in a solid state or a cold-atom system, for a short period of time simulates a simultaneous von Neumann measurement of spin components, $σ_x$ and $σ_y$. By mapping spin dynamics onto coordinate-space motion, such a measurement determines time averages of $σ_x$ and $σ_y$ which, unlike their instantaneous values, may be evaluated simultaneously to an arbitrary accuracy.
We consider the state determination problem using Mutually Unbiased Bases(MUBs). For spin-1, spin-3/2 and spin-2 systems, analogous to Pauli operators of spin-1/2 system, which are experimentally implementable and correspond to the optimum measurement in characterizing the density matrix, we describe a procedure to construct an orthonormal set of operators from MUBs. The constructed operators are maximally commuting, can be physically realized, and correspond to physical observables. The method of construction is general enough to allow for extensions to higher-dimensional spin systems and arb…
Heisenberg uncertainty relation in quantum mechanics sets the limit on the measurement precision of non-commuting observables, which prevents us from measuring them accurately at the same time. In some applications, however, the information are embedded in two or more non-commuting observables. On the other hand, quantum entanglement allows us to infer through Einstein-Podolsky-Rosen correlations two conjugate observables with precision better than what is allowed by Heisenberg uncertainty relation. With the help of the newly developed SU(1,1) interferometer, we implement a scheme to measure j…
We investigate under which conditions a mixed state on a finite-dimensional multipartite quantum system may be the unique, globally stable fixed point of frustration-free semigroup dynamics subject to specified quasi-locality constraints. Our central result is a linear-algebraic necessary and sufficient condition for a generic (full-rank) target state to be frustration-free quasi-locally stabilizable, along with an explicit procedure for constructing Markovian dynamics that achieve stabilization. If the target state is not full-rank, we establish sufficiency under an additional condition, whic…
Even in the presence of conservation laws, one can perform arbitrary transformations on a system if given access to a suitable reference frame, since conserved quantities may be exchanged between the system and the frame. Here we explore whether these quantities can be separated into different parts of the reference frame, with each part acting as a `battery' for a distinct quantity. For systems composed of spin-$\frac12$ particles, we show that the components of angular momentum $S_x$, $S_y$ and $S_z$ (non-commuting conserved quantities) may be separated in this way, and also provide several …
A key task in quantum computation is the application of a sequence of gates implementing a specific unitary operation. However, the decomposition of an arbitrary unitary operation into simpler quantum gates is a nontrivial problem. Here we propose a general and robust protocol to decompose any target unitary into a sequence of Pauli rotations. The procedure involves identifying a commuting subset of Pauli operators having a high trace overlap with the target unitary, followed by a numerical optimization of their corresponding rotation angles. The protocol is demonstrated by decomposing several…
We develop a general framework to investigate fluctuations of non-commuting observables. To this end, we consider the Keldysh quasi-probability distribution (KQPD). This distribution provides a measurement-independent description of the observables of interest and their time-evolution. Nevertheless, positive probability distributions for measurement outcomes can be obtained from the KQPD by taking into account the effect of measurement back-action and imprecision. Negativity in the KQPD can be linked to an interference effect and acts as an indicator for non-classical behavior. Notable example…
Contour-integral and Fourier transform based multivariable quantum eigenvalue transformation for commuting matrices
School of Mathematical Sciences, Peking University（北京大学数学科学学院）；Beijing International Center for Mathematical Research, Peking University（北京大学北京国际数学研究中心）
In the operator formalism of quantum mechanics, the density operator describes the complete statistics of a quantum state in terms of d^2 independent elements, where d is the number of possible outcomes for a precise measurement of an observable. In principle, it is therefore possible to express the density operator by a joint probability of two observables that cannot actually be measured jointly because they do not have any common eigenstates. However, such joint probabilities do not refer to an actual measurement outcome, so their definition cannot be based on a set of possible events. Here…
The class of commuting quantum circuits known as IQP (instantaneous quantum polynomial-time) has been shown to be hard to simulate classically, assuming certain complexity-theoretic conjectures. Here we study the power of IQP circuits in the presence of physically motivated constraints. First, we show that there is a family of sparse IQP circuits that can be implemented on a square lattice of n qubits in depth O(sqrt(n) log n), and which is likely hard to simulate classically. Next, we show that, if an arbitrarily small constant amount of noise is applied to each qubit at the end of any IQP ci…
The possibility of performing simultaneous measurements in quantum mechanics is investigated in the context of the Curie-Weiss model for a projective measurement. Concretely, we consider a spin-$\frac{1}{2}$ system simultaneously interacting with two magnets, which act as measuring apparatuses of two different spin components. We work out the dynamics of this process and determine the final state of the measuring apparatuses, from which we can find the probabilities of the four possible outcomes of the measurements. The measurement is found to be non-ideal, as (i) the joint statistics do not c…
Instantaneous quantum polynomial-time (IQP) computation is a class of quantum computation consisting only of commuting two-qubit gates and is not universal in the sense of standard quantum computation. Nevertheless, it has been shown that if there is a classical algorithm that can simulate IQP efficiently, the polynomial hierarchy (PH) collapses at the third level, which is highly implausible. However, the origin of the classical intractability is still less understood. Here we establish a relationship between IQP and computational complexity of the partition functions of Ising models. We appl…
We propose a method to define quasiprobability distributions for general spin-$j$ systems of dimension $n=2j+1$, where $n$ is a prime or power of prime. The method is based on a complete set of orthonormal commuting operators related to Mutually Unbiased Bases which enable (i) a parameterisation of the density matrix and (ii) construction of measurement operators that can be physically realised. As a result we geometrically characterise the set of states for which the quasiprobability distribution is non-negative, and can be viewed as a joint distribution of classical random variables assuming…
Using supersymmetric quantum mechanics we construct the quasi-exactly solvable (QES) potentials with arbitrary two known eigenstates. The QES potential and the wave functions of the two energy levels are expressed by some generating function the properties of which determine the state numbers of these levels. Choosing different generating functions we present a few explicit examples of the QES potentials.
We report on an "anti-Gleason" phenomenon in classical mechanics: in contrast with the quantum case, the algebra of classical observables can carry a non-linear quasi-state, a monotone functional which is linear on all subspaces generated by Poisson-commutative functions. We present an example of such a quasi-state in the case when the phase space is the 2-sphere. This example lies in the intersection of two seemingly remote mathematical theories - symplectic topology and the theory of topological quasi-states. We use this quasi-state to estimate the error of the simultaneous measurement of no…
Quantum theory does not provide a unique definition for the joint probability of two non-commuting observables, which is the next important question after the Born's probability for a single observable. Instead, various definitions were suggested, e.g. via quasi-probabilities or via hidden-variable theories. After reviewing open issues of the joint probability, we relate it to quantum imprecise probabilities, which are non-contextual and are consistent with all constraints expected from a quantum probability. We study two non-commuting observables in a two-dimensional Hilbert space and show th…
