-
Hierarchies for Semidefinite Optimization in $\mathcal{C}^\star$-Algebras
Authors:
Gereon Koßmann,
René Schwonnek,
Jonathan Steinberg
Abstract:
Semidefinite Optimization has become a standard technique in the landscape of Mathematical Programming that has many applications in finite dimensional Quantum Information Theory. This paper presents a way for finite-dimensional relaxations of general cone programs on $\mathcal{C}^\star$-algebras which have structurally similar properties to ordinary cone programs, only putting the notion of posit…
▽ More
Semidefinite Optimization has become a standard technique in the landscape of Mathematical Programming that has many applications in finite dimensional Quantum Information Theory. This paper presents a way for finite-dimensional relaxations of general cone programs on $\mathcal{C}^\star$-algebras which have structurally similar properties to ordinary cone programs, only putting the notion of positivity at the core of optimization. We show that well-known hierarchies for generalized problems like NPA but also Lasserre's hierarchy and to some extend symmetry reductions of generic SDPs by de-Klerk et al. can be considered from a general point of view of $\mathcal{C}^\star$-algebras in combination to optimization problems.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
Quantum Error Mitigated Classical Shadows
Authors:
Hamza Jnane,
Jonathan Steinberg,
Zhenyu Cai,
H. Chau Nguyen,
Bálint Koczor
Abstract:
Classical shadows enable us to learn many properties of a quantum state $ρ$ with very few measurements. However, near-term and early fault-tolerant quantum computers will only be able to prepare noisy quantum states $ρ$ and it is thus a considerable challenge to efficiently learn properties of an ideal, noise free state $ρ_{id}$. We consider error mitigation techniques, such as Probabilistic Error…
▽ More
Classical shadows enable us to learn many properties of a quantum state $ρ$ with very few measurements. However, near-term and early fault-tolerant quantum computers will only be able to prepare noisy quantum states $ρ$ and it is thus a considerable challenge to efficiently learn properties of an ideal, noise free state $ρ_{id}$. We consider error mitigation techniques, such as Probabilistic Error Cancellation (PEC), Zero Noise Extrapolation (ZNE) and Symmetry Verification (SV) which have been developed for mitigating errors in single expected value measurements and generalise them for mitigating errors in classical shadows. We find that PEC is the most natural candidate and thus develop a thorough theoretical framework for PEC shadows with the following rigorous theoretical guarantees: PEC shadows are an unbiased estimator for the ideal quantum state $ρ_{id}$; the sample complexity for simultaneously predicting many linear properties of $ρ_{id}$ is identical to that of the conventional shadows approach up to a multiplicative factor which is the sample overhead due to error mitigation. Due to efficient post-processing of shadows, this overhead does not depend directly on the number of qubits but rather grows exponentially with the number of noisy gates. The broad set of tools introduced in this work may be instrumental in exploiting near-term and early fault-tolerant quantum computers: We demonstrate in detailed numerical simulations a range of practical applications of quantum computers that will significantly benefit from our techniques.
△ Less
Submitted 23 October, 2023; v1 submitted 8 May, 2023;
originally announced May 2023.
-
Certifying activation of quantum correlations with finite data
Authors:
Jonathan Steinberg,
H. Chau Nguyen,
Matthias Kleinmann
Abstract:
Quantum theory allows for different classes of correlations, such as entanglement, steerability or Bell-nonlocality. Experimental demonstrations of the preparation of quantum states within specific classes and their subsequent interconversion have been carried out; however, rigorous statements on the statistical significance are not available. Behind this are two difficulties: the lack of a method…
▽ More
Quantum theory allows for different classes of correlations, such as entanglement, steerability or Bell-nonlocality. Experimental demonstrations of the preparation of quantum states within specific classes and their subsequent interconversion have been carried out; however, rigorous statements on the statistical significance are not available. Behind this are two difficulties: the lack of a method to derive a suitable confidence region from the measured data and an efficient technique to classify the quantum correlations for every state in the confidence region. In this work, we show how both of these problems can be addressed. Specifically, we introduce a confidence polytope in the form of a hyperoctahedron and provide a computationally efficient method to verify whether a quantum state admits a local hidden state model, thus being unsteerable and, consequently, Bell-local. We illustrate how our methods can be used to analyse the activation of quantum correlations by local filtering, specifically for Bell-nonlocality and quantum steerability.
△ Less
Submitted 5 May, 2023;
originally announced May 2023.
-
Finding maximal quantum resources
Authors:
Jonathan Steinberg,
Otfried Gühne
Abstract:
For many applications the presence of a quantum advantage crucially depends on the availability of resourceful states. Although the resource typically depends on the particular task, in the context of multipartite systems entangled quantum states are often regarded as resourceful. We propose an algorithmic method to find maximally resourceful states of several particles for various applications an…
▽ More
For many applications the presence of a quantum advantage crucially depends on the availability of resourceful states. Although the resource typically depends on the particular task, in the context of multipartite systems entangled quantum states are often regarded as resourceful. We propose an algorithmic method to find maximally resourceful states of several particles for various applications and quantifiers. We discuss in detail the case of the geometric measure, identifying physically interesting states and delivering insights to the problem of absolutely maximally entangled states. Moreover, we demonstrate the universality of our approach by applying it to maximally entangled subspaces, the Schmidt-rank, the stabilizer rank as well as the preparability in triangle networks.
△ Less
Submitted 1 January, 2025; v1 submitted 24 October, 2022;
originally announced October 2022.
-
Optimising shadow tomography with generalised measurements
Authors:
H. Chau Nguyen,
Jan Lennart Bönsel,
Jonathan Steinberg,
Otfried Gühne
Abstract:
Advances in quantum technology require scalable techniques to efficiently extract information from a quantum system, such as expectation values of observables or its entropy. Traditional tomography is limited to a handful of qubits and shadow tomography has been suggested as a scalable replacement for larger systems. Shadow tomography is conventionally analysed based on outcomes of ideal projectiv…
▽ More
Advances in quantum technology require scalable techniques to efficiently extract information from a quantum system, such as expectation values of observables or its entropy. Traditional tomography is limited to a handful of qubits and shadow tomography has been suggested as a scalable replacement for larger systems. Shadow tomography is conventionally analysed based on outcomes of ideal projective measurements on the system upon application of randomised unitaries. Here, we suggest that shadow tomography can be much more straightforwardly formulated for generalised measurements, or positive operator valued measures. Based on the idea of the least-square estimator, shadow tomography with generalised measurements is both more general and simpler than the traditional formulation with randomisation of unitaries. In particular, this formulation allows us to analyse theoretical aspects of shadow tomography in detail. For example, we provide a detailed study of the implication of symmetries in shadow tomography. Shadow tomography with generalised measurements is also indispensable in realistic implementation of quantum mechanical measurements, when noise is unavoidable. Moreover, we also demonstrate how the optimisation of measurements for shadow tomography tailored toward a particular set of observables can be carried out.
△ Less
Submitted 26 November, 2022; v1 submitted 18 May, 2022;
originally announced May 2022.
-
Graph-theoretic approach to Bell experiments with low detection efficiency
Authors:
Zhen-Peng Xu,
Jonathan Steinberg,
Jaskaran Singh,
Antonio J. López-Tarrida,
José R. Portillo,
Adán Cabello
Abstract:
Bell inequality tests where the detection efficiency is below a certain threshold $η_{\rm{crit}}$ can be simulated with local hidden-variable models. Here, we introduce a method to identify Bell tests requiring low $η_{\rm{crit}}$ and relatively low dimension $d$ of the local quantum systems. The method has two steps. First, we show a family of bipartite Bell inequalities for which, for correlatio…
▽ More
Bell inequality tests where the detection efficiency is below a certain threshold $η_{\rm{crit}}$ can be simulated with local hidden-variable models. Here, we introduce a method to identify Bell tests requiring low $η_{\rm{crit}}$ and relatively low dimension $d$ of the local quantum systems. The method has two steps. First, we show a family of bipartite Bell inequalities for which, for correlations produced by maximally entangled states, $η_{\rm{crit}}$ can be upper bounded by a function of some invariants of graphs, and use it to identify correlations that require small $η_{\rm{crit}}$. We present examples in which, for maximally entangled states, $η_{\rm{crit}} \le 0.516$ for $d=16$, $η_{\rm{crit}} \le 0.407$ for $d=28$, and $η_{\rm{crit}} \le 0.326$ for $d=32$. We also show evidence that the upper bound for $η_{\rm{crit}}$ can be lowered down to $0.415$ for $d=16$ and present a method to make the upper bound of $η_{\rm{crit}}$ arbitrarily small by increasing the dimension and the number of settings. All these upper bounds for $η_{\rm{crit}}$ are valid (as it is the case in the literature) assuming no noise. The second step is based on the observation that, using the initial state and measurement settings identified in the first step, we can construct Bell inequalities with smaller $η_{\rm{crit}}$ and better noise robustness. For that, we use a modified version of Gilbert's algorithm that takes advantage of the automorphisms of the graphs used in the first step. We illustrate its power by explicitly developing an example in which $η_{\rm{crit}}$ is $12.38\%$ lower and the required visibility is $14.62\%$ lower than the upper bounds obtained in the first step. The tools presented here may allow for developing high-dimensional loophole-free Bell tests and loophole-free Bell nonlocality over long distances.
△ Less
Submitted 9 February, 2023; v1 submitted 10 May, 2022;
originally announced May 2022.
-
No-go theorem based on incomplete information of Wigner about his friend
Authors:
Zhen-Peng Xu,
Jonathan Steinberg,
H. Chau Nguyen,
Otfried Gühne
Abstract:
The notion of measurements is central for many debates in quantum mechanics. One critical point is whether a measurement can be regarded as an absolute event, giving the same result for any observer in an irreversible manner. Using ideas from the gedankenexperiment of Wigner's friend it has been argued that, when combined with the assumptions of locality and no-superdeterminism, regarding a measur…
▽ More
The notion of measurements is central for many debates in quantum mechanics. One critical point is whether a measurement can be regarded as an absolute event, giving the same result for any observer in an irreversible manner. Using ideas from the gedankenexperiment of Wigner's friend it has been argued that, when combined with the assumptions of locality and no-superdeterminism, regarding a measurement as an absolute event is incompatible with the universal validity of quantum mechanics. We consider a weaker assumption: is the measurement event realised relatively to the observer when he only partially observed the outcome. We proposed a protocol to show that this assumption putting in conjunction with the natural assumptions of no-superdeterminism and locality is also not compatible with the universal validity of quantum mechanics.
△ Less
Submitted 17 February, 2023; v1 submitted 29 November, 2021;
originally announced November 2021.
-
Minimal scheme for certifying three-outcome qubit measurements in the prepare-and-measure scenario
Authors:
Jonathan Steinberg,
H. Chau Nguyen,
Matthias Kleinmann
Abstract:
The number of outcomes is a defining property of a quantum measurement, in particular, if the measurement cannot be decomposed into simpler measurements with fewer outcomes. Importantly, the number of outcomes of a quantum measurement can be irreducibly higher than the dimension of the system. The certification of this property is possible in a semi-device-independent way either based on a Bell-li…
▽ More
The number of outcomes is a defining property of a quantum measurement, in particular, if the measurement cannot be decomposed into simpler measurements with fewer outcomes. Importantly, the number of outcomes of a quantum measurement can be irreducibly higher than the dimension of the system. The certification of this property is possible in a semi-device-independent way either based on a Bell-like scenario or by utilizing the simpler prepare-and-measure scenario. Here we show that in the latter scenario the minimal scheme for a certifying an irreducible three-outcome qubit measurement requires three state preparations and only two measurements and we provide experimentally feasible examples for this minimal certification scheme. We also discuss the dimension assumption characteristic to the semi-device-independent approach and to which extend it can be mitigated.
△ Less
Submitted 12 January, 2022; v1 submitted 20 May, 2021;
originally announced May 2021.
-
Quaternionic quantum theory admits universal dynamics only for two-level systems
Authors:
Jonathan Steinberg,
H. Chau Nguyen,
Matthias Kleinmann
Abstract:
We revisit the formulation of quantum mechanics over the quaternions and investigate the dynamical structure within this framework. Similar to standard complex quantum mechanics, time evolution is then mediated by a unitary operator which can be written as the exponential of the generator of time shifts. By imposing physical assumptions on the correspondence between the energy observable and the g…
▽ More
We revisit the formulation of quantum mechanics over the quaternions and investigate the dynamical structure within this framework. Similar to standard complex quantum mechanics, time evolution is then mediated by a unitary operator which can be written as the exponential of the generator of time shifts. By imposing physical assumptions on the correspondence between the energy observable and the generator of time shifts, we prove that quaternionic quantum theory admits a time evolution only for systems with a quaternionic dimension of at most two. Applying the same strategy to standard complex quantum theory, we reproduce that the correspondence dictated by the Schrödinger equation is the only possible choice, up to a shift of the global phase.
△ Less
Submitted 22 July, 2020; v1 submitted 15 January, 2020;
originally announced January 2020.
-
Thermalization and chaos in QED$_{3}$
Authors:
Julia Steinberg,
Brian Swingle
Abstract:
We study the real time dynamics of $N_F$ flavors of fermions coupled to a $U(1)$ gauge field in $2+1$ dimensions to leading order in a $1/N_F$ expansion. For large enough $N_{F}$, this is an interacting conformal field theory and describes the low energy properties of the Dirac spin liquid. We focus on thermalization and the onset of many-body quantum chaos which can be diagnosed from the growth o…
▽ More
We study the real time dynamics of $N_F$ flavors of fermions coupled to a $U(1)$ gauge field in $2+1$ dimensions to leading order in a $1/N_F$ expansion. For large enough $N_{F}$, this is an interacting conformal field theory and describes the low energy properties of the Dirac spin liquid. We focus on thermalization and the onset of many-body quantum chaos which can be diagnosed from the growth of initally anti-commuting fermion field operators. We compute such anti-commutators in this gauge theory to leading order in $1/N_F$. We find that the anti-commutator grows exponentially in time and compute the quantum Lyapunov exponent. We briefly comment on chaos, locality, and gauge invariance.
△ Less
Submitted 15 January, 2019;
originally announced January 2019.
