A simple mathematical extension of quantum theory is presented. As well as opening the possibility of alternative methods of calculation, the additional formalism implies a new physical interpretation of the standard theory by providing a picture of an external reality. The new formalism, developed first for the single-particle case, has the advantage of generalizing immediately to quantum field theory and to the description of relativistic phenomena such as particle creation and annihilation.
We give the mathematical theory of duality computer in the density matrix formalism. This result complements the mathematical theory of duality computer of Gudder in the pure state formalism.
The preparation procedure, an undefined notion in quantum theory, has not had the relevance that it deserves in the interpretation of quantum mechanical formalism. Here we utilize the concepts of identical and similar preparation procedures to show the conceptual differences and mutual interconnections between the statistical and the conventional interpretation of quantum formalism. Although the statistical understanding, and its final logical consequence, hidden variables theories (this connexion being explained in the text), have a great intuitive appeal due to its fewer ontological difficul…
In this work, we present a general non-equilibrium ensemble formalism based on the subdynamic equation (SKE). The constructing procedure is to use a similarity transformation between Gibbsian ensemble formalism and the non-equilibrium ensemble formalism. The obtained density distribution is a projected one that can represent essence part of (irreversible) evolution of the density distribution, by which a generalized reduced density distribution for the quantum canonical ensembles is studied and applications in Cayley tree and spin network are discussed.
We reformulate quantum computation in terms of Lagrangian (sum-over-path) formalism, in contrast to the widely used Hamiltonian (unitary gate) formulation. We exemplify this formalism with some widely-studied models, including the standard quantum circuit model, quantum optimization heuristics, and quantum random walks. The meanings of Lagrangian (action) are interpreted in various contexts of quantum computation, such as complexity analysis. Furthermore, an analog quantum simulation scheme is suggested where the Lagrangian serves as the starting point and the sum-over-path method is applied.
In this paper and a companion paper, we attempt to systematically investigate the possibility that the concept of information may enable a derivation of the quantum formalism from a set of physically comprehensible postulates. To do so, we formulate an abstract experimental set-up and a set of assumptions based on generalizations of experimental facts that can be reasonably taken to be representative of quantum phenomena, and on theoretical ideas and principles, and show that it is possible to deduce the quantum formalism. In particular, we show that it is possible to derive the abstract quant…
Information-Theoretical restrictions on the information transfer are applied to Quantum Measurements. For the measurement of quantum object S by information system O this restrictions are calculated in Algebraic QM formalism as the inference map to the (sub)algebra of O observables.
An axiomatic formalism for a minimal irreversible quantum mechanics is introduced. It is shown that a quantum equilibrium and the decoherence phenomenon are consequences of the axioms and that Lyapunov variables, exponential survival probabilities, and a classisal conditional never-decreasing entropy can be defined.
Information-theoretic derivations of the formalism of quantum theory have recently attracted much attention. We analyze the axioms underlying a few such derivations and propose a conceptual framework in which, by combining several approaches, one can retrieve more of the conventional quantum formalism.
A unified (classical-quantum-statistical) formalism for a system with continuous spectrum is introduced. For this kind of systems ergodicity behavior and the existence of microcanonical and canonical (KMS) equilibrium is proved. It is argued that the continuous spectrum condition is essential for the thermodynamical behavior
The Ghirardi-Rimini-Weber (GRW) theory of spontaneous wave function collapse is known to provide a quantum theory without observers, in fact two different ones by using either the matter density ontology (GRWm) or the flash ontology (GRWf). Both theories are known to make predictions different from those of quantum mechanics, but the difference is so small that no decisive experiment can as yet be performed. While some testable deviations from quantum mechanics have long been known, we provide here something that has until now been missing: a formalism that succinctly summarizes the empirical …
A new quantum-stochastic differential calculus is derived for representing continuous quantum measurement of the position operator. Closed nonlinear quantum-stochastic differential equation is given for the quantum state of the observed particle. Possible physical realization of continuous position measurement is constructed.
PT-/non-PT-symmetric and non-Hermitian deformed Morse and Poschl-Teller potentials are studied first time by quantum Hamilton-Jacobi approach. Energy eigenvalues and eigenfunctions are obtained by solving quantum Hamilton-Jacobi equation.
This chapter outlines some of the highlights of efforts undertaken by our group to describe the role of contextuality in the conceptualization of conscious experience using generalized formalisms from quantum mechanics.
We show that various kinds of one-photon quantum states studied in the field of quantum optics admit ladder operator formalisms and have the generally deformed oscillator algebraic structure. The two-photon case is also considered. We obtain the ladder operator formalisms of two general states defined in the even/odd Fock space. The two-photon states may also have a generally deformed oscillator algebraic structure. Some interesting examples of one-photon and two-photon quantum states are given.
The equivalence of the Rivier-Margenau-Hill and Born-Jordan-Shankara phase space formalisms to the conventional operator approach of quantum mechanics is demonstrated. It is shown that in spite of the presence of singular kernels the mappings relating phase space functions and operators back and forth are possible.
This note presents a simple and unified formulation of the most fundamental structures used in quantum information with qubits, arbitrary dimension qudits, and quantum continuous variables. This \emph{general quantum variables} construction provides a succinct language for formulating many results in quantum computation and information so that they are applicable in all dimensions. The structures included within this formalism include: a generalization to arbitrary dimension of the three Pauli operators, and the associated mutually unbiased bases; the Pauli and Clifford groups; many important …
In this paper and a companion paper, we show how the framework of information geometry, a geometry of discrete probability distributions, can form the basis of a derivation of the quantum formalism. The derivation rests upon a few elementary features of quantum phenomena, such as the statistical nature of measurements, complementarity, and global gauge invariance. It is shown that these features can be traced to experimental observations characteristic of quantum phenomena and to general theoretical principles, and thus can reasonably be taken as a starting point of the derivation. When approp…
We develop a kind of quantum formalism (Hilbert space probabilistic calculus) for measurements performed over cognitive (in particular, conscious) systems. By using this formalism we could predict averages of cognitive observables. Reflecting the basic idea of neurophisiological and psychological studies on a hierarchic structure of cognitive processes, we use p-adic hierarchic trees as a mathematical model of a mental space. We also briefly discuss the general problem of the choice of adequate mental geometry.
Time evolution is an indivisible part in any physics theory. Usually, people are accustomed to think that the universe is a fixed background and the system itself evolves step by step in time. However, Yakir Aharonov challenges this view using his two-vector formalism. In this paper, using the entangled history formalism, we attain three achievements.
We present an alternative formalism of quantum mechanics tailored to statistical ensemble in phase space. The purpose of our work is to show that it is possible to establish an alternative autonomous formalism of quantum mechanics in phase space using statistical methodology. The adopted perspective leads to obtaining within the framework of its theory the master quantum-mechanical equation without recourse to the other formalisms of quantum mechanics, and gives the idea of operators pertaining to dynamical quantities. The derivation of this equation starts with the ensemble in phase space. We…
We argue about a conceptual approach to quantum formalism. Starting from philosophical conjectures (Platonism, Idealism and Realism) as basic ontic elements (namely: math world, data world, and state of matter), we will analyze the quantum superposition principle. This analysis bring us to demonstrate that the basic assumptions affect in different ways:(a) the general problem of the information and computability about a system, (b) the nature of the math tool utilized and (c) the correspondent physical reality.
By means of a new mod(N)-invariant operator basis, s-parametrized phase-space functions associated with bounded operators in a finite-dimensional Hilbert space are introduced in the context of the extended Cahill-Glauber formalism, and their properties are discussed in details. The discrete Glauber-Sudarshan, Wigner, and Husimi functions emerge from this formalism as specific cases of s-parametrized phase-space functions where, in particular, a hierarchical process among them is promptly established. In addition, a phase-space description of quantum tomography and quantum teleportation is pres…
The Two-State-Vector formalism and the Entangled Histories formalism are attempts to better understand quantum correlations in time. The main objective of this paper is to show that, with appropriately defined scalar products, both formalisms can be made isomorphic. We show that they treat operators and states on equal footing leading to the same statistics for all measurements. In particular, we discuss the topic of quantum correlations in time and show how they can be generated and analyzed in a consistent way in these formalisms. Furthermore, we elaborate on a novel behavior of quantum hist…
The formalism for non-Hermitian quantum systems sometimes blurs the underlying physics. We present a systematic study of the vielbein-like formalism which transforms the Hilbert space bundles of non-Hermitian systems into the conventional ones, rendering the induced Hamiltonian to be Hermitian. In other words, any non-Hermitian Hamiltonian can be "transformed" into a Hermitian one without altering the physics. Thus we show how to find a reference frame (corresponding to Einstein's quantum elevator) in which a non-Hermitian system, equipped with a non-trivial Hilbert space metric, reduces to a …
The generalized Sinh-Gordon potential is solved within quantum Hamiltonian Jacobi approach in the framework of PT symmetry. The quasi exact solutions of energy eigenvalues and eigenfunctions of the generalized Sinh-Gordon potential are found for n=0,1 states.
The d-level or qudit one-way quantum computer (d1WQC) is described using the valence bond solid formalism and the generalised Pauli group. This formalism provides a transparent means of deriving measurement patterns for the implementation of quantum gates in the computational model. We introduce a new universal set of qudit gates and use it to give a constructive proof of the universality of d1WQC. We characterise the set of gates that can be performed in one parallel time step in this model.
Heisenberg motion equations in Quantum mechanics can be put into the Hamilton form. The difference between the commutator and its principal part, the Poisson bracket, can be accounted for exactly. Canonical transformations in Quantum mechanics are not, or at least not what they appear to be; their properties are formulated in a series of Conjectures.
We sketch a group-theoretical framework, based on the Heisenberg-Weyl group, encompassing both quantum and classical statistical descriptions of mechanical systems. We re-define in group-theoretical terms the kinematical arena and the state-space of the system, achieving a unified quantum-classical language and a novel version of the correspondence principle. We briefly discuss the structure of observables and dynamics within our framework.
Suggested a framework to derive the formalism of quantum theory based on the work of Navascues, Pironio and Acin [NJP 10, 073013] (NPA). Specifically, the entries in the Gamma matrices in NPA corrspond to sequential weak values, first analyzed by Mitchison, Popescu and Jozsa [PRA 76, 062105]. However, to obtain the sequential weak values post-selection to the initial state is required, for which we could not find sufficiently strong reason.
We consider the dynamical properties of dissipative continuous-time quantum walks on directed graphs. Using a large-deviation approach we construct a thermodynamic formalism allowing us to define a dynamical order parameter, and to identify transitions between dynamical regimes. For a particular class of dissipative quantum walks we propose a quantum generalization of the the classical PageRank vector, used to rank the importance of nodes in a directed graph. We also provide an example where one can characterize the dynamical transition from an effective classical random walk to a dissipative …
Complexity of quantum states in the stabilizer formalism
School of Mathematics and Physics, University of Science and Technology Beijing（北京科技大学数学与物理学院）；State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院数学科学重点实验室）；School of Mathematical Sciences, University of Chinese Academy of Sciences（中国科学院大学数学科学学院）
Of crucial importance to the development of quantum computing and information has been the construction of a quantum operations formalism that admits a description of quantum noise while simultaneously revealing the behavior of an open quantum system. The operator-sum representation is such a formalism and has provided a succinct description for set of bounded operators that act on a finite dimensional quantum system. In this paper we derive a basis for the set of bounded operators that act on a $d$-dimensional Hilbert space and we illustrate how this basis set may be extended and identified w…
We pursue a general theory of quantum games. We show that quantum games are more efficient than classical games, and provide a saturated upper bound for this efficiency. We demonstrate that the set of finite classical games is a strict subset of the set of finite quantum games. We also deduce the quantum version of the Minimax Theorem and the Nash Equilibrium Theorem.
A scheme for constructing quantum mechanics is given that does not have Hilbert space and linear operators as its basic elements. Instead, a version of algebraic approach is considered. Elements of a noncommutative algebra (observables) and functionals on this algebra (elementary states) associated with results of single measurements are used as primary components of the scheme. On the one hand, it is possible to use within the scheme the formalism of the standard (Kolmogorov) probability theory, and, on the other hand, it is possible to reproduce the mathematical formalism of standard quantum…
Quantum systems in which the position and momentum take values in the ring ${\cal Z}_d$ and which are described with $d$-dimensional Hilbert space, are considered. When $d$ is the power of a prime, the position and momentum take values in the Galois field $GF(p^ \ell)$, the position-momentum phase space is a finite geometry and the corresponding `Galois quantum systems' have stronger properties. The study of these systems uses ideas from the subject of field extension in the context of quantum mechanics. The Frobenius automorphism in Galois fields leads to Frobenius subspaces and Frobenius tra…
We present a mathematical framework for simulation of optical fields in complex gravitational-wave interferometers. The simulation framework uses the two-photon formalism for optical fields and includes radiation pressure effects, an important addition required for simulating signal and noise fields in next-generation interferometers with high circulating power. We present a comparison of results from the simulation with analytical calculation and show that accurate agreement is achieved.
We point out that Fratini and Hayrapetyan ignored the randomness of mixing, a basic request to prepare a statistical ensemble rather than an ensemble in general. Their analysis is irrelevant for standard statistical ensembles, their conclusions about the limitations of standard theory become unjustified.
The two-state vector formalism (TSVF), the time-symmetric description of the standard quantum mechanics originated by Aharonov, Bergmann and Lebowitz is reviewed. The TSVF describes a quantum system at a particular time by two quantum states: the usual one, evolving forward in time, defined by the results of a complete measurement at the earlier time, and by the quantum state evolving backward in time, defined by the results of a complete measurement at a later time.
The bound state wave functions for a wide class of exactly solvable potentials are found utilizing the quantum Hamilton-Jacobi formalism. It is shown that, exploiting the singularity structure of the quantum momentum function, until now used only for obtaining the bound state energies, one can straightforwardly find both the eigenvalues and the corresponding eigenfunctions. After demonstrating the working of this approach through a number of solvable examples, we consider Hamiltonians, which exhibit broken and unbroken phases of supersymmetry. The natural emergence of the eigenspectra and the …
The Bayesian formalism for a continuous measurement of solid-state qubits is derived for a model which takes into account several factors of the detector nonideality. In particular, we consider additional classical output and backaction noises (with finite correlation), together with quantum-limited output and backaction noises, and take into account possible asymmetry of the detector coupling. The formalism is first derived for a single qubit and then generalized to the measurement of entangled qubits.
The new orthodoxy of quantum mechanics (QM) based on the decoherence approach requires many-worlds as an essential ingredient for logical consistency, and one may wonder what status to give to all these "other worlds". Here we advocate that it is possible to build a consistent approach to QM where no other worlds are needed, and where the quantum formalism appears as a consequence of requiring the enumerability of physical properties. Such a quantization hypothesis is closely related to indistinguishability, and is deeply inconsistent with classical physics.
We present an effective operator formalism for open quantum systems. Employing perturbation theory and adiabatic elimination of excited states for a weakly driven system, we derive an effective master equation which reduces the evolution to the ground-state dynamics. The effective evolution involves a single effective Hamiltonian and one effective Lindblad operator for each naturally occurring decay process. Simple expressions are derived for the effective operators which can be directly applied to reach effective equations of motion for the ground states. We compare our method with the hither…
Simulation of interacting electron systems is one of the great challenges of modern quantum chemistry and solid state physics. Controllable quantum systems offer the opportunity to create artificial structures which mimic the system of interest. An interesting quantity to extract from these quantum simulations is the spectral function. We map a noisy quantum simulator onto a fermionic system and investigate the influence of decoherence on the simulation of the spectral density using a diagrammatic approach on Keldysh contour. We show that features stronger than the single-qubit decoherence rat…
Interference dynamics is analyzed in the light of the complex quantum Hamilton-Jacobi formalism, using as a working model the collision of two Gaussian wave packets. Though simple, this model nicely shows that interference in quantum scattering processes gives rise to rich dynamics and trajectory topologies in the complex plane, both ruled by two types of singularities: caustics and vortices, where the former are associated with the regime of free wave-packet propagation, and the latter with the collision (interference) process. Furthermore, an unambiguous picture connecting the complex and re…
In a paper of us, it is showed that Density Matrices do not provide a complete description of ensembles of states in quantum mechanics, since they lack measurable information concerning the preparation of the ensembles. Bodor and Diósi have later posted a comment on that article, which agrees on some points of it but disagrees on some others. This reply is intended to clarify the discussion.
We propose a new Monte-Carlo method for calculation of the Casimir forces. Our method is based on the formalism of noncompact lattice quantum electrodynamics. This approach has been tested in the simplest case of two ideal conducting planes. After this the method has been applied to the calculation of the lateral Casimir forces between two ideal conducting rectangular gratings. We compare our calculations with the results of PFA and "Optimal" PFA methods.
A general procedure for construction of the formalism of quantum beam optics for any particle is reviewed. The quantum formalism of spin-1/2 particle beam optics is presented starting {\em ab initio} with the Dirac equation. As an example of application the case of normal magnetic quadrupole lens is discussed. In the classical limit the quantum formalism leads to the well-known Lie algebraic formalism of classical particle beam optics.
Quantum entanglement plays an important role in quantum computation and communication. It is necessary for many protocols and computations, but causes unexpected disturbance of computational states. Hence, static analysis of quantum entanglement in quantum programs is necessary. Several papers studied the problem. They decided qubits were entangled if multiple qubits unitary gates are applied to them, and some refined this reasoning using information about the state of each separated qubit. However, they do not care about the fact that unitary gate undoes entanglement and that measurement may …
Time reversal symmetry is a fundamental property of many quantum mechanical systems. The relation between statistical physics and time reversal is subtle and not all statistical theories conserve this particular symmetry, most notably hydrodynamic equations and kinetic equations such as the Boltzmann equation. In this article it is shown analytically that quantum kinetic generalizations of the Boltzmann equation that are derived using the nonequilibrium Green functions formalism as well as all approximations that stem from $Φ$-derivable selfenergies are time reversal invariant.
We introduce a new "positive formalism" for encoding quantum theories in the general boundary formulation, somewhat analogous to the mixed state formalism of the standard formulation. This makes the probability interpretation more natural and elegant, eliminates operationally irrelevant structure and opens the general boundary formulation to quantum information theory.
The basic principles of the quantum mechanics in the K-field formalism are stated in the paper. The basic distinction of this theory arises from that the quantum theory equations (including well-known Schrodinger, Klein-Gordon and quadratic Dirac equations) are obtained from de Broglie postulate geometric generalization. Rather, they are obtained as the free wave equations on a manifold metrizing force interactions of particles. Such view on the quantum theory basic equations allows one to use semiclassical models for the quantum system simulation. The quantization principle modifies as well. …
In the present work, we apply the exact quantization condition, introduced within the framework of Padgett and Leacock's quantum Hamilton-Jacobi formalism, to angular and radial quantum action variables in the context of the Hartmann and the ring-shaped oscillator potentials which are separable and non central. The energy spectra of the two systems are exactly obtained.
