The strictly classical propagation of an initial Wigner function, referred to as TWA or LSC-IVR, is considered to provide approximate averages, despite not being a true Wigner function: it does not represent a positive operator. We here show that its symplectic Fourier transform, the truncated chord approximation (TCA), coincides with the full semiclassical approximation to the evolved quantum characteristic function (or chord function) in a narrow neighbourhood of the origin of the dual chord phase space. Surprisingly, this small region accounts for purely quantum features, such as blind spots and local wave function correlations, as well as the expectation of observables with a close classical correspondence. Direct numerical comparison of the TCA with exact quantum results verifies the semiclassical predictions for an initial coherent state evolving under the Kerr Hamiltonian. The resulting clear criterion for any further features, which may be estimated by classical propagation, is that, within the chord representation, they are concentrated near the origin.
Nonlocality without entanglement is an interesting field. A manifestation of quantum nonlocality without entanglement is the local indistinguishability of a set of orthogonal product states. In this paper we analyze the character of operators to distinguish a set of full product bases in a multi-partite system, and show that distinguishing perfectly a set of full product bases needs only local projective measurements and classical communication, and these measurements cannot damage each product basis. Employing these conclusions one can discuss local distinguishability of full product bases ea…
The problem behind this paper is, if the number of queries to unitary operations is fixed, say $k$, then when do local operations and classical communication (LOCC) suffice for optimally distinguishing bipartite unitary operations? We consider the above problem for two-qubit unitary operations in the case of $k=1$, showing that for two two-qubit entangling unitary operations without local parties, LOCC achieves the same distinguishability as the global operations. Specifically, we obtain: (i) if such two unitary operations are perfectly distinguishable by global operations, then they are perfe…
We consider different settings of the task to distinguish pure orthogonal quantum states under local operations and a limited amount of classical communication. In the first setting, the spatially separated parties are allowed to perform only local projective measurements without any classical communication during the measurements. Under such a restricted class of operations, if the states are indistinguishable, then within a second group of settings, the parties are allowed to use an additional resource for the distinguishing. The additional resource is either a pure entangled state or multip…
Quantum theory reflects within itself a separation of evidence from explanations. This separation leads to a known proof that: (1) no wave function can be determined uniquely by evidence, and (2) any chosen wave function requires a guess reaching beyond logic to things unforeseeable. Chosen wave functions are encoded into computer-mediated feedback essential to atomic clocks, including clocks that step computers through their phases of computation and clocks in space vehicles that supply evidence of signal propagation explained by hypotheses of spacetimes with metric tensor fields. The propaga…
We consider the question of how to distinguish quantum from classical transport through nanostructures. To address this issue we have derived two inequalities for temporal correlations in nonequilibrium transport in nanostructures weakly coupled to leads. The first inequality concerns local charge measurements and is of general validity; the second concerns the current flow through the device and is relevant for double quantum dots. Violation of either of these inequalities indicates that physics beyond that of a classical Markovian model is occurring in the nanostructure.
We investigate an original family of quantum distinguishability problems, where the goal is to perfectly distinguish between $M$ quantum states that become identical under a completely decohering map. Similarly, we study distinguishability of $M$ quantum channels that cannot be distinguished when one is restricted to decohered input and output states. The studied problems arise naturally in the presence of a superselection rule, allow one to quantify the amount of information that can be encoded in phase degrees of freedom (coherences), and are related to time-energy uncertainty relation. We p…
The SSSV model is a simple classical model that achieves excellent correlation with published experimental data on the D-Wave machine's behavior on random instances of its native problem, thus raising questions about how "quantum" the D-Wave machine is at large scales. In response, a recent preprint by Vinci et al. proposes a particular set of instances on which the D-Wave machine behaves differently from the SSSV model. In this short note, we explain how a simple modeling of systematic errors in the machine allows the SSSV model to reproduce the behavior reported in the experiments of Vinci e…
Controllable systems relying on quantum behavior to simulate distinctly quantum models so far rely on increasingly challenging classical computing to verify their results. We develop a general protocol for confirming that an arbitrary many-body system, such as a quantum simulator, can entangle distant objects. The protocol verifies that distant qubits interacting separately with the system can become mutually entangled, and therefore serves as a local test that excitations of the system can create non-local quantum correlations. We derive an inequality analogous to Bell's inequality which can …
Gravitational Entanglement in Optomechanics: Distinguishing Classical and Quantum Models
University of Vienna（维也纳大学）；Technion – Israel Institute of Technology（以色列理工学院）；Xiamen University Malaysia（马来西亚厦门大学）；University of Gdańsk（格但斯克大学）；Indian Institute of Technology Roorkee（印度理工学院罗尔基分校）；Austrian Academy of Sciences（奥地利科学院）
Distinguishing Ordered Phases using Machine Learning and Classical Shadows
Universidade de São Paulo（圣保罗大学）；Federal University of Rio Grande do Norte（北里奥格兰德联邦大学）；Universidade Federal de Alagoas（阿拉戈阿斯联邦大学）；Technology Innovation Institute（技术创新研究所）
We show that an arbitrary basis of a multipartite quantum state space consisting of $K$ distant parties such that the $k$th party has local dimension $d_k$ always contains at least $N=\sum_{k=1}^K (d_k-1)+1$ members that are unambiguously distinguishable using local operations and classical communication (LOCC). We further show this lower bound is optimal by analytically constructing a special product basis having only $N$ members unambiguously distinguishable by LOCC. Interestingly, such a special product basis not only gives a stronger form of the weird phenomenon ``nonlocality without entan…
Investigations of quantum mechanical effects in macroscopic systems are of great interest to shed light onto the question where and how the transition to the classical world appears. It is also of practical relevance to determine if a bath dephasing a qubit can be described classically or requires a quantum mechanical treatment. We propose a measurement scheme to detect quantum backaction via correlation measurements to answer this question for a bath coupled to a single qubit. The presence of backaction leads to a dependence of correlations of subsequent initialization-evolution-readout cycle…
The problem of unambiguous state discrimination consists of determining which of a set of known quantum states a particular system is in. One is allowed to fail, but not to make a mistake. The optimal procedure is the one with the lowest failure probability. This procedure has been extended to bipartite states where the two parties, Alice and Bob, are allowed to manipulate their particles locally and communicate classically in order to determine which of two possible two-particle states they have been given. The failure probability of this local procedure has been shown to be the same as if th…
Understanding whether dissipation in an open quantum system is truly quantum is a question of both fundamental and practical interest. We consider n qubits subject to correlated Markovian dephasing and present a sufficient condition for when bath-induced dissipation can generate system entanglement and hence must be considered quantum. Surprisingly, we find that the presence or absence of time-reversal symmetry plays a crucial role: broken time-reversal symmetry is required for dissipative entanglement generation. Further, simply having nonzero bath susceptibilities is not enough for the dissi…
We study quantum algorithms working on classical probability distributions. We formulate four different models for accessing a classical probability distribution on a quantum computer, which are derived from previous work on the topic, and study their mutual relationships. Additionally, we prove that quantum query complexity of distinguishing two probability distributions is given by their inverse Hellinger distance, which gives a quadratic improvement over classical query complexity for any pair of distributions. The results are obtained by using the adversary method for state-generating inpu…
Giving a convincing experimental evidence of the quantum supremacy over classical simulations is a challenging goal. Noise is considered to be the main problem in such a demonstration, hence it is urgent to understand the effect of noise. Recently found classical algorithms can efficiently approximate, to any small error, the output of boson sampling with finite-amplitude noise. In this work it is shown analytically and confirmed by numerical simulations that one can efficiently distinguish the output distribution of such a noisy boson sampling from the approximations accounting for low-order …
Distinguishing sets of quantum states shared by two parties using only local operations and classical communication measurements is a fundamental topic in quantum communication and quantum information theory. We introduce a graph-theoretic approach, based on the theory of vector representations of graphs, to the core problem of distinguishing product states with one-way LOCC. We establish a number of results that show how distinguishing such states can be framed in terms of properties of the underlying graphs associated with a set of vector product states. We also present a number of illustrat…
We bring together in one place some of the main results and applications from our recent works in quantum information theory, in which we have brought techniques from operator theory, operator algebras, and graph theory for the first time to investigate the topic of distinguishability of sets of quantum states in quantum communication, with particular reference to the framework of one-way local quantum operations and classical communication (LOCC). We also derive a new graph-theoretic description of distinguishability in the case of a single qubit sender.
This article examines the relationship between classical and quantum propagation of chaos. (In this context, "chaos" refers to the Boltzmann's Ansatz of molecular disorder, not to chaotic dynamics.) Classical propagation of chaos is shown to occur when quantum systems that propagate quantum molecular chaos are suitably prepared, allowed to evolve without interference, and then observed.
We study the notion of causal orders for the cases of (classical and quantum) circuits and spacetime events. We show that every circuit can be immersed into a classical spacetime, preserving the compatibility between the two causal structures. Using the process matrix formalism, we analyse the realisations of the quantum switch using 4 and 3 spacetime events in classical spacetimes with fixed causal orders, and the realisation of a gravitational switch with only 2 spacetime events that features superpositions of different gravitational field configurations and their respective causal orders. W…
We address the propagation of the spin along classical trajectories for a 1/2-spin particle obeying the Dirac equation with scalar potentials. Focusing on classical trajectories as the exact propagation of wave-function discontinuities we find an explicit spin-transport law for the case of the Dirac oscillator. In the general case we examine the spin propagation along classical trajectories emerging as an approximation of the quantum dynamics via the mechanical analog of the optical eikonal asymptotic approach. Throughout we establish as many parallels as possible with the equivalent situation…
Entanglement is an useful resource because some global operations cannot be locally implemented using classical communication. We prove a number of results about what is and is not locally possible. We focus on orthogonal states, which can always be globally distinguished. We establish the necessary and sufficient conditions for a general set of 2x2 quantum states to be locally distinguishable, and for a general set of 2xn quantum states to be distinguished given an initial measurement of the qubit. These results reveal a fundamental asymmetry to nonlocality, which is the origin of ``nonlocali…
A new operator based condition for distinguishing classical from non-classical states of quantised radiation is developed. It exploits the fact that the normal ordering rule of correspondence to go from classical to quantum dynamical variables does not in general maintain positivity. It is shown that the approach naturally leads to distinguishing several layers of increasing nonclassicality, with more layers as the number of modes increases. A generalisation of the notion of subpoissonian statistics for two-mode radiation fields is achieved by analysing completely all correlations and fluctuat…
The lossy propagation law (generalization of Lambert-Beer's law for classical radiation loss) for non-classical, dual-mode entangled states is derived from first principles, using an infinite-series of beam splitters to model continuous photon loss. This model is general enough to accommodate stray-photon noise along the propagation, as well as amplitude attenuation. An explicit analytical expression for the density matrix as a function of propagation distance is obtained for completely general input states with bounded photon number in each mode. The result is analyzed numerically for various…
We emphasize the fact the evolution of quantum states in the inverted oscillator (IO) is reduced to classical equations of motion, stressing that the corresponding tunnelling and reflexion coefficients addressed in the literature are calculated by considering only classically trajectories. The Wigner function formalism is employed to describe the IO classical dynamics, subsequently leading to the introduction of the Ambiguity function lying in the so-called Reciprocal phase space. Our findings, show that the Ambiguity function behavior, subjected to the IO, allude a classical propagation with …
Deep insight can be gained into the nature of nonclassical correlations by studying the quantum operations that create them. Motivated by this we propose a measure of nonclassicality of a quantum operation utilizing the relative entropy to quantify its commutativity with the completely dephasing operation. We show that our measure of nonclassicality is a sum of two independent contributions, the generating power -- its ability to produce nonclassical states out of classical ones, and the distinguishing power -- its usefulness to a classical observer for distinguishing between classical and non…
We consider classical and quantum propagators for two different time intervals. If these propagators follow one another in a Fibonacci sequence we get a discrete quasiperiodic system. A theorem due to Nielsen provides a novel conserved quantity for this system. The Nielsen quantity controls the transition between commutative and non-commutative propagation in time. The quasiperiodically kicked oscillator moreover is dominated by quasiperiodic analogues of the Floquet theorem.
The quantum optical problem of the propagation of electromagnetic waves in a nonlinear waveguide is related to the solutions of the classical nonstationary harmonic oscillator using the method of linear integrals of motion [ Malkin et.al., Phys Rev. 2D (1970) p.1371 ]. An explicit solution of the classical oscillator with a varying frequency, corresponding to the light propagation in an anisotropic waveguide is obtained using the expressions for the quantum field fluctuations. Substitutions have been found which allow to establish connections of the linear and quadratic invariants of Malkin et…
We propose a random circuit model to analyze the impact of noise on the performance of variational quantum circuits for classical optimization problems. Our model accounts for the propagation of arbitrary single qubit errors through the circuit. We find that even with a small noise rate, the quality of the obtained classical optima is low on average and a single-qubit error rate of $1 / nD$, where $n$ is the number of qubits and $D$ is the circuit depth, is needed for the possibility of a quantum advantage. We estimate that this translates to an error rate lower than $10^{-6}$ using QAOA for c…
We study the propagation of non-classical light through arrays of coupled linear photonic waveguides and introduce some sets of refractive indices and coupling parameters that provide a closed form propagator in terms of orthogonal polynomials. We present propagation examples of non-classical states of light: single photon, coherent state, path-entangled state and two-mode squeezed vacuum impinging into two-waveguide couplers and a photonic lattice producing coherent transport.
Space-time wave packets are propagation-invariant pulsed beams that travel in free space without diffraction or dispersion by virtue of tight correlations introduced into their spatio-temporal spectrum. Such correlations constitute an embodiment of classical entanglement between continuous degrees of freedom. Using a measure of classical entanglement based on the Schmidt number of the field, we demonstrate theoretically and experimentally that the degree of classical entanglement determines the diffraction-free propagation distance of ST wave packets. Reduction in the degree of classical entan…
Doubts are raised concerning the usual interpretation of the alleged failure, by quantum mechanics, of the distributive law of classical logic. The difficulty raised by incompatible sets of observables is overcome within an epistemic enrichment of classical logic that provides the means for distinguishing between the value of a variable and its observation while retaining the classical connectives.
The precise connection between quantum wave functions and the underlying classical trajectories often is presented rather vaguely by practitioners of quantum mechanics. Here we demonstrate, with simple examples, that the imaging theorem (IT) based on the semiclassical propagator provides a precise connection. Wave functions are preserved out to macroscopic distances but the variables, position and momentum, of these functions describe classical trajectories. We show that the IT, based on an overtly time-dependent picture, provides a strategy alternative to standard scattering theory with which…
Unbound wave packets propagating to macroscopic space and time coordinates become proportional to their (Fourier transform) momentum distribution at earlier times whereby the asymptotic coordinates and the initial momenta are connected everywhere by appropriate classical trajectories. This asymptotic imaging theorem is relevant to every quantum reaction involving macroscopic extraction and detection of fragments emerging from a microscopic volume. It justifies the usual assumption of classical particle motion used in the design of particle detectors. We illustrate this quantum to semiclassical…
This paper considers the following problem. Two mixed-state quantum circuits Q and R are given, and the goal is to determine which of two possibilities holds: (i) Q and R act nearly identically on all possible quantum state inputs, or (ii) there exists some input state that Q and R transform into almost perfectly distinguishable outputs. This problem may be viewed as an abstraction of the following problem: given two physical processes described by sequences of local interactions, are the processes effectively the same or are they different? We prove that this problem is a complete promise pro…
I design a simple way of distinguishing non-orthogonal quantum states with perfect reliability using only quantum control-not gates in one condition. In this way, we can implement pure quantum communication in directly sending classical information, Ekert quantum cryptography and quantum teleportation without the help of classical communications channel.
Quantum key distribution (QKD) generates symmetric keys between two remote parties, and guarantees the keys not accessible to any third party. Wavelength division multiplexing (WDM) between QKD and classical optical communications by sharing the existing fibre optics infrastructure is highly desired in order to reduce the cost of QKD applications. However, quantum signals are extremely weak and thus easily affected by the spontaneous Raman scattering effect from intensive classical light. Here, by means of wavelength selecting and spectral and temporal filtering, we realize the multiplexing an…
Belief propagation (BP) is a classical algorithm that approximates the marginal distribution associated with a factor graph by passing messages between adjacent nodes in the graph. It gained popularity in the 1990's as a powerful decoding algorithm for LDPC codes. In 2016, Renes introduced a belief propagation with quantum messages (BPQM) and described how it could be used to decode classical codes defined by tree factor graphs that are sent over the classical-quantum pure-state channel. In this work, we propose an extension of BPQM to general binary-input symmetric classical-quantum (BSCQ) ch…
We study the transport of quantum correlations across a chain of interacting spin-1/2 particles. As a quantitative figure of merit, we choose a symmetric version of quantum discord and compare it with the transported entanglement, addressing various operating regimes of the spin medium. Discord turns out to be better transported for a wide range of working points and initial conditions of the system. We relate this behavior to the efficiency of propagation of a single excitation across the spin chain. Moreover, we point out the role played by a magnetic field in the dynamics of discord in the …
Cold atomic ensembles can mediate the generation of entanglement between pairs of photons. Photons with specific directions of propagation are detected, and the entanglement can reside in any of the degrees of freedom that describe the whole quantum state of the photons: polarization, spatial shape or frequency. We show that the direction of propagation of the generated photons determines the spatial quantum state of the photons and therefore, the amount of entanglement generated. When photons generated in different directions are combined, this spatial distinguishing information can degrade t…
We study the semiclassical propagation of coherent states in $d$ dimensions, which in general involves complex classical dynamics. Several simple approximations are derived that depend only on real classical trajectories, among them the thawed Gaussian approximation (TGA). Apart from the TGA, all other possibilities are able to reproduce interference and tunnelling effects, and involve propagating a set of classical initial conditions compatible with the quantum uncertainties. The accuracy of the results is verified in two dimensions for the scattering by an attractive potential, for a bound n…
Automatic De-Quantization of Quantum Programs Using Constant Propagation
Institute of Software Technology, German Aerospace Center (DLR)（德国航空航天中心软件技术研究所）；Chair for Design Automation, Technical University of Munich（慕尼黑工业大学设计自动化讲席）；Munich Quantum Software Company GmbH（慕尼黑量子软件有限公司）
The goal of this paper is to generalize classical d-separation and classical Belief Propagation (BP) to the quantum realm. Classical d-separation is an essential ingredient of most of Judea Pearl's work. It is crucial to all 3 rungs of what Pearl calls the 3 rungs of Causation. So having a quantum version of d-separation and BP probably implies that most of Pearl's Bayesian networks work, including his theory of causality, can be translated in a straightforward manner to the quantum realm.
"It is well-known to those who know it" that single-photon interference experiments can be modeled classically [S. Barnett, arXiv:2207.14632 (2022)]. When a single-photon light pulse was split by a biprism good agreement with a classical fit was obtained and the photon was counted only once, consistent with a probabilistic interpr.etation [V. Jacques et al, Eur. Phys. J. D 35, 561 (2002)]. A justification for this "well know result of Quantum Optics" is implicit in [M. Hawton, Phys. Rev A 104, 052211 (2021)] where a real covariant field describing a single photon is first quantized. Here the t…
We discuss the propagation dynamics of nonspreading wave packets. We decompose the Hamiltonian into two parts. The first part is such that wave packets is its instantaneous eigenstate and is therefore irrelevant to the propagation of the packet. The second part is shown to be the effective Hamiltonian governing the motion of the packet both classically and quantum mechanically. Thus, analogous to Ehrenfest's theorem, nonspreading wave packets offer another view point directly connecting quantum mechanics and classical mechanics. This analysis also works for non-square-integrable packets, such …
Any physical transformation that equally distributes quantum information over a large number M of users can be approximated by a classical broadcasting of measurement outcomes. The accuracy of the approximation is at least of the order 1/M. In particular, quantum cloning of pure and mixed states can be approximated via quantum state estimation. As an example, for optimal qubit cloning with 10 output copies, a single user has error probability p > 0.45 in distinguishing classical from quantum output--a value close to the error probability of the random guess.
We propose a highly efficient mixed quantum-classical molecular dynamics scheme based on a solution of the quantum-classical Liouville equation (QCLE). By casting the equations of motion for the quantum subsystem and classical bath degrees of freedom onto an approximate set of coupled first-order differential equations for c-numbers, this scheme propagates the composite system in time deterministically in terms of independent classical-like trajectories. To demonstrate its performance, we apply the method to the spin-boson model, a photo-induced electron transfer model, and a Fenna-Matthews-Ol…
We establish the difference between the propagation of semiclassical Wigner functions and classical Liouville propagation. First we re-discuss the semiclassical limit for the propagator of Wigner functions, which on its own leads to their classical propagation. Then, via stationary phase evaluation of the full integral evolution equation, using the semiclassical expressions of Wigner functions, we provide the correct geometrical prescription for their semiclassical propagation. This is determined by the classical trajectories of the tips of the chords defined by the initial semiclassical Wigne…
