arXiv:2304.12055 · IEEE Transactions on Information Theory

Tight One-Shot Analysis for Convex Splitting With Applications in Quantum Information Theory

Hao–Chung Cheng, Li Gao

Published Sep 19, 2025• 5 citations

Abstract

Convex splitting is a powerful technique in quantum information theory used in proving the achievability of various information-processing protocols such as quantum state redistribution and quantum network channel coding. In this work, we establish a one-shot error exponent and a one-shot exponential strong converse for convex splitting with trace distance as an error criterion. Our error exponent (resp. strong converse exponent) is positive if and only if the rate is in (resp. outside) the achievable region. This leads to new one-shot exponent results in various tasks such as communication over quantum wiretap channels, secret key distillation, one-way quantum message compression, quantum measurement simulation, and quantum channel coding with side information at the transmitter. We also establish a near-optimal one-shot characterization of the sample complexity for convex splitting, which yields matched second-order asymptotics. This then leads to stronger one-shot analysis in many quantum information-theoretic tasks.

DOI: 10.1109/tit.2025.3612051

Related papers

Tight Analysis of Convex Splitting with Applications in Quantum Information Theory

Hao–Chung Cheng, Li Gao

Convex splitting is a powerful technique in quantum information theory that applies to proving the achievability of numerous information-processing protocols. In this paper, we establish a one-shot error exponent and a one-shot strong converse for convex splitting with trace distance as the error criterion. Our result exhibits the following features. Firstly, the derived error exponent is given in terms of a generalized sandwiched Rényi mutual information which is additive for product states. Hence, our bound directly applies to the n-fold product scenario for any blocklength. Secondly, the one-shot error bound is meaningful in the sense that the error exponent is all positive on the achievable rate region. This leads to new one-shot exponent results in various tasks in quantum information theory. Conversely, we prove a one-shot strong converse to demonstrate that the convex splitting error converges to one exponentially fast at rates outside the achievable rate region. We also establish an optimal one-shot characterization of the sample complexity for convex splitting, which yields matched second-order asymptotics, showing the tightness of our result. This then leads to a stronger one-shot analysis in quantum information theory.Our technique is to introduce a unified functional analytic approach using Kosaki’s noncommutative weighted Lpnorm. Our results then follow from tight analysis based on such a norm framework.The full version of the manuscript can be found at [arXiv:2304.12055] [1].

IEEE International Symposium on Information Theory (ISIT)Jun 25, 20236 citations

Tight any-shot quantum decoupling

Mario Berta, Hao-Chung Cheng, Yongsheng Yao

Quantum information decoupling is a fundamental primitive in quantum information theory, underlying various applications in quantum physics. We prove a novel one-shot decoupling theorem formulated in terms of quantum relative entropy distance, with the decoupling error bounded by two sandwiched Rényi conditional entropies. In the asymptotic i.i.d. setting of standard information decoupling via partial trace, we show that this bound is ensemble-tight in quantum relative entropy distance and thereby yields a characterization of the associated decoupling error exponent in the low-cost-rate regime. Leveraging this framework, we derive several operational applications formulated in terms of purified distance: (i) single-letter expressions for the exact error exponents of quantum state merging in the low-entanglement-cost and high-entanglement-distillation-rate regimes, in terms of Petz-Rényi conditional entropies, and (ii) regularized expressions for achievable error exponents of entanglement distillation and quantum channel coding in terms of Petz-Rényi coherent informations. We further prove that these achievable bounds are tight for maximally correlated states and generalized dephasing channels, respectively, for the high distillation-rate/coding-rate regimes.

quant-pharXiv:2602.17430Feb 20, 20260 citations

Convex-Split and Hypothesis Testing Approach to One-Shot Quantum Measurement Compression and Randomness Extraction

Anurag Anshu, Rahul Jain, Naqueeb Ahmad Warsi

This paper concerns the problem of quantum measurement compression with side information in the one-shot setting with shared-randomness. In this problem, Alice shares a pure quantum state with Bob and the reference system. She performs a measurement on her registers and wishes to communicate the outcome to Bob using shared-randomness and classical communication. The outcome that Bob receives must be correctly correlated with the reference system and his own registers. Our goal is to concurrently minimize the classical communication and shared-randomness cost. The suggested protocol presented in this paper is based on convex-split and position based decoding. The communication is upper bounded in terms of smooth max and hypothesis testing relative entropies. A second protocol addresses the task of strong randomness extraction in the presence of quantum side information. The protocol provides an error guarantee in terms of relative entropy (as opposed to trace distance) and extracts close to the optimal number of uniform bits. As an application, we provide a new achievability result for the task of quantum measurement compression without feedback, in which Alice does not need to know the outcome of the measurement. The result achieves the optimal number of bits communicated and the required number of bits of shared-randomness, for the same task in the asymptotic and i.i.d. setting.

arXiv:1703.02342IEEE Transactions on Information TheoryMay 8, 201923 citations

Strong converse exponents of partially smoothed information measures

Mario Berta, Yongsheng Yao

Partially smoothed information measures are fundamental tools in one-shot quantum information theory. In this work, we determine the exact strong converse exponents of these measures for both pure quantum states and classical states. Notably, we find that the strong converse exponents based on trace distance takes different forms between pure and classical states, indicating that they are not uniform across all quantum states. Leveraging these findings, we derive the strong converse exponents for quantum data compression, intrinsic randomness extraction, and classical state splitting. A key technical step in our analysis is the determination of the strong converse exponent for classical privacy amplification, which is of independent interest.

arXiv:2505.06050IEEE International Symposium on Information Theory (ISIT)Jun 1, 20260 citations

Error Exponent and Strong Converse for Quantum Soft Covering

Hao–Chung Cheng, Li Gao

How well can we approximate a quantum channel output state using a random codebook with a certain size? In this work, we study the quantum soft covering problem, which uses a pairwise-independent random codebook to approximate the target output state of a quantum channel. We establish a one-shot error exponent bound and a one-shot strong converse bound on the approximation error measured in terms of the expected trace distance between the codebook-induced state and the true channel output state. When using independent and identically-distributed random codebook with a rate above the quantum mutual informationI(X : B)ρ, we prove that the error decays exponentially with its error exponent expressed by the sandwiched Rényi information. On the other hand, when the rate of the codebook size is below the quantum mutual information, the error converges to one exponentially fast. Similar results are obtained using a random constant composition codebook, whereas the sandwiched Augustin information gives the error exponent. In addition to the above large deviation analysis, our results also hold in the moderate deviation regime.

IEEE Transactions on Information TheoryAug 22, 202312 citations

Rethinking quantum smooth entropies: Tight one-shot analysis of quantum privacy amplification

Bartosz Regula, Marco Tomamichel

We introduce an improved one-shot characterisation of randomness extraction against quantum side information (privacy amplification), strengthening known one-shot bounds and providing a unified derivation of the tightest known asymptotic constraints. Our main tool is a new class of smooth conditional entropies defined by lifting classical smooth divergences through measurements. A key role is played by the measured smooth Rényi relative entropy of order 2, which we show to admit an equivalent variational form: it can be understood as allowing for smoothing over not only states, but also non-positive Hermitian operators. Building on this, we establish a tightened leftover hash lemma, significantly improving over all known smooth min-entropy bounds on extractable randomness and recovering the sharpest classical achievability results. We extend these methods to decoupling, the coherent analogue of privacy amplification, obtaining a corresponding improved one-shot bound. Relaxing our smooth entropy bounds leads to one-shot achievability results in terms of measured Rényi divergences, tightening the bounds of [Dupuis, arXiv:2105.05342] and recovering state-of-the-art asymptotic i.i.d. error exponents. We show an approximate optimality of our results by giving a matching one-shot converse bound up to additive logarithmic terms. This yields an optimal second-order asymptotic expansion of privacy amplification under trace distance, establishing a significantly tighter one-shot achievability result than previously shown in [Shen et al., arXiv:2202.11590] and proving its optimality for all hash functions.

quant-pharXiv:2603.04493Mar 6, 20260 citations