Some of lattice-gauge-theory models, in particular gauge-Higgs model (GHM), can be regarded and work as a subsystem code. This work studies the effect of local-gauge-symmetric decoherence on the GHM from the perspective of the subsystem code. We clarify the global phase diagram of the subsystem code. In particular, the decoherence induces an unconventional critical mixed state, where the logical information is preserved but the rest of the system exhibits mixed state criticality. For a fixed point, the decohered subsystem code is understood by the ``gauging out" prescription. By mapping the GHM to the toric code subject to decoherence, we can understand the properties of the subsystem code. We further discuss and investigate the robustness of the logical space of the subsystem code. Although this kind of subsystem code can be produced by using any bulk mixed state in the GHM, its robustness is a subtle problem due to the mixed critical gauge qubits. We consider some specific unitary for examining the robustness of the stored quantum information. For dynamical unitary perturbations described by interactions between the logical qubit and gauge qubits, the deformation of the subsystem code drastically depends on the initial mixed state of the gauge qubits.
Choosing a specific way of dividing a closed system into parts is a starting point for the decoherence program and for the quantum thermalization program. It is shown that one can always chose such way of partitioning that decoherence-assisted classicality does not emerge and thermalization does not occur. Implications of this result are discussed.
Decoherence-free subsystems have been successfully developed as a tool to preserve fragile quantum information against noises. In this letter, we develop a structure theory for decoherence-free subsystems. Based on it, we present an effective algorithm to construct a set of maximal decoherence-free subsystems in the sense that any other such subsystem is a subspace of one of them. As an application of these techniques in quantum many body systems, we propose a simple and numerically robust method to determine if two irreducible tensors are repeated, a key step in deciding if they are equivalen…
We discuss the structure of decoherence-free subsystems for a bosonic channel affected by collective depolarization. A single use of the channel is defined as a transmission of a pair of bosonic modes. Collective depolarization consists in a random linear U(2) transformation of the respective mode operators, which is assumed to be identical for $N$ consecutive uses of the channel. We derive a recursion formula that characterizes the dimensionality of available decoherence-free subsystems in such a setting.
Hierarchy of mixed symmetry protected topological states in extended cluster states under subsystem decoherence
Graduate School of Engineering Science, Akita University（秋田大学工学研究科）；Department of Physics, College of Humanities and Sciences, Nihon University（日本大学文理学部物理学科）
Decoherence is the phenomenon of non-unitary dynamics that arises as a consequence of coupling between a system and its environment. It has important harmful implications for quantum information processing, and various solutions to the problem have been proposed. Here we provide a detailed a review of the theory of decoherence-free subspaces and subsystems, focusing on their usefulness for preservation of quantum information.
We introduce a generalized theory of decoherence-free subspaces and subsystems (DFSs), which do not require accurate initialization. We derive a new set of conditions for the existence of DFSs within this generalized framework. By relaxing the initialization requirement we show that a DFS can tolerate arbitrarily large preparation errors. This has potentially significant implications for experiments involving DFSs, in particular for the experimental implementation, over DFSs, of the large class of quantum algorithms which can function with arbitrary input states.
The use of d-state systems, or qudits, in quantum information processing is discussed. Three-state and higher dimensional quantum systems are known to have very different properties from two-state systems, i.e., qubits. In particular there exist qudit states which are not equivalent under local unitary transformations unless a selection rule is violated. This observation is shown to be an important factor in the theory of decoherence-free, or noiseless, subsystems. Experimentally observable consequences and methods for distinguishing these states are also provided, including the explicit const…
When the environmental disturbace to a quantum system has a wavelength much larger than the system size, all qubits localized within a small area are under action of the same error operators. Noiseless subsystem and decoherence free subspace are known to correct such collective errors. We construct simple quantum circuits, which implement these collective error correction codes, for a small number $n$ of physical qubits. A single logical qubit is encoded with $n=3$ and $n=4$, while two logical qubits are encoded with $n=5$. The recursive relations among the subspaces employed in noiseless subs…
This paper provides a general theory for characterizing and constructing a decoherence-free (DF) subsystem for an infinite dimensional linear open quantum system. The main idea is that, based on the Heisenberg picture of the dynamics rather than the commonly-taken Schrodinger picture, the notions of controllability and observability in control theory are employed to characterize a DF subsystem. A particularly useful result is a general if and only if condition for a linear system to have a DF component; this condition is used to demonstrate how to actually construct a DF dynamics in some speci…
Quantum information requires protection from the adverse affects of decoherence and noise. This review provides an introduction to the theory of decoherence-free subspaces, noiseless subsystems, and dynamical decoupling. It addresses quantum information preservation as well protected computation.
The effect induced by an environment on a composite quantum system is studied. The model considers the composite system as comprised by a subsystem A coupled to a subsystem B which is also coupled to an external environment. We study all possible four combinations of subsystems A and B made up with a harmonic oscillator and an upside down oscillator. We analyzed the decoherence suffered by subsystem A due to an effective environment composed by subsystem B and the external reservoir. In all the cases we found that subsystem A decoheres even though it interacts with the environment only through…
We show that private shared reference frames can be used to perform private quantum and private classical communication over a public quantum channel. Such frames constitute a novel type of private shared correlation (distinct from private classical keys or shared entanglement) useful for cryptography. We present optimally efficient schemes for private quantum and classical communication given a finite number of qubits transmitted over an insecure channel and given a private shared Cartesian frame and/or a private shared reference ordering of the qubits. We show that in this context, it is use…
The so-called classical limit of quantum mechanics is generally studied in terms of the decoherence of the state operator that characterizes a system. This is not the only possible approach to decoherence. In previous works we have presented the possibility of studying the classical limit in terms of the decoherence of relevant observables of the system. On the basis of this approach, in this paper we introduce the classical limit from a logical perspective, by studying the way in which the logical structure of quantum properties corresponding to relevant observables acquires Boolean character…
We describe exchange-only universal quantum computation and leakage reduction in the 3-qubit decoherence free subsystem (DFS). We discuss the angular momentum structure of the DFS, the proper forms for the DFS CNOT and leakage reduction operators in the total angular momentum basis, and new exchange-only pulse sequences for the CNOT and leakage reduction operators. Our new DFS CNOT sequence requires 22 pulses in 13 time steps. The DFS leakage reduction sequence, the first explicit leakage reduction sequence of its kind, requires 30 pulses in 20 time steps. Although the search for sequences was…
This work addresses quantum adiabatic decoherence of many-body spin systems coupled with a boson field in the framework of open quantum systems theory. We generalize the traditional spin-boson model by considering a system-environment interaction Hamiltonian that represents a partition of non-interacting subsystems and highlights the collective correlation that appears exclusively due to the coupling with a common environment. Remarkably, this simple, exactly solvable model encompasses relevant aspects of a many-body open quantum system and features the subtle quantum effects that arise when t…
The Uhrig dynamical decoupling sequence achieves high-order decoupling of a single system qubit from its dephasing bath through the use of bang-bang Pauli pulses at appropriately timed intervals. High-order decoupling of single and multiple qubit systems from baths causing both dephasing and relaxation can also be achieved through the nested application of Uhrig sequences, again using single-qubit Pauli pulses. For the 3-qubit decoherence free subsystem (DFS) and related subsystem encodings, Pauli pulses are not naturally available operations; instead, exchange interactions provide all require…
We study the decoherence induced by the environment over a composite quantum system, comprising two coupled subsystems A and B, which may be a harmonic or an upside-down oscillators. We analyze the case in which the B-subsystem is in direct interaction with a thermal bath, while the other remains isolated from the huge reservoir. We compare the results concerning the decoherence suffered by the A-subsystem.
Quantum entanglement has been used as an experimental tool to control the state of a quantum subsystem by measurements in its twin subsystem by Kwiat and Chiao 21 year ago, already, with entangled subsystems linked by an auxiliary classical coincidence channel. We propose to extend the idea one significant step further consisting essentially in eliminating the coincidence channel in the reminded experiment. The current availability of bright biphoton sources makes such experiments feasible.
In order to analyze the effect of chaos or order on the rate of decoherence in a subsystem, we aim to distinguish effects of the two types of dynamics by choosing initial states as random product states from two factor spaces representing two subsystems. We introduce a random matrix model that permits to vary the coupling strength between the subsystems. The case of strong coupling is analyzed in detail, and we find no significant differences except for very low-dimensional spaces.
Since there are many examples in which no decoherence-free subsystems exist (among them all cases where the error generators act irreducibly on the system Hilbert space), it is of interest to search for novel mechanisms which suppress decoherence in these more general cases. Drawing on recent work (quant-ph/0502153) we present three results which indicate decoherence suppression without the need for noiseless subsystems. There is a certain trade-off; our results do not necessarily apply to an arbitrary initial density matrix, or for completely generic noise parameters. On the other hand, our c…
We discuss the quantum dynamics of an isolated composite system consisting of weakly interacting many-body subsystems. We focus on one of the subsystems, S, and study the dependence of its quantum correlations and decoherence rate on the state of the weakly-coupled complementary part E, which represents the environment. As a theoretical laboratory, we consider a composite system made of two stacked quantum Ising chains, locally and homogeneously weakly coupled. One of the chains is identified with the subsystem S under scrutiny, and the other one with the environment E. We investigate the beha…
A generalized formal framework for decoherence, that can be used both in open and closed quantum systems, is sketched. In this context, the relationship between the decoherence of a closed system and the decoherence of its subsystems is studied, and the corresponding decoherence times are defined: for macroscopic systems, the decoherence time of the closed system is much greater than the decoherence time of its subsystems. Finally, it is shown that the application of the new formal framework to a well-known model leads to physically adequate results.
The dynamics of two coupled spins-1/2 coupled to a spin-bath is studied as an extended model of the Tessieri-Wilkie Hamiltonian \cite{TWmodel}. The pair of spins served as an open subsystem were prepared in one of the Bell states and the bath consisted of some spins-1/2 is in a thermal equilibrium state from the very beginning. It is found that with the increasing the coupling strength of the bath spins, the bath forms a resonant antiferromagnetic order. The polarization correlation between the two spins of the subsystem and the concurrence are recovered in some extent to the isolated subsyste…
Decoherence-Free Subsystems (DFS) are a powerful means of protecting quantum information against noise with known symmetry properties. Although Hamiltonians theoretically exist that can implement a universal set of logic gates on DFS encoded qubits without ever leaving the protected subsystem, the natural Hamiltonians that are available in specific implementations do not necessarily have this property. Here we describe some of the principles that can be used in such cases to operate on encoded qubits without losing the protection offered by the DFS. In particular, we show how dynamical decoupl…
The three-spin-$1/2$ decoherence-free subsystem defines a logical qubit protected from collective noise and supports exchange-only universal gates. Such logical qubits are well-suited for implementation with electrically-defined quantum dots. Exact exchange-only entangling logical gates exist but are challenging to construct and understand. We use a decoupling strategy to obtain straightforward approximate entangling gates. A benefit of the strategy is that if the physical spins are aligned, then it can implement evolution under entangling Hamiltonians. Hamiltonians expressible as linear combi…
We outline a proposal for a method of preparing an encoded two-state system (logical qubit) that is immune to collective noise acting on the Hilbert space of the states supporting it. The logical qubit is comprised of three photonic three-state systems (qutrits) and is generated by the process of spontaneous parametric down conversion. The states are constructed using linear optical elements along with three down-conversion sources, and are deemed successful by the simultaneous detection of six events. We also show how to select a maximally entangled state of two qutrits by similar methods. Fo…
This paper studies the combinatoric structure of the set of all representations, up to equivalence, of a finite-dimensional semisimple Lie algebra. This has intrinsic interest as a previously unsolved problem in representation theory, and also has applications to the understanding of quantum decoherence. We prove that for Hilbert spaces of sufficiently high dimension, decoherence-free subspaces exist for almost all representations of the error algebra. For decoherence-free subsystems, we plot the function $f_d(n)$ which is the fraction of all $d$-dimensional quantum systems which preserve $n$ …
We present a model of an N-qubit channel where consecutive qubits experience correlated random rotations. Our model is an extension to the standard decoherence-free subsystems approach (DFS) which assumes that all the qubits experience the same disturbance. The variation of rotations acting on consecutive qubits is modeled as diffusion on the SU(2) group. The model may be applied to spins traveling in a varying magnetic field, or to photons passing through a fiber whose birefringence fluctuates over the time separation between photons. We derive an explicit formula describing the action of the…
Quantum information stored in a qubit is rapidly lost to the environment. The realization of robust qubits is one of the most important challenges in quantum computing. Herein we propose to embed a logical qubit within the manifold of a qudit as a scheme to preserve quantum information over extended periods of time. Under identical conditions (e.g. decoherence channels) the submanifold of the logical qubit exhibits extended lifetimes compared to a pure two-level system (qubit). The retention of quantum information further improves with separation between the sublevels of the logical qubit. Lif…
We evaluate the usefulness of holographic stabilizer codes for practical purposes by studying their allowed sets of fault-tolerantly implementable gates. We treat them as subsystem codes and show that the set of transversally implementable logical operations is contained in the Clifford group for sufficiently localized logical subsystems. As well as proving this concretely for several specific codes, we argue that this restriction naturally arises in any stabilizer subsystem code that comes close to capturing certain properties of holography. We extend these results to approximate encodings, l…
The bidirectional steerability between different-size subsystems is discussed for a single parameter accelerated qubit-qutrit system. The decoherence due to the mixing and acceleration parameters is investigated, where for the total system and the qutrit, it increases as the mixing parameter increases, while it decreases for the qubit. The non-classical correlations are quantified by using the local quantum uncertainty, where it increases at large values of the acceleration parameter. The possibility that each subsystem steers each other is studied, where the behavior of the steering inequalit…
A common misconception is that decoherence gives the eigenstates that we observe to be fairly definite about a subsystem (e.g., approximate eigenstates of position) as the elements of the Schmidt basis in which the density matrix of the subsystem is diagonal. Here I show that in simple examples of linear systems with gaussian states, the Schmidt basis states have as much mean uncertainty about position as the full density matrix with its combination of different possibilities.
A critical step in experimental quantum information processing (QIP) is to implement control of quantum systems protected against decoherence via informational encodings, such as quantum error correcting codes, noiseless subsystems and decoherence free subspaces. These encodings lead to the promise of fault tolerant QIP, but they come at the expense of resource overheads. Part of the challenge in studying control over multiple logical qubits, is that QIP test-beds have not had sufficient resources to analyze encodings beyond the simplest ones. The most relevant resources are the number of avai…
We study the robustness of the GHZ (or ``cat'') class of multi-partite states under decoherence. The noise model is described by a general completely positive map for qubits independently coupled to the environment. In particular, the robustness of N-party entanglement is studied in the large N limit when (a) the number of spatially separated subsystems is fixed but the size of each subsystem becomes large (b) the size of the subsystems is fixed while their number becomes arbitrarily large. We obtain conditions for entanglement in these two cases. Among our other results, we show that the pari…
The interpretation of the concept of reduced state is a subtle issue that has relevant consequences when the task is the interpretation of quantum mechanics itself. The aim of this paper is to argue that reduced states are not the quantum states of subsystems in the same sense as quantum states are states of the whole composite system. After clearly stating the problem, our argument is developed in three stages. First, we consider the phenomenon of environment-induced decoherence as an example of the case in which the subsystems interact with each other; we show that decoherence does not solve…
Using the concept of von Neumann entropy, we quantify the information content of the various components of the quantum walk system, including the mutual information between its subsystems (coin and position) and use it to give a precise formulation of the measure of entanglement between subsystems.
The logical set of Gaussian states under the stabilizer subsystem decomposition
International Institute of Physics, Federal University of Rio Grande do Norte（联邦北里奥格兰德大学国际物理研究所）；Physics Department, Federal University of Rio Grande do Norte（联邦北里奥格兰德大学物理系）；Department of Mathematics and Statistics, University of Ottawa（渥太华大学数学与统计系）；Center for Macroscopic Quantum States bigQ, Department of Physics, Technical University of Denmark（丹麦技术大学bigQ宏观量子态研究中心）
In order to analyze the effect of chaos or order on the rate of decoherence in a subsystem we aim to distinguish effects of the two types of dynamics from those depending on the choice of the wave packet. To isolate the former we introduce a random matrix model that permits to vary the coupling strength between the subsystems. The case of strong coupling is analyzed in detail, and we find at intermediate times a weak effect of spectral correlations that is reminiscent of the correlation hole.
We propose a scheme to implement geometric entangling gates for two logical qubits in a coupled cavity system in decoherence-free subspaces. Each logical qubit is encoded with two atoms trapped in a single cavity and the geometric entangling gates are achieved by cavity coupling and controlling the external classical laser fields. Based on the coupled cavity system, the scheme allows the scalability for quantum computing and relaxes the requirement for individually addressing atoms.
We consider the claim that decoherence explains the emergence of classicality in quantum systems, and conclude that it does not. We show that, given a randomly chosen universe composed of a variety of subsystems, some of which are macroscopic and subject to decoherence-inducing interactions, and some of which are microscopic, the macroscopic subsystems will not display any distinctively classical behavior. Therefore, a universe in which macroscopic and microscopic do display distinct behavior must be in a very special, highly nongeneric quantum state.
In this paper, we present a theoretical description to the quantum coherence and decoherence phenomena of energy transfer in photosynthesis observed in a recent experiment [see Science 316, 1462 (2007)]. As a successive two-color laser pulses with selected frequencies cast on a sample of the photosynthetic purple bacterium Rb. sphaeroides two resonant excitations of electrons in chromophores can be generated. However, this effective two-level subsystem will interact with its protein environment and decoherence is inevitable. We describe this subsystem coupled with its environment as a dynamica…
We introduce a framework to decompose a bosonic mode into two virtual subsystems-a logical qubit and a gauge mode. This framework allows the entire toolkit of qubit-based quantum information to be applied in the continuous-variable setting. We give a detailed example based on a modular decomposition of the position basis and apply it in two situations. First, we decompose Gottesman-Kitaev-Preskill grid states and find that the encoded logical state can be damaged due to entanglement with the gauge mode. Second, we identify and disentangle qubit cluster states hidden inside of Gaussian continuo…
Continuous-variable (CV) cluster states are a universal resource for fault-tolerant quantum computation when supplemented with the Gottesman-Kitaev-Preskill (GKP) bosonic code. We generalize the recently introduced subsystem decomposition of a bosonic code [Phys. Rev. Lett. 125, 040501 (2020)], and we use it to analyze CV cluster-state quantum computing with GKP states. Specifically, we decompose squeezed vacuum states and approximate GKP states to reveal their encoded logical information, and we decompose several gates crucial to CV cluster-state quantum computing. Then, we use the subsystem …
A perturbative treatment of reduced density operators of quantum subsystems is implemented in the same spirit as Fermi Golden Rule for scattering. Analytic expressions for linear entropy (a measure of purity loss, and in some cases of coherence loss) and for subsystem's energy variations (dissipation) are given. Application to electromagnetic field superposition states in a dissipative cavity is performed. Evaluation of typical field and reservoir time scales ($τ_{F}$ and $τ_{R}$) show that even for small temperatures they are very different. We also indicate the condition on the cutoff temper…
We propose a quantum-information processor that consists of decoherence-free logical qubits encoded into arrays of dipole-coupled qubits. High-fidelity single-qubit operations are performed deterministically within a decoherence-free subsystem without leakage via global addressing of bichromatic laser fields. Two-qubit operations are realized locally with four physical qubits, and between separated logical qubits using linear optics. We show how to prepare cluster states using this method. We include all non-nearest-neighbor effects in our calculations, and we assume the qubits are not located…
We investigate cat codes that can correct multiple excitation losses and identify two types of logical errors: bit-flip errors due to excessive excitation loss and dephasing errors due to quantum back-action from the environment. We show that selected choices of logical subspace and coherent amplitude can efficiently reduce dephasing errors. The trade-off between the two major errors enables optimized performance of cat codes in terms of minimized decoherence. With high coupling efficiency, we show that one-way quantum repeaters with cat codes feature drastically boosted secure communication r…
