-
Entanglement recycling in port-based teleportation
Authors:
Piotr Kopszak,
Dmitry Grinko,
Adam Burchardt,
Maris Ozols,
Michał Studziński,
Marek Mozrzymas
Abstract:
We study entangled resource state recycling after one round of probabilistic port-based teleportation. We analytically characterize its degradation and, for the case of the resource state consisting of $N$ EPR pairs, we demonstrate the possibility of reusing it for a subsequent round of teleportation in the $N \to \infty$ limit. For the case of an optimized resource state, we compare the protocol'…
▽ More
We study entangled resource state recycling after one round of probabilistic port-based teleportation. We analytically characterize its degradation and, for the case of the resource state consisting of $N$ EPR pairs, we demonstrate the possibility of reusing it for a subsequent round of teleportation in the $N \to \infty$ limit. For the case of an optimized resource state, we compare the protocol's performance to multi-port-based teleportation, indicating that the resource state reuse is possible. An analogous comparison is made in the case of the deterministic scheme.
△ Less
Submitted 11 April, 2025; v1 submitted 1 April, 2025;
originally announced April 2025.
-
Trotter error and gate complexity of the SYK and sparse SYK models
Authors:
Yiyuan Chen,
Jonas Helsen,
Maris Ozols
Abstract:
The Sachdev-Ye-Kitaev (SYK) model is a prominent model of strongly interacting fermions that serves as a toy model of quantum gravity and black hole physics. In this work, we study the Trotter error and gate complexity of the quantum simulation of the SYK model using Lie-Trotter-Suzuki formulas. Building on recent results by Chen and Brandao (arXiv:2111.05324), we derive bounds on the first- and h…
▽ More
The Sachdev-Ye-Kitaev (SYK) model is a prominent model of strongly interacting fermions that serves as a toy model of quantum gravity and black hole physics. In this work, we study the Trotter error and gate complexity of the quantum simulation of the SYK model using Lie-Trotter-Suzuki formulas. Building on recent results by Chen and Brandao (arXiv:2111.05324), we derive bounds on the first- and higher-order Trotter error of the SYK model, and subsequently find near-optimal gate complexities for simulating these models using Lie-Trotter-Suzuki formulas. For the $k$-local SYK model on $n$ Majorana fermions, our gate complexity estimates for the first-order Lie-Trotter-Suzuki formula scales with $O(n^{k+\frac{5}{2}}t^2)$ for even $k$ and $O(n^{k+3}t^2)$ for odd $k$, and the gate complexity of simulations using higher-order formulas scales with $O(n^{k+\frac{1}{2}}t)$ for even $k$ and $O(n^{k+1}t)$ for odd $k$. Given that the SYK model has $Θ(n^k)$ terms, these estimates are close to optimal. These gate complexities can be further improved when simulating the time-evolution of an arbitrary fixed input state $|ψ\rangle$, leading to a $O(n^2)$-reduction in gate complexity for first-order formulas and $O(\sqrt{n})$-reduction for higher-order formulas.
We also apply our techniques to the sparse SYK model, a simplified variant of the SYK model obtained by deleting all but a $Θ(n)$ fraction of the terms in a uniformly i.i.d. manner. We compute the average (over the random term removal) gate complexity for simulating this model using higher-order formulas to be $O(n^2 t)$, a bound that also holds for a general class of sparse Gaussian random Hamiltonians. Similar to the full SYK model, we obtain a $O(\sqrt{n})$-reduction simulating the time-evolution of an arbitrary fixed input state $|ψ\rangle$.
△ Less
Submitted 25 February, 2025;
originally announced February 2025.
-
Efficient quantum circuits for port-based teleportation
Authors:
Dmitry Grinko,
Adam Burchardt,
Maris Ozols
Abstract:
Port-based teleportation (PBT) is a variant of quantum teleportation that, unlike the canonical protocol by Bennett et al., does not require a correction operation on the teleported state. Since its introduction by Ishizaka and Hiroshima in 2008, no efficient implementation of PBT was known. We close this long-standing gap by building on our recent results on representations of partially transpose…
▽ More
Port-based teleportation (PBT) is a variant of quantum teleportation that, unlike the canonical protocol by Bennett et al., does not require a correction operation on the teleported state. Since its introduction by Ishizaka and Hiroshima in 2008, no efficient implementation of PBT was known. We close this long-standing gap by building on our recent results on representations of partially transposed permutation matrix algebras and mixed quantum Schur transform. We construct efficient quantum algorithms for probabilistic and deterministic PBT protocols on $n$ ports of arbitrary local dimension, both for EPR and optimized resource states. We describe two constructions based on different encodings of the Gelfand-Tsetlin basis for $n$ qudits: a standard encoding that achieves $\widetilde{O}(n)$ time and $O(n\log(n))$ space complexity, and a Yamanouchi encoding that achieves $\widetilde{O}(n^2)$ time and $O(\log(n))$ space complexity, both for constant local dimension and target error. We also describe efficient circuits for preparing the optimal resource states.
△ Less
Submitted 21 May, 2024; v1 submitted 5 December, 2023;
originally announced December 2023.
-
Trading inverses for an irrep in the Solovay-Kitaev theorem
Authors:
Adam Bouland,
Maris Ozols
Abstract:
The Solovay-Kitaev theorem states that universal quantum gate sets can be exchanged with low overhead. More specifically, any gate on a fixed number of qudits can be simulated with error $ε$ using merely $\mathrm{polylog}(1/ε)$ gates from any finite universal quantum gate set $\mathcal{G}$. One drawback to the theorem is that it requires the gate set $\mathcal{G}$ to be closed under inversion. Her…
▽ More
The Solovay-Kitaev theorem states that universal quantum gate sets can be exchanged with low overhead. More specifically, any gate on a fixed number of qudits can be simulated with error $ε$ using merely $\mathrm{polylog}(1/ε)$ gates from any finite universal quantum gate set $\mathcal{G}$. One drawback to the theorem is that it requires the gate set $\mathcal{G}$ to be closed under inversion. Here we show that this restriction can be traded for the assumption that $\mathcal{G}$ contains an irreducible representation of any finite group $G$. This extends recent work of Sardharwalla et al. [arXiv:1602.07963], and applies also to gates from the special linear group. Our work can be seen as partial progress towards the long-standing open problem of proving an inverse-free Solovay-Kitaev theorem [arXiv:quant-ph/0505030, arXiv:0908.0512].
△ Less
Submitted 28 May, 2018; v1 submitted 28 December, 2017;
originally announced December 2017.
-
How to combine three quantum states
Authors:
Maris Ozols
Abstract:
We devise a ternary operation for combining three quantum states: it consists of permuting the input systems in a continuous fashion and then discarding all but one of them. This generalizes a binary operation recently studied by Audenaert et al. [arXiv:1503.04213] in the context of entropy power inequalities. Our ternary operation continuously interpolates between all such nested binary operation…
▽ More
We devise a ternary operation for combining three quantum states: it consists of permuting the input systems in a continuous fashion and then discarding all but one of them. This generalizes a binary operation recently studied by Audenaert et al. [arXiv:1503.04213] in the context of entropy power inequalities. Our ternary operation continuously interpolates between all such nested binary operations. Our construction is based on a unitary version of Cayley's theorem: using representation theory we show that any finite group can be naturally embedded into a continuous subgroup of the unitary group. Formally, this amounts to characterizing when a linear combination of certain permutations is unitary.
△ Less
Submitted 27 February, 2017; v1 submitted 4 August, 2015;
originally announced August 2015.
-
Entropy power inequalities for qudits
Authors:
Koenraad Audenaert,
Nilanjana Datta,
Maris Ozols
Abstract:
Shannon's entropy power inequality (EPI) can be viewed as a statement of concavity of an entropic function of a continuous random variable under a scaled addition rule: $$f(\sqrt{a}\,X + \sqrt{1-a}\,Y) \ge a f(X) + (1-a) f(Y) \quad \forall \, a \in [0,1].$$ Here, $X$ and $Y$ are continuous random variables and the function $f$ is either the differential entropy or the entropy power. König and Smit…
▽ More
Shannon's entropy power inequality (EPI) can be viewed as a statement of concavity of an entropic function of a continuous random variable under a scaled addition rule: $$f(\sqrt{a}\,X + \sqrt{1-a}\,Y) \ge a f(X) + (1-a) f(Y) \quad \forall \, a \in [0,1].$$ Here, $X$ and $Y$ are continuous random variables and the function $f$ is either the differential entropy or the entropy power. König and Smith [arXiv:1205.3409] and De Palma, Mari, and Giovannetti [arXiv:1402.0404] obtained quantum analogues of these inequalities for continuous-variable quantum systems, where $X$ and $Y$ are replaced by bosonic fields and the addition rule is the action of a beamsplitter with transmissivity $a$ on those fields. In this paper, we similarly establish a class of EPI analogues for $d$-level quantum systems (i.e. qudits). The underlying addition rule for which these inequalities hold is given by a quantum channel that depends on the parameter $a \in [0,1]$ and acts like a finite-dimensional analogue of a beamsplitter with transmissivity $a$, converting a two-qudit product state into a single qudit state. We refer to this channel as a partial swap channel because of the particular way its output interpolates between the states of the two qudits in the input as $a$ is changed from zero to one. We obtain analogues of Shannon's EPI, not only for the von Neumann entropy and the entropy power for the output of such channels, but for a much larger class of functions as well. This class includes the Rényi entropies and the subentropy. We also prove a qudit analogue of the entropy photon number inequality (EPnI). Finally, for the subclass of partial swap channels for which one of the qudit states in the input is fixed, our EPIs and EPnI yield lower bounds on the minimum output entropy and upper bounds on the Holevo capacity.
△ Less
Submitted 18 April, 2016; v1 submitted 13 March, 2015;
originally announced March 2015.
-
Interpolatability distinguishes LOCC from separable von Neumann measurements
Authors:
Andrew M. Childs,
Debbie Leung,
Laura Mancinska,
Maris Ozols
Abstract:
Local operations with classical communication (LOCC) and separable operations are two classes of quantum operations that play key roles in the study of quantum entanglement. Separable operations are strictly more powerful than LOCC, but no simple explanation of this phenomenon is known. We show that, in the case of von Neumann measurements, the ability to interpolate measurements is an operational…
▽ More
Local operations with classical communication (LOCC) and separable operations are two classes of quantum operations that play key roles in the study of quantum entanglement. Separable operations are strictly more powerful than LOCC, but no simple explanation of this phenomenon is known. We show that, in the case of von Neumann measurements, the ability to interpolate measurements is an operational principle that sets apart LOCC and separable operations.
△ Less
Submitted 25 June, 2013;
originally announced June 2013.
-
A framework for bounding nonlocality of state discrimination
Authors:
Andrew M. Childs,
Debbie Leung,
Laura Mancinska,
Maris Ozols
Abstract:
We consider the class of protocols that can be implemented by local quantum operations and classical communication (LOCC) between two parties. In particular, we focus on the task of discriminating a known set of quantum states by LOCC. Building on the work in the paper "Quantum nonlocality without entanglement" [BDF+99], we provide a framework for bounding the amount of nonlocality in a given set…
▽ More
We consider the class of protocols that can be implemented by local quantum operations and classical communication (LOCC) between two parties. In particular, we focus on the task of discriminating a known set of quantum states by LOCC. Building on the work in the paper "Quantum nonlocality without entanglement" [BDF+99], we provide a framework for bounding the amount of nonlocality in a given set of bipartite quantum states in terms of a lower bound on the probability of error in any LOCC discrimination protocol. We apply our framework to an orthonormal product basis known as the domino states and obtain an alternative and simplified proof that quantifies its nonlocality. We generalize this result for similar bases in larger dimensions, as well as the "rotated" domino states, resolving a long-standing open question [BDF+99].
△ Less
Submitted 25 June, 2012;
originally announced June 2012.
-
Entanglement can increase asymptotic rates of zero-error classical communication over classical channels
Authors:
Debbie Leung,
Laura Mancinska,
William Matthews,
Maris Ozols,
Aidan Roy
Abstract:
It is known that the number of different classical messages which can be communicated with a single use of a classical channel with zero probability of decoding error can sometimes be increased by using entanglement shared between sender and receiver. It has been an open question to determine whether entanglement can ever increase the zero-error communication rates achievable in the limit of many…
▽ More
It is known that the number of different classical messages which can be communicated with a single use of a classical channel with zero probability of decoding error can sometimes be increased by using entanglement shared between sender and receiver. It has been an open question to determine whether entanglement can ever increase the zero-error communication rates achievable in the limit of many channel uses. In this paper we show, by explicit examples, that entanglement can indeed increase asymptotic zero-error capacity, even to the extent that it is equal to the normal capacity of the channel. Interestingly, our examples are based on the exceptional simple root systems E7 and E8.
△ Less
Submitted 5 January, 2011; v1 submitted 7 September, 2010;
originally announced September 2010.
