Abstract The use of imaginary numbers in modelling quantum mechanical systems encompasses the wave-like nature of quantum states. Here we introduce a resource theoretic framework for imaginarity, where the free states are taken to be those with density matrices that are real with respect to a fixed basis. This theory is closely related to the resource theory of coherence, as it is basis dependent, and the imaginary numbers appear in the off-diagonal elements of the density matrix. Unlike coherence however, the set of physically realizable free operations is identical to both completely resource non-generating (RNG) operations, and stochastically RNG operations. Moreover, the resource theory of imaginarity does not have a self-adjoint resource destroying map. After introducing and characterizing the free operations, we provide several measures of imaginarity, and give necessary and sufficient conditions for pure state transformations via physically consistent free operations in the single shot regime.
Abstract The use of imaginary numbers in modelling quantum mechanical systems encompasses the wave-like nature of quantum states. Here we introduce a resource theoretic framework for imaginarity, where the free states are taken to be those with density matrices that are real with respect to a fixed basis. This theory is closely related to the resource theory of coherence, as it is basis dependent, and the imaginary numbers appear in the off-diagonal elements of the density matrix. Unlike coherence however, the set of physically realizable free operations is identical to both completely resource non-generating (RNG) operations, and stochastically RNG operations. Moreover, the resource theory of imaginarity does not have a self-adjoint resource destroying map. After introducing and characterizing the free operations, we provide several measures of imaginarity, and give necessary and sufficient conditions for pure state transformations via physically consistent free operations in the single shot regime.
Complex numbers are widely used in quantum physics and are indispensable components for describing quantum systems and their dynamical behavior. The resource theory of imaginarity has been built recently, enabling a systematic research of complex numbers in quantum information theory. In this work, we develop two theoretical methods for quantifying imaginarity, motivated by recent progress within resource theories of entanglement and coherence. We provide quantifiers of imaginarity by the convex roof construction and quantifiers of the imaginarity by the least imaginarity of the input pure states under real operations. We also apply these tools to study the state conversion problem in the resource theory of imaginarity.
Complex numbers are widely used in both classical and quantum physics and are indispensable components for describing quantum systems and their dynamical behavior. Recently, the resource theory of imaginarity has been introduced, allowing for a systematic study of complex numbers in quantum mechanics and quantum information theory. In this work we develop theoretical methods for the resource theory of imaginarity, motivated by recent progress within theories of entanglement and coherence. We investigate imaginarity quantification, focusing on the geometric imaginarity and the robustness of imaginarity, and apply these tools to the state conversion problem in imaginarity theory. Moreover, we analyze the complexity of real and general operations in optical experiments, focusing on the number of unfixed wave plates for their implementation. We also discuss the role of imaginarity for local state discrimination, proving that any pair of real orthogonal pure states can be discriminated via local real operations and classical communication. Our study reveals the significance of complex numbers in quantum physics and proves that imaginarity is a resource in optical experiments.
Quantum theory is traditionally formulated using complex numbers. This imaginarity of quantum theory has been quantified as a resource with applications in discrimination tasks, pseudorandomness generation, and quantum metrology. In the standard formulation, a quantum state is said to have "imaginarity" if the associated density matrix is not real-valued in a given, fixed basis. If instead we consider a set of states, it is possible to devise tests that guarantee imaginarity of some state in the set, independently of the basis chosen. Here we propose such basis-independent witnesses for imaginarity that rely on measurements of unitary-invariant properties of sets of states. For three pure states, we completely characterize the invariant values attainable by quantum theory, and give a partial characterization for four pure states. We show that simple pairwise overlap measurements suffice to witness imaginarity of sets of four states, but not for sets of three. Our witnesses are experimentally friendly, opening up a new path for measuring and using imaginarity as a resource.
Abstract As an extension of classical probability distribution, the Kirkwood-Dirac distribution (KDD) was discussed by Kirkwood in 1933 and Dirac 1945, independently. Recently, it has been proved that nonclassical values (negative and non-real values) of the KDD have the ability of outperforming their classical counterparts in quantum computation, quantum measurement and so on. In this work, by dividing quantum states into KD-real (KD-free) and KD-imaginary (KD-resource) ones based on the KDD of a state, we establish a resource theory for KD-imaginarity with respect to a pair of bases (A, B), called the resource theory of Kirkwood-Dirac imaginarity. This theory is different from the resource theory of imaginarity of quantum states with respect to one basis A, where the free states are those that have real density matrices under the basis A.
The computational universality with an elementary gate set {H,CCZ} can be transformed to the strict universality by using a maximally imaginary state ∣+i⟩ and some non-imaginary ancillary qubits. From the viewpoint of operational resource theory, it would be intriguing to elucidate a resource for the universality transformation. In this paper, we consider the exact universality transformation in which arbitrary real orthogonal matrices can be applied and a supplied resource state is used to simulate unitary operations exactly and deterministically. Within this operational model, we explore a necessary and sufficient condition for resource states to realize the universality transformation under free real operations. We show that ∣+i⟩ is a unique resource state up to the free operations. Moreover, we obtain a stronger conclusion. If a given resource state cannot be used for the universality transformation, then realizable quantum gates are restricted to unitary matrices proportional to real orthogonal matrices. Therefore, we can tell that ∣+i⟩ is unique (up to the free operations) not only as a state whose resource measure of imaginarity is maximal, but also as a state which empowers real operations with the ability to apply at least one non-real quantum gate (regardless of the magnitudes of its imaginary parts).
Recently, the resource theory of imaginarity was proposed, viewing the imaginary part of a quantum state as a basic resource leading to quantum advantages. As with other quantum resources such as correlations, coherence, and asymmetry, a natural question arises: Can imaginarity resource be broadcast by a real operation which is free in the resource theory of imaginarity? In this work, we introduce two concepts of imaginarity broadcasting. The first pertains to nonreal states, while the second is related to the imaginarity resource. For nonreal states, we demonstrate that a specific type of nonreal states can be broadcast. However, when it comes to broadcasting the imaginarity resource, we get a surprising result that any imaginarity resource can be perfectly broadcast via a real operation. By comparing different (no-)broadcasting theorems, we distinguish the resource theory of imaginarity from the resource theories of correlations, coherence, and asymmetry, and reveal certain distinctive features of the resource theory of imaginarity.