If a quantum system A, which is initially correlated to another system, E, undergoes an evolution separated from E, then the correlation to E generally decreases. Here, we study the conditions under which the correlation disappears (almost) completely, resulting in a decoupling of A from E. We give a criterion for decoupling in terms of two smooth entropies, one quantifying the amount of initial correlation between A and E, and the other characterizing the mapping that describes the evolution of A. The criterion applies to arbitrary such mappings in the general one-shot setting. Furthermore, the criterion is tight for mappings that satisfy certain natural conditions. Decoupling has a number of applications both in physics and information theory, e.g., as a building block for quantum information processing protocols. As an example, we give a one-shot state merging protocol and show that it is essentially optimal in terms of its entanglement consumption/production.
We introduce a task that we call partial decoupling, in which a bipartite quantum state is transformed by a unitary operation on one of the two subsystems and then is subject to the action of a quantum channel. We assume that the subsystem is decomposed into a direct-sum-product form, which often appears in the context of quantum information theory. The unitary is chosen at random from the set of unitaries having a simple form under the decomposition. The goal of the task is to make the final state, for typical choices of the unitary, close to the averaged final state over the unitaries. We co…
One-shot decoupling is a powerful primitive in quantum information theory and was hypothesized to play a role in the black hole information paradox. We study black hole dynamics modeled by a trilinear Hamiltonian whose semiclassical limit gives rise to Hawking radiation. An explicit numerical calculation of the discretized path integral of the S-matrix shows that decoupling is exact in the continuous limit, implying that quantum information is perfectly transferred from the black hole to radiation. A striking consequence of decoupling is the emergence of an output radiation entropy profile tha…
We analyze a task in which classical and quantum messages are simultaneously communicated via a noisy quantum channel, assisted with a limited amount of shared entanglement. We derive direct and converse bounds for the one-shot capacity region, represented by the smooth conditional entropies and the error tolerance. The proof is based on the randomized partial decoupling theorem, which is a generalization of the decoupling theorem. The two bounds match in the asymptotic limit of infinitely many uses of a memoryless channel and coincide with the previous result obtained by Hsieh and Wilde. Dire…
In this work, we prove a novel one-shot multi-sender decoupling theorem generalising Dupuis result. We start off with a multipartite quantum state, say on A1 A2 R, where A1, A2 are treated as the two sender systems and R is the reference system. We apply independent Haar random unitaries in tensor product on A1 and A2 and then send the resulting systems through a quantum channel. We want the channel output B to be almost in tensor with the untouched reference R. Our main result shows that this is indeed the case if suitable entropic conditions are met. An immediate application of our main resu…
We develop a simple protocol for a one-shot version of quantum state redistribution, which is the most general two-terminal source coding problem. The protocol is simplified from a combination of protocols for the fully quantum reverse Shannon and fully quantum Slepian-Wolf problems, with its time-reversal symmetry being apparent. When the protocol is applied to the case where the redistributed states have a tensor power structure, more natural resource rates are obtained.
We address the question of efficient implementation of quantum protocols, with small communication and entanglement, and short depth circuit for encoding or decoding. We introduce two new methods to achieve this, the first method involving two new versions of convex-split lemma that use small amount of additional resource (in comparison to prior version) and the second method being inspired by the technique of classical correlated sampling in computer science. These lead to a series of new consequences, as follows. First, we consider the task of quantum decoupling, where the aim is to apply an…
Institute for Quantum Information, RWTH Aachen University（亚琛工业大学量子信息研究所）；Department of Electrical Engineering and Graduate Institute of Communication Engineering, National Taiwan University（台湾大学电机工程学系暨通信工程学研究所）；Department of Mathematics, National Taiwan University（台湾大学数学系）；Center for Quantum Science and Engineering, National Taiwan University（台湾大学量子科学与工程中心）；Physics/Mathematics Division, National Center for Theoretical Sciences（国家理论科学中心物理/数学组）；Hon Hai (Foxconn) Quantum Computing Center（鸿海（富士康）量子计算中心）
Most coding theorems in quantum Shannon theory can be proven using the decoupling technique: to send data through a channel, one guarantees that the environment gets no information about it; Uhlmann's theorem then ensures that the receiver must be able to decode. While a wide range of problems can be solved this way, one of the most basic coding problems remains impervious to a direct application of this method: sending classical information through a quantum channel. We will show that this problem can, in fact, be solved using decoupling ideas, specifically by proving a "dequantizing" theorem…
The use of the nuclear spins surrounding electron spin qubits as quantum registers and long-lived memories opens the way to new applications in quantum information and biological sensing. Hence, there is a need for generic and robust forms of control of the nuclear registers. Although adiabatic gates are widely used in quantum information, they can become too slow to outpace decoherence. Here, we introduce a technique whereby adiabatic gates arise from the dynamical decoupling protocols that simultaneously extend coherence. We illustrate this pulse-based adiabatic control for nuclear spins aro…
Single-shot readout of qubits is required for scalable quantum computing. Nuclear spins are superb quantum memories due to their long coherence times but are difficult to be read out in single shot due to their weak interaction with probes. Here we demonstrate single-shot readout of a weakly coupled $^{13}$C nuclear spin, which is unresolvable in traditional protocols. We use dynamical decoupling pulse sequences to selectively enhance the entanglement between the nuclear spin and a nitrogen-vacancy center electron spin, tuning the weak measurement of the nuclear spin to a strong, projective on…
Proving achievability of protocols in quantum Shannon theory usually does not consider the efficiency at which the goal of the protocol can be achieved. Nevertheless it is known that protocols such as coherent state merging are efficiently achievable at optimal rate. We aim to investigate this fact further in a general one-shot setting, by considering certain classes of decoupling theorems and give exact rates for these classes. Moreover we compare results of general decoupling theorems using Haar distributed unitaries with those using smaller sets of operators, in particular $ε$-approximate 2…
A dynamical decoupling method is presented which is based on embedding a deterministic decoupling scheme into a stochastic one. This way it is possible to combine the advantages of both methods and to increase the suppression of undesired perturbations of quantum systems significantly even for long interaction times. As a first application the stabilization of a quantum memory is discussed which is perturbed by one-and two-qubit interactions.
We consider a two-photon quantum model of radiation-matter interaction between a single two-level atom and a degenerate bimodal high-Q cavity field. Within this tripartite system the explicit construction of two collective radiation modes, one of which freely evolving and the other one quadratically coupled to the matter subsystem, is reported. Meaning and advantages of such a decoupling treatment are carefully discussed.
Hardware-Efficient Error Mitigation and Shot-Efficient Sampling on IBM Quantum Hardware
Quantum Information and Computation Centre, Department of Physics and Department of Computer Science and Engineering, Indian Institute of Technology Jodhpur（印度焦特普尔理工学院）
Long-lived optical quantum memories are of great importance for scalable distribution of entanglement over remote networks (e.g. quantum repeaters). Long-lived storage generally relies on storing the optical states as spin excitations since these often exhibit long coherence times. To extend the storage time beyond the intrinsic spin dephasing time one can use dynamical decoupling techniques. However, it has been shown that dynamical decoupling introduces noise in optical quantum memories based on ensembles of atoms. In this article a simple model is proposed to calculate the resulting signal-…
The noise decoupling problem is investigated for general N-level Markovian open quantum systems. Firstly, the concept of Cartan decomposition of the Lie algebra $su(N)$ is introduced as a tool of designing control Hamiltonians. Next, under certain assumptions, it is shown that a part of variables of the coherence vector of the system density matrix can be asymptotically decoupled from the environmental noises. The resulting noise decoupling scheme is applied to one-qubit, qutrit and two-qubit quantum systems, by which the coherence evolution of the one-qubit and qutrit systems can always be as…
The present thesis deals with various methods of quantum error correction. It is divided into two parts. In the first part, dynamical decoupling methods are considered which have the task of suppressing the influence of residual imperfections in a quantum memory. The suppression is achieved by altering the dynamics of an imperfect quantum memory with the help of a sequence of local unitary operations applied to the qudits. Whereas up to now the operations of such decoupling sequences have been constructed in a deterministic fashion, strategies are developed in this thesis which construct the o…
We investigate the optimal dynamical decoupling sequence for a qubit coupled to an ohmic environment. By analytically computing the derivatives of the decoherence function, the optimal pulse locations are found to satisfy a set of nonlinear equations which can be easily solved. These equations incorporates the environment information such as high-energy (UV) cutoff frequency ω_c, giving a complete description of the decoupling process. The solutions explain previous experimental and theoretical results of locally optimized dynamical decoupling (LODD) sequence in high-frequency dominated enviro…
Uhrig's dynamical decoupling pulse sequence has emerged as one universal and highly promising approach to decoherence suppression. So far both the theoretical and experimental studies have examined single-qubit decoherence only. This work extends Uhrig's universal dynamical decoupling from one-qubit to two-qubit systems and even to general multi-level quantum systems. In particular, we show that by designing appropriate control Hamiltonians for a two-qubit or a multi-level system, Uhrig's pulse sequence can also preserve a generalized quantum coherence measure to the order of $1+O(T^{N+1})$, w…
One of the major challenges in quantum computation has been to preserve the coherence of a quantum system against dephasing effects of the environment. The information stored in photon polarization, for example, is quickly lost due to such dephasing, and it is crucial to preserve the input states when one tries to transmit quantum information encoded in the photons through a communication channel. We propose a dynamical decoupling sequence to protect photonic qubits from dephasing by integrating wave plates into optical fiber at prescribed locations. We simulate random birefringent noise along…
We develop a hierarchical functional derivative method to investigate the reduced dynamics of a quantum dissipative system within the framework of a stochastic decoupling description. Keeping only the lowest order truncation of the hierarchical functional derivatives, one can recover the second order Nakajima-Zwanzig quantum master equation. Taking into account the higher-order corrections, our method can be implemented as a highly efficient numerical scheme for a general quantum dissipative system beyond the usual Markovian, rotating-wave, and weak-coupling approximations.
A dynamical decoupling scheme for the deterrence of errors in the non-Markovian (usually corresponding to low temperature, short time, and strong coupling) regimes suitable for qubits constructed out of a multilevel structure is studied. We use the effective spin-boson model (ESBM) introduced recently [K. Shiokawa and B. L. Hu, Phys. Rev. A70, 062106 (2004)] as a low temperature limit of the quantum Brownian oscillator model, where one can obtain exact solutions for a general environment with colored noises. In our decoupling scheme a train of pairs of strong pulses are used to evolve the inte…
An outstanding hurdle for defect spin qubits in silicon carbide (SiC) is single-shot readout - a deterministic measurement of the quantum state. Here, we demonstrate single-shot readout of single defects in SiC via spin-to-charge conversion, whereby the defect's spin state is mapped onto a long-lived charge state. With this technique, we achieve over 80% readout fidelity without pre- or post-selection, resulting in a high signal-to-noise ratio (SNR) that enables us to measure long spin coherence times. Combined with pulsed dynamical decoupling sequences in an isotopically purified host materia…
An exact general theory of heteronuclear decoupling is presented for spin-1/2 IS systems. RF irradiation applied to the I spins decouples the S spins by reversing the sign of antiphase magnetization. A one-to-one correspondence is demonstrated between the sign of $2S_yI_z$ and the sense of the S-spin coupling evolution, with magnetization $S_x$ refocused when $\int 2S_yI_z\,dt = 0$. The exact instantaneous coupling at any time during the decoupling sequence is readily obtained in terms of the system states, showing that the creation of two-spin coherence is crucial for reducing the coupling, a…
Consider a bipartite system, of which one subsystem, A, undergoes a physical evolution separated from the other subsystem, R. One may ask under which conditions this evolution destroys all initial correlations between the subsystems A and R, i.e. decouples the subsystems. A quantitative answer to this question is provided by decoupling theorems, which have been developed recently in the area of quantum information theory. This paper builds on preceding work, which shows that decoupling is achieved if the evolution on A consists of a typical unitary, chosen with respect to the Haar measure, fol…
We present an efficient algorithm for one- and two-component relativistic exact-decoupling calculations. Spin-orbit coupling is thus taken into account for the evaluation of relativistically transformed (one-electron) Hamiltonian. As the relativistic decoupling transformation has to be evaluated with primitive functions, the construction of the relativistic one-electron Hamiltonian becomes the bottleneck of the whole calculation for large molecules. For the established exact-decoupling protocols, a minimal matrix operation count is established and discussed in detail. Furthermore, we apply our…
We present an analytical formulation of the recent one-shot decoupling model of Bràdler and Adami [arXiv:1505.0284] and compute the resulting "Page Information" curves, for the reduced density matrices for the evaporating black hole internal degrees of freedom, and emitted Hawking radiation pairs entangled across the horizon. We argue that black hole evaporation/particle production has a very close analogy to the laboratory process of spontaneous parametric down conversion, when the pump is allowed to deplete.
