Network-Wide PAoI Guarantee in CF-mMIMO Networks with S&C Coexistence: A Unified Framework for Spatial Partitioning Toward xURLLC
Pith reviewed 2026-05-10 18:05 UTC · model grok-4.3
The pith
A framework combining stochastic geometry and network calculus derives a tractable upper bound on peak age of information violation probability in cell-free massive MIMO networks with sensing-communication coexistence, minimized by optimal
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By deriving the moment generating functions of sensory packet inter-arrival and service times under the joint stochastic spatial distribution of access points and users, imperfect CSI, and finite blocklength coding, the paper obtains a tractable upper bound on the peak age of information violation probability that can be minimized to determine the optimal access point partitioning factor between sensing and communication roles.
What carries the argument
The unified analytical framework that merges stochastic geometry for spatial point processes with stochastic network calculus to derive moment generating functions of inter-arrival and service times, thereby producing a minimizable upper bound on network-wide peak age of information violation probability.
If this is right
- The optimal partition factor can be computed directly from the closed-form bound without exhaustive search.
- The bound accurately tracks the performance trend observed in simulations for varying densities and reliability targets.
- Network-wide PAoI guarantees become achievable through a single scalar tuning parameter that balances sensing update rate against communication reliability.
- The framework supplies a low-complexity design tool that scales to large CF-mMIMO deployments for xURLLC.
Where Pith is reading between the lines
- The same MGF-based bounding technique could be reused to incorporate additional constraints such as energy harvesting or mobility-induced channel aging.
- Extending the spatial model to clustered user distributions might shift the optimal partition toward more communication APs in dense hotspots.
- If sensing and communication share the same spectrum, an additional interference term in the service-time MGF would be needed to keep the bound representative.
Load-bearing premise
The moment generating functions of inter-arrival and service times remain valid under the joint stochastic spatial distribution of access points and users, imperfect CSI, and finite blocklength coding.
What would settle it
Compare the analytical minimizing partition factor and the predicted PAVP values against exhaustive Monte Carlo simulations that use measured channels and actual finite-blocklength error rates; large systematic deviation in either the optimal split or the bound tightness would falsify the claim.
Figures
read the original abstract
As a key capability of 6G, sensing-communication (S&C) coexistence over distributed infrastructure is expected to support next-generation ultra-reliable and low-latency communication (xURLLC) applications, which demand both robust connectivity and real-time environmental awareness. This paper investigates network-wide information freshness in large-scale cell-free massive multiple-input multiple-output (CF-mMIMO) with S&C coexistence. A challenge arises from the spatial partitioning of access points (APs) into S&C roles: allocating more APs to sensing improves update generation, whereas allocating more APs to communication enhances reliable short-packet delivery. To address this, we develop a unified analytical framework by combining stochastic geometry and stochastic network calculus (SNC) to characterize the peak age of information (PAoI) violation probability (PAVP). Specifically, we derive the moment generating functions (MGFs) of sensory packet inter-arrival and service times, accounting for the joint stochastic spatial distribution of APs and users, imperfect channel state information (CSI), and finite blocklength coding (FBC). This facilitates the derivation of a tractable upper bound on the PAVP, which is minimized to determine the optimal AP partitioning. The derived bound accurately captures the performance trend and yields a minimizing partition factor that closely matches simulations. Therefore, the framework provides an efficient and low-complexity tool for network-wide PAoI guarantee and coexistence-oriented design in CF-mMIMO networks toward xURLLC.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a unified analytical framework combining stochastic geometry and stochastic network calculus (SNC) for cell-free massive MIMO (CF-mMIMO) networks with sensing-communication (S&C) coexistence. It derives the moment generating functions (MGFs) of sensory packet inter-arrival and service times, incorporating the joint PPP spatial distributions of APs and users, MMSE channel estimation, and finite-blocklength coding (FBC). These enable a tractable upper bound on the network-wide peak age of information violation probability (PAVP), which is minimized over the AP partitioning factor β to obtain an optimal spatial split that provides PAoI guarantees; the bound is stated to capture performance trends and yield a minimizing β that closely matches simulations.
Significance. If the MGF derivations prove rigorous and the SNC upper bound remains sufficiently tight after the spatial averaging and FBC approximations, the framework would offer a valuable low-complexity tool for coexistence-oriented xURLLC design in large-scale CF-mMIMO systems. The integration of SNC for PAoI with stochastic geometry to handle random AP allocation is a technical strength that could reduce reliance on Monte-Carlo optimization while delivering network-wide guarantees.
major comments (2)
- [§III-B] §III-B (MGF of service time): the derivation averages the FBC error-probability expression (inverse-Q approximation) over the random effective SINR seen by a typical user when only a random subset of APs is allocated to communication. The joint PPP of sensing and communication APs introduces spatial correlations that are typically handled by moment-matching or independence assumptions; the manuscript does not quantify how these steps affect the tail of the service-time distribution or shift the location of the minimized PAVP bound.
- [§IV] §IV (PAVP upper bound and optimization): the tractable SNC-based upper bound on PAVP is minimized w.r.t. β and reported to yield an optimum that closely matches simulations. However, no sensitivity analysis is provided on how the FBC approximation parameters or imperfect-CSI variance propagate into the argmin_β, leaving open whether the reported agreement guarantees a reliable network-wide PAoI bound under realistic variations in blocklength or CSI quality.
minor comments (2)
- [Abstract] The abstract introduces the partition factor β without an explicit definition or range; a brief sentence in the system model would improve readability.
- [Figures] Figure captions should explicitly state which curves are analytical bounds versus Monte-Carlo simulations to avoid ambiguity when comparing trends.
Simulated Author's Rebuttal
We thank the referee for the detailed and constructive comments on our manuscript. We address each major comment below with clarifications and indicate the revisions we will make to improve the paper.
read point-by-point responses
-
Referee: [§III-B] §III-B (MGF of service time): the derivation averages the FBC error-probability expression (inverse-Q approximation) over the random effective SINR seen by a typical user when only a random subset of APs is allocated to communication. The joint PPP of sensing and communication APs introduces spatial correlations that are typically handled by moment-matching or independence assumptions; the manuscript does not quantify how these steps affect the tail of the service-time distribution or shift the location of the minimized PAVP bound.
Authors: We appreciate the referee pointing out the need for further quantification in the MGF derivation of §III-B. The effective SINR distribution is obtained via stochastic geometry applied to the joint PPP of sensing and communication APs, and the FBC error probability is averaged over this distribution using standard tools (e.g., Campbell's theorem). Independence approximations are used for tractability in the MGF, as is common in such analyses. While the overall accuracy is supported by Monte Carlo simulations that include full spatial correlations, we acknowledge that explicit quantification of the approximation's effect on the service-time tail and the location of the minimized PAVP is not provided. In the revision, we will add a discussion and supplementary numerical comparisons (e.g., empirical vs. approximated service-time distributions) to assess any resulting shifts. revision: partial
-
Referee: [§IV] §IV (PAVP upper bound and optimization): the tractable SNC-based upper bound on PAVP is minimized w.r.t. β and reported to yield an optimum that closely matches simulations. However, no sensitivity analysis is provided on how the FBC approximation parameters or imperfect-CSI variance propagate into the argmin_β, leaving open whether the reported agreement guarantees a reliable network-wide PAoI bound under realistic variations in blocklength or CSI quality.
Authors: We thank the referee for this suggestion regarding robustness. The reported close match between the analytically optimized β and simulation results is intended to indicate that the bound captures key trends reliably. However, we agree that explicit sensitivity analysis on parameters such as blocklength, target error probability, and CSI quality would strengthen the claims about the argmin_β. In the revised manuscript, we will include additional results (e.g., in a new subsection or appendix) showing how variations in these parameters affect the location of the minimizing β and the tightness of the PAVP bound. revision: yes
Circularity Check
Analytical derivation of MGFs, SNC bound, and partition minimization is self-contained
full rationale
The paper derives the MGFs of inter-arrival and service times from stochastic geometry applied to the joint PPP of APs/users plus MMSE estimation and FBC error-probability expressions, then applies SNC to obtain a closed-form upper bound on network-wide PAVP, and finally minimizes that bound over the partition factor β. This chain is presented as first-principles and is validated post-derivation by comparing the analytical argmin(β) to Monte-Carlo simulations; no equation reduces the minimized bound or its optimum to a fitted parameter, no self-citation supplies a load-bearing uniqueness theorem, and no ansatz is smuggled in. The framework therefore remains independent of its own simulation outputs.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Stochastic geometry accurately models the joint spatial distribution of APs and users for deriving MGFs of packet inter-arrival and service times
- domain assumption Stochastic network calculus provides valid bounds on PAoI violation probability when combined with the MGFs
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
derive the moment generating functions (MGFs) of sensory packet inter-arrival and service times, accounting for the joint stochastic spatial distribution of APs and users, imperfect channel state information (CSI), and finite blocklength coding (FBC). This facilitates the derivation of a tractable upper bound on the PAVP
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 3: The network-wide statistical PA VP ... Υnw = 1−Pc_cv ·(1−Υ)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Integrated sensing and communications: toward dual-functional wireless networks for 6g and beyond,
F. Liu, Y . Cui, C. Masouros, J. Xu, T. Han, Y . C. Eldar,et al., “Integrated sensing and communications: toward dual-functional wireless networks for 6g and beyond,”IEEE J. Sel. Areas Commun., vol. 40, no. 6, pp. 1728–1767, Jun. 2022
work page 2022
-
[2]
Integrated sensing and communication signals toward 5g-a and 6g: a survey,
Z. Wei, H. Qu, Y . Wang, X. Yuan, H. Wu, Y . Du,et al., “Integrated sensing and communication signals toward 5g-a and 6g: a survey,”IEEE Internet Things J., vol. 10, no. 13, pp. 11068–11092, Jul. 2023
work page 2023
-
[3]
Integrated sensing and communications: recent advances and ten open challenges,
S. Lu, F. Liu, Y . Li, K. Zhang, H. Huang, J. Zou,et al., “Integrated sensing and communications: recent advances and ten open challenges,” IEEE Internet Things J., vol. 11, no. 11, pp. 19094–19120, Jun. 2024
work page 2024
-
[4]
Statistical tools and methodologies for ultrareliable low-latency communication—a tutorial,
O. L ´opez, N. Mahmood, M. Shehab, H. Alves, O. Rosabal, L. Marata, et al., “Statistical tools and methodologies for ultrareliable low-latency communication—a tutorial,”Proc. IEEE, vol. 111, no. 11, pp. 1502– 1543, Nov. 2023
work page 2023
-
[5]
Cell-free massive mimo: joint maximum-ratio and zero-forcing precoder with power control,
L. Du, L. Li, H. Ngo, C. Trang, and M. Matthaiou, “Cell-free massive mimo: joint maximum-ratio and zero-forcing precoder with power control,”IEEE Trans. Commun., vol. 69, no. 6, pp. 3741–3756, Jun. 2021
work page 2021
-
[6]
Y . Xiong, S. Sun, L. Liu, Z. Zhang, and N. Wei, “Performance analysis and bit allocation of cell-free massive mimo network with variable- resolution adcs,”IEEE Trans. Commun., vol. 71, no. 1, pp. 67–82, Jan. 2023
work page 2023
-
[7]
Integrated human activity sensing and communications,
X. Li, Y . Cui, J. Zhang, F. Liu, D. Zhang, and L. Hanzo, “Integrated human activity sensing and communications,”IEEE Commun. Mag., vol. 61, no. 5, pp. 90–96, May 2023
work page 2023
-
[8]
Joint com- munication, sensing, and computation enabled 6g intelligent machine system,
Z. Feng, Z. Wei, C. Xu, H. Yang, Q. Zhang, and P. Zhang, “Joint com- munication, sensing, and computation enabled 6g intelligent machine system,”IEEE Netw., vol. 35, no. 6, pp. 34–42, Nov. 2021
work page 2021
-
[9]
Age of information: An introduction and survey,
R. D. Yates, Y . Sun, D. R. Brown, S. K. Kaul, E. Modiano, and S. Ulukus, “Age of information: An introduction and survey,”IEEE J. Sel. Areas Commun., vol. 39, no. 5, pp. 1183–1210, May 2021
work page 2021
-
[10]
Age of information in G/G/1/1 systems: Age expressions, bounds, special cases, and optimization,
A. Soysal and S. Ulukus, “Age of information in G/G/1/1 systems: Age expressions, bounds, special cases, and optimization,”IEEE Trans. Inf. Theory, vol. 67, pp. 7477–7489, Nov. 2021
work page 2021
-
[11]
On the role of age of information in the internet of things,
M. A. Abd-Elmagid, N. Pappas, and H. S. Dhillon, “On the role of age of information in the internet of things,”IEEE Commun. Mag., vol. 57, pp. 72–77, Dec. 2019
work page 2019
-
[12]
Data freshness in mixed-memory intermittently-powered systems,
J. S. Broadhead and P. Pawełczak, “Data freshness in mixed-memory intermittently-powered systems,” inProc. IEEE Int. Symp. Inf. Theory (ISIT), Melbourne, Australia, pp. 3361–3366, Jul. 2021
work page 2021
-
[13]
Optimizing information freshness in wireless networks under general interference constraints,
R. Talak, S. Karaman, and E. Modiano, “Optimizing information freshness in wireless networks under general interference constraints,” IEEE/ACM Trans. Netw., vol. 28, pp. 15–28, Feb. 2020
work page 2020
-
[14]
J. P. Champati, H. Al-Zubaidy, and J. Gross, “Statistical guarantee optimization for AoI in single-hop and two-hop FCFS systems with periodic arrivals,”IEEE Trans. Commun., vol. 69, no. 1, pp. 365–381, Sep. 2021
work page 2021
-
[15]
X. Zhang, J. Wang, and H. V . Poor, “AoI-driven statistical delay and error-rate bounded QoS provisioning for mURLLC over UA V- multimedia 6G mobile networks using FBC,”IEEE J. Sel. Areas Commun., vol. 39, no. 11, pp. 3425–3443, Nov. 2021
work page 2021
-
[16]
Throughput maximization for UA V-enabled integrated periodic sensing and commu- nication,
K. Meng, Q. Wu, S. Ma, W. Chen, K. Wang, and J. Li, “Throughput maximization for UA V-enabled integrated periodic sensing and commu- nication,”IEEE Trans. Wireless Commun., vol. 22, no. 1, pp. 671–687, Jan. 2023
work page 2023
-
[17]
Secure intelligent reflecting surface-aided integrated sensing and communica- tion,
M. Hua, Q. Wu, W. Chen, O. A. Dobre, and A. L. Swindlehurst, “Secure intelligent reflecting surface-aided integrated sensing and communica- tion,”IEEE Trans. Wireless Commun., vol. 23, no. 1, pp. 575–591, Jan. 2024
work page 2024
-
[18]
Sensing as a service in 6G perceptive networks: A unified framework for ISAC resource allocation,
F. Dong, F. Liu, Y . Cui, W. Wang, K. Han, and Z. Wang, “Sensing as a service in 6G perceptive networks: A unified framework for ISAC resource allocation,”IEEE Trans. Wireless Commun., vol. 22, no. 5, pp. 3522–3536, May 2023
work page 2023
-
[19]
Age of information in energy harvesting aided massive multiple access networks,
Z. Fang, J. Wang, Y . Ren, Z. Han, H. V . Poor, and L. Hanzo, “Age of information in energy harvesting aided massive multiple access networks,”IEEE J. Sel. Areas Commun., vol. 40, no. 5, pp. 1441–1456, May 2022
work page 2022
-
[20]
Sensing and communication co-design for status update in multiaccess wireless networks,
F. Peng, Z. Jiang, S. Zhou, Z. Niu, and S. Zhang, “Sensing and communication co-design for status update in multiaccess wireless networks,”IEEE Trans. Mobile Comput., vol. 22, no. 3, pp. 1779–1792, Mar. 2023
work page 2023
-
[21]
X. Zhao and Y .-J. A. Zhang, “Joint beamforming and scheduling for integrated sensing and communication systems in URLLC: A POMDP approach,”IEEE Trans. Commun., vol. 72, no. 10, pp. 6145–6161, Oct. 2024
work page 2024
-
[22]
J. Singh, B. Naveen, S. Srivastava, A. K. Jagannatham, and L. Hanzo, “Pareto optimal hybrid beamforming for short-packet millimeter-wave integrated sensing and communication,”IEEE Trans. Commun., vol. 73, no. 6, pp. 4570–4585, June 2025
work page 2025
-
[23]
L. Tang, A. Wang, B. Xia, Y . Tang, and Q. Chen, “Research on integrated sensing, communication resource allocation, and digital twin placement based on digital twin in IoV ,”IEEE Internet Things J., vol. 12, no. 11, pp. 17300–17315, June 2025
work page 2025
-
[24]
Z. Li, F. Hu, Z. Ling, S. Song, and Q. Li, “Joint non-line-of-sight pre- dictive beamforming and power allocation for ISAC-assisted vehicular networks,”IEEE Trans. Intell. Transp. Syst., early access
-
[25]
X. Zhang, J. Wang, and H. V . Poor, “Joint optimization and tradeoff modeling for peak AoI and delay-bound violation probabilities over URLLC-enabled wireless networks using FBC,” inProc. IEEE Int. Conf. Commun. (ICC), Jun. 2021, pp. 1–6
work page 2021
-
[26]
X. Zhang, J. Wang, and H. V . Poor, “AoI-driven statistical delay and error-rate bounded QoS provisioning for URLLC over wireless networks in the finite blocklength regime,” inProc. IEEE Int. Symp. Inf. Theory (ISIT), Jul. 2021, pp. 3115–3120
work page 2021
-
[27]
Nonorthog- onal HARQ for URLLC: Design and analysis,
F. Nadeem, M. Shirvanimoghaddam, Y . Li, and B. Vucetic, “Nonorthog- onal HARQ for URLLC: Design and analysis,”IEEE Internet Things J., vol. 8, no. 24, pp. 17596–17610, Dec. 2021
work page 2021
-
[28]
Multiple access integrated adaptive finite blocklength for ultra-low delay in 6G wireless networks,
Y . Zhang, W. Cheng, and W. Zhang, “Multiple access integrated adaptive finite blocklength for ultra-low delay in 6G wireless networks,”IEEE Trans. Wireless Commun., vol. 23, no. 3, pp. 1670–1683, Mar. 2024
work page 2024
-
[29]
Z. Behdad, ¨O. T. Demir, K. W. Sung, E. Bj ¨ornson, and C. Cavdar, “Multi-static target detection and power allocation for integrated sensing and communication in cell-free massive MIMO,”IEEE Trans. Wireless Commun., vol. 23, no. 9, pp. 11580–11596, Sep. 2024
work page 2024
-
[30]
Resource allocation for uplink cell-free massive MIMO enabled URLLC in a smart factory,
Q. Peng, H. Ren, C. Pan, N. Liu, and M. Elkashlan, “Resource allocation for uplink cell-free massive MIMO enabled URLLC in a smart factory,” IEEE Trans. Commun., vol. 71, no. 1, pp. 553–568, Jan. 2023
work page 2023
-
[31]
Performance analysis of cell-free massive MIMO systems: A stochastic geometry approach,
A. Papazafeiropoulos, P. Kourtessis, M. Di Renzo, S. Chatzinotas, and J. M. Senior, “Performance analysis of cell-free massive MIMO systems: A stochastic geometry approach,”IEEE Trans. Veh. Technol., vol. 69, no. 4, pp. 3523–3537, Apr. 2020
work page 2020
-
[32]
Cell-free massive MIMO with finite fronthaul capacity: A stochastic geometry perspective,
P. Parida and H. S. Dhillon, “Cell-free massive MIMO with finite fronthaul capacity: A stochastic geometry perspective,”IEEE Trans. Wireless Commun., vol. 22, no. 3, pp. 1555–1572, Mar. 2023
work page 2023
-
[33]
X. Ma, X. Lei, X. Zhou, and X. Tang, “Secrecy performance evaluation of scalable cell-free massive MIMO systems: A stochastic geometry approach,”IEEE Trans. Inf. Forensics Security, vol. 18, pp. 2826–2841, 2023
work page 2023
-
[34]
Q. Li, M. El-Hajjar, Y . Sun, and L. Hanzo, “Performance analysis of reconfigurable holographic surfaces in the near-field scenario of cell-free networks under hardware impairments,”IEEE Trans. Wireless Commun., vol. 23, no. 9, pp. 11972–11984, Sep. 2024
work page 2024
-
[35]
Stochastic geometry analysis of scalable cell-free RAN with dynamic association and deployment,
Y . Guoet al., “Stochastic geometry analysis of scalable cell-free RAN with dynamic association and deployment,”IEEE J. Sel. Topics Signal Process., vol. 19, no. 2, pp. 398–411, Mar. 2025
work page 2025
-
[36]
S. Shekhar, M. Srinivasan, S. Kalyani, and M.-S. Alouini, “Outage probability analysis of uplink cell-free massive MIMO network with and without pilot contamination,”IEEE Open J. Commun. Soc., vol. 5, pp. 168–184, 2024
work page 2024
-
[37]
F. Baccelli and B. Blaszczyszyn,Stochastic Geometry and Wireless Networks. Volumn I: Theory.Delft, Netherlands: Now Publishers, 2009
work page 2009
-
[38]
Statistical AoI guarantee optimization for supporting xURLLC in ISAC-enabled V2I networks,
Y . Zhang et al., “Statistical AoI guarantee optimization for supporting xURLLC in ISAC-enabled V2I networks,”IEEE Trans. Veh. Technol., Early Access
-
[39]
M. Series, “Systems characteristics of automotive radars operating in the frequency band 7681 GHz for intelligent transport. systems applications.”Recommendation ITU-R, pp. 2057–1, Jan. 2018
work page 2057
-
[40]
R. Couillet and M. Debbah,Random Matrix Methods for Wireless Communications.Cambridge: Cambridge University Press, 2011
work page 2011
-
[41]
On some inequalities for the incomplete gamma function,
H. Alzer, “On some inequalities for the incomplete gamma function,” Math. Comput. Amer. Math. Soc., vol. 66, no. 218, pp. 771–778, 1997
work page 1997
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.