-
From port-based teleportation to Frobenius reciprocity theorem: partially reduced irreducible representations and their applications
Authors:
Marek Mozrzymas,
Michał Horodecki,
Michał Studziński
Abstract:
In this paper, we present the connection of two concepts as induced representation and partially reduced irreducible representations (PRIR) appear in the context of port-based teleportation protocols. Namely, for a given finite group $G$ with arbitrary subgroup $H$, we consider a particular case of matrix irreducible representations, whose restriction to the subgroup $H$, as a matrix representatio…
▽ More
In this paper, we present the connection of two concepts as induced representation and partially reduced irreducible representations (PRIR) appear in the context of port-based teleportation protocols. Namely, for a given finite group $G$ with arbitrary subgroup $H$, we consider a particular case of matrix irreducible representations, whose restriction to the subgroup $H$, as a matrix representation of $H$, is completely reduced to diagonal block form with an irreducible representation of $H$ in the blocks. The basic properties of such representations are given. Then as an application of this concept, we show that the spectrum of the port-based teleportation operator acting on $n$ systems is connected in a very simple way with the spectrum of the corresponding Jucys-Murphy operator for the symmetric group $S(n-1)\subset S(n)$. This shows on the technical level relation between teleporation and one of the basic objects from the point of view of the representation theory of the symmetric group. This shows a deep connection between the central object describing properties of deterministic PBT schemes and objects appearing naturally in the abstract representation theory of the symmetric group. In particular, we present a new expression for the eigenvalues of the Jucys-Murphy operators based on the irreducible characters of the symmetric group. As an additional but not trivial result, we give also purely matrix proof of the Frobenius reciprocity theorem for characters with explicit construction of the unitary matrix that realizes the reduction of the natural basis of induced representation to the reduced one.
△ Less
Submitted 18 April, 2024; v1 submitted 25 October, 2023;
originally announced October 2023.
-
New constructive counterexamples to additivity of minimum output Rényi entropy of quantum channels
Authors:
Krzysztof Szczygielski,
Michał Studziński
Abstract:
In this paper we present new families of quantum channels for which corresponding minimum output Rényi entropy is not additive. In the first part of the manuscript, motivated by work of Grudka et. al. (J. Phys. A: Math. Theor. 43, 425304 (2010)), we focus on extensions of the antisymmetric space and its subspaces. Later on we analyze a special case of completely entangled subspace proposed by Part…
▽ More
In this paper we present new families of quantum channels for which corresponding minimum output Rényi entropy is not additive. In the first part of the manuscript, motivated by work of Grudka et. al. (J. Phys. A: Math. Theor. 43, 425304 (2010)), we focus on extensions of the antisymmetric space and its subspaces. Later on we analyze a special case of completely entangled subspace proposed by Parthasarathy in Proc. Math. Sci. 114, 365-374 (2004). Our construction works for every $p>2$ and dimension high enough.
△ Less
Submitted 18 January, 2023;
originally announced January 2023.
-
Enhancing phase-covariant channel performance with non-unitality
Authors:
Katarzyna Siudzińska,
Michał Studziński
Abstract:
We analyze quantum communication properties of phase-covariant channels depending on their degree of non-unitality. In particular, we derive analytical formulas for minimal and maximal channel fidelity on pure states and maximal output purity. Next, we introduce a measure of non-unitality and show how to manipulate between unital and maximally non-unital maps by considering classical mixtures of q…
▽ More
We analyze quantum communication properties of phase-covariant channels depending on their degree of non-unitality. In particular, we derive analytical formulas for minimal and maximal channel fidelity on pure states and maximal output purity. Next, we introduce a measure of non-unitality and show how to manipulate between unital and maximally non-unital maps by considering classical mixtures of quantum channels. Finally, we prove that maximal fidelity and maximal output purity increase with non-unitality and present several examples. Interestingly, non-unitality can also prolong quantum entanglement and lead to its rebirth.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
Two instances of random access code in the quantum regime
Authors:
Nitica Sakharwade,
Michał Studziński,
Michał Eckstein,
Paweł Horodecki
Abstract:
We consider two classes of quantum generalisations of Random Access Code (RAC) and study lower bounds for probabilities of success for such tasks. It provides a useful framework for the study of certain information processing tasks with constrained resources. The first class is based on a random access code with quantum inputs and output known as No-Signalling Quantum RAC (NS-QRAC) [A. Grudka et a…
▽ More
We consider two classes of quantum generalisations of Random Access Code (RAC) and study lower bounds for probabilities of success for such tasks. It provides a useful framework for the study of certain information processing tasks with constrained resources. The first class is based on a random access code with quantum inputs and output known as No-Signalling Quantum RAC (NS-QRAC) [A. Grudka et al. Phys. Rev. A 92, 052312 (2015)], where unbounded entanglement and constrained classical communication are allowed, which can be seen as quantum teleportation with constrained classical communication, for which we provide a quantum lower bound. We consider two modifications to the NS-QRAC scenario, first where unbounded entanglement and constrained quantum communication is allowed and, second where bounded entanglement and unconstrained classical communication are allowed, where we find a monogamy relation for the transmission fidelities, which -- in contrast to the usual communication schemes -- involves multiple senders and a single receiver. We provide lower bounds for these scenarios. The second class is based on a random access code with a quantum channel and shared entanglement [A. Tavakoli et al. PRX Quantum 2 (4) 040357 (2021)]. We study the set of tasks where two inputs made of two digits of $d$-base are encoded over a qudit and a maximally entangled state, which can be seen as quantum dense coding with constrained quantum communication, for which we provide quantum lower bounds for $d=2,3,4$. The encoding employed utilises Gray codes.
△ Less
Submitted 14 June, 2023; v1 submitted 30 August, 2022;
originally announced August 2022.
-
Optimal universal quantum circuits for unitary complex conjugation
Authors:
Daniel Ebler,
Michał Horodecki,
Marcin Marciniak,
Tomasz Młynik,
Marco Túlio Quintino,
Michał Studziński
Abstract:
Let $U_d$ be a unitary operator representing an arbitrary $d$-dimensional unitary quantum operation. This work presents optimal quantum circuits for transforming a number $k$ of calls of $U_d$ into its complex conjugate $\bar{U_d}$. Our circuits admit a parallel implementation and are proven to be optimal for any $k$ and $d$ with an average fidelity of…
▽ More
Let $U_d$ be a unitary operator representing an arbitrary $d$-dimensional unitary quantum operation. This work presents optimal quantum circuits for transforming a number $k$ of calls of $U_d$ into its complex conjugate $\bar{U_d}$. Our circuits admit a parallel implementation and are proven to be optimal for any $k$ and $d$ with an average fidelity of $\left\langle{F}\right\rangle =\frac{k+1}{d(d-k)}$. Optimality is shown for average fidelity, robustness to noise, and other standard figures of merit. This extends previous works which considered the scenario of a single call ($k=1$) of the operation $U_d$, and the special case of $k=d-1$ calls. We then show that our results encompass optimal transformations from $k$ calls of $U_d$ to $f(U_d)$ for any arbitrary homomorphism $f$ from the group of $d$-dimensional unitary operators to itself, since complex conjugation is the only non-trivial automorphisms on the group of unitary operators. Finally, we apply our optimal complex conjugation implementation to design a probabilistic circuit for reversing arbitrary quantum evolutions.
△ Less
Submitted 19 April, 2023; v1 submitted 31 May, 2022;
originally announced June 2022.
-
Positive maps from the walled Brauer algebra
Authors:
Maria Balanzó-Juandó,
Michał Studziński,
Felix Huber
Abstract:
We present positive maps and matrix inequalities for variables from the positive cone. These inequalities contain partial transpose and reshuffling operations, and can be understood as positive multilinear maps that are in one-to-one correspondence with elements from the walled Brauer algebra. Using our formalism, these maps can be obtained in a systematic and clear way by manipulating partially t…
▽ More
We present positive maps and matrix inequalities for variables from the positive cone. These inequalities contain partial transpose and reshuffling operations, and can be understood as positive multilinear maps that are in one-to-one correspondence with elements from the walled Brauer algebra. Using our formalism, these maps can be obtained in a systematic and clear way by manipulating partially transposed permutation operators under a partial trace. Additionally, these maps are reasonably easy in construction by combining an algorithmic approach with graphical calculus.
△ Less
Submitted 7 March, 2024; v1 submitted 23 December, 2021;
originally announced December 2021.
-
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.
-
Upper bounds on the leakage of private data and operational approach to markovianity
Authors:
Karol Horodecki,
Michał Studziński,
Ryszard P. Kostecki,
Omer Sakarya,
Dong Yang
Abstract:
We quantify the consequences of a private key leakage and private randomness generated during quantum key distribution. We provide simple lower bounds on the one-way distillable key after the leakage has been detected. We also show that the distributed private randomness does not drop by more than twice the number of qubits of the traced-out system. We further focus on irreducible private states,…
▽ More
We quantify the consequences of a private key leakage and private randomness generated during quantum key distribution. We provide simple lower bounds on the one-way distillable key after the leakage has been detected. We also show that the distributed private randomness does not drop by more than twice the number of qubits of the traced-out system. We further focus on irreducible private states, showing that their two-way distillable key is non-lockable. We then strengthen this result by referring to the idea of recovery maps. We further consider the action of special case of side-channels on some of the private states. Finally, we connect the topic of (non)markovian dynamics with that of hacking. In particular, we show that an invertible map is non-CP-divisible if and only if there exists a state whose the key witnessed by a particular privacy witness increases in time. This complements the recent result of J. Kolodyński et al. [Phys. Rev. A 101, 020303(R) (2020)] where the log-negativity was connected with the (non)markovianity of the dynamics.
△ Less
Submitted 15 May, 2022; v1 submitted 22 July, 2021;
originally announced July 2021.
-
Square-root measurements and degradation of the resource state in port-based teleportation scheme
Authors:
Michał Studziński,
Marek Mozrzymas,
Piotr Kopszak
Abstract:
Port-based teleportation (PBT) is a protocol of quantum teleportation in which a receiver does not have to apply correction to the transmitted state. In this protocol two spatially separated parties can teleport an unknown quantum state only by exploiting joint measurements on number of shared $d-$dimensional maximally entangled states (resource state) together with a state to be teleported and on…
▽ More
Port-based teleportation (PBT) is a protocol of quantum teleportation in which a receiver does not have to apply correction to the transmitted state. In this protocol two spatially separated parties can teleport an unknown quantum state only by exploiting joint measurements on number of shared $d-$dimensional maximally entangled states (resource state) together with a state to be teleported and one way classical communication. In this paper we analyse for the first time the recycling protocol for the deterministic PBT beyond the qubit case. In the recycling protocol the main idea is to re-use the remaining resource state after one or many rounds of PBT for further processes of teleportation. The key property is to learn how much the underlying resource state degrades after every round of the teleportation process. We measure this by evaluating quantum fidelity between respective resource states. To do so we first present analysis of the square-root measurements used by the sender in PBT by exploiting the symmetries of the system. In particular, we show how to effectively evaluate their square-roots and composition. These findings allow us to present the explicit formula for the recycling fidelity involving only group-theoretic parameters describing irreducible representations in the Schur-Weyl duality. For the first time, we also analyse the degradation of the resource state for the optimal PBT scheme and show its degradation for all $d\geq 2$. In the both versions, the qubit case is discussed separately resulting in compact expression for fidelity, depending only on the number of shared entangled pairs.
△ Less
Submitted 29 August, 2022; v1 submitted 31 May, 2021;
originally announced May 2021.
-
Optimal Multi-port-based Teleportation Schemes
Authors:
Marek Mozrzymas,
Michał Studziński,
Piotr Kopszak
Abstract:
In this paper, we introduce optimal versions of a multi-port based teleportation scheme allowing to send a large amount of quantum information. We fully characterise probabilistic and deterministic case by presenting expressions for the average probability of success and entanglement fidelity. In the probabilistic case, the final expression depends only on global parameters describing the problem,…
▽ More
In this paper, we introduce optimal versions of a multi-port based teleportation scheme allowing to send a large amount of quantum information. We fully characterise probabilistic and deterministic case by presenting expressions for the average probability of success and entanglement fidelity. In the probabilistic case, the final expression depends only on global parameters describing the problem, such as the number of ports $N$, the number of teleported systems $k$, and local dimension $d$. It allows us to show square improvement in the number of ports with respect to the non-optimal case. We also show that the number of teleported systems can grow when the number $N$ of ports increases as $o(N)$ still giving high efficiency. In the deterministic case, we connect entanglement fidelity with the maximal eigenvalue of a generalised teleportation matrix. In both cases the optimal set of measurements and the optimal state shared between sender and receiver is presented. All the results are obtained by formulating and solving primal and dual SDP problems, which due to existing symmetries can be solved analytically. We use extensively tools from representation theory and formulate new results that could be of the separate interest for the potential readers.
△ Less
Submitted 15 June, 2021; v1 submitted 18 November, 2020;
originally announced November 2020.
-
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.
-
Efficient multi port-based teleportation schemes
Authors:
Michał Studziński,
Marek Mozrzymas,
Piotr Kopszak,
Michał Horodecki
Abstract:
In this manuscript we analyse generalised port-based teleportation (PBT) schemes, allowing for transmitting more than one unknown quantum state (or a composite quantum state) in one go, where the state ends up in several ports at Bob's side. We investigate the efficiency of our scheme discussing both deterministic and probabilistic case, where parties share maximally entangled states. It turns out…
▽ More
In this manuscript we analyse generalised port-based teleportation (PBT) schemes, allowing for transmitting more than one unknown quantum state (or a composite quantum state) in one go, where the state ends up in several ports at Bob's side. We investigate the efficiency of our scheme discussing both deterministic and probabilistic case, where parties share maximally entangled states. It turns out that the new scheme gives better performance than various variants of the optimal PBT protocol used for the same task. All the results are presented in group-theoretic manner depending on such quantities like dimensions and multiplicities of irreducible representations in the Schur-Weyl duality. The presented analysis was possible by considering the algebra of permutation operators acting on n systems distorted by the action of partial transposition acting on more than one subsystem. Considering its action on the n-fold tensor product of the Hilbert space with finite dimension, we present construction of the respective irreducible matrix representations, which are in fact matrix irreducible representations of the Walled Brauer Algebra. I turns out that the introduced formalism, and symmetries beneath it, appears in many aspects of theoretical physics and mathematics - theory of anti ferromagnetism, aspects of gravity theory or in the problem of designing quantum circuits for special task like for example inverting an unknown unitary.
△ Less
Submitted 5 September, 2022; v1 submitted 3 August, 2020;
originally announced August 2020.
-
Multiport based teleportation -- transmission of a large amount of quantum information
Authors:
Piotr Kopszak,
Marek Mozrzymas,
Michał Studziński,
Michał Horodecki
Abstract:
We analyse the problem of transmitting a number of unknown quantum states or one composite system in one go. We derive a lower bound on the performance of such process, measured in the entanglement fidelity. The obtained bound is effectively computable and outperforms the explicit values of the entanglement fidelity calculated for the pre-existing variants of the port-based protocols, allowing for…
▽ More
We analyse the problem of transmitting a number of unknown quantum states or one composite system in one go. We derive a lower bound on the performance of such process, measured in the entanglement fidelity. The obtained bound is effectively computable and outperforms the explicit values of the entanglement fidelity calculated for the pre-existing variants of the port-based protocols, allowing for teleportation of a much larger amount of quantum information. The comparison with the exact formulas and similar analysis for the probabilistic scheme is also discussed. In particular, we present the closed-form expressions for the entanglement fidelity and for the probability of success in the probabilistic scheme in the qubit case in the picture of the spin angular momentum.
△ Less
Submitted 7 November, 2021; v1 submitted 3 August, 2020;
originally announced August 2020.
-
Limitations for private randomness repeaters
Authors:
Karol Horodecki,
Ryszard P. Kostecki,
Roberto Salazar,
Michał Studziński
Abstract:
Cryptographic protocols are often based on the two main resources: private randomness and private key. In this paper, we develop a relationship between these two resources. First, we show that any state containing perfect, directly accessible, private key (a private state) is a particular case of the state containing perfect, directly accessible, private randomness (an independent state). We then…
▽ More
Cryptographic protocols are often based on the two main resources: private randomness and private key. In this paper, we develop a relationship between these two resources. First, we show that any state containing perfect, directly accessible, private key (a private state) is a particular case of the state containing perfect, directly accessible, private randomness (an independent state). We then demonstrate a fundamental limitation on the possibility of transferring the privacy of random bits in quantum networks with an intermediate repeater station. More precisely, we provide an upper bound on the rate of repeated randomness in this scenario, similar to the one derived for private key repeaters. This bound holds for states with positive partial transposition. We further demonstrate the power of this upper bound by showing a gap between the localisable and the repeated private randomness for separable Werner states. In the case of restricted class of operations, we provide also a bound on repeated randomness which holds for arbitrary states.
△ Less
Submitted 18 July, 2020; v1 submitted 16 March, 2020;
originally announced March 2020.
-
Positive Maps From Irreducibly Covariant Operators
Authors:
Piotr Kopszak,
Marek Mozrzymas,
Michał Studziński
Abstract:
In this paper, we discuss positive maps induced by (irreducibly) covariant linear operators for finite groups. The application of group theory methods allows deriving some new results of a different kind. In particular, a family of necessary conditions for positivity, for such objects is derived, stemming either from the definition of a positive map or the novel method inspired by the inverse redu…
▽ More
In this paper, we discuss positive maps induced by (irreducibly) covariant linear operators for finite groups. The application of group theory methods allows deriving some new results of a different kind. In particular, a family of necessary conditions for positivity, for such objects is derived, stemming either from the definition of a positive map or the novel method inspired by the inverse reduction map. In the low-dimensional cases, for the permutation group $S(3)$ and the quaternion group $Q$, the necessary and sufficient conditions are given, together with the discussion on their decomposability. In higher dimensions, we present positive maps induced by a three-dimensional irreducible representation of the permutation group $S(4)$ and $d$-dimensional representation of the monomial unitary group $MU(d)$. In the latter case, we deliver if and only if condition for the positivity and compare the results with the method inspired by the inverse reduction. We show that the generalised Choi map can be obtained by considered covariant maps induced by the monomial unitary group. As an additional result, a novel interpretation of the Fujiwara-Algolet conditions for positivity and complete positivity is presented. Finally, in the end, a new form of an irreducible representation of the symmetric group $S(n)$ is constructed, allowing us to simplify the form of certain Choi-Jamiołkowski images derived for irreducible representations of the symmetric group.
△ Less
Submitted 4 September, 2020; v1 submitted 29 November, 2019;
originally announced November 2019.
-
Quantum error correction codes and absolutely maximally entangled states
Authors:
Paweł Mazurek,
Máté Farkas,
Andrzej Grudka,
Michał Horodecki,
Michał Studziński
Abstract:
For every stabiliser $N$-qudit absolutely maximally entangled state, we present a method for determining the stabiliser generators and logical operators of a corresponding quantum error correction code. These codes encode $k$ qudits into $N-k$ qudits, with $k\leq \left \lfloor{N/2} \right \rfloor$, where the local dimension $d$ is prime. We use these methods to analyse the concatenation of such qu…
▽ More
For every stabiliser $N$-qudit absolutely maximally entangled state, we present a method for determining the stabiliser generators and logical operators of a corresponding quantum error correction code. These codes encode $k$ qudits into $N-k$ qudits, with $k\leq \left \lfloor{N/2} \right \rfloor$, where the local dimension $d$ is prime. We use these methods to analyse the concatenation of such quantum codes and link this procedure to entanglement swap**. Using our techniques, we investigate the spread of quantum information on a tensor network code formerly used as a toy model for the AdS/CFT correspondence. In this network, we show how corrections arise to the Ryu-Takayanagi formula in the case of entangled input state, and that the bound on the entanglement entropy of the boundary state is saturated for absolutely maximally entangled input states.
△ Less
Submitted 16 October, 2019;
originally announced October 2019.
-
A Class of PPT Entangled States Arbitrary Far From Separable States
Authors:
Adam Rutkowski,
Michał Studziński
Abstract:
In this paper we show an explicit construction of multipartite class of entangled states with the PPT (Positive Partial Transposition) property in every cut. We investigate properties of this class of states focusing on the trace distance from the set of separable states. We provide an explicit sub-class of the multipartite entangled PPT states which are arbitrary far from the set of separable sta…
▽ More
In this paper we show an explicit construction of multipartite class of entangled states with the PPT (Positive Partial Transposition) property in every cut. We investigate properties of this class of states focusing on the trace distance from the set of separable states. We provide an explicit sub-class of the multipartite entangled PPT states which are arbitrary far from the set of separable states. We argue, that in the multipartite case the mentioned distance increases with dimension of the local Hilbert space. In our construction is we do not have to use many copies of initial state living on the smaller space to boost the trace distance as in the previous attempts to this problem.
△ Less
Submitted 24 June, 2019;
originally announced June 2019.
-
Simplified formalism of the algebra of partially transposed permutation operators with applications
Authors:
Marek Mozrzymas,
Michał Studziński,
Michał Horodecki
Abstract:
Hereunder we continue the study of the representation theory of the algebra of permutation operators acting on the $n$-fold tensor product space, partially transposed on the last subsystem. We develop the concept of partially reduced irreducible representations, which allows to simplify significantly previously proved theorems and what is the most important derive new results for irreducible repre…
▽ More
Hereunder we continue the study of the representation theory of the algebra of permutation operators acting on the $n$-fold tensor product space, partially transposed on the last subsystem. We develop the concept of partially reduced irreducible representations, which allows to simplify significantly previously proved theorems and what is the most important derive new results for irreducible representations of the mentioned algebra. In our analysis we are able to reduce complexity of the central expressions by getting rid of sums over all permutations from symmetric group obtaining equations which are much more handy in practical applications. We also find relatively simple matrix representations for the generators of underlying algebra. Obtained simplifications and developments are applied to derive characteristic of the deterministic port-based teleportation scheme written purely in terms of irreducible representations of the studied algebra. We solve an eigenproblem for generators of algebra which is the first step towards to hybrid port-based teleportation scheme and gives us new proofs of asymptotic behaviour of teleportation fidelity. We also show connection between density operator characterising port-based teleportation and particular matrix composed of irreducible representation of the symmetric group which encodes properties of the investigated algebra.
△ Less
Submitted 22 February, 2018; v1 submitted 8 August, 2017;
originally announced August 2017.
-
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.
-
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.
-
On distilling secure key from reducible private states and (non)existence of entangled key-undistillable states
Authors:
K. Horodecki,
P. Ćwikliński,
A. Rutkowski,
M. Studziński
Abstract:
Hereunder, we study the class of irreducible private states that are private states from which all the secret content is accessible via measuring their key part. We provide the first protocol which distills key not only from the key part, but also from the shield if only the state is reducible. We prove also a tighter upper bound on the performance of that protocol, given in terms of regularized r…
▽ More
Hereunder, we study the class of irreducible private states that are private states from which all the secret content is accessible via measuring their key part. We provide the first protocol which distills key not only from the key part, but also from the shield if only the state is reducible. We prove also a tighter upper bound on the performance of that protocol, given in terms of regularized relative entropy of entanglement instead of relative entropy of entanglement previously known. This implies in particular that the irreducible private states are all strictly irreducible if and only if the entangled but key-undistillable states ("entangled key-undistilable states") exist. In turn, all the irreducible private states of the dimension $4\otimes 4$ are strictly irreducible, that is, after an attack on the key part they become separable. Provided the bound key states exist, we consider different subclasses of the irreducible private states and their properties. Finally we provide a lower bound on the trace norm distance between key-undistillable states and private states, in sufficiently high dimensions.
△ Less
Submitted 20 August, 2018; v1 submitted 28 December, 2016;
originally announced December 2016.
-
Structure of irreducibly covariant quantum channels for finite groups
Authors:
Marek Mozrzymas,
Michał Studziński,
Nilanjana Datta
Abstract:
We obtain an explicit characterization of linear maps, in particular, quantum channels, which are covariant with respect to an irreducible representation ($U$) of a finite group ($G$), whenever $U \otimes U^c$ is simply reducible (with $U^c$ being the contragradient representation). Using the theory of group representations, we obtain the spectral decomposition of any such linear map. The eigenval…
▽ More
We obtain an explicit characterization of linear maps, in particular, quantum channels, which are covariant with respect to an irreducible representation ($U$) of a finite group ($G$), whenever $U \otimes U^c$ is simply reducible (with $U^c$ being the contragradient representation). Using the theory of group representations, we obtain the spectral decomposition of any such linear map. The eigenvalues and orthogonal projections arising in this decomposition are expressed entirely in terms of representation characteristics of the group $G$. This in turn yields necessary and sufficient conditions on the eigenvalues of any such linear map for it to be a quantum channel. We also obtain a wide class of quantum channels which are irreducibly covariant by construction. For two-dimensional irrreducible representations of the symmetric group $S(3)$, and the quaternion group $Q$, we also characterize quantum channels which are both irreducibly covariant and entanglement breaking.
△ Less
Submitted 25 May, 2017; v1 submitted 18 October, 2016;
originally announced October 2016.
-
Separability Properties for a Class of Block Matrices
Authors:
Marek Mozrzymas,
Adam Rutkowski,
Michał Studziński
Abstract:
It is shown that, for the block matrices belonging to $M(nd,\mathbb{C})$ with commuting and normal block entries of dimension $d$, the separability of such a block matrices is equivalent to its semi-positive definity. The separability decomposition of lenght equal to the dimension of the block matrix (which is smaller then Carathéodory theorem implies) is given. The separability decomposition depe…
▽ More
It is shown that, for the block matrices belonging to $M(nd,\mathbb{C})$ with commuting and normal block entries of dimension $d$, the separability of such a block matrices is equivalent to its semi-positive definity. The separability decomposition of lenght equal to the dimension of the block matrix (which is smaller then Carathéodory theorem implies) is given. The separability decomposition depends only on eigenvalues of block entries in the first part and on eigenvectors of the block entries in the second part of the tensor product. It is shown that semi-positive definity of considered block matrices is equivalent to semi-positive definity $d$ smaller matrices of dimension $n$.
△ Less
Submitted 12 October, 2015; v1 submitted 24 May, 2015;
originally announced May 2015.
-
Using non-positive maps to characterize entanglement witnesses
Authors:
Marek Mozrzymas,
Adam Rutkowski,
Michał Studziński
Abstract:
In this paper we present a new method for entanglement witnesses construction. We show that to construct such an object we can deal with maps which are not positive on the whole domain, but only on a certain sub-domain. In our approach crucial role play such maps which are surjective between sets $\mathcal{P}_{k}^d$ of $k \leq d$ rank projectors and the set $\mathcal{P}_1^d$ of rank one projectors…
▽ More
In this paper we present a new method for entanglement witnesses construction. We show that to construct such an object we can deal with maps which are not positive on the whole domain, but only on a certain sub-domain. In our approach crucial role play such maps which are surjective between sets $\mathcal{P}_{k}^d$ of $k \leq d$ rank projectors and the set $\mathcal{P}_1^d$ of rank one projectors acting in the $d$ dimensional space. We argue that our method can be used to check whether a given observable is an entanglement witness. In the second part of this paper we show that inverse reduction map satisfies this requirement and using it we can obtain a bunch of new entanglement witnesses.
△ Less
Submitted 24 September, 2015; v1 submitted 2 March, 2015;
originally announced March 2015.
-
Construction and properties of a class of private states in arbitrary dimensions
Authors:
Adam Rutkowski,
Michał Studziński,
Piotr Ćwikliński,
Michał Horodecki
Abstract:
We present a construction of quantum states in dimension $d$ that has at least 1 dit of ideal key, called private dits (pdits), which covers most of the known examples of private bits (pbits) $d=2$. We examine properties of this class of states, focusing mostly on its distance to the set of separable states $\mathcal{SEP}$, showing that for a fixed dimension of key part $d_k$ the distance increase…
▽ More
We present a construction of quantum states in dimension $d$ that has at least 1 dit of ideal key, called private dits (pdits), which covers most of the known examples of private bits (pbits) $d=2$. We examine properties of this class of states, focusing mostly on its distance to the set of separable states $\mathcal{SEP}$, showing that for a fixed dimension of key part $d_k$ the distance increases with $d_s$. We provide explicit examples of PPT states (in $d$ dimensions) which are nearly as far from separable ones as possible. Precisely, the distance from the set of $\mathcal{SEP}$ is $2 - ε$, where $d$ scales with $ε$ as $d \propto 1/ε^3$, as opposed to $d \propto 2^{(log(4/ε))^2}$ obtained in [Badzicag et al., Phys. Rev. A 90, 012301 (2014)]. We do not use boosting (taking many copies of pdits to boost the distance) as in Badzicag et al. paper.
△ Less
Submitted 27 January, 2015; v1 submitted 1 October, 2014;
originally announced October 2014.
-
Towards fully quantum second laws of thermodynamics: limitations on the evolution of quantum coherences
Authors:
Piotr Ćwikliński,
Michał Studziński,
Michał Horodecki,
Jonathan Oppenheim
Abstract:
The second law of thermodynamics places a limitation into which states a system can evolve into. For systems in contact with a heat bath, it can be combined with the law of energy conservation, and it says that a system can only evolve into another if the free energy goes down. Recently, it's been shown that there are actually many second laws, and that it is only for large macroscopic systems tha…
▽ More
The second law of thermodynamics places a limitation into which states a system can evolve into. For systems in contact with a heat bath, it can be combined with the law of energy conservation, and it says that a system can only evolve into another if the free energy goes down. Recently, it's been shown that there are actually many second laws, and that it is only for large macroscopic systems that they all become equivalent to the ordinary one. These additional second laws also hold for quantum systems, and are, in fact, often more relevant in this regime. They place a restriction on how the probabilities of energy levels can evolve. Here, we consider additional restrictions on how the coherences between energy levels can evolve. Coherences can only go down, and we provide a set of restrictions which limit the extent to which they can be maintained. We find that coherences over energy levels must decay at rates that are suitably adapted to the transition rates between energy levels. We show that the limitations are matched in the case of a single qubit, in which case we obtain the full characterization of state-to-state transformations. For higher dimensions, we conjecture that more severe constraints exist. We also introduce a new class of thermodynamical operations which allow for greater manipulation of coherences and study its power with respect to a class of operations known as thermal operations.
△ Less
Submitted 19 November, 2015; v1 submitted 20 May, 2014;
originally announced May 2014.
-
Explicit constructions of unitary transformations between equivalent irreducible representations
Authors:
Marek Mozrzymas,
Michał Studziński,
Michał Horodecki
Abstract:
Irreducible representations (irreps) of a finite group $G$ are equivalent if there exists a similarity transformation between them. In this paper, we describe an explicit algorithm for constructing this transformation between a pair of equivalent irreps, assuming we are given an algorithm to compute the matrix elements of these irreps. Along the way, we derive a generalization of the classical ort…
▽ More
Irreducible representations (irreps) of a finite group $G$ are equivalent if there exists a similarity transformation between them. In this paper, we describe an explicit algorithm for constructing this transformation between a pair of equivalent irreps, assuming we are given an algorithm to compute the matrix elements of these irreps. Along the way, we derive a generalization of the classical orthogonality relations for matrix elements of irreps of finite groups. We give an explicit form of such unitary matrices for the important case of conjugated Young-Yamanouchi representations, when our group $G$ is symmetric group $S(N)$.
△ Less
Submitted 26 November, 2014; v1 submitted 9 May, 2014;
originally announced May 2014.
-
Group representation approach to 1 - N universal quantum cloning machines
Authors:
Michał Studziński,
Piotr Ćwikliński,
Michał Horodecki,
Marek Mozrzymas
Abstract:
In this work, we revisit the problem of finding an admissible region of fidelities obtained after an application of an arbitrary $1 \rightarrow N$ universal quantum cloner which has been recently solved in [A. Kay et al., Quant. Inf. Comput 13, 880 (2013)] from the side of cloning machines. Using group-theory formalism, we show that the allowed region for fidelities can be alternatively expressed…
▽ More
In this work, we revisit the problem of finding an admissible region of fidelities obtained after an application of an arbitrary $1 \rightarrow N$ universal quantum cloner which has been recently solved in [A. Kay et al., Quant. Inf. Comput 13, 880 (2013)] from the side of cloning machines. Using group-theory formalism, we show that the allowed region for fidelities can be alternatively expressed in terms of overlaps of pure states with recently found irreducible representations of the commutant $U \otimes U \otimes \ldots \otimes U \otimes U^*$, which gives the characterization of the allowed region where states being cloned are figure of merit. Additionally, it is sufficient to take pure states with real coefficients only, which makes calculations simpler. To obtain the allowed region, we make a convex hull of possible ranges of fidelities related to a given irrep. Subsequently, two cases: $1 \rightarrow 2$ and $1 \rightarrow 3$ cloners, are studied for different dimensions of states as illustrative examples.
△ Less
Submitted 5 May, 2014; v1 submitted 12 November, 2013;
originally announced November 2013.
-
Structure and properties of the algebra of partially transposed permutation operators
Authors:
Marek Mozrzymas,
Michał Horodecki,
Michał Studziński
Abstract:
We consider the structure of algebra of operators, acting in $n-$fold tensor product space, which are partially transposed on the last term. Using purely algebraical methods we show that this algebra is semi-simple and then, considering its regular representation, we derive basic properties of the algebra. In particular, we describe all irreducible representations of the algebra of partially trans…
▽ More
We consider the structure of algebra of operators, acting in $n-$fold tensor product space, which are partially transposed on the last term. Using purely algebraical methods we show that this algebra is semi-simple and then, considering its regular representation, we derive basic properties of the algebra. In particular, we describe all irreducible representations of the algebra of partially transposed operators and derive expressions for matrix elements of the representations. It appears that there are two types of irreducible representations of the algebra. The first one is strictly connected with the representations of the group $S(n-1)$ induced by irreducible representations of the group $S(n-2)$. The second type is structurally connected with irreducible representations of the group $S(n-1)$.
△ Less
Submitted 25 March, 2014; v1 submitted 12 August, 2013;
originally announced August 2013.
-
Commutant structuture of Ux...xUxU* transformations
Authors:
Michał Studziński,
Michał Horodecki,
Marek Mozrzymas
Abstract:
In this paper we have found irreducible representations (irreps) of the algebra of partially transposed permutation operators on last subsystem. We give here direct method of irreps construction for an arbitrary number of subsystems n and local dimension d. Our method is inspired by representation theory of symmetric group S(n), theory of Brauer Algebras and Walled Brauer Algebras.
In this paper we have found irreducible representations (irreps) of the algebra of partially transposed permutation operators on last subsystem. We give here direct method of irreps construction for an arbitrary number of subsystems n and local dimension d. Our method is inspired by representation theory of symmetric group S(n), theory of Brauer Algebras and Walled Brauer Algebras.
△ Less
Submitted 6 September, 2013; v1 submitted 27 May, 2013;
originally announced May 2013.
-
Local random quantum circuits are approximate polynomial-designs - numerical results
Authors:
Piotr Ćwikliński,
Michał Horodecki,
Marek Mozrzymas,
Łukasz Pankowski,
Michał Studziński
Abstract:
We numerically investigate the statement that local random quantum circuits acting on n qubits composed of polynomially many nearest neighbour two-qubit gates form an approximate unitary poly(n)-design [F.G.S.L. Brandao et al., arXiv:1208.0692]. Using a group theory formalism, spectral gaps that give a ratio of convergence to a given t-design are evaluated for a different number of qubits n (up to…
▽ More
We numerically investigate the statement that local random quantum circuits acting on n qubits composed of polynomially many nearest neighbour two-qubit gates form an approximate unitary poly(n)-design [F.G.S.L. Brandao et al., arXiv:1208.0692]. Using a group theory formalism, spectral gaps that give a ratio of convergence to a given t-design are evaluated for a different number of qubits n (up to 20) and degrees t (t=2,3,4 and 5), improving previously known results for n=2 in the case of t=2 and 3. Their values lead to a conclusion that the previously used lower bound that bounds spectral gaps values may give very little information about the real situation and in most cases, only tells that a gap is closed. We compare our results to the another lower bounding technique, again showing that its results may not be tight.
△ Less
Submitted 10 June, 2013; v1 submitted 11 December, 2012;
originally announced December 2012.
-
Darboux Points and Integrability Analysis of Hamiltonian Systems with Homogeneous Rational Potentials
Authors:
Michał Studziński,
Maria Przybylska
Abstract:
We study the integrability in the Liouville sense of natural Hamiltonian systems with a homogeneous rational potential $V(\vq)$. Strong necessary conditions for the integrability of such systems were obtained by an analysis of differential Galois group of variational equations along certain particular solutions. These conditions have the form of arithmetic restrictions putted on eigenvalues of Hes…
▽ More
We study the integrability in the Liouville sense of natural Hamiltonian systems with a homogeneous rational potential $V(\vq)$. Strong necessary conditions for the integrability of such systems were obtained by an analysis of differential Galois group of variational equations along certain particular solutions. These conditions have the form of arithmetic restrictions putted on eigenvalues of Hessian $V"(\vd)$ calculated at a non-zero solution $\vd$ of equation $\grad V(\vd)=\vd$. Such solutions are called proper Darboux points. It was recently proved that for generic polynomial homogeneous potentials there exist universal relations between eigenvalues of Hessians of the potential taken at all proper Darboux points. The question about the existence of such relations for rational potentials seems to be hard. One of the reason of this fact is the presence of indeterminacy points of the potential and its gradient. Nevertheless, for two degrees of freedom we prove that such relation exists. This result is important because it allows to show that the set of admissible values for eigenvalues of Hessian at a proper Darboux point for potentials satisfying necessary conditions for the integrability is finite. In turn, it gives a tool for classification of integrable rational potentials. Also, quite recently, it was shoved that for polynomial homogeneous potentials additional necessary conditions for the integrability can be deduced from the existence of improper Darboux points, i.e., points $\vd$ which are non-zero solution of equation $\grad V(\vd)=\vzero$. These new conditions have also the form of arithmetic restrictions imposed on eigenvalues of $V"(\vd)$. In this paper we prove that for rational potentials improper Darboux points give the same necessary conditions for the integrability.
△ Less
Submitted 20 May, 2012;
originally announced May 2012.
-
Region of fidelities for a 1 -> N universal qubit quantum cloner
Authors:
Piotr Ćwikliński,
Michał Horodecki,
Michał Studziński
Abstract:
We analyze a region of fidelities for qubit which is obtained after an application of a 1 -> N universal quantum cloner. We express the allowed region for fidelities in terms of overlaps of pure states with irreps of S(n) (n = N+1) showing that the pure states can be taken with real coefficients only. Subsequently, the case n = 4, corresponding to a 1 -> 3 cloner is studied in more detail as an il…
▽ More
We analyze a region of fidelities for qubit which is obtained after an application of a 1 -> N universal quantum cloner. We express the allowed region for fidelities in terms of overlaps of pure states with irreps of S(n) (n = N+1) showing that the pure states can be taken with real coefficients only. Subsequently, the case n = 4, corresponding to a 1 -> 3 cloner is studied in more detail as an illustrative example. To obtain the main result, we make a convex hull of possible ranges of fidelities related to a given irrep. The formalism allows to construct the state giving rise to a given N-tuple of fidelities.
△ Less
Submitted 25 May, 2012; v1 submitted 29 January, 2012;
originally announced January 2012.
-
Distillation of entanglement by projection on permutationally invariant subspaces
Authors:
Mikołaj Czechlewski,
Andrzej Grudka,
Michał Horodecki,
Marek Mozrzymas,
Michał Studziński
Abstract:
We consider distillation of entanglement from two qubit states which are mixtures of three mutually orthogonal states: two pure entangled states and one pure product state. We distill entanglement from such states by projecting n copies of the state on permutationally invariant subspace and then applying one-way hashing protocol. We find analytical expressions for the rate of the protocol. We also…
▽ More
We consider distillation of entanglement from two qubit states which are mixtures of three mutually orthogonal states: two pure entangled states and one pure product state. We distill entanglement from such states by projecting n copies of the state on permutationally invariant subspace and then applying one-way hashing protocol. We find analytical expressions for the rate of the protocol. We also generalize this method to higher dimensional systems. To get analytical expression for two qubit case, we faced a mathematical problem of diagonalizing a family of matrices enjoying some symmetries w.r.t. to symmetric group. We have solved this problem in two ways: (i) directly, by use of Schur-Weyl decomposition and Young symmetrizers (ii) showing that the problem is equivalent to a problem of diagonalizing adjacency matrices in a particular instance of a so called algebraic association scheme.
△ Less
Submitted 18 September, 2011;
originally announced September 2011.
