-
Enhanced Quantum State Transfer and Bell State Generation over Long-Range Multimode Interconnects via Superadiabatic Transitionless Driving
Authors:
Moein Malekakhlagh,
Timothy Phung,
Daniel Puzzuoli,
Kentaro Heya,
Neereja Sundaresan,
Jason Orcutt
Abstract:
Achieving high-fidelity direct two-qubit gates over meter-scale long quantum interconnects is challenging in part due to the multimode nature of such systems. One alternative scheme is to combine local operations with remote quantum state transfer or remote entanglement. Here, we study quantum state transfer and entanglement generation for two distant qubits, equipped with tunable interactions, ov…
▽ More
Achieving high-fidelity direct two-qubit gates over meter-scale long quantum interconnects is challenging in part due to the multimode nature of such systems. One alternative scheme is to combine local operations with remote quantum state transfer or remote entanglement. Here, we study quantum state transfer and entanglement generation for two distant qubits, equipped with tunable interactions, over a common multimode interconnect. We employ the SuperAdiabatic Transitionless Driving (SATD) solutions for adiabatic passage and demonstrate various favorable improvements over the standard protocol. In particular, by suppressing leakage to a select (resonant) interconnect mode, SATD breaks the speed-limit relation imposed by the qubit-interconnect interaction $g$, where instead the operation time is limited by leakage to the adjacent modes, i.e. free spectral range $Δ_c$ of the interconnect, allowing for fast operations even with weak $g$. Furthermore, we identify a multimode error mechanism for Bell state generation using such adiabatic protocols, in which the even/odd modal dependence of qubit-interconnect interaction breaks down the dark state symmetry, leading to detrimental adiabatic overlap with the odd modes growing as $(g/Δ_c)^2$. Therefore, adopting a weak coupling, imposed by a multimode interconnect, SATD provides a significant improvement in terms of operation speed and consequently sensitivity to incoherent error.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
Algorithms for perturbative analysis and simulation of quantum dynamics
Authors:
Daniel Puzzuoli,
Sophia Fuhui Lin,
Moein Malekakhlagh,
Emily Pritchett,
Benjamin Rosand,
Christopher J. Wood
Abstract:
We develop general purpose algorithms for computing and utilizing both the Dyson series and Magnus expansion, with the goal of facilitating numerical perturbative studies of quantum dynamics. To enable broad applications to models with multiple parameters, we phrase our algorithms in terms of multivariable sensitivity analysis, for either the solution or the time-averaged generator of the evolutio…
▽ More
We develop general purpose algorithms for computing and utilizing both the Dyson series and Magnus expansion, with the goal of facilitating numerical perturbative studies of quantum dynamics. To enable broad applications to models with multiple parameters, we phrase our algorithms in terms of multivariable sensitivity analysis, for either the solution or the time-averaged generator of the evolution over a fixed time-interval. These tools simultaneously compute a collection of terms up to arbitrary order, and are general in the sense that the model can depend on the parameters in an arbitrary time-dependent way. We implement the algorithms in the open source software package \qiskitdynamics{}, utilizing the JAX array library to enable just-in-time compilation, automatic differentiation, and GPU execution of all computations. Using a model of a single transmon, we demonstrate how to use these tools to approximate fidelity in a region of model parameter space, as well as construct perturbative robust control objectives.
We also derive and implement Dyson and Magnus-based variations of the recently introduced Dysolve algorithm [Shillito et al., Physical Review Research, 3(3):033266] for simulating linear matrix differential equations. We show how the pre-computation step can be phrased as a multivariable expansion computation problem with fewer terms than in the original method. When simulating a two-transmon entangling gate on a GPU, we find the Dyson and Magnus-based solvers provide a speedup over traditional ODE solvers, ranging from roughly $2\times$ to $4\times$ for a solution and $10\times$ to $60\times$ for a gradient, depending on solution accuracy.
△ Less
Submitted 6 June, 2023; v1 submitted 20 October, 2022;
originally announced October 2022.
-
The Non-m-Positive Dimension of a Positive Linear Map
Authors:
Nathaniel Johnston,
Benjamin Lovitz,
Daniel Puzzuoli
Abstract:
We introduce a property of a matrix-valued linear map $Φ$ that we call its "non-m-positive dimension" (or "non-mP dimension" for short), which measures how large a subspace can be if every quantum state supported on the subspace is non-positive under the action of $I_m \otimes Φ$. Equivalently, the non-mP dimension of $Φ$ tells us the maximal number of negative eigenvalues that the adjoint map…
▽ More
We introduce a property of a matrix-valued linear map $Φ$ that we call its "non-m-positive dimension" (or "non-mP dimension" for short), which measures how large a subspace can be if every quantum state supported on the subspace is non-positive under the action of $I_m \otimes Φ$. Equivalently, the non-mP dimension of $Φ$ tells us the maximal number of negative eigenvalues that the adjoint map $I_m \otimes Φ^*$ can produce from a positive semidefinite input. We explore the basic properties of this quantity and show that it can be thought of as a measure of how good $Φ$ is at detecting entanglement in quantum states. We derive non-trivial bounds for this quantity for some well-known positive maps of interest, including the transpose map, reduction map, Choi map, and Breuer--Hall map. We also extend some of our results to the case of higher Schmidt number as well as the multipartite case. In particular, we construct the largest possible multipartite subspace with the property that every state supported on that subspace has non-positive partial transpose across at least one bipartite cut, and we use our results to construct multipartite decomposable entanglement witnesses with the maximum number of negative eigenvalues.
△ Less
Submitted 7 August, 2019; v1 submitted 11 June, 2019;
originally announced June 2019.
-
Engineering Effective Hamiltonians
Authors:
Holger Haas,
Daniel Puzzuoli,
Feihao Zhang,
David G. Cory
Abstract:
In the field of quantum control, effective Hamiltonian engineering is a powerful tool that utilises perturbation theory to mitigate or enhance the effect that a variation in the Hamiltonian has on the evolution of the system. Here, we provide a general framework for computing arbitrary time-dependent perturbation theory terms, as well as their gradients with respect to control variations, enabling…
▽ More
In the field of quantum control, effective Hamiltonian engineering is a powerful tool that utilises perturbation theory to mitigate or enhance the effect that a variation in the Hamiltonian has on the evolution of the system. Here, we provide a general framework for computing arbitrary time-dependent perturbation theory terms, as well as their gradients with respect to control variations, enabling the use of gradient methods for optimizing these terms. In particular, we show that effective Hamiltonian engineering is an instance of a bilinear control problem - the same general problem class as that of standard unitary design - and hence the same optimization algorithms apply. We demonstrate this method in various examples, including decoupling, recoupling, and robustness to control errors and stochastic errors. We also present a control engineering example that was used in experiment, demonstrating the practical feasibility of this approach.
△ Less
Submitted 10 September, 2020; v1 submitted 4 April, 2019;
originally announced April 2019.
-
Characterization of linear maps on $M_n$ whose multiplicity maps have maximal norm, with an application in quantum information
Authors:
Daniel Puzzuoli
Abstract:
Given a linear map $Φ: M_n \rightarrow M_m$, its multiplicity maps are defined as the family of linear maps $Φ\otimes \text{id}_k : M_n \otimes M_k \rightarrow M_m \otimes M_k$, where $\text{id}_k$ denotes the identity on $M_k$. Let $\|\cdot\|_1$ denote the trace-norm on matrices, as well as the induced trace-norm on linear maps of matrices, i.e.…
▽ More
Given a linear map $Φ: M_n \rightarrow M_m$, its multiplicity maps are defined as the family of linear maps $Φ\otimes \text{id}_k : M_n \otimes M_k \rightarrow M_m \otimes M_k$, where $\text{id}_k$ denotes the identity on $M_k$. Let $\|\cdot\|_1$ denote the trace-norm on matrices, as well as the induced trace-norm on linear maps of matrices, i.e. $\|Φ\|_1 = \max\{\|Φ(X)\|_1 : X \in M_n, \|X\|_1 = 1\}$. A fact of fundamental importance in both operator algebras and quantum information is that $\|Φ\otimes \text{id}_k\|_1$ can grow with $k$. In general, the rate of growth is bounded by $\|Φ\otimes \text{id}_k\|_1 \leq k \|Φ\|_1$, and matrix transposition is the canonical example of a map achieving this bound. We prove that, up to an equivalence, the transpose is the unique map achieving this bound. The equivalence is given in terms of complete trace-norm isometries, and the proof relies on a particular characterization of complete trace-norm isometries regarding preservation of certain multiplication relations.
We use this result to characterize the set of single-shot quantum channel discrimination games satisfying a norm relation that, operationally, implies that the game can be won with certainty using entanglement, but is hard to win without entanglement. Specifically, we show that the well-known example of such a game, involving the Werner-Holevo channels, is essentially the unique game satisfying this norm relation. This constitutes a step towards a characterization of single-shot quantum channel discrimination games with maximal gap between optimal performance of entangled and unentangled strategies.
△ Less
Submitted 1 February, 2018; v1 submitted 9 October, 2017;
originally announced October 2017.
-
Ancilla dimension in quantum channel discrimination
Authors:
Daniel Puzzuoli,
John Watrous
Abstract:
Single-shot quantum channel discrimination is a fundamental task in quantum information theory. It is well known that entanglement with an ancillary system can help in this task, and furthermore that an ancilla with the same dimension as the input of the channels is always sufficient for optimal discrimination of two channels. A natural question to ask is whether the same holds true for the output…
▽ More
Single-shot quantum channel discrimination is a fundamental task in quantum information theory. It is well known that entanglement with an ancillary system can help in this task, and furthermore that an ancilla with the same dimension as the input of the channels is always sufficient for optimal discrimination of two channels. A natural question to ask is whether the same holds true for the output dimension. That is, in cases when the output dimension of the channels is (possibly much) smaller than the input dimension, is an ancilla with dimension equal to the output dimension always sufficient for optimal discrimination? We show that the answer to this question is "no" by construction of a family of counterexamples. This family contains instances with arbitrary finite gap between the input and output dimensions, and still has the property that in every case, for optimal discrimination, it is necessary to use an ancilla with dimension equal to that of the input.
The proof relies on a characterization of all operators on the trace norm unit sphere that maximize entanglement negativity. In the case of density operators we generalize this characterization to a broad class of entanglement measures, which we call weak entanglement measures. This characterization allows us to conclude that a quantum channel is reversible if and only if it preserves entanglement as measured by any weak entanglement measure, with the structure of maximally entangled states being equivalent to the structure of reversible maps via the Choi isomorphism. We also include alternate proofs of other known characterizations of channel reversibility.
△ Less
Submitted 17 November, 2016; v1 submitted 27 April, 2016;
originally announced April 2016.
-
Tractable Simulation of Error Correction with Honest Approximations to Realistic Fault Models
Authors:
Daniel Puzzuoli,
Christopher Granade,
Holger Haas,
Ben Criger,
Easwar Magesan,
D. G. Cory
Abstract:
In previous work, we proposed a method for leveraging efficient classical simulation algorithms to aid in the analysis of large-scale fault tolerant circuits implemented on hypothetical quantum information processors. Here, we extend those results by numerically studying the efficacy of this proposal as a tool for understanding the performance of an error-correction gadget implemented with fault m…
▽ More
In previous work, we proposed a method for leveraging efficient classical simulation algorithms to aid in the analysis of large-scale fault tolerant circuits implemented on hypothetical quantum information processors. Here, we extend those results by numerically studying the efficacy of this proposal as a tool for understanding the performance of an error-correction gadget implemented with fault models derived from physical simulations. Our approach is to approximate the arbitrary error maps that arise from realistic physical models with errors that are amenable to a particular classical simulation algorithm in an "honest" way; that is, such that we do not underestimate the faults introduced by our physical models. In all cases, our approximations provide an "honest representation" of the performance of the circuit composed of the original errors. This numerical evidence supports the use of our method as a way to understand the feasibility of an implementation of quantum information processing given a characterization of the underlying physical processes in experimentally accessible examples.
△ Less
Submitted 16 January, 2014; v1 submitted 18 September, 2013;
originally announced September 2013.
-
Modeling quantum noise for efficient testing of fault-tolerant circuits
Authors:
Easwar Magesan,
Daniel Puzzuoli,
Christopher E. Granade,
David G. Cory
Abstract:
Understanding fault-tolerant properties of quantum circuits is important for the design of large-scale quantum information processors. In particular, simulating properties of encoded circuits is a crucial tool for investigating the relationships between the noise model, encoding scheme, and threshold value. For general circuits and noise models, these simulations quickly become intractable in the…
▽ More
Understanding fault-tolerant properties of quantum circuits is important for the design of large-scale quantum information processors. In particular, simulating properties of encoded circuits is a crucial tool for investigating the relationships between the noise model, encoding scheme, and threshold value. For general circuits and noise models, these simulations quickly become intractable in the size of the encoded circuit. We introduce methods for approximating a noise process by one which allows for efficient Monte Carlo simulation of properties of encoded circuits. The approximations are as close to the original process as possible without overestimating their ability to preserve quantum information, a key property for obtaining more honest estimates of threshold values. We numerically illustrate the method with various physically relevant noise models.
△ Less
Submitted 23 June, 2012;
originally announced June 2012.
