An Axiomatization for Quantum Processes to Unifying Quantum and Classical Computing

We establish an axiomatization for quantum processes, which is a quantum generalization of process algebra ACP (Algebra of Communicating Processes). We use the framework of a quantum process configuration 〈p, ϱ〉, but we treat it as two relative independent part: the structural part p and the quantum part ϱ, because the establishment of a sound and complete theory is dependent on the structural properties of the structural part p. We let the quantum part ϱ be the outcomes of execution of p to examine and observe the function of the basic theory of quantum mechanics. We establish not only a strong bisimilarity for quantum processes, but also a weak bisimilarity to model the silent step and abstract internal computations in quantum processes. The relationship between quantum bisimilarity and classical bisimilarity is established, which makes an axiomatization of quantum processes possible. An axiomatization for quantum processes called qACP is designed, which involves not only quantum information, but also classical information and unifies quantum computing and classical computing. qACP can be used easily and widely for verification of most quantum communication protocols.

     

Homotopy Classification of Bosonic String Field Theory

We prove the decomposition theorem for the loop homotopy Lie algebra of quantum closed string field theory and use it to show that closed string field theory is unique up to gauge transformations on a given string background and given S-matrix. For the theory of open and closed strings we use results in open-closed homotopy algebra to show that the space of inequivalent open string field theories is isomorphic to the space of classical closed string backgrounds. As a further application of the open-closed homotopy algebra, we show that string field theory is background independent and locally unique in a very precise sense. Finally, we discuss topological string theory in the framework of homotopy algebras and find a generalized correspondence between closed strings and open string field theories.     

Classification of the quantum two-dimensional superintegrable systems with quadratic integrals and the Stäckel transforms

The two-dimensional quantum superintegrable systems with quadratic integrals of motion on a manifold are classified by using the quadratic associative algebra of the integrals of motion. There are six general fundamental classes of quantum superintegrable systems corresponding to the classical ones. Analytic formulas for the involved integrals are calculated in all the cases. All the known quantum superintegrable systems with quadratic integrals are classified as special cases of these six general classes. The coefficients of the quadratic associative algebra of integrals are calculated and they are compared to the coefficients of the corresponding coefficients of the Poisson quadratic algebra of the classical systems. The quantum coefficients are similar to the classical ones multiplied by a quantum coefficient -?² plus a quantum deformation of order ?⁴ and ?⁶. The systems inside the classes are transformed using Stäckel transforms in the quantum case as in the classical case. The general form of the Stäckel transform between superintegrable systems is discussed.     

Quantum Computing’s Classical Problem,Classical Computing’s Quantum Problem

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 advances are now constrained by thermodynamics, and will soon be limited by the discrete nature of atomic matter and ultimately quantum effects. Technological advances benefit both quantum and classical machinery, altering the competitive landscape. Can we build quantum computing systems that out-compute classical systems capable of some \(10^{30}\) logic gates per month? This article will discuss the interplay in these competing and cooperating technological trends.     

Quantum Open-Closed Homotopy Algebra and String Field Theory

We reformulate the algebraic structure of Zwiebach’s quantum open-closed string field theory in terms of homotopy algebras. We call it the quantum open-closed homotopy algebra (QOCHA) which is the generalization of the open-closed homotopy algebra (OCHA) of Kajiura and Stasheff. The homotopy formulation reveals new insights about deformations of open string field theory by closed string backgrounds. In particular, deformations by Maurer Cartan elements of the quantum closed homotopy algebra define consistent quantum open string field theories.     

Pseudointegrable systems in classical and quantum mechanics

We study particles moving in planar polygonal enclosures with rational angles, and show by several methods that trajectories in the classical phase space explore two-dimensional invariant surfaces which are generically not tori as in integrable systems but instead have the topology of multiply-handled spheres. The quantum mechanics of one such ‘pseudointegrable system’ is studied in detail by computing energy levels using an exact formalism. This system consists of motion on a unit coordinate torus containing a square reflecting obstacle with side L. We find that neighbouring levels avoid degeneracies as L varies, and that the probability distribution for the spacing S of adjacent levels vanishes linearly as S→0 (‘level repulsion’). The Weyl area rule plus edge and corner corrections gives a very accurate approximation for the mean level density. Oscillatory corrections to the mean level density are given as a sum over closed classical paths; for pseudointegrable systems these closed paths form families covering part of the phase-space invariant surfaces.     

Constraint algebra for interacting quantum systems

We consider relativistic constrained systems interacting with external fields. We provide physical arguments to support the idea that the quantum constraint algebra should be the same as in the free quantum case. For systems with ordering ambiguities this principle is essential to obtain a unique quantization. This is shown explicitly in the case of a relativistic spinning particle, where our assumption about the constraint algebra plus invariance under general coordinate transformations leads to a unique S-matrix.     

Quantum projection. Integration of the open Tod quantum chain

A quantum projection method is developed on the basis of noncommutative integration of linear differential equations and the results of M. A. Ol’shanetskii and A. M. Perelomov on the integration of classical Hamiltonian systems (projection method). The method proposed makes it possible to obtain in explicit form solutions of the quantum equations whose classical analogs can be integrated by projection. Then the semisimplicity property of the symmetry algebra of the original equation is no longer a factor. The solution basis of a Schrödinger equation with the potential of an open three-particle Tod chain is constructed as a nontrivial example.     

R-Matrix Quantization of the Elliptic Ruijsenaars–Schneider Model

It is shown that the classical L-operator algebra of the elliptic Ruijsenaars-Schneider model can be realized as a subalgebra of the algebra of functions on the cotangent bundle over the centrally extended current group in two dimensions. It is governed by two dynamical r and ?r-matrices satisfying a closed system of equations. The corresponding quantum R and ?R-matrices are found as solutions to quantum analogs of these equations. We present the quantum L-operator algebra and show that the system of equations on R and ?R arises as the compatibility condition for this algebra. It turns out that the R-matrix is twist-equivalent to the Felder elliptic R ^F -matrix with ?R playing the role of the twist. The simplest representation of the quantum L-operator algebra corresponding to the elliptic Ruijsenaars-Schneider model is obtained. The connection of the quantum L-operator algebra to the fundamental relation RLL=LLR with Belavin's elliptic R matrix is established. As a byproduct of our construction, we find a new N-parameter elliptic solution to the classical Yang-Baxter equation. Received: 17 March 1997 / Accepted: 8 July 1997     

A theory of open systems based on stochastic differential equations

For a model of an open quantum system—a concentrated ensemble consisting of similar atoms and interacting with a one-dimensional quantum vacuum environment with a zero photon density—quantum stochastic differential equations of a non-Wiener type of the general form have been obtained; based on the equations, kinetic equations describing a wide class of physical systems are derived. The distinctive feature of such systems is effects of suppression of collective spontaneous emission and stabilization of the excited state. For the open classical system exposed to the action of noise in the form of a Levy process of the general non-Gaussian kind, kinetic equations of the Fokker-Planck type with fractional derivatives have been obtained based on classical non-Wiener stochastic differential equations. This emphasizes the common base of the developed theory for different types of open systems, which is expressed in using the mathematical formalism of stochastic differential equations of the general non-Wiener type.     

Quasi-integrable and superintegrable systems from a ‘deformed-mass’ two-photon algebra

A quantum deformation of the two-photon (or Schrödinger) Lie algebra is introduced in order to construct newn-dimensional classical Hamiltonian systems which have (n?2) functionally independent integrals of motion in involution; we say that such Hamiltonians define quasi-integrable systems. Furthermore, Hopf subalgebras of this quantum two-photon algebra (quantum extended Galilei and harmonic oscillator algebras) provide another set of (n?1) integrals of motion for Hamiltonians defined on these Hopf subalgebras, so that they lead to superintegrable systems.     

广义量子干涉原理及对偶量子计算机

我们综述最近提出的广义量子干涉原理及其在量子计算中的应用。广义量子干涉原理是对狄拉克单光子干涉原理的具体化和多光子推广,不但对像原子这样的紧致的量子力学体系适用,而且适用于几个独立的光子这样的松散量子体系。利用广义量子干涉原理,许多引起争议的问题都可以得到合理的解释,例如两个以上的单光子的干涉等问题。从广义量子干涉原理来看双光子或者多光子的干涉就是双光子和双光子自身的干涉,多光子和多光子自身的干涉。广义量子干涉原理可以利用多组分量子力学体系的广义Feynman积分表示,可以定量地计算。基于这个原理我们提出了一种新的计算机,波粒二象计算机,又称为对偶计算机。在原理上对偶计算机超越了经典的计算机和现有的量子计算机。在对偶计算机中,计算机的波函数被分成若干个子波并使其通过不同的路径,在这些路径上进行不同的量子计算门操作,而后这些子波重新合并产生干涉从而给出计算结果。除了量子计算机具有的量子平行性外,对偶计算机还具有对偶平行性。形象地说,对偶计算机是一台通过多狭缝的运动着的量子计算机,在不同的狭缝进行不同的量子操作,实现对偶平行性。目前已经建立起严格的对偶量子计算机的数学理论,为今后的进一步发展打下了基础。本文着重从物理的角度去综述广义量子干涉原理和对偶计算机。现在的研究已经证明,一台d狭缝的n比特的对偶计算机等同与一个n比特+一个d比特(qudit)的普通量子计算机,证明了对偶计算机具有比量子计算机更强大的能力。这样,我们可以使用一台具有n+log2d个比特的普通量子计算机去模拟一个d狭缝的n比特对偶计算机,省去了研制运动量子计算机的巨大的技术上的障碍。我们把这种量子计算机的运行模式称为对偶计算模式,或简称为对偶模式。利用这一联系反过来可以帮助我们理解广义量子干涉原理,因为在量子计算机中一切计算都是普通的量子力学所允许的量子操作,因此广义量子干涉原理就是普通的量子力学体系所允许的原理,而这个原理只是是在多体量子力学体系中才会表现出来。对偶计算机是一种新式的计算机,里面有许多问题期待研究和发展,同时也充满了机会。在对偶计算机中,除了幺正操作外,还可以允许非幺正操作,几乎包括我们可以想到的任何操作,我们称之为对偶门操作或者广义量子门操作。目前这已经引起了数学家的注意,并给出了广义量子门操作的一些数学性质。此外,利用量子计算机和对偶计算机的联系,可以将许多经典计算机的算法移植到量子计算机中,经过改造成为量子算法。由于对偶计算机中的演化是非幺正的,对偶量子计算机将可能在开放量子力学的体系的研究中起到重要的作用。     

Second-order superintegrable quantum systems

A classical (or quantum) superintegrable system on an n-dimensional Riemannian manifold is an integrable Hamiltonian system with potential that admits 2n ? 1 functionally independent constants of the motion that are polynomial in the momenta, the maximum number possible. If these constants of the motion are all quadratic, then the system is second-order superintegrable, the most tractable case and the one we study here. Such systems have remarkable properties: multi-integrability and separability, a quadratic algebra of symmetries whose representation theory yields spectral information about the Schrödinger operator, and deep connections with expansion formulas relating classes of special functions. For n = 2 and for conformally flat spaces when n = 3, we have worked out the structure of the classical systems and shown that the quadratic algebra always closes at order 6. Here, we describe the quantum analogs of these results. We show that, for nondegenerate potentials, each classical system has a unique quantum extension.     

Variations on a theme of Schwinger and Weyl

The theme of doing quantum mechanics on all Abelian groups goes back to Schwinger and Weyl. This theme was studied earlier from the point of view of approximating quantum systems in infinite-dimensional spaces by those associated to finite Abelian groups. This Letter links this theme to deformation quantization, and explores the set of noncommutative associative algebra structures on the Schwartz-Weil algebra of any locally compact separable Abelian group. If the group is a vector space of even dimension over a non-Archimedean local fieldK, there exists a family of noncommutative (Moyal) structures parametrized by the local field and containing membersarbitrarily close to the classical one, although the classical algebra is rigid in the sense of deformation theory. The-products are defined by Fourier integral operators. The problem of constructing sucharithmetic Moyal structures on the algebra of Schwartz-Bruhat functions on manifolds that are locally likeK ²ⁿ is raised.In memory of Julian Schwinger     

Classical and quantum pumping in closed systems

Pumping of charge (Q) in a closed ring geometry is not quantized even in the strict adiabatic limit. The deviation form exact quantization can be related to the Thouless conductance. We use the Kubo formalism as a starting point for the calculation of both the dissipative and the adiabatic contributions to Q. As an application we bring examples for classical dissipative pumping, classical adiabatic pumping, and in particular we make an explicit calculation for quantum pumping in case of the simplest pumping device, which is a three site lattice model. We make a connection with the popular S-matrix formalism which has been used to calculate pumping in open systems.     

Polynomial associative algebras of quantum superintegrable systems

The integrals of motion of classical two-dimensional superintegrable systems, with polynomial integrals of motion, close in a restrained polynomial Poisson algebra; the general form of the quadratic case is investigated. The polynomial Poisson algebra of the classical system is deformed into a quantum associative algebra of the corresponding quantum system, and the finite-dimensional representations of this algebra are calculated by using a deformed parafermion oscillator technique. The finite-dimensional representations of the algebra are determined by the energy eigenvalues of the superintegrable system. The calculation of energy eigenvalues is reduced to the roots of algebraic equations in the quadratic case.     

Batalin-Vilkovisky Formalism in Perturbative Algebraic Quantum Field Theory

On the basis of a thorough discussion of the Batalin-Vilkovisky formalism for classical field theory presented in our previous publication, we construct in this paper the Batalin-Vilkovisky complex in perturbatively renormalized quantum field theory. The crucial technical ingredient is an extended notion of the renormalized time-ordered product as a binary product equivalent to the pointwise product of classical field theory. Originally, in causal perturbation theory, the time-ordered product is understood merely as a sequence of multilinear maps on the space of local functionals. Our extended notion of the renormalized time-ordered product (denoted by ${\cdot_{{}^{\mathcal{T}_{\rm r}}}}$ ) is consistent with the old one and we found a subspace of the quantum algebra which is closed with respect to ${\cdot_{{}^{\mathcal{T}_{\rm r}}}}$ . On this space the renormalized Batalin-Vilkovisky algebra is then the classical algebra but written in terms of the time-ordered product, together with an operator which replaces the ill defined graded Laplacian of the unrenormalized theory. We identify it with the anomaly term of the anomalous Master Ward Identity of Brennecke and Dütsch. Contrary to other approaches we do not refer to the path integral formalism and do not need to use regularizations in intermediate steps.