Exact Second-Order Asymptotics for the Wyner--Ahlswede--Körner Problem
Abstract
We determine the exact local second-order rate region of the finite-alphabet Wyner--Ahlswede--Körner problem under full support, at informative boundary points exposed by a finite supporting slope. The characterization permits nonunique optimizing test channels with unequal information variances and requires no neighborhood smoothness of the optimized first-order value. The optimal success function is a conditional Gaussian envelope averaged over the fluctuation of the helper's observed source type. For each type, the helper selects the minimum or maximum conditional variance according to the remaining description budget, while preserving both first-order rates. The converse follows from a uniform Gaussian bound for ordinary channel images. An exact posterior score decomposition separates a common source score, a nonnegative optimality gap, a negligible source residual on low-cost histories, and a conditionally independent channel fluctuation. Conditional-type covering with two endpoint optimizers and one common binning map attains the bound. Under a strict first-order benefit from the helper, a separate limiting-rate argument also gives the unrestricted weighted second-order optimum. A strictly positive finite source exhibits a strict gain over every fixed-optimizer Gaussian expression, and an exact binary image calculation illustrates the limiting coefficient.
Related
- Exact Second-Order Asymptotics for the Gaussian Gray--Wyner Problem
- Exact Second-Order Asymptotics for the Discrete Wyner--Ziv Problem
- Exact Second-Order Asymptotics for Covert Communication over DMCs with Variational Distance Constraints
- Exact Asymptotics for the 2D Euclidean Random Matching Problem
- Exact Asymptotics for the 2D Euclidean Random Matching Problem
BibTeX
@misc{cao2026exact,
title = {{Exact Second-Order Asymptotics for the Wyner--Ahlswede--Körner Problem}},
author = {Daming Cao},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2608.21991},
eprint = {2608.21991},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.21991},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Exact Second-Order Asymptotics for the Wyner--Ahlswede--Körner Problem
AU - Daming Cao
PY - 2026
DA - 2026/10/07
PB - arXiv
DO - 10.48550/arxiv.2608.21991
UR - https://arxiv.org/abs/2608.21991
AB - We determine the exact local second-order rate region of the finite-alphabet Wyner--Ahlswede--Körner problem under full support, at informative boundary points exposed by a finite supporting slope. The characterization permits nonunique optimizing test channels with unequal information variances and requires no neighborhood smoothness of the optimized first-order value. The optimal success function is a conditional Gaussian envelope averaged over the fluctuation of the helper's observed source type. For each type, the helper selects the minimum or maximum conditional variance according to the remaining description budget, while preserving both first-order rates. The converse follows from a uniform Gaussian bound for ordinary channel images. An exact posterior score decomposition separates a common source score, a nonnegative optimality gap, a negligible source residual on low-cost histories, and a conditionally independent channel fluctuation. Conditional-type covering with two endpoint optimizers and one common binning map attains the bound. Under a strict first-order benefit from the helper, a separate limiting-rate argument also gives the unrestricted weighted second-order optimum. A strictly positive finite source exhibits a strict gain over every fixed-optimizer Gaussian expression, and an exact binary image calculation illustrates the limiting coefficient.
ER -