Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2410.17908

Fully smooth one shot multipartite soft covering of quantum states without pairwise independence

Sen, Pranab

Published Oct 23, 2024• 1 citation
arXivHTMLPDF

Abstract

We provide a powerful machinery to prove fully smooth one shot multipartite covering, aka convex split, type results for quantum states. In the important case of smooth multipartite convex split for classical quantum states, aka smooth multipartite soft covering, our machinery works even when certain marginals of these states do not satisfy pairwise independence. The recent paper (arXiv:2410.17893) gave the first proof of fully smooth multipartite convex split by simplifying and extending a technique called telescoping, developed originally for convex split by (arXiv:2304.12056). However, that work as well as all earlier works on convex split assumed pairwise or even more independence amongst suitable marginals of the quantum states. We develop our machinery by leveraging known results from (arXiv:1806.07278) involving tilting and augmentation smoothing of quantum states, combined with a novel observation that a natural quantum operation `flattening' quantum states actually preserves the fidelity. This machinery is powerful enough to lead to non pairwise independent results as mentioned above. As an application of our soft covering lemma without pairwise independence, we prove the `natural' one shot inner bounds for sending private classical information over a quantum wiretap interference channel, even when the classical encoders at the input lose pairwise independence in their encoding strategies to a certain extent. This result was unknown earlier even in the classical setting.

DOI
10.48550/arxiv.2410.17908

Related papers

Fully smooth one shot multipartite covering and decoupling of quantum states via telescoping

Sen, Pranab

We prove fully smooth one shot multipartite covering, aka convex split, results as well as fully smooth multipartite decoupling results for quantum states. Fully smooth one shot results for these problems were not known earlier, though the works of Cheng, Gao and Berta (arXiv:2304.12056) for convex split, and Colomer and Winter (arXiv:2304.12114) for decoupling, had made substantial progress by introducing a technique called telescoping cum mean zero decomposition of quantum states. We show that the telescoping cum mean zero decomposition technique can in fact be simplified and further extended in order to prove fully smooth decoupling and convex split results. Our techniques allow us to prove the first fully smooth one shot inner bounds for various fundamental network quantum information theory problems like e.g. the generalised Slepian Wolf problem of Anshu, Jain and Warsi (arXiv:1703.09961). We can also prove for the first time the natural polyhedral inner bound for sending quantum information over a quantum multiple access channel with limited entanglement assistance, first conjectured in Chakraborty, Nema and Sen (arXiv::2102.02187).

arXiv:2410.17893•Oct 23, 2024•1 citation

A one-shot quantum joint typicality lemma.

Pranab Kumar Sen

A fundamental tool to prove inner bounds in classical network information theory is the so-called `conditional joint typicality lemma'. In addition to the lemma, one often uses unions and intersections of typical sets in the inner bound arguments without so much as giving them a second thought. These arguments fail spectacularly in the quantum setting. This bottleneck shows up in the fact that so-called `simultaneous decoders', as opposed to `successive cancellation decoders', are known for very few channels in quantum network information theory. Another manifestation of this bottleneck is the lack of so-called `simutaneous smoothing' theorems for quantum states. In this paper, we overcome the bottleneck by proving for the first time a one-shot quantum joint typicality lemma with robust union and intersection properties. To do so, we develop two novel tools in quantum information theory which may be of independent interest. The first tool is a simple geometric idea called `tilting', which increases the angles between a family of subspaces in orthogonal directions. The second tool, called `smoothing', is a way of perturbing a multipartite quantum state such that the partial trace over any subset of registers does not increase the operator norm by much. Our joint typicality lemma allows us to construct simultaneous quantum decoders for many multiterminal quantum channels. It provides a powerful tool to extend many results in classical network information theory to the one-shot quantum setting.

•Jun 19, 2018•15 citations

One-shot inner bounds for sending private classical information over a quantum MAC

Sayantan Chakraborty, Aditya Nema, Pranab Sen

We provide the first inner bounds for sending private classical information over a quantum multiple access channel. We do so by using three powerful information theoretic techniques: rate splitting, quantum simultaneous decoding for multiple access channels, and a novel smoothed distributed covering lemma for classical quantum channels. Our inner bounds are given in the one shot setting and accordingly the three techniques used are all very recent ones specifically designed to work in this setting. The last technique is new to this work and is our main technical advancement. For the asymptotic iid setting, our one shot inner bounds lead to the natural quantum analogue of the best classical inner bounds for this problem. A full version of this paper is accessible at [5].

arXiv:2105.06100•IEEE Information Theory Workshop (ITW)•Oct 17, 2021•11 citations

Coherent Distributed Source Simulation as Multipartite Quantum State Splitting

Ian M. George, Hao–Chung Cheng

Recently, Cheng et al generalized quantum state splitting (QSS) to the multipartite setting for applications in quantum network information theory. Furthermore, Cheng and Gao recently noted that unipartite convex splitting reduces to soft covering for classical-quantum states. Soft covering is a common primitive in (classical, network) information theory that does not seem to need an extension to the multipartite setting, e.g. when establishing rates for many party distributed source simulation (DSS). This suggests a gap in our understanding of how these tasks are related. In this work we clarify this relation. We first identify “incoherent” QSS without entanglement assistance with DSS in the bipartite setting. Motivated by this, we identify “coherent” DSS as a special case of multipartite QSS. We then establish a one-shot rate region for multipartite QSS in terms of smooth multipartite mutual information quantities, which in turn implies a one-shot rate region for coherent DSS. Lastly, we establish a strong asymptotic equipartition property for mutual information quantities to establish a strong converse rate region for multipartite QSS and coherent DSS.

IEEE International Symposium on Information Theory (ISIT)•Jul 7, 2024•5 citations

Quantum soft-covering lemma with applications to rate-distortion coding, resolvability and identification via quantum channels

Touheed Anwar Atif, S. Sandeep Pradhan, Andreas Winter

We propose a quantum soft-covering problem for a given general quantum channel and one of its output states, which consists in finding the minimum rank of an input state needed to approximate the given channel output. We then prove a one-shot quantum covering lemma in terms of smooth min-entropies by leveraging decoupling techniques from quantum Shannon theory. This covering result is shown to be equivalent to a coding theorem for rate distortion under a posterior (reverse) channel distortion criterion by two of the present authors. Both one-shot results directly yield corollaries about the i.i.d. asymptotics, in terms of the coherent information of the channel. The power of our quantum covering lemma is demonstrated by two additional applications: first, we formulate a quantum channel resolvability problem, and provide one-shot as well as asymptotic upper and lower bounds. Second, we provide new upper bounds on the unrestricted and simultaneous identification capacities of quantum channels, in particular separating for the first time the simultaneous identification capacity from the unrestricted one, proving a long-standing conjecture of the last author.

arXiv:2306.12416•International Journal of Quantum Information•Apr 30, 2024•15 citations

Matrix Chernoff concentration bounds for multipartite soft covering and expander walks

Sen, Pranab

We prove Chernoff style exponential concentration bounds for classical quantum soft covering generalising previous works which gave bounds only in expectation. Our first result is an exponential concentration bound for fully smooth multipartite classical quantum soft covering, extending Ahlswede-Winter's seminal result in several important directions. Next, we prove a new exponential concentration result for smooth unipartite classical quantum soft covering when the samples are taken via a random walk on an expander graph. The resulting expander matrix Chernoff bound complements the results of Garg, Lee, Song and Srivastava in important ways. We prove our new expander matrix Chernoff bound by generalising McDiarmid's method of bounded differences for functions of independent random variables to a new method of bounded excision for functions of expander walks. This new technical tool should be of independent interest. A notable feature of our new concentration bounds is that they have no explicit Hilbert space dimension factor. This is because our bounds are stated in terms of the trace distance of the sample averaged quantum state to the `ideal' quantum state. Our bounds are sensitive to certain smooth Renyi max divergences, giving a clear handle on the number of samples required to achieve a target trace distance. Using these novel features, we prove new one shot inner bounds for sending private classical information over different kinds of quantum wiretap channels with many non-interacting eavesdroppers that are independent of the Hilbert space dimensions of the eavesdroppers. Such powerful results were unknown earlier even in the fully classical setting.

arXiv:2504.04067•Apr 5, 2025•0 citations
We provide a powerful machinery to prove fully smooth one shot multipartite covering, aka convex split, type results for quantum states. In the important case of smooth multipartite convex split for classical quantum states, aka smooth multipartite soft covering, our machinery works even when certain marginals of these states do not satisfy pairwise independence. The recent paper (arXiv:2410.17893) gave the first proof of fully smooth multipartite convex split by simplifying and extending a technique called telescoping, developed originally for convex split by (arXiv:2304.12056). However, that work as well as all earlier works on convex split assumed pairwise or even more independence amongst suitable marginals of the quantum states. We develop our machinery by leveraging known results from (arXiv:1806.07278) involving tilting and augmentation smoothing of quantum states, combined with a novel observation that a natural quantum operation flattening' quantum states actually preserves the fidelity. This machinery is powerful enough to lead to non pairwise independent results as mentioned above. As an application of our soft covering lemma without pairwise independence, we prove the natural' one shot inner bounds for sending private classical information over a quantum wiretap interference channel, even when the classical encoders at the input lose pairwise independence in their encoding strategies to a certain extent. This result was unknown earlier even in the classical setting.
We prove fully smooth one shot multipartite covering, aka convex split, results as well as fully smooth multipartite decoupling results for quantum states. Fully smooth one shot results for these problems were not known earlier, though the works of Cheng, Gao and Berta (arXiv:2304.12056) for convex split, and Colomer and Winter (arXiv:2304.12114) for decoupling, had made substantial progress by introducing a technique called telescoping cum mean zero decomposition of quantum states. We show that the telescoping cum mean zero decomposition technique can in fact be simplified and further extended in order to prove fully smooth decoupling and convex split results. Our techniques allow us to prove the first fully smooth one shot inner bounds for various fundamental network quantum information theory problems like e.g. the generalised Slepian Wolf problem of Anshu, Jain and Warsi (arXiv:1703.09961). We can also prove for the first time the natural polyhedral inner bound for sending quantum information over a quantum multiple access channel with limited entanglement assistance, first conjectured in Chakraborty, Nema and Sen (arXiv::2102.02187).
A fundamental tool to prove inner bounds in classical network information theory is the so-called `conditional joint typicality lemma'. In addition to the lemma, one often uses unions and intersections of typical sets in the inner bound arguments without so much as giving them a second thought. These arguments fail spectacularly in the quantum setting. This bottleneck shows up in the fact that so-called `simultaneous decoders', as opposed to `successive cancellation decoders', are known for very few channels in quantum network information theory. Another manifestation of this bottleneck is the lack of so-called `simutaneous smoothing' theorems for quantum states. In this paper, we overcome the bottleneck by proving for the first time a one-shot quantum joint typicality lemma with robust union and intersection properties. To do so, we develop two novel tools in quantum information theory which may be of independent interest. The first tool is a simple geometric idea called `tilting', which increases the angles between a family of subspaces in orthogonal directions. The second tool, called `smoothing', is a way of perturbing a multipartite quantum state such that the partial trace over any subset of registers does not increase the operator norm by much. Our joint typicality lemma allows us to construct simultaneous quantum decoders for many multiterminal quantum channels. It provides a powerful tool to extend many results in classical network information theory to the one-shot quantum setting.
We provide the first inner bounds for sending private classical information over a quantum multiple access channel. We do so by using three powerful information theoretic techniques: rate splitting, quantum simultaneous decoding for multiple access channels, and a novel smoothed distributed covering lemma for classical quantum channels. Our inner bounds are given in the one shot setting and accordingly the three techniques used are all very recent ones specifically designed to work in this setting. The last technique is new to this work and is our main technical advancement. For the asymptotic iid setting, our one shot inner bounds lead to the natural quantum analogue of the best classical inner bounds for this problem. A full version of this paper is accessible at [5].
Recently, Cheng et al generalized quantum state splitting (QSS) to the multipartite setting for applications in quantum network information theory. Furthermore, Cheng and Gao recently noted that unipartite convex splitting reduces to soft covering for classical-quantum states. Soft covering is a common primitive in (classical, network) information theory that does not seem to need an extension to the multipartite setting, e.g. when establishing rates for many party distributed source simulation (DSS). This suggests a gap in our understanding of how these tasks are related. In this work we clarify this relation. We first identify “incoherent” QSS without entanglement assistance with DSS in the bipartite setting. Motivated by this, we identify “coherent” DSS as a special case of multipartite QSS. We then establish a one-shot rate region for multipartite QSS in terms of smooth multipartite mutual information quantities, which in turn implies a one-shot rate region for coherent DSS. Lastly, we establish a strong asymptotic equipartition property for mutual information quantities to establish a strong converse rate region for multipartite QSS and coherent DSS.
We propose a quantum soft-covering problem for a given general quantum channel and one of its output states, which consists in finding the minimum rank of an input state needed to approximate the given channel output. We then prove a one-shot quantum covering lemma in terms of smooth min-entropies by leveraging decoupling techniques from quantum Shannon theory. This covering result is shown to be equivalent to a coding theorem for rate distortion under a posterior (reverse) channel distortion criterion by two of the present authors. Both one-shot results directly yield corollaries about the i.i.d. asymptotics, in terms of the coherent information of the channel. The power of our quantum covering lemma is demonstrated by two additional applications: first, we formulate a quantum channel resolvability problem, and provide one-shot as well as asymptotic upper and lower bounds. Second, we provide new upper bounds on the unrestricted and simultaneous identification capacities of quantum channels, in particular separating for the first time the simultaneous identification capacity from the unrestricted one, proving a long-standing conjecture of the last author.
We prove Chernoff style exponential concentration bounds for classical quantum soft covering generalising previous works which gave bounds only in expectation. Our first result is an exponential concentration bound for fully smooth multipartite classical quantum soft covering, extending Ahlswede-Winter's seminal result in several important directions. Next, we prove a new exponential concentration result for smooth unipartite classical quantum soft covering when the samples are taken via a random walk on an expander graph. The resulting expander matrix Chernoff bound complements the results of Garg, Lee, Song and Srivastava in important ways. We prove our new expander matrix Chernoff bound by generalising McDiarmid's method of bounded differences for functions of independent random variables to a new method of bounded excision for functions of expander walks. This new technical tool should be of independent interest. A notable feature of our new concentration bounds is that they have no explicit Hilbert space dimension factor. This is because our bounds are stated in terms of the trace distance of the sample averaged quantum state to the `ideal' quantum state. Our bounds are sensitive to certain smooth Renyi max divergences, giving a clear handle on the number of samples required to achieve a target trace distance. Using these novel features, we prove new one shot inner bounds for sending private classical information over different kinds of quantum wiretap channels with many non-interacting eavesdroppers that are independent of the Hilbert space dimensions of the eavesdroppers. Such powerful results were unknown earlier even in the fully classical setting.