In recent work, symmetric dagger-monoidal (SDM) categories have emerged as a convenient categorical formalization of quantum mechanics. The objects represent physical systems, the morphisms physical operations, whereas the tensors describe composite systems. Classical data turn out to correspond to Frobenius algebras with some additional properties. They express the distinguishing capabilities of classical data: in contrast with quantum data, classical data can be copied and deleted. The algebraic approach thus shifts the paradigm of "quantization" of a classical theory to "classicization" of a quantum theory. Remarkably, the simple SDM framework suffices not only for this conceptual shift, but even allows us to distinguish the deterministic classical operations (i.e. functions) from the nondeterministic classical operations (i.e. relations), and the probabilistic classical operations (stochastic maps). Moreover, a combination of some basic categorical constructions (due to Kleisli, resp. Grothendieck) with the categorical presentations of quantum states, provides a resource sensitive account of various quantum-classical interactions: of classical control of quantum data, of classical data arising from quantum measurements, as well as of the classical data processing in-between controls and measurements. A salient feature here is the graphical calculus for categorical quantum mechanics, which allows a purely diagrammatic representation of classical-quantum interaction.
The investigation of quantum-classical correspondence may lead to gain a deeper understanding of the classical limit of quantum theory. We develop a quantum formalism on the basis of a linear-invariant theorem, which gives an exact quantum-classical correspondence for damped oscillatory systems that are perturbed by an arbitrary force. Within our formalism, the quantum trajectory and expectation values of quantum observables are precisely coincide with their classical counterparts in the case where we remove the global quantum constant h from their quantum results. In particular, we illustrate…
One-way functions (OWF) are one of the most essential cryptographic primitives, the existence of which results in wide-ranging ramifications such as private-key encryption and proving $P \neq NP$. These OWFs are often thought of as having classical input and output (i.e. binary strings), however, recent work proposes OWF constructions where the input and/or the output can be quantum. In this paper, we demonstrate that quantum-classical (i.e. quantum input, classical output) OWFs can be used to produce classical-classical (i.e. classical input, classical output) OWFs that retain the one-wayness…
A locking protocol between two parties is as follows: Alice gives an encrypted classical message to Bob which she does not want Bob to be able to read until she gives him the key. If Alice is using classical resources, and she wants to approach unconditional security, then the key and the message must have comparable sizes. But if Alice prepares a quantum state, the size of the key can be comparatively negligible. This effect is called quantum locking. Entanglement does not play a role in this quantum advantage. We show that, in this scenario, the quantum discord quantifies the advantage of th…
We propose a semantic representation of the standard quantum logic QL within a classical, normal modal logic, and this via a lattice-embedding of orthomodular lattices into Boolean algebras with one modal operator. Thus our classical logic is a completion of the quantum logic QL. In other words, we refute Birkhoff and von Neumann's classic thesis that the logic (the formal character) of Quantum Mechanics would be non-classical as well as Putnam's thesis that quantum logic (of his kind) would be the correct logic for propositional inference in general. The propositional logic of Quantum Mechani…
Quantum electrodynamics under conditions of distinguishability of interacting matter entities, and of controlled actions and back-actions between them, is considered. Such "mesoscopic quantum electrodynamics" is shown to share its dynamical structure with the classical stochastic electrodynamics. In formal terms, we demonstrate that all general relations of the mesoscopic quantum electrodynamics may be recast in a form lacking Planck's constant. Mesoscopic quantum electrodynamics is therefore subject to "doing quantum electrodynamics while thinking classically," allowing one to substitute esse…
The extraction of classical degrees of freedom in quantum mechanics is studied in the stochastic variational method. By using this classicalization, a hybrid model constructed from quantum and classical variables (quantum-classical hybrids) is derived. In this procedure, conservation laws such as energy are maintained, and Ehrenfest's theorem is still satisfied with modification. The criterion for the applicability of quantum-classical hybrids is also discussed.
We determine the capacity of the classical compound quantum wiretapper channel with channel state information at the transmitter. Moreover we derive a lower bound on the capacity of this channel without channel state information and determine the capacity of the classical quantum compound wiretap channel with channel state information at the transmitter.
Often quantum systems are not isolated and interactions with their environments must be taken into account. In such open quantum systems these environmental interactions can lead to decoherence and dissipation, which have a marked influence on the properties of the quantum system. In many instances the environment is well-approximated by classical mechanics, so that one is led to consider the dynamics of open quantum-classical systems. Since a full quantum dynamical description of large many-body systems is not currently feasible, mixed quantum-classical methods can provide accurate and comput…
Constrained Hamiltonian description of the classical limit is utilized in order to derive consistent dynamical equations for hybrid quantum-classical systems. Starting with a compound quantum system in the Hamiltonian formulation conditions for classical behavior are imposed on one of its subsystems and the corresponding hybrid dynamical equations are derived. The presented formalism suggests that the hybrid systems have properties that are not exhausted by those of quantum and classical systems.
A procedure to enhance the quantum--classical correspondence even in situations far from the classical limit is proposed. It is based on controlling the quantum transport between classical regions using the capability to synthesize arbitrary motional states in ion traps. Quantum barriers and passages to transport can be created selecting the relevant frequencies. This technique is then applied to stabilize the quantum motion onto classical structures or alter the dynamical tunneling in nonintegrable systems.
Supmech, an algebraic scheme of mechanics integrating noncommutative symplectic geometry and noncommutative probability, subsumes quantum and classical mechanics and permits consistent treatment of interaction of quantum and classical systems. Quantum measurements are treated in this framework; the von Neumann reduction rule (generally postulated) is derived and interpreted in physical terms.
We study concretely how classical signals should be processed in quantum cluster-state computation. Deforming corresponding quantum teleportation circuit, we find a simple rule of a classical signal-flow to obtain correct quantum computation results.
Quantum particles and classical particles are described in a common setting of classical statistical physics. The property of a particle being "classical" or "quantum" ceases to be a basic conceptual difference. The dynamics differs, however, between quantum and classical particles. We describe position, motion and correlations of a quantum particle in terms of observables in a classical statistical ensemble. On the other side, we also construct explicitly the quantum formalism with wave function and Hamiltonian for classical particles. For a suitable time evolution of the classical probabilit…
The correspondence principle suggests that a quantum description for the microworld should be naturally transited to a classical description within the classical limit. However, it seems that there is a large gap between quantum no-cloning and classical duplication. In this paper, we prove that a classical duplication process can be realized using a universal quantum cloning machine. In the classical world, information is encoded in a large number of quantum states instead of one quantum state. When tolerable errors occur in a small number of the quantum states, the fidelity of duplicated copi…
We study how the classical Hamilton's principal and characteristic functions are generated from the solutions of the quantum Hamilton-Jacobi equation. While in the classically forbidden regions these quantum quantities directly tend to the classical ones, this is not the case in the allowed regions. There, the limit is reached only if the quantum fluctuations are eliminated by means of coarse-graining averages. Analogously, the classical Hamilton-Jacobi scheme bringing to the motion's equations arises from a similar formal quantum procedure.
Quantum speed limits set an upper bound to the rate at which a quantum system can evolve. Adopting a phase-space approach we explore quantum speed limits across the quantum to classical transition and identify equivalent bounds in the classical world. As a result, and contrary to common belief, we show that speed limits exist for both quantum and classical systems. As in the quantum domain, classical speed limits are set by a given norm of the generator of time evolution.
We show that the quantum wavefunction, interpreted as the probability density of finding a single non-localized quantum particle, which evolves according to classical laws of motion, is an intermediate description of a material quantum particle between the quantum and classical realms. Accordingly, classical and quantum mechanics should not be treated separately, a unified description in terms of the Wigner distribution function being possible. Although defined on classical phase space coordinates, the Wigner distribution function accommodates the nonlocalization property of quantum systems, a…
Quantum sensing, using quantum properties of sensors, can enhance resolution, precision, and sensitivity of imaging, spectroscopy, and detection. An intriguing question is: Can the quantum nature (quantumness) of sensors and targets be exploited to enable schemes that are not possible for classical probes or classical targets? Here we show that measurement of the quantum correlations of a quantum target indeed allows for sensing schemes that have no classical counterparts. As a concrete example, in case where the second-order classical correlation of a quantum target could be totally concealed…
We derive universal classical-quantum superposition coding and universal classical-quantum multiple access channel code by using generalized packing lemmas for the type method. Using our classical-quantum universal superposition code, we establish the capacity region of a classical-quantum compound broadcast channel with degraded message sets. Our universal classical-quantum multiple access channel codes have two types of codes. One is a code with joint decoding and the other is a code with separate decoding. The former universally achieves corner points of the capacity region and the latter u…
We show that the standard quantum-walk quantum-to-classical transition, characterized by ballistic-to-diffusive spreading of the walker's position, can be controlled by externally modulating the coin state. We illustrate by showing an oscillation between classical diffusive and quantum ballistic spreading using numerical and asymptotically exact closed-form solutions, and we prove that the walker is in a controllable incoherent mixture of classical and quantum walks with a reversible quantum-to-classical transition.
In spite of all {\bf no-go} theorems (e.g., von Neumann, Kochen and Specker,..., Bell,...) we constructed a realist basis of quantum mechanics. In our model both classical and quantum spaces b are rough images of the fundamental {\bf prespace.} Quantum mechanics cannot be reduced to classical one. Both classical and quantum representations induce reductions of prespace information.
The classical statistics indication for the impossibility to derive quantum mechanics from classical mechanics is proved. The formalism of the statistical Fisher information is used. Next the Fisher information as a tool of the construction of a self-consistent field theory, which joins the quantum theory and classical field theory, is proposed.
We present a quantum no-key protocol for direct and secure transmission of quantum and classical messages based on simple Boolean function computation with several quantum gates and Shamir's interactive idea of classical message encryption. This protocol has inherent personal identification and message authentication. It probably is the first quantum protocol that can resist the man-in-the-middle attack by itself.
I review the formalism of classical extensions of quantum mechanics introduced by Beltrametti and Bugajski, and compare it to the classical representations discussed e.g. by Busch, Hellwig and Stulpe and recently used by Fuchs in his discussion of quantum mechanics in terms of standard quantum measurements. I treat the problem of finding Bayesian analogues of the state transition associated with measurement in the canonical classical extension as well as in the related 'uniform' classical representation. In the classical extension, the analogy is extremely good.
This is an introductory chapter of the book in progress on quantum foundations and incompleteness of quantum mechanics. Quantum mechanics is represented as statistical mechanics of classical fields.
Quantum-classical correspondence in chaotic systems is a long-standing problem. We describe a method to quantify Bohr's correspondence principle and calculate the size of quantum numbers for which we can expect to observe quantum-classical correspondence near periodic orbits of Floquet systems. Our method shows how the stability of classical periodic orbits affects quantum dynamics. We demonstrate our method by analyzing quantum-classical correspondence in the quantum kicked top (QKT), which exhibits both regular and chaotic behavior. We use our correspondence conditions to identify signatures…
We discuss the problem of separating consistently the total correlations in a bipartite quantum state into a quantum and a purely classical part. A measure of classical correlations is proposed and its properties are explored.
We present a classical model for bulk-ensemble NMR quantum computation: the quantum state of the NMR sample is described by a probability distribution over the orientations of classical tops, and quantum gates are described by classical transition probabilities. All NMR quantum computing experiments performed so far with three quantum bits can be accounted for in this classical model. After a few entangling gates, the classical model suffers an exponential decrease of the measured signal, whereas there is no corresponding decrease in the quantum description. We suggest that for small numbers o…
The claim that there is an inconsistency of quantum-classical dynamics [1] is investigated. We point out that a consistent formulation of quantum and classical dynamics which can be used to describe quantum measurement processes is already available in the literature [2]. An example in which a quantum system is interacting with a classical system is worked out using this formulation.
We examine a case study where classical evolution emerges when observing a quantum evolution. By using a single-mode quantum Kerr evolution interrupted by measurement of the double-homodyne kind (projecting the evolved field state into classical-like coherent states or quantum squeezed states), we show that irrespective of whether the measurement is classical or quantum there is no quantum Zeno effect and the evolution turns out to be classical.
Quantum computations usually take place under the control of the classical world. We introduce a Classically-controlled Quantum Turing Machine (CQTM) which is a Turing Machine (TM) with a quantum tape for acting on quantum data, and a classical transition function for a formalized classical control. In CQTM, unitary transformations and measurements are allowed. We show that any classical TM is simulated by a CQTM without loss of efficiency. The gap between classical and quantum computations, already pointed out in the framework of measurement-based quantum computation is confirmed. To apprecia…
Classical physics fails where quantum physics prevails. This common understanding applies to quantum phenomena that are acknowledged to be beyond the reach of classical physics. Here, we make an attempt at weakening this solid belief that classical physics is unfit to explain the quantum world. The trial run is the quantization of the free radiation field that will be addressed by following a strategy that is free from operators or quantum-mechanical concepts
This report surveys quantum error-correcting codes. As Preskill claimed, 21st century would be the golden age of quantum error correction. Quantum channels behave differently from classical channels, so researchers face difficulties in developing robust quantum codes. Fortunately, the classical error control methods have been well developed. If we can learn many lessons from classical coding theory, we can expedite the development of quantum codes. Scientists have discovered that quantum error correction shares many concepts with classical counterpart. Both quantum and classical coding schemes…
Model-independent semantic requirements for user specification and interpretation of data before and after quantum computations are characterized. Classical computational costs of assigning classical data values to quantum registers and to run-time parameters passed across a classical-to-quantum application programming interface are derived. It is shown that the classical computational costs of data definition equal or exceed the classical computational cost of solving the problem of interest for all applications of quantum computing except computations defined over the integers and the simula…
Quantum computers are considered as a part of the family of the reversible, lineary-extended, dynamical systems (Quanputers). For classical problems an operational reformulation is given. A universal algorithm for the solving of classical and quantum problems on quanputers is formulated.
In the past decade quantum algorithms have been found which outperform the best classical solutions known for certain classical problems as well as the best classical methods known for simulation of certain quantum systems. This suggests that they may also speed up the simulation of some classical systems. I describe one class of discrete quantum algorithms which do so--quantum lattice gas automata--and show how to implement them efficiently on standard quantum computers.
Classical feedback is defined here as the knowledge by the transmitter of the quantum state of the qubit received by the receiver. Such classical feedback doubles capacities of certain memoryless quantum channels without preexisting entanglement between transmitter and receiver. The increase in capacity, which is absent on classical memoryless channels, occurs because we can transform an entangled qubit pair into any other entangled state by applying a unitary operator to only one of the qubits.
Both the set of quantum states and the set of classical states described by symplectic tomographic probability distributions (tomograms) are studied. It is shown that the sets have common part but there exist tomograms of classical states which are not admissible in quantum mechanics and vica versa, there exist tomograms of quantum states which are not admissible in classical mechanics. Role of different transformations of reference frames in phase space of classical and quantum systems (scaling and rotation) determining the admissibility of the tomograms as well as the role of quantum uncerta…
We analyze interrelation of quantum and classical entanglement. The latter notion is widely used in classical optic simulation of some quantum-like features of light. We criticize the common interpretation that "quantum nonlocality" is the basic factor differing quantum and classical realizations of entanglement. Instead, we point to the breakthrough Grangier et al. experiment on coincidence detection which was done in 1986 and played the crucial role in rejection of (semi-)classical field models in favor of quantum mechanics. Classical entanglement sources produce light beams with the coeffic…
It is now widely accepted that environmental entanglement and the resulting decoherence processes play a crucial role in the quantum-to-classical transition and the emergence of "classicality" from quantum mechanics. To this extent, decoherence is often understood as signifying a break with the Copenhagen interpretation, and in particular with Bohr's view of the indispensability of classical concepts. This paper analyzes the relationship between Bohr's understanding of the quantum-classical divide and his doctrine of classical concepts and the decoherence-based program of emergent classicality…
Vector is the general format of input data of most algorithms. Designing unitary operation to load all information of vector into quantum registers of quantum CPU from classical memory is called quantum loading scheme (QLS). QLS assembles classical memory and quantum CPU as a whole computer, which will be important for further quantum computation. We present a QLS based on path interference with time complexity O(logN), while classical loading scheme has time complexity O(N), that is the efficiency bottleneck of classical computer.
While ultimately they are described by quantum mechanics, macroscopic mechanical systems are nevertheless observed to follow the trajectories predicted by classical mechanics. Hence, in the regime defining macroscopic physics, the trajectories of the correct classical motion must emerge from quantum mechanics, a process referred to as the quantum to classical transition. Extending previous work [Bhattacharya, Habib, and Jacobs, Phys. Rev. Lett. {\bf 85}, 4852 (2000)], here we elucidate this transition in some detail, showing that once the measurement processes which affect all macroscopic syst…
We describe a general approach to modeling rational decision-making agents who adopt either quantum or classical mechanics based on the Quantum Bayesian (QBist) approach to quantum theory. With the additional ingredient of a scheme by which the properties of one agent may influence another, we arrive at a flexible framework for treating multiple interacting quantum and classical Bayesian agents. We present simulations in several settings to illustrate our construction: quantum and classical agents receiving signals from an exogenous source, two interacting classical agents, two interacting qua…
The statistical mechanics of quantum-classical systems with holonomic constraints is formulated rigorously by unifying the classical Dirac bracket and the quantum-classical bracket in matrix form. The resulting Dirac quantum-classical theory, which conserves the holonomic constraints exactly, is then used to formulate time evolution and statistical mechanics. The correct momentum-jump approximation for constrained system arises naturally from this formalism. Finally, in analogy with what was found in the classical case, it is shown that the rigorous linear response function of constrained quan…
Tasked with the challenge to build better and better computers, quantum computing and classical computing face the same conundrum: the success of classical computing systems. Small quantum computing systems have been demonstrated, and intermediate-scale systems are on the horizon, capable of calculating numeric results or simulating physical systems far beyond what humans can do by hand. However, to be commercially viable, they must surpass what our wildly successful, highly advanced classical computers can already do. At the same time, those classical computers continue to advance, but those …
Quantum-classical correspondence in conservative chaotic Hamiltonian systems is examined using a uniform structure measure for quantal and classical phase space distribution functions. The similarities and differences between quantum and classical time-evolving distribution functions are exposed by both analytical and numerical means. The quantum-classical correspondence of low-order statistical moments is also studied. The results shed considerable light on quantum-classical correspondence.
In this review we discuss intriguing properties of apparently classical optical fields, that go beyond purely classical context and allow us to speak about quantum characteristics of such fields and about their applications in quantum technologies. We briefly define the genuinely quantum concepts of entanglement and steering. We then move to the boarder line between classical and quantum world introducing quantum discord, a more general concept of quantum coherence, and finally a controversial notion of classical entanglement. To unveil the quantum aspects of often classically perceived system…
A scheme is proposed which stores classical data in 4-state quantum registers. It can achieve the following goal: the classical data can always be read unambiguously, while the quantum registers cannot be copied. Therefore the data provider can always distinguish the original quantum registers from piracy copies. Examples of application are also given.
We study classical capacities of quantum multi-access channels in geometric terms revealing breaking of additivity of Holevo-like capacity. This effect is purely quantum since, as one points out, any classical multi-access channels have their regions additive. The observed non-additivity in quantum version presented here seems to be the first effect of this type with no additional resources like side classical or quantum information (or entanglement) involved. The simplicity of quantum channels involved resembles butterfly effect in case of classical channel with two senders and two receivers.
We discuss the questions: How to compare quantitatively classical chaos with quantum chaos? Which one is stronger? What are the underlying physical reasons?
Instead of producing quantum languages that are fit for current quantum computers, we build a language from standard classical assembler and augment it with quantum capabilities so that quantum algorithms become a subset of it. This paves the way for the development of hybrid algorithms directly from classical software, which is not feasible on today's hardware but might inspire future quantum programmers.
A hybrid formalism is proposed for interacting classical and quantum sytems. This formalism is mathematically consistent and reduces to standard classical and quantum mechanics in the case of no interaction. However, in the presence of interaction, the correspondence principle is violated.
Classical statistical average values are generally generalized to average values of quantum mechanics, it is discovered that quantum mechanics is direct generalization of classical statistical mechanics, and we generally deduce both a new general continuous eigenvalue equation and a general discrete eigenvalue equation in quantum mechanics, and discover that a eigenvalue of quantum mechanics is just an extreme value of an operator in possibility distribution, the eigenvalue f is just classical observable quantity. A general classical statistical uncertain relation is further given, the general…
It is shown on a simple classical model of a quantum particle at rest that information contained into the quantum state (quantum information) can be obtained by integrating the corresponding probability distribution on phase space, i.e. by reduction of the information contained into the classical state.
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.
