Arbitrary Quantum Channel Research Articles

Shadow process tomography of quantum channels

Quantum process tomography is a critical capability for building quantum computers, enabling quantum networks, and understanding quantum sensors. Like quantum state tomography, the process tomography of an arbitrary quantum channel requires a number of measurements that scales exponentially in the number of quantum bits affected. However, the recent field of shadow tomography, applied to quantum states, has demonstrated the ability to extract key information about a state with only polynomially many measurements. In this work, we apply the concepts of shadow state tomography to the challenge of characterizing quantum processes. We make use of the Choi isomorphism to directly apply rigorous bounds from shadow state tomography to shadow process tomography, and we find additional bounds on the number of measurements that are unique to process tomography. Our results, which include algorithms for implementing shadow process tomography, enable new techniques including evaluation of channel concatenation and the application of channels to shadows of quantum states. This provides a dramatic improvement for understanding large-scale quantum systems.

No-go theorem and a universal decomposition strategy for quantum channel compilation

We rigorously prove a no-go theorem that, in sharp contrast to the case of compiling unitary gates, it is impossible to compile an arbitrary channel to arbitrary precision with any given finite elementary channel set, regardless of the length of the decomposition sequence. However, for a fixed error bound $\ensuremath{\epsilon}$, we find a general and systematic strategy to compile arbitrary quantum channels. We construct a universal set with a constant number of $\ensuremath{\epsilon}$-dependent elementary channels, such that an arbitrary quantum channel can be decomposed into a sequence of these elementary channels followed by a unitary gate, with the sequence length bounded by $O(\frac{1}{\ensuremath{\epsilon}}log\frac{1}{\ensuremath{\epsilon}})$ in the worst case. We further optimize this approach by exploiting proximal policy optimization---a powerful deep reinforcement learning algorithm for the gate compilation. We numerically evaluate the performance of our algorithm concerning topological compiling of Majorana fermions, and we show that our algorithm can conveniently and effectively reduce the use of expensive elementary operations.

Optimal form of the Kretschmann–Schlingemann–Werner theorem for energy-constrained quantum channels and operations

It is proved that the energy-constrained Bures distance between arbitrary infinite-dimensional quantum channels is equal to the operator E-norm distance from any given Stinespring isometry of one channel to the set of all Stinespring isometries of another channel with the same environment. The same result is shown to be valid for arbitrary quantum operations.

Linear Programming Bounds for Approximate Quantum Error Correction Over Arbitrary Quantum Channels

While quantum weight enumerators establish some of the best upper bounds on the minimum distance of quantum error-correcting codes, these bounds are not optimized to quantify the performance of quantum codes under the effect of arbitrary quantum channels that describe bespoke noise models. Herein, for any Kraus decomposition of any given quantum channel, we introduce corresponding quantum weight enumerators that naturally generalize the Shor-Laflamme quantum weight enumerators. We establish an indirect linear relationship between these generalized quantum weight enumerators by introducing an auxiliary exact weight enumerator that completely quantifies the quantum code's projector, and is independent of the underlying noise process. By additionally working within the framework of approximate quantum error correction, we establish a general framework for constructing a linear program that is infeasible whenever approximate quantum error correcting codes with corresponding parameters do not exist. Our linear programming framework allows us to establish the non-existence of certain quantum codes that approximately correct amplitude damping errors, and obtain non-trivial upper bounds on the maximum dimension of a broad family of permutation-invariant quantum codes.

“Interaction-Free” Channel Discrimination

In this work, we investigate the question of which objects can be discriminated by totally “interaction-free” measurements. To this end, we interpret the Elitzur–Vaidman bomb-tester experiment as a quantum channel discrimination problem and generalize the notion of “interaction-free” measurement to arbitrary quantum channels. Our main result is a necessary and sufficient criterion for when it is possible or impossible to discriminate quantum channels in an “interaction-free” manner (i.e., such that the discrimination error probability and the “interaction” probability can be made arbitrarily small). For the case where our condition holds, we devise an explicit protocol with the property that both probabilities approach zero with an increasing number of channel uses, N. More specifically, the “interaction” probability in our protocol decays as frac{1}{N} and we show that this rate is the optimal achievable one. Furthermore, our protocol only needs at most one ancillary qubit and might thus be implementable in near-term experiments. For the case where our condition does not hold, we prove an inequality that quantifies the trade-off between the error probability and the “interaction” probability.

Variational estimation of capacity bounds for quantum channels

We propose a framework to variationally obtain detectable capacity bounds for quantum channels. The proposal of this framework is motivated by the difficulty of estimating the von Neumann entropy of an unknown quantum state. Instead of estimating the von Neumann entropy at the channel output, we propose to estimate the state purity---which can be measured by a single measurement setting---followed by bounding the von Neumann entropy from above and below. This procedure leads to new upper and lower bounds on various communication rates of quantum channels for some fixed input states. Then, by utilizing the variational method to find optimal input states we obtain lower bounds on (i) the quantum capacity of arbitrary channels, (ii) the entanglement-assisted classical capacity of arbitrary channels, and (iii) the classical capacity of covariant channels. Corresponding to these lower bounds, we also obtain upper bounds on (i) $N$-shot coherent information, (ii) the entanglement-assisted classical capacity, and (iii) the $N$-shot Holevo capacity of arbitrary quantum channels. All these bounds can be estimated by a single measurement setting without needing a full process tomography or any further a priori knowledge, e.g., preferred basis of the channel.

Usefulness of adaptive strategies in asymptotic quantum channel discrimination

Adaptiveness is a key principle in information processing including statistics and machine learning. We investigate the usefulness adaptive methods in the framework of asymptotic binary hypothesis testing, when each hypothesis represents asymptotically many independent instances of a quantum channel, and the tests are based on using the unknown channel and observing outputs. Unlike the familiar setting of quantum states as hypotheses, there is a fundamental distinction between adaptive and nonadaptive strategies with respect to the channel uses, and we introduce a number of further variants of the discrimination tasks by imposing different restrictions on the test strategies. The following results are obtained: (1) We prove that for classical-quantum channels, adaptive and nonadaptive strategies lead to the same error exponents both in the symmetric (Chernoff) and asymmetric (Hoeffding, Stein) settings. (2) The first separation between adaptive and nonadaptive symmetric hypothesis testing exponents for quantum channels, which we derive from a general lower bound on the error probability for nonadaptive strategies; the concrete example we analyze is a pair of entanglement-breaking channels. (3) We prove, in some sense generalizing the previous statement, that for general channels adaptive strategies restricted to classical feed-forward and product state channel inputs are not superior in the asymptotic limit to nonadaptive product state strategies. (4) As an application of our findings, we address the discrimination power of an arbitrary quantum channel and show that adaptive strategies with classical feedback and no quantum memory at the input do not increase the discrimination power of the channel beyond nonadaptive tensor product input strategies.

Universal control of quantum processes using sector-preserving channels

No quantum circuit can turn a completely unknown unitary gate into its coherently controlled version. Yet, coherent control of unknown gates has been realised in experiments, making use of a different type of initial resources. Here, we formalise the task achieved by these experiments, extending it to the control of arbitrary noisy channels, and to more general types of control involving higher dimensional control systems. For the standard notion of coherent control, we identify the information-theoretic resource for controlling an arbitrary quantum channel on a $d$-dimensional system: specifically, the resource is an extended quantum channel acting as the original channel on a $d$-dimensional sector of a $(d+1)$-dimensional system. Using this resource, arbitrary controlled channels can be built with a universal circuit architecture. We then extend the standard notion of control to more general notions, including control of multiple channels with possibly different input and output systems. Finally, we develop a theoretical framework, called supermaps on routed channels, which provides a compact representation of coherent control as an operation performed on the extended channels, and highlights the way the operation acts on different sectors.

Universal Limitations on Quantum Key Distribution over a Network

We consider the distribution of secret keys, both in a bipartite and a multipartite (conference) setting, via a quantum network and establish a framework to obtain bounds on the achievable rates. We show that any multipartite private state--the output of a protocol distilling secret key among the trusted parties--has to be genuinely multipartite entangled. In order to describe general network settings, we introduce a multiplex quantum channel, which links an arbitrary number of parties, where each party can take the role of sender only, receiver only, or both sender and receiver. We define asymptotic and non-asymptotic LOCC-assisted secret-key-agreement (SKA) capacities for multiplex quantum channels and provide strong and weak converse bounds. The structure of the protocols we consider, manifested by an adaptive strategy of secret key and entanglement [Greenberger-Horne-Zeilinger (GHZ state)] distillation over an arbitrary multiplex quantum channel, is generic. As a result, our approach also allows us to study the performance of quantum key repeaters and measurement-device-independent quantum key distribution (MDI-QKD) setups. For teleportation-covariant multiplex quantum channels, we get upper bounds on the SKA capacities in terms of the entanglement measures of their Choi states. We also obtain bounds on the rates at which secret key and GHZ states can be distilled from a finite number of copies of an arbitrary multipartite quantum state. We are able to determine the capacities for MDI-QKD setups and rates of GHZ-state distillation for some cases of interest.

Resource theory of unextendibility and nonasymptotic quantum capacity

In this paper, we introduce the resource theory of unextendibility as a relaxation of the resource theory of entanglement. The free states in this resource theory are the k-extendible states, associated with the inability to extend quantum entanglement in a given quantum state to multiple parties. The free channels are k-extendible channels, which preserve the class of k-extendible states. We define several quantifiers of unextendibility by means of generalized divergences and establish their properties. By utilizing this resource theory, we obtain non-asymptotic upper bounds on the rate at which quantum communication or entanglement preservation is possible over a finite number of uses of an arbitrary quantum channel assisted by k-extendible channels at no cost. These bounds are significantly tighter than previously known bounds for both the depolarizing and erasure channels. Finally, we revisit the pretty strong converse for the quantum capacity of antidegradable channels and establish an upper bound on the non-asymptotic quantum capacity of these channels.

Asymptotic relative submajorization of multiple-state boxes

Pairs of states, or “boxes” are the basic objects in the resource theory of asymmetric distinguishability (Wang and Wilde in Phys Rev Res 1(3):033170, 2019. https://doi.org/10.1103/PhysRevResearch.1.033170), where free operations are arbitrary quantum channels that are applied to both states. From this point of view, hypothesis testing is seen as a process by which a standard form of distinguishability is distilled. Motivated by the more general problem of quantum state discrimination, we consider boxes of a fixed finite number of states and study an extension of the relative submajorization preorder to such objects. In this relation, a tuple of positive operators is greater than another if there is a completely positive trace nonincreasing map under which the image of the first tuple satisfies certain semidefinite constraints relative to the other one. This preorder characterizes error probabilities in the case of testing a composite null hypothesis against a simple alternative hypothesis, as well as certain error probabilities in state discrimination. We present a sufficient condition for the existence of catalytic transformations between boxes, and a characterization of an associated asymptotic preorder, both expressed in terms of sandwiched Rényi divergences. This characterization of the asymptotic preorder directly shows that the strong converse exponent for a composite null hypothesis is equal to the maximum of the corresponding exponents for the pairwise simple hypothesis testing tasks.

Infinite-Dimensional Programmable Quantum Processors

A universal programmable quantum processor uses program quantum states to apply an arbitrary quantum channel to an input state. We generalize the concept of a finite-dimensional programmable quantum processor to infinite dimension assuming an energy constraint on the input and output of the target quantum channels. By proving reductions to and from finite-dimensional processors, we obtain upper and lower bounds on the program dimension required to approximately implement energy-limited quantum channels. In particular, we consider the implementation of Gaussian channels. Due to their practical relevance, we investigate the resource requirements for gauge-covariant Gaussian channels. Additionally, we give upper and lower bounds on the program dimension of a processor implementing all Gaussian unitary channels. These lower bounds rely on a direct information-theoretic argument, based on the generalization from finite to infinite dimension of a certain replication lemma for unitaries.

Dynamical Coulomb blockade under a temperature bias

We observe and comprehend the dynamical Coulomb blockade suppression of the electrical conductance across an electronic quantum channel submitted to a temperature difference. A broadly tunable, spin-polarized Ga(Al)As quantum channel is connected on-chip, through a micron-scale metallic node, to a linear $RC$ circuit. The latter is made up of the node's geometrical capacitance $C$ in parallel with an adjustable resistance $R\in \{1/2,1/3,1/4\}\times h/e^2$ formed by 2--4 quantum Hall channels. The system is characterized by three temperatures: a temperature of the electrons in the large electrodes ($T$) and in the node ($T_\mathrm{node}$), and a temperature of the electromagnetic modes of the $RC$ circuit ($T_\mathrm{env}$). The temperature in the node is selectively increased by local Joule dissipation, and characterized from current fluctuations. For a quantum channel in the tunnel regime, a close match is found between conductance measurements and tunnel dynamical Coulomb blockade theory. In the opposite near ballistic regime, we develop a theory that accounts for different electronic and electromagnetic bath temperatures, again in very good agreement with experimental data. Beyond these regimes, for an arbitrary quantum channel set in the far out-of-equilibrium situation where the temperature in the node significantly exceeds the one in the large electrodes, the equilibrium (uniform temperature) prediction for the conductance is recovered, albeit at a rescaled temperature $\alpha T_\mathrm{node}$.

Asymptotic Theory of Quantum Channel Estimation

The quantum Fisher information (QFI), as a function of quantum states, measures the amount of information that a quantum state carries about an unknown parameter. The (entanglement-assisted) QFI of a quantum channel is defined to be the maximum QFI of the output state assuming an entangled input state over a single probe and an ancilla. In quantum metrology, people are interested in calculating the QFI of N identical copies of a quantum channel when N→∞, which is called the asymptotic QFI. Over the years, researchers found various types of upper bounds of the asymptotic QFI, but they were proven achievable only in several specific situations. It was known that the asymptotic QFI of an arbitrary quantum channel grows either linearly or quadratically with N. Here we show that a simple criterion can determine whether the scaling is linear or quadratic. In both cases, the asymptotic QFI and a quantum error correction protocol to achieve it are computable via a semidefinite program. When the scaling is quadratic, the Heisenberg limit, a feature of noiseless quantum channels, is recovered. When the scaling is linear, we show that the asymptotic QFI is still in general larger than N times the single-channel QFI and, furthermore, that sequential estimation strategies provide no advantage over parallel ones.Received 23 March 2020Revised 20 December 2020Accepted 26 February 2021DOI:https://doi.org/10.1103/PRXQuantum.2.010343Published by the American Physical Society under the terms of the Creative Commons Attribution 4.0 International license. Further distribution of this work must maintain attribution to the author(s) and the published article's title, journal citation, and DOI.Published by the American Physical SocietyPhysics Subject Headings (PhySH)Research AreasQuantum error correctionQuantum metrologyQuantum sensingQuantum Information

Convex optimization of programmable quantum computers

A fundamental model of quantum computation is the programmable quantum gate array. This is a quantum processor that is fed by a program state that induces a corresponding quantum operation on input states. While being programmable, any finite-dimensional design of this model is known to be nonuniversal, meaning that the processor cannot perfectly simulate an arbitrary quantum channel over the input. Characterizing how close the simulation is and finding the optimal program state have been open questions for the past 20 years. Here, we answer these questions by showing that the search for the optimal program state is a convex optimization problem that can be solved via semidefinite programming and gradient-based methods commonly employed for machine learning. We apply this general result to different types of processors, from a shallow design based on quantum teleportation, to deeper schemes relying on port-based teleportation and parametric quantum circuits.

Resource theory of asymmetric distinguishability

This paper systematically develops the resource theory of asymmetric distinguishability, as initiated roughly a decade ago [K. Matsumoto, arXiv:1010.1030 (2010)]. The key constituents of this resource theory are quantum boxes, consisting of a pair of quantum states, which can be manipulated for free by means of an arbitrary quantum channel. We introduce bits of asymmetric distinguishability as the basic currency in this resource theory, and we prove that it is a reversible resource theory in the asymptotic limit, with the quantum relative entropy being the fundamental rate of resource interconversion. The distillable distinguishability is the optimal rate at which a quantum box consisting of independent and identically distributed (i.i.d.) states can be converted to bits of asymmetric distinguishability, and the distinguishability cost is the optimal rate for the reverse transformation. Both of these quantities are equal to the quantum relative entropy. The exact one-shot distillable distinguishability is equal to the min-relative entropy, and the exact one-shot distinguishability cost is equal to the max-relative entropy. Generalizing these results, the approximate one-shot distillable distinguishability is equal to the smooth min-relative entropy, and the approximate one-shot distinguishability cost is equal to the smooth max-relative entropy. As a notable application of the former results, we prove that the optimal rate of asymptotic conversion from a pair of i.i.d. quantum states to another pair of i.i.d. quantum states is fully characterized by the ratio of their quantum relative entropies.

Multicarrier continuous-variable quantum key distribution

The multicarrier continuous-variable quantum key distribution (CVQKD) protocol is defined. In a CVQKD protocol, the information is conveyed by coherent quantum states. The quantum continuous variables are sent through a noisy quantum channel. For a quantum channel with additive-multiplicative noise both additive and multiplicative disturbances are present in the transmission. The multiplicative disturbance is an inherent attribute of diverse physical environments. Physical links with additive and multiplicative disturbances can represent a more general approach than purely additive noise links in several practical scenarios. In a standard CVQKD setting, the noise is modeled as an additive white Gaussian noise caused by an eavesdropper (Gaussian quantum link). As a corollary, standard CVQKD protocols are not optimal for arbitrary Gaussian quantum channels if multiplicative disturbances are also present in the physical link. Here, we define the adaptive multicarrier quadrature division (AMQD) modulation technique for CVQKD. The AMQD method is optimal for arbitrary Gaussian quantum channels with arbitrary multiplicative disturbances. The protocol granulates the Gaussian random input into Gaussian subcarrier continuous variables in the encoding phase, which are then decoded by a continuous unitary transformation. The subcarrier coherent variables formulate sub-channels from the physical link which leads to improved transmission efficiency, higher tolerable loss, and excess noise in comparison to standard CVQKD protocols. We also derive the security proof of multicarrier CVQKD at optimal Gaussian attacks in the finite-size and asymptotic regimes.

Tensorization of the strong data processing inequality for quantum chi-square divergences

It is well-known that any quantum channel E satisfies the data processing inequality (DPI), with respect to various divergences, e.g., quantum χκ2 divergences and quantum relative entropy. More specifically, the data processing inequality states that the divergence between two arbitrary quantum states ρ and σ does not increase under the action of any quantum channel E. For a fixed channel E and a state σ, the divergence between output states E(ρ) and E(σ) might be strictly smaller than the divergence between input states ρ and σ, which is characterized by the strong data processing inequality (SDPI). Among various input states ρ, the largest value of the rate of contraction is known as the SDPI constant. An important and widely studied property for classical channels is that SDPI constants tensorize. In this paper, we extend the tensorization property to the quantum regime: we establish the tensorization of SDPIs for the quantum χκ1/22 divergence for arbitrary quantum channels and also for a family of χκ2 divergences (with κ≥κ1/2) for arbitrary quantum-classical channels.

Bounds for multi-end communication over quantum networks

Quantum and private communications are affected by a fundamental limitation which severely restricts the optimal rates that are achievable by two distant parties. To overcome this problem, one needs to introduce quantum repeaters and, more generally, quantum communication networks. Within a quantum network, other problems and features may appear when we move from the basic unicast setting of single-sender/single-receiver to more complex multiend scenarios, where multiple senders and multiple receivers simultaneously use the network to communicate. Assuming various configurations, including multiple-unicast, multicast, and multiple-multicast communication, we bound the optimal rates for transmitting quantum information, distributing entanglement, or generating secret keys in quantum networks connected by arbitrary quantum channels. These bounds cannot be surpassed by the most general adaptive protocols of quantum network communication.

A strengthened data processing inequality for the Belavkin–Staszewski relative entropy

In this work, we provide a strengthening of the data processing inequality for the relative entropy introduced by Belavkin and Staszewski (BS-entropy). This extends previous results by Carlen and Vershynina for the relative entropy and other standard [Formula: see text]-divergences. To this end, we provide two new equivalent conditions for the equality case of the data processing inequality for the BS-entropy. Subsequently, we extend our result to a larger class of maximal [Formula: see text]-divergences. Here, we first focus on quantum channels which are conditional expectations onto subalgebras and use the Stinespring dilation to lift our results to arbitrary quantum channels.