-
Learning pure quantum states (almost) without regret
Authors:
Josep Lumbreras,
Mikhail Terekhov,
Marco Tomamichel
Abstract:
We initiate the study of quantum state tomography with minimal regret. A learner has sequential oracle access to an unknown pure quantum state, and in each round selects a pure probe state. Regret is incurred if the unknown state is measured orthogonal to this probe, and the learner's goal is to minimise the expected cumulative regret over $T$ rounds. The challenge is to find a balance between the…
▽ More
We initiate the study of quantum state tomography with minimal regret. A learner has sequential oracle access to an unknown pure quantum state, and in each round selects a pure probe state. Regret is incurred if the unknown state is measured orthogonal to this probe, and the learner's goal is to minimise the expected cumulative regret over $T$ rounds. The challenge is to find a balance between the most informative measurements and measurements incurring minimal regret. We show that the cumulative regret scales as $Θ(\operatorname{polylog} T)$ using a new tomography algorithm based on a median of means least squares estimator. This algorithm employs measurements biased towards the unknown state and produces online estimates that are optimal (up to logarithmic terms) in the number of observed samples.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Quantum Channel Simulation in Fidelity is no more difficult than State Splitting
Authors:
Michael X. Cao,
Rahul Jain,
Marco Tomamichel
Abstract:
Characterizing the minimal communication needed for the quantum channel simulation is a fundamental task in the quantum information theory. In this paper, we show that, in fidelity, the quantum channel simulation can be directly achieved via quantum state splitting without using a technique known as the de~Finetti reduction, and thus provide a pair of tighter one-shot bounds. Using the bounds, we…
▽ More
Characterizing the minimal communication needed for the quantum channel simulation is a fundamental task in the quantum information theory. In this paper, we show that, in fidelity, the quantum channel simulation can be directly achieved via quantum state splitting without using a technique known as the de~Finetti reduction, and thus provide a pair of tighter one-shot bounds. Using the bounds, we also recover the quantum reverse Shannon theorem in a much simpler way.
△ Less
Submitted 24 June, 2024; v1 submitted 21 March, 2024;
originally announced March 2024.
-
On the composable security of weak coin flip**
Authors:
Jiawei Wu,
Yanglin Hu,
Akshay Bansal,
Marco Tomamichel
Abstract:
Weak coin flip** is a cryptographic primitive in which two mutually distrustful parties generate a shared random bit to agree on a winner via remote communication. While a stand-alone secure weak coin flip** protocol can be constructed from noiseless communication channels, its composability has not been explored. In this work, we demonstrate that no weak coin flip** protocol can be abstract…
▽ More
Weak coin flip** is a cryptographic primitive in which two mutually distrustful parties generate a shared random bit to agree on a winner via remote communication. While a stand-alone secure weak coin flip** protocol can be constructed from noiseless communication channels, its composability has not been explored. In this work, we demonstrate that no weak coin flip** protocol can be abstracted into a black box resource with composable security. Despite this, we also establish the overall stand-alone security of weak coin flip** protocols under sequential composition.
△ Less
Submitted 21 June, 2024; v1 submitted 23 February, 2024;
originally announced February 2024.
-
A fixed-point algorithm for matrix projections with applications in quantum information
Authors:
Shrigyan Brahmachari,
Roberto Rubboli,
Marco Tomamichel
Abstract:
We develop a simple fixed-point iterative algorithm that computes the matrix projection with respect to the Bures distance on the set of positive definite matrices that are invariant under some symmetry. We prove that the fixed-point iteration algorithm converges exponentially fast to the optimal solution in the number of iterations. Moreover, it numerically shows fast convergence compared to the…
▽ More
We develop a simple fixed-point iterative algorithm that computes the matrix projection with respect to the Bures distance on the set of positive definite matrices that are invariant under some symmetry. We prove that the fixed-point iteration algorithm converges exponentially fast to the optimal solution in the number of iterations. Moreover, it numerically shows fast convergence compared to the off-the-shelf semidefinite program solvers. Our algorithm, for the specific case of matrix barycenters, recovers the fixed-point iterative algorithm originally introduced in (Álvarez-Esteban et al., 2016). Compared to previous works, our proof is more general and direct as it is based only on simple matrix inequalities. Finally, we discuss several applications of our algorithm in quantum resource theories and quantum Shannon theory.
△ Less
Submitted 12 March, 2024; v1 submitted 22 December, 2023;
originally announced December 2023.
-
Device independent security of quantum key distribution from monogamy-of-entanglement games
Authors:
Enrique Cervero-Martín,
Marco Tomamichel
Abstract:
We analyse two party non-local games whose predicate requires Alice and Bob to generate matching bits, and their three party extensions where a third player receives all inputs and is required to output a bit that matches that of the original players. We propose a general device independent quantum key distribution protocol for the subset of such non-local games that satisfy a monogamy-of-entangle…
▽ More
We analyse two party non-local games whose predicate requires Alice and Bob to generate matching bits, and their three party extensions where a third player receives all inputs and is required to output a bit that matches that of the original players. We propose a general device independent quantum key distribution protocol for the subset of such non-local games that satisfy a monogamy-of-entanglement property characterised by a gap in the maximum winning probability between the bipartite and tripartite versions of the game. This gap is due to the optimal strategy for two players requiring entanglement, which due to its monogamy property cannot be shared with any additional players. Based solely on the monogamy-of-entanglement property, we provide a simple proof of information theoretic security of our protocol. Lastly, we numerically optimize the finite and asymptotic secret key rates of our protocol using the magic square game as an example, for which we provide a numerical bound on the maximal tripartite quantum winning probability which closely matches the bipartite classical winning probability. Further, we show that our protocol is robust for depolarizing noise up to about $2.2\%$, providing the first such bound for general attacks for magic square based quantum key distribution.
△ Less
Submitted 7 December, 2023;
originally announced December 2023.
-
Lower Bounds on Error Exponents via a New Quantum Decoder
Authors:
Salman Beigi,
Marco Tomamichel
Abstract:
We introduce a new quantum decoder based on a variant of the pretty good measurement, but defined via an alternative matrix quotient. We use this decoder to show new lower bounds on the error exponent both in the one-shot and asymptotic regimes for the classical-quantum and the entanglement-assisted channel coding problem. Our bounds are expressed in terms of measured (for the one-shot bounds) and…
▽ More
We introduce a new quantum decoder based on a variant of the pretty good measurement, but defined via an alternative matrix quotient. We use this decoder to show new lower bounds on the error exponent both in the one-shot and asymptotic regimes for the classical-quantum and the entanglement-assisted channel coding problem. Our bounds are expressed in terms of measured (for the one-shot bounds) and sandwiched (for the asymptotic bounds) channel Rényi mutual information of order between 1/2 and 1. Our results are not comparable with some previously established bounds for general instances, yet they are tight (for rates close to capacity) when the underlying channel is classical.
△ Less
Submitted 15 November, 2023; v1 submitted 13 October, 2023;
originally announced October 2023.
-
Mixed-state additivity properties of magic monotones based on quantum relative entropies for single-qubit states and beyond
Authors:
Roberto Rubboli,
Ryuji Takagi,
Marco Tomamichel
Abstract:
We prove that the stabilizer fidelity is multiplicative for the tensor product of an arbitrary number of single-qubit states. We also show that the relative entropy of magic becomes additive if all the single-qubit states but one belong to a symmetry axis of the stabilizer octahedron. We extend the latter results to include all the $α$-$z$ Rényi relative entropy of magic. This allows us to identif…
▽ More
We prove that the stabilizer fidelity is multiplicative for the tensor product of an arbitrary number of single-qubit states. We also show that the relative entropy of magic becomes additive if all the single-qubit states but one belong to a symmetry axis of the stabilizer octahedron. We extend the latter results to include all the $α$-$z$ Rényi relative entropy of magic. This allows us to identify a continuous set of magic monotones that are additive for single-qubit states. We also show that all the monotones mentioned above are additive for several standard two and three-qubit states subject to depolarizing noise. Finally, we obtain closed-form expressions for several states and tighter lower bounds for the overhead of probabilistic one-shot magic state distillation.
△ Less
Submitted 8 December, 2023; v1 submitted 17 July, 2023;
originally announced July 2023.
-
Quantum Rényi and $f$-divergences from integral representations
Authors:
Christoph Hirche,
Marco Tomamichel
Abstract:
Smooth Csiszár $f$-divergences can be expressed as integrals over so-called hockey stick divergences. This motivates a natural quantum generalization in terms of quantum Hockey stick divergences, which we explore here. Using this recipe, the Kullback-Leibler divergence generalises to the Umegaki relative entropy, in the integral form recently found by Frenkel. We find that the Rényi divergences de…
▽ More
Smooth Csiszár $f$-divergences can be expressed as integrals over so-called hockey stick divergences. This motivates a natural quantum generalization in terms of quantum Hockey stick divergences, which we explore here. Using this recipe, the Kullback-Leibler divergence generalises to the Umegaki relative entropy, in the integral form recently found by Frenkel. We find that the Rényi divergences defined via our new quantum $f$-divergences are not additive in general, but that their regularisations surprisingly yield the Petz Rényi divergence for $α< 1$ and the sandwiched Rényi divergence for $α> 1$, unifying these two important families of quantum Rényi divergences. Moreover, we find that the contraction coefficients for the new quantum $f$ divergences collapse for all $f$ that are operator convex, mimicking the classical behaviour and resolving some long-standing conjectures by Lesniewski and Ruskai. We derive various inequalities, including new reverse Pinsker inequalites with applications in differential privacy and also explore various other applications of the new divergences.
△ Less
Submitted 16 August, 2023; v1 submitted 21 June, 2023;
originally announced June 2023.
-
Chain Rules for Renyi Information Combining
Authors:
Christoph Hirche,
Xinyue Guan,
Marco Tomamichel
Abstract:
Bounds on information combining are a fundamental tool in coding theory, in particular when analyzing polar codes and belief propagation. They usually bound the evolution of random variables with respect to their Shannon entropy. In recent work this approach was generalized to Renyi $α$-entropies. However, due to the lack of a traditional chain rule for Renyi entropies the picture remained incompl…
▽ More
Bounds on information combining are a fundamental tool in coding theory, in particular when analyzing polar codes and belief propagation. They usually bound the evolution of random variables with respect to their Shannon entropy. In recent work this approach was generalized to Renyi $α$-entropies. However, due to the lack of a traditional chain rule for Renyi entropies the picture remained incomplete. In this work we establish the missing link by providing Renyi chain rules connecting different definitions of Renyi entropies by Hayashi and Arimoto. This allows us to provide new information combining bounds for the Arimoto Renyi entropy. In the second part, we generalize the chain rule to the quantum setting and show how they allow us to generalize results and conjectures previously only given for the von Neumann entropy. In the special case of $α=2$ we give the first optimal information combining bounds with quantum side information.
△ Less
Submitted 4 May, 2023;
originally announced May 2023.
-
Fundamental limits on quantum cloning from the no-signalling principle
Authors:
Yanglin Hu,
Marco Tomamichel
Abstract:
The no-cloning theorem is a cornerstone of quantum cryptography. Here we generalize and rederive in a unified framework various upper bounds on the maximum achievable fidelity of probabilistic and deterministic cloning machines. Building on ideas by Gisin [Phys.~Lett.~A, 1998], our result starts from the fact that remote state preparation is possible and the no-signalling principle holds. We apply…
▽ More
The no-cloning theorem is a cornerstone of quantum cryptography. Here we generalize and rederive in a unified framework various upper bounds on the maximum achievable fidelity of probabilistic and deterministic cloning machines. Building on ideas by Gisin [Phys.~Lett.~A, 1998], our result starts from the fact that remote state preparation is possible and the no-signalling principle holds. We apply our general theorem to several subsets of states that are of interest in quantum cryptography.
△ Less
Submitted 19 January, 2024; v1 submitted 3 May, 2023;
originally announced May 2023.
-
Entanglement monogamy via multivariate trace inequalities
Authors:
Mario Berta,
Marco Tomamichel
Abstract:
Entropy is a fundamental concept in quantum information theory that allows to quantify entanglement and investigate its properties, for example its monogamy over multipartite systems. Here, we derive variational formulas for relative entropies based on restricted measurements of multipartite quantum systems. By combining these with multivariate matrix trace inequalities, we recover and sometimes s…
▽ More
Entropy is a fundamental concept in quantum information theory that allows to quantify entanglement and investigate its properties, for example its monogamy over multipartite systems. Here, we derive variational formulas for relative entropies based on restricted measurements of multipartite quantum systems. By combining these with multivariate matrix trace inequalities, we recover and sometimes strengthen various existing entanglement monogamy inequalities. In particular, we give direct, matrix-analysis-based proofs for the faithfulness of squashed entanglement by relating it to the relative entropy of entanglement measured with one-way local operations and classical communication, as well as for the faithfulness of conditional entanglement of mutual information by relating it to the separably measured relative entropy of entanglement. We discuss variations of these results using the relative entropy to states with positive partial transpose, and multipartite setups. Our results simplify and generalize previous derivations in the literature that employed operational arguments about the asymptotic achievability of information-theoretic tasks.
△ Less
Submitted 20 May, 2024; v1 submitted 28 April, 2023;
originally announced April 2023.
-
Quantum dichotomies and coherent thermodynamics beyond first-order asymptotics
Authors:
Patryk Lipka-Bartosik,
Christopher T. Chubb,
Joseph M. Renes,
Marco Tomamichel,
Kamil Korzekwa
Abstract:
We address the problem of exact and approximate transformation of quantum dichotomies in the asymptotic regime, i.e., the existence of a quantum channel $\mathcal E$ map** $ρ_1^{\otimes n}$ into $ρ_2^{\otimes R_nn}$ with an error $ε_n$ (measured by trace distance) and $σ_1^{\otimes n}$ into $σ_2^{\otimes R_n n}$ exactly, for a large number $n$. We derive second-order asymptotic expressions for t…
▽ More
We address the problem of exact and approximate transformation of quantum dichotomies in the asymptotic regime, i.e., the existence of a quantum channel $\mathcal E$ map** $ρ_1^{\otimes n}$ into $ρ_2^{\otimes R_nn}$ with an error $ε_n$ (measured by trace distance) and $σ_1^{\otimes n}$ into $σ_2^{\otimes R_n n}$ exactly, for a large number $n$. We derive second-order asymptotic expressions for the optimal transformation rate $R_n$ in the small, moderate, and large deviation error regimes, as well as the zero-error regime, for an arbitrary pair $(ρ_1,σ_1)$ of initial states and a commuting pair $(ρ_2,σ_2)$ of final states. We also prove that for $σ_1$ and $σ_2$ given by thermal Gibbs states, the derived optimal transformation rates in the first three regimes can be attained by thermal operations. This allows us, for the first time, to study the second-order asymptotics of thermodynamic state interconversion with fully general initial states that may have coherence between different energy eigenspaces. Thus, we discuss the optimal performance of thermodynamic protocols with coherent inputs and describe three novel resonance phenomena allowing one to significantly reduce transformation errors induced by finite-size effects. What is more, our result on quantum dichotomies can also be used to obtain, up to second-order asymptotic terms, optimal conversion rates between pure bipartite entangled states under local operations and classical communication.
△ Less
Submitted 12 May, 2024; v1 submitted 9 March, 2023;
originally announced March 2023.
-
Approximate reconstructability of quantum states and noisy quantum secret sharing schemes
Authors:
Yingkai Ouyang,
Kaumudibikash Goswami,
Jacquiline Romero,
Barry C. Sanders,
Min-Hsiu Hsieh,
Marco Tomamichel
Abstract:
We introduce and analyse approximate quantum secret sharing in a formal cryptographic setting, wherein a dealer encodes and distributes a quantum secret to players such that authorized structures (sets of subsets of players) can approximately reconstruct the quantum secret and omnipotent adversarial agents controlling non-authorized subsets of players are approximately denied the quantum secret. I…
▽ More
We introduce and analyse approximate quantum secret sharing in a formal cryptographic setting, wherein a dealer encodes and distributes a quantum secret to players such that authorized structures (sets of subsets of players) can approximately reconstruct the quantum secret and omnipotent adversarial agents controlling non-authorized subsets of players are approximately denied the quantum secret. In particular, viewing the map encoding the quantum secret to shares for players in an authorized structure as a quantum channel, we show that approximate reconstructability of the quantum secret by these players is possible if and only if the information leakage, given in terms of a certain entanglement-assisted capacity of the complementary quantum channel to the players outside the structure and the environment, is small.
△ Less
Submitted 15 August, 2023; v1 submitted 5 February, 2023;
originally announced February 2023.
-
Quantum contextual bandits and recommender systems for quantum data
Authors:
Shrigyan Brahmachari,
Josep Lumbreras,
Marco Tomamichel
Abstract:
We study a recommender system for quantum data using the linear contextual bandit framework. In each round, a learner receives an observable (the context) and has to recommend from a finite set of unknown quantum states (the actions) which one to measure. The learner has the goal of maximizing the reward in each round, that is the outcome of the measurement on the unknown state. Using this model w…
▽ More
We study a recommender system for quantum data using the linear contextual bandit framework. In each round, a learner receives an observable (the context) and has to recommend from a finite set of unknown quantum states (the actions) which one to measure. The learner has the goal of maximizing the reward in each round, that is the outcome of the measurement on the unknown state. Using this model we formulate the low energy quantum state recommendation problem where the context is a Hamiltonian and the goal is to recommend the state with the lowest energy. For this task, we study two families of contexts: the Ising model and a generalized cluster model. We observe that if we interpret the actions as different phases of the models then the recommendation is done by classifying the correct phase of the given Hamiltonian and the strategy can be interpreted as an online quantum phase classifier.
△ Less
Submitted 31 January, 2023;
originally announced January 2023.
-
Matrix majorization in large samples
Authors:
Muhammad Usman Farooq,
Tobias Fritz,
Erkka Haapasalo,
Marco Tomamichel
Abstract:
One tuple of probability vectors is more informative than another tuple when there exists a single stochastic matrix transforming the probability vectors of the first tuple into the probability vectors of the other. This is called matrix majorization. Solving an open problem raised by Mu et al, we show that if certain monotones - namely multivariate extensions of Rényi divergences - are strictly o…
▽ More
One tuple of probability vectors is more informative than another tuple when there exists a single stochastic matrix transforming the probability vectors of the first tuple into the probability vectors of the other. This is called matrix majorization. Solving an open problem raised by Mu et al, we show that if certain monotones - namely multivariate extensions of Rényi divergences - are strictly ordered between the two tuples, then for sufficiently large $n$, there exists a stochastic matrix taking the $n$-fold Kronecker power of each input distribution to the $n$-fold Kronecker power of the corresponding output distribution. The same conditions, with non-strict ordering for the monotones, are also necessary for such matrix majorization in large samples.
Our result also gives conditions for the existence of a sequence of statistical maps that asymptotically (with vanishing error) convert a single copy of each input distribution to the corresponding output distribution with the help of a catalyst that is returned unchanged. Allowing for transformation with arbitrarily small error, we find conditions that are both necessary and sufficient for such catalytic matrix majorization.
We derive our results by building on a general algebraic theory of preordered semirings recently developed by one of the authors. This also allows us to recover various existing results on majorization in large samples and in the catalytic regime as well as relative majorization in a unified manner.
△ Less
Submitted 8 January, 2024; v1 submitted 18 January, 2023;
originally announced January 2023.
-
Channel Simulation: Finite Blocklengths and Broadcast Channels
Authors:
Michael X. Cao,
Navneeth Ramakrishnan,
Mario Berta,
Marco Tomamichel
Abstract:
We study channel simulation under common randomness-assistance in the finite-blocklength regime and identify the smooth channel max-information as a linear program one-shot converse on the minimal simulation cost for fixed error tolerance. We show that this one-shot converse can be achieved exactly using no-signaling assisted codes, and approximately achieved using common randomness-assisted codes…
▽ More
We study channel simulation under common randomness-assistance in the finite-blocklength regime and identify the smooth channel max-information as a linear program one-shot converse on the minimal simulation cost for fixed error tolerance. We show that this one-shot converse can be achieved exactly using no-signaling assisted codes, and approximately achieved using common randomness-assisted codes. Our one-shot converse thus takes on an analogous role to the celebrated meta-converse in the complementary problem of channel coding, and find tight relations between these two bounds. We asymptotically expand our bounds on the simulation cost for discrete memoryless channels, leading to the second-order as well as the moderate deviation rate expansion, which can be expressed in terms of the channel capacity and channel dispersion known from noisy channel coding. Our techniques extend to discrete memoryless broadcast channels. In stark contrast to the elusive broadcast channel capacity problem, we show that the reverse problem of broadcast channel simulation under common randomness-assistance allows for an efficiently computable single-letter characterization of the asymptotic rate region in terms of the broadcast channel's multi-partite mutual information. Finally, we present a Blahut-Arimoto type algorithm to compute the rate region efficiently.
△ Less
Submitted 8 June, 2023; v1 submitted 22 December, 2022;
originally announced December 2022.
-
New additivity properties of the relative entropy of entanglement and its generalizations
Authors:
Roberto Rubboli,
Marco Tomamichel
Abstract:
We prove that the relative entropy of entanglement is additive when \emph{at least one of the two states} belongs to some specific class. We show that these classes include bipartite pure, maximally correlated, GHZ, Bell diagonal, isotropic, and generalized Dicke states. Previously, additivity was established only if \textit{both} states belong to the same class. Moreover, we extend these results…
▽ More
We prove that the relative entropy of entanglement is additive when \emph{at least one of the two states} belongs to some specific class. We show that these classes include bipartite pure, maximally correlated, GHZ, Bell diagonal, isotropic, and generalized Dicke states. Previously, additivity was established only if \textit{both} states belong to the same class. Moreover, we extend these results to entanglement monotones based on the $α$-$z$ Rényi relative entropy. Notably, this family of monotones includes also the generalized robustness of entanglement and the geometric measure of entanglement. In addition, we prove that any monotone based on a quantum relative entropy is not additive for general states. We also compute closed-form expressions of the monotones for bipartite pure, Bell diagonal, isotropic, generalized Werner, generalized Dicke, and maximally correlated Bell diagonal states. Our results rely on develo** a method that allows us to recast the initial convex optimization problem into a simpler linear one. Even though we mostly focus on entanglement theory, we expect that some of our technical results could be useful in investigating more general convex optimization problems.
△ Less
Submitted 2 May, 2024; v1 submitted 23 November, 2022;
originally announced November 2022.
-
Sequential Quantum Channel Discrimination
Authors:
Yonglong Li,
Christoph Hirche,
Marco Tomamichel
Abstract:
We consider the sequential quantum channel discrimination problem using adaptive and non-adaptive strategies. In this setting the number of uses of the underlying quantum channel is not fixed but a random variable that is either bounded in expectation or with high probability. We show that both types of error probabilities decrease to zero exponentially fast and, when using adaptive strategies, th…
▽ More
We consider the sequential quantum channel discrimination problem using adaptive and non-adaptive strategies. In this setting the number of uses of the underlying quantum channel is not fixed but a random variable that is either bounded in expectation or with high probability. We show that both types of error probabilities decrease to zero exponentially fast and, when using adaptive strategies, the rates are characterized by the measured relative entropy between two quantum channels, yielding a strictly larger region than that achievable by non-adaptive strategies. Allowing for quantum memory, we see that the optimal rates are given by the regularized channel relative entropy. Finally, we discuss achievable rates when allowing for repeated measurements via quantum instruments and conjecture that the achievable rate region is not larger than that achievable with POVMs by connecting the result to the strong converse for the quantum channel Stein's Lemma.
△ Less
Submitted 20 October, 2022;
originally announced October 2022.
-
Privacy and correctness trade-offs for information-theoretically secure quantum homomorphic encryption
Authors:
Yanglin Hu,
Yingkai Ouyang,
Marco Tomamichel
Abstract:
Quantum homomorphic encryption, which allows computation by a server directly on encrypted data, is a fundamental primitive out of which more complex quantum cryptography protocols can be built. For such constructions to be possible, quantum homomorphic encryption must satisfy two privacy properties: data privacy which ensures that the input data is private from the server, and circuit privacy whi…
▽ More
Quantum homomorphic encryption, which allows computation by a server directly on encrypted data, is a fundamental primitive out of which more complex quantum cryptography protocols can be built. For such constructions to be possible, quantum homomorphic encryption must satisfy two privacy properties: data privacy which ensures that the input data is private from the server, and circuit privacy which ensures that the ciphertext after the computation does not reveal any additional information about the circuit used to perform it, beyond the output of the computation itself. While circuit privacy is well-studied in classical cryptography and many homomorphic encryption schemes can be equipped with it, its quantum analogue has received little attention. Here we establish a definition of circuit privacy for quantum homomorphic encryption with information-theoretic security. Furthermore, we reduce quantum oblivious transfer to quantum homomorphic encryption. By using this reduction, our work unravels fundamental trade-offs between circuit privacy, data privacy and correctness for a broad family of quantum homomorphic encryption protocols, including schemes that allow only the computation of Clifford circuits.
△ Less
Submitted 4 April, 2023; v1 submitted 24 May, 2022;
originally announced May 2022.
-
Learning quantum graph states with product measurements
Authors:
Yingkai Ouyang,
Marco Tomamichel
Abstract:
We consider the problem of learning $N$ identical copies of an unknown $n$-qubit quantum graph state with product measurements. These graph states have corresponding graphs where every vertex has exactly $d$ neighboring vertices. Here, we detail an explicit algorithm that uses product measurements on multiple identical copies of such graph states to learn them. When $n \gg d$ and…
▽ More
We consider the problem of learning $N$ identical copies of an unknown $n$-qubit quantum graph state with product measurements. These graph states have corresponding graphs where every vertex has exactly $d$ neighboring vertices. Here, we detail an explicit algorithm that uses product measurements on multiple identical copies of such graph states to learn them. When $n \gg d$ and $N = O(d \log(1/ε) + d^2 \log n ),$ this algorithm correctly learns the graph state with probability at least $1- ε$. From channel coding theory, we find that for arbitrary joint measurements on graph states, any learning algorithm achieving this accuracy requires at least $Ω(\log (1/ε) + d \log n)$ copies when $d=o(\sqrt n)$. We also supply bounds on $N$ when every graph state encounters identical and independent depolarizing errors on each qubit.
△ Less
Submitted 12 May, 2022;
originally announced May 2022.
-
Efficient Quantum State Tracking in Noisy Environments
Authors:
Markus Rambach,
Akram Youssry,
Marco Tomamichel,
Jacquiline Romero
Abstract:
Quantum state tomography, which aims to find the best description of a quantum state -- the density matrix, is an essential building block in quantum computation and communication. Standard techniques for state tomography are incapable of tracking changing states and often perform poorly in the presence of environmental noise. Although there are different approaches to solve these problems theoret…
▽ More
Quantum state tomography, which aims to find the best description of a quantum state -- the density matrix, is an essential building block in quantum computation and communication. Standard techniques for state tomography are incapable of tracking changing states and often perform poorly in the presence of environmental noise. Although there are different approaches to solve these problems theoretically, experimental demonstrations have so far been sparse. Our approach, matrix-exponentiated gradient tomography, is an online tomography method that allows for state tracking, updates the estimated density matrix dynamically from the very first measurements, is computationally efficient, and converges to a good estimate quickly even with noisy data. The algorithm is controlled via a single parameter, its learning rate, which determines the performance and can be tailored in simulations to the individual experiment. We present an experimental implementation of matrix-exponentiated gradient tomography on a qutrit system encoded in the transverse spatial mode of photons. We investigate the performance of our method on stationary and evolving states, as well as significant environmental noise, and find fidelities of around 95% in all cases.
△ Less
Submitted 12 May, 2022;
originally announced May 2022.
-
On a gap in the proof of the generalised quantum Stein's lemma and its consequences for the reversibility of quantum resources
Authors:
Mario Berta,
Fernando G. S. L. Brandão,
Gilad Gour,
Ludovico Lami,
Martin B. Plenio,
Bartosz Regula,
Marco Tomamichel
Abstract:
We show that the proof of the generalised quantum Stein's lemma [Brandão & Plenio, Commun. Math. Phys. 295, 791 (2010)] is not correct due to a gap in the argument leading to Lemma III.9. Hence, the main achievability result of Brandão & Plenio is not known to hold. This puts into question a number of established results in the literature, in particular the reversibility of quantum entanglement [B…
▽ More
We show that the proof of the generalised quantum Stein's lemma [Brandão & Plenio, Commun. Math. Phys. 295, 791 (2010)] is not correct due to a gap in the argument leading to Lemma III.9. Hence, the main achievability result of Brandão & Plenio is not known to hold. This puts into question a number of established results in the literature, in particular the reversibility of quantum entanglement [Brandão & Plenio, Commun. Math. Phys. 295, 829 (2010); Nat. Phys. 4, 873 (2008)] and of general quantum resources [Brandão & Gour, Phys. Rev. Lett. 115, 070503 (2015)] under asymptotically resource non-generating operations. We discuss potential ways to recover variants of the newly unsettled results using other approaches.
△ Less
Submitted 25 August, 2023; v1 submitted 5 May, 2022;
originally announced May 2022.
-
Chain rules for quantum channels
Authors:
Mario Berta,
Marco Tomamichel
Abstract:
Divergence chain rules for channels relate the divergence of a pair of channel inputs to the divergence of the corresponding channel outputs. An important special case of such a rule is the data-processing inequality, which tells us that if the same channel is applied to both inputs then the divergence cannot increase. Based on direct matrix analysis methods, we derive several Rényi divergence cha…
▽ More
Divergence chain rules for channels relate the divergence of a pair of channel inputs to the divergence of the corresponding channel outputs. An important special case of such a rule is the data-processing inequality, which tells us that if the same channel is applied to both inputs then the divergence cannot increase. Based on direct matrix analysis methods, we derive several Rényi divergence chain rules for channels in the quantum setting. Our results simplify and in some cases generalise previous derivations in the literature.
△ Less
Submitted 16 May, 2022; v1 submitted 23 April, 2022;
originally announced April 2022.
-
Moderate deviation expansion for fully quantum tasks
Authors:
Navneeth Ramakrishnan,
Marco Tomamichel,
Mario Berta
Abstract:
The moderate deviation regime is concerned with the finite block length trade-off between communication cost and error for information processing tasks in the asymptotic regime, where the communication cost approaches a capacity-like quantity and the error vanishes at the same time. We find exact characterisations of these trade-offs for a variety of fully quantum communication tasks, including qu…
▽ More
The moderate deviation regime is concerned with the finite block length trade-off between communication cost and error for information processing tasks in the asymptotic regime, where the communication cost approaches a capacity-like quantity and the error vanishes at the same time. We find exact characterisations of these trade-offs for a variety of fully quantum communication tasks, including quantum source coding, quantum state splitting, entanglement-assisted quantum channel coding, and entanglement-assisted quantum channel simulation. The main technical tool we derive is a tight relation between the partially smoothed max-information and the hypothesis testing relative entropy. This allows us to obtain the expansion of the partially smoothed max-information for i.i.d. states in the moderate deviation regime.
△ Less
Submitted 8 October, 2023; v1 submitted 14 December, 2021;
originally announced December 2021.
-
Fundamental Limits on Correlated Catalytic State Transformations
Authors:
Roberto Rubboli,
Marco Tomamichel
Abstract:
Determining whether a given state can be transformed into a target state using free operations is one of the fundamental questions in the study of resources theories. Free operations in resource theories can be enhanced by allowing for a catalyst system that assists the transformation and is returned unchanged, but potentially correlated, with the target state. While this has been an active area o…
▽ More
Determining whether a given state can be transformed into a target state using free operations is one of the fundamental questions in the study of resources theories. Free operations in resource theories can be enhanced by allowing for a catalyst system that assists the transformation and is returned unchanged, but potentially correlated, with the target state. While this has been an active area of recent research, very little is known about the necessary properties of such catalysts. Here, we prove fundamental limits applicable to a large class of correlated catalytic transformations by showing that a small residual correlation between catalyst and target state implies that the catalyst needs to be highly resourceful. In fact, the resources required diverge in the limit of vanishing residual correlation. In addition, we establish that in imperfect catalysis a small error generally implies a highly resourceful embezzling catalyst. We develop our results in a general resource theory framework and discuss its implications for the resource theory of athermality, the resource theory of coherence and entanglement theory.
△ Less
Submitted 22 August, 2022; v1 submitted 26 November, 2021;
originally announced November 2021.
-
Multi-armed quantum bandits: Exploration versus exploitation when learning properties of quantum states
Authors:
Josep Lumbreras,
Erkka Haapasalo,
Marco Tomamichel
Abstract:
We initiate the study of tradeoffs between exploration and exploitation in online learning of properties of quantum states. Given sequential oracle access to an unknown quantum state, in each round, we are tasked to choose an observable from a set of actions aiming to maximize its expectation value on the state (the reward). Information gained about the unknown state from previous rounds can be us…
▽ More
We initiate the study of tradeoffs between exploration and exploitation in online learning of properties of quantum states. Given sequential oracle access to an unknown quantum state, in each round, we are tasked to choose an observable from a set of actions aiming to maximize its expectation value on the state (the reward). Information gained about the unknown state from previous rounds can be used to gradually improve the choice of action, thus reducing the gap between the reward and the maximal reward attainable with the given action set (the regret). We provide various information-theoretic lower bounds on the cumulative regret that an optimal learner must incur, and show that it scales at least as the square root of the number of rounds played. We also investigate the dependence of the cumulative regret on the number of available actions and the dimension of the underlying space. Moreover, we exhibit strategies that are optimal for bandits with a finite number of arms and general mixed states.
△ Less
Submitted 19 June, 2022; v1 submitted 30 August, 2021;
originally announced August 2021.
-
Optimal Adaptive Strategies for Sequential Quantum Hypothesis Testing
Authors:
Yonglong Li,
Vincent Y. F. Tan,
Marco Tomamichel
Abstract:
We consider sequential hypothesis testing between two quantum states using adaptive and non-adaptive strategies. In this setting, samples of an unknown state are requested sequentially and a decision to either continue or to accept one of the two hypotheses is made after each test. Under the constraint that the number of samples is bounded, either in expectation or with high probability, we exhibi…
▽ More
We consider sequential hypothesis testing between two quantum states using adaptive and non-adaptive strategies. In this setting, samples of an unknown state are requested sequentially and a decision to either continue or to accept one of the two hypotheses is made after each test. Under the constraint that the number of samples is bounded, either in expectation or with high probability, we exhibit adaptive strategies that minimize both types of misidentification errors. Namely, we show that these errors decrease exponentially (in the stop** time) with decay rates given by the measured relative entropies between the two states. Moreover, if we allow joint measurements on multiple samples, the rates are increased to the respective quantum relative entropies. We also fully characterize the achievable error exponents for non-adaptive strategies and provide numerical evidence showing that adaptive measurements are necessary to achieve our bounds under some additional assumptions.
△ Less
Submitted 27 February, 2022; v1 submitted 29 April, 2021;
originally announced April 2021.
-
Work fluctuations due to partial thermalizations in two-level systems
Authors:
Maria Quadeer,
Kamil Korzekwa,
Marco Tomamichel
Abstract:
We study work extraction processes mediated by finite-time interactions with an ambient bath -- \emph{partial thermalizations} -- as continuous time Markov processes for two-level systems. Such a stochastic process results in fluctuations in the amount of work that can be extracted and is characterized by the rate at which the system parameters are driven in addition to the rate of thermalization…
▽ More
We study work extraction processes mediated by finite-time interactions with an ambient bath -- \emph{partial thermalizations} -- as continuous time Markov processes for two-level systems. Such a stochastic process results in fluctuations in the amount of work that can be extracted and is characterized by the rate at which the system parameters are driven in addition to the rate of thermalization with the bath. We analyze the distribution of work for the case where the energy gap of a two-level system is driven at a constant rate. We derive analytic expressions for average work and lower bound for the variance of work showing that such processes cannot be fluctuation-free in general. We also observe that an upper bound for the Monte Carlo estimate of the variance of work can be obtained using Jarzynski's fluctuation-dissipation relation for systems initially in equilibrium. Finally, we analyse work extraction cycles by modifying the Carnot cycle, incorporating processes involving partial thermalizations and obtain efficiency at maximum power for such finite-time work extraction cycles under different sets of constraints.
△ Less
Submitted 4 January, 2021;
originally announced January 2021.
-
Optimal Extensions of Resource Measures and their Applications
Authors:
Gilad Gour,
Marco Tomamichel
Abstract:
We develop a framework to extend resource measures from one domain to a larger one. We find that all extensions of resource measures are bounded between two quantities that we call the minimal and maximal extensions. We discuss various applications of our framework. We show that any relative entropy (i.e. an additive function on pairs of quantum states that satisfies the data processing inequality…
▽ More
We develop a framework to extend resource measures from one domain to a larger one. We find that all extensions of resource measures are bounded between two quantities that we call the minimal and maximal extensions. We discuss various applications of our framework. We show that any relative entropy (i.e. an additive function on pairs of quantum states that satisfies the data processing inequality) must be bounded by the min and max relative entropies. We prove that the generalized trace distance, the generalized fidelity, and the purified distance are optimal extensions. And in entanglement theory we introduce a new technique to extend pure state entanglement measures to mixed bipartite states.
△ Less
Submitted 7 July, 2020; v1 submitted 22 June, 2020;
originally announced June 2020.
-
Entropy and relative entropy from information-theoretic principles
Authors:
Gilad Gour,
Marco Tomamichel
Abstract:
We introduce an axiomatic approach to entropies and relative entropies that relies only on minimal information-theoretic axioms, namely monotonicity under mixing and data-processing as well as additivity for product distributions. We find that these axioms induce sufficient structure to establish continuity in the interior of the probability simplex and meaningful upper and lower bounds, e.g., we…
▽ More
We introduce an axiomatic approach to entropies and relative entropies that relies only on minimal information-theoretic axioms, namely monotonicity under mixing and data-processing as well as additivity for product distributions. We find that these axioms induce sufficient structure to establish continuity in the interior of the probability simplex and meaningful upper and lower bounds, e.g., we find that every relative entropy must lie between the Rényi divergences of order $0$ and $\infty$. We further show simple conditions for positive definiteness of such relative entropies and a characterisation in term of a variant of relative trum**. Our main result is a one-to-one correspondence between entropies and relative entropies.
△ Less
Submitted 5 May, 2021; v1 submitted 19 June, 2020;
originally announced June 2020.
-
Decomposition Rules for Quantum Rényi Mutual Information with an Application to Information Exclusion Relations
Authors:
Alexander McKinlay,
Marco Tomamichel
Abstract:
We prove decomposition rules for quantum Rényi mutual information, generalising the relation $I(A:B) = H(A) - H(A|B)$ to inequalities between Rényi mutual information and Rényi entropy of different orders. The proof uses Beigi's generalisation of Reisz-Thorin interpolation to operator norms, and a variation of the argument employed by Dupuis which was used to show chain rules for conditional Rényi…
▽ More
We prove decomposition rules for quantum Rényi mutual information, generalising the relation $I(A:B) = H(A) - H(A|B)$ to inequalities between Rényi mutual information and Rényi entropy of different orders. The proof uses Beigi's generalisation of Reisz-Thorin interpolation to operator norms, and a variation of the argument employed by Dupuis which was used to show chain rules for conditional Rényi entropies. The resulting decomposition rule is then applied to establish an information exclusion relation for Rényi mutual information, generalising the original relation by Hall.
△ Less
Submitted 21 July, 2020; v1 submitted 12 December, 2019;
originally announced December 2019.
-
Encoding classical information into quantum resources
Authors:
Kamil Korzekwa,
Zbigniew Puchała,
Marco Tomamichel,
Karol Życzkowski
Abstract:
We introduce and analyse the problem of encoding classical information into different resources of a quantum state. More precisely, we consider a general class of communication scenarios characterised by encoding operations that commute with a unique resource destroying map and leave free states invariant. Our motivating example is given by encoding information into coherences of a quantum system…
▽ More
We introduce and analyse the problem of encoding classical information into different resources of a quantum state. More precisely, we consider a general class of communication scenarios characterised by encoding operations that commute with a unique resource destroying map and leave free states invariant. Our motivating example is given by encoding information into coherences of a quantum system with respect to a fixed basis (with unitaries diagonal in that basis as encodings and the decoherence channel as a resource destroying map), but the generality of the framework allows us to explore applications ranging from super-dense coding to thermodynamics. For any state, we find that the number of messages that can be encoded into it using such operations in a one-shot scenario is upper-bounded in terms of the information spectrum relative entropy between the given state and its version with erased resources. Furthermore, if the resource destroying map is the twirling channel over some unitary group, we find matching one-shot lower-bounds as well. In the asymptotic setting where we encode into many copies of the resource state, our bounds yield an operational interpretation of resource monotones such as the relative entropy of coherence and its corresponding relative entropy variance.
△ Less
Submitted 5 August, 2022; v1 submitted 27 November, 2019;
originally announced November 2019.
-
An information-theoretic treatment of quantum dichotomies
Authors:
Francesco Buscemi,
David Sutter,
Marco Tomamichel
Abstract:
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 r…
▽ More
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 state pair is strictly larger compared to the relative entropy of the target state pair, then a transformation with exponentially vanishing error is possible. On the other hand, if the relative entropy of the target state is strictly larger, then any such transformation will have an error converging exponentially to one. As an immediate consequence, we show that the rate at which pairs of states can be transformed into each other is given by the ratio of their relative entropies. We discuss applications to the resource theories of athermality and coherence.
△ Less
Submitted 27 October, 2020; v1 submitted 19 July, 2019;
originally announced July 2019.
-
Modeling and Control of a Reconfigurable Photonic Circuit using Deep Learning
Authors:
Akram Youssry,
Robert J. Chapman,
Alberto Peruzzo,
Christopher Ferrie,
Marco Tomamichel
Abstract:
The complexity of experimental quantum information processing devices is increasing rapidly, requiring new approaches to control them. In this paper, we address the problems of practically modeling and controlling an integrated optical waveguide array chip, a technology expected to have many applications in telecommunications and optical quantum information processing. This photonic circuit can be…
▽ More
The complexity of experimental quantum information processing devices is increasing rapidly, requiring new approaches to control them. In this paper, we address the problems of practically modeling and controlling an integrated optical waveguide array chip, a technology expected to have many applications in telecommunications and optical quantum information processing. This photonic circuit can be electrically reconfigured, but only the output optical signal can be monitored. As a result, the conventional control methods cannot be naively applied. Characterizing such a chip is challenging for three reasons. First, there are uncertainties associated with the Hamiltonian describing the chip. Second, we expect distortions of the control voltages caused by the chip's electrical response, which cannot be directly observed. Finally, there are imperfections in the measurements caused by losses from coupling the chip externally to optical fibers. We developed a deep neural network approach to solve these problems. The architecture is designed specifically to overcome the aforementioned challenges using a Gated Recurrent Unit (GRU)-based network as the central component. The Hamiltonian is estimated as a blackbox, while the rules of quantum mechanics such as state evolution is embedded in the structure as a whitebox. The resulting overall graybox model of the chip shows good performance both quantitatively in terms of the mean square error and qualitatively in terms of the predicted waveforms. We use this neural network to solve a classical and a quantum control problem. In the classical application we find a control sequence to approximately realize a time-dependent output power distribution. For the quantum application we obtain the control voltages to realize a target set of quantum gates. The proposed method is generic and can be applied to other systems that can only be probed indirectly.
△ Less
Submitted 29 November, 2019; v1 submitted 18 July, 2019;
originally announced July 2019.
-
Advances in Quantum Cryptography
Authors:
S. Pirandola,
U. L. Andersen,
L. Banchi,
M. Berta,
D. Bunandar,
R. Colbeck,
D. Englund,
T. Gehring,
C. Lupo,
C. Ottaviani,
J. Pereira,
M. Razavi,
J. S. Shaari,
M. Tomamichel,
V. C. Usenko,
G. Vallone,
P. Villoresi,
P. Wallden
Abstract:
Quantum cryptography is arguably the fastest growing area in quantum information science. Novel theoretical protocols are designed on a regular basis, security proofs are constantly improving, and experiments are gradually moving from proof-of-principle lab demonstrations to in-field implementations and technological prototypes. In this review, we provide both a general introduction and a state of…
▽ More
Quantum cryptography is arguably the fastest growing area in quantum information science. Novel theoretical protocols are designed on a regular basis, security proofs are constantly improving, and experiments are gradually moving from proof-of-principle lab demonstrations to in-field implementations and technological prototypes. In this review, we provide both a general introduction and a state of the art description of the recent advances in the field, both theoretically and experimentally. We start by reviewing protocols of quantum key distribution based on discrete variable systems. Next we consider aspects of device independence, satellite challenges, and high rate protocols based on continuous variable systems. We will then discuss the ultimate limits of point-to-point private communications and how quantum repeaters and networks may overcome these restrictions. Finally, we will discuss some aspects of quantum cryptography beyond standard quantum key distribution, including quantum data locking and quantum digital signatures.
△ Less
Submitted 4 June, 2019;
originally announced June 2019.
-
A minimax approach to one-shot entropy inequalities
Authors:
Anurag Anshu,
Mario Berta,
Rahul Jain,
Marco Tomamichel
Abstract:
One-shot information theory entertains a plethora of entropic quantities, such as the smooth max-divergence, hypothesis testing divergence and information spectrum divergence, that characterize various operational tasks and are used to prove the asymptotic behavior of various tasks in quantum information theory. Tight inequalities between these quantities are thus of immediate interest. In this no…
▽ More
One-shot information theory entertains a plethora of entropic quantities, such as the smooth max-divergence, hypothesis testing divergence and information spectrum divergence, that characterize various operational tasks and are used to prove the asymptotic behavior of various tasks in quantum information theory. Tight inequalities between these quantities are thus of immediate interest. In this note we use a minimax approach (appearing previously for example in the proofs of the quantum substate theorem), to simplify the quantum problem to a commutative one, which allows us to derive such inequalities. Our derivations are conceptually different from previous arguments and in some cases lead to tighter relations. We hope that the approach discussed here can lead to progress in open problems in quantum Shannon theory, and exemplify this by applying it to a simple case of the joint smoothing problem.
△ Less
Submitted 1 June, 2019;
originally announced June 2019.
-
Quantum advantage with noisy shallow circuits in 3D
Authors:
Sergey Bravyi,
David Gosset,
Robert Koenig,
Marco Tomamichel
Abstract:
Prior work has shown that there exists a relation problem which can be solved with certainty by a constant-depth quantum circuit composed of geometrically local gates in two dimensions, but cannot be solved with high probability by any classical constant depth circuit composed of bounded fan-in gates. Here we provide two extensions of this result. Firstly, we show that a separation in computationa…
▽ More
Prior work has shown that there exists a relation problem which can be solved with certainty by a constant-depth quantum circuit composed of geometrically local gates in two dimensions, but cannot be solved with high probability by any classical constant depth circuit composed of bounded fan-in gates. Here we provide two extensions of this result. Firstly, we show that a separation in computational power persists even when the constant-depth quantum circuit is restricted to geometrically local gates in one dimension. The corresponding quantum algorithm is the simplest we know of which achieves a quantum advantage of this type. It may also be more practical for future implementations. Our second, main result, is that a separation persists even if the shallow quantum circuit is corrupted by noise. We construct a relation problem which can be solved with near certainty using a noisy constant-depth quantum circuit composed of geometrically local gates in three dimensions, provided the noise rate is below a certain constant threshold value. On the other hand, the problem cannot be solved with high probability by a noise-free classical circuit of constant depth. A key component of the proof is a quantum error-correcting code which admits constant-depth logical Clifford gates and single-shot logical state preparation. We show that the surface code meets these criteria. To this end, we provide a protocol for single-shot logical state preparation in the surface code which may be of independent interest.
△ Less
Submitted 2 April, 2019;
originally announced April 2019.
-
Avoiding irreversibility: engineering resonant conversions of quantum resources
Authors:
Kamil Korzekwa,
Christopher T. Chubb,
Marco Tomamichel
Abstract:
We identify and explore the intriguing property of resource resonance arising within resource theories of entanglement, coherence and thermodynamics. While the theories considered are reversible asymptotically, the same is generally not true in realistic scenarios where the available resources are bounded. The finite-size effects responsible for this irreversibility could potentially prohibit smal…
▽ More
We identify and explore the intriguing property of resource resonance arising within resource theories of entanglement, coherence and thermodynamics. While the theories considered are reversible asymptotically, the same is generally not true in realistic scenarios where the available resources are bounded. The finite-size effects responsible for this irreversibility could potentially prohibit small quantum information processors or thermal machines from achieving their full potential. Nevertheless, we show here that by carefully engineering the resource interconversion process any such losses can be greatly suppressed. Our results are predicted by higher order expansions of the trade-off between the rate of resource interconversion and the achieved fidelity, and are verified by exact numerical optimizations of appropriate approximate majorization conditions.
△ Less
Submitted 4 October, 2018;
originally announced October 2018.
-
Moderate deviation analysis of majorisation-based resource interconversion
Authors:
Christopher T. Chubb,
Marco Tomamichel,
Kamil Korzekwa
Abstract:
We consider the problem of interconverting a finite amount of resources within all theories whose single-shot transformation rules are based on a majorisation relation, e.g. the resource theories of entanglement and coherence (for pure state transformations), as well as thermodynamics (for energy-incoherent transformations). When only finite resources are available we expect to see a non-trivial t…
▽ More
We consider the problem of interconverting a finite amount of resources within all theories whose single-shot transformation rules are based on a majorisation relation, e.g. the resource theories of entanglement and coherence (for pure state transformations), as well as thermodynamics (for energy-incoherent transformations). When only finite resources are available we expect to see a non-trivial trade-off between the rate $r_n$ at which $n$ copies of a resource state $ρ$ can be transformed into $nr_n$ copies of another resource state $σ$, and the error level $\varepsilon_n$ of the interconversion process, as a function of $n$. In this work we derive the optimal trade-off in the so-called moderate deviation regime, where the rate of interconversion $r_n$ approaches its optimum in the asymptotic limit of unbounded resources ($n\to\infty$), while the error $ε_n$ vanishes in the same limit. We find that the moderate deviation analysis exhibits a resonance behaviour which implies that certain pairs of resource states can be interconverted at the asymptotically optimal rate with negligible error, even in the finite $n$ regime.
△ Less
Submitted 20 September, 2018;
originally announced September 2018.
-
Minimax quantum state estimation under Bregman divergence
Authors:
Maria Quadeer,
Marco Tomamichel,
Christopher Ferrie
Abstract:
We investigate minimax estimators for quantum state tomography under general Bregman divergences. First, generalizing the work of Komaki et al. $\href{http://dx.doi.org/10.3390/e19110618}{\textrm{[Entropy 19, 618 (2017)]}}$ for relative entropy, we find that given any estimator for a quantum state, there always exists a sequence of Bayes estimators that asymptotically perform at least as well as t…
▽ More
We investigate minimax estimators for quantum state tomography under general Bregman divergences. First, generalizing the work of Komaki et al. $\href{http://dx.doi.org/10.3390/e19110618}{\textrm{[Entropy 19, 618 (2017)]}}$ for relative entropy, we find that given any estimator for a quantum state, there always exists a sequence of Bayes estimators that asymptotically perform at least as well as the given estimator, on any state. Second, we show that there always exists a sequence of priors for which the corresponding sequence of Bayes estimators is asymptotically minimax (i.e. it minimizes the worst-case risk). Third, by re-formulating Holevo's theorem for the covariant state estimation problem in terms of estimators, we find that any covariant measurement is, in fact, minimax (i.e. it minimizes the worst-case risk). Moreover, we find that a measurement is minimax if it is only covariant under a unitary 2-design. Lastly, in an attempt to understand the problem of finding minimax measurements for general state estimation, we study the qubit case in detail and find that every spherical 2-design is a minimax measurement.
△ Less
Submitted 27 February, 2019; v1 submitted 27 August, 2018;
originally announced August 2018.
-
Jointly constrained semidefinite bilinear programming with an application to Dobrushin curves
Authors:
Stefan Huber,
Robert Koenig,
Marco Tomamichel
Abstract:
We propose a branch-and-bound algorithm for minimizing a bilinear functional of the form \[ f(X,Y) = \mathrm{tr}((X\otimes Y)Q)+\mathrm{tr}(AX)+\mathrm{tr}(BY) , \] of pairs of Hermitian matrices $(X,Y)$ restricted by joint semidefinite programming constraints. The functional is parametrized by self-adjoint matrices $Q$, $A$ and $B$. This problem generalizes that of a bilinear program, where $X$ a…
▽ More
We propose a branch-and-bound algorithm for minimizing a bilinear functional of the form \[ f(X,Y) = \mathrm{tr}((X\otimes Y)Q)+\mathrm{tr}(AX)+\mathrm{tr}(BY) , \] of pairs of Hermitian matrices $(X,Y)$ restricted by joint semidefinite programming constraints. The functional is parametrized by self-adjoint matrices $Q$, $A$ and $B$. This problem generalizes that of a bilinear program, where $X$ and $Y$ belong to polyhedra. The algorithm converges to a global optimum and yields upper and lower bounds on its value in every step. Various problems in quantum information theory can be expressed in this form. As an example application, we compute Dobrushin curves of quantum channels, giving upper bounds on classical coding with energy constraints.
△ Less
Submitted 9 August, 2018;
originally announced August 2018.
-
Partially smoothed information measures
Authors:
Anurag Anshu,
Mario Berta,
Rahul Jain,
Marco Tomamichel
Abstract:
Smooth entropies are a tool for quantifying resource trade-offs in (quantum) information theory and cryptography. In typical bi- and multi-partite problems, however, some of the sub-systems are often left unchanged and this is not reflected by the standard smoothing of information measures over a ball of close states. We propose to smooth instead only over a ball of close states which also have so…
▽ More
Smooth entropies are a tool for quantifying resource trade-offs in (quantum) information theory and cryptography. In typical bi- and multi-partite problems, however, some of the sub-systems are often left unchanged and this is not reflected by the standard smoothing of information measures over a ball of close states. We propose to smooth instead only over a ball of close states which also have some of the reduced states on the relevant sub-systems fixed. This partial smoothing of information measures naturally allows to give more refined characterizations of various information-theoretic problems in the one-shot setting. In particular, we immediately get asymptotic second-order characterizations for tasks such as privacy amplification against classical side information or classical state splitting. For quantum problems like state merging the general resource trade-off is tightly characterized by partially smoothed information measures as well.
△ Less
Submitted 23 August, 2018; v1 submitted 15 July, 2018;
originally announced July 2018.
-
Quantum Channel Simulation and the Channel's Smooth Max-Information
Authors:
Kun Fang,
Xin Wang,
Marco Tomamichel,
Mario Berta
Abstract:
We study the general framework of quantum channel simulation, that is, the ability of a quantum channel to simulate another one using different classes of codes. First, we show that the minimum error of simulation and the one-shot quantum simulation cost under no-signalling assisted codes are given by semidefinite programs. Second, we introduce the channel's smooth max-information, which can be se…
▽ More
We study the general framework of quantum channel simulation, that is, the ability of a quantum channel to simulate another one using different classes of codes. First, we show that the minimum error of simulation and the one-shot quantum simulation cost under no-signalling assisted codes are given by semidefinite programs. Second, we introduce the channel's smooth max-information, which can be seen as a one-shot generalization of the mutual information of a quantum channel. We provide an exact operational interpretation of the channel's smooth max-information as the one-shot quantum simulation cost under no-signalling assisted codes, which significantly simplifies the study of channel simulation and provides insights and bounds for the case under entanglement-assisted codes. Third, we derive the asymptotic equipartition property of the channel's smooth max-information; i.e., it converges to the quantum mutual information of the channel in the independent and identically distributed asymptotic limit. This implies the quantum reverse Shannon theorem in the presence of no-signalling correlations. Finally, we explore the simulation cost of various quantum channels.
△ Less
Submitted 1 October, 2019; v1 submitted 14 July, 2018;
originally announced July 2018.
-
Efficient online quantum state estimation using a matrix-exponentiated gradient method
Authors:
Akram Youssry,
Christopher Ferrie,
Marco Tomamichel
Abstract:
In this paper, we explore an efficient online algorithm for quantum state estimation based on a matrix-exponentiated gradient method previously used in the context of machine learning. The state update is governed by a learning rate that determines how much weight is given to the new measurement results obtained in each step. We show convergence of the running state estimate in probability to the…
▽ More
In this paper, we explore an efficient online algorithm for quantum state estimation based on a matrix-exponentiated gradient method previously used in the context of machine learning. The state update is governed by a learning rate that determines how much weight is given to the new measurement results obtained in each step. We show convergence of the running state estimate in probability to the true state for both noiseless and noisy measurements. We find that in the latter case the learning rate has to be chosen adaptively and decreasing to guarantee convergence beyond the noise threshold. As a practical alternative we then propose to use running averages of the measurement statistics and a constant learning rate to overcome the noise problem. The proposed algorithm is numerically compared with batch maximum-likelihood and least-squares estimators. The results show a superior performance of the new algorithm in terms of accuracy and runtime complexity.
△ Less
Submitted 6 March, 2019; v1 submitted 5 July, 2018;
originally announced July 2018.
-
Quantum Markov Order
Authors:
Philip Taranto,
Felix A. Pollock,
Simon Milz,
Marco Tomamichel,
Kavan Modi
Abstract:
We formally extend the notion of Markov order to open quantum processes by accounting for the instruments used to probe the system of interest at different times. Our description recovers the classical Markov order property in the appropriate limit: when the stochastic process is classical and the instruments are non-invasive, \emph{i.e.}, restricted to orthogonal, projective measurements. We then…
▽ More
We formally extend the notion of Markov order to open quantum processes by accounting for the instruments used to probe the system of interest at different times. Our description recovers the classical Markov order property in the appropriate limit: when the stochastic process is classical and the instruments are non-invasive, \emph{i.e.}, restricted to orthogonal, projective measurements. We then prove that there do not exist non-Markovian quantum processes that have finite Markov order with respect to all possible instruments; the same process exhibits distinct memory effects with respect to different probing instruments. This naturally leads to a relaxed definition of quantum Markov order with respect to specified sequences of instruments. The memory effects captured by different choices of instruments vary dramatically, providing a rich landscape for future exploration.
△ Less
Submitted 10 April, 2019; v1 submitted 29 May, 2018;
originally announced May 2018.
-
Beyond the thermodynamic limit: finite-size corrections to state interconversion rates
Authors:
Christopher T. Chubb,
Marco Tomamichel,
Kamil Korzekwa
Abstract:
Thermodynamics is traditionally constrained to the study of macroscopic systems whose energy fluctuations are negligible compared to their average energy. Here, we push beyond this thermodynamic limit by develo** a mathematical framework to rigorously address the problem of thermodynamic transformations of finite-size systems. More formally, we analyse state interconversion under thermal operati…
▽ More
Thermodynamics is traditionally constrained to the study of macroscopic systems whose energy fluctuations are negligible compared to their average energy. Here, we push beyond this thermodynamic limit by develo** a mathematical framework to rigorously address the problem of thermodynamic transformations of finite-size systems. More formally, we analyse state interconversion under thermal operations and between arbitrary energy-incoherent states. We find precise relations between the optimal rate at which interconversion can take place and the desired infidelity of the final state when the system size is sufficiently large. These so-called second-order asymptotics provide a bridge between the extreme cases of single-shot thermodynamics and the asymptotic limit of infinitely large systems. We illustrate the utility of our results with several examples. We first show how thermodynamic cycles are affected by irreversibility due to finite-size effects. We then provide a precise expression for the gap between the distillable work and work of formation that opens away from the thermodynamic limit. Finally, we explain how the performance of a heat engine gets affected when one of the heat baths it operates between is finite. We find that while perfect work cannot generally be extracted at Carnot efficiency, there are conditions under which these finite-size effects vanish. In deriving our results we also clarify relations between different notions of approximate majorisation.
△ Less
Submitted 26 November, 2018; v1 submitted 3 November, 2017;
originally announced November 2017.
-
Quantum attacks on Bitcoin, and how to protect against them
Authors:
Divesh Aggarwal,
Gavin K. Brennen,
Troy Lee,
Miklos Santha,
Marco Tomamichel
Abstract:
The key cryptographic protocols used to secure the internet and financial transactions of today are all susceptible to attack by the development of a sufficiently large quantum computer. One particular area at risk are cryptocurrencies, a market currently worth over 150 billion USD. We investigate the risk of Bitcoin, and other cryptocurrencies, to attacks by quantum computers. We find that the pr…
▽ More
The key cryptographic protocols used to secure the internet and financial transactions of today are all susceptible to attack by the development of a sufficiently large quantum computer. One particular area at risk are cryptocurrencies, a market currently worth over 150 billion USD. We investigate the risk of Bitcoin, and other cryptocurrencies, to attacks by quantum computers. We find that the proof-of-work used by Bitcoin is relatively resistant to substantial speedup by quantum computers in the next 10 years, mainly because specialized ASIC miners are extremely fast compared to the estimated clock speed of near-term quantum computers. On the other hand, the elliptic curve signature scheme used by Bitcoin is much more at risk, and could be completely broken by a quantum computer as early as 2027, by the most optimistic estimates. We analyze an alternative proof-of-work called Momentum, based on finding collisions in a hash function, that is even more resistant to speedup by a quantum computer. We also review the available post-quantum signature schemes to see which one would best meet the security and efficiency requirements of blockchain applications.
△ Less
Submitted 27 October, 2017;
originally announced October 2017.
-
On converse bounds for classical communication over quantum channels
Authors:
Xin Wang,
Kun Fang,
Marco Tomamichel
Abstract:
We explore several new converse bounds for classical communication over quantum channels in both the one-shot and asymptotic regimes. First, we show that the Matthews-Wehner meta-converse bound for entanglement-assisted classical communication can be achieved by activated, no-signalling assisted codes, suitably generalizing a result for classical channels. Second, we derive a new efficiently compu…
▽ More
We explore several new converse bounds for classical communication over quantum channels in both the one-shot and asymptotic regimes. First, we show that the Matthews-Wehner meta-converse bound for entanglement-assisted classical communication can be achieved by activated, no-signalling assisted codes, suitably generalizing a result for classical channels. Second, we derive a new efficiently computable meta-converse on the amount of classical information unassisted codes can transmit over a single use of a quantum channel. As applications, we provide a finite resource analysis of classical communication over quantum erasure channels, including the second-order and moderate deviation asymptotics. Third, we explore the asymptotic analogue of our new meta-converse, the $Υ$-information of the channel. We show that its regularization is an upper bound on the classical capacity, which is generally tighter than the entanglement-assisted capacity and other known efficiently computable strong converse bounds. For covariant channels we show that the $Υ$-information is a strong converse bound.
△ Less
Submitted 6 August, 2019; v1 submitted 15 September, 2017;
originally announced September 2017.
-
Non-asymptotic entanglement distillation
Authors:
Kun Fang,
Xin Wang,
Marco Tomamichel,
Runyao Duan
Abstract:
Entanglement distillation, an essential quantum information processing task, refers to the conversion from multiple copies of noisy entangled states to a smaller number of highly entangled states. In this work, we study the non-asymptotic fundamental limits for entanglement distillation. We investigate the optimal tradeoff between the distillation rate, the number of prepared states, and the error…
▽ More
Entanglement distillation, an essential quantum information processing task, refers to the conversion from multiple copies of noisy entangled states to a smaller number of highly entangled states. In this work, we study the non-asymptotic fundamental limits for entanglement distillation. We investigate the optimal tradeoff between the distillation rate, the number of prepared states, and the error tolerance. First, we derive the one-shot distillable entanglement under completely positive partial transpose preserving operations as a semidefinite program and demonstrate an exact characterization via the quantum hypothesis testing relative entropy. Second, we establish efficiently computable second-order estimations of the distillation rate for general quantum states. In particular, we provide explicit as well as approximate evaluations for various quantum states of practical interest, including pure states, mixture of Bell states, maximally correlated states and isotropic states.
△ Less
Submitted 1 October, 2019; v1 submitted 19 June, 2017;
originally announced June 2017.
-
Beating the Classical Limits of Information Transmission using a Quantum Decoder
Authors:
Robert J. Chapman,
Akib Karim,
Zixin Huang,
Steven T. Flammia,
Marco Tomamichel,
Alberto Peruzzo
Abstract:
Encoding schemes and error-correcting codes are widely used in information technology to improve the reliability of data transmission over real-world communication channels. Quantum information protocols can further enhance the performance in data transmission by encoding a message in quantum states, however, most proposals to date have focused on the regime of a large number of uses of the noisy…
▽ More
Encoding schemes and error-correcting codes are widely used in information technology to improve the reliability of data transmission over real-world communication channels. Quantum information protocols can further enhance the performance in data transmission by encoding a message in quantum states, however, most proposals to date have focused on the regime of a large number of uses of the noisy channel, which is unfeasible with current quantum technology. We experimentally demonstrate quantum enhanced communication over an amplitude dam** noisy channel with only two uses of the channel per bit and a single entangling gate at the decoder. By simulating the channel using a photonic interferometric setup, we experimentally increase the reliability of transmitting a data bit by greater than 20% for a certain dam** range over classically sending the message twice. We show how our methodology can be extended to larger systems by simulating the transmission of a single bit with up to eight uses of the channel and a two-bit message with three uses of the channel, predicting a quantum enhancement in all cases.
△ Less
Submitted 6 February, 2018; v1 submitted 24 April, 2017;
originally announced April 2017.