01893nas a2200145 4500008004100000245006300041210006300104260001300167490000800180520147500188100001401663700002001677700001301697856003701710 2020 eng d00aEfficiently computable bounds for magic state distillation0 aEfficiently computable bounds for magic state distillation c3/6/20200 v1243 a

Magic state manipulation is a crucial component in the leading approaches to realizing scalable, fault-tolerant, and universal quantum computation. Related to magic state manipulation is the resource theory of magic states, for which one of the goals is to characterize and quantify quantum "magic." In this paper, we introduce the family of thauma measures to quantify the amount of magic in a quantum state, and we exploit this family of measures to address several open questions in the resource theory of magic states. As a first application, we use the min-thauma to bound the regularized relative entropy of magic. As a consequence of this bound, we find that two classes of states with maximal mana, a previously established magic measure, cannot be interconverted in the asymptotic regime at a rate equal to one. This result resolves a basic question in the resource theory of magic states and reveals a fundamental difference between the resource theory of magic states and other resource theories such as entanglement and coherence. As a second application, we establish the hypothesis testing thauma as an efficiently computable benchmark for the one-shot distillable magic, which in turn leads to a variety of bounds on the rate at which magic can be distilled, as well as on the overhead of magic state distillation. Finally, we prove that the max-thauma can outperform mana in benchmarking the efficiency of magic state distillation. 

1 aWang, Xin1 aWilde, Mark, M.1 aSu, Yuan uhttps://arxiv.org/abs/1812.1014501668nas a2200169 4500008004100000245006300041210006100104260001400165490000600179520118500185100002301370700002301393700001301416700001401429700001801443856003701461 2020 eng d00aTime-dependent Hamiltonian simulation with L1-norm scaling0 aTimedependent Hamiltonian simulation with L1norm scaling c4/20/20200 v43 a

The difficulty of simulating quantum dynamics depends on the norm of the Hamiltonian. When the Hamiltonian varies with time, the simulation complexity should only depend on this quantity instantaneously. We develop quantum simulation algorithms that exploit this intuition. For the case of sparse Hamiltonian simulation, the gate complexity scales with the L1 norm ∫t0dτ∥H(τ)∥max, whereas the best previous results scale with tmaxτ∈[0,t]∥H(τ)∥max. We also show analogous results for Hamiltonians that are linear combinations of unitaries. Our approaches thus provide an improvement over previous simulation algorithms that can be substantial when the Hamiltonian varies significantly. We introduce two new techniques: a classical sampler of time-dependent Hamiltonians and a rescaling principle for the Schrödinger equation. The rescaled Dyson-series algorithm is nearly optimal with respect to all parameters of interest, whereas the sampling-based approach is easier to realize for near-term simulation. By leveraging the L1-norm information, we obtain polynomial speedups for semi-classical simulations of scattering processes in quantum chemistry.

1 aBerry, Dominic, W.1 aChilds, Andrew, M.1 aSu, Yuan1 aWang, Xin1 aWiebe, Nathan uhttps://arxiv.org/abs/1906.0711501888nas a2200145 4500008004100000245004600041210004600087260001400133490000700147520150400154100001401658700002001672700001301692856003701705 2019 eng d00aQuantifying the magic of quantum channels0 aQuantifying the magic of quantum channels c10/8/20190 v213 a

To achieve universal quantum computation via general fault-tolerant schemes, stabilizer operations must be supplemented with other non-stabilizer quantum resources. Motivated by this necessity, we develop a resource theory for magic quantum channels to characterize and quantify the quantum "magic" or non-stabilizerness of noisy quantum circuits. For qudit quantum computing with odd dimension d, it is known that quantum states with non-negative Wigner function can be efficiently simulated classically. First, inspired by this observation, we introduce a resource theory based on completely positive-Wigner-preserving quantum operations as free operations, and we show that they can be efficiently simulated via a classical algorithm. Second, we introduce two efficiently computable magic measures for quantum channels, called the mana and thauma of a quantum channel. As applications, we show that these measures not only provide fundamental limits on the distillable magic of quantum channels, but they also lead to lower bounds for the task of synthesizing non-Clifford gates. Third, we propose a classical algorithm for simulating noisy quantum circuits, whose sample complexity can be quantified by the mana of a quantum channel. We further show that this algorithm can outperform another approach for simulating noisy quantum circuits, based on channel robustness. Finally, we explore the threshold of non-stabilizerness for basic quantum circuits under depolarizing noise.

1 aWang, Xin1 aWilde, Mark, M.1 aSu, Yuan uhttps://arxiv.org/abs/1903.0448302223nas a2200121 4500008004100000245007400041210006900115260001500184520183100199100001402030700002002044856003702064 2019 eng d00aResource theory of asymmetric distinguishability for quantum channels0 aResource theory of asymmetric distinguishability for quantum cha c07/15/20193 a

This paper develops the resource theory of asymmetric distinguishability for quantum channels, generalizing the related resource theory for states [arXiv:1006.0302, arXiv:1905.11629]. The key constituents of the channel resource theory are quantum channel boxes, consisting of a pair of quantum channels, which can be manipulated for free by means of an arbitrary quantum superchannel (the most general physical transformation of a quantum channel). One main question of the resource theory is the approximate channel box transformation problem, in which the goal is to transform an initial channel box (or boxes) to a final channel box (or boxes), while allowing for an asymmetric error in the transformation. The channel resource theory is richer than its counterpart for states because there is a wider variety of ways in which this question can be framed, either in the one-shot or n-shot regimes, with the latter having parallel and sequential variants. As in [arXiv:1905.11629], we consider two special cases of the general channel box transformation problem, known as distinguishability distillation and dilution. For the one-shot case, we find that the optimal values of the various tasks are equal to the non-smooth or smooth channel min- or max-relative entropies, thus endowing all of these quantities with operational interpretations. In the asymptotic sequential setting, we prove that the exact distinguishability cost is equal to channel max-relative entropy and the distillable distinguishability is equal to the amortized channel relative entropy of [arXiv:1808.01498]. This latter result can also be understood as a solution to Stein's lemma for quantum channels in the sequential setting. Finally, the theory simplifies significantly for environment-seizable and classical--quantum channel boxes.

1 aWang, Xin1 aWilde, Mark, M. uhttps://arxiv.org/abs/1907.0630601752nas a2200145 4500008004100000245006700041210006700108260001500175520130600190100001901496700002001515700001401535700002001549856003701569 2019 eng d00aResource theory of entanglement for bipartite quantum channels0 aResource theory of entanglement for bipartite quantum channels c07/08/20193 a

The traditional perspective in quantum resource theories concerns how to use free operations to convert one resourceful quantum state to another one. For example, a fundamental and well known question in entanglement theory is to determine the distillable entanglement of a bipartite state, which is equal to the maximum rate at which fresh Bell states can be distilled from many copies of a given bipartite state by employing local operations and classical communication for free. It is the aim of this paper to take this kind of question to the next level, with the main question being: What is the best way of using free channels to convert one resourceful quantum channel to another? Here we focus on the the resource theory of entanglement for bipartite channels and establish several fundamental tasks and results regarding it. In particular, we establish bounds on several pertinent information processing tasks in channel entanglement theory, and we define several entanglement measures for bipartite channels, including the logarithmic negativity and the κ-entanglement. We also show that the max-Rains information of [Bäuml et al., Physical Review Letters, 121, 250504 (2018)] has a divergence interpretation, which is helpful for simplifying the results of this earlier work. 

1 aBäuml, Stefan1 aDas, Siddhartha1 aWang, Xin1 aWilde, Mark, M. uhttps://arxiv.org/abs/1907.0418101728nas a2200121 4500008004100000245003000041210002900071260001500100520142000115100001401535700002001549856003701569 2019 eng d00aα-Logarithmic negativity0 aαLogarithmic negativity c04/23/20193 a

The logarithmic negativity of a bipartite quantum state is a widely employed entanglement measure in quantum information theory, due to the fact that it is easy to compute and serves as an upper bound on distillable entanglement. More recently, the κ-entanglement of a bipartite state was shown to be the first entanglement measure that is both easily computable and operationally meaningful, being equal to the exact entanglement cost of a bipartite quantum state when the free operations are those that completely preserve the positivity of the partial transpose. In this paper, we provide a non-trivial link between these two entanglement measures, by showing that they are the extremes of an ordered family of α-logarithmic negativity entanglement measures, each of which is identified by a parameter α∈[1,∞]. In this family, the original logarithmic negativity is recovered as the smallest with α=1, and the κ-entanglement is recovered as the largest with α=∞. We prove that the α-logarithmic negativity satisfies the following properties: entanglement monotone, normalization, faithfulness, and subadditivity. We also prove that it is neither convex nor monogamous. Finally, we define the α-logarithmic negativity of a quantum channel as a generalization of the notion for quantum states, and we show how to generalize many of the concepts to arbitrary resource theories. 

1 aWang, Xin1 aWilde, Mark, M. uhttps://arxiv.org/abs/1904.1043706978nas a2200109 4500008004100000245009100041210006900132520659600201100001406797700002006811856003706831 2018 eng d00aExact entanglement cost of quantum states and channels under PPT-preserving operations0 aExact entanglement cost of quantum states and channels under PPT3 a

This paper establishes single-letter formulas for the exact entanglement cost of generating bipartite quantum states and simulating quantum channels under free quantum operations that completely preserve positivity of the partial transpose (PPT). First, we establish that the exact entanglement cost of any bipartite quantum state under PPT-preserving operations is given by a single-letter formula, here called the κ-entanglement of a quantum state. This formula is calculable by a semidefinite program, thus allowing for an efficiently computable solution for general quantum states. Notably, this is the first time that an entanglement measure for general bipartite states has been proven not only to possess a direct operational meaning but also to be efficiently computable, thus solving a question that has remained open since the inception of entanglement theory over two decades ago. Next, we introduce and solve the exact entanglement cost for simulating quantum channels in both the parallel and sequential settings, along with the assistance of free PPT-preserving operations. The entanglement cost in both cases is given by the same single-letter formula and is equal to the largest κ-entanglement that can be shared by the sender and receiver of the channel. It is also efficiently computable by a semidefinite program. 

1 aWang, Xin1 aWilde, Mark, M. uhttps://arxiv.org/abs/1809.0959201663nas a2200133 4500008004100000245007200041210006900113520124300182100001401425700001401439700002201453700001701475856003701492 2018 eng d00aQuantum Channel Simulation and the Channel's Smooth Max-Information0 aQuantum Channel Simulation and the Channels Smooth MaxInformatio3 a

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. 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.

1 aFang, Kun1 aWang, Xin1 aTomamichel, Marco1 aBerta, Mario uhttps://arxiv.org/abs/1807.05354