Probabilistic Process Algebra to Unifying Quantum and Classical Computing in Closed Systems

We have unified quantum and classical computing in open quantum systems called qACP which is a quantum generalization of process algebra ACP. But, an axiomatization of quantum and classical processes with an assumption of closed quantum systems is still missing. For closed quantum systems, unitary operator, quantum measurement and quantum entanglement are three basic components of quantum computing. This leads to probability unavoidable. Along the solution of qACP to unify quantum and classical computing in open quantum systems, we unify quantum and classical computing with an assumption of closed systems under the framework of ACP-like probabilistic process algebra. This unification make it can be used widely in verification of quantum and classical computing mixed systems, such as most quantum communication protocols.

     

Orbits of hybrid systems as qualitative indicators of quantum dynamics

Hamiltonian theory of hybrid quantum–classical systems is used to study dynamics of the classical subsystem coupled to different types of quantum systems. It is shown that the qualitative properties of orbits of the classical subsystem clearly indicate if the quantum subsystem does or does not have additional conserved observables.     

Harnessing Quantumness of States using Discrete Wigner Functions under (non)-Markovian Quantum Channels

The negativity of the discrete Wigner functions (DWFs) is a measure of non-classicality and is often used to quantify the degree of quantum coherence in a system. The study of Wigner negativity and its evolution under different quantum channels can provide insight into the stability and robustness of quantum states under their interaction with the environment, which is essential for developing practical quantum computing systems. The variation of DWF negativity of qubit, qutrit, and two-qubit systems under the action of (non)-Markovian random telegraph noise (RTN) and amplitude damping (AD) quantum channels is investigated. Different negative quantum states that can be used as a resource for quantum computation and quantum teleportation are constructed. The success of quantum computation and teleportation is estimated for these states under (non)-Markovian evolutions.     

Quantum Toda systems and Lax pairs

We describe a general method for constructing a Lax pair representation of certain quantum mechanical systems that are integrable at the classical level. This is then used to find conserved quantities at the quantum level for the Toda systems.     

Mesoscopic one-way channels for quantum state transfer via the quantum Hall effect

We show that the one-way channel formalism of quantum optics has a physical realization in electronic systems. In particular, we show that magnetic edge states form unidirectional quantum channels capable of coherently transporting electronic quantum information. Using the equivalence between one-way photonic channels and magnetic edge states, we adapt a proposal for quantum state transfer to mesoscopic systems using edge states as a quantum channel, and show that it is feasible with reasonable experimental parameters. We discuss how this protocol may be used to transfer information encoded in number, charge, or spin states of quantum dots, so it may prove useful for transferring quantum information between parts of a solid-state quantum computer.     

光子两自由度超并行量子计算与超纠缠态操控

光子系统在量子信息处理和传输过程中有非常重要的应用. 譬如, 利用光子与原子(或人工原子)之间的相互作用, 可以完成信息的安全传输、存储和快速的并行计算处理等任务. 光子系统具有多个自由度, 如极化、空间模式、轨道角动量、时间-能量、频率等自由度. 光子系统的多个自由度可以同时应用于量子信息处理过程. 超并行量子计算利用光子系统多个自由度的光量子态同时进行量子并行计算, 使量子计算具有更强的并行性, 且需要的量子资源少, 更能抵抗光子数损耗等噪声的影响. 多个自由度同时存在纠缠的光子系统量子态称为超纠缠态, 它能够提高量子通信的容量与安全性, 辅助完成一些重要的量子通信任务. 在本综述中, 我们简要介绍了光子系统两自由度量子态在量子信息中的一些新应用, 包括超并行量子计算、超纠缠态分析、超纠缠浓缩和纯化三个部分.     

Efficient self-testing system for quantum computations based on permutations

Verification in quantum computations is crucial since quantum systems are extremely vulnerable to the environment.However,verifying directly the output of a quantum computation is difficult since we know that efficiently simulating a large-scale quantum computation on a classical computer is usually thought to be impossible.To overcome this difficulty,we propose a self-testing system for quantum computations,which can be used to verify if a quantum computation is performed correctly by itself.Our basic idea is using some extra ancilla qubits to test the output of the computation.We design two kinds of permutation circuits into the original quantum circuit:one is applied on the ancilla qubits whose output indicates the testing information,the other is applied on all qubits(including ancilla qubits) which is aiming to uniformly permute the positions of all qubits.We show that both permutation circuits are easy to achieve.By this way,we prove that any quantum computation has an efficient self-testing system.In the end,we also discuss the relation between our self-testing system and interactive proof systems,and show that the two systems are equivalent if the verifier is allowed to have some quantum capacity.     

Simple quantum systems as a source of coherent information

A set of very important simple quantum systems is analyzed from the standpoint of the amount of coherent information that is accessible when information channels corresponding to the systems are used. It is shown that for simple quantum models the coherent information can be calculated and used for estimating the potential possibilities of the corresponding quantum channel as a source of physical information in experiments associated with the effects of the coherence of quantum states. The following physical models are studied: a two-level atom in a laser radiation field, an aggregate of two two-level subsystems in a multilevel atom (hydrogen), a system of two two-level atoms in the process of joint quantum-deterministic evolution and under the action of transformations of quantum measurement and quantum duplication, as well as one and two two-level atoms in the process of emission.     

Molecular nanomagnets as quantum simulators

Quantum simulators are controllable systems that can be used to simulate other quantum systems. Here we focus on the dynamics of a chain of molecular qubits with interposed antiferromagnetic dimers. We theoretically show that its dynamics can be controlled by means of uniform magnetic pulses and used to mimic the evolution of other quantum systems, including fermionic ones. We propose two proof-of-principle experiments based on the simulation of the Ising model in a transverse field and of the quantum tunneling of the magnetization in a spin-1 system.     

Two Methods for Extending Quantum Key Warehouse

Because the rates of quantum key distribution systems are too low, the interleaving technique and interpolation technique are used to extend the capacity of the quantum key warehouse to increase the quantum key rates of quantum secure communication systems. The simulation shows that the interleaving technique and interpolation technique can extend random sequences and that their randomness are invariable. The correlative theory and technique of digital signal processing is an effective method of extending the quantum key warehouse. Translated from Chinese Journal of Quantum Electronics, 2005, 22(1) (in Chinese)     

Geometry of the Parameter Space of a Quantum System: Classical Point of View

The local geometry of the parameter space of a quantum system is described by the quantum metric tensor and the Berry curvature, which are two fundamental objects that play a crucial role in understanding geometrical aspects of condensed matter physics. Classical integrable systems are considered and a new approach is reported to obtain the classical analogs of the quantum metric tensor and the Berry curvature. An advantage of this approach is that it can be applied to a wide variety of classical systems corresponding to quantum systems with bosonic and fermionic degrees of freedom. The approach used arises from the semiclassical approximation of the Berry curvature and the quantum metric tensor in the Lagrangian formalism. This semiclassical approximation is exploited to establish, for the first time, the relation between the quantum metric tensor and its classical counterpart. The approach described is illustrated and validated by applying it to five systems: the generalized harmonic oscillator, the symmetric and linearly coupled harmonic oscillators, the singular Euclidean oscillator, and a spin-half particle in a magnetic field. Finally, some potential applications of this approach and possible generalizations that can be of interest in the field of condensed matter physics are mentioned.     

Fidelity criterion for quantum-domain transmission and storage of coherent states beyond the unit-gain constraint

We generalize the experimental success criterion for quantum teleportation (memory) in continuous-variable quantum systems to be suitable for a non-unit-gain condition by considering attenuation (amplification) of the coherent-state amplitude. The new criterion can be used for a nonideal quantum memory and long distance quantum communication as well as quantum devices with amplification process. It is also shown that the framework to measure the average fidelity is capable of detecting all Gaussian channels in the quantum domain.     

Interpreting Observables in a Quantum World from the Categorial Standpoint

We develop a relativistic perspective on structures of quantum observables, in terms of localization systems of Boolean coordinatizing charts. This perspective implies that the quantum world is comprehended via Boolean reference frames for measurement of observables, pasted together along their overlaps. The scheme is formalized categorically, as an instance of the adjunction concept. The latter is used as a framework for the specification of a categorical equivalence signifying an invariance in the translational code of communication between Boolean localizing contexts and quantum systems. Aspects of the scheme semantics are discussed in relation to logic. The interpretation of coordinatizing localization systems, as structure sheaves, provides the basis for the development of an algebraic differential geometric machinery suited to the quantum regime.     

Micro-scale photon source in a hybrid cQED system

Conerent photon source is an important element that has been widely used in spectroscopy,imaging,detection,and teleportation in quantum optics.However,it is still a challenge to realize micro-scale coherent emitters in semiconductor systems.We report the observation of gain in a cavity-coupled GaAs double quantum dot system with a voltage bias across the device.By characterizing and analyzing the cavity responses to different quantum dot behaviors,we distinguish the microwave photon emission from the signal gain.This study provides a possibility to realize micro-scale amplifiers or coherent microwave photon sources in circuit quantum electrodynamics(cQED) hybrid systems.     

超导量子比特中的量子跳跃方法

量子力学自建立以来很长一段时间被当作是描述系综运动的理论.但是上世纪80年代对冈禁离子和原子的研究观测到了量子跳跃现象,迫使人们发展了一些能够用于单量子系统的方法,其中之一就是量子跳跃方法.本文总结了我们近来把量子跳跃方法应用到以约瑟夫森隧道结为基础的超导量子比特的工作.我们不但实验观测到宏观量子系统中的量子跳跃,还可以利用量子跳跃现象来研究固体中普遍存在的两能级系统及其引起的超导量子比特中的退相干.     

On a tilted Liouville-master equation of open quantum systems

A tilted Liouville-master equation in Hilbert space is presented for Markovian open quantum systems. We demonstrate that it is the unraveling of the tilted quantum master equation. The latter is widely used in the analysis and calculations of stochastic thermodynamic quantities in quantum stochastic thermodynamics.     

Effective Field Theory of Random Quantum Circuits

Quantum circuits have been widely used as a platform to simulate generic quantum many-body systems. In particular, random quantum circuits provide a means to probe universal features of many-body quantum chaos and ergodicity. Some such features have already been experimentally demonstrated in noisy intermediate-scale quantum (NISQ) devices. On the theory side, properties of random quantum circuits have been studied on a case-by-case basis and for certain specific systems, and a hallmark of quantum chaos—universal Wigner–Dyson level statistics—has been derived. This work develops an effective field theory for a large class of random quantum circuits. The theory has the form of a replica sigma model and is similar to the low-energy approach to diffusion in disordered systems. The method is used to explicitly derive the universal random matrix behavior of a large family of random circuits. In particular, we rederive the Wigner–Dyson spectral statistics of the brickwork circuit model by Chan, De Luca, and Chalker [Phys. Rev. X 8, 041019 (2018)] and show within the same calculation that its various permutations and higher-dimensional generalizations preserve the universal level statistics. Finally, we use the replica sigma model framework to rederive the Weingarten calculus, which is a method of evaluating integrals of polynomials of matrix elements with respect to the Haar measure over compact groups and has many applications in the study of quantum circuits. The effective field theory derived here provides both a method to quantitatively characterize the quantum dynamics of random Floquet systems (e.g., calculating operator and entanglement spreading) and a path to understanding the general fundamental mechanism behind quantum chaos and thermalization in these systems.     

Classical Systems, Standard Quantum Systems, and Mixed Quantum Systems in Hilbert Space

Traditionally, there has been a clear distinction between classical systems and quantum systems, particularly in the mathematical theories used to describe them. In our recent work on macroscopic quantum systems, this distinction has become blurred, making a unified mathematical formulation desirable, so as to show up both the similarities and the fundamental differences between quantum and classical systems. This paper serves this purpose, with explicit formulations and a number of examples in the form of superconducting circuit systems. We introduce three classes of physical systems with finite degrees of freedom: classical, standard quantum, and mixed quantum, and present a unified Hilbert space treatment of all three types of system. We consider the classical/quantum divide and the relationship between standard quantum and mixed quantum systems, illustrating the latter with a derivation of a superselection rule in superconducting systems.     

Bidirectional Information Flow Quantum State Tomography

The exact reconstruction of many-body quantum systems is one of the major challenges in modern physics,because it is impractical to overcome the exponential complexity problem brought by high-dimensional quantum manybody systems.Recently,machine learning techniques are well used to promote quantum information research and quantum state tomography has also been developed by neural network generative models.We propose a quantum state tomography method,which is based on a bidirectional gated recurrent unit neural network,to learn and reconstruct both easy quantum states and hard quantum states in this study.We are able to use fewer measurement samples in our method to reconstruct these quantum states and to obtain high fidelity.     

Quantum distributions for localized quantum states

The principle of ergodicity of the quantum theory has been used for elaboration of a new technique for numerical simulation of the Wigner function of open dissipative quantum systems. With this purpose the density matrix of a quantum system is represented via averaging over the ensemble of quantum states in time intervals instead of averaging over the ensemble of stochastic variables. It is shown that this approach leads to new approximate expressions for quantum distributions in the phase space, in particular, Wigner functions for systems localized in the region of classical phase trajectories. As an application, the Wigner functions are calculated for the process of intracavity second harmonic generation in the region of Hopf bifurcations.