REVIEW 2 major objections 6 minor 2 cited by
On the Fundamental Limits of Integrated Sensing and Communications Under Logarithmic Loss
T0 review · 2 major / 6 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read This paper derives a closed-form capacity-distortion-power function for Gaussian integrated sensing and communications under squared-error distortion, covering the previously open non-degraded regime.
desk verdict Exact binary and Gaussian ISAC limits with a clever state-splitting trick; Theorem 5's single-letter starting point is asserted, but the paper deserves a serious referee. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing machinery is superposition coding with an auxiliary random variable $U$: the transmitter splits the message into a common part decodable by both receivers and a private part decodable only by the communication receiver, which yields the single-letter rates $I(X;Y_1|U)+I(U;Y_2)$ and the distortion $H(S|U,Y_2)$. Matching upper bounds use additional auxiliary variables and standard converse steps, and when one channel is degraded the bounds collapse to simple maximizations over $p_X$ or $p_{UX}$. Exact evaluation rests on two extremal inequalities: a binary-entropy inequality (112) that controls $I(X;Y_1|U)+I(U;Y_2)-\lambda H(S|U,Y_2)$, and a Gaussian entropy-power inequality variant (125) used for the Gaussian converse. The Gaussian squared-error result adds a state-splitting trick that splits $S$ into two independent Gaussians and rewrites the non-degraded parameter range $N_1\in(N_2,N_2+N_S)$ as an equivalent degraded system with effective sensing-noise variance $N_1$, so the previously solved case applies.
What would settle it
Fix binary parameters, say $\beta_1=0.24$, $\beta_2=0.2$, $\beta_S=0.1$, and search over all $p_{UX}$ with $|\mathcal{U}|\leq|\mathcal{X}|+1$ and $\lambda\geq 0$ to evaluate both sides of (112); a single distribution violating the claimed upper bound would refute Theorem 3. For the Gaussian formula, the same test can be run by numerically maximizing the single-letter expression in (86)–(88) for $N_1\in(N_2,N_2+N_S)$, e.g. $N_1=2.5$, $N_2=2$, $N_S=1$, $P=1$, and comparing with (93) at several $D$ values.
Extended reading notes
Core claim
On its own terms, the paper's central claim is that the capacity-distortion function for ISAC under logarithmic loss is characterized by a superposition-coding expression $C(D)=\max_{p_{UX}}\min\{I(X;Y_1),I(X;Y_1|U)+I(U;Y_2)\}$ subject to $H(S|U,Y_2)\leq D$, and that this expression is tight in the two degraded orders. The decisive new results are exact evaluations. For the Gaussian channel $Y_1=X+Z_1$, $Y_2=X+Z_2+S$ with independent noises $Z_1\sim\mathcal{N}(0,N_1)$, $Z_2\sim\mathcal{N}(0,N_2)$, state $S\sim\mathcal{N}(0,N_S)$, power constraint $P$, and squared-error distortion, Theorem 5 states that $C'_G(D,P)=\frac{1}{2}\log\left(\frac{P+N_2+N_S}{N_1 N_S^2}\left((N_1-N_2)N_S+(N_2+N_S-N_1)D\right)\right)$ for $N_1<N_2+N_S$, and $C'_G(D,P)=\frac{1}{2}\log\left(\frac{P+N_1}{N_1}\right)$ for $N_1\geq N_2+N_S$, on the full distortion interval $D\in\left[\frac{N_2 N_S}{N_2+N_S},\frac{(P+N_2)N_S}{P+N_2+N_S}\right]$. The binary-symmetric counterpart, Theorem 3, gives the same kind of complete description for all degradation orders, with the intermediate regime requiring a linear timesharing segment. The paper also establishes that when the communication channel is degraded relative to the sensing channel, rate and distortion decouple in the signaling strategy, extending the monostatic decoupling principle.
Load-bearing premise
The exact binary characterization stands on the extremal inequality (112), which asserts that a particular linear combination of mutual informations and conditional entropy is maximized by a Bernoulli input with a single bias parameter; if that inequality fails for any channel parameters, the binary capacity-distortion formula collapses.
Editorial extensions
If this is right
- In Gaussian ISAC with squared-error sensing, the exact rate-distortion-power curve is now known, so any proposed waveform can be checked against a fundamental limit instead of a bound.
- When the communication channel is degraded with respect to the sensing channel, rate and sensing distortion decouple: for a fixed input distribution any rate up to $I(X;Y_1)$ is achievable, and sensing performance depends only on the signaling distribution.
- When the sensing channel is degraded with respect to the communication channel, the optimal strategy makes the sensing receiver partially decode the message, and the rate cost of reducing distortion is exactly quantified by the formula.
- In the binary BSC-Bernoulli model, the capacity-distortion curve has three explicit regimes: a constant rate for light sensing requirements, a straight timesharing segment in the intermediate regime, and a nonlinear curve in the low-distortion regime.
- The Gaussian formula makes the same capacity-distortion-power function valid for both sequence-wise and symbol-wise logarithmic loss in the degraded and low-noise regimes, and for squared error it becomes exact even in the intermediate non-degraded regime.
Reading between the lines
- The state-splitting trick is likely portable: other Gaussian additive-noise ISAC models whose non-degraded parameter gap can be absorbed into a split state may also admit closed-form solutions, even where the logarithmic-loss version remains only bounded.
- The closed form implies that in the non-degraded regime the marginal rate gain from transmit power is $1/(2\ln 2\,(P+N_2+N_S))$, independent of the target distortion $D$; power and sensing accuracy therefore shift the rate-distortion curve additively rather than reshaping it.
- A cheap numerical grid search over binary parameters could verify the extremal inequality (112) for finite alphabets, providing strong evidence for the binary theorem before the full analytic proof is trusted.
- The paper's open question of whether sequence-wise and symbol-wise logarithmic loss always coincide could be tested in the binary intermediate regime, where the paper currently has only a lower bound for sequence-wise loss.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the capacity-distortion tradeoff for an integrated sensing and communication (ISAC) system with a communication receiver and a sensing receiver, where the sensing distortion is measured by logarithmic loss (both sequence-wise and symbol-wise). The main results are: (i) lower and upper bounds on the capacity-distortion function C(D), which coincide when the two receiver channels are degraded in either order; (ii) an explicit characterization of C(D) for a binary symmetric channel pair with additive Bernoulli state (Theorem 3); and (iii) Gaussian counterparts, including a closed-form capacity-distortion-power function under squared error distortion obtained via a state-splitting argument (Theorem 5). The paper also develops original extremal inequalities in the appendices.
Significance. If correct, the results constitute substantial progress on the information-theoretic limits of ISAC. The paper provides the first exact characterization of the log-loss capacity-distortion function in degraded broadcast scenarios, resolves a previously open non-degraded binary case, and offers a closed-form expression for the Gaussian squared-error case that was not previously known. The extremal inequalities in Appendices B and C are technically nontrivial and appear to be proven carefully. The connection between log-loss soft estimation and conventional hard estimation is also a useful conceptual contribution. However, the Gaussian squared-error result depends on a single-letter characterization that is asserted without proof, and this is a load-bearing gap that must be addressed before the claims can be fully accepted.
major comments (2)
- [Section IV-B, Eqs. (83)-(88)] The single-letter characterization of C'_G(D,P) under squared error distortion is asserted without proof. The text states that it 'closely resembles' the log-loss counterpart and footnote 2 refers to a 'simple extension' of Corollaries 1 and 2, but those corollaries are proved only for logarithmic loss over finite alphabets. For squared error, the converse requires a lower bound on the conditional variance rather than the conditional entropy, and the Gaussian case requires discretization and weak-convergence steps that are not given. Since Theorem 5's closed-form formula (93) and the state-splitting argument rest entirely on (86)-(88), this is a load-bearing gap. The authors should either provide a full proof of (83)-(88) (including the continuous-alphabet converse) or give a precise citation of a prior result that establishes it.
- [Section IV-B, Proof of Theorem 5] The state-splitting equivalence used for the subcase N1 ∈ (N2, N2+NS) is stated in a single sentence: 'In light of (99), the original ISAC system with distortion constraint D is equivalent to the new ISAC system with distortion constraint D''.' Although (99) gives the linear relationship between the average conditional variances of S and S', the proof does not explicitly show that the two capacity-distortion-power functions are the same under the mapping (100), i.e., that achievability in one system implies achievability in the other at the corresponding distortion level. This equivalence is essential for the proof of Theorem 5 and should be elaborated in detail.
minor comments (6)
- [Section II, notation paragraph] There are multiple typos in the notation paragraph: 'sufficienty' should be 'sufficiently', 'discret' should be 'discrete', and 'contiunous' should be 'continuous'.
- [Section III-A, Theorem 1 proof] The phrase 'adaption of [12, Theorem 1]' should be 'adaptation of [12, Theorem 1]', and the word 'achievability' is misspelled as 'achievability' in several places.
- [Section III-B, after Theorem 2] The sentence 'the timesharing variable can be obsorbed into the auxiliary random vaiable U' contains two typos: 'obsorbed' should be 'absorbed' and 'vaiable' should be 'variable'.
- [Section IV-A, Fig. 2 caption] The caption misspells 'symbol-wise' as 'sybmol-wise'.
- [Section IV-B, Eq. (62) and following text] The phrase 'average power contraint' should be 'average power constraint', and 'incorprating' should be 'incorporating'.
- [References] Reference [5] has an erroneous leading '5.' in the author list, and reference [3] is missing a closing period after 'detection'.
Circularity Check
No significant circularity: the central ISAC results are proved by original extremal inequalities and reductions; the only self-citation is an independent DSBS lemma, and the squared-error single-letter gap is an omitted proof, not a circular step.
full rationale
The claimed derivation chain is not circular. Theorems 1 and 2 are proved directly via superposition coding and a standard converse (Appendix A), and Corollaries 1 and 2 follow algebraically from degradedness. Theorem 3's binary formula is obtained from the lower bound R_B(D), the extremal inequality (112) proved in Appendix B, and a second-derivative analysis of J(alpha). The only self-citation, [19, Lemma 5], is used in Appendix B to convert the sign pattern of J''(alpha) into concavity or convexity of R_B(D); because [19] is a parameter-free statement about the minimum-relative-entropy region of the DSBS, not a restatement of the ISAC result, it is independent support and does not create circularity. Theorem 4's Gaussian log-loss result is proved in Appendix C through the entropy-power-inequality-based extremal inequality (125), again without assuming the answer. Theorem 5's squared-error formula (93) is derived by sandwiching the explicit lower bound R'_G(D,P) in (97) with the log-loss upper bound C_G(1/2 log(2pi e D),P), and then reducing the remaining subcase N1 in (N2,N2+N_S) to the already solved subcase via the state-splitting transformation (98)-(100); neither step presumes formula (93). The honest weakness is that the squared-error single-letter characterization (83)-(88) is asserted as 'closely resembl[ing]' the log-loss counterpart rather than proved, which is an omitted-proof or correctness gap rather than a circular reduction; that is the appropriate target for skepticism.
Assumptions & free parameters
assumptions (7)
- standard math Channel coding theorem, converse, and Fano's inequality (standard single-letterization tools).
- standard math Support lemma (Csiszar and Korner) for cardinality bounds on auxiliary random variables U and V.
- standard math Entropy power inequality (EPI) for Gaussian random variables.
- domain assumption Memoryless broadcast channel model with i.i.d. state S independent of input X, and finite alphabets (or Gaussian model in Section IV-B).
- standard math The capacity-distortion function depends only on p_{Y1|X} and p_{Y2S|X}.
- standard math Posterior distribution achieves minimal expected logarithmic loss (equations (4) and (7)).
- standard math Lemma 5 from [19] (Lei Yu, arXiv:2106.03654) on convexity and concavity of envelopes of the minimum-relative-entropy region for the DSBS.
Cite this review
Pith. "Pith review of On the Fundamental Limits of Integrated Sensing and Communications Under Logarithmic Loss." pith.science (2026). https://pith.science/paper/U3WHGFBU
@misc{pith2026250208502,
author = {Pith},
title = {Pith review of: On the Fundamental Limits of Integrated Sensing and Communications Under Logarithmic Loss},
year = {2026},
howpublished = {\url{https://pith.science/paper/U3WHGFBU}},
note = {Machine review of arXiv:2502.08502}
}
read the original abstract
We study a unified information-theoretic framework for integrated sensing and communications (ISAC), applicable to both monostatic and bistatic sensing scenarios. Special attention is given to the case where the sensing receiver (Rx) is required to produce a "soft" estimate of the state sequence, with logarithmic loss serving as the performance metric. We derive lower and upper bounds on the capacity-distortion function, which delineates the fundamental tradeoff between communication rate and sensing distortion. These bounds coincide when the channel between the ISAC transmitter (Tx) and the communication Rx is degraded with respect to the channel between the ISAC Tx and the sensing Rx, or vice versa. Furthermore, we provide a complete characterization of the capacity-distortion function for an ISAC system that simultaneously transmits information over a binary-symmetric channel and senses additive Bernoulli states through another binary-symmetric channel. The Gaussian counterpart of this problem is also explored, which, together with a state-splitting trick, fully determines the capacity-distortion-power function under the squared error distortion measure.
Figures
Figures from the paper (1 more)
Forward citations
Cited by 2 Pith papers
-
Extended AB Algorithms for Bistatic Integrated Sensing and Communications Systems
An extended Arimoto-Blahut algorithm computes the rate-distortion function for bistatic ISAC systems by converting non-convex distortion constraints into linear constraints via auxiliary variables.
-
Human Extinction A Demographic Perspective
Extrapolating current birth-rate declines, the authors predict human extinction by 2394 (2359 with societal collapse), or by 2134 (2089) if births stopped in 2024.
Reference graph
Works this paper leans on
-
[12]
In formation- theoretic limits of bistatic integrated sensing and commun ication,
T. Jiao, Y . Geng, Z. Wei, K. Wan, Z. Y ang, and G. Caire, “In formation- theoretic limits of bistatic integrated sensing and commun ication,” 2023, arXiv:2306.06648. [Online] Available: https://arxiv.or g/abs/2306.06648
arXiv 2023
-
[1]
Integrated sensing and communications: Toward dual-func tional wireless networks for 6G and beyond,
F. Liu, Y . Cui, C. Masouros, J. Xu, T. X. Han, Y . C. Eldar, an d S. Buzzi, “Integrated sensing and communications: Toward dual-func tional wireless networks for 6G and beyond,” IEEE J. Sel. Areas Commun. , vol. 40, no. 6, pp. 1728–1767, Jun. 2022
work page 2022
-
[2]
A. Liu, Z. Huang, M. Li, Y . Wan, W. Li, T. X. Han, C. Liu, R. Du , D. K. P . Tan, J. Lu, Y . Shen, F. Colone, and K. Chetty, ”A survey on fund amental limits of integrated sensing and communication,” IEEE Commun. Surveys Tuts., vol. 24, no. 2, pp. 994–1034, 2nd Quart., 2022
work page 2022
-
[3]
Joint communication and b inary state detection,
H. Joudeh and F. M. J. Willems, “Joint communication and b inary state detection,” IEEE J. Sel. Areas Inf. Theory , vol. 3, no. 1, pp. 113–124, Mar. 2022
work page 2022
-
[4]
M. -C. Chang, S. -Y . Wang, T. Erdo˘ gan and M. R. Bloch, “Rat e and detection-error exponent tradeoff for joint communicatio n and sensing of fixed channel states,” IEEE J. Sel. Areas Inf. Theory , vol. 4, pp. 245–259, 2023
work page 2023
-
[5]
Strong converse s for memoryless bi-static ISAC,
M. Ahmadipour, M. Wigger and S. Shamai, “Strong converse s for memoryless bi-static ISAC,” in Proc. IEEE Int. Symp. Inf. Theory (ISIT) , Taipei, Taiwan, Jun. 2023, pp. 1818–1823
work page 2023
-
[6]
Integ rated sensing and communication in the finite blocklength regime,
5. H. Nikbakht, M. Wigger, S. Shamai and H. V . Poor, “Integ rated sensing and communication in the finite blocklength regime,” in Proc. IEEE Int. Symp. Inf. Theory (ISIT) , Athens, Greece, 2024, pp. 2790–2795
work page 2024
-
[7]
Joint communication and channel dis crimination
H. Wu and H. Joudeh, “Joint communication and channel dis crimination”, Entropy, vol. 26, no. 12, 1089, pp. 1–23, 2024
work page 2024
Show all 19 references
-
[8]
F. Liu, Y . Xiong, K. Wan, T. X. Han and G. Caire, ”Determini stic-random tradeoff of integrated sensing and communications in Gauss ian channels: A rate-distortion perspective,” in Proc. IEEE Int. Symp. Inf. Theory (ISIT) , 2023, pp. 2326–2331
2023
-
[9]
O n the fundamental tradeoff of integrated sensing and communicat ions under Gaussian channels,
Y . Xiong, F. Liu, Y . Cui, W. Y uan, T. X. Han, and G. Caire, “O n the fundamental tradeoff of integrated sensing and communicat ions under Gaussian channels,” IEEE Trans. Inf. Theory , vol. 69, no. 9, pp. 5723– 5751, Sept. 2023
2023
-
[10]
A n information-theoretic approach to joint sensing and commu nication,
M. Ahmadipour, M. Kobayashi, M. Wigger, and G. Caire, “A n information-theoretic approach to joint sensing and commu nication,” IEEE Trans. Inf. Theory , vol. 70, no. 2, pp. 1124–1146, Feb. 2024
2024
-
[11]
Joint communication and state s ensing under logarithmic loss,
H. Joudeh and G. Caire, “Joint communication and state s ensing under logarithmic loss,” in Proc. IEEE Int. Symp. Joint Commun. Sens. (JC&S) , Leuven, Belgium, 2024, pp. 1–6
2024
-
[13]
Joint transmissio n and state estimation: A constrained channel coding approach,
W. Zhang, S. V edantam, and U. Mitra, “Joint transmissio n and state estimation: A constrained channel coding approach,” IEEE Trans. Inf. Theory, vol. 57, no. 10, pp. 7084–7095, Oct. 2011
2011
-
[14]
Cesa-Bianchi and G
N. Cesa-Bianchi and G. Lugosi, Prediction, Learning, and Games . New Y ork, NY , USA: Cambridge Univ. Press, 2006
2006
-
[15]
Multiterminal Source C oding Under Logarithmic Loss,
T. A. Courtade and T. Weissman, “Multiterminal Source C oding Under Logarithmic Loss,” IEEE Trans. Inf. Theory , vol. 60, no. 1, pp. 740–761, Jan. 2014
2014
-
[16]
Csisz´ ar and J
I. Csisz´ ar and J. K¨ orner,Information Theory: Coding Theory for Discrete Memoryless Systems . New Y ork: Academic, 1981
1981
-
[17]
El Gamal and Y .-H
A. El Gamal and Y .-H. Kim, Network Information Theory . Cambridge, U.K.: Cambridge Univ. Press, 2011
2011
-
[18]
The capacity region of the two-rece iver Gaussian vector broadcast channel with private and common messages,
Y . Geng and C. Nair, “The capacity region of the two-rece iver Gaussian vector broadcast channel with private and common messages, ” IEEE Trans. Inf. Theory , vol. 60, no. 4, pp. 2087–2104, Apr. 2014
2014
-
[19]
The convexity and concavity of envelopes of the m inimum- relative-entropy region for the DSBS,
L. Y u, “The convexity and concavity of envelopes of the m inimum- relative-entropy region for the DSBS,” 2023, arXiv:2106.0 3654. [Online] Available: https://arxiv.org/abs/2106.03654
2023 arXiv
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.