REVIEW 2 major objections 5 minor 23 references
Robust Resource Allocation for Over-the-Air Computation Networks with Fluid Antenna Array
T0 review · 2 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read The paper claims that jointly optimizing transmit coefficients, receive beamforming, and fluid antenna positions under angle-of-arrival uncertainty lowers the mean squared error of over-the-air computation compared with fixed-position…
desk verdict Combines fluid-antenna AirComp with robust design, but the MSE objective assumes diagonal channel-error covariance that its own scalar angle-error model contradicts. 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 engine is a first-order Taylor model of the line-of-sight channel: each user's channel is written as an estimated steering vector plus an error term proportional to the angle error and to the antenna position, so the robust MSE acquires a sum over antennas of $|b_k|^2 \psi_k \theta_{k,0}^2 |m_n x_n|^2$. That quadratic form makes the uncertainty penalty depend on where the fluid antennas sit. The optimization separates into three blocks: a closed-form soft-limiter for each transmit coefficient $b_k$, a closed-form MMSE beamforming vector $m = R^{-1} \sum_k \bar{h}_k b_k$, and a BFGS quasi-Newton step with a log-barrier for the spacing constraints on the antenna position vector $x$. Iterating the three blocks until the variables stop changing yields the proposed design.
What would settle it
Compute the exact MSE of the proposed design under the true uniform angle-error model—without the first-order Taylor expansion and without dropping cross-antenna terms—for a small system such as $N=2$, $K=1$, $\theta_0=1$ rad, and compare it with the diagonal approximation used in the paper. If the exact MSE differs substantially, or if the optimal antenna positions move away from the BFGS solution, the robustness conclusion depends on the approximation rather than on the physical setup.
Extended reading notes
Core claim
The central claim is that antenna position is a usable resource for robust over-the-air computation. Under bounded angle-of-arrival error, the mean squared error of the aggregated average is minimized by a transmit coefficient that balances signal alignment against an uncertainty penalty, a receive beamformer of regularized least-squares form, and an antenna placement found by the BFGS quasi-Newton method. The paper derives a robust MSE expression in which each antenna contributes an error term proportional to its squared position and to the angle-uncertainty variance, then minimizes it by block coordinate descent. In simulation, the proposed design keeps MSE below both a fixed-position-antenna benchmark and a benchmark optimized without including uncertainty, and the gap widens as the uncertainty level rises from 0 to 1 radian.
Load-bearing premise
The robustness result rests on treating the channel error at each antenna as independent, even though the underlying angle error is a single scalar that shifts every antenna at once, so the true errors are correlated across antennas.
Editorial extensions
If this is right
- For the simulated geometry, the robust fluid-antenna design achieves lower AirComp MSE than fixed-position antennas at both 0 dB and 10 dB SNR across the tested uncertainty range.
- The gap over the non-robust benchmark widens as angle uncertainty grows, so explicitly modeling CSI error is most valuable when the channel estimates are poor.
- Increasing the number of fluid antennas from 8 to 12 lowers MSE for all schemes, but optimized positions keep an advantage over uniform fixed positions.
- Enlarging the available aperture L improves MSE and widens the gap over fixed-position antennas, showing that positioning flexibility drives the gain.
- With very small angle error, the non-robust design is nearly as good; the robust design matters most in the regime that motivates modeling error.
Reading between the lines
- The paper's MSE model treats the angle error as producing independent errors per antenna, but a single shared angle actually correlates the errors across antennas. Re-deriving the updates with the full rank-one covariance could change the optimal antenna placement.
- Because the position update is a local search, the reported gains reflect the chosen uniform initialization; a multi-start search would test whether the advantage is robust to starting positions.
- The same block-coordinate template extends to other error statistics, such as Gaussian angle jitter or non-uniform bounded errors, by substituting the appropriate variance in the transmit and beamforming updates.
- An experimental setup with movable antennas and controlled angle jitter could check the first-order Taylor model; if the model breaks near 1 radian of uncertainty, the simulated gain may not match reality.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper considers an over-the-air computation (AirComp) system in which an access point with N fluid antennas receives from K single-antenna users under line-of-sight angle-of-arrival uncertainty. It formulates a robust design problem that jointly optimizes the user transmit coefficients b, the receive beamforming vector m, and the antenna position vector x to minimize a mean-squared-error objective that includes a CSI-error term. The proposed solution is block coordinate descent: closed-form updates for b and m, and a BFGS-based update for x. Simulation results compare the design with fixed-position antennas and a non-robust design, and the paper concludes that the proposed transceiver and antenna-position design improves MSE and resilience to channel uncertainty.
Significance. If the robust MSE model were correctly derived, the paper would be a useful contribution to the emerging FA-AirComp literature: the problem is clearly stated, the BCD decomposition is natural, and the closed-form updates would be computationally attractive. The paper also addresses a relevant and timely problem, namely antenna-position optimization under angle uncertainty. However, the central derivation is not sound as written: the channel-error covariance used to build the objective contradicts the paper's own channel model in Eq. (5), and the first-order Taylor approximation is used in a regime where it is not controlled. Because the numerical studies evaluate the same approximate objective that is optimized, they do not independently validate the robustness claims. For these reasons the contribution, in its current form, cannot support the conclusions.
major comments (2)
- [III, Eqs. (13) and (15)] The closed-form updates inherit the covariance error. In Eq. (15), R is written as σ_z^2 I + Σ_k |b_k|^2 (h̄_k h̄_k^H + ψ_k x x^H θ_{k,0}^2 I), which is not even consistent with the paper's own diagonal covariance: the correct perturbation term would be diag(Σ_k |b_k|^2 ψ_k θ_{k,0}^2 x_n^2). More importantly, if the rank-one covariance implied by Eq. (5) were used, the m-subproblem would contain a rank-one correction, and Eq. (13) would involve |m^H(h̄_k ⊙ q_k)|^2 rather than Σ_n |m_n x_n|^2. The stated updates are therefore tied to the incorrect objective in Eq. (9).
- [IV, Figs. 2-4] The numerical evaluation is circular with respect to the robustness claim. The figures plot the same MSE expression from Eq. (9) that Algorithm 1 minimizes, rather than an independent Monte Carlo evaluation of the MSE under the angle-error model in Eqs. (3)-(5). Consequently, the observed improvement over the non-robust and FPA benchmarks mainly reflects the fact that minimizing an objective lowers that objective; no evidence is provided that the optimized design is robust under the model that generated the channel errors.
minor comments (5)
- [II, Eq. (4)] The derivative of exp(j(2π/λ)x_n cos θ) with respect to θ is -j(2π/λ)x_n sin θ times the exponential, so the plus sign in q(θ̄_k) appears to have the wrong sign; the sign should be corrected.
- [III, Eq. (13)] In Eq. (13), b_k^* is written as a real magnitude, but b_k is complex and must align the phase of m^H h̄_k b_k with the target value 1; the solution should explicitly include the conjugate phase of m^H h̄_k.
- [III, Algorithm 1] Algorithm 1 updates m before b, while Section III presents Subproblem 1 (b) before Subproblem 2 (m); the order should be aligned or the discrepancy should be explained.
- [III, Eq. (15)] The definition of R in Eq. (15) is notationally ambiguous because ψ_k x x^H θ_{k,0}^2 I mixes a vector outer product with an identity-scaled term; under the paper's own diagonal covariance assumption the perturbation term should be diag(ψ_k θ_{k,0}^2 x_n^2).
- [IV] Simulation parameters such as the BFGS barrier schedule, line-search tolerance, and initialization are not specified, so the numerical results are not fully reproducible.
Circularity Check
No significant circularity in the derivation chain; the optimization and evaluation are aligned but not circularly defined.
full rationale
The paper's derivation chain is self-contained and does not reduce to its inputs by construction. The MSE objective in Eq. (9) is built from the linearized channel model in Eqs. (4)-(7) and the stated diagonal covariance assumption; the transmit coefficients (13), receive beamformer (15), and antenna positions (BFGS update on Eq. (16)) are all derived by first-order optimality conditions or a standard quasi-Newton method on that objective. No parameter is fitted to a subset of data and then called a prediction, and no external benchmark is claimed that would require the optimized objective to be independent of the evaluation metric. The simulations evaluate the same MSE expression that Algorithm 1 minimizes, but this is a standard verification of an optimization procedure, not a circular reduction: minimizing an objective and then showing the minimized objective is lower than non-optimized benchmarks is the intended behavior. The only citations to co-authors' prior work ([15], and [21] as methodological background) are not load-bearing for the central derivation; no uniqueness theorem or fitted ansatz is imported from a self-citation. The internal inconsistency between the scalar angle-error model of Eq. (3) and the diagonal error covariance used in Eq. (9) is a technical correctness concern, not a circularity of the derivation chain, and is therefore outside the scope of this pass.
Assumptions & free parameters
assumptions (5)
- domain assumption Line-of-sight channel model with far-field steering vector (Eq. 1).
- domain assumption Angle uncertainty ∆θ_k is independently uniform over [-θ_{k,0}, θ_{k,0}] for each user (Eq. 3).
- ad hoc to paper First-order Taylor expansion (Eq. 4) approximates exp(j 2π/λ x_n cos(θbar_k + ∆θ_k)) accurately for all simulated θ0 up to 1 rad.
- ad hoc to paper Channel error vector has diagonal covariance with entries ψ_k x_n^2 θ_{k,0}^2 (text after Eq. 7 and Eq. 9).
- standard math BFGS with a log-barrier finds an adequate local optimum of the nonconvex antenna-position subproblem, and the alternating loop converges to a stationary point (Algorithm 2).
Cite this review
Pith. "Pith review of Robust Resource Allocation for Over-the-Air Computation Networks with Fluid Antenna Array." pith.science (2026). https://pith.science/paper/ROMSX72E
@misc{pith2026250416221,
author = {Pith},
title = {Pith review of: Robust Resource Allocation for Over-the-Air Computation Networks with Fluid Antenna Array},
year = {2026},
howpublished = {\url{https://pith.science/paper/ROMSX72E}},
note = {Machine review of arXiv:2504.16221}
}
read the original abstract
Fluid antenna (FA) array is envisioned as a promising technology for next-generation communication systems, owing to its ability to dynamically control the antenna locations. In this paper, we apply FA array to boost the performance of over-the-air computation networks. Given that channel uncertainty will impact negatively not only the beamforming design but also the antenna location optimization, robust resource allocation is performed to minimize the mean squared error of transmitted messages. Block coordinate descent is adopted to decompose the formulated non-convex problem into three subproblems, which are iteratively solved until convergence. Numerical results show the benefits of FA array and the necessity of robust resource allocation under channel uncertainty.
Figures
Reference graph
Works this paper leans on
-
[1]
Over-the-Air computing for wireless data aggregation in massive IoT,
G. Zhu et al., “Over-the-Air computing for wireless data aggregation in massive IoT,” IEEE Wireless Commun , vol. 28, no. 4, pp. 57–65, Aug. 2021
work page 2021
-
[2]
A survey on Over-the-Air computation,
A. Sahin and et al., “A survey on Over-the-Air computation,” IEEE Commun. Surveys Tuts , vol. 25, no. 3, pp. 1877–1908, Apr. 2023
work page 1908
-
[3]
Integrated sensing, communication, and computation Over-the-Air: MIMO beamforming design,
X. Li and et al., “Integrated sensing, communication, and computation Over-the-Air: MIMO beamforming design,” IEEE Trans. Wireless Com- mun., vol. 22, no. 8, pp. 5383–5398, Jan. 2023
work page 2023
-
[4]
Multi-level Over-the-Air aggregation of mobile edge computing over D2D wireless networks,
F. Wang and et al., “Multi-level Over-the-Air aggregation of mobile edge computing over D2D wireless networks,” IEEE Trans. Wireless Commun., vol. 21, no. 10, pp. 8337–8353, Apr. 2022
work page 2022
-
[5]
Over-the-Air split machine learning in wireless MIMO networks,
Y . Yang and et al., “Over-the-Air split machine learning in wireless MIMO networks,” IEEE J. Sel. Areas Commun. , vol. 41, no. 4, pp. 1007–1022, Feb. 2023
work page 2023
-
[6]
Federated learning via Over-the-Air computation,
K. Yang and et al., “Federated learning via Over-the-Air computation,” IEEE Trans. Wireless Commun., vol. 19, no. 3, pp. 2022–2035, Jan. 2020
work page 2022
-
[7]
X. Zhai and et al., “Beamforming design based on two-stage stochastic optimization for RIS-assisted Over-the-Air computation systems,” IEEE Internet of Things Journal , vol. 9, no. 7, pp. 5474–5488, Aug. 2022
work page 2022
-
[8]
Over-the-Air computation via reconfigurable intel- ligent surface,
W. Fang and et al., “Over-the-Air computation via reconfigurable intel- ligent surface,” IEEE Trans. Commun. , vol. 69, no. 12, pp. 8612– 8626, Sep. 2021
work page 2021
Show all 23 references
-
[9]
Active reconfigurable intelligent surface-aided Over- the-Air computation networks,
B. Wei and et al., “Active reconfigurable intelligent surface-aided Over- the-Air computation networks,” IEEE Wireless Commun. Lett. , vol. 13, no. 4, pp. 1148–1152, Feb. 2024
2024
-
[10]
Fluid antenna systems,
K.-K. Wong and et al., “Fluid antenna systems,” IEEE Trans. Wireless Commun., vol. 20, no. 3, pp. 1950–1962, Nov. 2021
1950
-
[11]
A new analytical approximation of the fluid antenna system channel,
M. Khammassi and et al., “A new analytical approximation of the fluid antenna system channel,” IEEE Trans. Wireless Commun. , vol. 22, no. 12, pp. 8843–8858, Apr. 2023
2023
-
[12]
Opportunistic fluid antenna multiple access,
K.-K. Wong and et al., “Opportunistic fluid antenna multiple access,” IEEE Trans. Wireless Commun. , vol. 22, no. 11, pp. 7819–7833, Mar. 2023
2023
-
[13]
Proactive monitoring via jamming in fluid antenna systems,
J. Yao and et al., “Proactive monitoring via jamming in fluid antenna systems,” IEEE Communications Lett. , vol. 28, no. 7, pp. 1698–1702, May. 2024
2024
-
[14]
Fluid antenna array enhanced Over-the-Air computation,
D. Zhang and et al., “Fluid antenna array enhanced Over-the-Air computation,” IEEE Wireless Commun. Lett. , vol. 13, no. 6, pp. 1541– 1545, Jun. 2024
2024
-
[15]
Enhancement of over-the-air feder- ated learning by using AI-based fluid antenna system,
M. Ahmadzadeh and et al., “Enhancement of over-the-air feder- ated learning by using AI-based fluid antenna system,” arXiv preprint arXiv:2407.03481, Jul. 2024
2024 arXiv
-
[16]
Multi-beam forming with movable-antenna array,
W. Ma and et al., “Multi-beam forming with movable-antenna array,” IEEE Commun. Lett. , vol. 28, no. 3, pp. 697–701, Jan. 2024
2024
-
[17]
Compressive sensing for millimeter wave antenna array diagnosis,
M. E. Eltayeb and et al., “Compressive sensing for millimeter wave antenna array diagnosis,” IEEE Trans. Commun. , vol. 66, no. 6, pp. 2708–2721, Jan. 2018
2018
-
[18]
Uplink channel estimation with hardware imperfections, antenna position error and channel correlation for nested and linear array antennas,
M. A. Azam and et al., “Uplink channel estimation with hardware imperfections, antenna position error and channel correlation for nested and linear array antennas,” IEEE Trans. V eh. Technol. , vol. 69, no. 12, pp. 15 412–15 426, Nov. 2020
2020
-
[19]
Over-the-Air computing with imperfect CSI: Design and performance optimization,
N. G. Evgenidis and et al., “Over-the-Air computing with imperfect CSI: Design and performance optimization,” IEEE Trans. Wireless Commun. , vol. 23, no. 6, pp. 6093–6108, Jun. 2024
2024
-
[20]
Robust beamforming design for RIS-aided cell-free systems with CSI uncertainties and capacity-limited backhaul,
J. Yao and et al., “Robust beamforming design for RIS-aided cell-free systems with CSI uncertainties and capacity-limited backhaul,” IEEE Transactions on Communications , vol. 71, no. 8, pp. 4636–4649, May. 2023
2023
-
[21]
Intelligent and robust UA V-aided multiuser RIS communication technique with jittering UA V and imperfect hardware constraints,
A. B. M. Adam and et al., “Intelligent and robust UA V-aided multiuser RIS communication technique with jittering UA V and imperfect hardware constraints,” IEEE Trans. V eh. Technol., vol. 72, no. 8, pp. 10 737–10 753, Mar. 2023
2023
-
[22]
Broyden’s quasi-newton methods for a nonlinear system of equations and unconstrained optimization: a review and open problems,
M. Al-Baali and et al., “Broyden’s quasi-newton methods for a nonlinear system of equations and unconstrained optimization: a review and open problems,” Optimization Methods and Software , vol. 29, no. 5, pp. 937– 954, Sep. 2014
2014
-
[23]
A modified self-scaling memoryless broy- den–fletcher–goldfarb–shanno method for unconstrained optimization,
C.-X. Kou and et al., “A modified self-scaling memoryless broy- den–fletcher–goldfarb–shanno method for unconstrained optimization,” Journal of Optimization Theory and Applications , vol. 105, pp. 209–224, Apr. 2015
2015
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.