Showing 1–17 of 17 results for author: Bjelaković, I

Semantic Security with Infinite Dimensional Quantum Eavesdropping Channel

Authors: Matthias Frey, Igor Bjelaković, Janis Nötzel, Sławomir Stańczak

Abstract: We propose a new proof method for direct coding theorems for wiretap channels where the eavesdropper has access to a quantum version of the transmitted signal on an infinite-dimensional Hilbert space and the legitimate parties communicate through a classical channel or a classical input, quantum output (cq) channel. The transmitter input can be subject to an additive cost constraint, which special… ▽ More We propose a new proof method for direct coding theorems for wiretap channels where the eavesdropper has access to a quantum version of the transmitted signal on an infinite-dimensional Hilbert space and the legitimate parties communicate through a classical channel or a classical input, quantum output (cq) channel. The transmitter input can be subject to an additive cost constraint, which specializes to the case of an average energy constraint. This method yields errors that decay exponentially with increasing block lengths. Moreover, it provides a guarantee of a quantum version of semantic security, which is an established concept in classical cryptography and physical layer security. Therefore, it complements existing works which either do not prove the exponential error decay or use weaker notions of security. The main part of this proof method is a direct coding result on channel resolvability which states that there is only a doubly exponentially small probability that a standard random codebook does not solve the channel resolvability problem for the cq channel. Semantic security has strong operational implications meaning essentially that the eavesdropper cannot use its quantum observation to gather any meaningful information about the transmitted signal. We also discuss the connections between semantic security and various other established notions of secrecy. △ Less

Submitted 23 February, 2025; v1 submitted 16 May, 2022; originally announced May 2022.

Journal ref: IEEE Transactions on Information Theory, vol. 71(4), 2025

Arbitrarily varying and compound classical-quantum channels and a note on quantum zero-error capacities

Authors: Igor Bjelaković, Holger Boche, Gisbert Janßen, Janis Nötzel

Abstract: We consider compound as well as arbitrarily varying classical-quantum channel models. For classical-quantum compound channels, we give an elementary proof of the direct part of the coding theorem. A weak converse under average error criterion to this statement is also established. We use this result together with the robustification and elimination technique developed by Ahlswede in order to give… ▽ More We consider compound as well as arbitrarily varying classical-quantum channel models. For classical-quantum compound channels, we give an elementary proof of the direct part of the coding theorem. A weak converse under average error criterion to this statement is also established. We use this result together with the robustification and elimination technique developed by Ahlswede in order to give an alternative proof of the direct part of the coding theorem for a finite classical-quantum arbitrarily varying channels with the criterion of success being average error probability. Moreover we provide a proof of the strong converse to the random coding capacity in this setting.The notion of symmetrizability for the maximal error probability is defined and it is shown to be both necessary and sufficient for the capacity for message transmission with maximal error probability criterion to equal zero. Finally, it is shown that the connection between zero-error capacity and certain arbitrarily varying channels is, just like in the case of quantum channels, only partially valid for classical-quantum channels. △ Less

Submitted 28 September, 2012; v1 submitted 27 September, 2012; originally announced September 2012.

Comments: 37 pages, 0 figures. Accepted for publication in the LNCS Volume in Memory of Rudolf Ahlswede. Includes a section on certain differences between classical and classical-quantum channels regarding their zero-error capacities

Universal quantum state merging

Authors: Igor Bjelaković, Holger Boche, Gisbert Janßen

Abstract: We determine the optimal entanglement rate of quantum state merging when assuming that the state is unknown except for its membership in a certain set of states. We find that merging is possible at the lowest rate allowed by the individual states. Additionally, we establish a lower bound for the classical cost of state merging under state uncertainty. To this end we give an elementary proof for th… ▽ More We determine the optimal entanglement rate of quantum state merging when assuming that the state is unknown except for its membership in a certain set of states. We find that merging is possible at the lowest rate allowed by the individual states. Additionally, we establish a lower bound for the classical cost of state merging under state uncertainty. To this end we give an elementary proof for the cost in case of a perfectly known state which makes no use of the "resource framework". As applications of our main result, we determine the capacity for one-way entanglement distillation if the source is not perfectly known. Moreover, we give another achievability proof for the entanglement generation capacity over compound quantum channels. △ Less

Submitted 26 February, 2013; v1 submitted 14 June, 2011; originally announced June 2011.

Comments: 35 pages, 0 figures, Accepted for publication in J. Math. Phys

Journal ref: J. Math. Phys. 54, 032204 (2013)

Quantum capacity under adversarial quantum noise: arbitrarily varying quantum channels

Authors: Rudolf Ahlswede, Igor Bjelakovic, Holger Boche, Janis Noetzel

Abstract: We investigate entanglement transmission over an unknown channel in the presence of a third party (called the adversary), which is enabled to choose the channel from a given set of memoryless but non-stationary channels without informing the legitimate sender and receiver about the particular choice that he made. This channel model is called arbitrarily varying quantum channel (AVQC). We derive a… ▽ More We investigate entanglement transmission over an unknown channel in the presence of a third party (called the adversary), which is enabled to choose the channel from a given set of memoryless but non-stationary channels without informing the legitimate sender and receiver about the particular choice that he made. This channel model is called arbitrarily varying quantum channel (AVQC). We derive a quantum version of Ahlswede's dichotomy for classical arbitrarily varying channels. This includes a regularized formula for the common randomness-assisted capacity for entanglement transmission of an AVQC. Quite surprisingly and in contrast to the classical analog of the problem involving the maximal and average error probability, we find that the capacity for entanglement transmission of an AVQC always equals its strong subspace transmission capacity. These results are accompanied by different notions of symmetrizability (zero-capacity conditions) as well as by conditions for an AVQC to have a capacity described by a single-letter formula. In he final part of the paper the capacity of the erasure-AVQC is computed and some light shed on the connection between AVQCs and zero-error capacities. Additionally, we show by entirely elementary and operational arguments motivated by the theory of AVQCs that the quantum, classical, and entanglement-assisted zero-error capacities of quantum channels are generically zero and are discontinuous at every positivity point. △ Less

Submitted 10 December, 2012; v1 submitted 3 October, 2010; originally announced October 2010.

Comments: 49 pages, no figures, final version of our papers arXiv:1010.0418v2 and arXiv:1010.0418. Published "Online First" in Communications in Mathematical Physics, 2012

Report number: Mittag-Leffler-2010fall

Entanglement Transmission over Arbitrarily Varying Quantum Channels

Authors: R. Ahlswede, I. Bjelakovic, H. Boche, J. Noetzel

Abstract: We derive a regularized formula for the common randomness assisted entanglement transmission capacity of finite arbitrarily varying quantum channels (AVQC's). For finite AVQC's with positive capacity for classical message transmission we show, by derandomization through classical forward communication, that the random capacity for entanglement transmission equals the deterministic capacity for ent… ▽ More We derive a regularized formula for the common randomness assisted entanglement transmission capacity of finite arbitrarily varying quantum channels (AVQC's). For finite AVQC's with positive capacity for classical message transmission we show, by derandomization through classical forward communication, that the random capacity for entanglement transmission equals the deterministic capacity for entanglement transmission. This is a quantum version of the famous Ahlswede dichotomy. In the infinite case, we derive a similar result for certain classes of AVQC's. At last, we give two possible definitions of symmetrizability of an AVQC. △ Less

Submitted 30 April, 2010; originally announced April 2010.

Comments: 6 pages, no figures. Accepted for presentation at the ISIT 2010 Austin, Texas. This is the conference version of a paper in preparation.

Entanglement Transmission Capacity of Compound Channels

Authors: Igor Bjelakovic, Holger Boche, Janis Noetzel

Abstract: We determine the optimal achievable rate at which entanglement can be reliably transmitted when the memoryless channel used during transmission is unknown both to sender and receiver. To be more precise, we assume that both of them only know that the channel belongs to a given set of channels. Thus, they have to use encoding and decoding schemes that work well for the whole set. We determine the optimal achievable rate at which entanglement can be reliably transmitted when the memoryless channel used during transmission is unknown both to sender and receiver. To be more precise, we assume that both of them only know that the channel belongs to a given set of channels. Thus, they have to use encoding and decoding schemes that work well for the whole set. △ Less

Submitted 20 April, 2009; originally announced April 2009.

Comments: To appear in the proceedings of ISIT 2009

Entanglement transmission and generation under channel uncertainty: Universal quantum channel coding

Authors: I. Bjelakovic, H. Boche, J. Noetzel

Abstract: We determine the optimal rates of universal quantum codes for entanglement transmission and generation under channel uncertainty. In the simplest scenario the sender and receiver are provided merely with the information that the channel they use belongs to a given set of channels, so that they are forced to use quantum codes that are reliable for the whole set of channels. This is precisely the… ▽ More We determine the optimal rates of universal quantum codes for entanglement transmission and generation under channel uncertainty. In the simplest scenario the sender and receiver are provided merely with the information that the channel they use belongs to a given set of channels, so that they are forced to use quantum codes that are reliable for the whole set of channels. This is precisely the quantum analog of the compound channel coding problem. We determine the entanglement transmission and entanglement-generating capacities of compound quantum channels and show that they are equal. Moreover, we investigate two variants of that basic scenario, namely the cases of informed decoder or informed encoder, and derive corresponding capacity results. △ Less

Submitted 25 May, 2009; v1 submitted 27 November, 2008; originally announced November 2008.

Comments: 45 pages, no figures. Section 6.2 rewritten due to an error in equation (72) of the old version. Added table of contents, added section 'Conclusions and further remarks'. Accepted for publication in 'Communications in Mathematical Physics'

On Quantum Capacity of Compound Channels

Authors: I. Bjelakovic, H. Boche, J. Noetzel

Abstract: In this paper we address the issue of universal or robust communication over quantum channels. Specifically, we consider memoryless communication scenario with channel uncertainty which is an analog of compound channel in classical information theory. We determine the quantum capacity of finite compound channels and arbitrary compound channels with informed decoder. Our approach in the finite ca… ▽ More In this paper we address the issue of universal or robust communication over quantum channels. Specifically, we consider memoryless communication scenario with channel uncertainty which is an analog of compound channel in classical information theory. We determine the quantum capacity of finite compound channels and arbitrary compound channels with informed decoder. Our approach in the finite case is based on the observation that perfect channel knowledge at the decoder does not increase the capacity of finite quantum compound channels. As a consequence we obtain coding theorem for finite quantum averaged channels, the simplest class of channels with long-term memory. The extension of these results to quantum compound channels with uninformed encoder and decoder, and infinitely many constituents remains an open problem. △ Less

Submitted 7 August, 2008; originally announced August 2008.

Comments: 16 pages, no figures

Classical Capacities of Averaged and Compound Quantum Channels

Authors: Igor Bjelakovic, Holger Boche

Abstract: We determine the capacity of compound classical-quantum channels. As a consequence we obtain the capacity formula for the averaged classical-quantum channels. The capacity result for compound channels demonstrates, as in the classical setting, the existence of reliable universal classical-quantum codes in scenarios where the only a priori information about the channel used for the transmission o… ▽ More We determine the capacity of compound classical-quantum channels. As a consequence we obtain the capacity formula for the averaged classical-quantum channels. The capacity result for compound channels demonstrates, as in the classical setting, the existence of reliable universal classical-quantum codes in scenarios where the only a priori information about the channel used for the transmission of information is that it belongs to a given set of memoryless classical-quantum channels. Our approach is based on the universal classical approximation of the quantum relative entropy which in turn relies on the universal hypothesis testing results. △ Less

Submitted 16 February, 2009; v1 submitted 16 October, 2007; originally announced October 2007.

Comments: 15 pages, no figures. Typos corrected. Remarks and suggestions of the referees incorporated. Submitted to IEEE Transactions on Information Theory

Typical support and Sanov large deviations of correlated states

Authors: I. Bjelakovic, J. -D. Deuschel, T. Krueger, R. Seiler, Ra. Siegmund-Schultze, A. Szkola

Abstract: Discrete stationary classical processes as well as quantum lattice states are asymptotically confined to their respective typical support, the exponential growth rate of which is given by the (maximal ergodic) entropy. In the iid case the distinguishability of typical supports can be asymptotically specified by means of the relative entropy, according to Sanov's theorem. We give an extension to… ▽ More Discrete stationary classical processes as well as quantum lattice states are asymptotically confined to their respective typical support, the exponential growth rate of which is given by the (maximal ergodic) entropy. In the iid case the distinguishability of typical supports can be asymptotically specified by means of the relative entropy, according to Sanov's theorem. We give an extension to the correlated case, referring to the newly introduced class of HP-states. △ Less

Submitted 28 March, 2007; v1 submitted 27 March, 2007; originally announced March 2007.

Comments: 29 pages, no figures, references added

MSC Class: 60F10; 62G10; 94A15; 81S99

Ergodic Classical-Quantum Channels: Structure and Coding Theorems

Authors: Igor Bjelakovic, Holger Boche

Abstract: We consider ergodic causal classical-quantum channels (cq-channels) which additionally have a decaying input memory. In the first part we develop some structural properties of ergodic cq-channels and provide equivalent conditions for ergodicity. In the second part we prove the coding theorem with weak converse for causal ergodic cq-channels with decaying input memory. Our proof is based on the p… ▽ More We consider ergodic causal classical-quantum channels (cq-channels) which additionally have a decaying input memory. In the first part we develop some structural properties of ergodic cq-channels and provide equivalent conditions for ergodicity. In the second part we prove the coding theorem with weak converse for causal ergodic cq-channels with decaying input memory. Our proof is based on the possibility to introduce joint input-output state for the cq-channels and an application of the Shannon-McMillan theorem for ergodic quantum states. In the last part of the paper it is shown how this result implies coding theorem for the classical capacity of a class of causal ergodic quantum channels. △ Less

Submitted 16 February, 2009; v1 submitted 29 September, 2006; originally announced September 2006.

Comments: 19 pages, no figures. Final version

Journal ref: IEEE Transactions on Information Theory Vol. 54, No. 2, pp. 723-742, February 2008

A quantum version of Sanov's theorem

Authors: I. Bjelakovic, J. -D. Deuschel, T. Krueger, R. Seiler, Ra. Siegmund-Schultze, A. Szkola

Abstract: We present a quantum extension of a version of Sanov's theorem focussing on a hypothesis testing aspect of the theorem: There exists a sequence of typical subspaces for a given set $Ψ$ of stationary quantum product states asymptotically separating them from another fixed stationary product state. Analogously to the classical case, the exponential separating rate is equal to the infimum of the qu… ▽ More We present a quantum extension of a version of Sanov's theorem focussing on a hypothesis testing aspect of the theorem: There exists a sequence of typical subspaces for a given set $Ψ$ of stationary quantum product states asymptotically separating them from another fixed stationary product state. Analogously to the classical case, the exponential separating rate is equal to the infimum of the quantum relative entropy with respect to the quantum reference state over the set $Ψ$. However, while in the classical case the separating subsets can be chosen universal, in the sense that they depend only on the chosen set of i.i.d. processes, in the quantum case the choice of the separating subspaces depends additionally on the reference state. △ Less

Submitted 20 December, 2004; originally announced December 2004.

Comments: 15 pages

Quantum Stein's lemma revisited, inequalities for quantum entropies, and a concavity theorem of Lieb

Authors: Igor Bjelakovic, Rainer Siegmund-Schultze

Abstract: We derive the monotonicity of the quantum relative entropy by an elementary operational argument based on Stein's lemma in quantum hypothesis testing. For the latter we present an elementary and short proof that requires the law of large numbers only. Joint convexity of the quantum relative entropy is proven too, resulting in a self-contained elementary version of Tropp's approach to Lieb's concav… ▽ More We derive the monotonicity of the quantum relative entropy by an elementary operational argument based on Stein's lemma in quantum hypothesis testing. For the latter we present an elementary and short proof that requires the law of large numbers only. Joint convexity of the quantum relative entropy is proven too, resulting in a self-contained elementary version of Tropp's approach to Lieb's concavity theorem, according to which the map tr(exp(h+log a)) is concave in a on positive operators for self-adjoint h. △ Less

Submitted 21 March, 2012; v1 submitted 24 July, 2003; originally announced July 2003.

Comments: 18 pages, no figures. Completely rewritten update of the paper: Title changed, the proofs are considerably simplified, joint convexity of the relative entropy is taken into account and a self-contained, operational approach to a recent proof by Tropp of one of Lieb's concavity results for trace functions is presented. Use of the Hiai/Petz-approximation of the quantum relative entropy is avoided

An Ergodic Theorem for the Quantum Relative Entropy

Authors: Igor Bjelakovic, Rainer Siegmund-Schultze

Abstract: We prove the ergodic version of the quantum Stein's lemma which was conjectured by Hiai and Petz. The result provides an operational and statistical interpretation of the quantum relative entropy as a statistical measure of distinguishability, and contains as a special case the quantum version of the Shannon-McMillan theorem for ergodic states. A version of the quantum relative Asymptotic Equipa… ▽ More We prove the ergodic version of the quantum Stein's lemma which was conjectured by Hiai and Petz. The result provides an operational and statistical interpretation of the quantum relative entropy as a statistical measure of distinguishability, and contains as a special case the quantum version of the Shannon-McMillan theorem for ergodic states. A version of the quantum relative Asymptotic Equipartition Property (AEP) is given. △ Less

Submitted 13 June, 2003; originally announced June 2003.

Comments: 19 pages, no figures

Chained Typical Subspaces - a Quantum Version of Breiman's Theorem

Authors: Igor Bjelakovic, Tyll Krueger, Rainer Siegmund-Schultze, Arleta Szkola

Abstract: We give an equivalent finitary reformulation of the classical Shannon-McMillan-Breiman theorem which has an immediate translation to the case of ergodic quantum lattice systems. This version of a quantum Breiman theorem can be derived from the proof of the quantum Shannon-McMillan theorem presented in our previous work (math.DS/0207121). We give an equivalent finitary reformulation of the classical Shannon-McMillan-Breiman theorem which has an immediate translation to the case of ergodic quantum lattice systems. This version of a quantum Breiman theorem can be derived from the proof of the quantum Shannon-McMillan theorem presented in our previous work (math.DS/0207121). △ Less

Submitted 1 February, 2003; v1 submitted 31 January, 2003; originally announced January 2003.

Comments: 9 pages

The Data Compression Theorem for Ergodic Quantum Information Sources

Authors: Igor Bjelakovic, Arleta Szkola

Abstract: We extend the data compression theorem to the case of ergodic quantum information sources. Moreover, we provide an asymptotically optimal compression scheme which is based on the concept of high probability subspaces. The rate of this compression scheme is equal to the von Neumann entropy rate. We extend the data compression theorem to the case of ergodic quantum information sources. Moreover, we provide an asymptotically optimal compression scheme which is based on the concept of high probability subspaces. The rate of this compression scheme is equal to the von Neumann entropy rate. △ Less

Submitted 10 January, 2003; originally announced January 2003.

Comments: 14 pages

The Shannon-McMillan Theorem for Ergodic Quantum Lattice Systems

Authors: Igor Bjelakovic, Tyll Krueger, Rainer Siegmund-Schultze, Arleta Szkola

Abstract: We formulate and prove a quantum Shannon-McMillan theorem. The theorem demonstrates the significance of the von Neumann entropy for translation invariant ergodic quantum spin systems on n-dimensional lattices: the entropy gives the logarithm of the essential number of eigenvectors of the system on large boxes. The one-dimensional case covers quantum information sources and is basic for coding th… ▽ More We formulate and prove a quantum Shannon-McMillan theorem. The theorem demonstrates the significance of the von Neumann entropy for translation invariant ergodic quantum spin systems on n-dimensional lattices: the entropy gives the logarithm of the essential number of eigenvectors of the system on large boxes. The one-dimensional case covers quantum information sources and is basic for coding theorems. △ Less

Submitted 20 November, 2002; v1 submitted 15 July, 2002; originally announced July 2002.

Comments: 21 pages, extended version concerning subalgebras

MSC Class: 46L89; 68P30; 81Qxx