Kirkwood-Dirac Nonpositivity is a Necessary Resource for Quantum Computing

• URL: http://arxiv.org/abs/2506.08092v1
• Date: Mon, 09 Jun 2025 18:00:07 GMT
• Title: 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 summary: We further our understanding of systems of qubits by casting a real-quantum-bit model of computation in terms of a quasiprobability distribution.<n>We leverage recent results on the geometry of the set of KD-positive states to construct previously unknown classically-simulable (bound) states.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• 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 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.

Related papers

• Efficient Learning for Linear Properties of Bounded-Gate Quantum Circuits [63.733312560668274]
  Given a quantum circuit containing d tunable RZ gates and G-d Clifford gates, can a learner perform purely classical inference to efficiently predict its linear properties? We prove that the sample complexity scaling linearly in d is necessary and sufficient to achieve a small prediction error, while the corresponding computational complexity may scale exponentially in d. We devise a kernel-based learning model capable of trading off prediction error and computational complexity, transitioning from exponential to scaling in many practical settings.
  arXiv  Detail & Related papers  (2024-08-22T08:21:28Z)
• Mixed-Dimensional Qudit State Preparation Using Edge-Weighted Decision Diagrams [3.393749500700096]
  Quantum computers have the potential to solve intractable problems. One key element to exploiting this potential is the capability to efficiently prepare quantum states for multi-valued, or qudit, systems. In this paper, we investigate quantum state preparation with a focus on mixed-dimensional systems.
  arXiv  Detail & Related papers  (2024-06-05T18:00:01Z)
• Towards Quantum Computational Mechanics [1.530480694206666]
  We show how quantum computing can be used to solve representative element volume (RVE) problems in computational homogenisation. Our quantum RVE solver attains exponential acceleration with respect to classical solvers.
  arXiv  Detail & Related papers  (2023-12-06T12:53:02Z)
• Quantifying quantum coherence via nonreal Kirkwood-Dirac quasiprobability [0.0]
  Kirkwood-Dirac (KD) quasiprobability is a quantum analog of phase space probability of classical statistical mechanics. Recent works have revealed the important roles played by the KD quasiprobability in the broad fields of quantum science and quantum technology.
  arXiv  Detail & Related papers  (2023-09-17T04:34:57Z)
• Calculating the many-body density of states on a digital quantum computer [58.720142291102135]
  We implement a quantum algorithm to perform an estimation of the density of states on a digital quantum computer. We use our algorithm to estimate the density of states of a non-integrable Hamiltonian on the Quantinuum H1-1 trapped ion chip for a controlled register of 18bits.
  arXiv  Detail & Related papers  (2023-03-23T17:46:28Z)
• Optimal Stochastic Resource Allocation for Distributed Quantum Computing [50.809738453571015]
  We propose a resource allocation scheme for distributed quantum computing (DQC) based on programming to minimize the total deployment cost for quantum resources. The evaluation demonstrates the effectiveness and ability of the proposed scheme to balance the utilization of quantum computers and on-demand quantum computers.
  arXiv  Detail & Related papers  (2022-09-16T02:37:32Z)
• Simulating Open Quantum System Dynamics on NISQ Computers with Generalized Quantum Master Equations [0.0]
  We present a quantum algorithm based on the Generalized Quantum Master Equation (GQME) approach to simulate open quantum system dynamics. We show how the Sz.-Nagy dilation theorem can be employed to transform the non-unitary propagator into a unitary one in a higher-dimensional Hilbert space.
  arXiv  Detail & Related papers  (2022-09-11T22:53:16Z)
• Resources for bosonic quantum computational advantage [0.0]
  We show that every bosonic quantum computation can be recast into a continuous-variable sampling computation. We derive a general classical algorithm for the strong simulation of bosonic computations.
  arXiv  Detail & Related papers  (2022-07-24T17:50:20Z)
• Computational power of one- and two-dimensional dual-unitary quantum circuits [0.6946929968559495]
  Quantum circuits that are classically simulatable tell us when quantum computation becomes less powerful than or equivalent to classical computation. We make use of dual-unitary quantum circuits (DUQCs), which have been recently investigated as exactly solvable models of non-equilibrium physics.
  arXiv  Detail & Related papers  (2021-03-16T17:37:11Z)
• Error mitigation and quantum-assisted simulation in the error corrected regime [77.34726150561087]
  A standard approach to quantum computing is based on the idea of promoting a classically simulable and fault-tolerant set of operations. We show how the addition of noisy magic resources allows one to boost classical quasiprobability simulations of a quantum circuit.
  arXiv  Detail & Related papers  (2021-03-12T20:58:41Z)
• Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
  We consider the setting where the two parties (a classical Alice and a quantum Bob) can communicate only via a classical channel. We show that it is in general impossible to realize a two-party quantum functionality with black-box simulation in the case of malicious quantum adversaries. We provide a compiler that takes as input a classical proof of quantum knowledge (PoQK) protocol for a QMA relation R and outputs a zero-knowledge PoQK for R that can be verified by classical parties.
  arXiv  Detail & Related papers  (2020-10-15T17:55:31Z)
• Efficient simulatability of continuous-variable circuits with large Wigner negativity [62.997667081978825]
  Wigner negativity is known to be a necessary resource for computational advantage in several quantum-computing architectures. We identify vast families of circuits that display large, possibly unbounded, Wigner negativity, and yet are classically efficiently simulatable. We derive our results by establishing a link between the simulatability of high-dimensional discrete-variable quantum circuits and bosonic codes.
  arXiv  Detail & Related papers  (2020-05-25T11:03:42Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.