Showing 1–41 of 41 results for author: Strelchuk, S

A Lightweight Protocol for Matchgate Fidelity Estimation

Authors: Jędrzej Burkat, Sergii Strelchuk

Abstract: We present a low-depth randomised algorithm for the estimation of entanglement fidelity between an $n$-qubit matchgate circuit $\mathcal{U}$ and its noisy implementation $\mathcal{E}$. Our procedure makes use of a modified Pauli-Liouville representation of quantum channels, with Clifford algebra elements as a basis. We show that this choice of representation leads to a block-diagonal compound matr… ▽ More We present a low-depth randomised algorithm for the estimation of entanglement fidelity between an $n$-qubit matchgate circuit $\mathcal{U}$ and its noisy implementation $\mathcal{E}$. Our procedure makes use of a modified Pauli-Liouville representation of quantum channels, with Clifford algebra elements as a basis. We show that this choice of representation leads to a block-diagonal compound matrix structure of matchgate superoperators which enables construction of efficient protocols for estimating the fidelity, achieving a $1/\sqrt{n}$ speedup over protocols of Flammia \& Liu [PRL 106, 230501]. Finally, we offer simple extensions of our protocol which (without additional overhead) benchmark matchgate circuits intertwined by Clifford circuits, and circuits composed of exclusively nearest-neighbour $XY(θ)$ gates or Givens rotations - forming the first known method for direct benchmarking of matchgate subgroups. △ Less

Submitted 11 April, 2024; originally announced April 2024.

James-Stein Estimation in Quantum Gaussian Sensing

Authors: Wilfred Salmon, Sergii Strelchuk, David Arvidsson-Shukur

Abstract: The James-Stein estimator is a biased estimator -- for a finite number of samples its expected value is not the true mean. The maximum-likelihood estimator (MLE), is unbiased and asymptotically optimal. Yet, when estimating the mean of $3$ or more normally-distributed random variables, the James-Stein estimator has a smaller total (expected) error than the MLE. We introduce the James-Stein estimat… ▽ More The James-Stein estimator is a biased estimator -- for a finite number of samples its expected value is not the true mean. The maximum-likelihood estimator (MLE), is unbiased and asymptotically optimal. Yet, when estimating the mean of $3$ or more normally-distributed random variables, the James-Stein estimator has a smaller total (expected) error than the MLE. We introduce the James-Stein estimator to the field of quantum metrology, from both the frequentist and Bayesian perspectives. We characterise the effect of quantum phenomena on the James-Stein estimator through the lens of quantum Gaussian sensing, the task of estimating the mean of an unknown multivariate quantum Gaussian state. We find that noiseless entanglement or coherence improves performance of the James-Stein estimator, but diminishes its advantage over the MLE. In the presence of noise, the James-Stein advantage is restored. Quantum effects can also boost the James-Stein advantage. We demonstrate this by investigating multivariate postselective metrology (generalised weak-value amplification), a strategy that uses quantum effects to measure parameters with imperfect detectors. Simply by post-processing measured data differently, our techniques reduce errors in quantum experiments. △ Less

Submitted 5 April, 2024; v1 submitted 2 April, 2024; originally announced April 2024.

Bases for optimising stabiliser decompositions of quantum states

Authors: Nadish de Silva, Ming Yin, Sergii Strelchuk

Abstract: Stabiliser states play a central role in the theory of quantum computation. For example, they are used to encode computational basis states in the most common quantum error correction schemes. Arbitrary quantum states admit many stabiliser decompositions: ways of being expressed as a superposition of stabiliser states. Understanding the structure of stabiliser decompositions has significant applic… ▽ More Stabiliser states play a central role in the theory of quantum computation. For example, they are used to encode computational basis states in the most common quantum error correction schemes. Arbitrary quantum states admit many stabiliser decompositions: ways of being expressed as a superposition of stabiliser states. Understanding the structure of stabiliser decompositions has significant applications in verifying and simulating near-term quantum computers. We introduce and study the vector space of linear dependencies of $n$-qubit stabiliser states. These spaces have canonical bases containing vectors whose size grows exponentially in $n$. We construct elegant bases of linear dependencies of constant size three. Critically, our sparse bases can be computed without first compiling a dictionary of all $n$-qubit stabiliser states. We utilise them to explicitly compute the stabiliser extent of states of more qubits than is feasible with existing techniques. Finally, we delineate future applications to improving theoretical bounds on the stabiliser rank of magic states. △ Less

Submitted 29 May, 2024; v1 submitted 29 November, 2023; originally announced November 2023.

Comments: Python code for computing bases for spaces of stabiliser decompositions and applications re: the stabiliser extent of large states available at https://github.com/ndesilva/stabiliser-decomp-bases. To appear in Quantum Science and Technology

Efficient Algorithms for All Port-Based Teleportation Protocols

Authors: Adam Wills, Min-Hsiu Hsieh, Sergii Strelchuk

Abstract: Port-based teleportation (PBT) is a form of quantum teleportation in which no corrective unitary is required on the part of the receiver. Two primary regimes exist - deterministic PBT in which teleportation is always successful, but is imperfect, and probabilistic PBT, in which teleportation succeeds with probability less than one, but teleportation is perfect upon a success. Two further regimes e… ▽ More Port-based teleportation (PBT) is a form of quantum teleportation in which no corrective unitary is required on the part of the receiver. Two primary regimes exist - deterministic PBT in which teleportation is always successful, but is imperfect, and probabilistic PBT, in which teleportation succeeds with probability less than one, but teleportation is perfect upon a success. Two further regimes exist within each of these in which the resource state used for the teleportation is fixed to a maximally entangled state, or free to be optimised. Recently, works resolved the long-standing problem of efficiently implementing port-based teleportation, tackling the two deterministic cases for qudits. Here, we provide algorithms in all four regimes for qubits. Emphasis is placed on the practicality of these algorithms, where we give polynomial improvements in the known gate complexity for PBT, as well as an exponential improvement in the required number of ancillas (albeit in separate protocols). Our approach to the implementation of the square-root measurement in PBT can be directly generalised to other highly symmetric state ensembles. For certain families of states, such a framework yields efficient algorithms in the case that the Petz recovery algorithm for the square-root measurement runs in exponential time. △ Less

Submitted 11 February, 2024; v1 submitted 20 November, 2023; originally announced November 2023.

Provable Advantage in Quantum PAC Learning

Authors: Wilfred Salmon, Sergii Strelchuk, Tom Gur

Abstract: We revisit the problem of characterising the complexity of Quantum PAC learning, as introduced by Bshouty and Jackson [SIAM J. Comput. 1998, 28, 1136-1153]. Several quantum advantages have been demonstrated in this setting, however, none are generic: they apply to particular concept classes and typically only work when the distribution that generates the data is known. In the general case, it was… ▽ More We revisit the problem of characterising the complexity of Quantum PAC learning, as introduced by Bshouty and Jackson [SIAM J. Comput. 1998, 28, 1136-1153]. Several quantum advantages have been demonstrated in this setting, however, none are generic: they apply to particular concept classes and typically only work when the distribution that generates the data is known. In the general case, it was recently shown by Arunachalam and de Wolf [JMLR, 19 (2018) 1-36] that quantum PAC learners can only achieve constant factor advantages over classical PAC learners. We show that with a natural extension of the definition of quantum PAC learning used by Arunachalam and de Wolf, we can achieve a generic advantage in quantum learning. To be precise, for any concept class $\mathcal{C}$ of VC dimension $d$, we show there is an $(ε, δ)$-quantum PAC learner with sample complexity \[ O\left(\frac{1}{\sqrtε}\left[d+ \log(\frac{1}δ)\right]\log^9(1/ε)\right). \] Up to polylogarithmic factors, this is a square root improvement over the classical learning sample complexity. We show the tightness of our result by proving an $Ω(d/\sqrtε)$ lower bound that matches our upper bound up to polylogarithmic factors. △ Less

Submitted 19 September, 2023; originally announced September 2023.

Gaussian decomposition of magic states for matchgate computations

Authors: Joshua Cudby, Sergii Strelchuk

Abstract: Magic states, pivotal for universal quantum computation via classically simulable Clifford gates, often undergo decomposition into resourceless stabilizer states, facilitating simulation through classical means. This approach yields three operationally significant metrics: stabilizer rank, fidelity, and extent. We extend these simulation methods to encompass matchgate circuits (MGCs), and define e… ▽ More Magic states, pivotal for universal quantum computation via classically simulable Clifford gates, often undergo decomposition into resourceless stabilizer states, facilitating simulation through classical means. This approach yields three operationally significant metrics: stabilizer rank, fidelity, and extent. We extend these simulation methods to encompass matchgate circuits (MGCs), and define equivalent metrics for this setting. We begin with an investigation into the algebraic constraints defining Gaussian states, marking the first explicit characterisation of these states. The explicit description of Gaussian states is pivotal to our methods for tackling all the simulation tasks. Central to our inquiry is the concept of Gaussian rank -- a pivotal metric defining the minimum terms required for decomposing a quantum state into Gaussian constituents. This metric holds paramount significance in determining the runtime of rank-based simulations for MGCs featuring magic state inputs. The absence of low-rank decompositions presents a computational hurdle, thereby prompting a deeper examination of fermionic magic states. We find that the Gaussian rank of 2 instances of our canonical magic state is 4 under symmetry-restricted decompositions. Additionally, our numerical analysis suggests the absence of low-rank decompositions for 2 or 3 copies of this magic state. Further, we explore the Gaussian extent, a convex metric offering an upper bound on the rank. We prove the Gaussian extent's multiplicative behaviour on 4-qubit systems, along with initial strides towards proving its sub-multiplicative nature in general settings. One important result in that direction we present is an upper bound on the Gaussian fidelity of generic states. △ Less

Submitted 8 April, 2024; v1 submitted 24 July, 2023; originally announced July 2023.

Comments: See also related works by Dias and Koenig and by Reardon-Smith et al. appearing in the same arXiv listing

Generalised Coupling and An Elementary Algorithm for the Quantum Schur Transform

Authors: Adam Wills, Sergii Strelchuk

Abstract: The quantum Schur transform is a fundamental building block that maps the computational basis to a coupled basis consisting of irreducible representations of the unitary and symmetric groups. Equivalently, it may be regarded as a change of basis from the computational basis to a simultaneous spin eigenbasis of Permutational Quantum Computing (PQC) [Quantum Inf. Comput., 10, 470-497 (2010)]. By ado… ▽ More The quantum Schur transform is a fundamental building block that maps the computational basis to a coupled basis consisting of irreducible representations of the unitary and symmetric groups. Equivalently, it may be regarded as a change of basis from the computational basis to a simultaneous spin eigenbasis of Permutational Quantum Computing (PQC) [Quantum Inf. Comput., 10, 470-497 (2010)]. By adopting the latter perspective, we present a transparent algorithm for implementing the qubit quantum Schur transform which uses $O(\log(n))$ ancillas and can be decomposed into a sequence of $O(n^3\log(n)\log(\frac{n}ε))$ Clifford + T gates, where $ε$ is the accuracy of the algorithm in terms of the trace norm. We discuss the necessity for some applications of implementing this operation as a unitary rather than an isometry, as is often presented. By studying the associated Schur states, which consist of qubits coupled via Clebsch-Gordan coefficients, we introduce the notion of generally coupled quantum states. We present six conditions, which in different combinations ensure the efficient preparation of these states on a quantum computer or their classical simulability (in the sense of computational tractability). It is shown that Wigner 6-j symbols and SU(N) Clebsch-Gordan coefficients naturally fit our framework. Finally, we investigate unitary transformations which preserve the class of computationally tractable states. △ Less

Submitted 11 February, 2024; v1 submitted 6 May, 2023; originally announced May 2023.

Comments: 28 pages

Noise is resource-contextual in quantum communication

Authors: Aditya Nema, Ananda G. Maity, Sergii Strelchuk, David Elkouss

Abstract: Estimating the information transmission capability of a quantum channel remains one of the fundamental problems in quantum information processing. In contrast to classical channels, the information-carrying capability of quantum channels is contextual. One of the most significant manifestations of this is the superadditivity of the channel capacity: the capacity of two quantum channels used togeth… ▽ More Estimating the information transmission capability of a quantum channel remains one of the fundamental problems in quantum information processing. In contrast to classical channels, the information-carrying capability of quantum channels is contextual. One of the most significant manifestations of this is the superadditivity of the channel capacity: the capacity of two quantum channels used together can be larger than the sum of the individual capacities. Here, we present a one-parameter family of channels for which as the parameter increases its one-way quantum and private capacities increase while its two-way capacities decrease. We also exhibit a one-parameter family of states with analogous behavior with respect to the one- and two-way distillable entanglement and secret key. Our constructions demonstrate that noise is context dependent in quantum communication. △ Less

Submitted 4 September, 2023; v1 submitted 1 May, 2023; originally announced May 2023.

Comments: 16 pages, 6 figures, Updated with additional and elaborated references. Sincere, thanks to Felix Leditzky and Stefano Pirandola for pointing out the appropriate references. Added note on general applicability of results

Simultaneous superadditivity of the direct and complementary channel capacities

Authors: Satvik Singh, Sergii Strelchuk

Abstract: Quantum communication channels differ from their classical counterparts because their capacities can be superadditive. The principle of monogamy of entanglement suggests that superadditive improvements in the transmission capacity of a channel should reduce the amount of information loss to the environment. We challenge this intuition by demonstrating that the coherent and private information of a… ▽ More Quantum communication channels differ from their classical counterparts because their capacities can be superadditive. The principle of monogamy of entanglement suggests that superadditive improvements in the transmission capacity of a channel should reduce the amount of information loss to the environment. We challenge this intuition by demonstrating that the coherent and private information of a channel and its complement can be simultaneously superadditive for arbitrarily many channel uses. To quantify the limits of this effect, we consider the notion of max (resp. total) private information of a channel, which represents the maximum (resp. sum) of the private information of the channel itself and its complement, and study its relationship with the coherent information of the individual direct and complementary channels. For a varying number of channel uses, we show that these quantities can obey different interleaving sequences of inequalities. △ Less

Submitted 12 January, 2023; originally announced January 2023.

Ultrafast Hybrid Fermion-to-Qubit map**

Authors: Oliver O'Brien, Sergii Strelchuk

Abstract: Fermion-to-qubit map**s play a crucial role in representing fermionic interactions on a quantum computer. Efficient map**s translate fermionic modes of a system to qubit interactions with a high degree of locality while using few auxiliary resources. We present a family of locality-preserving fermion-to-qubit map**s that require fewer auxiliary qubits than all existing schemes known to date.… ▽ More Fermion-to-qubit map**s play a crucial role in representing fermionic interactions on a quantum computer. Efficient map**s translate fermionic modes of a system to qubit interactions with a high degree of locality while using few auxiliary resources. We present a family of locality-preserving fermion-to-qubit map**s that require fewer auxiliary qubits than all existing schemes known to date. One instance requires only 1.016 qubits-per-fermion compared to 1.25 for the best-known locality-preserving map** by Y.-A. Chen and Y. Xu [PRX Quantum 4, 010326 (2023)]. Our family of map**s (parameterised by integer $n$) establishes a direct trade-off between the number of auxiliary qubits ($\frac{1}{n^2}$) and the circuit length ($O(\log n)$). Furthermore, we present a non-local variant that combines the strengths of the Jordan-Wigner and Bravyi-Kitaev map**s to give 98\% shorter circuits than the Jordan-Wigner map**. This is achieved by applying seemly incompatible map**s at different scales, making it possible for their respective strengths to complement each other. △ Less

Submitted 22 June, 2023; v1 submitted 29 November, 2022; originally announced November 2022.

Simulating quantum circuits using efficient tensor network contraction algorithms with subexponential upper bound

Authors: Thorsten B. Wahl, Sergii Strelchuk

Abstract: We derive a rigorous upper bound on the classical computation time of finite-ranged tensor network contractions in $d \geq 2$ dimensions. Consequently, we show that quantum circuits of single-qubit and finite-ranged two-qubit gates can be classically simulated in subexponential time in the number of gates. Moreover, we present and implement an algorithm guaranteed to meet our bound and which finds… ▽ More We derive a rigorous upper bound on the classical computation time of finite-ranged tensor network contractions in $d \geq 2$ dimensions. Consequently, we show that quantum circuits of single-qubit and finite-ranged two-qubit gates can be classically simulated in subexponential time in the number of gates. Moreover, we present and implement an algorithm guaranteed to meet our bound and which finds contraction orders with vastly lower computational times in practice. In many practically relevant cases this beats standard simulation schemes and, for certain quantum circuits, also a state-of-the-art method. Specifically, our algorithm leads to speedups of several orders of magnitude over naive contraction schemes for two-dimensional quantum circuits on as little as an $8 \times 8$ lattice. We obtain similarly efficient contraction schemes for Google's Sycamore-type quantum circuits, instantaneous quantum polynomial-time circuits, and non-homogeneous (2+1)-dimensional random quantum circuits. △ Less

Submitted 14 August, 2023; v1 submitted 2 August, 2022; originally announced August 2022.

Comments: 7 pages, 5 figures

Journal ref: Phys. Rev. Lett. 131, 180601 (2023)

On the Super-exponential Quantum Speedup of Equivariant Quantum Machine Learning Algorithms with SU($d$) Symmetry

Authors: Han Zheng, Zimu Li, Junyu Liu, Sergii Strelchuk, Risi Kondor

Abstract: We introduce a framework of the equivariant convolutional algorithms which is tailored for a number of machine-learning tasks on physical systems with arbitrary SU($d$) symmetries. It allows us to enhance a natural model of quantum computation--permutational quantum computing (PQC) [Quantum Inf. Comput., 10, 470-497 (2010)] --and defines a more powerful model: PQC+. While PQC was shown to be effec… ▽ More We introduce a framework of the equivariant convolutional algorithms which is tailored for a number of machine-learning tasks on physical systems with arbitrary SU($d$) symmetries. It allows us to enhance a natural model of quantum computation--permutational quantum computing (PQC) [Quantum Inf. Comput., 10, 470-497 (2010)] --and defines a more powerful model: PQC+. While PQC was shown to be effectively classically simulatable, we exhibit a problem which can be efficiently solved on PQC+ machine, whereas the best known classical algorithms runs in $O(n!n^2)$ time, thus providing strong evidence against PQC+ being classically simulatable. We further discuss practical quantum machine learning algorithms which can be carried out in the paradigm of PQC+. △ Less

Submitted 14 July, 2022; originally announced July 2022.

Comments: A shorter version established based on arXiv:2112.07611, presented in TQC 2022

Only Classical Parameterised States have Optimal Measurements under Least Squares Loss

Authors: Wilfred Salmon, Sergii Strelchuk, David Arvidsson-Shukur

Abstract: Measurements of quantum states form a key component in quantum-information processing. It is therefore an important task to compare measurements and furthermore decide if a measurement strategy is optimal. Entropic quantities, such as the quantum Fisher information, capture asymptotic optimality but not optimality with finite resources. We introduce a framework that allows one to conclusively esta… ▽ More Measurements of quantum states form a key component in quantum-information processing. It is therefore an important task to compare measurements and furthermore decide if a measurement strategy is optimal. Entropic quantities, such as the quantum Fisher information, capture asymptotic optimality but not optimality with finite resources. We introduce a framework that allows one to conclusively establish if a measurement is optimal in the non-asymptotic regime. Our method relies on the fundamental property of expected errors of estimators, known as risk, and it does not involve optimisation over entropic quantities. The framework applies to finite sample sizes and lack of prior knowledge, as well as to the asymptotic and Bayesian settings. We prove a no-go theorem that shows that only classical states admit optimal measurements under the most common choice of error measurement: least squares. We further consider the less restrictive notion of an approximately optimal measurement and give sufficient conditions for such measurements to exist. Finally, we generalise the notion of when an estimator is inadmissible (i.e. strictly worse than an alternative), and provide two sufficient conditions for a measurement to be inadmissible. △ Less

Submitted 3 May, 2023; v1 submitted 27 May, 2022; originally announced May 2022.

Journal ref: Quantum 7, 998 (2023)

Speeding up Learning Quantum States through Group Equivariant Convolutional Quantum Ansätze

Authors: Han Zheng, Zimu Li, Junyu Liu, Sergii Strelchuk, Risi Kondor

Abstract: We develop a theoretical framework for $S_n$-equivariant convolutional quantum circuits with SU$(d)$-symmetry, building on and significantly generalizing Jordan's Permutational Quantum Computing (PQC) formalism based on Schur-Weyl duality connecting both SU$(d)$ and $S_n$ actions on qudits. In particular, we utilize the Okounkov-Vershik approach to prove Harrow's statement (Ph.D. Thesis 2005 p.160… ▽ More We develop a theoretical framework for $S_n$-equivariant convolutional quantum circuits with SU$(d)$-symmetry, building on and significantly generalizing Jordan's Permutational Quantum Computing (PQC) formalism based on Schur-Weyl duality connecting both SU$(d)$ and $S_n$ actions on qudits. In particular, we utilize the Okounkov-Vershik approach to prove Harrow's statement (Ph.D. Thesis 2005 p.160) on the equivalence between $\operatorname{SU}(d)$ and $S_n$ irrep bases and to establish the $S_n$-equivariant Convolutional Quantum Alternating Ansätze ($S_n$-CQA) using Young-Jucys-Murphy (YJM) elements. We prove that $S_n$-CQA is able to generate any unitary in any given $S_n$ irrep sector, which may serve as a universal model for a wide array of quantum machine learning problems with the presence of SU($d$) symmetry. Our method provides another way to prove the universality of Quantum Approximate Optimization Algorithm (QAOA) and verifies that 4-local SU($d$) symmetric unitaries are sufficient to build generic SU($d$) symmetric quantum circuits up to relative phase factors. We present numerical simulations to showcase the effectiveness of the ansätze to find the ground state energy of the $J_1$--$J_2$ antiferromagnetic Heisenberg model on the rectangular and Kagome lattices. Our work provides the first application of the celebrated Okounkov-Vershik's $S_n$ representation theory to quantum physics and machine learning, from which to propose quantum variational ansätze that strongly suggests to be classically intractable tailored towards a specific optimization problem. △ Less

Submitted 14 September, 2023; v1 submitted 14 December, 2021; originally announced December 2021.

Comments: 15 pages, 11 figures

Journal ref: PRX Quantum 4, 020327, 2023

Minimal Port-based Teleportation

Authors: Sergii Strelchuk, Michał Studziński

Abstract: There are two types of port-based teleportation (PBT) protocols: deterministic -- when the state always arrives to the receiver but is imperfectly transmitted and probabilistic -- when the state reaches the receiver intact with high probability. We introduce the minimal set of requirements that define a feasible PBT protocol and construct a simple PBT protocol that satisfies these requirements: it… ▽ More There are two types of port-based teleportation (PBT) protocols: deterministic -- when the state always arrives to the receiver but is imperfectly transmitted and probabilistic -- when the state reaches the receiver intact with high probability. We introduce the minimal set of requirements that define a feasible PBT protocol and construct a simple PBT protocol that satisfies these requirements: it teleports an unknown state of a qubit with success probability $p_{succ}=1-\frac{N+2}{2^{N+1}}$ and fidelity $1-O(\frac{1}{N})$ with the resource state consisting of $N$ maximally entangled states. This protocol is not reducible from either the deterministic or probabilistic PBT protocol. We define the corresponding efficient superdense coding protocols which transmit more classical bits with fewer maximally entangled states. Furthermore, we introduce rigorous methods for comparing and converting between different PBT protocols. △ Less

Submitted 17 July, 2023; v1 submitted 9 November, 2021; originally announced November 2021.

Comments: 26 pages, published version

Journal ref: New J. Phys. 25 063012 (2023)

Discovering optimal fermion-qubit map**s through algorithmic enumeration

Authors: Mitchell Chiew, Sergii Strelchuk

Abstract: Simulating fermionic systems on a quantum computer requires a high-performing map** of fermionic states to qubits. A characteristic of an efficient map** is its ability to translate local fermionic interactions into local qubit interactions, leading to easy-to-simulate qubit Hamiltonians. All fermion-qubit map**s must use a numbering scheme for the fermionic modes in order for translation… ▽ More Simulating fermionic systems on a quantum computer requires a high-performing map** of fermionic states to qubits. A characteristic of an efficient map** is its ability to translate local fermionic interactions into local qubit interactions, leading to easy-to-simulate qubit Hamiltonians. All fermion-qubit map**s must use a numbering scheme for the fermionic modes in order for translation to qubit operations. We make a distinction between the unordered labelling of fermions and the ordered labelling of the qubits. This separation shines light on a new way to design fermion-qubit map**s by making use of the enumeration scheme for the fermionic modes. The purpose of this paper is to demonstrate that this concept permits notions of fermion-qubit map**s that are optimal with regard to any cost function one might choose. Our main example is the minimisation of the average number of Pauli matrices in the Jordan-Wigner transformations of Hamiltonians for fermions interacting in square lattice arrangements. In choosing the best ordering of fermionic modes for the Jordan-Wigner transformation, and unlike other popular modifications, our prescription does not cost additional resources such as ancilla qubits. We demonstrate how Mitchison and Durbin's enumeration pattern minimises the average Pauli weight of Jordan-Wigner transformations of systems interacting in square lattices. This leads to qubit Hamiltonians consisting of terms with average Pauli weights 13.9% shorter than previously known. By adding only two ancilla qubits we introduce a new class of fermion-qubit map**s, and reduce the average Pauli weight of Hamiltonian terms by 37.9% compared to previous methods. For $n$-mode fermionic systems in cellular arrangements, we find enumeration patterns which result in $n^{1/4}$ improvement in average Pauli weight over naïve schemes. △ Less

Submitted 12 October, 2023; v1 submitted 25 October, 2021; originally announced October 2021.

Comments: 57 pages, 27 figures

Journal ref: Quantum 7, 1145 (2023)

Measuring time with stationary quantum clocks

Authors: Sergii Strelchuk, Mischa P. Woods

Abstract: Time plays a fundamental role in our ability to make sense of the physical laws in the world around us. The nature of time has puzzled people -- from the ancient Greeks to the present day -- resulting in a long running debate between philosophers and physicists alike to whether time needs change to exist (the so-called relatival theory), or whether time flows regardless of change (the so-called su… ▽ More Time plays a fundamental role in our ability to make sense of the physical laws in the world around us. The nature of time has puzzled people -- from the ancient Greeks to the present day -- resulting in a long running debate between philosophers and physicists alike to whether time needs change to exist (the so-called relatival theory), or whether time flows regardless of change (the so-called substantival theory). One way to decide between the two is to attempt to measure the flow of time with a stationary clock, since if time were substantival, the flow of time would manifest itself in the experiment. Alas, conventional wisdom suggests that in order for a clock to function, it cannot be a static object, thus rendering this experiment seemingly impossible. Here we show, with the aid of counterfactual measurements, the surprising result that a quantum clock can measure the passage of time even while being switched off, thus lending constructive support for the substantival theory of time. △ Less

Submitted 22 September, 2021; v1 submitted 14 June, 2021; originally announced June 2021.

Comments: Main text: 6 pages. Supplementary: 6 pages. Appendices: 16 pages

Stoquastic ground states are classical thermal distributions

Authors: Robbie King, Sergii Strelchuk

Abstract: We study the structure of the ground states of local stoquastic Hamiltonians and show that under mild assumptions the following distributions can efficiently approximate one another: (a) distributions arising from ground states of stoquastic Hamiltonians, (b) distributions arising from ground states of stoquastic frustration-free Hamiltonians, (c) Gibbs distributions of local classical Hamiltonian… ▽ More We study the structure of the ground states of local stoquastic Hamiltonians and show that under mild assumptions the following distributions can efficiently approximate one another: (a) distributions arising from ground states of stoquastic Hamiltonians, (b) distributions arising from ground states of stoquastic frustration-free Hamiltonians, (c) Gibbs distributions of local classical Hamiltonian, and (d) distributions represented by real-valued Deep Boltzmann machines. In addition, we highlight regimes where it is possible to efficiently classically sample from the above distributions. △ Less

Submitted 18 November, 2020; v1 submitted 17 November, 2020; originally announced November 2020.

Comments: 12 pages, 4 figures. Proof of Lemma 2 fixed making use of the Detectability Lemma

Efficient classical simulation and benchmarking of quantum processes in the Weyl basis

Authors: Daniel Stilck França, Sergii Strelchuk, Michał Studziński

Abstract: One of the crucial steps in building a scalable quantum computer is to identify the noise sources which lead to errors in the process of quantum evolution. Different implementations come with multiple hardware-dependent sources of noise and decoherence making the problem of their detection manyfoldly more complex. We develop a randomized benchmarking algorithm which uses Weyl unitaries to efficien… ▽ More One of the crucial steps in building a scalable quantum computer is to identify the noise sources which lead to errors in the process of quantum evolution. Different implementations come with multiple hardware-dependent sources of noise and decoherence making the problem of their detection manyfoldly more complex. We develop a randomized benchmarking algorithm which uses Weyl unitaries to efficiently identify and learn a mixture of error models which occur during the computation. We provide an efficiently computable estimate of the overhead required to compute expectation values on outputs of the noisy circuit relying only on locality of the interactions and no further assumptions on the circuit structure. The overhead decreases with the noise rate and this enables us to compute analytic noise bounds that imply efficient classical simulability. We apply our methods to ansatz circuits that appear in the Variational Quantum Eigensolver and establish an upper bound on classical simulation complexity as a function of noise, identifying regimes when they become classically efficiently simulatable. △ Less

Submitted 15 March, 2021; v1 submitted 27 August, 2020; originally announced August 2020.

Journal ref: Phys. Rev. Lett. 126, 210502 (2021)

Computational power of matchgates with supplementary resources

Authors: Martin Hebenstreit, Richard Jozsa, Barbara Kraus, Sergii Strelchuk

Abstract: We study the classical simulation complexity in both the weak and strong senses, of matchgate (MG) computations supplemented with all combinations of settings involving inclusion of intermediate adaptive or nonadaptive computational basis measurements, product state or magic and general entangled state inputs, and single- or multi-line outputs. We find a striking parallel to known results for Clif… ▽ More We study the classical simulation complexity in both the weak and strong senses, of matchgate (MG) computations supplemented with all combinations of settings involving inclusion of intermediate adaptive or nonadaptive computational basis measurements, product state or magic and general entangled state inputs, and single- or multi-line outputs. We find a striking parallel to known results for Clifford circuits, after some rebranding of resources. We also give bounds on the amount of classical simulation effort required in case of limited access intermediate measurements and entangled inputs. In further settings we show that adaptive MG circuits remain classically efficiently simulable if arbitrary two-qubit entangled input states on consecutive lines are allowed, but become quantum universal for three or more lines. And if adaptive measurements in non-computational bases are allowed, even with just computational basis inputs, we get quantum universal power again. △ Less

Submitted 16 July, 2020; originally announced July 2020.

Comments: 17 pages, 4 figures

Journal ref: Phys. Rev. A 102, 052604 (2020)

All pure fermionic non-Gaussian states are magic states for matchgate computations

Authors: Martin Hebenstreit, Richard Jozsa, Barbara Kraus, Sergii Strelchuk, Mithuna Yoganathan

Abstract: Magic states were introduced in the context of Clifford circuits as a resource that elevates classically simulatable computations to quantum universal capability, while maintaining the same gate set. Here we study magic states in the context of matchgate (MG) circuits, where the notion becomes more subtle, as MGs are subject to locality constraints and also the SWAP gate is not available. Neverthe… ▽ More Magic states were introduced in the context of Clifford circuits as a resource that elevates classically simulatable computations to quantum universal capability, while maintaining the same gate set. Here we study magic states in the context of matchgate (MG) circuits, where the notion becomes more subtle, as MGs are subject to locality constraints and also the SWAP gate is not available. Nevertheless a similar picture of gate-gadget constructions applies, and we show that every pure fermionic state which is non-Gaussian, i.e. which cannot be generated by MGs from a computational basis state, is a magic state for MG computations. This result has significance for prospective quantum computing implementation in view of the fact that MG circuit evolutions coincide with the quantum physical evolution of non-interacting fermions. △ Less

Submitted 5 September, 2019; v1 submitted 21 May, 2019; originally announced May 2019.

Comments: 5+5 pages, 2 figures. Accepted manuscript

Journal ref: Phys. Rev. Lett. 123, 080503 (2019)

A Classical Algorithm for Quantum $\textsf{SU}(2)$ Schur Sampling

Authors: Vojtěch Havlíček, Sergii Strelchuk, Kristan Temme

Abstract: Many quantum algorithms can be represented in a form of a classical circuit positioned between quantum Fourier transformations. Motivated by the search for new quantum algorithms, we turn to circuits where the latter transformation is replaced by the $\textsf{SU}(2)$ quantum Schur Transform -- a global transformation which maps the computational basis to a basis defined by angular momenta. We show… ▽ More Many quantum algorithms can be represented in a form of a classical circuit positioned between quantum Fourier transformations. Motivated by the search for new quantum algorithms, we turn to circuits where the latter transformation is replaced by the $\textsf{SU}(2)$ quantum Schur Transform -- a global transformation which maps the computational basis to a basis defined by angular momenta. We show that the output distributions of these circuits can be approximately classically sampled in polynomial time if they are sufficiently close to being sparse, thus isolating a regime in which these Quantum $\textsf{SU}(2)$ Schur Circuits could lead to algorithms with exponential computational advantage. Our work is primarily motivated by a conjecture that underpinned the hardness of Permutational Quantum Computing, a restricted quantum computational model that has the above circuit structure in one of its computationally interesting regimes. The conjecture stated that approximating transition amplitudes of Permutational Quantum Computing model to inverse polynomial precision on a classical computer is computationally hard. We disprove the extended version of this conjecture -- even in the case when the hardness of approximation originated from a difficulty of finding the large elements in the output probability distributions. Finally, we present some evidence that output of the above Permutational Quantum Computing circuits could be efficiently approximately sampled from on a classical computer. △ Less

Submitted 11 February, 2019; v1 submitted 13 September, 2018; originally announced September 2018.

Comments: Significant update of the article to improve clarity of the presentation

Journal ref: Phys. Rev. A 99, 062336 (2019)

Quantum advantage of unitary Clifford circuits with magic state inputs

Authors: Mithuna Yoganathan, Richard Jozsa, Sergii Strelchuk

Abstract: We study the computational power of unitary Clifford circuits with solely magic state inputs (CM circuits), supplemented by classical efficient computation. We show that CM circuits are hard to classically simulate up to multiplicative error (assuming PH non-collapse), and also up to additive error under plausible average-case hardness conjectures. Unlike other such known classes, a broad variety… ▽ More We study the computational power of unitary Clifford circuits with solely magic state inputs (CM circuits), supplemented by classical efficient computation. We show that CM circuits are hard to classically simulate up to multiplicative error (assuming PH non-collapse), and also up to additive error under plausible average-case hardness conjectures. Unlike other such known classes, a broad variety of possible conjectures apply. Along the way we give an extension of the Gottesman-Knill theorem that applies to universal computation, showing that for Clifford circuits with joint stabiliser and non-stabiliser inputs, the stabiliser part can be eliminated in favour of classical simulation, leaving a Clifford circuit on only the non-stabiliser part. Finally we discuss implementational advantages of CM circuits. △ Less

Submitted 13 May, 2019; v1 submitted 8 June, 2018; originally announced June 2018.

Comments: 25 pages. 3 figures. Accepted manuscript. To appear in Proc. Roy. Soc. (Lond) A

Quantum Schur Sampling Circuits can be Strongly Simulated

Authors: Vojtech Havlicek, Sergii Strelchuk

Abstract: Permutational Quantum Computing (PQC) [\emph{Quantum~Info.~Comput.}, \textbf{10}, 470--497, (2010)] is a natural quantum computational model conjectured to capture non-classical aspects of quantum computation. An argument backing this conjecture was the observation that there was no efficient classical algorithm for estimation of matrix elements of the $S_n$ irreducible representation matrices in… ▽ More Permutational Quantum Computing (PQC) [\emph{Quantum~Info.~Comput.}, \textbf{10}, 470--497, (2010)] is a natural quantum computational model conjectured to capture non-classical aspects of quantum computation. An argument backing this conjecture was the observation that there was no efficient classical algorithm for estimation of matrix elements of the $S_n$ irreducible representation matrices in the Young's orthogonal form, which correspond to transition amplitudes of a broad class of PQC circuits. This problem can be solved with a PQC machine in polynomial time, but no efficient classical algorithm for the problem was previously known. Here we give a classical algorithm that efficiently approximates the transition amplitudes up to polynomial additive precision and hence solves this problem. We further extend our discussion to show that transition amplitudes of a broader class of quantum circuits -- the Quantum Schur Sampling circuits -- can be also efficiently estimated classically. △ Less

Submitted 16 May, 2018; v1 submitted 15 January, 2018; originally announced January 2018.

Comments: Precision error and additional slip-ups corrected. Title changed to avoid confusion

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

Learning hard quantum distributions with variational autoencoders

Authors: Andrea Rocchetto, Edward Grant, Sergii Strelchuk, Giuseppe Carleo, Simone Severini

Abstract: Studying general quantum many-body systems is one of the major challenges in modern physics because it requires an amount of computational resources that scales exponentially with the size of the system.Simulating the evolution of a state, or even storing its description, rapidly becomes intractable for exact classical algorithms. Recently, machine learning techniques, in the form of restricted Bo… ▽ More Studying general quantum many-body systems is one of the major challenges in modern physics because it requires an amount of computational resources that scales exponentially with the size of the system.Simulating the evolution of a state, or even storing its description, rapidly becomes intractable for exact classical algorithms. Recently, machine learning techniques, in the form of restricted Boltzmann machines, have been proposed as a way to efficiently represent certain quantum states with applications in state tomography and ground state estimation. Here, we introduce a new representation of states based on variational autoencoders. Variational autoencoders are a type of generative model in the form of a neural network. We probe the power of this representation by encoding probability distributions associated with states from different classes. Our simulations show that deep networks give a better representation for states that are hard to sample from, while providing no benefit for random states. This suggests that the probability distributions associated to hard quantum states might have a compositional structure that can be exploited by layered neural networks. Specifically, we consider the learnability of a class of quantum states introduced by Fefferman and Umans. Such states are provably hard to sample for classical computers, but not for quantum ones, under plausible computational complexity assumptions. The good level of compression achieved for hard states suggests these methods can be suitable for characterising states of the size expected in first generation quantum hardware. △ Less

Submitted 2 July, 2018; v1 submitted 2 October, 2017; originally announced October 2017.

Comments: v2: 9 pages, 3 figures, journal version with major edits with respect to v1 (rewriting of section "hard and easy quantum states", extended discussion on comparison with tensor networks)

Journal ref: npj Quantum Information, Volume 4, Article number: 28 (2018)

Optimal Port-based Teleportation

Authors: Marek Mozrzymas, Michał Studziński, Sergii Strelchuk, Michał Horodecki

Abstract: Deterministic port-based teleportation (dPBT) protocol is a scheme where a quantum state is guaranteed to be transferred to another system without unitary correction. We characterize the best achievable performance of the dPBT when both the resource state and the measurement is optimized. Surprisingly, the best possible fidelity for an arbitrary number of ports and dimension of the teleported stat… ▽ More Deterministic port-based teleportation (dPBT) protocol is a scheme where a quantum state is guaranteed to be transferred to another system without unitary correction. We characterize the best achievable performance of the dPBT when both the resource state and the measurement is optimized. Surprisingly, the best possible fidelity for an arbitrary number of ports and dimension of the teleported state is given by the largest eigenvalue of a particular matrix -- Teleportation Matrix. It encodes the relationship between a certain set of Young diagrams and emerges as the the optimal solution to the relevant semidefinite program. △ Less

Submitted 26 July, 2017; originally announced July 2017.

Comments: 32 pages, 3 figures

Journal ref: New Journal of Physics 20.5 (2018): 053006

Efficient classical verification of quantum computations

Authors: Richard Jozsa, Sergii Strelchuk

Abstract: We propose an efficient scheme for verifying quantum computations in the `high complexity' regime i.e. beyond the remit of classical computers. Previously proposed schemes remarkably provide confidence against arbitrarily malicious adversarial behaviour in the misfunctioning of the quantum computing device. Our scheme is not secure against arbitrarily adversarial behaviour, but may nevertheless be… ▽ More We propose an efficient scheme for verifying quantum computations in the `high complexity' regime i.e. beyond the remit of classical computers. Previously proposed schemes remarkably provide confidence against arbitrarily malicious adversarial behaviour in the misfunctioning of the quantum computing device. Our scheme is not secure against arbitrarily adversarial behaviour, but may nevertheless be sufficiently acceptable in many practical situations. With this concession we gain in manifest simplicity and transparency, and in contrast to previous schemes, our verifier is entirely classical. It is based on the fact that adaptive Clifford circuits on general product state inputs provide universal quantum computation, while the same processes without adaptation are always classically efficiently simulatable. △ Less

Submitted 23 May, 2017; v1 submitted 8 May, 2017; originally announced May 2017.

Comments: 7 pages. v2: further references added. Title and abstract honed

Port-based teleportation in arbitrary dimension

Authors: Michał Studziński, Sergii Strelchuk, Marek Mozrzymas, Michał Horodecki

Abstract: Port-based teleportation (PBT), introduced in 2008, is a type of quantum teleportation protocol which transmits the state to the receiver without requiring any corrections on the receiver's side. Evaluating the performance of PBT was computationally intractable and previous attempts succeeded only with small systems. We study PBT protocols and fully characterize their performance for arbitrary dim… ▽ More Port-based teleportation (PBT), introduced in 2008, is a type of quantum teleportation protocol which transmits the state to the receiver without requiring any corrections on the receiver's side. Evaluating the performance of PBT was computationally intractable and previous attempts succeeded only with small systems. We study PBT protocols and fully characterize their performance for arbitrary dimensions and number of ports. We develop new mathematical tools to study the symmetries of the measurement operators that arise in these protocols and belong to the algebra of partially transposed permutation operators. First, we develop the representation theory of the mentioned algebra which provides an elegant way of understanding the properties of subsystems of a large system with general symmetries. In particular, we introduce the theory of the partially reduced irreducible representations which we use to obtain a simpler representation of the algebra of partially transposed permutation operators and thus explicitly determine the properties of any PBT scheme for fixed dimension in polynomial time. △ Less

Submitted 25 September, 2017; v1 submitted 29 December, 2016; originally announced December 2016.

Comments: 30 pages, 5 figures

Journal ref: Sci Rep. 2017; 7: 10871

Quantum conditional query complexity

Authors: Imdad S. B. Sardharwalla, Sergii Strelchuk, Richard Jozsa

Abstract: We define and study a new type of quantum oracle, the quantum conditional oracle, which provides oracle access to the conditional probabilities associated with an underlying distribution. Amongst other properties, we (a) obtain speed-ups over the best known quantum algorithms for identity testing, equivalence testing and uniformity testing of probability distributions; (b) study the power of these… ▽ More We define and study a new type of quantum oracle, the quantum conditional oracle, which provides oracle access to the conditional probabilities associated with an underlying distribution. Amongst other properties, we (a) obtain speed-ups over the best known quantum algorithms for identity testing, equivalence testing and uniformity testing of probability distributions; (b) study the power of these oracles for testing properties of boolean functions, and obtain an algorithm for checking whether an $n$-input $m$-output boolean function is balanced or $ε$-far from balanced; and (c) give a sub-linear algorithm, requiring $\tilde{O}(n^{3/4}/ε)$ queries, for testing whether an $n$-dimensional quantum state is maximally mixed or not. △ Less

Submitted 6 September, 2016; originally announced September 2016.

Non-convexity of private capacity and classical environment-assisted capacity of a quantum channel

Authors: David Elkouss, Sergii Strelchuk

Abstract: The capacity of classical channels is convex. This is not the case for the quantum capacity of a channel: the capacity of a mixture of different quantum channels exceeds the mixture of the individual capacities and thus is non-convex. Here we show that this effect goes beyond the quantum capacity and holds for the private and classical environment-assisted capacities of quantum channels. The capacity of classical channels is convex. This is not the case for the quantum capacity of a channel: the capacity of a mixture of different quantum channels exceeds the mixture of the individual capacities and thus is non-convex. Here we show that this effect goes beyond the quantum capacity and holds for the private and classical environment-assisted capacities of quantum channels. △ Less

Submitted 13 September, 2016; v1 submitted 27 April, 2016; originally announced April 2016.

Comments: 8 pages, 2 figures

Journal ref: Phys. Rev. A 94, 040301 (2016)

Optimal amount of entanglement to distinguish quantum states instantaneously

Authors: Berry Groisman, Sergii Strelchuk

Abstract: We introduce a new aspect of nonlocality which arises when the task of quantum states distinguishability is considered under local operations and shared entanglement in the absence of classical communication. We find the optimal amount of entanglement required to accomplish the task perfectly for sets of orthogonal states and argue that it quantifies information nonlocality. We introduce a new aspect of nonlocality which arises when the task of quantum states distinguishability is considered under local operations and shared entanglement in the absence of classical communication. We find the optimal amount of entanglement required to accomplish the task perfectly for sets of orthogonal states and argue that it quantifies information nonlocality. △ Less

Submitted 23 March, 2016; originally announced March 2016.

Comments: 14 pages, 1 figure

Journal ref: Phys. Rev. A 92, 052337 (2015)

Superadditivity of private information for any number of uses of the channel

Authors: David Elkouss, Sergii Strelchuk

Abstract: The quantum capacity of a quantum channel is always smaller than the capacity of the channel for private communication. However, both quantities are given by the infinite regularization of respectively the coherent and the private information. Here, we construct a family of channels for which the private and coherent information can remain strictly superadditive for unbounded number of uses. We pr… ▽ More The quantum capacity of a quantum channel is always smaller than the capacity of the channel for private communication. However, both quantities are given by the infinite regularization of respectively the coherent and the private information. Here, we construct a family of channels for which the private and coherent information can remain strictly superadditive for unbounded number of uses. We prove this by showing that the coherent information is strictly larger than the private information of a smaller number of uses of the channel. This implies that even though the quantum capacity is upper bounded by the private capacity, the non-regularized quantities can be interleaved. From an operational point of view, the private capacity can be used for gauging the practical value of quantum channels for secure communication and, consequently, for key distribution. We thus show that in order to evaluate the interest a channel for this task it is necessary to optimize the private information over an unlimited number of uses of the channel. △ Less

Submitted 18 February, 2015; originally announced February 2015.

Comments: 6 pages, 1 figure

Journal ref: Phys. Rev. Lett. 115, 040501 (2015)

Quantum communication complexity advantage implies violation of a Bell inequality

Authors: Harry Buhrman, Lukasz Czekaj, Andrzej Grudka, Michal Horodecki, Pawel Horodecki, Marcin Markiewicz, Florian Speelman, Sergii Strelchuk

Abstract: We obtain a general connection between a quantum advantage in communication complexity and non-locality. We show that given any protocol offering a (sufficiently large) quantum advantage in communication complexity, there exists a way of obtaining measurement statistics which violate some Bell inequality. Our main tool is port-based teleportation. If the gap between quantum and classical communica… ▽ More We obtain a general connection between a quantum advantage in communication complexity and non-locality. We show that given any protocol offering a (sufficiently large) quantum advantage in communication complexity, there exists a way of obtaining measurement statistics which violate some Bell inequality. Our main tool is port-based teleportation. If the gap between quantum and classical communication complexity can grow arbitrarily large, the ratio of the quantum value to the classical value of the Bell quantity becomes unbounded with the increase in the number of inputs and outputs. △ Less

Submitted 2 July, 2015; v1 submitted 3 February, 2015; originally announced February 2015.

Comments: main text did not change. Modified the acknowledgements section

Journal ref: PNAS March 22, 2016 vol. 113 no. 12 3191-3196

Quantum Conditional Mutual Information, Reconstructed States, and State Redistribution

Authors: Fernando G. S. L. Brandao, Aram W. Harrow, Jonathan Oppenheim, Sergii Strelchuk

Abstract: We give two strengthenings of an inequality for the quantum conditional mutual information of a tripartite quantum state recently proved by Fawzi and Renner, connecting it with the ability to reconstruct the state from its bipartite reductions. Namely we show that the conditional mutual information is an upper bound on the regularised relative entropy distance between the quantum state and its rec… ▽ More We give two strengthenings of an inequality for the quantum conditional mutual information of a tripartite quantum state recently proved by Fawzi and Renner, connecting it with the ability to reconstruct the state from its bipartite reductions. Namely we show that the conditional mutual information is an upper bound on the regularised relative entropy distance between the quantum state and its reconstructed version. It is also an upper bound for the measured relative entropy distance of the state to its reconstructed version. The main ingredient of the proof is the fact that the conditional mutual information is the optimal quantum communication rate in the task of state redistribution. △ Less

Submitted 2 June, 2016; v1 submitted 18 November, 2014; originally announced November 2014.

Comments: 6 pages, 1 figure. v3 minor fixes and some added explanation. v4. minor fixes. Published version

Journal ref: Phys. Rev. Lett. 115, 050501 (2015)

Unbounded number of channel uses are required to see quantum capacity

Authors: Toby Cubitt, David Elkouss, William Matthews, Maris Ozols, David Perez-Garcia, Sergii Strelchuk

Abstract: Transmitting data reliably over noisy communication channels is one of the most important applications of information theory, and well understood when the channel is accurately modelled by classical physics. However, when quantum effects are involved, we do not know how to compute channel capacities. The capacity to transmit quantum information is essential to quantum cryptography and computing, b… ▽ More Transmitting data reliably over noisy communication channels is one of the most important applications of information theory, and well understood when the channel is accurately modelled by classical physics. However, when quantum effects are involved, we do not know how to compute channel capacities. The capacity to transmit quantum information is essential to quantum cryptography and computing, but the formula involves maximising the coherent information over arbitrarily many channel uses. This is because entanglement across channel uses can increase the coherent information, even from zero to non-zero! However, in all known examples, at least to detect whether the capacity is non-zero, two channel uses already suffice. Maybe a finite number of channel uses is always sufficient? Here, we show this is emphatically not the case: for any n, there are channels for which the coherent information is zero for n uses, but which nonetheless have capacity. This may be a first indication that the quantum capacity is uncomputable. △ Less

Submitted 21 August, 2014; originally announced August 2014.

Comments: 11 pages, 1 figure

Journal ref: Nat. Commun. 6, 7739 (2015)

Game-theoretic characterization of antidegradable channels

Authors: Francesco Buscemi, Nilanjana Datta, Sergii Strelchuk

Abstract: We introduce a guessing game involving a quantum channel, three parties - the sender, the receiver and an eavesdropper, Eve - and a quantum public side channel. We prove that a necessary and sufficient condition for the quantum channel to be antidegradable, is that Eve wins the game. We thus obtain a complete operational characterization of antidegradable channels in a game-theoretic framework. We introduce a guessing game involving a quantum channel, three parties - the sender, the receiver and an eavesdropper, Eve - and a quantum public side channel. We prove that a necessary and sufficient condition for the quantum channel to be antidegradable, is that Eve wins the game. We thus obtain a complete operational characterization of antidegradable channels in a game-theoretic framework. △ Less

Submitted 24 September, 2014; v1 submitted 1 April, 2014; originally announced April 2014.

Comments: v2: published version, 14 pages, 1 figure; v1: 13 pages, 1 figure

Journal ref: Journal of Mathematical Physics 55, 092202 (2014)

Jordan-Wigner formalism for arbitrary 2-input 2-output matchgates and their classical simulation

Authors: Richard Jozsa, Akimasa Miyake, Sergii Strelchuk

Abstract: In Valiant's matchgate theory, 2-input 2-output matchgates are 4x4 matrices that satisfy ten so-called matchgate identities. We prove that the set of all such matchgates (including non-unitary and non-invertible ones) coincides with the topological closure of the set of all matrices obtained as exponentials of linear combinations of the 2-qubit Jordan-Wigner (JW) operators and their quadratic prod… ▽ More In Valiant's matchgate theory, 2-input 2-output matchgates are 4x4 matrices that satisfy ten so-called matchgate identities. We prove that the set of all such matchgates (including non-unitary and non-invertible ones) coincides with the topological closure of the set of all matrices obtained as exponentials of linear combinations of the 2-qubit Jordan-Wigner (JW) operators and their quadratic products, extending a previous result of Knill. In Valiant's theory, outputs of matchgate circuits can be classically computed in poly-time. Via the JW formalism, Terhal & DiVincenzo and Knill established a relation of a unitary class of these circuits to the efficient simulation of non-interacting fermions. We describe how the JW formalism may be used to give an efficient simulation for all cases in Valiant's simulation theorem, which in particular includes the case of non-interacting fermions generalised to allow arbitrary 1-qubit gates on the first line at any stage in the circuit. Finally we give an exposition of how these simulation results can be alternatively understood from some basic Lie algebra theory, in terms of a formalism introduced by Somma et al. △ Less

Submitted 16 August, 2015; v1 submitted 13 November, 2013; originally announced November 2013.

Comments: 6 pages; v2: 16 pages. New author added. New title and abstract. Content much expanded with new results

Journal ref: Quant. Inform. Comp. vol 15, p0541-0556 (2015)

Parrondo's paradox and superactivation of classical and quantum capacity of communication channels with memory

Authors: Sergii Strelchuk

Abstract: There exist memoryless zero-capacity quantum channels that when used jointly result in the channel with positive capacity. This phenomenon is called superactivation. Making use of Parrondo's paradox, we exhibit examples of superactivation-like effect for the capacity of classical communication channels as well as quantum and private capacity of quantum channels with memory. There are several ingre… ▽ More There exist memoryless zero-capacity quantum channels that when used jointly result in the channel with positive capacity. This phenomenon is called superactivation. Making use of Parrondo's paradox, we exhibit examples of superactivation-like effect for the capacity of classical communication channels as well as quantum and private capacity of quantum channels with memory. There are several ingredients necessary for superactivation of quantum capacity to occur in memoryless case. The first one is the requirement for the quantum channels which are amenable for superactivation to come from two distinct families - binding entanglement channels and erasure channels. The second one is the ability to utilize inputs which are entangled across the uses of the channels. Our construction uses a single family of erasure channels with classical memory to achieve the same superactivation-like effect for quantum capacity without any of the ingredients above. △ Less

Submitted 6 May, 2013; originally announced May 2013.

Generalized teleportation and entanglement recycling

Authors: Sergii Strelchuk, Michał Horodecki, Jonathan Oppenheim

Abstract: We introduce new teleportation protocols which are generalizations of the original teleportation protocols that use the Pauli group [Bennett, et al. Physical Review Letters, 70(13) 1895-1899] and the port-based teleportation protocols, introduced by Hiroshima and Ishizaka [Physical Review Letters, 101(24) 240501], that use the symmetric permutation group. We derive sufficient condition for a set o… ▽ More We introduce new teleportation protocols which are generalizations of the original teleportation protocols that use the Pauli group [Bennett, et al. Physical Review Letters, 70(13) 1895-1899] and the port-based teleportation protocols, introduced by Hiroshima and Ishizaka [Physical Review Letters, 101(24) 240501], that use the symmetric permutation group. We derive sufficient condition for a set of operations, which in general need not form a group, to give rise to a teleportation protocol and provide examples of such schemes. This generalization leads to protocols with novel properties and is needed to push forward new schemes of computation based on them. Port-based teleportation protocols and our generalizations use a large resource state consisting of N singlets to teleport only a single qubit state reliably. We provide two distinct protocols which recycle the resource state to teleport multiple states with error linearly increasing with their number. The first protocol consists of sequentially teleporting qubit states, and the second teleports them in a bulk. △ Less

Submitted 13 December, 2012; v1 submitted 12 September, 2012; originally announced September 2012.

Journal ref: Phys. Rev. Lett. 110, 069902 (2013)

Hybrid Zero-capacity Channels

Authors: Sergii Strelchuk, Jonathan Oppenheim

Abstract: There are only two known kinds of zero-capacity channels. The first kind produces entangled states that have positive partial transpose, and the second one - states that are cloneable. We consider the family of 'hybrid' quantum channels, which lies in the intersection of the above classes of channels and investigate its properties. It gives rise to the first explicit examples of the channels, whic… ▽ More There are only two known kinds of zero-capacity channels. The first kind produces entangled states that have positive partial transpose, and the second one - states that are cloneable. We consider the family of 'hybrid' quantum channels, which lies in the intersection of the above classes of channels and investigate its properties. It gives rise to the first explicit examples of the channels, which create bound entangled states that have the property of being cloneable to the arbitrary finite number of parties. Hybrid channels provide the first example of highly cloneable binding entanglement channels, for which known superactivation protocols must fail - superactivation is the effect where two channels each with zero quantum capacity having positive capacity when used together. We give two methods to construct a hybrid channel from any binding entanglement channel. We also find the low-dimensional counterparts of hybrid states - bipartite qubit states which are extendible and possess two-way key. △ Less

Submitted 4 July, 2012; originally announced July 2012.

Journal ref: Phys. Rev. A 86, 022328 (2012)

When does noise increase the quantum capacity?

Authors: Fernando G. S. L. Brandão, Jonathan Oppenheim, Sergii Strelchuk

Abstract: Superactivation is the property that two channels with zero quantum capacity can be used together to yield positive capacity. Here we demonstrate that this effect exists for a wide class of inequivalent channels, none of which can simulate each other. We also consider the case where one of two zero capacity channels are applied, but the sender is ignorant of which one is applied. We find examples… ▽ More Superactivation is the property that two channels with zero quantum capacity can be used together to yield positive capacity. Here we demonstrate that this effect exists for a wide class of inequivalent channels, none of which can simulate each other. We also consider the case where one of two zero capacity channels are applied, but the sender is ignorant of which one is applied. We find examples where the greater the entropy of mixing of the channels, the greater the lower bound for the capacity. Finally, we show that the effect of superactivation is rather generic by providing example of superactivation using the depolarizing channel. △ Less

Submitted 30 August, 2011; v1 submitted 21 July, 2011; originally announced July 2011.

Comments: Corrected minor typos

Journal ref: Phys. Rev. Lett. 108, 040501 (2012)