Stabiliser operations occupy a prominent role in fault-tolerant quantum computing. They are defined operationally: by the use of Clifford gates, Pauli measurements and classical control. These operations can be efficiently simulated on a classical computer, a result which is known as the Gottesman-Knill theorem. However, an additional supply of magic states is enough to promote them to a universal, fault-tolerant model for quantum computing. To quantify the needed resources in terms of magic states, a resource theory of magic has been developed. Stabiliser operations (SO) are considered free within this theory, however they are not the most general class of free operations. From an axiomatic point of view, these are the completely stabiliser-preserving (CSP) channels, defined as those that preserve the convex hull of stabiliser states. It has been an open problem to decide whether these two definitions lead to the same class of operations. In this work, we answer this question in the negative, by constructing an explicit counter-example. This indicates that recently proposed stabiliser-based simulation techniques of CSP maps are strictly more powerful than Gottesman-Knill-like methods. The result is analogous to a well-known fact in entanglement theory, namely that there is a gap between the operationally defined class of local operations and classical communication (LOCC) and the axiomatically defined class of separable channels.
The role of operational quantum mechanics, quantum axiomatics and quantum structures in general is presented as a contribution to a compendium on quantum physics, its history and philosophy.
Quantum coherence plays a central role in various research areas. The $l_1$-norm of coherence is one of the most important coherence measures that are easily computable, but it is not easy to find a simple interpretation. We show that the $l_1$-norm of coherence is uniquely characterized by a few simple axioms, which demonstrates in a precise sense that it is the analog of negativity in entanglement theory and sum negativity in the resource theory of magic-state quantum computation. We also provide an operational interpretation of the $l_1$-norm of coherence as the maximum entanglement, measur…
The definition of 'classical state', and how it was used in earlier work to prove a decomposition theorem internally in the language of State Property Systems, presupposes as an additional datum an orthocomplementation on the property lattice of a physical system. In this paper we argue on the basis of the epsilon-model on the Poincare sphere that a notion of 'topologicity' for states can be seen as an alternative (operationally foundable) classicality notion in the absence of an orthocomplementation, and compare it to the known and operationally founded concept of classicality.
Optical clocks benefit from tight atomic confinement enabling extended interrogation times as well as Doppler- and recoil-free operation. However, these benefits come at the cost of frequency shifts that, if not properly controlled, may degrade clock accuracy. Numerous theoretical studies have predicted optical lattice clock frequency shifts that scale nonlinearly with trap depth. To experimentally observe and constrain these shifts in an $^{171}$Yb optical lattice clock, we construct a lattice enhancement cavity that exaggerates the light shifts. We observe an atomic temperature that is propo…
Motivated by their necessity for most fault-tolerant quantum computation schemes, we formulate a resource theory for magic states. We first show that robustness of magic is a well-behaved magic monotone that operationally quantifies the classical simulation overhead for a Gottesman-Knill type scheme using ancillary magic states. Our framework subsequently finds immediate application in the task of synthesizing non-Clifford gates using magic states. When magic states are interspersed with Clifford gates, Pauli measurements and stabilizer ancillas - the most general synthesis scenario - then the…
Quantum many-body systems have been extensively studied from the perspective of quantum technology, and conversely, critical phenomena in such systems have been characterized by operationally relevant resources like entanglement. In this paper, we investigate robustness of magic (RoM), the resource in magic state injection based quantum computation schemes in the context of the transverse field anisotropic XY model. We show that the the factorizable ground state in the symmetry broken configuration is composed of an enormous number of highly magical $H$ states. We find the existence of a point…
We introduce nebit, a classical bit with a signed probability distribution. We quantify its entropy using Szekely theorem on signed probability measures and show that classical stochastic dynamics supplemented with nebits can achieve or even exceed the speedup of Grover's quantum search algorithm. The proposed classical dynamics never reveals negativity of nebits and thus we do not need any operational interpretation of negative probabilities. We argue that nebits can be useful as a measure of non-classicality as well as a tool to find new quantum algorithms.
Entirely nonlocal quantum magic without entanglement
Yau Mathematical Sciences Center, Tsinghua University（清华大学丘成桐数学科学中心）；Beijing Key Laboratory of Fault-Tolerant Quantum Computing, Beijing Academy of Quantum Information Sciences（北京容错量子计算北京市重点实验室，北京量子信息科学研究院）
Spreading of Magic Resource under Unitary Clifford Dynamics
King’s College London（伦敦国王学院）；University of Cambridge（剑桥大学）；Trinity College Dublin（都柏林三一学院）；Max Planck Institute for the Physics of Complex Systems（马克斯·普朗克复杂系统物理研究所）
One of the central problems in the study of quantum resource theories is to provide a given resource with an operational meaning, characterizing physical tasks in which the resource can give an explicit advantage over all resourceless states. We show that this can always be accomplished for all convex resource theories. We establish in particular that any resource state enables an advantage in a channel discrimination task, allowing for a strictly greater success probability than any state without the given resource. Furthermore, we find that the generalized robustness measure serves as an exa…
A fundamental approach for the characterization and quantification of all kinds of resources is to study the conversion between different resource objects under certain constraints. Here we analyze, from a resource-non-specific standpoint, the optimal efficiency of resource formation and distillation tasks with only a single copy of the given quantum state, thereby establishing a unified framework of one-shot quantum resource manipulation. We find general bounds on the optimal rates characterized by resource measures based on the smooth max/min-relative entropies and hypothesis testing relativ…
Recent results on the non-universality of fault-tolerant gate sets underline the critical role of resource states, such as magic states, to power scalable, universal quantum computation. Here we develop a resource theory, analogous to the theory of entanglement, for resources for stabilizer codes. We introduce two quantitative measures - monotones - for the amount of non-stabilizer resource. As an application we give absolute bounds on the efficiency of magic state distillation. One of these monotones is the sum of the negative entries of the discrete Wigner representation of a quantum state, …
In a recent paper, the author introduced an operational description of physical theories where probabilities are replaced by counterfactual statements belonging to a three-valued (i.e. possibilistic) semantic domain. The complete axiomatic of these Generalized possibilistic Theories is generalized and clarified in the present paper. The problem of bipartite experiments is then addressed as the main skill of this paper. An axiomatic for the tensor product of our spaces of states is given and different solutions are explicitly constructed. This description of tensor products of Inf semi-lattices…
Generative AI Beyond Tokens: Quantum Resource Consumption of IQP Circuits
Technical University of Applied Sciences Regensburg（雷根斯堡应用技术大学）；Universität der Bundeswehr München（联邦国防军慕尼黑大学）；Siemens AG, Foundational Technology（西门子股份公司基础技术部门）
We propose a general method to operationally quantify the resourcefulness of quantum channels via channel discrimination, an important information processing task. A main result is that the maximum success probability of distinguishing a given channel from the set of free channels by free probe states is exactly characterized by the resource generating power, i.e. the maximum amount of resource produced by the action of the channel, given by the trace distance to the set of free states. We apply this framework to the resource theory of quantum coherence, as an informative example. The general …
Quantum information and computation may serve as a source of useful axioms and ideas for the quantum logic/quantum structures project of characterizing and classifying types of physical theories, including quantum mechanics and classical mechanics. The axiomatic approach of quantum structures may help isolate what aspects of quantum mechanics are responsible for what aspects of its greater-than-classical information processing power, and whether more general physical theories may escape some common limitations of classical and quantum theories. Also, by by helping us understand how existing qu…
From a new rigorous formulation of the general axiomatic foundations of thermodynamics we derive an operational definition of entropy that responds to the emergent need in many technological frameworks to understand and deploy thermodynamic entropy well beyond the traditional realm of equilibrium states of macroscopic systems. The new treatment starts from a previously developed set of carefully worded operational definitions for all the necessary basic concepts, and is not based on the traditional ones of "heat" and of "thermal reservoir." It is achieved in three steps. First, a new definitio…
We present an operational framework for Einstein-Podolsky-Rosen steering as a physical resource. To begin with, we characterize the set of steering non-increasing operations (SNIOs) --i.e., those that do not create steering-- on arbitrary-dimensional bipartite systems composed of a quantum subsystem and a black-box device. Next, we introduce the notion of convex steering monotones as the fundamental axiomatic quantifiers of steering. As a convenient example thereof, we present the relative entropy of steering. In addition, we prove that two previously proposed quantifiers, the steerable weight…
Although it is well known that the amount of resources that can be asymptotically distilled from a quantum state or channel does not exceed the resource cost needed to produce it, the corresponding relation in the non-asymptotic regime hitherto has not been well understood. Here, we establish a quantitative relation between the one-shot distillable resource yield and dilution cost in terms of transformation errors involved in these processes. Notably, our bound is applicable to quantum state and channel manipulation with respect to any type of quantum resource and any class of free transformat…
We initiate the systematic study of resource theories of quantum channels, i.e. of the dynamics that quantum systems undergo by completely positive maps, in abstracto: Resources are in principle all maps from one quantum system to another, but some maps are deemed free. The free maps are supposed to satisfy certain axioms, among them closure under tensor products, under composition and freeness of the identity map (the latter two say that the free maps form a monoid). The free maps act on the resources simply by tensor product and composition. This generalizes the much-studied resource theorie…
Quantum error correction protects fragile quantum information by encoding it into a larger quantum system. These extra degrees of freedom enable the detection and correction of errors, but also increase the operational complexity of the encoded logical qubit. Fault-tolerant circuits contain the spread of errors while operating the logical qubit, and are essential for realizing error suppression in practice. While fault-tolerant design works in principle, it has not previously been demonstrated in an error-corrected physical system with native noise characteristics. In this work, we experimenta…
Polytopic Quantum Resource Theories: Geometry and Structures
Institute of Informatics, Faculty of Mathematics, Physics and Informatics, University of Gdansk（格但斯克大学数学、物理与信息学院信息学研究所）；Department of Physical Sciences, Indian Institute of Science Education and Research Kolkata（印度科学教育与研究学院加尔各答分校物理科学系）
Resource theory is a general, model-independent approach aiming to understand the qualitative notion of resource quantitatively. In a given resource theory, free operations are physical processes that do not create the resource and are considered zero-cost. This brings the following natural question: For a given free operation, what is its ability to preserve a resource? We axiomatically formulate this ability as the resource preservability, which is constructed as a channel resource theory induced by a state resource theory. We provide two general classes of resource preservability monotones:…
