Showing 1–50 of 74 results for author: Berta, M

Calculating response functions of coupled oscillators using quantum phase estimation

Authors: Sven Danz, Mario Berta, Stefan Schröder, Pascal Kienast, Frank K. Wilhelm, Alessandro Ciani

Abstract: We study the problem of estimating frequency response functions of systems of coupled, classical harmonic oscillators using a quantum computer. The functional form of these response functions can be mapped to a corresponding eigenproblem of a Hermitian matrix $H$, thus suggesting the use of quantum phase estimation. Our proposed quantum algorithm operates in the standard $s$-sparse, oracle-based q… ▽ More We study the problem of estimating frequency response functions of systems of coupled, classical harmonic oscillators using a quantum computer. The functional form of these response functions can be mapped to a corresponding eigenproblem of a Hermitian matrix $H$, thus suggesting the use of quantum phase estimation. Our proposed quantum algorithm operates in the standard $s$-sparse, oracle-based query access model. For a network of $N$ oscillators with maximum norm $\lVert H \rVert_{\mathrm{max}}$, and when the eigenvalue tolerance $\varepsilon$ is much smaller than the minimum eigenvalue gap, we use $\mathcal{O}(\log(N s \lVert H \rVert_{\mathrm{max}}/\varepsilon)$ algorithmic qubits and obtain a rigorous worst-case query complexity upper bound $\mathcal{O}(s \lVert H \rVert_{\mathrm{max}}/(δ^2 \varepsilon) )$ up to logarithmic factors, where $δ$ denotes the desired precision on the coefficients appearing in the response functions. Crucially, our proposal does not suffer from the infamous state preparation bottleneck and can as such potentially achieve large quantum speedups compared to relevant classical methods. As a proof-of-principle of exponential quantum speedup, we show that a simple adaptation of our algorithm solves the random glued-trees problem in polynomial time. We discuss practical limitations as well as potential improvements for quantifying finite size, end-to-end complexities for application to relevant instances. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Comments: 13+9 pages, 8 figures

Locally-Measured Rényi Divergences

Authors: Tobias Rippchen, Sreejith Sreekumar, Mario Berta

Abstract: We propose an extension of the classical Rényi divergences to quantum states through an optimization over probability distributions induced by restricted sets of measurements. In particular, we define the notion of locally-measured Rényi divergences, where the set of allowed measurements originates from variants of locality constraints between (distant) parties $A$ and $B$. We then derive variatio… ▽ More We propose an extension of the classical Rényi divergences to quantum states through an optimization over probability distributions induced by restricted sets of measurements. In particular, we define the notion of locally-measured Rényi divergences, where the set of allowed measurements originates from variants of locality constraints between (distant) parties $A$ and $B$. We then derive variational bounds on the locally-measured Rényi divergences and systematically discuss when these bounds become exact characterizations. As an application, we evaluate the locally-measured Rényi divergences on variants of highly symmetric data-hiding states, showcasing the reduced distinguishing power of locality-constrained measurements. For $n$-fold tensor powers, we further employ our variational formulae to derive corresponding additivity results, which gives the locally-measured Rényi divergences operational meaning as optimal rate exponents in asymptotic locally-measured hypothesis testing. △ Less

Submitted 8 May, 2024; originally announced May 2024.

Comments: 35+11 pages

Limit Distribution Theory for Quantum Divergences

Authors: Sreejith Sreekumar, Mario Berta

Abstract: Estimation of quantum relative entropy and its Rényi generalizations is a fundamental statistical task in quantum information theory, physics, and beyond. While several estimators of these divergences have been proposed in the literature along with their computational complexities explored, a limit distribution theory which characterizes the asymptotic fluctuations of the estimation error is still… ▽ More Estimation of quantum relative entropy and its Rényi generalizations is a fundamental statistical task in quantum information theory, physics, and beyond. While several estimators of these divergences have been proposed in the literature along with their computational complexities explored, a limit distribution theory which characterizes the asymptotic fluctuations of the estimation error is still premature. As our main contribution, we characterize these asymptotic distributions in terms of Fréchet derivatives of elementary operator-valued functions. We achieve this by leveraging an operator version of Taylor's theorem and identifying the regularity conditions needed. As an application of our results, we consider an estimator of quantum relative entropy based on Pauli tomography of quantum states and show that the resulting asymptotic distribution is a centered normal, with its variance characterized in terms of the Pauli operators and states. We utilize the knowledge of the aforementioned limit distribution to obtain asymptotic performance guarantees for a multi-hypothesis testing problem. △ Less

Submitted 7 December, 2023; v1 submitted 22 November, 2023; originally announced November 2023.

Comments: 13+28 pages. v2:tomography results only for multi-qubit states; added content on infinite-dimensional systems

Quantum algorithms: A survey of applications and end-to-end complexities

Authors: Alexander M. Dalzell, Sam McArdle, Mario Berta, Przemyslaw Bienias, Chi-Fang Chen, András Gilyén, Connor T. Hann, Michael J. Kastoryano, Emil T. Khabiboulline, Aleksander Kubica, Grant Salton, Samson Wang, Fernando G. S. L. Brandão

Abstract: The anticipated applications of quantum computers span across science and industry, ranging from quantum chemistry and many-body physics to optimization, finance, and machine learning. Proposed quantum solutions in these areas typically combine multiple quantum algorithmic primitives into an overall quantum algorithm, which must then incorporate the methods of quantum error correction and fault to… ▽ More The anticipated applications of quantum computers span across science and industry, ranging from quantum chemistry and many-body physics to optimization, finance, and machine learning. Proposed quantum solutions in these areas typically combine multiple quantum algorithmic primitives into an overall quantum algorithm, which must then incorporate the methods of quantum error correction and fault tolerance to be implemented correctly on quantum hardware. As such, it can be difficult to assess how much a particular application benefits from quantum computing, as the various approaches are often sensitive to intricate technical details about the underlying primitives and their complexities. Here we present a survey of several potential application areas of quantum algorithms and their underlying algorithmic primitives, carefully considering technical caveats and subtleties. We outline the challenges and opportunities in each area in an "end-to-end" fashion by clearly defining the problem being solved alongside the input-output model, instantiating all "oracles," and spelling out all hidden costs. We also compare quantum solutions against state-of-the-art classical methods and complexity-theoretic limitations to evaluate possible quantum speedups. The survey is written in a modular, wiki-like fashion to facilitate navigation of the content. Each primitive and application area is discussed in a standalone section, with its own bibliography of references and embedded hyperlinks that direct to other relevant sections. This structure mirrors that of complex quantum algorithms that involve several layers of abstraction, and it enables rapid evaluation of how end-to-end complexities are impacted when subroutines are altered. △ Less

Submitted 4 October, 2023; originally announced October 2023.

Comments: Survey document with wiki-like modular structure. 337 pages, including bibliography and sub-bibliographies. Comments welcome

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.

Comments: 22 pages; v2: published version

Journal ref: Commun. Math. Phys. 405, 29 (2024)

Quantum Broadcast Channel Simulation via Multipartite Convex Splitting

Authors: Hao-Chung Cheng, Li Gao, Mario Berta

Abstract: We show that the communication cost of quantum broadcast channel simulation under free entanglement assistance between the sender and the receivers is asymptotically characterized by an efficiently computable single-letter formula in terms of the channel's multipartite mutual information. Our core contribution is a new one-shot achievability result for multipartite quantum state splitting via mult… ▽ More We show that the communication cost of quantum broadcast channel simulation under free entanglement assistance between the sender and the receivers is asymptotically characterized by an efficiently computable single-letter formula in terms of the channel's multipartite mutual information. Our core contribution is a new one-shot achievability result for multipartite quantum state splitting via multipartite convex splitting. As part of this, we face a general instance of the quantum joint typicality problem with arbitrarily overlapping marginals. The crucial technical ingredient to sidestep this difficulty is a conceptually novel multipartite mean-zero decomposition lemma, together with employing recently introduced complex interpolation techniques for sandwiched Rényi divergences. Moreover, we establish an exponential convergence of the simulation error when the communication costs are within the interior of the capacity region. As the costs approach the boundary of the capacity region moderately quickly, we show that the error still vanishes asymptotically. △ Less

Submitted 4 May, 2023; v1 submitted 24 April, 2023; originally announced April 2023.

Comments: The idea of the mean-zero decomposition lemma is independently and concurrently discovered for multipartite decoupling by Pau Colomer Saus and Andreas Winter (arXiv:2304.12114). v2: References updated

A Third Information-Theoretic Approach to Finite de Finetti Theorems

Authors: Mario Berta, Lampros Gavalakis, Ioannis Kontoyiannis

Abstract: A new finite form of de Finetti's representation theorem is established using elementary information-theoretic tools. The distribution of the first $k$ random variables in an exchangeable vector of $n\geq k$ random variables is close to a mixture of product distributions. Closeness is measured in terms of the relative entropy and an explicit bound is provided. This bound is tighter than those obta… ▽ More A new finite form of de Finetti's representation theorem is established using elementary information-theoretic tools. The distribution of the first $k$ random variables in an exchangeable vector of $n\geq k$ random variables is close to a mixture of product distributions. Closeness is measured in terms of the relative entropy and an explicit bound is provided. This bound is tighter than those obtained via earlier information-theoretic proofs, and its utility extends to random variables taking values in general spaces. The core argument employed has its origins in the quantum information-theoretic literature. △ Less

Submitted 25 April, 2024; v1 submitted 11 April, 2023; originally announced April 2023.

Comments: 11 pages, no figures. In the second version the introduction is slightly extended, two new references and Section 2.4 have been added

Sparse random Hamiltonians are quantumly easy

Authors: Chi-Fang, Chen, Alexander M. Dalzell, Mario Berta, Fernando G. S. L. Brandão, Joel A. Tropp

Abstract: A candidate application for quantum computers is to simulate the low-temperature properties of quantum systems. For this task, there is a well-studied quantum algorithm that performs quantum phase estimation on an initial trial state that has a nonnegligible overlap with a low-energy state. However, it is notoriously hard to give theoretical guarantees that such a trial state can be prepared effic… ▽ More A candidate application for quantum computers is to simulate the low-temperature properties of quantum systems. For this task, there is a well-studied quantum algorithm that performs quantum phase estimation on an initial trial state that has a nonnegligible overlap with a low-energy state. However, it is notoriously hard to give theoretical guarantees that such a trial state can be prepared efficiently. Moreover, the heuristic proposals that are currently available, such as with adiabatic state preparation, appear insufficient in practical cases. This paper shows that, for most random sparse Hamiltonians, the maximally mixed state is a sufficiently good trial state, and phase estimation efficiently prepares states with energy arbitrarily close to the ground energy. Furthermore, any low-energy state must have nonnegligible quantum circuit complexity, suggesting that low-energy states are classically nontrivial and phase estimation is the optimal method for preparing such states (up to polynomial factors). These statements hold for two models of random Hamiltonians: (i) a sum of random signed Pauli strings and (ii) a random signed $d$-sparse Hamiltonian. The main technical argument is based on some new results in nonasymptotic random matrix theory. In particular, a refined concentration bound for the spectral density is required to obtain complexity guarantees for these random Hamiltonians. △ Less

Submitted 7 February, 2023; originally announced February 2023.

Comments: 33 pages, 4 figures

Qubit-Efficient Randomized Quantum Algorithms for Linear Algebra

Authors: Samson Wang, Sam McArdle, Mario Berta

Abstract: We propose a class of randomized quantum algorithms for the task of sampling from matrix functions, without the use of quantum block encodings or any other coherent oracle access to the matrix elements. As such, our use of qubits is purely algorithmic, and no additional qubits are required for quantum data structures. Our algorithms start from a classical data structure in which the matrix of inte… ▽ More We propose a class of randomized quantum algorithms for the task of sampling from matrix functions, without the use of quantum block encodings or any other coherent oracle access to the matrix elements. As such, our use of qubits is purely algorithmic, and no additional qubits are required for quantum data structures. Our algorithms start from a classical data structure in which the matrix of interest is specified in the Pauli basis. For $N\times N$ Hermitian matrices, the space cost is $\log(N)+1$ qubits and depending on the structure of the matrices, the gate complexity can be comparable to state-of-the-art methods that use quantum data structures of up to size $O(N^2)$, when considering equivalent end-to-end problems. Within our framework, we present a quantum linear system solver that allows one to sample properties of the solution vector, as well as algorithms for sampling properties of ground states and Gibbs states of Hamiltonians. As a concrete application, we combine these sub-routines to present a scheme for calculating Green's functions of quantum many-body systems. △ Less

Submitted 20 May, 2024; v1 submitted 3 February, 2023; originally announced February 2023.

Comments: 20+31 pages, 2+1 figures, 4 tables. Updated to published version

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.

Comments: 32 pages, 10 figures

End-to-end resource analysis for quantum interior point methods and portfolio optimization

Authors: Alexander M. Dalzell, B. David Clader, Grant Salton, Mario Berta, Cedric Yen-Yu Lin, David A. Bader, Nikitas Stamatopoulos, Martin J. A. Schuetz, Fernando G. S. L. Brandão, Helmut G. Katzgraber, William J. Zeng

Abstract: We study quantum interior point methods (QIPMs) for second-order cone programming (SOCP), guided by the example use case of portfolio optimization (PO). We provide a complete quantum circuit-level description of the algorithm from problem input to problem output, making several improvements to the implementation of the QIPM. We report the number of logical qubits and the quantity/depth of non-Clif… ▽ More We study quantum interior point methods (QIPMs) for second-order cone programming (SOCP), guided by the example use case of portfolio optimization (PO). We provide a complete quantum circuit-level description of the algorithm from problem input to problem output, making several improvements to the implementation of the QIPM. We report the number of logical qubits and the quantity/depth of non-Clifford T-gates needed to run the algorithm, including constant factors. The resource counts we find depend on instance-specific parameters, such as the condition number of certain linear systems within the problem. To determine the size of these parameters, we perform numerical simulations of small PO instances, which lead to concrete resource estimates for the PO use case. Our numerical results do not probe large enough instance sizes to make conclusive statements about the asymptotic scaling of the algorithm. However, already at small instance sizes, our analysis suggests that, due primarily to large constant pre-factors, poorly conditioned linear systems, and a fundamental reliance on costly quantum state tomography, fundamental improvements to the QIPM are required for it to lead to practical quantum advantage. △ Less

Submitted 23 May, 2024; v1 submitted 22 November, 2022; originally announced November 2022.

Comments: 40 pages, 15 figures. v2: minor corrections and updates to match journal version

Journal ref: PRX Quantum 4, 040325 (2023)

Quantum state preparation without coherent arithmetic

Authors: Sam McArdle, András Gilyén, Mario Berta

Abstract: We introduce a versatile method for preparing a quantum state whose amplitudes are given by some known function. Unlike existing approaches, our method does not require handcrafted reversible arithmetic circuits, or quantum memory loads, to encode the function values. Instead, we use a template quantum eigenvalue transformation circuit to convert a low cost block encoding of the sine function into… ▽ More We introduce a versatile method for preparing a quantum state whose amplitudes are given by some known function. Unlike existing approaches, our method does not require handcrafted reversible arithmetic circuits, or quantum memory loads, to encode the function values. Instead, we use a template quantum eigenvalue transformation circuit to convert a low cost block encoding of the sine function into the desired function. Our method uses only 4 ancilla qubits (3 if the approximating polynomial has definite parity), providing order-of-magnitude qubit count reductions compared to state-of-the-art approaches, while using a similar number of Toffoli gates if the function can be well represented by a polynomial or Fourier approximation. Like black-box methods, the complexity of our approach depends on the 'L2-norm filling-fraction' of the function. We demonstrate the efficiency of our method for preparing states commonly used in quantum algorithms, such as Gaussian and Kaiser window states. △ Less

Submitted 26 October, 2022; originally announced October 2022.

Comments: 7+6 pages

A streamlined quantum algorithm for topological data analysis with exponentially fewer qubits

Authors: Sam McArdle, András Gilyén, Mario Berta

Abstract: Topological invariants of a dataset, such as the number of holes that survive from one length scale to another (persistent Betti numbers) can be used to analyse and classify data in machine learning applications. We present an improved quantum algorithm for computing persistent Betti numbers, and provide an end-to-end complexity analysis. Our approach provides large polynomial time improvements, a… ▽ More Topological invariants of a dataset, such as the number of holes that survive from one length scale to another (persistent Betti numbers) can be used to analyse and classify data in machine learning applications. We present an improved quantum algorithm for computing persistent Betti numbers, and provide an end-to-end complexity analysis. Our approach provides large polynomial time improvements, and an exponential space saving, over existing quantum algorithms. Subject to gap dependencies, our algorithm obtains an almost quintic speedup in the number of datapoints over rigorous state-of-the-art classical algorithms for calculating the persistent Betti numbers to constant additive error - the salient task for applications. However, this may be reduced to closer to quadratic when compared against heuristic classical methods and observed scalings. We discuss whether quantum algorithms can achieve an exponential speedup for tasks of practical interest, as claimed previously. We conclude that there is currently no evidence that this is the case. △ Less

Submitted 26 September, 2022; originally announced September 2022.

Comments: 10 + 28 pages

Quantum Resources Required to Block-Encode a Matrix of Classical Data

Authors: B. David Clader, Alexander M. Dalzell, Nikitas Stamatopoulos, Grant Salton, Mario Berta, William J. Zeng

Abstract: We provide modular circuit-level implementations and resource estimates for several methods of block-encoding a dense $N\times N$ matrix of classical data to precision $ε$; the minimal-depth method achieves a $T$-depth of $\mathcal{O}{(\log (N/ε))},$ while the minimal-count method achieves a $T$-count of $\mathcal{O}{(N\log(1/ε))}$. We examine resource tradeoffs between the different approaches, a… ▽ More We provide modular circuit-level implementations and resource estimates for several methods of block-encoding a dense $N\times N$ matrix of classical data to precision $ε$; the minimal-depth method achieves a $T$-depth of $\mathcal{O}{(\log (N/ε))},$ while the minimal-count method achieves a $T$-count of $\mathcal{O}{(N\log(1/ε))}$. We examine resource tradeoffs between the different approaches, and we explore implementations of two separate models of quantum random access memory (QRAM). As part of this analysis, we provide a novel state preparation routine with $T$-depth $\mathcal{O}{(\log (N/ε))}$, improving on previous constructions with scaling $\mathcal{O}{(\log^2 (N/ε))}$. Our results go beyond simple query complexity and provide a clear picture into the resource costs when large amounts of classical data are assumed to be accessible to quantum algorithms. △ Less

Submitted 7 June, 2022; originally announced June 2022.

Journal ref: IEEE Transactions on Quantum Engineering, vol. 3, pp. 1-23, 2022, Art no. 3103323

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.

Comments: 28 pages; in v2 we added Section V.D and Section VI, and corrected several small typos; v3 is close to the published version

Journal ref: Quantum 7, 1103 (2023)

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.

Comments: v2: 6 pages, technical note, will appear at IEEE International Symposium on Information Theory 2022, final version with updated references

Journal ref: IEEE International Symposium on Information Theory 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.

Comments: 32 pages

Journal ref: IEEE Transactions on Information Theory 69(8), 5041-5059 (2023)

A randomized quantum algorithm for statistical phase estimation

Authors: Kianna Wan, Mario Berta, Earl T. Campbell

Abstract: Phase estimation is a quantum algorithm for measuring the eigenvalues of a Hamiltonian. We propose and rigorously analyse a randomized phase estimation algorithm with two distinctive features. First, our algorithm has complexity independent of the number of terms L in the Hamiltonian. Second, unlike previous L-independent approaches, such as those based on qDRIFT, all sources of error in our algor… ▽ More Phase estimation is a quantum algorithm for measuring the eigenvalues of a Hamiltonian. We propose and rigorously analyse a randomized phase estimation algorithm with two distinctive features. First, our algorithm has complexity independent of the number of terms L in the Hamiltonian. Second, unlike previous L-independent approaches, such as those based on qDRIFT, all sources of error in our algorithm can be suppressed by collecting more data samples, without increasing the circuit depth. △ Less

Submitted 13 July, 2022; v1 submitted 22 October, 2021; originally announced October 2021.

Comments: 5+20 pages, 4 figures

Journal ref: Phys. Rev. Lett. 129, 030503 (2022)

High-Frequency radar measurements with CODARs in the region of Nice: improved calibration and performance

Authors: Charles-Antoine Guérin, Dylan Dumas, Anne Molcard, Céline Quentin, Bruno Zakardjian, Anthony Gramoullé, Maristella Berta

Abstract: We report on the installation and first results of one compact oceanographic radar in the region of Nice for a long-term observation of the coastal surface currents in the North-West Mediterranean Sea. We describe the specific processing and calibration techniques which were developed at the laboratory to produce high-quality radial surface current maps. In particular, we propose an original self-… ▽ More We report on the installation and first results of one compact oceanographic radar in the region of Nice for a long-term observation of the coastal surface currents in the North-West Mediterranean Sea. We describe the specific processing and calibration techniques which were developed at the laboratory to produce high-quality radial surface current maps. In particular, we propose an original self-calibration technique of the antenna patterns, which is based on the sole analysis of the databasis and does not require any shipborne transponder or other external transmitters. The relevance of the self-calibration technique and the accuracy of inverted surface currents have been assessed with the launch of 40 drifters that remained under the radar coverage for about 10 days. △ Less

Submitted 2 October, 2021; v1 submitted 8 February, 2021; originally announced February 2021.

Comments: 14 pages, 11 figures, 4 tables

Resource distillation in convex Gaussian resource theories

Authors: Hyejung H. Jee, Carlo Sparaciari, Mario Berta

Abstract: It is known that distillation in continuous variable resource theories is impossible when restricted to Gaussian states and operations. To overcome this limitation, we enlarge the theories to include convex mixtures of Gaussian states and operations. This extension is operationally well-motivated since classical randomness is easily accessible. We find that resource distillation becomes possible f… ▽ More It is known that distillation in continuous variable resource theories is impossible when restricted to Gaussian states and operations. To overcome this limitation, we enlarge the theories to include convex mixtures of Gaussian states and operations. This extension is operationally well-motivated since classical randomness is easily accessible. We find that resource distillation becomes possible for convex Gaussian resource theories-albeit in a limited fashion. We derive this limitation by studying the convex roof extension of a Gaussian resource measure and then go on to show that our bound is tight by means of example protocols for the distillation of squeezing and entanglement. △ Less

Submitted 17 September, 2020; originally announced September 2020.

Comments: 10+5 pages, 7 figures

Journal ref: Phys. Rev. A 103, 022420 (2021)

Practical randomness amplification and privatisation with implementations on quantum computers

Authors: Cameron Foreman, Sherilyn Wright, Alec Edgington, Mario Berta, Florian J. Curchod

Abstract: We present an end-to-end and practical randomness amplification and privatisation protocol based on Bell tests. This allows the building of device-independent random number generators which output (near-)perfectly unbiased and private numbers, even if using an uncharacterised quantum device potentially built by an adversary. Our generation rates are linear in the repetition rate of the quantum dev… ▽ More We present an end-to-end and practical randomness amplification and privatisation protocol based on Bell tests. This allows the building of device-independent random number generators which output (near-)perfectly unbiased and private numbers, even if using an uncharacterised quantum device potentially built by an adversary. Our generation rates are linear in the repetition rate of the quantum device and the classical randomness post-processing has quasi-linear complexity - making it efficient on a standard personal laptop. The statistical analysis is also tailored for real-world quantum devices. Our protocol is then showcased on several different quantum computers. Although not purposely built for the task, we show that quantum computers can run faithful Bell tests by adding minimal assumptions. In this semi-device-independent manner, our protocol generates (near-)perfectly unbiased and private random numbers on today's quantum computers. △ Less

Submitted 29 March, 2023; v1 submitted 14 September, 2020; originally announced September 2020.

Comments: As published in the journal Quantum, 33+23 pages (15 figures and 2 tables)

Journal ref: Quantum 7, 969 (2023)

Quasi-polynomial time algorithms for free quantum games in bounded dimension

Authors: Hyejung H. Jee, Carlo Sparaciari, Omar Fawzi, Mario Berta

Abstract: We give a converging semidefinite programming hierarchy of outer approximations for the set of quantum correlations of fixed dimension and derive analytical bounds on the convergence speed of the hierarchy. In particular, we give a semidefinite program of size $\exp(\mathcal{O}\big(T^{12}(\log^2(AT)+\log(Q)\log(AT))/ε^2\big))$ to compute additive $ε$-approximations on the values of two-player free… ▽ More We give a converging semidefinite programming hierarchy of outer approximations for the set of quantum correlations of fixed dimension and derive analytical bounds on the convergence speed of the hierarchy. In particular, we give a semidefinite program of size $\exp(\mathcal{O}\big(T^{12}(\log^2(AT)+\log(Q)\log(AT))/ε^2\big))$ to compute additive $ε$-approximations on the values of two-player free games with $T\times T$-dimensional quantum assistance, where $A$ and $Q$ denote the numbers of answers and questions of the game, respectively. For fixed dimension $T$, this scales polynomially in $Q$ and quasi-polynomially in $A$, thereby improving on previously known approximation algorithms for which worst-case run-time guarantees are at best exponential in $Q$ and $A$. For the proof, we make a connection to the quantum separability problem and employ improved multipartite quantum de Finetti theorems with linear constraints. We also derive an informationally complete measurement which minimises the loss in distinguishability relative to the quantum side information - which may be of independent interest. △ Less

Submitted 7 June, 2021; v1 submitted 18 May, 2020; originally announced May 2020.

Comments: v3: 20+14 pages, 1 figure, updated title, extended version

Journal ref: LIPIcs, Volume 198, ICALP 2021

Non-additivity in classical-quantum wiretap channels

Authors: Arkin Tikku, Mario Berta, Joseph M. Renes

Abstract: Due to Csiszar and Koerner, the private capacity of classical wiretap channels has a single-letter characterization in terms of the private information. For quantum wiretap channels, however, it is known that regularization of the private information is necessary to reach the capacity. Here, we study hybrid classical-quantum wiretap channels in order to resolve to what extent quantum effects are n… ▽ More Due to Csiszar and Koerner, the private capacity of classical wiretap channels has a single-letter characterization in terms of the private information. For quantum wiretap channels, however, it is known that regularization of the private information is necessary to reach the capacity. Here, we study hybrid classical-quantum wiretap channels in order to resolve to what extent quantum effects are needed to witness non-additivity phenomena in quantum Shannon theory. For wiretap channels with quantum inputs but classical outputs, we prove that the characterization of the capacity in terms of the private information stays single-letter. Hence, entangled input states are of no asymptotic advantage in this setting. For wiretap channels with classical inputs, we show by means of explicit examples that the private information already becomes non-additive when either one of the two receivers becomes quantum (with the other receiver staying classical). This gives non-additivity examples that are not caused by entanglement and illustrates that quantum adversaries are strictly different from classical adversaries in the wiretap model. △ Less

Submitted 6 July, 2020; v1 submitted 16 February, 2020; originally announced February 2020.

Comments: v2: updates from review process; 13 pages, 4 figures v1: 8+6 pages, 2 figures

Journal ref: IEEE J. Sel. Areas Inf. Theory 1, 526 (2020)

Thermodynamic Implementations of Quantum Processes

Authors: Philippe Faist, Mario Berta, Fernando G. S. L. Brandao

Abstract: Recent understanding of the thermodynamics of small-scale systems have enabled the characterization of the thermodynamic requirements of implementing quantum processes for fixed input states. Here, we extend these results to construct optimal universal implementations of a given process, that is, implementations that are accurate for any possible input state even after many independent and identic… ▽ More Recent understanding of the thermodynamics of small-scale systems have enabled the characterization of the thermodynamic requirements of implementing quantum processes for fixed input states. Here, we extend these results to construct optimal universal implementations of a given process, that is, implementations that are accurate for any possible input state even after many independent and identically distributed (i.i.d.) repetitions of the process. We find that the optimal work cost rate of such an implementation is given by the thermodynamic capacity of the process, which is a single-letter and additive quantity defined as the maximal difference in relative entropy to the thermal state between the input and the output of the channel. As related results we find a new single-shot implementation of time-covariant processes and conditional erasure with nontrivial Hamiltonians, a new proof of the asymptotic equipartition property of the coherent relative entropy, and an optimal implementation of any i.i.d. process with thermal operations for a fixed i.i.d. input state. Beyond being a thermodynamic analogue of the reverse Shannon theorem for quantum channels, our results introduce a new notion of quantum typicality and present a thermodynamic application of convex-split methods. △ Less

Submitted 23 July, 2021; v1 submitted 13 November, 2019; originally announced November 2019.

Comments: 46+15 pages, 2 figures. The appendix of arXiv:1807.05610 was split off and reworked into this technical companion paper. Version v2 reflects the journal accepted version but is extended with some additional related results (Section 8) that are not included in the published work

Journal ref: Communications in Mathematical Physics 384, 1709-1750 (2021)

Quantum Brascamp-Lieb Dualities

Authors: Mario Berta, David Sutter, Michael Walter

Abstract: Brascamp-Lieb inequalities are entropy inequalities which have a dual formulation as generalized Young inequalities. In this work, we introduce a fully quantum version of this duality, relating quantum relative entropy inequalities to matrix exponential inequalities of Young type. We demonstrate this novel duality by means of examples from quantum information theory -- including entropic uncertain… ▽ More Brascamp-Lieb inequalities are entropy inequalities which have a dual formulation as generalized Young inequalities. In this work, we introduce a fully quantum version of this duality, relating quantum relative entropy inequalities to matrix exponential inequalities of Young type. We demonstrate this novel duality by means of examples from quantum information theory -- including entropic uncertainty relations, strong data-processing inequalities, super-additivity inequalities, and many more. As an application we find novel uncertainty relations for Gaussian quantum operations that can be interpreted as quantum duals of the well-known family of `geometric' Brascamp-Lieb inequalities. △ Less

Submitted 20 February, 2023; v1 submitted 5 September, 2019; originally announced September 2019.

Comments: v3: 24 pages, minor changes, to appear in Commun. Math. Phys

Journal ref: Communications in Mathematical Physics, 2023

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.

Comments: Review article. Comments and suggestions are welcome. REVTeX: 118 pages, 20 figures, 785 references

Journal ref: Adv. Opt. Photon. 12, 1012-1236 (2020)

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.

Journal ref: Journal of Mathematical Physics 60, 122201 (2019)

Computing Quantum Channel Capacities

Authors: Navneeth Ramakrishnan, Raban Iten, Volkher B. Scholz, Mario Berta

Abstract: The capacity of noisy quantum channels characterizes the highest rate at which information can be reliably transmitted and it is therefore of practical as well as fundamental importance. Capacities of classical channels are computed using alternating optimization schemes, called Blahut-Arimoto algorithms. In this work, we generalize classical Blahut-Arimoto algorithms to the quantum setting. In pa… ▽ More The capacity of noisy quantum channels characterizes the highest rate at which information can be reliably transmitted and it is therefore of practical as well as fundamental importance. Capacities of classical channels are computed using alternating optimization schemes, called Blahut-Arimoto algorithms. In this work, we generalize classical Blahut-Arimoto algorithms to the quantum setting. In particular, we give efficient iterative schemes to compute the capacity of channels with classical input and quantum output, the quantum capacity of less noisy channels, the thermodynamic capacity of quantum channels, as well as the entanglement-assisted capacity of quantum channels. We give rigorous a priori and a posteriori bounds on the estimation error by employing quantum entropy inequalities and demonstrate fast convergence of our algorithms in numerical experiments. △ Less

Submitted 1 July, 2021; v1 submitted 3 May, 2019; originally announced May 2019.

Comments: v4: 22 pages, 4 figures, new title

Journal ref: IEEE Transactions on Information Theory 67.2 (2020): 946-960

Characterization of edge and scrape-off layer fluctuations using the fast Li-BES system on COMPASS

Authors: A. Bencze, M. Berta, A. Buzas, P. Hacek, J. Krbec, M. Szutyanyi

Abstract: Recently the Li-Beam Emission Spectroscopy (Li-BES) system on COMPASS has reached its full diagnostic power in terms of routine automatic operation in any kind of plasma scenarios and it is normally used as a standard tool for reconstruction of ultra fast density profiles in the edge region of COMPASS plasmas. The purpose of this study is to investigate the advantages and limitations of the COMPAS… ▽ More Recently the Li-Beam Emission Spectroscopy (Li-BES) system on COMPASS has reached its full diagnostic power in terms of routine automatic operation in any kind of plasma scenarios and it is normally used as a standard tool for reconstruction of ultra fast density profiles in the edge region of COMPASS plasmas. The purpose of this study is to investigate the advantages and limitations of the COMPASS Li-BES system in characterizing plasma electron density fluctuations. We show how the atomic physics of plasma-beam interactions can affect the interpretation of the measurement at different radial positions and for different electron density profiles. We also demonstrate the usability of generalized sequential probability ratio test for automatic event detection. Using non-perturbative diagnostic, we verify the validity of the stochastic Garcia-model for scrape-off layer filaments and accompanying holes (density deficits). △ Less

Submitted 1 February, 2019; v1 submitted 13 January, 2019; originally announced January 2019.

Comments: suggestions from the coauthors included some text added to explain fig. 9

Semidefinite programming hierarchies for constrained bilinear optimization

Authors: Mario Berta, Francesco Borderi, Omar Fawzi, Volkher Scholz

Abstract: We give asymptotically converging semidefinite programming hierarchies of outer bounds on bilinear programs of the form $\mathrm{Tr}\big[M(X\otimes Y)\big]$, maximized with respect to semidefinite constraints on $X$ and $Y$. Applied to the problem of quantum error correction this gives hierarchies of efficiently computable outer bounds on the optimal fidelity for any message dimension and error mo… ▽ More We give asymptotically converging semidefinite programming hierarchies of outer bounds on bilinear programs of the form $\mathrm{Tr}\big[M(X\otimes Y)\big]$, maximized with respect to semidefinite constraints on $X$ and $Y$. Applied to the problem of quantum error correction this gives hierarchies of efficiently computable outer bounds on the optimal fidelity for any message dimension and error model. The first level of our hierarchies corresponds to the non-signalling assisted fidelity previously studied by [Leung & Matthews, IEEE Trans.~Inf.~Theory 2015], and positive partial transpose constraints can be added and used to give a sufficient criterion for the exact convergence at a given level of the hierarchy. To quantify the worst case convergence speed of our hierarchies, we derive novel quantum de Finetti theorems that allow imposing linear constraints on the approximating state. In particular, we give finite de Finetti theorems for quantum channels, quantifying closeness to the convex hull of product channels as well as closeness to local operations and classical forward communication assisted channels. As a special case this constitutes a finite version of Fuchs-Schack-Scudo's asymptotic de Finetti theorem for quantum channels. Finally, our proof methods also allow us to answer an open question from [Brandão & Harrow, STOC 2013] by improving the approximation factor of de Finetti theorems with no symmetry from $O(d^{k/2})$ to $\mathrm{poly}(d,k)$, where $d$ denotes local dimension and $k$ the number of copies. △ Less

Submitted 10 July, 2021; v1 submitted 29 October, 2018; originally announced October 2018.

Comments: 33 pages, New Title, v3

Journal ref: Mathematical Programming (2021)

Amortized Channel Divergence for Asymptotic Quantum Channel Discrimination

Authors: Mark M. Wilde, Mario Berta, Christoph Hirche, Eneet Kaur

Abstract: It is well known that for the discrimination of classical and quantum channels in the finite, non-asymptotic regime, adaptive strategies can give an advantage over non-adaptive strategies. However, Hayashi [IEEE Trans. Inf. Theory 55(8), 3807 (2009)] showed that in the asymptotic regime, the exponential error rate for the discrimination of classical channels is not improved in the adaptive setting… ▽ More It is well known that for the discrimination of classical and quantum channels in the finite, non-asymptotic regime, adaptive strategies can give an advantage over non-adaptive strategies. However, Hayashi [IEEE Trans. Inf. Theory 55(8), 3807 (2009)] showed that in the asymptotic regime, the exponential error rate for the discrimination of classical channels is not improved in the adaptive setting. We extend this result in several ways. First, we establish the strong Stein's lemma for classical-quantum channels by showing that asymptotically the exponential error rate for classical-quantum channel discrimination is not improved by adaptive strategies. Second, we recover many other classes of channels for which adaptive strategies do not lead to an asymptotic advantage. Third, we give various converse bounds on the power of adaptive protocols for general asymptotic quantum channel discrimination. Intriguingly, it remains open whether adaptive protocols can improve the exponential error rate for quantum channel discrimination in the asymmetric Stein setting. Our proofs are based on the concept of amortized distinguishability of quantum channels, which we analyse using data-processing inequalities. △ Less

Submitted 18 June, 2020; v1 submitted 4 August, 2018; originally announced August 2018.

Comments: v2: 55 pages, 4 figures, final version published in Letters in Mathematical Physics

Journal ref: Letters in Mathematical Physics vol. 100, page 2277--2336, August 2020

Conditional Decoupling of Quantum Information

Authors: Mario Berta, Fernando G. S. L. Brandao, Christian Majenz, Mark M. Wilde

Abstract: Insights from quantum information theory show that correlation measures based on quantum entropy are fundamental tools that reveal the entanglement structure of multipartite states. In that spirit, Groisman, Popescu, and Winter [Physical Review A 72, 032317 (2005)] showed that the quantum mutual information $I(A;B)$ quantifies the minimal rate of noise needed to erase the correlations in a biparti… ▽ More Insights from quantum information theory show that correlation measures based on quantum entropy are fundamental tools that reveal the entanglement structure of multipartite states. In that spirit, Groisman, Popescu, and Winter [Physical Review A 72, 032317 (2005)] showed that the quantum mutual information $I(A;B)$ quantifies the minimal rate of noise needed to erase the correlations in a bipartite state of quantum systems $AB$. Here, we investigate correlations in tripartite systems $ABE$. In particular, we are interested in the minimal rate of noise needed to apply to the systems $AE$ in order to erase the correlations between $A$ and $B$ given the information in system $E$, in such a way that there is only negligible disturbance on the marginal $BE$. We present two such models of conditional decoupling, called deconstruction and conditional erasure cost of tripartite states $ABE$. Our main result is that both are equal to the conditional quantum mutual information $I(A;B|E)$ -- establishing it as an operational measure for tripartite quantum correlations. △ Less

Submitted 31 July, 2018; originally announced August 2018.

Comments: 6 pages, 1 figure, see companion paper at arXiv:1609.06994

Journal ref: Physical Review Letters, vol. 121, no. 4, page 040504, July 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.

Comments: v2: slightly improved achievability bound for classical state splitting + fixed converse proof for privacy amplification, 25 pages

Journal ref: IEEE Trans. Inf. Theory 66(8):5022-5036 (2020)

Thermodynamic Capacity of Quantum Processes

Authors: Philippe Faist, Mario Berta, Fernando Brandão

Abstract: Thermodynamics imposes restrictions on what state transformations are possible. In the macroscopic limit of asymptotically many independent copies of a state---as for instance in the case of an ideal gas---the possible transformations become reversible and are fully characterized by the free energy. In this Letter, we present a thermodynamic resource theory for quantum processes that also becomes… ▽ More Thermodynamics imposes restrictions on what state transformations are possible. In the macroscopic limit of asymptotically many independent copies of a state---as for instance in the case of an ideal gas---the possible transformations become reversible and are fully characterized by the free energy. In this Letter, we present a thermodynamic resource theory for quantum processes that also becomes reversible in the macroscopic limit, a property that is especially rare for a resource theory of quantum channels. We identify a unique single-letter and additive quantity, the thermodynamic capacity, that characterizes the "thermodynamic value" of a quantum channel, in the sense that the work required to simulate many repetitions of a quantum process employing many repetitions of another quantum process becomes equal to the difference of the respective thermodynamic capacities. On a technical level, we provide asymptotically optimal constructions of universal implementations of quantum processes. A challenging aspect of this construction is the apparent necessity to coherently combine thermal engines that would run in different thermodynamic regimes depending on the input state. Our results have applications in quantum Shannon theory by providing a generalized notion of quantum typical subspaces and by giving an operational interpretation to the entropy difference of a channel. △ Less

Submitted 13 November, 2019; v1 submitted 15 July, 2018; originally announced July 2018.

Comments: 6 pages, 2 figures, journal version. The technical appendix was split off into a companion paper that will be submitted separately (cf. today's arXiv listing)

Journal ref: Phys. Rev. Lett. 122, 200601 (2019)

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.

Comments: 21 pages, 3 figures; close to published version

Journal ref: IEEE Transactions on Information Theory 66(4): 2129-2140 (2020)

Thermal States as Convex Combinations of Matrix Product States

Authors: Mario Berta, Fernando G. S. L. Brandao, Jutho Haegeman, Volkher B. Scholz, Frank Verstraete

Abstract: We study thermal states of strongly interacting quantum spin chains and prove that those can be represented in terms of convex combinations of matrix product states. Apart from revealing new features of the entanglement structure of Gibbs states our results provide a theoretical justification for the use of White's algorithm of minimally entangled typical thermal states. Furthermore, we shed new l… ▽ More We study thermal states of strongly interacting quantum spin chains and prove that those can be represented in terms of convex combinations of matrix product states. Apart from revealing new features of the entanglement structure of Gibbs states our results provide a theoretical justification for the use of White's algorithm of minimally entangled typical thermal states. Furthermore, we shed new light on time dependent matrix product state algorithms which yield hydrodynamical descriptions of the underlying dynamics. △ Less

Submitted 28 December, 2018; v1 submitted 21 September, 2017; originally announced September 2017.

Comments: v3: 10 pages, 2 figures, final published version

Journal ref: Phys. Rev. B 98, 235154 (2018)

On Composite Quantum Hypothesis Testing

Authors: Mario Berta, Fernando G. S. L. Brandao, Christoph Hirche

Abstract: We extend quantum Stein's lemma in asymmetric quantum hypothesis testing to composite null and alternative hypotheses. As our main result, we show that the asymptotic error exponent for testing convex combinations of quantum states $ρ^{\otimes n}$ against convex combinations of quantum states $σ^{\otimes n}$ can be written as a regularized quantum relative entropy formula. We prove that in general… ▽ More We extend quantum Stein's lemma in asymmetric quantum hypothesis testing to composite null and alternative hypotheses. As our main result, we show that the asymptotic error exponent for testing convex combinations of quantum states $ρ^{\otimes n}$ against convex combinations of quantum states $σ^{\otimes n}$ can be written as a regularized quantum relative entropy formula. We prove that in general such a regularization is needed but also discuss various settings where our formula as well as extensions thereof become single-letter. This includes an operational interpretation of the relative entropy of coherence in terms of hypothesis testing. For our proof, we start from the composite Stein's lemma for classical probability distributions and lift the result to the non-commutative setting by using elementary properties of quantum entropy. Finally, our findings also imply an improved recoverability lower bound on the conditional quantum mutual information in terms of the regularized quantum relative entropy -- featuring an explicit and universal recovery map. △ Less

Submitted 23 July, 2021; v1 submitted 21 September, 2017; originally announced September 2017.

Comments: 14 pages, v2: matches published version, includes several corrections

Journal ref: Communications in Mathematical Physics, volume 385, pages 55-77 (2021)

Amortization does not enhance the max-Rains information of a quantum channel

Authors: Mario Berta, Mark M. Wilde

Abstract: Given an entanglement measure $E$, the entanglement of a quantum channel is defined as the largest amount of entanglement $E$ that can be generated from the channel, if the sender and receiver are not allowed to share a quantum state before using the channel. The amortized entanglement of a quantum channel is defined as the largest net amount of entanglement $E$ that can be generated from the chan… ▽ More Given an entanglement measure $E$, the entanglement of a quantum channel is defined as the largest amount of entanglement $E$ that can be generated from the channel, if the sender and receiver are not allowed to share a quantum state before using the channel. The amortized entanglement of a quantum channel is defined as the largest net amount of entanglement $E$ that can be generated from the channel, if the sender and receiver are allowed to share an arbitrary state before using the channel. Our main technical result is that amortization does not enhance the entanglement of an arbitrary quantum channel, when entanglement is quantified by the max-Rains relative entropy. We prove this statement by employing semi-definite programming (SDP) duality and SDP formulations for the max-Rains relative entropy and a channel's max-Rains information, found recently in [Wang et al., arXiv:1709.00200]. The main application of our result is a single-letter, strong-converse, and efficiently computable upper bound on the capacity of a quantum channel for transmitting qubits when assisted by positive-partial-transpose preserving (PPT-P) channels between every use of the channel. As the class of local operations and classical communication (LOCC) is contained in PPT-P, our result establishes a benchmark for the LOCC-assisted quantum capacity of an arbitrary quantum channel, which is relevant in the context of distributed quantum computation and quantum key distribution. △ Less

Submitted 18 May, 2018; v1 submitted 14 September, 2017; originally announced September 2017.

Comments: v2: 24 pages, 1 figure, final version accepted for publication in New Journal of Physics

Journal ref: New Journal of Physics, vol. 20, page 053044, May 2018

Disentanglement Cost of Quantum States

Authors: Mario Berta, Christian Majenz

Abstract: We show that the minimal rate of noise needed to catalytically erase the entanglement in a bipartite quantum state is given by the regularized relative entropy of entanglement. This offers a solution to the central open question raised in [Groisman, PRA 72, 032317 (2005)] and complements their main result that the minimal rate of noise needed to erase all correlations is given by the quantum mutua… ▽ More We show that the minimal rate of noise needed to catalytically erase the entanglement in a bipartite quantum state is given by the regularized relative entropy of entanglement. This offers a solution to the central open question raised in [Groisman, PRA 72, 032317 (2005)] and complements their main result that the minimal rate of noise needed to erase all correlations is given by the quantum mutual information. We extend our discussion to the tripartite setting where we show that an asymptotic rate of noise given by the regularized relative entropy of recovery is sufficient to catalytically transform the state to a locally recoverable version of the state. △ Less

Submitted 12 November, 2018; v1 submitted 1 August, 2017; originally announced August 2017.

Comments: v4: 6 pages, final published version

Journal ref: Phys. Rev. Lett. 121, 190503 (2018)

Deconstruction and conditional erasure of quantum correlations

Authors: Mario Berta, Fernando G. S. L. Brandao, Christian Majenz, Mark M. Wilde

Abstract: We define the deconstruction cost of a tripartite quantum state on systems $ABE$ as the minimum rate of noise needed to apply to the $AE$ systems, such that there is negligible disturbance to the marginal state on the $BE$ systems, while the system $A$ of the resulting state is locally recoverable from the $E$ system alone. We refer to such actions as deconstruction operations and protocols implem… ▽ More We define the deconstruction cost of a tripartite quantum state on systems $ABE$ as the minimum rate of noise needed to apply to the $AE$ systems, such that there is negligible disturbance to the marginal state on the $BE$ systems, while the system $A$ of the resulting state is locally recoverable from the $E$ system alone. We refer to such actions as deconstruction operations and protocols implementing them as state deconstruction protocols. State deconstruction generalizes Landauer erasure of a single-party quantum state as well the erasure of correlations of a two-party quantum state. We find that the deconstruction cost of a tripartite quantum state on systems $ABE$ is equal to its conditional quantum mutual information (CQMI) $I(A;B|E)$, thus giving the CQMI an operational interpretation in terms of a state deconstruction protocol. We also define a related task called conditional erasure, in which the goal is to apply noise to systems $AE$ in order to decouple system $A$ from systems $BE$, while causing negligible disturbance to the marginal state of systems $BE$. We find that the optimal rate of noise for conditional erasure is also equal to the CQMI $I(A;B|E)$. State deconstruction and conditional erasure lead to operational interpretations of the quantum discord and squashed entanglement, which are quantum correlation measures based on the CQMI. We find that the quantum discord is equal to the cost of simulating einselection, the process by which a quantum system interacts with an environment, resulting in selective loss of information in the system. The squashed entanglement is equal to half the minimum rate of noise needed for deconstruction/conditional erasure if Alice has available the best possible system $E$ to help in the deconstruction/conditional erasure task. △ Less

Submitted 12 October, 2018; v1 submitted 22 September, 2016; originally announced September 2016.

Comments: 21 pages, 3 figures, accepted for publication in Physical Review A

Journal ref: Phys. Rev. A 98, 042320 (2018)

Gaussian hypothesis testing and quantum illumination

Authors: Mark M. Wilde, Marco Tomamichel, Seth Lloyd, Mario Berta

Abstract: Quantum hypothesis testing is one of the most basic tasks in quantum information theory and has fundamental links with quantum communication and estimation theory. In this paper, we establish a formula that characterizes the decay rate of the minimal Type-II error probability in a quantum hypothesis test of two Gaussian states given a fixed constraint on the Type-I error probability. This formula… ▽ More Quantum hypothesis testing is one of the most basic tasks in quantum information theory and has fundamental links with quantum communication and estimation theory. In this paper, we establish a formula that characterizes the decay rate of the minimal Type-II error probability in a quantum hypothesis test of two Gaussian states given a fixed constraint on the Type-I error probability. This formula is a direct function of the mean vectors and covariance matrices of the quantum Gaussian states in question. We give an application to quantum illumination, which is the task of determining whether there is a low-reflectivity object embedded in a target region with a bright thermal-noise bath. For the asymmetric-error setting, we find that a quantum illumination transmitter can achieve an error probability exponent stronger than a coherent-state transmitter of the same mean photon number, and furthermore, that it requires far fewer trials to do so. This occurs when the background thermal noise is either low or bright, which means that a quantum advantage is even easier to witness than in the symmetric-error setting because it occurs for a larger range of parameters. Going forward from here, we expect our formula to have applications in settings well beyond those considered in this paper, especially to quantum communication tasks involving quantum Gaussian channels. △ Less

Submitted 19 September, 2017; v1 submitted 24 August, 2016; originally announced August 2016.

Comments: v2: 13 pages, 1 figure, final version published in Physical Review Letters

Journal ref: Physical Review Letters, vol. 119, no. 12, page 120501, September 2017

Rényi divergences as weighted non-commutative vector valued $L_p$-spaces

Authors: Mario Berta, Volkher B. Scholz, Marco Tomamichel

Abstract: We show that Araki and Masuda's weighted non-commutative vector valued $L_p$-spaces [Araki \& Masuda, Publ. Res. Inst. Math. Sci., 18:339 (1982)] correspond to an algebraic generalization of the sandwiched Rényi divergences with parameter $α= \frac{p}{2}$. Using complex interpolation theory, we prove various fundamental properties of these divergences in the setup of von Neumann algebras, includin… ▽ More We show that Araki and Masuda's weighted non-commutative vector valued $L_p$-spaces [Araki \& Masuda, Publ. Res. Inst. Math. Sci., 18:339 (1982)] correspond to an algebraic generalization of the sandwiched Rényi divergences with parameter $α= \frac{p}{2}$. Using complex interpolation theory, we prove various fundamental properties of these divergences in the setup of von Neumann algebras, including a data-processing inequality and monotonicity in $α$. We thereby also give new proofs for the corresponding finite-dimensional properties. We discuss the limiting cases $α\to \{\frac{1}{2},1,\infty\}$ leading to minus the logarithm of Uhlmann's fidelity, Umegaki's relative entropy, and the max-relative entropy, respectively. As a contribution that might be of independent interest, we derive a Riesz-Thorin theorem for Araki-Masuda $L_p$-spaces and an Araki-Lieb-Thirring inequality for states on von Neumann algebras. △ Less

Submitted 22 July, 2018; v1 submitted 18 August, 2016; originally announced August 2016.

Comments: v2: 20 pages, published version

Journal ref: Annales Henri Poincaré 19 (6), 1843-1867 (2018)

Catalytic Decoupling of Quantum Information

Authors: Christian Majenz, Mario Berta, Frédéric Dupuis, Renato Renner, Matthias Christandl

Abstract: The decoupling technique is a fundamental tool in quantum information theory with applications ranging from quantum thermodynamics to quantum many body physics to the study of black hole radiation. In this work we introduce the notion of catalytic decoupling, that is, decoupling in the presence of an uncorrelated ancilla system. This removes a restriction on the standard notion of decoupling, whic… ▽ More The decoupling technique is a fundamental tool in quantum information theory with applications ranging from quantum thermodynamics to quantum many body physics to the study of black hole radiation. In this work we introduce the notion of catalytic decoupling, that is, decoupling in the presence of an uncorrelated ancilla system. This removes a restriction on the standard notion of decoupling, which becomes important for structureless resources, and yields a tight characterization in terms of the max-mutual information. Catalytic decoupling naturally unifies various tasks like the erasure of correlations and quantum state merging, and leads to a resource theory of decoupling. △ Less

Submitted 2 May, 2016; originally announced May 2016.

Comments: 6+16 pages, 1 figure

Journal ref: Phys. Rev. Lett. 118, 080503 (2017)

Multivariate Trace Inequalities

Authors: David Sutter, Mario Berta, Marco Tomamichel

Abstract: 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… ▽ More 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. △ Less

Submitted 20 August, 2016; v1 submitted 11 April, 2016; originally announced April 2016.

Comments: v3: 21 pages, 2 figures, minor changes, published version; v2: 21 pages, 2 figures, minor changes; v1: 20 pages, 2 figures

Journal ref: Communications in Mathematical Physics: Volume 352, Number 1 (2017), Page 37-58

Entanglement-assisted capacities of compound quantum channels

Authors: Mario Berta, Hrant Gharibyan, Michael Walter

Abstract: We study universal quantum codes for entanglement-assisted quantum communication over compound quantum channels. In this setting, sender and receiver do not know the specific channel that will be used for communication, but only know the set that the channel is selected from. We investigate different variations of the problem: uninformed users, informed receiver, informed sender, and feedback assi… ▽ More We study universal quantum codes for entanglement-assisted quantum communication over compound quantum channels. In this setting, sender and receiver do not know the specific channel that will be used for communication, but only know the set that the channel is selected from. We investigate different variations of the problem: uninformed users, informed receiver, informed sender, and feedback assistance. We derive single-letter formulas for all corresponding channel capacities. Our proofs are based on one-shot decoupling bounds and properties of smooth entropies. △ Less

Submitted 6 March, 2017; v1 submitted 7 March, 2016; originally announced March 2016.

Comments: 16 pages

Journal ref: IEEE Transactions on Information Theory 63 (5), 3306-3321 (2017)

Converse bounds for private communication over quantum channels

Authors: Mark M. Wilde, Marco Tomamichel, Mario Berta

Abstract: This paper establishes several converse bounds on the private transmission capabilities of a quantum channel. The main conceptual development builds firmly on the notion of a private state, which is a powerful, uniquely quantum method for simplifying the tripartite picture of privacy involving local operations and public classical communication to a bipartite picture of quantum privacy involving l… ▽ More This paper establishes several converse bounds on the private transmission capabilities of a quantum channel. The main conceptual development builds firmly on the notion of a private state, which is a powerful, uniquely quantum method for simplifying the tripartite picture of privacy involving local operations and public classical communication to a bipartite picture of quantum privacy involving local operations and classical communication. This approach has previously led to some of the strongest upper bounds on secret key rates, including the squashed entanglement and the relative entropy of entanglement. Here we use this approach along with a "privacy test" to establish a general meta-converse bound for private communication, which has a number of applications. The meta-converse allows for proving that any quantum channel's relative entropy of entanglement is a strong converse rate for private communication. For covariant channels, the meta-converse also leads to second-order expansions of relative entropy of entanglement bounds for private communication rates. For such channels, the bounds also apply to the private communication setting in which the sender and receiver are assisted by unlimited public classical communication, and as such, they are relevant for establishing various converse bounds for quantum key distribution protocols conducted over these channels. We find precise characterizations for several channels of interest and apply the methods to establish several converse bounds on the private transmission capabilities of all phase-insensitive bosonic channels. △ Less

Submitted 12 January, 2017; v1 submitted 29 February, 2016; originally announced February 2016.

Comments: v3: 53 pages, 3 figures, final version accepted for publication in IEEE Transactions on Information Theory

Journal ref: IEEE Transactions on Information Theory, vol. 63, no. 3, pages 1792-1817, March 2017

On Variational Expressions for Quantum Relative Entropies

Authors: Mario Berta, Omar Fawzi, Marco Tomamichel

Abstract: Distance measures between quantum states like the trace distance and the fidelity can naturally be defined by optimizing a classical distance measure over all measurement statistics that can be obtained from the respective quantum states. In contrast, Petz showed that the measured relative entropy, defined as a maximization of the Kullback-Leibler divergence over projective measurement statistics,… ▽ More Distance measures between quantum states like the trace distance and the fidelity can naturally be defined by optimizing a classical distance measure over all measurement statistics that can be obtained from the respective quantum states. In contrast, Petz showed that the measured relative entropy, defined as a maximization of the Kullback-Leibler divergence over projective measurement statistics, is strictly smaller than Umegaki's quantum relative entropy whenever the states do not commute. We extend this result in two ways. First, we show that Petz' conclusion remains true if we allow general positive operator valued measures. Second, we extend the result to Renyi relative entropies and show that for non-commuting states the sandwiched Renyi relative entropy is strictly larger than the measured Renyi relative entropy for $α\in (\frac12, \infty)$, and strictly smaller for $α\in [0,\frac12)$. The latter statement provides counterexamples for the data-processing inequality of the sandwiched Renyi relative entropy for $α< \frac12$. Our main tool is a new variational expression for the measured Renyi relative entropy, which we further exploit to show that certain lower bounds on quantum conditional mutual information are superadditive. △ Less

Submitted 8 November, 2017; v1 submitted 8 December, 2015; originally announced December 2015.

Comments: v2: final published version

Journal ref: Letters in Mathematical Physics 107 (12), 2239-2265 (2017)

Entropic Uncertainty Relations and their Applications

Authors: Patrick J. Coles, Mario Berta, Marco Tomamichel, Stephanie Wehner

Abstract: Heisenberg's uncertainty principle forms a fundamental element of quantum mechanics. Uncertainty relations in terms of entropies were initially proposed to deal with conceptual shortcomings in the original formulation of the uncertainty principle and, hence, play an important role in quantum foundations. More recently, entropic uncertainty relations have emerged as the central ingredient in the se… ▽ More Heisenberg's uncertainty principle forms a fundamental element of quantum mechanics. Uncertainty relations in terms of entropies were initially proposed to deal with conceptual shortcomings in the original formulation of the uncertainty principle and, hence, play an important role in quantum foundations. More recently, entropic uncertainty relations have emerged as the central ingredient in the security analysis of almost all quantum cryptographic protocols, such as quantum key distribution and two-party quantum cryptography. This review surveys entropic uncertainty relations that capture Heisenberg's idea that the results of incompatible measurements are impossible to predict, covering both finite- and infinite-dimensional measurements. These ideas are then extended to incorporate quantum correlations between the observed object and its environment, allowing for a variety of recent, more general formulations of the uncertainty principle. Finally, various applications are discussed, ranging from entanglement witnessing to wave-particle duality to quantum cryptography. △ Less

Submitted 7 February, 2017; v1 submitted 16 November, 2015; originally announced November 2015.

Comments: Review article, 65 pages, 19 figures

Journal ref: Rev. Mod. Phys. 89, 015002 (2017)

Entropic uncertainty and measurement reversibility

Authors: Mario Berta, Stephanie Wehner, Mark M. Wilde

Abstract: The entropic uncertainty relation with quantum side information (EUR-QSI) from [Berta et al., Nat. Phys. 6, 659 (2010)] is a unifying principle relating two distinctive features of quantum mechanics: quantum uncertainty due to measurement incompatibility, and entanglement. In these relations, quantum uncertainty takes the form of preparation uncertainty where one of two incompatible measurements i… ▽ More The entropic uncertainty relation with quantum side information (EUR-QSI) from [Berta et al., Nat. Phys. 6, 659 (2010)] is a unifying principle relating two distinctive features of quantum mechanics: quantum uncertainty due to measurement incompatibility, and entanglement. In these relations, quantum uncertainty takes the form of preparation uncertainty where one of two incompatible measurements is applied. In particular, the "uncertainty witness" lower bound in the EUR-QSI is not a function of a post-measurement state. An insightful proof of the EUR-QSI from [Coles et al., Phys. Rev. Lett. 108, 210405 (2012)] makes use of a fundamental mathematical consequence of the postulates of quantum mechanics known as the non-increase of quantum relative entropy under quantum channels. Here, we exploit this perspective to establish a tightening of the EUR-QSI which adds a new state-dependent term in the lower bound, related to how well one can reverse the action of a quantum measurement. As such, this new term is a direct function of the post-measurement state and can be thought of as quantifying how much disturbance a given measurement causes. Our result thus quantitatively unifies this feature of quantum mechanics with the others mentioned above. We have experimentally tested our theoretical predictions on the IBM Quantum Experience and find reasonable agreement between our predictions and experimental outcomes. △ Less

Submitted 31 May, 2016; v1 submitted 1 November, 2015; originally announced November 2015.

Comments: v2: 14 pages, 3 figures; includes experimental results from IBM Quantum Experience

Journal ref: New Journal of Physics, vol. 18, no. 7, page 073004, July 2016

Quantum Bilinear Optimization

Authors: Mario Berta, Omar Fawzi, Volkher B. Scholz

Abstract: We study optimization programs given by a bilinear form over non-commutative variables subject to linear inequalities. Problems of this form include the entangled value of two-prover games, entanglement-assisted coding for classical channels and quantum-proof randomness extractors. We introduce an asymptotically converging hierarchy of efficiently computable semidefinite programming (SDP) relaxati… ▽ More We study optimization programs given by a bilinear form over non-commutative variables subject to linear inequalities. Problems of this form include the entangled value of two-prover games, entanglement-assisted coding for classical channels and quantum-proof randomness extractors. We introduce an asymptotically converging hierarchy of efficiently computable semidefinite programming (SDP) relaxations for this quantum optimization. This allows us to give upper bounds on the quantum advantage for all of these problems. Compared to previous work of Pironio, Navascues and Acin, our hierarchy has additional constraints. By means of examples, we illustrate the importance of these new constraints both in practice and for analytical properties. Moreover, this allows us to give a hierarchy of SDP outer approximations for the completely positive semidefinite cone introduced by Laurent and Piovesan. △ Less

Submitted 12 August, 2016; v1 submitted 29 June, 2015; originally announced June 2015.

Comments: v3: published version

Journal ref: SIAM J. Optim., 26(3), 1529-1564 (2016)