Zero-error communication under discrete-time Markovian dynamics
Abstract
Consider an open quantum system with (discrete-time) Markovian dynamics. Our task is to store information in the system in such a way that it can be retrieved perfectly, even after the system is left to evolve for an arbitrarily long time. We show that this is impossible for classical (resp. quantum) information precisely when the dynamics is mixing (resp. asymptotically entanglement breaking). Furthermore, we provide tight universal upper bounds on the minimum time after which any such dynamics ‘scrambles’ the encoded information beyond the point of perfect retrieval. On the other hand, for dynamics that are not of this kind, we show that information must be encoded inside the peripheral space associated with the dynamics in order for it to be perfectly recoverable at any time in the future. This allows us to derive explicit formulas for the maximum amount of information that can be protected from noise in terms of the structure of the peripheral space of the dynamics.
I Introduction
Systems of relevance in quantum information-processing tasks are typically open, i.e. they have unavoidable interactions with their surroundings. The external system modelling the surrounding of the original system is usually called its environment or a bath. An interesting scenario, which is amenable to rigorous analysis, is one in which the interaction between the system and the bath is assumed to be weak. In this so-called weak-coupling limit, the decay times of correlation functions of the bath are much shorter than the typical time scale over which the state of the system changes significantly. In other words, the bath ‘forgets’ about its interaction with the system and returns to its steady state quickly relative to the speed at which the system evolves. Since in subsequent interactions, the bath does not remember the details of the previous interaction, the dynamics of the system becomes Markovian. Mathematically, the reduced dynamics of the system can be modelled by a (discrete- or continuous-time) quantum Markov semigroup [1, 2, 3, 4, 5].
In this paper, we consider a finite-dimensional open quantum system which undergoes such a Markovian evolution. Our task is to encode information in in such a way that it can be recovered perfectly without any error, even after the system is left to evolve for an arbitrarily long time. We can think of as a quantum memory in which we wish to store information so that it can be perfectly retrieved in the future. We focus on the discrete-time scenario, in which the evolution of the system is given by a discrete-time quantum Markov semigroup (dQMS). If is the Hilbert space of the system , then any dQMS is of the form , where is a quantum channel (i.e. a linear completely positive trace-preserving map between linear operators acting on ) and
(1) |
is the -fold composition of the channel with itself. The nomenclature arises from the fact that compositions of the channel clearly satisfy the semigroup property: , for all . The task described above can be thought of as perfect transmission of information across time, i.e. through channels , where plays the role of the time parameter. Such tasks form the core of zero-error communication theory [6, 7, 8, 9, 10]. However, both in the classical and quantum settings, the focus till now has been on information transmission through parallel uses (i.e. tensor products) of a channel [11, 12, 13, 14]. In fact, originally, capacities of channels were evaluated in the so-called asymptotic, memoryless setting in which it was assumed that the channel was available for an infinite number of (parallel) uses and that there was no correlation (or memory) between successive uses of the channel. For a channel , this was modelled by considering information transmission through and then taking the limit . In this paper, we instead focus on how the capacities behave under sequential concatenations of channels, thereby studying how information propagates over time under a Markovian evolution.
For a quantum channel, its zero-error communication ability is quantified by the one-shot zero-error capacity of the channel. This can be either the classical or quantum capacity, depending on whether the information to be transmitted is classical or quantum. For example, in order to transmit classical messages perfectly through , one must encode the messages in pure states such that
(2) |
where two states are orthogonal () if their supports are orthogonal as subspaces. The interpretation here is that for any choice of encoding of the classical messages on the input side, the set of output states have to be perfectly distinguishable in order for the receiver to decode the intended message via a measurement without error, which is possible if and only if the output states are pairwise orthogonal. The maximum number of bits that can be transmitted in this fashion through is called the (one-shot) zero-error classical capacity of (denoted ). Similarly, in order to send an dimensional quantum state perfectly through , one must find an encoding subspace with such that there exists a recovery channel satisfying
(3) |
The maximum number of qubits that can be transmitted in this fashion through is called the (one-shot) zero-error quantum capacity of (denoted ).
I.1 Main results
We now summarize the primary contribution of our work. Consider a quantum system whose time evolution is governed by a dQMS , where is a quantum channel. We address the following questions/problems.
-
•
Does there exist a finite time at which the one-shot zero-error classical (resp. quantum) capacity of vanishes? If yes, we say that the dQMS is eventually c-scrambling (resp. q-scrambling)). In this case, the dynamics is so noisy that no matter how cleverly we encode information in , eventually, that is after enough time has passed, we will not be able to perfectly recover it.
-
•
For an eventually scrambling dQMS , we denote the minimum time at which loses its ability to perfectly transmit classical (resp. quantum) information by (resp. ) and refer to it as the classical (resp. quantum) scrambling time (or the scrambling index) of . This is the minimum time after which any encoded information in the system will get ‘scrambled’ beyond the point of perfect recovery. Finding bounds on the scrambling times and of the dynamics is a natural problem to consider.
-
•
Finally, if the dQMS is not eventually scrambling, what is the optimal way to encode information in the system in such a way that it is protected from noise for an arbitrarily long time?
Our main results provide full solutions to all of the above. Firstly, we completely characterize the class of eventually scrambling dQMS.
Theorem I.1.
A dQMS governing the dynamics of an open quantum system is
-
•
eventually q-scrambling if and only if it is asymptotically entanglement breaking, i.e., if and only if all the limit points of the semigroup are entanglement breaking.
-
•
eventually c-scrambling if and only if it is mixing, i.e., if and only if there exists a state such that
(4)
Note that Theorem I.1 provides an information theoretic interpretation to the entanglement-breaking and mixing behaviours of quantum Markov semigroups, which have been extensively studied in the literature [15, 16, 17].
Secondly, we provide a universal upper bound on the scrambling times of all eventually scrambling dQMS that scales quadratically with the dimension of the system. Moreover, we show that this quadratic dependence is optimal in the classical case by exhibiting an explicit class of dQMS whose classical scrambling time scales quadratically with the system dimension.
Theorem I.2.
For an eventually c-scrambling dQMS governing the dynamics of a dimensional system, the scrambling times satisfy . Moreover, there exists a dQMS acting on a dimensional system such that
Theorem I.3.
For an eventually q-scrambling dQMS governing the dynamics of a dimensional system, the scrambling time satisfies .
The above results are special cases of a more general phenomenon. It turns out that for a dimensional system, there exists a universal time scale after which the zero-error capacities of any dQMS acting on the system stabilize.
Theorem I.4.
For any dQMS governing the dynamics of a dimensional system, such that
(5) | ||||
(6) |
Finally, if the dynamics of the system is not eventually scrambling, we show that the optimal way to encode information in order to protect it from noise is to do it inside the peripheral space of the channel , which is defined as the span of all its peripheral eigenoperators:
(7) |
The structure of this space is well understood: for any channel , there exists a decomposition and positive definite states such that [5, Theorem 6.16]:
(8) |
Moreover, there exist unitaries and a permutation which permutes within subsets of for which the corresponding ’s have the same dimension, such that for any :
(9) |
From the above peripheral decomposition, it is not too hard to deduce that any information encoded inside the blocks is shielded from noise for an arbitrarily long time. Furthermore, in the asymptotic limit, it turns out that this is the best one can do.
Theorem I.5.
For any dQMS , we have
(10) | ||||
(11) |
Note that because of Theorem I.4, the limits above are actually attained at a finite time . Two special cases of this result are worth highlighting. If is a classical channel given by a stochastic matrix :
(12) |
the blocks in Eq. (8) become one-dimensional (since otherwise the channel would have non-zero quantum capacity, which is impossible). Hence, number of peripheral eigenvalues of (counted with multiplicities). Similarly, if is a quantum channel with a unique fixed state, the blocks become one-dimensional [5], and we get
I.2 Proof ideas
Two main ingredients are employed in the proofs of our results. The first is a reformulation of the zero-error capacity of any channel in terms of its operator system. If is a set of Kraus operators of , the operator system is a closed subspace of containing the identity. The error correction condition in Eq. (2) can be restated as
(13) |
A similar reformulation can be done for the quantum case in Eq. (3) by exploiting the Knill-Laflamme error correction conditions [18]. Hence, the zero-error capacities of any channel are purely a function of its operator system. Now, for any dQMS , we show that the corresponding operator systems form an increasing chain of subspaces in which stabilizes at time :
(14) |
This immediately shows that the zero-error capacities must also stabilize after time (Theorem I.4). The second key ingredient we use is the fact that for any dQMS , there exists an increasing subsequence such that as [5, Prop. 6.3], where is the channel that projects onto the peripheral space . This shows that the capacities of must stabilize to the corresponding capacities of , which can be explicitly computed in terms of the block structure of (Eq. (8)). The characterization of eventually scrambling dQMS follows easily from this. Clearly, a dQMS is eventually c-scrambling admits a unique fixed state and no other peripheral eigenoperators, which is equivalent to the dQMS being mixing in the sense of Theorem I.1. The quantum case follows similarly by exploiting the results derived in [16] on asymptotically entanglement-breaking channels. We refer the readers to the supplementary material for complete proofs of all the results 111See Supplementary Material.
I.3 Auxilliary Results
We derive several auxilliary results in the supplemental material, which might be of independent interest [20]. We list a couple of them below. We prove that if a dQMS is eventually c-scrambling, then even the one-shot zero error entanglement assisted classical capacity of vanishes for some . Moreover, the entanglement assisted classical scrambling time , defined analogously to , also satisfies .
We also exhibit a close link between the Wielandt index [21, 22, 23, 24] of a channel and its scrambling time. It turns out that if is a mixing channel as in Theorem I.1 with a full rank fixed state, such that sends any input state to a full rank output state, and the minimum such is called the Wielandt index of (denoted ). For any mixing channel with a full rank fixed state, it is easy to check that . In case is also unital, we obtain a reverse inequality: .
II Discussion and Outlook
Ever since the inception of information theory from Shannon’s seminal work [25], the task of information transmission via a noisy communication channel has been a focal point of enquiry. Much of the effort in this regard has been in the so-called parallel setting, where the task is to transmit information across many parallel copies of a given channel [11, 14, 13, 12]. In contrast, we initiate the study of information transmission in the sequential setting, where we analyze how information can be transmitted across sequential concatenations of a channel.
Physically speaking, we investigate how information stored in an open quantum system propagates over time as the system evolves according to a discrete-time Quantum Markov Semigroup . We show that information stored inside the peripheral space of the channel is protected from noise for an arbitrarily long time. Furthermore, in the asymptotic time limit , we prove that the block structure of dictates the maximum amount of information that can be protected from noise. This allows us to derive explicit formulas for the information transmission capacities of any dQMS in terms of the structure of . Here, it would be interesting to analyse whether the decomposition of in Eq. (8) is efficiently computable, which inturn would make the capacity formulas of Theorem I.5 efficiently computable. We also show that a system is asymptotically useless for storing classical (resp. quantum) information if and only if the dQMS governing its dynamics is mixing (resp. asymptotically entanglement breaking). Interestingly, we exhibit a universal time scale after which the information transmission capacity of any dQMS acting on a dimensional system stabilizes. While the quadratic dimension dependence here is tight for classical capacity, we do not know if this is true for quantum capacity.
The sequential view of information transmission that we consider opens a host of exciting research directions. While we have considered a simple discrete-time Markovian model for the dynamics of the open system, it would be interesting to perform the same analysis for other kinds of dynamics, such as continuous-time Markovian models [1, 2, 3, 4] and repeated interaction systems [26, 27, 28]. Apart from the standard classical and quantum capacities, other kinds of transmission rates can also be considered, such as those where assistance from external resources like correlations and entanglement are supplied to aid in communication [29, 30, 31, 32]. Finally, it would be interesting to drop the zero-error constraint and analyse approximate capacities, where information is required to be recovered only approximately with a certain error threshold.
III Acknowledgements
We thank Omar Fawzi for insightful comments on the first version of this manuscript and for conjecturing that the results in Theorem I.5 should hold true.
SS is supported by the Cambridge Trust International Scholarship. MR is supported by the Marie Skłodowska- Curie Fellowship from the European Union’s Horizon Research and Innovation programme, grant Agreement No. HORIZON-MSCA-2022-PF-01 (Project number: 101108117).
References
- Fagnola [1999] F. Fagnola, Quantum markov semigroups, Proyecciones (Antofagasta) 18, 29–74 (1999).
- Alicki [2002] R. Alicki, Invitation to quantum dynamical semigroups, in Lecture Notes in Physics (Springer Berlin Heidelberg, 2002) p. 239–264.
- Alicki and Lendi [2007] R. Alicki and K. Lendi, Quantum Dynamical Semigroups and Applications (Springer Berlin Heidelberg, 2007).
- Breuer and Petruccione [2007] H.-P. Breuer and F. Petruccione, The Theory of Open Quantum Systems (Oxford University PressOxford, 2007).
- Wolf [2012] M. M. Wolf, Quantum channels and operations: Guided tour, (unpublished) (2012).
- Shannon [1956] C. Shannon, The zero error capacity of a noisy channel, IRE Transactions on Information Theory 2, 8 (1956).
- Medeiros et al. [2006] R. A. C. Medeiros, R. Alleaume, G. Cohen, and F. M. de Assis, Zero-error capacity of quantum channels and noiseless subsystems, in 2006 International Telecommunications Symposium (2006) pp. 900–905.
- Beigi and Shor [2007] S. Beigi and P. W. Shor, On the complexity of computing zero-error and holevo capacity of quantum channels, arXiv: Quantum Physics (2007).
- Chen et al. [2010] J. Chen, T. S. Cubitt, A. W. Harrow, and G. Smith, Super-duper-activation of the zero-error quantum capacity, in 2010 IEEE International Symposium on Information Theory (2010) pp. 2695–2697.
- Duan et al. [2013] R. Duan, S. Severini, and A. Winter, Zero-error communication via quantum channels, noncommutative graphs, and a quantum Lovász Number, IEEE Transactions on Information Theory 59, 1164 (2013).
- Cover and Thomas [2005] T. M. Cover and J. A. Thomas, Elements of Information Theory (Wiley, 2005).
- Hayashi [2017] M. Hayashi, Quantum Information Theory: Mathematical Foundation (Springer Berlin Heidelberg, 2017).
- Watrous [2018] J. Watrous, The Theory of Quantum Information (Cambridge University Press, 2018).
- Wilde [2013] M. M. Wilde, Quantum Information Theory (Cambridge University Press, 2013).
- Burgarth et al. [2013] D. Burgarth, G. Chiribella, V. Giovannetti, P. Perinotti, and K. Yuasa, Ergodic and mixing quantum channels in finite dimensions, New Journal of Physics 15, 10.1088/1367-2630/15/7/073045 (2013).
- Lami and Giovannetti [2016] L. Lami and V. Giovannetti, Entanglement-saving channels, J. Math. Phys. 57, 032201 (2016).
- Hanson et al. [2020] E. P. Hanson, C. Rouzé, and D. Stilck França, Eventually entanglement breaking markovian dynamics: Structure and characteristic times, Annales Henri Poincaré 21, 1517–1571 (2020).
- Knill and Laflamme [1997] E. Knill and R. Laflamme, Theory of quantum error-correcting codes, Phys. Rev. A 55, 900 (1997).
- Note [1] See Supplementary Material.
- Note [2] Such channels are also called fully indecomposable [33].
- Sanz et al. [2010] M. Sanz, D. Pérez-García, M. M. Wolf, and J. I. Cirac, A quantum version of Wielandt’s inequality, IEEE Transactions on Information Theory 56, 4668 (2010).
- Rahaman [2020] M. Rahaman, A new bound on quantum wielandt inequality, IEEE Transactions on Information Theory 66, 147 (2020).
- Michałek and Shitov [2019] M. Michałek and Y. Shitov, Quantum version of wielandt’s inequality revisited, IEEE Transactions on Information Theory 65, 5239 (2019).
- Jia and Capel [2023] Y. Jia and A. Capel, A generic quantum Wielandt’s inequality, arXiv:2301.08241 , arXiv:2301.08241 (2023), arXiv:2301.08241 [quant-ph] .
- Shannon [1948] C. E. Shannon, A mathematical theory of communication, Bell System Technical Journal 27, 379–423 (1948).
- Attal and Pautrat [2006] S. Attal and Y. Pautrat, From repeated to continuous quantum interactions, Annales Henri Poincaré 7, 59–104 (2006).
- Grimmer et al. [2016] D. Grimmer, D. Layden, R. B. Mann, and E. Martín-Martínez, Open dynamics under rapid repeated interaction, Physical Review A 94, 10.1103/physreva.94.032126 (2016).
- Ciccarello et al. [2022] F. Ciccarello, S. Lorenzo, V. Giovannetti, and G. M. Palma, Quantum collision models: Open system dynamics from repeated interactions, Physics Reports 954, 1–70 (2022).
- Cubitt et al. [2010] T. S. Cubitt, D. Leung, W. Matthews, and A. Winter, Improving zero-error classical communication with entanglement, Phys. Rev. Lett. 104, 230503 (2010).
- Cubitt et al. [2011] T. S. Cubitt, D. Leung, W. Matthews, and A. Winter, Zero-error channel capacity and simulation assisted by non-local correlations, IEEE Transactions on Information Theory 57, 5509–5523 (2011).
- Leung et al. [2012] D. Leung, L. Mancinska, W. Matthews, M. Ozols, and A. Roy, Entanglement can increase asymptotic rates of zero-error classical communication over classical channels, Communications in Mathematical Physics 311, 97–111 (2012).
- Duan and Winter [2016] R. Duan and A. Winter, No-signalling-assisted zero-error capacity of quantum channels and an information theoretic interpretation of the lovász number, IEEE Transactions on Information Theory 62, 891–914 (2016).
- Idel [2013] M. Idel, On the structure of positive maps, Master’s thesis, Technische Universitat Munchen (2013).
- Singh et al. [2022] S. Singh, N. Datta, and I. Nechita, Ergodic theory of diagonal orthogonal covariant quantum channels, preprint arXiv:2206.01145 (2022).
- Kribs [2003] D. W. Kribs, Quantum Channels, Wavelets, Dilations and Representations of , Proc. Edinburgh Math. Soc. 46 (2003), 421-433 , math/0309390 (2003), arXiv:math/0309390 [math.OA] .
- Rahaman [2017] M. Rahaman, Multiplicative properties of quantum channels, Journal of Physics A Mathematical General 50, 345302 (2017), arXiv:1701.06205 [quant-ph] .
- Hiai and Ruskai [2015] F. Hiai and M. B. Ruskai, Contraction coefficients for noisy quantum channels, Journal of Mathematical Physics 57, 10.1063/1.4936215 (2015).
- Ruskai [1994] M. B. Ruskai, Beyond strong subadditivity? improved bounds on the contraction of generalized relative entropy, Reviews in Mathematical Physics 06, 1147–1161 (1994).
- [39] V. Paulsen, Completely bounded maps and operator algebras, Cambridge Studies in Advanced Mathematics, Vol. 78 (Cambridge University Press, Cambridge).
- Duan [2009] R. Duan, Super-activation of zero-error capacity of noisy quantum channels, preprint arXiv:0906.2527 (2009).
- Shirokov and Shulman [2015] M. Shirokov and T. Shulman, On superactivation of zero-error capacities and reversibility of a quantum channel, Commun. Math. Phys. V.335 , arXiv:1309.2610 (2015).
- Evans and Høegh-Krohn [1978] D. E. Evans and R. Høegh-Krohn, Spectral properties of positive maps on C∗-algebras, Journal of the London Mathematical Society , 345 (1978).
- Kribs et al. [2006] D. W. Kribs, R. Laflamme, D. Poulin, and M. Lesosky, Operator quantum error correction, Quantum Inf. Comput. 6, 382 (2006).
- PETZ [1988] D. PETZ, Sufficiency of channels over von neumann algebras, The Quarterly Journal of Mathematics 39, 97–108 (1988).
- Jenčová and Petz [2006a] A. Jenčová and D. Petz, Sufficiency in quantum statistical inference, Communications in Mathematical Physics 263, 259–276 (2006a).
- Jenčová and Petz [2006b] A. Jenčová and D. Petz, Sufficiency in quantum statistical inference: A survey with examples, Infinite Dimensional Analysis, Quantum Probability and Related Topics 09, 331–351 (2006b).
- HIAI et al. [2011] F. HIAI, M. MOSONYI, D. PETZ, and C. BÉNY, Quantum f-divergences and error correction, Reviews in Mathematical Physics 23, 691–747 (2011).
- Choi et al. [2009] M.-D. Choi, N. Johnston, and D. W. Kribs, The multiplicative domain in quantum error correction, Journal of Physics A: Mathematical and Theoretical 42, 245303 (2009).
- Davidson [1996] K. Davidson, C*-Algebras by Example, Fields Institute for Research in Mathematical Sciences Toronto: Fields Institute monographs (American Mathematical Society, 1996).
- Akelbek and Kirkland [2009] M. Akelbek and S. Kirkland, Coefficients of ergodicity and the scrambling index, Linear Algebra and its Applications 430, 1111–1130 (2009).
- Guterman and Maksaev [2019] A. E. Guterman and A. M. Maksaev, Upper bounds on scrambling index for non-primitive digraphs, Linear and Multilinear Algebra 69, 2143–2168 (2019).
- Jaques and Rahaman [2018] S. Jaques and M. Rahaman, Spectral Properties of Tensor Products of Channels, Journal of Mathematical Analysis and Applications (2018).
- Singh and Nechita [2021] S. Singh and I. Nechita, Diagonal unitary and orthogonal symmetries in quantum theory, Quantum 5, 519 (2021).
- Note [3] The number is also sometimes called the primitivity index of (see e.g. [21]).
- Wielandt [1950] H. Wielandt, Unzerlegbare, nicht negative Matrizen, Mathematische Zeitschrift 52, 642 (1950).
- Kretschmann et al. [2008a] D. Kretschmann, D. W. Kribs, and R. W. Spekkens, Complementarity of private and correctable subsystems in quantum cryptography and error correction, Physical Review A 78, 10.1103/physreva.78.032330 (2008a).
- Kretschmann et al. [2008b] D. Kretschmann, D. Schlingemann, and R. F. Werner, The information-disturbance tradeoff and the continuity of Stinespring’s representation, IEEE Transactions on Information Theory 54, 1708 (2008b).
Supplementary material
SI Preliminaries
In this paper, we always work with finite-dimensional Hilbert spaces and denote them by . denotes the algebra of linear operators acting on . The set of quantum states (density matrices) on is denoted by . The identity operator on is denoted by . Note that if , and , where denotes the matrix algebra of all complex matrices. We denote the Hilbert space associated to a quantum system by . Pure states of the system are denoted either by normalized kets or by the corresponding rank one projections .
A quantum channel is a linear, completely positive, and trace-preserving map. is said to be unital if . The adjoint of the channel , with respect to the Hilbert-Schmidt inner product, is the linear map defined through the relation , for any and . It is completely positive and unital. In this paper, all logarithms are taken to base .
A discrete quantum Markov semigroup (dQMS) associated with a quantum channel is the sequence . Here, the ‘semigroup’ terminology simply refers to the fact that the sequence is closed with respect to compositions: . We can think of a dQMS as governing the time evolution of an open quantum system , with acting as the discrete time parameter.
Remark 1.
As mentioned in the Introduction, we are interested in studying zero-error communication through discrete quantum Markov semigroups. Hence, we will mostly focus on quantum channels whose input and output spaces are the same . Using the isomorphism , we will interchangeably denote such channels by or and use to denote the set of quantum states .
SI.1 Spectral and ergodic properties
Every quantum channel admits a quantum state as a fixed point: [13, Theorem 4.24]. In other words, is always an eigenvalue of . The spectrum (denoted ) of is contained within the unit disk in the complex plane and is invariant under complex conjugation, i.e., . The peripheral spectrum of consists of all peripheral eigenvalues , where . It is known that the geometric and algebraic multiplicities of all peripheral eigenvalues of a quantum channel are equal [5, Proposition 6.2]. A peripheral eigenvalue is called simple if it has unit multiplicity. A quantum channel and its adjoint both share the same spectrum, .
We now introduce the notions of ergodic and mixing quantum channels. For a more detailed study of the ergodic theory of quantum channels, the readers should refer to [15, 5, 34]
Theorem SI.1.
For a quantum channel , the following are equivalent.
-
•
is a simple eigenvalue of .
-
•
There exists a state such that for all ,
A channel (or a dQMS ) satisfying these equivalent conditions is said to be ergodic. The unique fixed point of is called the invariant state of . If, in addition, the unique invariant state has full rank, then the channel and the associated dQMS are said to be irreducible.
Theorem SI.2.
For a quantum channel , the following are equivalent.
-
1.
is a simple eigenvalue of and there are no other peripheral eigenvalues of .
-
2.
There exists a state such that for all ,
A channel (or a dQMS ) satisfying these equivalent conditions is said to be mixing. If, in addition, the unique invariant state of has full rank, then the channel and the associated dQMS are said to be primitive.
The peripheral space of a channel is defined as the span of all its peripheral eigenoperators:
(S1) |
For any channel , there exists a decomposition and positive definite states such that [5, Theorem 6.16]:
(S2) |
Moreover, there exist unitaries and a permutation which permutes within subsets of for which the corresponding ’s have the same dimension, such that for any :
(S3) |
A channel is called entanglement-breaking if local action of on any bipartite system breaks all entanglement in the system, i.e., for all states , is separable.
A channel (or a dQMS ) is called
-
•
eventually entanglement-breaking if there exists an such that is entanglement-breaking.
-
•
asymptotically entanglement-breaking if all the limit points of the set are entanglement-breaking.
It is known that for any channel , the limit points of the set are either all entanglement-breaking or none of them are [16]. Moreover, the following result was derived in [16, Theorem 32].
Theorem SI.3.
Let be a quantum channel. The following are equivalent:
-
•
is asymptotically entanglement-breaking.
-
•
All the blocks in the peripheral decomposition in eq. (S2) are one-dimensional.
-
•
All peripheral points of communte with one another, i.e. , .
SI.2 Fixed points and multiplicative domains
Given a channel on , the set of fixed points of is the set
Note that it is a vector subspace of which is closed under taking adjoints. If the channel is unital, then the set is also closed under multiplication and hence is a C∗-subalgebra ([35]). Recall that a (operator) norm-closed subset of that is closed under addition, multiplication, and the -operation is called a C∗-algebra.
The multiplicative domain of is defined to be the following set
For unital channels, it holds that
where is the C∗-algebra generated by the Kraus operators of and is the algebra that commutes with . Also, it is known that for unital channels one has
The multiplicative domain shrinks under the iterations of a unital channel. Indeed, let denote the multiplicative domain of for each , then it holds that ([36])
The above chain stabilizes at a set which we denote as and call the stabilized multiplicative domain of and it is invariant under repeated applications of the channel.
SI.3 Contraction coefficient
The contraction coefficient of a quantum channel with respect to the trace norm is defined as follows [37]:
(S4) |
Lemma SI.4.
[38, Theorem 2] For a quantum channel ,
Moreover, the states in the supremum above can be taken to be pure.
SI.4 Zero error communication
Let Alice and Bob be linked via a quantum channel . Suppose Alice wants to communicate classical messages to Bob perfectly without error. This is possible if and only if she can encode the messages in states
(S5) |
where we say that two positive operators are orthogonal () if their supports are orthogonal as subspaces, which is equivalent to saying that . The interpretation here is that for any choice of encoding of the classical messages on the input side, the set of output states would have to be perfectly distinguishable in order for Bob to decode the intended classical message via a measurement without error, which is possible if and only if the output states are pairwise orthogonal. Note that if is a mixed state and , there exists an such that . Therefore, and . Thus, without loss of generality, all the encoding states in the above scheme can be taken to be pure. With this background, we can introduce the following definition.
Definition SI.5.
The one-shot zero-error classical capacity of a channel is defined as follows:
(S6) |
where the supremum is over all collections of pure quantum states such that
(S7) |
Suppose now that Alice and Bob share some entanglement beforehand, say in the form of a pure bipartite state . Alice can now come up with a more general encoding scheme by pre-processing her share of with arbitrary quantum channels . She then sends her share of the resulting states through . As before, the condition for perfect distinguishability on Bob’s end is equivalent to the following orthogonality relations:
(S8) |
Definition SI.6.
The one-shot zero-error entanglement assissted classical capacity of a quantum channel is defined as follows:
(S9) |
where the supremum is over all pure bipartite states and collections of quantum channels such that
(S10) |
If Alice wants to send quantum information to Bob through perfectly without error, she must find an encoding subspace such that Bob can reverse the action of on , i.e., there exists a recovery channel such that
(S11) |
If are the Kraus operators of , the Knill-Laflamme error correction conditions [18] show that a subspace as above exists if and only if for all , where denotes the orthogonal projection onto and .
Definition SI.7.
The one shot zero-error quantum capacity of a channel is defined as follows:
(S12) |
where the supremum is over all subspaces such that there exists a recovery quantum channel satisfying
(S13) |
It is possible to recast the above channel capacity definitions in terms of an operator system that one can associate with the channel.
Definition SI.8.
Let have a Kraus representation . The operator system (also called the non-commutative (confusability) graph) of is defined as [10]
(S14) |
One can check that the above definition is independent of the chosen Kraus representation of . Moreover, , since is trace-preserving. Furthermore, . Such closed subspaces containing the identity are called operator systems [39].
For an operator system ,
-
•
the maximum size of a set of mutually orthogonal vectors such that
(S15) is called the independence number of (denoted ).
-
•
the maximum number such that there exist Hilbert spaces , a state , and isometries such that
(S16) is called the entanglement-assisted independence number of (denoted ).
-
•
the maximum number such that there exists a subspace with satisfying , (where denotes the orthogonal projection onto ) is called the quantum independence number of (denoted ).
Theorem SI.9.
[10] For any channel , the following relations hold:
(S17) | ||||
(S18) | ||||
(S19) |
Moreover, , where the inequalities can be strict.
Remark SI.10.
The terminology in Definition SI.8 is motivated by the notion of confusability graphs of classical channels [6]. A discrete classical channel , where and denote two finite alphabets, is defined by a transition probability matrix, , with elements that express the probability of observing the symbol given that the symbol was sent. In order to send different messages through the channel with zero error, they should be encoded in the symbols of in a manner such that the corresponding outputs of the channel have disjoint support. One can associate a confusability graph with the channel; it has vertex set and edges between any pair which can be confused, i.e. for which there is a such that . The one-shot zero error capacity of is the maximum number of bits of classical information that can be transmitted without error through a single use of . This is given by , where is the independence number of the confusability graph, and is equal to the maximum number of vertices in which do not have any edges between them.
We now collect some results from the literature which describe equivalent conditions for the various zero-error one-shot capacities of a channel to be zero. Let us first introduce the following terminology. A channel is called
-
•
c-scrambling if .
-
•
q-scrambling if .
Theorem SI.11.
The following are equivalent for a quantum channel :
-
1.
is c-scrambling.
-
2.
.
-
3.
for any pair of orthogonal pure states .
-
4.
for all non-zero positive operators .
-
5.
There are no rank one elements in .
The equivalence of and above was obtained in [37, Proposition 4.2] and the equivalence of and was obtained in [40].
Proposition SI.12.
[10] For a quantum channel , if and only if is the zero subspace.
Proposition SI.13.
[41] Let be a quantum channel. Then, (i.e. is not q-scrambling) if and only if there are unit vectors such that
Moreover, the following implications hold:
-
•
is non-abelian .
-
•
is non-trivial .
If is an algebra, the reverse implications also hold:
-
•
is non-abelian .
-
•
is non-trivial .
In the above statements we used the notation to denote the commutant of , i.e.,
SII Main results
SII.1 Characterization of all eventually c-scrambling dQMS
Consider an open quantum system whose time evolution is governed by a dQMS , where is a quantum channel. We call eventually c-scrambling if there exists an such that is c-scrambling. These are precisely the kind of evolutions which eventually become useless for zero-error classical communication. Since any non-trivial models some inherent noise in the system, one might naively reason that any (non-trivial) dQMS is eventually scrambling, i.e., if one waits for a long enough time , will become too noisy to communicate any classical message perfectly. However, the following theorem shows that this is the case only for the class of mixing evolutions (see Theorem SI.2). Moreover, we prove that if a dQMS is eventually scrambling, then it will eventually become useless for classical communication even if entanglement is present to aid the process.
Theorem SII.1.
Let be a channel and be the associated dQMS. Then, the following are equivalent.
-
1.
such that .
-
2.
such that , i.e., is eventually c-scrambling.
-
3.
is mixing.
Proof.
This implication is trivial, since for any channel .
Assume that such that is scrambling, i.e., . Let be a fixed state of . Then, for any (non-zero) positive semi-definite operator , we have
(S20) |
Hence, for all positive semi-definite , we get . Since any can be written as a linear combination of positive semi-definite operators, it is clear that is mixing.
Assume that such that , . Since pointwise and uniform convergence are equivalent in finite dimensions, for every , such that , for . In other words, , where is the completely depolarizing channel defined as , and the convergence is with respect to the induced trace norm defined as
(S21) |
(In fact, since any two norms on a finite-dimensional space are equivalent, we can also think of this convergence in terms any other norm, say the diamond norm for instance.) It is then easy to see that . Put differently, for every , such that , for . Hence, for any pure state , channels for , and , we have that
(S22) | ||||
(S23) | ||||
(S24) |
where for and were added and subtracted to obtain the second inequality. This clearly implies that for . ∎
SII.2 Zero-error classical encodings for non-mixing dQMS
Let us now discuss the conclusion of Theorem SII.1 in more detail. The theorem shows that the semigroups that are able to send classical messages perfectly for arbitrarily long times are precisely of the non-mixing type:
(S25) |
It is then natural to ask what kind of encoding states can be used to perfectly transmit a 1-bit classical message through () for a given non-mixing dQMS . Since is non-mixing, the following two cases can arise:
Case I. is not a simple eigenvalue of , i.e., is not ergodic. To tackle this case, let us first note a lemma.
Lemma SII.2.
Proof.
Let and consider its canonical decomposition into Hermitian parts:
(S26) |
Since is Hermiticity preserving, and are also fixed by . Thus, it suffices to show that a Hermitian fixed point lies in the span of quantum states. Since is Hermitian, we can write its Jordan decomposition: , where and . Let be the projector onto support of . Then, we have , so that
(S27) |
Hence, the inequalities above must be equalities, implying that and . This shows that , which clearly also implies . Hence, lies in the span of quantum states and . ∎
Let us now consider a channel for which is not a simple eigenvalue. This means that there are two distinct states that are fixed by . Let .Then, the proof of Lemma SII.2 shows that the orthogonal positive and negative parts of are also fixed by . Thus, we can transmit a 1-bit classical message through for all by encoding it in the states and .
Case II. is a simple eigenvalue of but there are other peripheral eigenvalues as well. In other words, is an ergodic quantum channel with .
In order to tackle this case, we need to study the peripheral spectrum of ergodic quantum channels. The structure of the peripheral spectrum of such channels is well-understood.
Lemma SII.3.
The following is true for an ergodic quantum channel :
-
•
The peripheral spectrum of is a cyclic subgroup of , i.e., such that , where .
-
•
All the peripheral eigenvalues of are simple.
-
•
There exists a unitary such that for .
-
•
admits a spectral decomposition such that .
Proof.
We recall that a quantum channel and its adjoint have the same spectrum, and also that if is ergodic, then is also ergodic. Also recall that the adjoint of any quantum channel is unital and completely positive. This means that for an ergodic channel , the adjoint map has a unique positive definite fixed point: . The peripheral spectrum of such maps has been studied in detail in the literature, and the statement of the lemma follows directly from the results in [42], see also [5, Theorem 6.6]. ∎
The next proposition provides a lower bound on the number of classical messages that can be sent without error through any iteration of an ergodic channel.
Theorem SII.4.
Let be an ergodic quantum channel. Then,
(S28) |
Proof.
For an ergodic channel , Lemma SII.3 provides orthogonal spectral projectors satisfying , where and . Note that addition of indices here is to be understood mod . We claim that classical messages can be transmitted perfectly through for all with encoding states for . This is because
(S29) | ||||
(S30) |
In other words,
(S31) |
This shows that sequential action of on the encoding states just cyclically permutes the output supports: for . Clearly, the output states are thus mutually orthogonal for all , which proves our claim. ∎
More generally, we can prove that for any dQMS , the peripheral space of the channel serves as the right space to encode information in order for it to be recoverable for an arbitrarily long time. Recall that the peripheral space of a channel is defined as the span of all its peripheral eigenoperators and there exists a decomposition and positive definite states such that [5, Theorem 6.16]:
(S32) |
Moreover, there exist unitaries and a permutation which permutes within subsets of for which the corresponding ’s have the same dimension, such that for any :
(S33) |
Using this decomposition, we can prove the following result.
Theorem SII.5.
Let be a quantum channel and be the associated dQMS. Then, such that
(S34) |
Proof.
Note that the first two equalities follow from Theorem SII.10, which shows that there exists such that the operator systems of the semigroup stabilize after time
(S35) |
To show the final equality, first note that the stated action of a channel on its peripheral space (Eq. (S33)) clearly implies that the set of states for and forms a zero-error classical code for for all in the sense of Definition SI.5. Here, for each , the state is supported on the block in Eq. (S32). This shows that
(S36) |
To show the reverse inequality, suppose that is a zero-error classical code for . Since the operator systems of the semigroup stabilize after time , is also a zero-error classical code for for all , i.e.,
(S37) |
From [5, Proposition 6.3], there exists an increasing subsequence such that , where is the channel that projects onto the peripheral space . Thus, is also a zero-error classical code for :
(S38) |
where we have used the continuity of the Hilbert-Schmidt inner product on . Thus, forms an orthogonal set of states in , which from the structure of , clearly implies that . Since was an arbitrary zero-error classical code for , this shows that
(S39) |
∎
SII.3 Zero-error quantum communication through dQMS
In this subsection, we consider the task of storing quantum information in a system whose time evolution is governed by a dQMS , where is a quantum channel. We take a slightly different route here than what was taken in the classical case in previous subsections. We first prove the analogue of Theorem SII.8 for the quantum capacity, from which the characterization of dQMS that eventually become useless for perfect quantum communication will follow naturally. The peripheral space will again play a crucial role in our discussion. Let us recall that there exists a decomposition and positive definite states such that:
(S41) |
Moreover, there exist unitaries and a permutation which permutes within subsets of for which the corresponding ’s have the same dimension, such that for any :
(S42) |
Using this decomposition, we can prove the following result.
Theorem SII.7.
Let be a quantum channel and be the associated dQMS. Then, such that
(S43) |
Proof.
As in the proof of Theorem SII.8, we initially note that the first two equalities follow from Theorem SII.10, which shows that there exists such that the operator systems stabilize after time
(S44) |
To show the final equality, first note that the action of a channel on its peripheral space is reversible [5, Theorem 6.16], i.e., there exists a channel such that , where is the channel that projects onto the peripheral space . Thus, in the language of [43], all the sectors in the decomposition in Eq. (S41) are correctable for for all . Corresponding subspaces with can then be constructed using [43, Theorem 3.7] that are correctable for for all in the sense of Defintion SI.7. This shows that
(S45) |
Conversely, suppose that a subspace is correctable for in the sense of Definition SI.7. Since the operator systems of the semigroup stabilize after time , the subspace is also correctable for for all . A reformulation of the Knill Laflamme error correction conditions in terms the relative entropy [44, 45, 46, 47] shows that:
(S46) |
Since there exists an increasing subsequence such that as , we have that
(S47) |
which is equivalent to saying that the subspace is correctable for as well. This means that acts like a homomorphism on the algebra [48, Theorem 3], upto smearing by a fixed operator. The structure of homomorphisms between matrix algebras is well-understood [49]. In particular, this means that the image of must be able to accommodate atleast one copy of the full matrix algebra , which is only possible if there exists a such that . Since is an arbitrary correctable subspace of , we get
(S48) |
∎
Using the above theorem, we can easily characterize the class of eventually q-scrambling dQMS , i.e., the ones for which there exists such that .
Theorem SII.8.
Let be a quantum channel and be the associated dQMS. Then, the following are equivalent:
-
•
is eventually q-scrambling
-
•
is asymptotically entanglement-breaking.
-
•
All the blocks in the peripheral decomposition in eq. (S41) are one-dimensional.
-
•
All peripheral points of communte with one another, i.e. , .
SII.4 Bounds on scrambling times
We have completely classified channels (or dQMS ) that eventually lose their ability to send classical or quantum information perfectly. We now consider upper bounds on the minimum time after which such dQMS lose their information transmission capacity. We refer to this as the scrambling time (or the scrambling index) of the dQMS.
Definition SII.9.
For a channel (or a dQMS ), we define
-
•
(quantum scrambling time)
-
•
(classical scrambling time)
-
•
(entanglement-assisted classical scrambling time)
Here, we adopt the convention that the minimum of an empty set is .
Since for any channel , , it follows that . Moreover, the inequalities here can all be strict. The separation between and can be illustrated by considering a non-mixing channel that is entanglement-breaking, so that and . Examples of this kind can be easily constructed: any classical channel of the form
(S49) |
where is an entrywise non-negative column stochastic matrix, works. Intuitively, since this channel completely decoheres its input, no quantum information can be sent through it. However, since we can easily choose so that is non-mixing. To show the separation between and , we note that there exist channels such that [40]
(S50) |
We now prove the central result of this subsection: for any dQMS , its zero-error transmission capacity stabilizes after time .
Theorem SII.10.
For any channel , such that
(S51) | ||||
(S52) | ||||
(S53) |
Proof.
Let be a set of Kraus operators for . Recall that . It can be easily checked that for any , we have
(S54) |
We thus obtain an increasing chain of operator systems . Furthermore, if for some , then for all . In other words, the increasing chain of operator systems stabilizes at some point. Let denote the minimum such that . We then obtain the following chain
(S55) |
Note that the inclusions above are all strict. This is because if for some , the above stabilization argument would contradict the minimality of . Moreover, since all the operator systems are inside which is of dimension , the maximum length of the above chain is . Hence, . Recall that all the one-shot zero-error capacities can be characterized in terms of the operator system (Theorem SI.9). Since the operator system stabilizes after iterations, all the one-shot zero-error capacities also stabilize after iterations. ∎
The above result immediately yields an upper bound on the scrambling times of all eventually scrambling evolutions.
Corollary SII.11.
For any mixing channel , the following bound holds:
(S56) |
Furthermore, for any asymptotically entanglement-breaking channel , we have .
Proof.
We know that for a mixing channel , such that . Hence, for any . By the above proposition, we must have , which implies that . Since for any channel , we have the required chain of inequalities. The result for asymptotically entanglement-breaking channels follow similarly. ∎
Let us take a moment to note that the dimension factor of in Proposition SII.10 and Corollary SII.11 is optimal for the classical scrambling times. To show this, consider the stochastic matrix
(S57) |
Firstly, observe that for a classical channel of the form defined in Eq. (S49), the two scrambling times and are equal.
Lemma SII.12.
For a classical channel ,
Proof.
It suffices to show that . Hence, assume that . This means that the operator system is such that there are no rank one matrices in . However, since the operator system is ‘graphical’ [10], i.e.,
(S58) |
where the notation is used to denote that and are confusable under the transition probabilities defined by , the absence of a rank one element in implies that , which shows that . ∎
The results in [50] then show that
(S59) |
Remark SII.13.
The optimal upper bound on the scrambling times of classical stochastic matrices is already known in the literature [50, 51]. It is of the form noted above:
(S60) |
where denotes the ceiling function and equality is attained for . However, this result is derived in a purely combinatorial framework, with no reference made to any zero-error information transmission task. Moreover, the proof is long and uses a variety of intricate graph-theoretic techniques. In contrast, the proof of Proposition SII.10 proceeds via a simple operator theoretic chain argument, yields an upper bound with the same optimal dimension factor, and works not only for classical channels but also for quantum channels.
SIII Auxilliary results
SIII.1 Ergodicity and invariant subspaces
In this section, we study equivalent descriptions of ergodic and mixing quantum channels in terms of their invariant subspaces.
Definition SIII.1.
A subspace is said to be invariant under if for all states with , . A subspace is a minimal invariant subspace of if for any subspace which is invariant under , .
The following characterization of ergodicity was obtained in [15, Theorem 1].
Theorem SIII.2.
A channel is ergodic if and only if admits a non-zero minimal invariant subspace . Moreover, is precisely the support of the unique invariant state of .
In what follows, we provide a similar characterization for the class of mixing quantum channels.
Theorem SIII.3.
For a quantum channel , the following are equivalent.
-
1.
is mixing.
-
2.
admits a non-zero minimal invariant subspace and such that and , , where denotes the orthogonal projector onto .
-
3.
admits a non-zero minimal invariant subspace and such that for , , where . Here, denotes a set of Kraus operators of and is the orthogonal projector onto .
Remark SIII.4.
Note that if , then , since
and for each term in the sum, and so can also be written as
Proof.
: Assume is mixing. Then is ergodic and hence admits a non-zero minimal invariant subspace , where is the unique invariant state of (Theorem SIII.2). On the contrary, assume that , with the containment being strict. Let us choose an operator such that
(S61) |
where the orthogonal complement is taken inside , so that ,
(S62) |
Note that is a non-zero positive operator supported in . Hence,
(S63) |
However, we can also write
(S64) |
Let us consider the two terms on the RHS of (S64) separately. Using cyclicity of the trace and the following elementary relations for :
(S65) | ||||
(S66) | ||||
(S67) |
where is the unnormalized maximally entangled state and , we can write
(S68) | |||
(S69) | |||
(S70) | |||
(S71) |
Here, is the CP map defined as follows:
(S72) |
To deal with the second term in (S64) we further define a completely depolarizing map through the relation , so that as , since
(S73) |
Then, once again using the relations (S65),(S66),(S67), it can be shown that
(S74) |
Thus, we can express Eq. (S64) as follows:
(S75) | ||||
(S76) |
Note that, as since in this limit, which contradicts Eq. (S63). This concludes the proof of .
: Assume that for some . Hence, ,
This implies that
(S77) |
: Assume that admits a minimal invariant subspace and such that for any and , . Since admits a minimal invariant subspace, it must be ergodic. Assume on the contrary that is not mixing. Then, there must exist a peripheral eigenvalue different from . Hence,
for some , (see Lemma SII.3). This implies that has distinct fixed points. Let us consider two of them, say , where . If , we can choose large enough such that and , leading to a contradiction. So, we can assume that . Now, consider , which is again a fixed point of . Clearly,
(S78) | ||||
(S79) | ||||
(S80) |
Let us choose and such that Then,
(S81) |
This means that has a kernel in , so . Since is fixed by , its positive and negative parts are also fixed by . Finally, by choosing large enough such that , we get , which contradicts our original assumption. Hence, must be mixing, and the proof is complete. ∎
It is easy to see that if the quantum channel is primitive, the equivalences obtained in Theorem SIII.3 reduce to those given in [21, Proposition 3], which we restate below.
Corollary SIII.5.
For a quantum channel , the following are equivalent.
-
1.
is primitive.
-
2.
such that and , is of full rank.
-
3.
such that for , , where . Here, denotes a set of Kraus operators of .
SIII.2 Connection with the quantum Wielandt index
Consider a primitive channel . Then, Corollary SIII.5 informs us that such that is strictly positive for . This leads naturally to the definition of the Wielandt index [21, 22, 23, 24] of :
(S82) |
Note that if a channel is strictly positive, then for all . Thus, is also scrambling. Hence for a primitive channel , it holds that
In this section, we obtain a converse bound for primitive channels that are also unital, thus establishing a close link between the scrambling times and Wielandt indices for such channels. We do this by relating the notions of scrambling and strictly positivity. We show that for unital channels that are scrambling, there is a linear universal bound (depending only on the system dimension) for the channel iterations to become strictly positive. In order to prove this result, we first need some new definitions.
Two projections are said to be (Murray-von Neumann) equivalent (denoted ) if there is an operator such that and . Hence, if and only if . Further, we say that a projection is non-trivial if . Let . The following definition is from [22] (see also [33]).
Definition SIII.6.
A quantum channel is said to be fully irreducible222Such channels are also called fully indecomposable [33]. if there does not exist any pair of non-trivial, equivalent projections, , such that , for some .
Proposition SIII.7.
If a unital channel is scrambling, then it is fully irreducible.
Proof.
We prove that if is not fully irreducible, then it cannot be scrambling. To do this, let us assume that there exists a pair of non-trivial, equivalent projections such that for some . This implies that Let denote a set of Kraus operators of . Then, since is a projection (i.e. and ), we get
(S83) |
Hence,
(S84) |
where the third equality follows from (S83), and the last inequality follows from the fact that and since is unital, . Thus we have established the following:
(S85) |
From (S85) we have , since is trace-preserving. However, by assumption, (since ). Hence, by faithfulness of the trace we get . However, this equality implies that violates the property of scrambling, as is shown explicitly below.
One might wonder whether the converse of the above proposition is true. The following example shows that this is not the case.
Example SIII.8.
Let be a unital quantum channel defined as follows:
It is easy to see that is fully irreducible, since it sends any projection to a positive semi-definite matrix of rank strictly larger than the rank of the input projection. However,
Hence, and it follows that is not scrambling (see Theorem SI.11).
The following corollary provides the main result of the subsection.
Corollary SIII.9.
Let be a unital quantum channel and suppose that is scrambling. Then is strictly positive. Consequently, for any primitive unital channel , we get .
Proof.
It is known that a fully irreducible unital channel is strictly rank increasing, i.e., for any singular positive semi-definite (see [22, Theorem 3.7]).
Now, since is scrambling, the previous result shows that is fully irreducible, and hence also strictly rank increasing. Thus, starting from any rank one projection , it requires at most iterations of to send to an invertible matrix. This concludes the proof. ∎
Remark: The above corollary provides an upper bound on the number of iterations for a scrambling channel that are needed to guarantee that it becomes strictly positive. This upper bound depends solely on the dimension of the underlying space. It is natural to ask whether this bound can be improved. Note that from the definition of scrambling it follows that if is scrambling, then is strictly positive. So for self-adjoint scrambling channels, it holds that is strictly positive. This raises the following question: Could it be true that for any scrambling channel , is strictly positive? However, this is not true, as shown below by an explicit example of a classical channel, defined by the column stochastic matrix, :
(S88) |
is clearly scrambling but is not strictly positive.
SIII.3 Linear bounds on indices for channels with extra structure
If the mixing channel is unital and its operator system is such that is an algebra for all , we can provide better bounds on its scrambling indices.
In order to state and prove our main result, we need the following lemma.
Lemma SIII.10.
Let be a unital channel, and let denote the multiplicative domain of for each , and let be the stabilized multiplicative domain as introduced in Section SI.2.
-
1.
The stabilized multiplicative domain can be described as follows
-
2.
It holds that for all , .
-
3.
If is primitive, then , i.e., the trivial algebra with only scalars. Furthermore, the containments in the following chain of subalgebras are proper:
Proof.
The proofs of the first statement above can be found in [36]. To prove the second assertion, recall from Section SI.2 that for a unital channel ,
and this relation holds for every , .
Here we prove the last statement. If is unital and primitive, then is its only peripheral eigenoperator, and hence shows that . In fact, having can be an alternative characterization of primitivity for unital channels (see Corollary 3.5 in [36]).
To prove the containment of the subalgebras is proper we analyze the behaviour of multiplicative domain under composition of two channels. From [36, Lemma 2.3], it holds that
Hence, , for all and if , then .
Now suppose , for some . From the above observation, we know that . Since , it follows that and . So . Since by primitivity we know , for large , it must be the case that , unless the latter set is just the trivial algebra. ∎
Lemma SIII.11.
Let be a channel such that is an algebra. Then,
Proof.
We can now state and prove our main result.
Proposition SIII.12.
Let be a primitive unital quantum channel such that the associated operator systems are C∗-algebras for all . Then,
(S89) |
Proof.
Note that for any channel , we have an increasing chain of subspaces , which yields a decreasing chain of commutants . Note that the commutants are unital C∗-subalgebras of for all and by Lemma SIII.10, we have . Since is primitive, such that . So the above chain of C∗-algebras stabilzes at some :
(S90) |
Since are algebras for all , we can use the necessary and sufficient conditions given in Proposition SI.13 and Lemma SIII.11 for the zero-error capacities to vanish. Firstly, note that Lemma SIII.11 immediately tells us that . Also note that if , then by the double-commutant theorem, . It follows that the Choi rank of is 1, which means that the channel is just a unitary conjugation. Such a channel can not be primitive, contradicting our hypothesis. Thus, we can assume that is a proper subalgebra of .
Now, if is trivial to begin with, then Lemma SIII.11 shows that . In this case, . Hence, we can assume that is a proper non-trivial subalgebra of . From Lemma SIII.10, we know that each containment in Eq. (S90) is proper. It is known that such a chain of decreasing unital C∗-subalgebras can have length at most [52, Lemma 5 and Theorem 3.6]. Thus .
For the other bound, note that if is abelian to begin with, then and (for ), see Proposition SI.13. So, we can assume that is non-abelian. Now, in order to descend down the chain of commutants in Eq. (S90) all the way to , in the worst case, there are -many steps required from the full diagonal algebra to stabilize to the trivial algebra. Hence, it requires at most steps to go from a non-abelian to an abelian algebra, proving that . ∎
We now provide an example of a channel for which the operator system fulfils the requirements of the above proposition.
Example SIII.13.
We construct a primitive unital channel for which and are all algebras, , and . This is the example given after Theorem 3.9 in [52], giving the maximum length of the chain in Eq. (S90) when the starting algebra is a maximal abelian subalgebra (MASA).
The channel is defined by its Kraus operators , which are given below:
One can check that This is the full diagonal algebra. It is not hard to see that where is just the scalar algebra. Hence is also an algebra. And finally, Thus, we obtain the chain
Since , it follows that and hence is primitive (see [36, Corollary 3.5]). Furthermore, since is not trivial, it is clear from Lemma SIII.11 that . Finally, since is the full diagonal algebra, is also abelian and Proposition SI.13 shows that .
The example given above is a special case () for a more general construction given in [52, Theorem 3.9], where the decreasing chain of multiplicative domains have been created to provide the multiplicative index of the channel to be . We think in the general case, the operator systems are also algebras and one can get , but we leave it as a future avenue to explore.
SIII.4 Diagonal unitary covariant channels
In this section, we study the scrambling times and Wielandt indices of a special class of quantum channels that are covariant under the action of the diagonal unitary group. These channels were introduced and extensively studied in [53]. Here, we only recall some basic results. Note that we call column stochastic if it is entrywise non-negative and for all , . Furthermore, denotes the set of all diagonal unitary matrices in .
Theorem SIII.14.
For a channel , the following are equivalent:
-
•
.
-
•
with column stochastic and positive semi-definite such that
(S91)
A channel as above is called conjugate diagonal unitary covariant (CDUC).
Theorem SIII.15.
For a channel , the following are equivalent:
-
•
.
-
•
with column stochastic, , and , such that
(S92)
A channel as above is called diagonal unitary covariant (DUC).
For the class of (C)DUC channels, we will show that the properties of strict positivity, scrambling, mixing, and primitivity are all equivalent to the corresponding properties of the classical stochastic matrix . Let us first introduce the definitions of these properties for a stochastic matrix.
Definition SIII.16.
A column stochastic matrix is said to be
-
•
strictly positive if .
-
•
scrambling if such that .
-
•
mixing if is a simple eigenvalue of and has no other peripheral eigenvalues.
-
•
primitive if it is mixing and its unique invariant vector has full support.
Remark SIII.17.
For a stochastic matrix, the spectral properties of mixing/primitivity can be verified by analyzing the connectivity of the directed graph associated with the matrix [34, Section 2.3].
Note that if one uses classical channels of the form , the quantum definitions of strict positivity, scrambling, mixing, and primitivity that were introduced in the previous sections all reduce to the classical definitions introduced above. Let us also observe that in the classical case, Theorem SII.1 and Corollary SIII.5 reduce to the following results.
Theorem SIII.18.
For a column stochastic , the following are equivalent
-
•
is mixing.
-
•
such that is scrambling.
Theorem SIII.19.
For a column stochastic , the following are equivalent
-
•
is primitive.
-
•
such that is strictly positive.
We are now ready to prove some of our main results in this section.
Theorem SIII.20.
The following equivalences hold for DUC and CDUC channels.
-
•
A CDUC channel is strictly positive is strictly positive.
-
•
A DUC channel is strictly positive is strictly positive.
Proof.
Clearly, if or is stricly positive, we can restrict to diagonal input states to conclude that is also stricly positive. Conversely, let be strictly positive. Let us first deal with the CDUC case. It suffices to show that is invertible for all pure states . If for some , invertibility of follows easily from strict positivity of . Otherwise, there exist distinct such that . Note that denotes the entry of the column vector . In this case, for an arbitrary we can write
Here, denotes the entrywise product of vectors and since is positive semi-definite, the second term above is always non-negative. Moreover, the first term is positive for all . For , the first term is again positive since and . Thus, for all , which proves that is invertible for all pure .
In the DUC case, we proceed similarly. It suffices to show that is invertible for all pure states , when is strictly positive. If for some , invertibility of follows easily from strict positivity of . Otherwise, there exist distinct such that . In this case, for an arbitrary we can write
Note that all the terms inside the sum above are non-negative. Moreover, the first sum is positive for all with either or . If both and (i.e. , we can choose such that . Then, the block in the second sum above is positive, since
Thus, for all , which proves the desired result. ∎
Theorem SIII.21.
The following equivalences hold for DUC and CDUC channels.
-
•
A CDUC channel is scrambling if and only if is scrambling.
-
•
A DUC channel is scrambling if and only if is scrambling.
Proof.
In both the CDUC and the DUC case, our aim would be to appropriately decompose the function (for pure states ) into non-negative parts so as to obtain the desired result. Let us tackle the CDUC case first. Here, we have
Notice that since is entrywise non-negative and is positive semi-definite, all three terms above are non-negative. Now, assume that is scrambling, so that for all pure states . Then, we can choose and for , so that
Conversely, if is scrambling, i.e., for all , then for any two orthogonal pure states , by identifying indices such that and , we get
Now, for a DUC channel , we can follow the same steps as above to obtain
As before, since is a channel, the constraints on force all three sums above to be non-negative. The remaining argument is an exact replica of the one used in the CDUC case. ∎
Theorem SIII.22.
The following equivalences hold for DUC and CDUC channels.
-
•
A CDUC channel is primitive if and only if is primitive.
-
•
A DUC channel is primitive if and only if is primitive.
Proof.
Theorem SIII.23.
The following equivalences hold for DUC and CDUC channels.
-
•
A CDUC channel is mixing if and only if is mixing.
-
•
A DUC channel is mixing if and only if is mixing.
Proof.
We now shift our focus to the scrambling times and Wielandt indices of (C)DUC channels. We will borrow results from the classical literature to provide optimal upper bounds on these indices for (C)DUC channels. Let us first define these indices for stochastic matrices.
Definition SIII.24.
For a mixing (resp. primitive) stochastic matrix , we define
(S98) |
We call the time of and the Wielandt index333The number is also sometimes called the primitivity index of (see e.g. [21]). of . Optimal bounds are known for these indices, which are stated below. The following stochastic matrix (in appropriate dimension ) serves to prove the optimality of these bounds:
(S99) |
Theorem SIII.25.
Clearly, from Theorems SIII.20-SIII.23 and SIII.25, SIII.26, the corollaries given below follow immediately.
Corollary SIII.27.
Let be a mixing stochastic matrix. Then, for any CDUC channel and any DUC channel ,
(S102) |
Equality is achieved above for (see Eq. (S99)).
Corollary SIII.28.
Let be a primitive stochastic matrix. Then, for any CDUC channel and any DUC channel ,
(S103) |
Equality is achieved above for (see Eq. (S99)).
SIII.5 Trade-off relation
In this short section, we connect the one-shot zero-error capacities of a channel with that of its complementary channel. Recall that for any channel with linearly independent Kraus representation
there is a complementary channel defined by
where are the matrix units of .
Note that if denotes the adjoint of the channel , then
for all and . Thus, it follows that and hence we get the operator system of as the image of , that is,
In the following proposition we provide a relation between the one-shot zero-error quantum capacity of to the one-shot zero-error classical capacity of its complementary channel .
Proposition SIII.29.
Let be a quantum channel and let be its complementary channel. Then, it holds that
Proof.
The basic idea of the proof is the complementary relation between the error correcting subspaces of a channel and the private subspaces of its complementary channel (see [56, 57]).
Let be the largest subspace in which can be recovered, i.e., . More precisely, is the largest subspace where admits a channel such that , for all . Then, it follows that for all . Indeed, from the Knill-Laflamme condition ([18]) for error correction, it holds that
where is the projection onto , are the Kraus operator of , and . Note that any satisfies . Thus, we obtain for any
Let . Note that is a positive semi-definite matrix. This follows from writing as a row matrix, and noting that . Thus, takes the form
on . Therefore, in any zero-error encoding of classical messages to be sent through , there can only be at most one code state from , which means that . Optimizing over all zero-error classical encodings gives us the required bound:
(S104) |
∎