On Computable Geometric Expressions in Quantum Theory
Ross N. Greenwood
备注：
This is a pre-print of an article published in Advances in Applied Clifford Algebras. The final authenticated version is available online at: https://doi.org/10.1007/s00006-019-1031-7
Geometric Algebra and Calculus are mathematical languages encoding fundamental geometric relations that theories of physics seem to respect. We propose criteria given which statistics of expressions in geometric algebra are computable in quantum theory, in such a way that preserves their algebraic properties. They are that one must be able to arbitrarily transform the basis of the Clifford algebra, via multiplication by elements of the algebra that act trivially on the state space; all such elements must be neighbored by operators corresponding to factors in the original expression and not the state vectors. We explore the consequences of these criteria for a physics of dynamical multivector fields.
We give a simple formula for finding the spectral norm of d-mode symmetric tensor in two variables over the complex or real numbers in terms of the complex or real roots of a corresponding polynomial in one complex variable. This result implies that the geometric measure of entanglement of symmetric d-qubits is polynomial-time computable. We discuss a generalization to d-mode symmetric tensor in more than two variables.
We discuss particle entanglement in systems of indistinguishable bosons and fermions, in finite Hilbert spaces, with focus on operational measures of quantum correlations. We show how to use von Neumann entropy, Negativity and entanglement witnesses in these cases, proving interesting relations. We obtain analytic expressions to quantify quantum correlations in homogeneous D-dimensional Hamiltonian models with certain symmetries.
Composite quantum systems can be in generic states characterized not only by entanglement, but also by more general quantum correlations. The interplay between these two signatures of nonclassicality is still not completely understood. In this work we investigate this issue focusing on computable and observable measures of such correlations: entanglement is quantified by the negativity N, while general quantum correlations are measured by the (normalized) geometric quantum discord D_G. For two-qubit systems, we find that the geometric discord reduces to the squared negativity on pure states, w…
We propose the Entanglement Potential (EP) as a measure of nonclassicality for quantum states of a single-mode electromagnetic field. It is the amount of two-mode entanglement that can be generated from the field using linear optics, auxiliary classical states and ideal photodetectors. The EP detects nonclassicality, has a direct physical interpretation, and can be computed efficiently. These three properties together make it stand out from previously proposed nonclassicality measures. We derive closed expressions for the EP of important classes of states and analyze as an example the degradat…
A general state of an $m\otimes n$ system is a classical-quantum state if and only if its associated $A$-correlation matrix (a matrix constructed from the coherence vector of the party $A$, the correlation matrix of the state, and a function of the local coherence vector of the subsystem $B$), has rank no larger than $m-1$. Using the general Schatten $p$-norms, we quantify quantum correlation by measuring any violation of this condition. The required minimization can be carried out for the general $p$-norms and any function of the local coherence vector of the unmeasured subsystem, leading to …
In this paper, a computable multipartite multimode Gaussian quantum correlation measure ${\mathcal M}^{(k)}$ is proposed for any $k$-partite continuous-variable (CV) systems with $k\geq 2$. ${\mathcal M}^{(k)}$ depends only on the covariance matrix of CV states, is invariant under any permutation of subsystems, is a quantification without ancilla problem, nonincreasing under $k$-partite local Gaussian channels (particularly, invariant under $k$-partite local Gaussian unitary operations), vanishes on $k$-partite product states. For a $k$-partite Gaussian state $ρ$, ${\mathcal M}^{(k)}(ρ)=0$ if …
We present a systematic study of the geometric Rényi divergence (GRD), also known as the maximal Rényi divergence, from the point of view of quantum information theory. We show that this divergence, together with its extension to channels, has many appealing structural properties. For example we prove a chain rule inequality that immediately implies the "amortization collapse" for the geometric Rényi divergence, addressing an open question by Berta et al. [arXiv:1808.01498, Equation (55)] in the area of quantum channel discrimination. As applications, we explore various channel capacity proble…
We show that the adiabatic approximation for nonselfadjoint hamiltonians seems to induce two non-equal expressions for the geometric phase. The first one is related to the spectral projector involved in the adiabatic theorem, the other one is the adiabatic limit of the nonadiabatic geometric phase. This apparent inconsistency is resolved by observing that the difference between the two expressions is compensated by a small deviation in the dynamical phases.
We show the explicit expression of the geometric phase for $n$-partite Gaussian states. In our analysis, the covariance matrix can be obtained as a boundary term of the geometric phase.
One of the main goals in the study of quantum nonlocality is to determine the maximum violation achieved by quantum correlations in a Bell scenario. However, given a Bell inequality, there is no general algorithm to perform this task. As an intermediate step, the development of efficiently computable bounds has played an important role for the advance of the field. In this thesis we phrase the problem of determining the quantum value of a Bell expression in the framework of computational complexity. Then we present our contributions exploring efficiently computable bounds (based on the spectra…
A new method is developed to derive an algebraic equations for the geometric measure of entanglement of three qubit pure states. The equations are derived explicitly and solved in cases of most interest. These equations allow oneself to derive the analytic expressions of the geometric entanglement measure in the wide range of the three qubit systems, including the general class of W-states and states which are symmetric under permutation of two qubits. The nearest separable states are not necessarily unique and highly entangled states are surrounded by the one-parametric set of equally distant…
We present explicit expressions for the central piece of a variational method developed by Shi et al. which extends variational wave functions that are efficiently computable on classical computers beyond mean-field to generalized Gaussian states [1]. In particular, we derive iterative analytical expressions for the evaluation of expectation values of products of fermionic creation and annihilation operators in a Grassmann variable-free representation. Using this result we find a closed expression for the energy functional and its gradient of a general fermionic quantum many-body Hamiltonian. …
The original definition of quantum discord of bipartite states was defined over one-sided projective measurements, it describes quantum correlation more extensively than entanglement. Dakic, Vedral, and Brukner [Phys. Rev. Lett. 105 (2010) 190502] introduced a geometric measure for this quantum discord, and Luo, Fu [Phys. Rev. A 82 (2010) 034302] simplified the variation expression of it. In this paper we introduce a geometric measure for the quantum discord over two-sided projective measurements. A simplified expression and a lower bound of this geometric measure are derived and explicit expr…
Efficiently Computable Strategies and Limits for Bosonic Channel Discrimination
School of Science, STEM College, RMIT University（斯威本科技大学理学院STEM学院）；Scuola Normale Superiore（比萨高等师范学院）；Korteweg–de Vries Institute for Mathematics, University of Amsterdam（阿姆斯特丹大学科特韦格-德弗里斯数学研究所）；Mathematical Quantum Information RIKEN Hakubi Research Team, RIKEN Pioneering Research Institute (PRI) and RIKEN Center for Quantum Computing (RQC)（理科院系量子信息RIKEN Hakubi研究团队，理化学研究所前沿研究院（PRI）和理化学研究所量子计算中心（RQC））；School of Electrical and Computer Engineering, Cornell University（康奈尔大学电气与计算机工程学院）
We present a reliable algorithm to evaluate quantum discord for general two--qubit states, amending and extending an approach recently put forward for the subclass of X--states. A closed expression for the discord of arbitrary states of two qubits cannot be obtained, as the optimization problem for the conditional entropy requires the solution to a pair of transcendental equations in the state parameters. We apply our algorithm to run a numerical comparison between quantum discord and an alternative, computable measure of non-classical correlations, namely the geometric discord. We identify th…
We give an explicit expression for the geometric measure of entanglement for three qubit states that are linear combinations of four orthogonal product states. It turns out that the geometric measure for these states has three different expressions depending on the range of definition in parameter space. Each expression of the measure has its own geometrically meaningful interpretation. Such an interpretation allows oneself to take one step toward a complete understanding for the general properties of the entanglement measure. The states that lie on joint surfaces separating different ranges o…
We define the geometric measure of mixing of quantum state as a minimal Hilbert-Schmidt distance between the mixed state and a set of pure states. An explicit expression for the geometric measure is obtained. It is interesting that this expression corresponds to the squared Euclidian distance between the mixed state and the pure one in space of eigenvalues of the density matrix. As an example, geometric measure of mixing for spin-1/2 states is calculated.
This paper focuses on the geometric phase of general mixed states under unitary evolution. Here we analyze both non-degenerate as well as degenerate states. Starting with the non-degenerate case, we show that the usual procedure of subtracting the dynamical phase from the total phase to yield the geometric phase for pure states, does not hold for mixed states. To this end, we furnish an expression for the geometric phase that is gauge invariant. The parallelity conditions are shown to be easily derivable from this expression. We also extend our formalism to states that exhibit degeneracies. He…
Bayesian Monotone Metrics for Multiparameter Quantum Estimation
Graduate School of Informatics and Engineering, The University of Electro-Communications（电气通信大学信息工程学院）；Institute of Science and Engineering, Kanazawa University（金泽大学理工研究院）
Quantum discord, as introduced by Olliver and Zurek [Phys. Rev. Lett. \textbf{88}, 017901 (2001)], is a measure of the discrepancy between quantum versions of two classically equivalent expressions for mutual information and is found to be useful in quantification and application of quantum correlations in mixed states. It is viewed as a key resource present in certain quantum communication tasks and quantum computational models without containing much entanglement. An early step toward the quantification of quantum discord in a quantum state was by Dakic, Vedral, and Brukner [Phys. Rev. Lett.…
The concept of quantum discord aims at unveiling quantum correlations that go beyond those described by entanglement. Its original formulation [J. Phys. A 34, 6899 (2001); Phys. Rev. Lett 88, 017901 (2002)] is difficult to compute even for the simplest case of two-qubits systems. Alternative formulations have been developed to address this drawback, such as the geometric measure of quantum discord [Phys. Rev. A 87, 062303 (2013)] and the local quantum uncertainty [Phys. Rev. Lett 110, 240402 (2013)] that can be evaluated in closed form for some quantum systems, such as two-qubit systems. We sh…
We investigate and compare three distinguished geometric measures of bipartite quantum correlations that have been recently introduced in the literature: the geometric discord, the measurement-induced geometric discord, and the discord of response, each one defined according to three contractive distances on the set of quantum states, namely the trace, Bures, and Hellinger distances. We establish a set of exact algebraic relations and inequalities between the different measures. In particular, we show that the geometric discord and the discord of response based on the Hellinger distance are ea…
Three decades ago, in a celebrated work, Zak found an expression for the geometric phase acquired by an electron in a one-dimensional periodic lattice as it traverses the Bloch band. Such a geometric phase is useful in characterizing the topological properties and the electric polarization of the periodic system. Unfortunately Zak's expression suffers from two flaws: its value depends upon the choice of origin of the unit cell, and is gauge dependent. Here we explain that these flaws in Zak's expression arise from the assumption that the electron's adiabatic motion is cyclic in the sense of re…
