REVIEW 4 major objections 4 minor 16 references
Extended AB Algorithms for Bistatic Integrated Sensing and Communications Systems
T0 review · 4 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read A classical alternating-maximization method, extended by replacing each estimator with a free auxiliary variable, computes the capacity-distortion tradeoff of bistatic integrated sensing and communication systems for both squared-error and
desk verdict A useful AB-style extension for bistatic ISAC rate-distortion, but the headline claim of computing C(D) goes beyond the proved convergence; worth a revision, not a desk reject. 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 auxiliary-variable linearization of the distortion constraint. For squared error, the estimator $\hat{S}(U,Z)$ is pulled out of the constraint and treated as an independent function $c(u,z)$, so the constraint becomes a sum of terms $p(u,x)(s-c(u,z))^2$; for log-loss, the conditional estimator $p(s|u,z)$ is replaced by a free soft function $f(s,u,z)$. The AB surrogate $\tilde{F}(p,q)$ then separates the variables, and the Lagrange multiplier $\lambda$, found by solving the one-dimensional equation $G(\lambda)=0$, pins the iterate to the distortion boundary. Each block update ($q$, then $p$, then $c$ or $f$) has a closed form.
What would settle it
Take a small finite-alphabet instance, enumerate or globally optimize over all input distributions $p(u,x)$, and compare the true optimal value with the value Algorithm 1 returns from many random initializations. Any run that stops at a strictly smaller value while satisfying the distortion constraint, or two initializations that settle at different values, would falsify the claim that the algorithm calculates the rate-distortion tradeoff.
Extended reading notes
Core claim
The paper claims that the capacity-distortion optimization of a bistatic ISAC system can be solved by an extended AB algorithm. Its pivotal result (Theorem 1) equates the optimum of the original non-convex problem (1), with squared-error distortion and objective $I(X;Y|U,S)+I(U;Z)$, to the optimum of a reformulated problem in which the distortion constraint is linear because the estimator $\hat{S}(U,Z)$ is replaced by a free variable $c(u,z)$. At the optimum, $c(u,z)$ recovers exactly the conditional mean $\hat{S}(u,z)$, so the reformulation's feasible set collapses back to the original one and the two optima coincide. The same equivalence is developed for log-loss distortion with a free sof
Load-bearing premise
The algorithm's alternating updates are assumed to reach the global maximum of the auxiliary objective, so that the value at the stopping point really is the capacity-distortion function; the paper proves only that the objective never goes down.
Editorial extensions
If this is right
- The non-convex distortion constraint can be replaced by a linear one without changing the optimum, so the original problem becomes tractable by alternating maximization.
- Both the squared-error and log-loss versions admit closed-form updates for $p$, $q$, and the auxiliary estimator, avoiding the multiplier traversal of classical AB rate-distortion computation.
- The same framework extends directly to Gaussian channels with a power constraint by adding a second Lagrange multiplier, yielding rate-distortion curves for practical bistatic channels.
- The monotone convergence proof guarantees that any stopping point of the iteration is at least a local optimum of the surrogate, making the algorithm a stable numerical tool for capacity-distortion evaluation.
Reading between the lines
- If the auxiliary-variable linearization is as general as the proof suggests, it should also apply to other bounded distortion measures whose optimal estimator has a closed form, such as absolute error or Hamming loss under discrete alphabets; the paper does not test this.
- The global-convergence question is left open by Theorem 2; a natural extension is a formal proof that every limit point of the iterates satisfies the KKT conditions and that the surrogate has no spurious local maxima, or a counterexample if it does.
- For the second log-loss Gaussian regime the computed curve sits above the known lower bound; if that bound is not tight, the algorithm may be providing the first numerical evidence of a larger rate-distortion region than theory currently certifies.
- The same reformulation appears portable to monostatic ISAC or multi-antenna settings where the distortion constraint is non-convex, although the paper restricts itself to the bistatic model.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops Arimoto-Blahut-type algorithms for computing the capacity-distortion function C(D) of a bistatic ISAC system under squared-error and log-loss distortions. The original non-convex optimization problems (1) and (2) are reformulated by introducing auxiliary estimator variables c(u,z) and f(u,s,z), which turn the distortion constraints into linear constraints. The authors prove a formal equivalence (Theorem 1), derive closed-form alternating updates for p(u,x), q, and c/f, prove monotone non-decrease of the surrogate function (Theorem 2), and report numerical comparisons for Gaussian channels. The central claim is that Algorithm 1 calculates the rate-distortion trade-off.
Significance. If the global-convergence gap can be closed, this is a useful extension of the AB method to non-convex rate-distortion problems and would make the information-theoretic limits of bistatic ISAC computable in practice. The reformulation is natural, the updates are closed-form, and the monotonicity theorem is a useful partial result. The numerical agreement with known theoretical values in the log-loss case is encouraging. However, the central claim is currently only partially supported: monotone convergence of the surrogate does not by itself establish that the limit equals C(D), and the continuous-alphabet implementation is unspecified. These issues are load-bearing and require revision.
major comments (4)
- [Section III-C, Theorem 2] The proof of Theorem 2 establishes only \tilde{F}(p_{n-1},q_{n-1}) ≤ \tilde{F}(p_{n-1},q_n) ≤ \tilde{F}(p_n,q_n), i.e., monotone non-decrease and boundedness of the surrogate. Since \tilde{F} is biconcave but not jointly concave, and since F(p) in (1) is not concave (I(U;Z) contains -H(Z|U)), coordinate ascent can converge to a stationary point or saddle with value strictly below max_p F(p). The p-update (9) maximizes the surrogate for fixed q, not F itself; the q-update (6) makes the surrogate tight only at the current p. No global-convergence, strong-duality, or KKT-sufficiency argument is supplied. Thus the abstract's claim that Algorithm 1 'calculate[s] the rate-distortion trade-off' is not established. Please add a global optimality proof under stated conditions, or revise the claims to convergence to a local/stationary point and support the computation claim with additional argumen
- [Section III-A, Theorem 1] In the proof of Theorem 1, the KKT stationarity condition L'_c(p*,c*)=0 yields c*=\hat{s} only when the multiplier λ is strictly positive, i.e., when the distortion constraint is active. If λ=0, the stationarity condition is vacuous and the argument fails. The monotonicity assertion later in Section III-A implies activity only for D below the unconstrained-achievable distortion, a condition not stated in Theorem 1. Moreover, the algorithm's Step 3, G(λ)=0, assumes equality in the constraint; for D larger than the distortion achieved by the unconstrained maximizer, no λ≥0 solves G(λ)=0. The equivalence can be repaired by observing that c enters only through the constraint and can be replaced by the conditional-mean estimator \hat{s}(p) without changing feasibility or objective, but the manuscript should state and prove this and handle the inactive-constraint case explicitly.
- [Section IV and Remark 1] Algorithm 1 is formulated for finite alphabets with sums over p(u,x), p(y,s,z|x), etc. The numerical section applies it to continuous Gaussian channels with a power constraint, but no discretization, grid size, initialization, stopping criterion, or numerical method for solving the multiplier equations (λ, μ) is provided. Consequently, the validation in Figs. 1 and 2 cannot be reproduced or fully assessed, and the extension of the discrete-alphabet AB updates to continuous alphabets is not justified. Please provide full implementation details or a separate derivation for the Gaussian case.
- [Section III-B] The log-loss variant is presented only as a set of update formulas; the pseudocode, the derivation of the p-update, and any convergence analysis are omitted ('details are omitted due to space limitations'). Since log-loss is one of the two distortion metrics advertised in the abstract and is used in Fig. 2, this is a substantive omission. Please include the full algorithm and at least a monotonicity/convergence statement analogous to Theorem 2, or clearly state that no convergence guarantee is claimed.
minor comments (4)
- [Section III-A, text after Eq. (4)] The displayed expression for F(p) - \tilde{F}(p,q) writes the first KL term as D(p(x,y|u,s) || q(x,y|u,s)); since q has no y component, this should be D(p(x|u,y,s) || q(x|u,y,s)), and the second term should be D(p(u|z) || q(u|z)).
- [Algorithm 1] No stopping criterion is given; please specify one (e.g., tolerance on function values or on p, or a maximum iteration count).
- [Section IV, Fig. 2] The labels '1/σ2=1' and '1/σ2=3' are ambiguous; specify whether these refer to σ_1^2, σ_2^2, or their inverses, and state the other parameters used for each curve.
- [Section III-A, Remark 1] The statement that Step 3 is replaced by solving a set of equations for λ and μ is too terse: no uniqueness, monotonicity, or solution method is given for the two-multiplier case.
Circularity Check
No circularity: the paper's inputs are prior capacity-distortion characterizations; the auxiliary-variable reformulation and AB updates are derived rather than fitted to the target rate-distortion curve.
full rationale
The derivation chain is self-contained with respect to the paper's own claims. Lemma 1 and Lemma 2, which define the capacity-distortion optimization problems (1) and (2), are quoted from prior work [11] and [12]; Lemma 1 is a self-citation, but it is a parameter-free information-theoretic characterization with stated assumptions and is not the quantity the algorithm is supposed to predict, so it does not constitute a circular reduction. Theorem 1 establishes equivalence between the original problem and the linearly constrained reformulation by comparing feasible sets and using KKT stationarity with respect to the auxiliary c(u,z); this does not assume the target rate-distortion value. The surrogate function \tilde{F} in (4) is a standard lower bound that becomes tight at q(x|u,y,s)=p(x|u,y,s) and q(u|z)=p(u|z), and the updates (6), (7), (9) are obtained by closed-form stationarity of that surrogate, not by fitting the final C(D). Numerical comparison in Fig. 2 uses the theoretical value and lower bound from the external reference [12]. The main gaps—Theorem 2 only proves monotone boundedness of \tilde{F}, not global optimality for the non-concave objective, and the log-loss proof is omitted—are correctness/convergence concerns rather than circularity: nothing in the paper reduces its 'prediction' to a fitted parameter or to a self-referential uniqueness claim.
Assumptions & free parameters
assumptions (5)
- domain assumption The capacity-distortion function is given by Lemma 1 [11, Theorem 6] for SE distortion and Lemma 2 [12, Corollary 2] for log-loss.
- domain assumption The state S is independent of the transmitted codeword X (and of U), so that H(X|U,S)=H(X|U) and the objective expression in (3) equals I(X;Y|U,S)+I(U;Z).
- domain assumption The capacity-distortion function C(D) is monotonically non-decreasing in D, so the distortion constraint can be assumed active (lambda>0) at the optimum.
- ad hoc to paper The alternating maximization of the surrogate F_tilde over p and q converges to the global maximum of F, not merely to a local optimum.
- ad hoc to paper Discrete-alphabet AB updates remain valid for the continuous Gaussian channels used in the numerical section, either through discretization or a parametric restriction that the paper does not specify.
Cite this review
Pith. "Pith review of Extended AB Algorithms for Bistatic Integrated Sensing and Communications Systems." pith.science (2026). https://pith.science/paper/2DLPVLVZ
@misc{pith2026250807567,
author = {Pith},
title = {Pith review of: Extended AB Algorithms for Bistatic Integrated Sensing and Communications Systems},
year = {2026},
howpublished = {\url{https://pith.science/paper/2DLPVLVZ}},
note = {Machine review of arXiv:2508.07567}
}
read the original abstract
Integrated sensing and communication (ISAC) is pivotal for next-generation wireless networks, rendering the computation of rate-distortion trade-off in ISAC systems critically important. In this paper, we propose the extended Arimoto-Blahut (AB) algorithms to calculate the rate-distortion trade-off in bistatic ISAC systems, which overcome the limitation of existing AB algorithms in handling non-convex constraints. Specifically, we introduce auxiliary variables to transform non-convex distortion constraints into linear constraints, prove that the reformulated linearly-constrained optimization problem maintains the same optimal solution as the original problem, and develop extended AB algorithms for both squared error and logarithmic loss distortion metrics based on the framework of AB algorithm. Numerical results validate the effectiveness of the proposed algorithm.
Figures
Reference graph
Works this paper leans on
-
[12]
On the fundamental limits of integrated sensing and communicatio ns under logarithmic loss,
J. Chen, L. Y u, Y . Li, W. Shi, Y . Ge, and W. Tong, “On the fundamental limits of integrated sensing and communicatio ns under logarithmic loss,” arXiv preprint arXiv:2502.08502 , 2025
arXiv 2025
-
[1]
Waveform design and performance ana ly- sis for full-duplex integrated sensing and communication,
Z. Xiao and Y . Zeng, “Waveform design and performance ana ly- sis for full-duplex integrated sensing and communication, ” IEEE J. Sel. Areas Commun. , vol. 40, no. 6, pp. 1823–1837, 2022
2022
-
[2]
On t he effectiveness of OTFS for joint radar parameter estimation and communication,
L. Gaudio, M. Kobayashi, G. Caire, and G. Colavolpe, “On t he effectiveness of OTFS for joint radar parameter estimation and communication,” IEEE Trans. Wireless Commun. , vol. 19, no. 9, pp. 5951–5965, 2020
2020
-
[3]
Integrated sensing and communication with mmwave massive MIMO: A compressed sampling perspective,
Z. Gao, Z. Wan, D. Zheng, S. Tan, C. Masouros, D. W. K. Ng, and S. Chen, “Integrated sensing and communication with mmwave massive MIMO: A compressed sampling perspective,” IEEE Trans. Wireless Commun. , vol. 22, no. 3, pp. 1745–1762, 2023
2023
-
[4]
The rise of intelligent reflecting surfaces in integrated s ensing and communications paradigms,
A. M. Elbir, K. V . Mishra, M. B. Shankar, and S. Chatzinota s, “The rise of intelligent reflecting surfaces in integrated s ensing and communications paradigms,” IEEE Netw., vol. 37, no. 6, pp. 224–231, 2022
2022
-
[5]
Beamforming in in- tegrated sensing and communication systems with reconfigur able intelligent surfaces,
R. P . Sankar, S. P . Chepuri, and Y . C. Eldar, “Beamforming in in- tegrated sensing and communication systems with reconfigur able intelligent surfaces,” IEEE Trans. Wireless Commun. , vol. 23, no. 5, pp. 4017–4031, 2024
2024
-
[6]
An information-theoretic approach to joint sensing and commu nica- tion,
M. Ahmadipour, M. Kobayashi, M. Wigger, and G. Caire, “An information-theoretic approach to joint sensing and commu nica- tion,” IEEE Trans. Inf. Theory , vol. 70, no. 2, pp. 1124–1146, 2022
2022
-
[7]
O n the fundamental tradeoff of integrated sensing and communi ca- tions 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 communi ca- tions under Gaussian channels,” IEEE Trans. Inf. Theory , vol. 69, no. 9, pp. 5723–5751, 2023
2023
Show all 16 references
-
[8]
Deterministic-random tradeoff of integrated sensing and com- munications in Gaussian channels: A rate-distortion persp ective,
F. Liu, Y . Xiong, K. Wan, T. X. Han, and G. Caire, “Deterministic-random tradeoff of integrated sensing and com- munications in Gaussian channels: A rate-distortion persp ective,” in Proc. IEEE Int. Symp. Inf. Theory (ISIT) , 2023
2023
-
[9]
Information-th eoretic limits of integrated sensing and communication with correl ated sensing and channel states for vehicular networks,
Y . Liu, M. Li, A. Liu, J. Lu, and T. X. Han, “Information-th eoretic limits of integrated sensing and communication with correl ated sensing and channel states for vehicular networks,” IEEE Trans. V eh. Technol., vol. 71, no. 9, pp. 10 161–10 166, 2022
2022
-
[10]
Strong conver ses for memoryless bi-static ISAC,
M. Ahmadipour, M. Wigger, and S. Shamai, “Strong conver ses for memoryless bi-static ISAC,” in Proc. IEEE Int. Symp. Inf. Theory (ISIT) . IEEE, 2023, pp. 1818–1823
2023
-
[11]
Information-theoretic limits of bistatic integrated sen sing and communication,
T. Jiao, K. Wan, Z. Wei, Y . Geng, Y . Li, Z. Y ang, and G. Cair e, “Information-theoretic limits of bistatic integrated sen sing and communication,” arXiv preprint arXiv:2306.06648 , 2025
2025 arXiv
-
[13]
An algorithm for computing the capacity of arbitrary discrete memoryless channels,
S. Arimoto, “An algorithm for computing the capacity of arbitrary discrete memoryless channels,” IEEE Trans. Inf. Theory , vol. 18, no. 1, pp. 14–20, 1972
1972
-
[14]
Computation of channel capacity and rate-d istortion functions,
R. Blahut, “Computation of channel capacity and rate-d istortion functions,” IEEE Trans. Inf. Theory , vol. 18, no. 4, pp. 460–473, 1972
1972
-
[15]
Toward computing the capac ity region of degraded broadcast channel,
K. Y asui and T. Matsushima, “Toward computing the capac ity region of degraded broadcast channel,” in Proc. IEEE Int. Symp. Inf. Theory (ISIT) , 2010
2010
-
[16]
Blahut-Arimoto algorithms for comp uting capacity bounds of broadcast channels,
Y . Liu and Y . Geng, “Blahut-Arimoto algorithms for comp uting capacity bounds of broadcast channels,” in Proc. IEEE Int. Symp. Inf. Theory (ISIT) , 2022
2022
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.