Optimal Codes for Deterministic Identification over Gaussian Channels: Closing the Capacity Gap
Pith reviewed 2026-05-10 14:47 UTC · model grok-4.3
The pith
An optimised code construction for Gaussian channels achieves the known upper bound on deterministic identification capacity, fixing it at 1/2.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By constructing an optimised code that achieves the known upper bound, we establish that the linearithmic capacity for deterministic identification over Gaussian channels is 1/2. The proposed scheme matches the known upper bounds on the rate-reliability tradeoff to first order, closing the gap in reliability performance for all admissible error decay regimes. We also demonstrate the existence of an optimum universal code that does not require knowledge of the channel parameters yet achieves capacity.
What carries the argument
The optimised code construction for deterministic identification over Gaussian channels that attains the known upper bound on capacity.
If this is right
- The linearithmic capacity equals exactly 1/2.
- Rate-reliability tradeoff bounds are tight to first order in every admissible error decay regime.
- An optimum universal code exists that achieves capacity without knowledge of channel parameters.
Where Pith is reading between the lines
- The same construction approach could be tested on other continuous memoryless channels such as Poisson or Rician fading models.
- Wireless systems that use identification rather than message transmission may now be designed with provably tight rates.
- Universal codes suggest practical deployments where the receiver does not know noise variance in advance.
Load-bearing premise
The optimised code construction actually attains the known upper bound without hidden constraints or additional assumptions on the Gaussian channel parameters or error exponents.
What would settle it
A direct calculation for a concrete noise variance showing that the constructed code's achievable rate falls short of 1/2 or its error probability exceeds the upper-bound prediction.
Figures
read the original abstract
Deterministic identification (DI) has emerged as a promising paradigm for large-scale and goal-oriented communication systems. Despite significant progress, a fundamental open problem has remained unresolved: a persistent gap between the best known lower and upper bounds on the DI capacity, as well as on the corresponding rate-reliability tradeoff bounds. In this paper, we finally close this gap for Gaussian channels $\mathcal{G}$ by constructing an optimised code that achieves the known upper bound. This allows us to establish that the linearithmic capacity for deterministic identification is $\dot{C}_{\text{DI}}(\mathcal{G})=\frac{1}{2}$. Furthermore, we analyse the rate-reliability tradeoff and show that the proposed scheme matches the known upper bounds to first order, thereby closing the existing gap in reliability performance for all admissible error decay regimes. Finally, we demonstrate the existence of an optimum universal code, which does not require knowledge of the channel parameters and yet achieves capacity.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to resolve the persistent gap between lower and upper bounds on the deterministic identification (DI) capacity for power-constrained Gaussian channels by constructing an optimized code that achieves the known upper bound. This establishes the linearithmic capacity as exactly 1/2. The manuscript further shows that the proposed scheme matches the known upper bounds on the rate-reliability tradeoff to first order across all admissible error decay regimes and demonstrates the existence of an optimum universal code achieving the same capacity without requiring knowledge of the channel parameters.
Significance. If the central construction and matching arguments hold, this work resolves a long-standing open problem in DI capacity for Gaussian channels, providing an exact characterization along with explicit optimal codes. The first-order closure of the reliability gap and the parameter-independent universal code are notable strengths with direct relevance to large-scale goal-oriented communication systems. The achievement of a parameter-free result that meets the upper bound is a clear positive.
minor comments (2)
- [Abstract] The abstract would benefit from a one-sentence indication of the main idea behind the optimized code construction (e.g., whether it relies on random coding, explicit lattice-based design, or another technique).
- [Introduction] Ensure the definition of the linearithmic rate and the precise statement of the upper bound being matched are recalled or cross-referenced in the introduction for readers new to the DI literature.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. The referee's summary correctly identifies the resolution of the long-standing gap between lower and upper bounds on the deterministic identification capacity for power-constrained Gaussian channels, along with the first-order matching of rate-reliability tradeoffs and the existence of an optimal universal code. As no specific major comments were raised in the report, we have no individual points to address point-by-point. We are prepared to incorporate any minor revisions suggested by the editor.
Circularity Check
No significant circularity; construction provides independent achievability
full rationale
The paper refers to a 'known upper bound' on the linearithmic DI capacity and constructs an optimized code asserted to achieve it exactly, yielding C_DI(G)=1/2. No equations, self-citations, or fitted parameters are shown in the provided text that would make the achievability reduce by construction to the upper bound itself or to prior self-work. The code construction, rate-reliability analysis, and universal code are presented as new contributions that close the gap, making the central claim self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Forward citations
Cited by 1 Pith paper
-
Identification for ISI Gaussian Channels
Identification capacity of ISI Gaussian channels permits super-exponential message growth ~2^(n log n R) even when ISI taps scale as n^κ for κ in [0, 1/2).
Reference graph
Works this paper leans on
-
[1]
A mathematical theory of communication,
C. E. Shannon, “A mathematical theory of communication,”The Bell System Technical Journal, vol. 27, no. 3&4, pp. 379–423 & 623–656, 1948
work page 1948
-
[2]
A theory of goal-oriented communication,
O. Goldreich, B. Juba, and M. Sudan, “A theory of goal-oriented communication,”J. ACM, vol. 59, May 2012
work page 2012
-
[3]
Novel information theoretical approaches,
H. Boche, J. Cabrera, C. Deppe, P. Kutsevol, S. Wang, F. Fitzek, S. Hirche, W. Kellerer, W. Labidi, J. Rosenberger, R. Schaefer, C. von Lengerke, M. Wiese, S. Rezwan, P. Sheshagiri, and R. Ezzine, “Novel information theoretical approaches,” in6G-life: Unveiling the Future of Technological Sovereignty, Sustainability and Trustworthiness(F. Fitzek, H. Boche...
work page 2026
-
[4]
6g perspective of mobile network operators, manufactur- ers, and verticals,
F. Fitzek, P. Schwenteck, H. Boche, W. Kellerer, G. Nguyena, and P. Seeling, “6g perspective of mobile network operators, manufactur- ers, and verticals,” in6G-life: Unveiling the Future of Technological Sovereignty, Sustainability and Trustworthiness(F. Fitzek, H. Boche, W. Kellerer, and P. Seeling, eds.), Academic Press, 2 2026. 12
work page 2026
-
[5]
R. Ahlswede and G. Dueck, “Identification via channels,”IEEE Trans- actions on Information Theory, vol. 35, no. 1, pp. 15–29, 1989
work page 1989
-
[6]
New results in the theory of identification via channels,
T. S. Han and S. Verd ´u, “New results in the theory of identification via channels,”IEEE Transactions on Information Theory, vol. 38, pp. 14– 25, 1 1992
work page 1992
-
[7]
On identification capacity of infinite alphabets or continuous-time channels,
M. Burnashev, “On identification capacity of infinite alphabets or continuous-time channels,”IEEE Transactions on Information Theory, vol. 46, no. 7, pp. 2407–2414, 2000
work page 2000
-
[8]
Secure identification for wiretap channels; robustness, super-additivity and continuity,
H. Boche and C. Deppe, “Secure identification for wiretap channels; robustness, super-additivity and continuity,”IEEE Transactions on In- formation Forensics and Security, vol. 13, no. 7, pp. 1641–1655, 2018
work page 2018
-
[9]
Identification via the broadcast chan- nel,
A. Bracher and A. Lapidoth, “Identification via the broadcast chan- nel,” in2014 IEEE International Symposium on Information Theory, pp. 1942–1946, 2014
work page 1942
-
[10]
Strongly universal hashing and identifi- cation codes via channels,
K. Kurosawa and T. Yoshida, “Strongly universal hashing and identifi- cation codes via channels,”IEEE Transactions on Information Theory, vol. 45, no. 6, pp. 2091–2095, 1999
work page 2091
-
[11]
Common randomness generation and identification over gaussian channels,
R. Ezzine, W. Labidi, H. Boche, and C. Deppe, “Common randomness generation and identification over gaussian channels,” inGLOBECOM 2020 - 2020 IEEE Global Communications Conference, pp. 1–6, 2020
work page 2020
-
[12]
Identification without randomization,
R. Ahlswede and N. Cai, “Identification without randomization,”IEEE Transactions on Information Theory, vol. 45, pp. 2636–2642, 11 1999
work page 1999
-
[13]
Deterministic Identification Over Channels With Power Constraints,
M. J. Salariseddigh, U. Pereg, H. Boche, and C. Deppe, “Deterministic Identification Over Channels With Power Constraints,”IEEE Transac- tions on Information Theory, vol. 68, pp. 1–24, 1 2022
work page 2022
-
[14]
Deterministic Identification for Molecular Communications Over the Poisson Channel,
M. J. Salariseddigh, V . Jamali, U. Pereg, H. Boche, C. Deppe, and R. Schober, “Deterministic Identification for Molecular Communications Over the Poisson Channel,”IEEE Transactions on Molecular, Biological and Multi-Scale Communications, vol. 9, pp. 408–424, 4 2023
work page 2023
-
[15]
Deterministic Identification Over Fading Channels,
M. J. Salariseddigh, U. Pereg, H. Boche, and C. Deppe, “Deterministic Identification Over Fading Channels,” inProc. 2020 IEEE Information Theory Workshop (ITW), pp. 1–5, 2021
work page 2020
-
[16]
P. Colomer, C. Deppe, H. Boche, and A. Winter, “Deterministic identi- fication over channels with finite output: a dimensional perspective on superlinear rates,”IEEE Transactions on Information Theory, vol. 71, no. 5, pp. 3373–3396, 2025
work page 2025
-
[17]
Galaxy Codes: Advancing Achievability for Deterministic Identification via Gaussian Channels,
H. Boche, C. Deppe, S. Mahmoodi, and G. Omidi, “Galaxy codes: Advancing achievability for deterministic identification via gaussian channels,” in2025 IEEE International Symposium on Information The- ory (ISIT), 2025. ArXiv[cs.IT]:2501.12548
-
[18]
Rate-Reliability Tradeoff for Deterministic Identification,
P. Colomer, C. Deppe, H. Boche, and A. Winter, “Rate-Reliability Tradeoff for Deterministic Identification,”IEEE Transactions on Com- munications, 2025. ArXiv:2502.02389
-
[19]
Deterministic iden- tification in maximally asymmetric error regimes,
P. Colomer, C. Deppe, H. Boche, and A. Winter, “Deterministic iden- tification in maximally asymmetric error regimes,” inProc. 2025 IEEE European Wireless, 2025
work page 2025
-
[20]
Rate-Reliability Tradeoff for Deterministic Identification over Gaussian Channels,
P. Colomer, C. Deppe, H. Boche, and A. Winter, “Rate-reliability tradeoff for deterministic identification over Gaussian channels.” ArXiv[cs.IT]:2602.12182, 2 2026
-
[21]
Fading channels: information- theoretic and communications aspects,
E. Biglieri, J. Proakis, and S. Shamai, “Fading channels: information- theoretic and communications aspects,”IEEE Transactions on Informa- tion Theory, vol. 44, no. 6, pp. 2619–2692, 1998
work page 1998
-
[22]
Information theoretic consid- erations for cellular mobile radio,
L. Ozarow, S. Shamai, and A. Wyner, “Information theoretic consid- erations for cellular mobile radio,”IEEE Transactions on Vehicular Technology, vol. 43, no. 2, pp. 359–378, 1994
work page 1994
- [23]
-
[24]
J. H. Conway and N. J. A. Sloane,Sphere Packings, Lattices and Groups, vol. 290 ofGrundlehren der mathematischen Wissenschaften. Springer, 3 ed., 1999
work page 1999
-
[25]
I. Csisz ´ar and J. K ¨orner,Information Theory: Coding Theorems for Discrete Memoryless Systems. Cambridge University Press, 2 ed., 2011
work page 2011
-
[26]
Universal decoding for finite-state channels,
J. Ziv, “Universal decoding for finite-state channels,”IEEE Transactions on Information Theory, vol. 31, no. 4, pp. 453–460, 1985
work page 1985
-
[27]
Reliable communication under channel uncertainty,
A. Lapidoth and P. Narayan, “Reliable communication under channel uncertainty,”IEEE Transactions on Information Theory, vol. 44, no. 6, pp. 2148–2177, 1998
work page 1998
-
[28]
Universal decoding for memoryless Gaussian channels with a deterministic interference,
N. Merhav, “Universal decoding for memoryless Gaussian channels with a deterministic interference,”IEEE Transactions on Information Theory, vol. 39, no. 4, pp. 1261–1269, 1993
work page 1993
-
[29]
Rateless coding for Gaussian channels,
U. Erez, M. D. Trott, and G. W. Wornell, “Rateless coding for Gaussian channels,” 2011
work page 2011
-
[30]
Quantum Hypothesis Testing Lemma for Deterministic Identification over Quantum Chan- nels
P. Colomer, H. Boche, and A. Winter, “Quantum hypothesis testing lemma for deterministic identification over quantum channels,” in2025 IEEE International Symposium on Information Theory (ISIT), 2025. ArXiv[cs.IT]:2504.20991. 13
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.