A state of a quantum systems can be regarded as {\it classical} ({\it quantum}) with respect to measurements of a set of canonical observables iff there exists (does not exist) a well defined, positive phase space distribution, the so called Galuber-Sudarshan $P$-representation. We derive a family of classicality criteria that require that averages of positive functions calculated using $P$-representation must be positive. For polynomial functions, these criteria are related to 17-th Hilbert's problem, and have physical meaning of generalized squeezing conditions; alternatively, they may be interpreted as {\it non-classicality witnesses}. We show that every generic non-classical state can be detected by a polynomial that is a sum of squares of other polynomials (sos). We introduce a very natural hierarchy of states regarding their degree of quantumness, which we relate to the minimal degree of a sos polynomial that detects them is introduced. Polynomial non-classicality witnesses can be directly measured.
We derive an exact expression for the quantumness of a Hilbert space (defined in quant-ph/0302092), and show that in composite Hilbert spaces the signal states must contain at least some entangled states in order to achieve such a sensitivity. Furthermore, we establish that the accessible fidelity for symmetric informationally complete signal ensembles is equal to the quantumness. Though spelling the most trouble for an eavesdropper because of this, it turns out that the accessible fidelity is nevertheless easy for her to achieve in this case: Any measurement consisting of rank-one POVM elemen…
We introduce a measure of ''quantumness'' for any quantum state in a finite dimensional Hilbert space, based on the distance between the state and the convex set of classical states. The latter are defined as states that can be written as a convex sum of projectors onto coherent states. We derive general properties of this measure of non-classicality, and use it to identify for a given dimension of Hilbert space what are the "Queen of Quantum" states, i.e. the most non-classical quantum states. In three dimensions we obtain the Queen of Quantum state analytically and show that it is unique up …
We investigate quantumness of spin-1 states, defined as the Hilbert-Schmidt distance to the convex hull of spin coherent states. We derive its analytic expression in the case of pure states as a function of the smallest eigenvalue of the Bloch matrix and give explicitly the closest classical state for an arbitrary pure state. Numerical evidence is provided that the exact formula for pure states provides an upper bound on the quantumness of mixed states. Due to the connection between quantumness and entanglement we obtain new insights into the geometry of symmetric entangled states.
The question of witnessing or quantifying nonclassicality of quantum systems has been addressed in various ways. For a given system or theory, we propose identifying it with the incompatibility of admissible states. We quantify the nonclassicality of quantum systems using the Hilbert-Schmidt norm of the commutator of two states. As a particular application of this measure, we study the classicalization of a discrete-time quantum walk with a noisy coin.
Quantumness for a bipartite unsteerable quantum correlation is operationally characterized by the notion of super-unsteerability. Super-unsteerability refers to the requirement of a larger dimension of the random variable that the steering party has to preshare with the party to be steered in the classical simulation protocol to generate an unsteerable correlation than the local Hilbert space dimension of the quantum states (reproducing the given unsteerable correlation) at the steering party's side. In the present study, this concept of super-unsteerability is generalized by defining the noti…
In the present report we discuss measures of classicality/quantumness of states of finite-dimensional quantum systems, which are based on a deviation of quasiprobability distributions from true statistical distributions. Particularly, the dependence of the global indicator of classicality on the assigned geometry of a quantum state space is analysed for a whole family of Wigner quasiprobability representations. General considerations are exemplified by constructing the global indicator of classicality/quantumness for the Hilbert-Schmidt, Bures and Bogoliubov-Kubo-Mori ensembles of qubits and q…
One of the most elusive problems in quantum mechanics is the transition between classical and quantum physics. This problem can be traced back to the Schrödinger's cat. A key element that lies at the center of this problem is the lack of a clear understanding and characterization of macroscopic quantum states. Our understanding of Macroscopic Quantumness relies on states such as the Greenberger-Horne-Zeilinger(GHZ) or the NOON state. Here we take a first principle approach to this problem. We start from coherence as the key quantity that captures the notion of quantumness and demand the quantu…
The estimation of more than one parameter in quantum mechanics is a fundamental problem with relevant practical applications. In fact, the ultimate limits in the achievable estimation precision are ultimately linked with the non-commutativity of different observables, a peculiar property of quantum mechanics. We here consider several estimation problems for qubit systems and evaluate the corresponding quantumness R, a measure that has been recently introduced in order to quantify how much incompatible are the parameters to be estimated. In particular, R is an upper bound for the renormalized d…
A proof of quantumness is a type of challenge-response protocol in which a classical verifier can efficiently certify the quantum advantage of an untrusted prover. That is, a quantum prover can correctly answer the verifier's challenges and be accepted, while any polynomial-time classical prover will be rejected with high probability, based on plausible computational assumptions. To answer the verifier's challenges, existing proofs of quantumness typically require the quantum prover to perform a combination of polynomial-size quantum circuits and measurements. In this paper, we give two proof …
The linear canonical transforms of position and momentum are used to construct the tomographic probability representation of quantum states where the fair probability distribution determines the quantum state instead of the wave function or density matrix. The example of Moshinsky shutter problem is considered.
Telecom Paris, Institut Polytechnique de Paris（巴黎理工学院电信学院）；Beijing University of Posts and Telecommunications（北京邮电大学）；Beijing Institute of Technology（北京理工大学）
Quantum information processing shows advantages in many tasks, including quantum communication and computation, comparing to its classical counterpart. The essence of quantum processing lies on the fundamental difference between classical and quantum states. For a physical system, the coherent superposition on a computational basis is different from the statistical mixture of states in the same basis. Such coherent superposition endows the possibility of generating true random numbers, realizing parallel computing, and other classically impossible tasks such as quantum Bernoulli factory. Consi…
Witnessing non-classicality in the gravitational field has been claimed to be practically impossible. This constitutes a deep problem, which has even lead some researchers to question whether gravity should be quantised, due to the weakness of quantum effects. To counteract these claims, we propose a thought experiment that witnesses non-classicality of a physical system by probing it with a qubit. Remarkably, this experiment does not require any quantum control of the system, involving only measuring a single classical observable on that system. In addition, our scheme does not even assume an…
We give a pedagogical introduction to quantum discord. We the discuss the problem of separation of total correlations in a given quantum state into entanglement, dissonance, and classical correlations using the concept of relative entropy as a distance measure of correlations. This allows us to put all correlations on an equal footing. Entanglement and dissonance, whose definition is introduced here, jointly belong to what is known as quantum discord. Our methods are completely applicable for multipartite systems of arbitrary dimensions. We finally show, using relative entropy, how different n…
Entanglement is at the heart of most quantum information tasks, and therefore considerable effort has been made to find methods of deciding the entanglement content of a given bipartite quantum state. Here, we prove a fundamental limitation to deciding if an unknown state is entangled or not: we show that any quantum measurement which can answer this question necessarily gives enough information to identify the state completely. Therefore, only prior information regarding the state can make entanglement detection less expensive than full state tomography in terms of the demanded quantum resour…
Quantum information, though not precisely defined, is a fundamental concept of quantum information theory which predicts many fascinating phenomena and provides new physical resources. A basic problem is to recognize the features of quantum systems responsible for those phenomena. One of such important features is that non-commuting quantum states cannot be broadcast: two copies cannot be obtained out of a single copy, not even reproduced marginally on separate systems. We focus on the difference of information contents between one copy and two copies which is a basic manifestation of the gap …
After reviewing recently suggested operational "principles of the quantumness", I address the problem on whether Quantum Theory (QT) and Special Relativity (SR) are unrelated theories, or instead, if the one implies the other. I show how SR can be indeed derived from causality of QT, within the computational paradigm "the universe is a huge quantum computer", reformulating QFT as a Quantum-Computational Field Theory (QCFT). In QCFT SR emerges from the fabric of the computational network, which also naturally embeds gauge invariance. In this scheme even the quantization rule and the Planck cons…
In this article we derive a measure of quantumness in quantum multi-parameter estimation problems. We can show that the ratio between the mean Uhlmann Curvature and the Fisher Information provides a figure of merit which estimates the amount of incompatibility arising from the quantum nature of the underlying physical system. This ratio accounts for the discrepancy between the attainable precision in the simultaneous estimation of multiple parameters and the precision predicted by the Cramér-Rao bound. As a testbed for this concept, we consider a quantum many-body system in thermal equilibrium…
Quantum coherence and distributed correlations among subparties are often considered as separate, although operationally linked to each other, properties of a quantum state. Here, we propose a measure able to quantify the contributions derived by both the tensor structure of the multipartite Hilbert space and the presence of coherence inside each of the subparties. Our results hold for any number of partitions of the Hilbert space. Within this unified framework, global coherence of the state is identified as the ingredient responsible for the presence of distributed quantum correlations, while…
We consider a new model for the testing of untrusted quantum devices, consisting of a single polynomial-time bounded quantum device interacting with a classical polynomial-time verifier. In this model we propose solutions to two tasks - a protocol for efficient classical verification that the untrusted device is "truly quantum," and a protocol for producing certifiable randomness from a single untrusted quantum device. Our solution relies on the existence of a new cryptographic primitive for constraining the power of an untrusted quantum device: post-quantum secure trapdoor claw-free functions…
We propose an approach for quantifying a quantum circuit's quantumness as a means to understand the nature of quantum algorithmic speedups. Since quantum gates that do not preserve the computational basis are necessary for achieving quantum speedups, it appears natural to define the quantumness of a quantum circuit using the number of such gates. Intuitively, a reduction in the quantumness requires an increase in the amount of classical computation, hence giving a ``quantum and classical tradeoff''. In this paper we present two results on this direction. The first gives an asymptotic answer to…
There has been an intense debate on the quantum versus classical origin of ghost imaging with a thermal light source over the last two decades. A lot of distinguished work has contributed to this topic, both theoretically and experimentally, however, to this day this quantum-classical dilemma still persists. Here we formulate for the first time a density matrix in the photon orbital angular momentum (OAM) Hilbert space to fully characterize the two-arm ghost imaging system with the basic definition of thermal light sources. Our formulation offers a mathematically precise method to describe the…
It is proposed to define "quantumness" of a system (micro or macroscopic, physical, biological, social, political) by starting with understanding that quantum mechanics is a statistical theory. It says us only about probability distributions. The only possible criteria of quantum behaviour are statistical ones. Therefore I propose to consider any system which produces quantum statistics as quantum ("quantumlike"). A possible test is based on the interference of probabilities. I was mainly interested in using such an approach to "quantumness" to extend the domain of applications of quantum math…
We argue that the geometric discord introduced in [B. Dakic, V. Vedral, and C. Brukner, Phys. Rev. Lett. 105, 190502 (2010)] is not a good measure for the quantumness of correlations, as it can increase even under trivial local reversible operations of the party whose classicality/non-classicality is not tested. On the other hand it is known that the standard, mutual-information based discord does not suffer this problem; a simplified proof of such a fact is given.
Quantum technology promises revolutionary advantages in information processing and transmission compared to classical technology; however, determining which specific resources are needed to surpass the capabilities of classical machines often remains a nontrivial problem. To address such a problem, one first needs to establish the best classical solutions, which set benchmarks that must be beaten by any implementation claiming to harness quantum features for an enhanced performance. Here we introduce and develop a self-contained formalism to obtain the ultimate, generally probabilistic benchma…
The main purpose of this paper is to review the progress that has taken place so far in the search for a single unifying principle that harmonizes (i) the wave and particle natures of matter and radiation, both at the quantum and the classical levels, on the one hand and (ii) the classical and quantum theories of matter and radiation on the other hand. The famous paradoxes of quantum theory, the mysterious nature of measurements in quantum theory and the principal no-go theorems for hidden variables are first briefly reviewed. The Koopman-von Neumann Hilbert space theory based on complex wave …
Quantum non-locality has been an extremely fruitful subject of research, leading the scientific revolution towards quantum information science, in particular to device-independent quantum information processing. We argue that time is ripe to work on another basic problem in the foundations of quantum physics, the quantum measurement problem, that should produce good physics both in theoretical, mathematical, experimental and applied physics. We briefly review how quantum non-locality contributed to physics (including some outstanding open problems) and suggest ways in which questions around Ma…
We study the local indistinguishability problem of quantum states. By introducing an easily calculated quantity, non-commutativity, we present an criterion which is both necessary and sufficient for the local indistinguishability of a complete set of pure orthogonal product states. A constructive distinguishing procedure to obtain the concrete local measurements and classical communications is given. The non-commutativity of ensembles can be also used to characterize the quantumness for classical-quantum or quantum-classical correlated states.
Inspired by Quantum Mechanics, we reformulate Hilbert's tenth problem in the domain of integer arithmetics into either a problem involving a set of infinitely coupled differential equations or a problem involving a Shrödinger propagator with some appropriate kernel. Either way, Mathematics and Physics could be combined for Hilbert's tenth problem and for the notion of effective computability.
In the discussion about the quantumness of NMR computation a conclusion is done that computational states are separable and therefore can not be entangled. This conclusion is based on the assumption that the initial density matrix of an individual molecule coincides with whole sample molecules distribution over single molecule energy levels. This means that quantum stochasticity is replaced by classical stochasticity. In the present paper it is shown, that quantum NMR computation can create genuine entangled states if initial system states are thermodynamical equilibrium ones. A separability a…
This survey gives a comprehensive account of quantum correlations understood as a phenomenon stemming from the rules of quantization. Centered on quantum probability it describes the physical concepts related to correlations (both classical and quantum), mathematical structures, and their consequences. These include the canonical form of classical correlation functionals, general definitions of separable (entangled) states, definition and analysis of quantumness of correlations, description of entanglement of formation, and PPT states. This work is intended both for physicists interested not o…
It is found that the problem of existence of bound entangled states with non-positive partial transpose (NPPT) has the intriguing relation to the Hilbert's 17th problem. More precisely, we compute the expectation value of the partially transposed Werner states by Schmidt rank-2 vectors for NPPT and 1-copy undistillable region. It is the positive polynomial but shown not to be expressed as the sum of squares of polynomials. A remedy for such pathological behavior as well as a similar but different approach to the problem is also mentioned.
To explore the limitation of a class of quantum algorithms originally proposed for the Hilbert's tenth problem, we consider two further classes of mathematically non-decidable problems, those of a modified version of the Hilbert's tenth problem and of the computation of the Chaitin's $Ω$ number, which is a representation of the Gödel's Incompletness theorem. Some interesting connection to Quantum Field Theory is pointed out.
We demonstrate, that artificial neural networks (ANN) can be trained to emulate single or multiple basic quantum operations. In order to realize a quantum state, we implement a novel "quantumness gate" that maps an arbitrary matrix to the real representation of a positive hermitean normalized density matrix. We train the CNOT gate, the Hadamard gate and a rotation in Hilbert space as basic building blocks for processing the quantum density matrices of two entangled qubits. During the training process the neural networks learn to represent the complex structure, the hermiticity, the normalizati…
It is commonly accepted that a deviation of the Wigner quasiprobability distribution of a quantum state from a proper statistical distribution signifies its nonclassicality. Following this ideology, we introduce the global indicator $\mathcal{Q}_N$ for quantification of "classicality-quantumness" correspondence in the form of the functional on the orbit space $\mathcal{O}[\mathfrak{P}_N]$ of the $SU(N)$ group adjoint action on the state space $\mathfrak{P}_N$ of an $N$-dimensional quantum system. The indicator $\mathcal{Q}_{N}$ is defined as a relative volume of a subspace $\mathcal{O}[\mathfr…
