Author

David Sutter

50 papers · 1971–2026

1971peak 5 in 20142026

Frequent co-authors

Papers

showing 1–25 of 50 RSS

Universal recovery maps and approximate sufficiency of quantum relative entropy

Marius Junge, Renato Renner, David Sutter +2 more

quant-ph · September 2015 · cited 185× · arXiv ↗ · more like this ·

The data processing inequality states that the quantum relative entropy between two states $ρ$ and $σ$ can never increase by applying the same quantum channel $\mathcal{N}$ to both states. This inequality can be strengthened with a remainder term in the form of a distance between $ρ$ and the closest recovered state $(\mathcal{R} \circ \mathcal{N})(ρ)$, where $\mathcal{R}$ is a recovery map with the property that $σ= (\mathcal{R} \circ \mathcal{N})(σ)$. We show the existence of an explicit recovery map that is universal in the sense that it depends only on $σ$ and the quantum channel $\mathcal{N}$ to be reversed. This result gives an alternate, information-theoretic characterization of the conditions for approximate quantum error correction.

Circuit knitting with classical communication

Christophe Piveteau, David Sutter

quant-ph · May 2022 · cited 164× · arXiv ↗ · more like this ·

The scarcity of qubits is a major obstacle to the practical usage of quantum computers in the near future. To circumvent this problem, various circuit knitting techniques have been developed to partition large quantum circuits into subcircuits that fit on smaller devices, at the cost of a simulation overhead. In this work, we study a particular method of circuit knitting based on quasiprobability simulation of nonlocal gates with operations that act locally on the subcircuits. We investigate whether classical communication between these local quantum computers can help. We provide a positive answer by showing that for circuits containing $n$ nonlocal CNOT gates connecting two circuit parts, the simulation overhead can be reduced from $O(9^n)$ to $O(4^n)$ if one allows for classical information exchange. Similar improvements can be obtained for general Clifford gates and, at least in a…

Multivariate Trace Inequalities

David Sutter, Mario Berta, Marco Tomamichel

math-ph · April 2016 · cited 142× · arXiv ↗ · more like this ·

We prove several trace inequalities that extend the Golden-Thompson and the Araki-Lieb-Thirring inequality to arbitrarily many matrices. In particular, we strengthen Lieb's triple matrix inequality. As an example application of our four matrix extension of the Golden-Thompson inequality, we prove remainder terms for the monotonicity of the quantum relative entropy and strong sub-additivity of the von Neumann entropy in terms of recoverability. We find the first explicit remainder terms that are tight in the commutative case. Our proofs rely on complex interpolation theory as well as asymptotic spectral pinching, providing a transparent approach to treat generic multivariate trace inequalities.

Universal recovery map for approximate Markov chains

David Sutter, Omar Fawzi, Renato Renner

quant-ph · April 2015 · cited 92× · arXiv ↗ · more like this ·

A central question in quantum information theory is to determine how well lost information can be reconstructed. Crucially, the corresponding recovery operation should perform well without knowing the information to be reconstructed. In this work, we show that the quantum conditional mutual information measures the performance of such recovery operations. More precisely, we prove that the conditional mutual information $I(A:C|B)$ of a tripartite quantum state $ρ_{ABC}$ can be bounded from below by its distance to the closest recovered state $\mathcal{R}_{B \to BC}(ρ_{AB})$, where the $C$-part is reconstructed from the $B$-part only and the recovery map $\mathcal{R}_{B \to BC}$ merely depends on $ρ_{BC}$. One particular application of this result implies the equivalence between two different approaches to define topological order in quantum systems.

Approximate Degradable Quantum Channels

David Sutter, Volkher B. Scholz, Andreas Winter +1 more

quant-ph · December 2014 · cited 85× · arXiv ↗ · more like this ·

Degradable quantum channels are an important class of completely positive trace-preserving maps. Among other properties, they offer a single-letter formula for the quantum and the private classical capacity and are characterized by the fact that a complementary channel can be obtained from the channel by applying a degrading channel. In this work we introduce the concept of approximate degradable channels, which satisfy this condition up to some finite $\varepsilon\geq0$. That is, there exists a degrading channel which upon composition with the channel is $\varepsilon$-close in the diamond norm to the complementary channel. We show that for any fixed channel the smallest such $\varepsilon$ can be efficiently determined via a semidefinite program. Moreover, these approximate degradable channels also approximately inherit all other properties of degradable channels. As an application, we…

Strengthened Monotonicity of Relative Entropy via Pinched Petz Recovery Map

David Sutter, Marco Tomamichel, Aram W. Harrow

quant-ph · July 2015 · cited 82× · arXiv ↗ · more like this ·

The quantum relative entropy between two states satisfies a monotonicity property meaning that applying the same quantum channel to both states can never increase their relative entropy. It is known that this inequality is only tight when there is a "recovery map" that exactly reverses the effects of the quantum channel on both states. In this paper we strengthen this inequality by showing that the difference of relative entropies is bounded below by the measured relative entropy between the first state and a recovered state from its processed version. The recovery map is a convex combination of rotated Petz recovery maps and perfectly reverses the quantum channel on the second state. As a special case we reproduce recent lower bounds on the conditional mutual information such as the one proved in [Fawzi and Renner, Commun. Math. Phys., 2015]. Our proof only relies on elementary…

The complexity of quantum support vector machines

Gian Gentinetta, Arne Thomsen, David Sutter +1 more

quant-ph · March 2022 · cited 80× · arXiv ↗ · more like this ·

Quantum support vector machines employ quantum circuits to define the kernel function. It has been shown that this approach offers a provable exponential speedup compared to any known classical algorithm for certain data sets. The training of such models corresponds to solving a convex optimization problem either via its primal or dual formulation. Due to the probabilistic nature of quantum mechanics, the training algorithms are affected by statistical uncertainty, which has a major impact on their complexity. We show that the dual problem can be solved in $O(M^{4.67}/\varepsilon^2)$ quantum circuit evaluations, where $M$ denotes the size of the data set and $\varepsilon$ the solution accuracy compared to the ideal result from exact expectation values, which is only obtainable in theory. We prove under an empirically motivated assumption that the kernelized primal problem can…

Quasiprobability decompositions with reduced sampling overhead

Christophe Piveteau, David Sutter, Stefan Woerner

quant-ph · January 2021 · cited 79× · arXiv ↗ · more like this ·

Quantum error mitigation techniques can reduce noise on current quantum hardware without the need for fault-tolerant quantum error correction. For instance, the quasiprobability method simulates a noise-free quantum computer using a noisy one, with the caveat of only producing the correct expected values of observables. The cost of this error mitigation technique manifests as a sampling overhead which scales exponentially in the number of corrected gates. In this work, we present a new algorithm based on mathematical optimization that aims to choose the quasiprobability decomposition in a noise-aware manner. This directly leads to a significantly lower basis of the sampling overhead compared to existing approaches. A key element of the novel algorithm is a robust quasiprobability method that allows for a tradeoff between an approximation error and the sampling overhead via semidefinite…

A chain rule for the quantum relative entropy

Kun Fang, Omar Fawzi, Renato Renner +1 more

quant-ph · 12 Sep 2019 · cited 76× · arXiv ↗ · more like this ·

The chain rule for the classical relative entropy ensures that the relative entropy between probability distributions on multipartite systems can be decomposed into a sum of relative entropies of suitably chosen conditional distributions on the individual systems. Here, we prove a similar chain rule inequality for the quantum relative entropy in terms of channel relative entropies. The new chain rule allows us to solve an open problem in the context of asymptotic quantum channel discrimination: surprisingly, adaptive protocols cannot improve the error rate for asymmetric channel discrimination compared to non-adaptive strategies. In addition, we give examples of quantum channels showing that the channel relative entropy is not additive under the tensor product.

Optimal wire cutting with classical communication

Lukas Brenner, Christophe Piveteau, David Sutter

quant-ph · 7 Feb 2023 · cited 62× · arXiv ↗ · more like this ·

Circuit knitting is the process of partitioning large quantum circuits into smaller subcircuits such that the result of the original circuits can be deduced by only running the subcircuits. Such techniques will be crucial for near-term and early fault-tolerant quantum computers, as the limited number of qubits is likely to be a major bottleneck for demonstrating quantum advantage. One typically distinguishes between gate cuts and wire cuts when partitioning a circuit. The cost for any circuit knitting approach scales exponentially in the number of cuts. One possibility to realize a cut is via the quasiprobability simulation technique. In fact, we argue that all existing rigorous circuit knitting techniques can be understood in this framework. Furthermore, we characterize the optimal overhead for wire cuts where the subcircuits can exchange classical information or not. We show that the…

Exact and practical pattern matching for quantum circuit optimization

Raban Iten, Romain Moyard, Tony Metger +2 more

quant-ph · September 2019 · cited 62× · arXiv ↗ · more like this ·

Quantum computations are typically compiled into a circuit of basic quantum gates. Just like for classical circuits, a quantum compiler should optimize the quantum circuit, e.g. by minimizing the number of required gates. Optimizing quantum circuits is not only relevant for improving the runtime of quantum algorithms in the long term, but is also particularly important for near-term quantum devices that can only implement a small number of quantum gates before noise renders the computation useless. An important building block for many quantum circuit optimization techniques is pattern matching, where given a large and a small quantum circuit, we are interested in finding all maximal matches of the small circuit, called pattern, in the large circuit, considering pairwise commutation of quantum gates. In this work, we present a classical algorithm for pattern matching that provably finds…

An information-theoretic treatment of quantum dichotomies

Francesco Buscemi, David Sutter, Marco Tomamichel

quant-ph · July 2019 · cited 47× · arXiv ↗ · more like this ·

Given two pairs of quantum states, we want to decide if there exists a quantum channel that transforms one pair into the other. The theory of quantum statistical comparison and quantum relative majorization provides necessary and sufficient conditions for such a transformation to exist, but such conditions are typically difficult to check in practice. Here, by building upon work by Matsumoto, we relax the problem by allowing for small errors in one of the transformations. In this way, a simple sufficient condition can be formulated in terms of one-shot relative entropies of the two pairs. In the asymptotic setting where we consider sequences of state pairs, under some mild convergence conditions, this implies that the quantum relative entropy is the only relevant quantity deciding when a pairwise state transformation is possible. More precisely, if the relative entropy of the initial…

Achieving the Capacity of any DMC using only Polar Codes

David Sutter, Joseph M. Renes, Frédéric Dupuis +1 more

cs.IT · May 2012 · cited 40× · arXiv ↗ · more like this ·

We construct a channel coding scheme to achieve the capacity of any discrete memoryless channel based solely on the techniques of polar coding. In particular, we show how source polarization and randomness extraction via polarization can be employed to "shape" uniformly-distributed i.i.d. random variables into approximate i.i.d. random variables distributed ac- cording to the capacity-achieving distribution. We then combine this shaper with a variant of polar channel coding, constructed by the duality with source coding, to achieve the channel capacity. Our scheme inherits the low complexity encoder and decoder of polar coding. It differs conceptually from Gallager's method for achieving capacity, and we discuss the advantages and disadvantages of the two schemes. An application to the AWGN channel is discussed.

Efficient Approximation of Quantum Channel Capacities

David Sutter, Tobias Sutter, Peyman Mohajerin Esfahani +1 more

quant-ph · 30 Jul 2014 · cited 35× · arXiv ↗ · more like this ·

We propose an iterative method for approximating the capacity of classical-quantum channels with a discrete input alphabet and a finite dimensional output, possibly under additional constraints on the input distribution. Based on duality of convex programming, we derive explicit upper and lower bounds for the capacity. To provide an $\varepsilon$-close estimate to the capacity, the presented algorithm requires $O(\tfrac{(N \vee M) M^3 \log(N)^{1/2}}{\varepsilon})$, where $N$ denotes the input alphabet size and $M$ the output dimension. We then generalize the method for the task of approximating the capacity of classical-quantum channels with a bounded continuous input alphabet and a finite dimensional output. For channels with a finite dimensional quantum mechanical input and output, the idea of a universal encoder allows us to approximate the Holevo capacity using the same method. In…

Error Bounds for Variational Quantum Time Evolution

Christa Zoufal, David Sutter, Stefan Woerner

quant-ph · August 2021 · cited 34× · arXiv ↗ · more like this ·

Variational quantum time evolution allows us to simulate the time dynamics of quantum systems with near-term compatible quantum circuits. Due to the variational nature of this method the accuracy of the simulation is a priori unknown. We derive global phase agnostic error bounds for the state simulation accuracy with variational quantum time evolution that improve the tightness of fidelity estimates over existing error bounds. These analysis tools are practically crucial for assessing the quality of the simulation and making informed choices about simulation hyper-parameters. The efficient, a posteriori evaluation of the bounds can be tightly integrated with the variational time simulation and, hence, results in a minor resource overhead which is governed by the system's energy variance. The performance of the novel error bounds is demonstrated on numerical examples.

Efficient Quantum Polar Codes Requiring No Preshared Entanglement

Joseph M. Renes, David Sutter, Frédéric Dupuis +1 more

quant-ph · July 2013 · cited 24× · arXiv ↗ · more like this ·

We construct an explicit quantum coding scheme which achieves a communication rate not less than the coherent information when used to transmit quantum information over a noisy quantum channel. For Pauli and erasure channels we also present efficient encoding and decoding algorithms for this communication scheme based on polar codes (essentially linear in the blocklength), but which do not require the sender and receiver to share any entanglement before the protocol begins. Due to the existence of degeneracies in the involved error-correcting codes it is indeed possible that the rate of the scheme exceeds the coherent information. We provide a simple criterion which indicates such performance. Finally we discuss how the scheme can be used for secret key distillation as well as private channel coding.

Quantum Kernel Alignment with Stochastic Gradient Descent

Gian Gentinetta, David Sutter, Christa Zoufal +2 more

quant-ph · 19 Apr 2023 · cited 22× · arXiv ↗ · more like this ·

Quantum support vector machines have the potential to achieve a quantum speedup for solving certain machine learning problems. The key challenge for doing so is finding good quantum kernels for a given data set -- a task called kernel alignment. In this paper we study this problem using the Pegasos algorithm, which is an algorithm that uses stochastic gradient descent to solve the support vector machine optimization problem. We extend Pegasos to the quantum case and and demonstrate its effectiveness for kernel alignment. Unlike previous work which performs kernel alignment by training a QSVM within an outer optimization loop, we show that using Pegasos it is possible to simultaneously train the support vector machine and align the kernel. Our experiments show that this approach is capable of aligning quantum feature maps with high accuracy, and outperforms existing quantum kernel…

Universal Polar Codes for More Capable and Less Noisy Channels and Sources

David Sutter, Joseph M. Renes

cs.IT · December 2013 · cited 22× · arXiv ↗ · more like this ·

We prove two results on the universality of polar codes for source coding and channel communication. First, we show that for any polar code built for a source $P_{X,Z}$ there exists a slightly modified polar code - having the same rate, the same encoding and decoding complexity and the same error rate - that is universal for every source $P_{X,Y}$ when using successive cancellation decoding, at least when the channel $P_{Y|X}$ is more capable than $P_{Z|X}$ and $P_X$ is such that it maximizes $I(X;Y) - I(X;Z)$ for the given channels $P_{Y|X}$ and $P_{Z|X}$. This result extends to channel coding for discrete memoryless channels. Second, we prove that polar codes using successive cancellation decoding are universal for less noisy discrete memoryless channels.

Necessary criterion for approximate recoverability

David Sutter, Renato Renner

quant-ph · May 2017 · cited 13× · arXiv ↗ · more like this ·

A tripartite state $ρ_{ABC}$ forms a Markov chain if there exists a recovery map $\mathcal{R}_{B \to BC}$ acting only on the $B$-part that perfectly reconstructs $ρ_{ABC}$ from $ρ_{AB}$. To achieve an approximate reconstruction, it suffices that the conditional mutual information $I(A:C|B)_ρ$ is small, as shown recently. Here we ask what conditions are necessary for approximate state reconstruction. This is answered by a lower bound on the relative entropy between $ρ_{ABC}$ and the recovered state $\mathcal{R}_{B\to BC}(ρ_{AB})$. The bound consists of the conditional mutual information and an entropic correction term that quantifies the disturbance of the $B$-part by the recovery map.

Cutting circuits with multiple two-qubit unitaries

Lukas Schmitt, Christophe Piveteau, David Sutter

quant-ph · December 2023 · cited 8× · arXiv ↗ · more like this ·

Quasiprobabilistic cutting techniques allow us to partition large quantum circuits into smaller subcircuits by replacing non-local gates with probabilistic mixtures of local gates. The cost of this method is a sampling overhead that scales exponentially in the number of cuts. It is crucial to determine the minimal cost for gate cutting and to understand whether allowing for classical communication between subcircuits can improve the sampling overhead. In this work, we derive a closed formula for the optimal sampling overhead for cutting an arbitrary number of two-qubit unitaries and provide the corresponding decomposition. We find that cutting several arbitrary two-qubit unitaries together is cheaper than cutting them individually and classical communication does not give any advantage.

Alignment of Polarized Sets

Joseph M. Renes, David Sutter, S. Hamed Hassani

cs.IT · 28 Nov 2014 · cited 8× · arXiv ↗ · more like this ·

Arıkan's polar coding technique is based on the idea of synthesizing $n$ channels from the $n$ instances of the physical channel by a simple linear encoding transformation. Each synthesized channel corresponds to a particular input to the encoder. For large $n$, the synthesized channels become either essentially noiseless or almost perfectly noisy, but in total carry as much information as the original $n$ channels. Capacity can therefore be achieved by transmitting messages over the essentially noiseless synthesized channels. Unfortunately, the set of inputs corresponding to reliable synthesized channels is poorly understood, in particular how the set depends on the underlying physical channel. In this work, we present two analytic conditions sufficient to determine if the reliable inputs corresponding to different discrete memoryless channels are aligned or not, i.e. if one set is…

Quantum Markov chains and logarithmic trace inequalities

David Sutter, Mario Berta, Marco Tomamichel

Artificial Intelligence · CaltechAUTHORS (California Institute of Technology) · June 2017 · cited 7× · DOI ↗ · more like this ·

A Markov chain is a tripartite quantum state ρ ABC where there exists a recovery map R B→BC such that ρ ABC = R B→BC (ρ AB ). More generally, an approximate Markov chain ρ ABC is a state whose distance to the closest recovered state R <sub xmlns:mml="http://www.w3.org/1998/Math/MathML"…

Universal recoverability in quantum information

Marius Junge, Renato Renner, David Sutter +2 more

Artificial Intelligence · Repository for Publications and Research Data (ETH Zurich) · July 2016 · cited 7× · DOI ↗ · more like this ·

The quantum relative entropy is well known to obey a monotonicity property (i.e., it does not increase under the action of a quantum channel). Here we present several refinements of this entropy inequality, some of which have a physical interpretation in terms of recovery from the action of the channel. The recovery channel given here is explicit and universal, depending only on the channel and one of the arguments to the relative entropy.

Efficient quantum channel coding scheme requiring no preshared entanglement

David Sutter, Joseph M. Renes, Frédéric Dupuis +1 more

Artificial Intelligence · July 2013 · cited 7× · DOI ↗ · more like this ·

We construct an explicit entanglement distillation scheme which achieves the coherent information when used to send quantum information over a noisy quantum channel. For Pauli and erasure channels we present efficient encoding and decoding algorithms based on polar codes. Unlike previous constructions, this scheme does not require the sender and receiver to share noiseless entanglement before the protocol begins. It is possible, but still unproven, that the scheme even achieves a rate beyond the coherent information, due to degeneracies of certain error correcting codes. Finally we discuss how the scheme can be used for secret key distillation and private channel coding.

A Multiplexed Control System for the NAL Main Accelerator

David Sutter

Computer Networks and Communications · IEEE Transactions on Nuclear Science · 1971 · cited 6× · DOI ↗ · more like this ·

The control system for the NAL Main Accelerator Ring is based on a distributed multiplex technique which uses serial transmission of digital data to link 24 service buildings to a central computer system. Each service building contains logic for conversion of serial data to parallel format and parallel to serial. Data transmission cables form a large loop that extends around the four mile circumference of the accelerator so that data transmitted from a central communications controller goes to each service building sequentially and is then returned to the central controller. The communications controller is an integral part of the interface electronics for a MAC-16 minicomputer which serves as a real-time controller for ring subsystems. The MAC-16 is connected to control console electronics and to a second minicomputer used for Main Ring power supply fine control. In the near future…