-
Kirkwood-Dirac Nonpositivity is a Necessary Resource for Quantum Computing
Authors:
Jonathan J. Thio,
Songqinghao Yang,
Stephan De Bièvre,
Crispin H. W. Barnes,
David R. M. Arvidsson-Shukur
Abstract:
Classical computers can simulate models of quantum computation with restricted input states. The identification of such states can sharpen the boundary between quantum and classical computations. Previous works describe simulable states of odd-dimensional systems. Here, we further our understanding of systems of qubits. We do so by casting a real-quantum-bit model of computation in terms of a Kirk…
▽ More
Classical computers can simulate models of quantum computation with restricted input states. The identification of such states can sharpen the boundary between quantum and classical computations. Previous works describe simulable states of odd-dimensional systems. Here, we further our understanding of systems of qubits. We do so by casting a real-quantum-bit model of computation in terms of a Kirkwood-Dirac (KD) quasiprobability distribution. Algorithms, throughout which this distribution is a proper (positive) probability distribution can be simulated efficiently on a classical computer. We leverage recent results on the geometry of the set of KD-positive states to construct previously unknown classically-simulable (bound) states. Finally, we show that KD nonpositivity is a resource monotone for quantum computation, establishing KD nonpositivity as a necessary resource for computational quantum advantage.
△ Less
Submitted 9 June, 2025;
originally announced June 2025.
-
The Kirkwood-Dirac representation associated to the Fourier transform for finite abelian groups: positivity
Authors:
Stephan De Bièvre,
Christopher Langrenez,
Danylo Radchenko
Abstract:
We construct and study the Kirkwood-Dirac (KD) representations naturally associated to the Fourier transform of finite abelian groups $G$. We identify all pure KD-positive states and all KD-real observables for these KD representations. We provide a necessary and sufficient condition ensuring that all KD-positive states are convex combinations of pure KD-positive states. We prove that for…
▽ More
We construct and study the Kirkwood-Dirac (KD) representations naturally associated to the Fourier transform of finite abelian groups $G$. We identify all pure KD-positive states and all KD-real observables for these KD representations. We provide a necessary and sufficient condition ensuring that all KD-positive states are convex combinations of pure KD-positive states. We prove that for $G=\Z_{d}$, with $d$ a prime power, this condition is satisfied. We provide examples of abelian groups where it is not. In those cases, the convex set of KD-positive states contains states outside the convex hull of the pure KD-positive states.
△ Less
Submitted 21 January, 2025;
originally announced January 2025.
-
Contextuality Can be Verified with Noncontextual Experiments
Authors:
Jonathan J. Thio,
Wilfred Salmon,
Crispin H. W. Barnes,
Stephan De Bièvre,
David R. M. Arvidsson-Shukur
Abstract:
We uncover new features of generalized contextuality by connecting it to the Kirkwood-Dirac (KD) quasiprobability distribution. Quantum states can be represented by KD distributions, which take values in the complex unit disc. Only for ``KD-positive'' states are the KD distributions joint probability distributions. A KD distribution can be measured by a series of weak and projective measurements.…
▽ More
We uncover new features of generalized contextuality by connecting it to the Kirkwood-Dirac (KD) quasiprobability distribution. Quantum states can be represented by KD distributions, which take values in the complex unit disc. Only for ``KD-positive'' states are the KD distributions joint probability distributions. A KD distribution can be measured by a series of weak and projective measurements. We design such an experiment and show that it is contextual iff the underlying state is not KD-positive. We analyze this connection with respect to mixed KD-positive states that cannot be decomposed as convex combinations of pure KD-positive states. Our result is the construction of a noncontextual experiment that enables an experimenter to verify contextuality.
△ Less
Submitted 29 November, 2024;
originally announced December 2024.
-
Convex roofs witnessing Kirkwood-Dirac nonpositivity
Authors:
Christopher Langrenez,
Stephan De Bièvre,
David R. M. Arvidsson-Shukur
Abstract:
Given two observables $A$ and $B$, one can associate to every quantum state a Kirkwood-Dirac (KD) quasiprobability distribution. KD distributions are like joint classical probabilities except that they can have negative or nonreal values, which are associated to nonclassical features of the state. In the last decade, KD distributions have come to the forefront as a versatile tool to investigate an…
▽ More
Given two observables $A$ and $B$, one can associate to every quantum state a Kirkwood-Dirac (KD) quasiprobability distribution. KD distributions are like joint classical probabilities except that they can have negative or nonreal values, which are associated to nonclassical features of the state. In the last decade, KD distributions have come to the forefront as a versatile tool to investigate and construct quantum advantages and nonclassical phenomena. KD distributions are also used to determine quantum-classical boundaries. To do so, one must have witnesses for when a state is KD nonpositive. Previous works have established a relation between the uncertainty of a pure state with respect to the eigenbases of $A$ and $B$ and KD positivity. If this $\textit{support uncertainty}$ is large, the state cannot be KD positive. Here, we construct two witnesses for KD nonpositivity for general mixed states. Our first witness is the convex roof of the support uncertainty; it is not faithful, but it extends to the convex hull of pure KD-positive states the relation between KD positivity and small support uncertainty. Our other witness is the convex roof of the total KD nonpositivity, which provides a faithful witness for the convex hull of the pure KD-positive states. This implies that the convex roof of the total nonpositivity captures the nonpositive nature of the KD distribution at the underlying pure state level.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
The set of Kirkwood-Dirac positive states is almost always minimal
Authors:
Christopher Langrenez,
Wilfred Salmon,
Stephan De Bièvre,
Jonathan J. Thio,
Christopher K. Long,
David R. M. Arvidsson-Shukur
Abstract:
A central problem in quantum information is determining quantum-classical boundaries. A useful notion of classicality is provided by the quasiprobability formulation of quantum theory. In this framework, a state is called classical if it is represented by a quasiprobability distribution that is positive, and thus a probability distribution. In recent years, the Kirkwood-Dirac (KD) distributions ha…
▽ More
A central problem in quantum information is determining quantum-classical boundaries. A useful notion of classicality is provided by the quasiprobability formulation of quantum theory. In this framework, a state is called classical if it is represented by a quasiprobability distribution that is positive, and thus a probability distribution. In recent years, the Kirkwood-Dirac (KD) distributions have gained much interest due to their numerous applications in modern quantum-information research. A particular advantage of the KD distributions is that they can be defined with respect to arbitrary observables. Here, we show that if two observables are picked at random, the set of classical states of the resulting KD distribution is a simple polytope of minimal size. When the Hilbert space is of dimension $d$, this polytope is of dimension $2d-1$ and has $2d$ known vertices. Our result implies, $\textit{e.g.}$, that almost all KD distributions have resource theories in which the free states form a small and simple set.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
Properties and Applications of the Kirkwood-Dirac Distribution
Authors:
David R. M. Arvidsson-Shukur,
William F. Braasch Jr.,
Stephan De Bievre,
Justin Dressel,
Andrew N. Jordan,
Christopher Langrenez,
Matteo Lostaglio,
Jeff S. Lundeen,
Nicole Yunger Halpern
Abstract:
Recent years have seen the Kirkwood-Dirac (KD) distribution come to the forefront as a powerful quasi-probability distribution for analysing quantum mechanics. The KD distribution allows tools from statistics and probability theory to be applied to problems in quantum-information processing. A notable difference to the Wigner function is that the KD distribution can represent a quantum state in te…
▽ More
Recent years have seen the Kirkwood-Dirac (KD) distribution come to the forefront as a powerful quasi-probability distribution for analysing quantum mechanics. The KD distribution allows tools from statistics and probability theory to be applied to problems in quantum-information processing. A notable difference to the Wigner function is that the KD distribution can represent a quantum state in terms of arbitrary observables. This paper reviews the KD distribution, in three parts. First, we present definitions and basic properties of the KD distribution and its generalisations. Second, we summarise the KD distribution's extensive usage in the study or development of measurement disturbance; quantum metrology; weak values; direct measurements of quantum states; quantum thermodynamics; quantum scrambling and out-of-time-ordered correlators; and the foundations of quantum mechanics, including Leggett-Garg inequalities, the consistent-histories interpretation and contextuality. We emphasise connections between operational quantum advantages and negative or non-real KD quasi-probabilities. Third, we delve into the KD distribution's mathematical structure. We summarise the current knowledge regarding the geometry of KD-positive states (the states for which the KD distribution is a classical probability distribution), describe how to witness and quantify KD non-positivity, and outline relationships between KD non-positivity, coherence and observables' incompatibility.
△ Less
Submitted 3 January, 2025; v1 submitted 27 March, 2024;
originally announced March 2024.
-
Rigorous results on approach to thermal equilibrium, entanglement, and nonclassicality of an optical quantum field mode scattering from the elements of a non-equilibrium quantum reservoir
Authors:
Stephan De Bievre,
Marco Merkli,
Paul E. Parris
Abstract:
Rigorous derivations of the approach of individual elements of large isolated systems to a state of thermal equilibrium, starting from arbitrary initial states, are exceedingly rare. This is particularly true for quantum mechanical systems. We demonstrate here how, through a mechanism of repeated scattering, an approach to equilibrium of this type actually occurs in a specific quantum system, one…
▽ More
Rigorous derivations of the approach of individual elements of large isolated systems to a state of thermal equilibrium, starting from arbitrary initial states, are exceedingly rare. This is particularly true for quantum mechanical systems. We demonstrate here how, through a mechanism of repeated scattering, an approach to equilibrium of this type actually occurs in a specific quantum system, one that can be viewed as a natural quantum analog of several previously studied classical models. In particular, we consider an optical mode passing through a reservoir composed of a large number of sequentially-encountered modes of the same frequency, each of which it interacts with through a beam splitter. We then analyze the dependence of the asymptotic state of this mode on the assumed stationary common initial state $σ$ of the reservoir modes and on the transmittance $τ=\cosλ$ of the beam splitters. These results allow us to establish that at small $λ$ such a mode will, starting from an arbitrary initial system state $ρ$, approach a state of thermal equilibrium even when the reservoir modes are not themselves initially thermalized. We show in addition that, when the initial states are pure, the asymptotic state of the optical mode is maximally entangled with the reservoir and exhibits less nonclassicality than the state of the reservoir modes.
△ Less
Submitted 19 May, 2024; v1 submitted 21 December, 2023;
originally announced December 2023.
-
Characterizing the geometry of the Kirkwood-Dirac positive states
Authors:
Christopher Langrenez,
David R. M. Arvidsson-Shukur,
Stephan De Bièvre
Abstract:
The Kirkwood-Dirac (KD) quasiprobability distribution can describe any quantum state with respect to the eigenbases of two observables $A$ and $B$. KD distributions behave similarly to classical joint probability distributions but can assume negative and nonreal values. In recent years, KD distributions have proven instrumental in mapping out nonclassical phenomena and quantum advantages. These qu…
▽ More
The Kirkwood-Dirac (KD) quasiprobability distribution can describe any quantum state with respect to the eigenbases of two observables $A$ and $B$. KD distributions behave similarly to classical joint probability distributions but can assume negative and nonreal values. In recent years, KD distributions have proven instrumental in mapping out nonclassical phenomena and quantum advantages. These quantum features have been connected to nonpositive entries of KD distributions. Consequently, it is important to understand the geometry of the KD-positive and -nonpositive states. Until now, there has been no thorough analysis of the KD positivity of mixed states. Here, we characterize how the full convex set of states with positive KD distributions depends on the eigenbases of $A$ and $B$. In particular, we identify three regimes where convex combinations of the eigenprojectors of $A$ and $B$ constitute the only KD-positive states: $(i)$ any system in dimension $2$; $(ii)$ an open and dense set of bases in dimension $3$; and $(iii)$ the discrete-Fourier-transform bases in prime dimension. Finally, we investigate if there can exist mixed KD-positive states that cannot be written as convex combinations of pure KD-positive states. We show that for some choices of observables $A$ and $B$ this phenomenon does indeed occur. We explicitly construct such states for a spin-$1$ system.
△ Less
Submitted 31 May, 2023;
originally announced June 2023.
-
Interferometric measurement of the quadrature coherence scale using two replicas of a quantum optical state
Authors:
Célia Griffet,
Matthieu Arnhem,
Stephan De Bièvre,
Nicolas J. Cerf
Abstract:
Assessing whether a quantum state $\hat ρ$ is nonclassical ($\textit{i.e.}$, incompatible with a mixture of coherent states) is a ubiquitous question in quantum optics, yet a nontrivial experimental task because many nonclassicality witnesses are nonlinear in $\hat ρ$. In particular, if we want to witness or measure the nonclassicality of a state by evaluating its quadrature coherence scale, this…
▽ More
Assessing whether a quantum state $\hat ρ$ is nonclassical ($\textit{i.e.}$, incompatible with a mixture of coherent states) is a ubiquitous question in quantum optics, yet a nontrivial experimental task because many nonclassicality witnesses are nonlinear in $\hat ρ$. In particular, if we want to witness or measure the nonclassicality of a state by evaluating its quadrature coherence scale, this $\textit{a priori}$ requires full state tomography. Here, we provide an experimental procedure for directly accessing this quantity with a simple linear interferometer involving two replicas (independent and identical copies) of the state $\hat ρ$ supplemented with photon-number-resolving measurements. This finding, which we interpret as an extension of the Hong-Ou-Mandel effect, illustrates the wide applicability of the multicopy interferometric technique in order to circumvent state tomography in quantum optics.
△ Less
Submitted 31 August, 2023; v1 submitted 23 November, 2022;
originally announced November 2022.
-
Relating incompatibility, noncommutativity, uncertainty and Kirkwood-Dirac nonclassicality
Authors:
Stephan De Bievre
Abstract:
We provide an in-depth study of the recently introduced notion of completely incompatible observables and its links to the support uncertainty and to the Kirkwood-Dirac nonclassicality of pure quantum states. The latter notion has recently been proven central to a number of issues in quantum information theory and quantum metrology. In this last context, it was shown that a quantum advantage requi…
▽ More
We provide an in-depth study of the recently introduced notion of completely incompatible observables and its links to the support uncertainty and to the Kirkwood-Dirac nonclassicality of pure quantum states. The latter notion has recently been proven central to a number of issues in quantum information theory and quantum metrology. In this last context, it was shown that a quantum advantage requires the use of Kirkwood-Dirac nonclassical states. We establish sharp bounds of very general validity that imply that the support uncertainty is an efficient Kirkwood-Dirac nonclassicality witness. When adapted to completely incompatible observables that are close to mutually unbiased ones, this bound allows us to fully characterize the Kirkwood-Dirac classical states as the eigenvectors of the two observables. We show furthermore that complete incompatibility implies several weaker notions of incompatibility, among which features a strong form of noncommutativity.
△ Less
Submitted 15 July, 2022;
originally announced July 2022.
-
Decoherence and nonclassicality of photon-added/subtracted multi-mode Gaussian states
Authors:
Anaelle Hertz,
Stephan De Bièvre
Abstract:
Photon addition and subtraction render Gaussian states non-Gaussian. We provide a quantitative analysis of the change in nonclassicality produced by these processes by analyzing the Wigner negativity and quadrature coherence scale (QCS) of the resulting states. The QCS is a recently introduced measure of nonclassicality [PRL 122, 080402 (2019), PRL 124, 090402 (2020)], that we show to undergo a re…
▽ More
Photon addition and subtraction render Gaussian states non-Gaussian. We provide a quantitative analysis of the change in nonclassicality produced by these processes by analyzing the Wigner negativity and quadrature coherence scale (QCS) of the resulting states. The QCS is a recently introduced measure of nonclassicality [PRL 122, 080402 (2019), PRL 124, 090402 (2020)], that we show to undergo a relative increase under photon addition/subtraction that can be as large as 200\%. This implies that the degaussification and the concomitant increase of nonclassicality come at a cost. Indeed, the QCS is proportional to the decoherence rate of the state so that the resulting states are considerably more prone to environmental decoherence. Our results are quantitative and rely on explicit and general expressions for the characteristic and Wigner functions of photon added/subtracted single- and multi-mode Gaussian states for which we provide a simple and straightforward derivation. These expressions further allow us to certify the quantum non-Gaussianity of the photon-subtracted states with positive Wigner function.
△ Less
Submitted 2 April, 2023; v1 submitted 13 April, 2022;
originally announced April 2022.
-
Kirkwood-Dirac nonclassicality, support uncertainty and complete incompatibility
Authors:
Stephan De Bievre
Abstract:
Given two orthonormal bases in a d-dimensional Hilbert space, one associates to each state its Kirkwood-Dirac (KD) quasi-probability distribution. KD-nonclassical states - for which the KD-distribution takes on negative and/or nonreal values - have been shown to provide a quantum advantage in quantum metrology and information, raising the question of their identification. Under suitable conditions…
▽ More
Given two orthonormal bases in a d-dimensional Hilbert space, one associates to each state its Kirkwood-Dirac (KD) quasi-probability distribution. KD-nonclassical states - for which the KD-distribution takes on negative and/or nonreal values - have been shown to provide a quantum advantage in quantum metrology and information, raising the question of their identification. Under suitable conditions of incompatibility between the two bases, we provide sharp lower bounds on the support uncertainty of states that guarantee their KD-nonclassicality. In particular, when the bases are completely incompatible, a notion we introduce, states whose support uncertainty is not equal to its minimal value d+1 are necessarily KD-nonclassical. The implications of these general results for various commonly used bases, including the mutually unbiased ones, and their perturbations, are detailed.
△ Less
Submitted 18 June, 2021;
originally announced June 2021.
-
Relating the Entanglement and Optical Nonclassicality of Multimode States of a Bosonic Quantum Field
Authors:
Anaelle Hertz,
Nicolas J. Cerf,
Stephan De Bièvre
Abstract:
The quantum nature of the state of a bosonic quantum field manifests itself in its entanglement, coherence, or optical nonclassicality which are each known to be resources for quantum computing or metrology. We provide quantitative and computable bounds relating entanglement measures with optical nonclassicality measures. These bounds imply that strongly entangled states must necessarily be strong…
▽ More
The quantum nature of the state of a bosonic quantum field manifests itself in its entanglement, coherence, or optical nonclassicality which are each known to be resources for quantum computing or metrology. We provide quantitative and computable bounds relating entanglement measures with optical nonclassicality measures. These bounds imply that strongly entangled states must necessarily be strongly optically nonclassical. As an application, we infer strong bounds on the entanglement that can be produced with an optically nonclassical state impinging on a beam splitter. For Gaussian states, we analyze the link between the logarithmic negativity and a specific nonclassicality witness called "quadrature coherence scale".
△ Less
Submitted 23 September, 2020; v1 submitted 24 April, 2020;
originally announced April 2020.
-
Dynamics of the mean-field interacting quantum kicked rotor
Authors:
Samuel Lellouch,
Adam Rançon,
Stephan De Bièvre,
Dominique Delande,
Jean Claude Garreau
Abstract:
We study the dynamics of the many-body atomic kicked rotor with interactions at the mean-field level, governed by the Gross-Pitaevskii equation. We show that dynamical localization is destroyed by the interaction, and replaced by a subdiffusive behavior. In contrast to results previously obtained from a simplified version of the Gross-Pitaevskii equation, the subdiffusive exponent does not appear…
▽ More
We study the dynamics of the many-body atomic kicked rotor with interactions at the mean-field level, governed by the Gross-Pitaevskii equation. We show that dynamical localization is destroyed by the interaction, and replaced by a subdiffusive behavior. In contrast to results previously obtained from a simplified version of the Gross-Pitaevskii equation, the subdiffusive exponent does not appear to be universal. By studying the phase of the mean-field wave function, we propose a new approximation that describes correctly the dynamics at experimentally relevant times close to the start of subdiffusion, while preserving the reduced computational cost of the former approximation.
△ Less
Submitted 29 April, 2020; v1 submitted 17 January, 2020;
originally announced January 2020.
-
Quadrature coherence scale driven fast decoherence of bosonic quantum field states
Authors:
Anaelle Hertz,
Stephan De Bièvre
Abstract:
We introduce, for each state of a bosonic quantum field, its quadrature coherence scale (QCS), a measure of the range of its quadrature coherences. Under coupling to a thermal bath, the purity and QCS are shown to decrease on a time scale inversely proportional to the QCS squared. The states most fragile to decoherence are therefore those with quadrature coherences far from the diagonal. We furthe…
▽ More
We introduce, for each state of a bosonic quantum field, its quadrature coherence scale (QCS), a measure of the range of its quadrature coherences. Under coupling to a thermal bath, the purity and QCS are shown to decrease on a time scale inversely proportional to the QCS squared. The states most fragile to decoherence are therefore those with quadrature coherences far from the diagonal. We further show a large QCS is difficult to measure since it induces small scale variations in the state's Wigner function. These two observations imply a large QCS constitutes a mark of "macroscopic coherence". Finally, we link the QCS to optical classicality: optical classical states have a small QCS and a large QCS implies strong optical nonclassicality.
△ Less
Submitted 11 March, 2020; v1 submitted 11 September, 2019;
originally announced September 2019.
-
Thermal-difference states of light: quantum states of heralded photons
Authors:
D. B. Horoshko,
S. De Bièvre,
G. Patera,
M. I. Kolobov
Abstract:
We introduce the thermal-difference states (TDS), a three-parameter family of single-mode non-Gaussian bosonic states whose density operator is a weighted difference of two thermal states. We show that the states of "heralded photons" generated via parametric down-conversion (PDC) are precisely those among the TDS that are nonclassical, meaning they have a negative $P$-function. The three paramete…
▽ More
We introduce the thermal-difference states (TDS), a three-parameter family of single-mode non-Gaussian bosonic states whose density operator is a weighted difference of two thermal states. We show that the states of "heralded photons" generated via parametric down-conversion (PDC) are precisely those among the TDS that are nonclassical, meaning they have a negative $P$-function. The three parameters correspond in that context to the initial brightness of PDC and the transmittances, characterizing the linear loss in the signal and the idler channels. At low initial brightness and unit transmittances, the heralded photon state is known to be a single-photon state. We explore the influence of brightness and linear loss on the heralded state of the signal mode. In particular, we analyze the influence of the initial brightness and the loss on the state nonclassicality by computing several measures of nonclassicality, such as the negative volume of the Wigner function, the sum of quantum Fisher information for two quadratures, and the ordering sensitivity, introduced recently by us [Phys. Rev. Lett. 122, 080402 (2019)]. We argue finally that the TDS provide new benchmark states for the analysis of a variety of properties of single-mode bosonic states.
△ Less
Submitted 14 November, 2019; v1 submitted 23 June, 2019;
originally announced June 2019.
-
Measuring nonclassicality of bosonic field quantum states via operator ordering sensitivity
Authors:
Stephan De Bievre,
Dmitri B. Horoshko,
Giuseppe Patera,
Mikhail I. Kolobov
Abstract:
We introduce a new distance-based measure for the nonclassicality of the states of a bosonic field, which outperforms the existing such measures in several ways. We define for that purpose the operator ordering sensitivity of the state which evaluates the sensitivity to operator ordering of the Renyi entropy of its quasi-probabilities and which measures the oscillations in its Wigner function. Thr…
▽ More
We introduce a new distance-based measure for the nonclassicality of the states of a bosonic field, which outperforms the existing such measures in several ways. We define for that purpose the operator ordering sensitivity of the state which evaluates the sensitivity to operator ordering of the Renyi entropy of its quasi-probabilities and which measures the oscillations in its Wigner function. Through a sharp control on the operator ordering sensitivity of classical states we obtain a precise geometric image of their location in the density matrix space allowing us to introduce a distance-based measure of nonclassicality. We analyse the link between this nonclassicality measure and a recently introduced quantum macroscopicity measure, showing how the two notions are distinct.
△ Less
Submitted 6 September, 2018;
originally announced September 2018.
-
Entanglement of quantum circular states of light
Authors:
D. B. Horoshko,
S. De Bièvre,
M. I. Kolobov,
G. Patera
Abstract:
We present a general approach to calculating the entanglement of formation for superpositions of two-mode coherent states, placed equidistantly on a circle in the phase space. We show that in the particular case of rotationally-invariant circular states the Schmidt decomposition of two modes, and therefore the value of their entanglement, are given by analytical expressions. We analyse the depende…
▽ More
We present a general approach to calculating the entanglement of formation for superpositions of two-mode coherent states, placed equidistantly on a circle in the phase space. We show that in the particular case of rotationally-invariant circular states the Schmidt decomposition of two modes, and therefore the value of their entanglement, are given by analytical expressions. We analyse the dependence of the entanglement on the radius of the circle and number of components in the superposition. We also show that the set of rotationally-invariant circular states creates an orthonormal basis in the state space of the harmonic oscillator, and this basis is advantageous for representation of other circular states of light.
△ Less
Submitted 25 February, 2016;
originally announced February 2016.
