pith. machine review for the scientific record. sign in

arxiv: 2605.14451 · v1 · submitted 2026-05-14 · 💻 cs.IT · eess.SP· math.IT

Recognition: 2 theorem links

· Lean Theorem

CP-OFDM Achieves Lower Ranging CRB Than Frequency-Spread Waveforms in the Large-Sample Regime

Fan Liu , Yifeng Xiong , Ya-Feng Liu , Jie Yang , Christos Masouros , Shi Jin

Authors on Pith no claims yet

Pith reviewed 2026-05-15 01:23 UTC · model grok-4.3

classification 💻 cs.IT eess.SPmath.IT
keywords CP-OFDMCramér-Rao BoundIntegrated Sensing and CommunicationsWaveform DesignRanging EstimationFisher Information MatrixAsymptotic AnalysisStochastic CRB
0
0 comments X

The pith

CP-OFDM achieves a lower ranging CRB than frequency-spread waveforms when the number of symbols grows large.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines how the choice of modulation waveform influences ranging accuracy in systems that reuse random communication symbols for sensing. It identifies a factorization of the Fisher information matrix that splits the deterministic geometry of the target from the random power fluctuations caused by the data symbols. This factorization produces a universal lower bound on the CRB that CP-OFDM attains exactly for PSK constellations. For QAM and other sub-Gaussian constellations, an asymptotic analysis shows that CP-OFDM outperforms every other frequency-spread orthogonal waveform in the large-N limit, almost surely whenever the random matrix is invertible, and the advantage carries over to amplitude and joint delay-amplitude estimation.

Core claim

The central claim is that a structural factorization of the FIM for joint delay-amplitude estimation separates the deterministic Jacobian of target geometry from the random frequency-domain signal power induced by data symbols. This structure yields a Jensen-type universal lower bound on the CRB that is exactly attained by CP-OFDM under PSK constellations. For QAM and broader sub-Gaussian constellations, an asymptotic perturbation analysis of the inverse FIM proves that, as the number of transmitted symbols N grows large, CP-OFDM achieves a lower ranging CRB than any frequency-spread orthogonal waveform over the almost-sure event where the random FIM is invertible. The superiority extends to

What carries the argument

The structural factorization of the Fisher information matrix that isolates the random frequency-domain power fluctuations induced by the data symbols from the deterministic target geometry.

If this is right

  • CP-OFDM attains the universal lower bound on ranging CRB for PSK constellations.
  • In the large-sample regime the superiority of CP-OFDM holds for amplitude estimation and for joint delay-amplitude estimation.
  • CP-OFDM is a stationary point of the stochastic CRB minimization problem over the unitary group for any finite N.
  • The Riemannian Hessian of CP-OFDM is positive semidefinite for all sufficiently large N, establishing asymptotic local optimality.
  • Numerical comparisons confirm that CP-OFDM outperforms SC, OTFS, and AFDM.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result supplies a concrete criterion for selecting waveforms in dual-function systems that must support both data transmission and ranging.
  • If the same factorization structure appears for other sensing parameters such as Doppler or angle, the same asymptotic preference for CP-OFDM would follow.
  • For practical deployment it would be useful to quantify the finite-N gap between CP-OFDM and competing waveforms on typical channel realizations.

Load-bearing premise

The random Fisher information matrix remains invertible with probability approaching one as the number of symbols grows large.

What would settle it

A concrete counter-example in which, for sufficiently large N and with positive probability, some frequency-spread orthogonal waveform yields a strictly smaller ranging CRB than CP-OFDM on an invertible realization of the random FIM.

Figures

Figures reproduced from arXiv: 2605.14451 by Christos Masouros, Fan Liu, Jie Yang, Shi Jin, Ya-Feng Liu, Yifeng Xiong.

Figure 1
Figure 1. Figure 1: Ranging CRB for SC, AFDM, OTFS and OFDM under 16-QAM an [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
read the original abstract

The inherent randomness of communication symbols creates a fundamental tension in Integrated Sensing and Communications (ISAC). On the one hand, they enable data transmission while allowing sensing to fully reuse communication resources. On the other hand, their randomness induces waveform-dependent fluctuations that directly affect sensing accuracy. This paper investigates a foundational question arising from this tradeoff: \textit{How does the modulation waveform affect the ranging Cram\'er--Rao Bound (CRB) when sensing reuses random data symbols?} We address this question by revealing a structural factorization of the Fisher information matrix (FIM) for joint delay-amplitude estimation, which separates the deterministic Jacobian of the target geometry from the random frequency-domain signal power induced by the data symbols. This structure yields a Jensen-type universal lower bound on the CRB, which is exactly attained by CP-OFDM under PSK constellations. For QAM and broader sub-Gaussian constellations, we develop an asymptotic perturbation analysis of the inverse FIM and prove that, when the number of transmitted symbols $N$ grows large, CP-OFDM achieves a lower ranging CRB than any frequency-spread orthogonal waveform over the almost-sure event where the random FIM is invertible. This superiority is further extended to amplitude estimation and full joint delay-amplitude estimation. We also characterize the local geometry of the stochastic CRB minimization problem over the unitary group. The analysis reveals that CP-OFDM is a stationary point for finite $N$, and its Riemannian Hessian is positive semidefinite for sufficiently large $N$, establishing its asymptotic local optimality. Numerical results confirm that OFDM outperforms representative waveforms including SC, OTFS, and AFDM.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 3 minor

Summary. The manuscript claims that CP-OFDM achieves a strictly lower ranging CRB than any other frequency-spread orthogonal waveform in the large-N regime for joint delay-amplitude estimation when random communication symbols are reused for sensing. The central technical step is a factorization of the FIM into a deterministic geometric Jacobian and a random diagonal frequency-domain power matrix; Jensen's inequality then supplies a universal lower bound attained exactly by CP-OFDM under PSK. For sub-Gaussian constellations an asymptotic perturbation expansion of the inverse FIM shows that the leading correction term is positive whenever the power profile is non-constant, yielding almost-sure superiority on the event that the random FIM is invertible. The result is extended to amplitude-only and joint estimation, and the stochastic CRB minimization problem is shown to have CP-OFDM as a stationary point whose Riemannian Hessian is positive semidefinite for large N. Numerical comparisons with SC, OTFS and AFDM corroborate the ordering.

Significance. If the derivations hold, the work supplies a parameter-free, asymptotically rigorous ranking of waveforms for ISAC ranging that favors CP-OFDM without fitting constants to the target CRB. The clean separation of geometry and power fluctuations, the exact attainment of the Jensen bound, and the standard large-N perturbation technique together constitute a solid theoretical contribution. The local-optimality analysis over the unitary group and the numerical validation further increase the result's relevance for waveform design in integrated sensing and communications.

major comments (1)
  1. The almost-sure superiority is stated only on the event that the random FIM remains invertible. A quantitative bound on the probability of singularity for finite but large N (or at least a reference to existing random-matrix results that control this probability) would make the practical scope of the asymptotic claim clearer.
minor comments (3)
  1. The definition of 'frequency-spread orthogonal waveform' appears only implicitly through the frequency-domain power matrix; an explicit one-sentence characterization in the introduction, together with the precise unitary constraint, would help readers outside the immediate subfield.
  2. In the numerical section the Monte-Carlo setup (number of trials, SNR range, exact constellation parameters) should be stated explicitly so that the plotted CRB curves can be reproduced from the given theoretical expressions.
  3. A few instances of inconsistent bold-face notation for vectors versus matrices appear in the early sections; a quick consistency pass would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the constructive comment and the recommendation of minor revision. We address the point below and will incorporate the suggested clarification.

read point-by-point responses
  1. Referee: The almost-sure superiority is stated only on the event that the random FIM remains invertible. A quantitative bound on the probability of singularity for finite but large N (or at least a reference to existing random-matrix results that control this probability) would make the practical scope of the asymptotic claim clearer.

    Authors: We agree that quantifying the probability of the singularity event strengthens the practical interpretation. In the revised manuscript we will add a remark (in the paragraph following the statement of the almost-sure result) noting that, under the sub-Gaussian assumption on the constellation, the diagonal entries of the random power matrix are i.i.d. sub-Gaussian random variables. Standard concentration and random-matrix results (e.g., Rudelson–Vershynin bounds on the smallest singular value) then imply that the probability of singularity decays exponentially in N: P(FIM singular) ≤ exp(−cN) for a positive constant c that depends only on the sub-Gaussian norm of the constellation. Consequently, the almost-sure superiority holds with overwhelmingly high probability already for moderate but finite N. We will cite the relevant random-matrix literature. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's derivation starts from the signal model to obtain an exact structural factorization of the FIM separating the deterministic geometric Jacobian from the random diagonal frequency-domain power matrix induced by data symbols. Jensen's inequality is then applied directly to this factorization to produce a universal lower bound on the CRB that is attained exactly when the power matrix is deterministic (CP-OFDM with PSK). For sub-Gaussian constellations an asymptotic perturbation expansion of the inverse FIM is performed; the leading correction term is shown strictly positive for any non-constant power profile, yielding the almost-sure superiority for large N on the invertible-FIM event. These steps rely on external standard tools (Jensen, second-order perturbation, sub-Gaussian concentration) without fitting any parameter to the target CRB or invoking load-bearing self-citations. The local-geometry analysis on the unitary group independently establishes stationarity and positive-semidefiniteness of the Riemannian Hessian for large N. The entire chain is therefore self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The derivations rely on standard properties of the Fisher information matrix for Gaussian noise models, the definition of sub-Gaussian random variables, and the almost-sure invertibility of the random FIM for large N; no free parameters are fitted to data and no new physical entities are postulated.

axioms (2)
  • domain assumption The noise is circularly symmetric complex Gaussian and independent across observations.
    Standard model for communication and sensing receivers; invoked when writing the likelihood and FIM.
  • domain assumption The data symbols are i.i.d. from a constellation with finite moments (PSK or sub-Gaussian).
    Required for the random power term to have well-defined mean and for the law of large numbers to apply in the large-N limit.

pith-pipeline@v0.9.0 · 5622 in / 1616 out tokens · 37939 ms · 2026-05-15T01:23:57.212831+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

40 extracted references · 40 canonical work pages

  1. [1]

    Integrated sensing and communications: Toward dual-func tional wire- less 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 wire- less networks for 6G and beyond,” IEEE J. Sel. Areas Commun. , vol. 40, no. 6, pp. 1728–1767, Jun. 2022

  2. [2]

    Enabling joint communication and radar sensing in mobile networks—a survey,

    J. A. Zhang, M. L. Rahman, K. Wu, X. Huang, Y . J. Guo, S. Chen , and J. Y uan, “Enabling joint communication and radar sensing in mobile networks—a survey,” IEEE Commun. Surveys Tuts. , vol. 24, no. 1, pp. 306–345, 2022

  3. [3]

    Integrated sensing and communication signals tow ard 5G-A and 6G: A survey,

    Z. Wei, H. Qu, Y . Wang, X. Y uan, H. Wu, Y . Du, K. Han, N. Zhang , and Z. Feng, “Integrated sensing and communication signals tow ard 5G-A and 6G: A survey,” IEEE Internet Things J. , vol. 10, no. 13, pp. 11 068– 11 092, Jul. 2023

  4. [4]

    Sensing with communication signals : From information theory to signal processing,

    F. Liu, Y .-F. Liu, Y . Cui, C. Masouros, J. Xu, T.-X. Han, S. Buzzi, Y . C. Eldar, and S. Jin, “Sensing with communication signals : From information theory to signal processing,” IEEE J. Sel. Areas Commun. , vol. 44, pp. 1–30, 2026

  5. [5]

    O rthogonal time frequency space modulation,

    R. Hadani, S. Rakib, A. F. Molisch, C. Ibars, A. Monk, M. Ts atsanis, J. Delfeld, Y . Hebron, A. J. Goldsmith, and R. Calderbank, “O rthogonal time frequency space modulation,” in Proc. IEEE Wireless Commun. Netw. Conf. (WCNC) , San Francisco, CA, USA, Mar. 2017, pp. 1–6

  6. [6]

    On t he effective- ness of OTFS for joint radar parameter estimation and commun ication,

    L. Gaudio, M. Kobayashi, G. Caire, and G. Colavolpe, “On t he effective- ness of OTFS for joint radar parameter estimation and commun ication,” IEEE Trans. Wireless Commun. , vol. 19, no. 9, pp. 5951–5965, Sep. 2020

  7. [7]

    Affine frequenc y division multiplexing for next generation wireless communications ,

    A. Bemani, N. Ksairi, and M. Kountouris, “Affine frequenc y division multiplexing for next generation wireless communications ,” IEEE Trans. Wireless Commun., vol. 22, no. 11, pp. 8214–8229, Nov. 2023

  8. [8]

    A survey on fundamental limits of integrated sensing and communicat ion,

    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 fundamental limits of integrated sensing and communicat ion,” IEEE Commun. Surveys Tuts. , vol. 24, no. 2, pp. 994–1034, 2022

  9. [9]

    Mutual information and minimum mean-square error in Gaussian channels,

    D. Guo, S. Shamai, and S. V erd´ u, “Mutual information and minimum mean-square error in Gaussian channels,” IEEE Trans. Inf. Theory , vol. 51, no. 4, pp. 1261–1282, Apr. 2005

  10. [10]

    Chan nel capacity and state estimation for state-dependent Gaussian channel s,

    A. Sutivong, M. Chiang, T. M. Cover, and Y .-H. Kim, “Chan nel capacity and state estimation for state-dependent Gaussian channel s,” IEEE Trans. Inf. Theory , vol. 51, no. 4, pp. 1486–1495, Apr. 2005

  11. [11]

    State amplifica tion,

    Y .-H. Kim, A. Sutivong, and T. M. Cover, “State amplifica tion,” IEEE Trans. Inf. Theory , vol. 54, no. 5, pp. 1850–1859, May 2008

  12. [12]

    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

  13. [13]

    Joint state sens ing and communication: Optimal tradeoff for a memoryless case,

    M. Kobayashi, G. Caire, and G. Kramer, “Joint state sens ing and communication: Optimal tradeoff for a memoryless case,” in Proc. IEEE Int. Symp. Inf. Theory (ISIT) , V ail, CO, USA, Jun. 2018, pp. 111–115

  14. [14]

    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

  15. [15]

    Joint communication and binary state detection,

    H. Joudeh and F. M. J. Willems, “Joint communication and binary state detection,” IEEE J. Sel. Areas Inf. Theory , vol. 3, no. 1, pp. 113–124, Mar. 2022

  16. [16]

    On joint communication and channel discrim- ination,

    H. Wu and H. Joudeh, “On joint communication and channel discrim- ination,” in Proc. IEEE Int. Symp. Inf. Theory (ISIT) , Espoo, Finland, Jun.–Jul. 2022, pp. 3321–3326

  17. [17]

    Joint com munication and parameter estimation in MIMO channels,

    G. Yılmaz, F. Lampel, H. Joudeh, and G. Caire, “Joint com munication and parameter estimation in MIMO channels,” IEEE J. Sel. Areas Inf. Theory, vol. 7, pp. 91–105, 2026

  18. [18]

    Integ rated sensing and communication in the finite blocklength regime,

    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, Jul. 2024, pp. 2790–2795

  19. [19]

    On the fun damental limits of integrated sensing and communications under loga rithmic loss,

    J. Chen, L. Y u, Y . Li, W. Shi, Y . Ge, and W. Tong, “On the fun damental limits of integrated sensing and communications under loga rithmic loss,” IEEE Trans. Commun. , vol. 74, no. 12, pp. 46–60, 2026

  20. [20]

    On 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, “On the fundamental tradeoff of integrated sensing and communicat ions under Gaussian channels,” IEEE Trans. Inf. Theory , vol. 69, no. 9, pp. 5723– 5751, Sep. 2023

  21. [21]

    To- ward dual-functional radar-communication systems: Optim al waveform design,

    F. Liu, L. Zhou, C. Masouros, A. Li, W. Luo, and A. Petropu lu, “To- ward dual-functional radar-communication systems: Optim al waveform design,” IEEE Trans. Signal Process. , vol. 66, no. 16, pp. 4264–4279, Aug. 2018

  22. [22]

    Cr am´ er-rao bound optimization for joint radar-communication beamfor ming,

    F. Liu, Y .-F. Liu, A. Li, C. Masouros, and Y . C. Eldar, “Cr am´ er-rao bound optimization for joint radar-communication beamfor ming,” IEEE Trans. Signal Process. , vol. 70, pp. 240–253, 2022

  23. [23]

    MIMO integrated sensing an d commu- nication: CRB-rate tradeoff,

    H. Hua, T.-X. Han, and J. Xu, “MIMO integrated sensing an d commu- nication: CRB-rate tradeoff,” IEEE Trans. Wireless Commun. , vol. 23, no. 4, pp. 2839–2854, Apr. 2024. 20

  24. [24]

    Fundamental CRB-rate tradeoff in multi-antenna ISA C systems with information multicasting and multi-target sensing,

    Z. Ren, Y . Peng, X. Song, Y . Fang, L. Qiu, L. Liu, D. W. K. Ng , and J. Xu, “Fundamental CRB-rate tradeoff in multi-antenna ISA C systems with information multicasting and multi-target sensing,” IEEE Trans. Wireless Commun., vol. 23, no. 4, pp. 3870–3885, Apr. 2024

  25. [25]

    Random ISAC signals deserve dedicated precoding,

    S. Lu, F. Liu, F. Dong, Y . Xiong, J. Xu, Y .-F. Liu, and S. Ji n, “Random ISAC signals deserve dedicated precoding,” IEEE Trans. Signal Process., vol. 72, pp. 3453–3469, 2024

  26. [26]

    CP-OFDM achieves the lowest average ranging side lobe under QAM/PSK constellations,

    F. Liu, Y . Zhang, Y . Xiong, S. Li, W. Y uan, F. Gao, S. Jin, a nd G. Caire, “CP-OFDM achieves the lowest average ranging side lobe under QAM/PSK constellations,” IEEE Trans. Inf. Theory, vol. 71, no. 9, pp. 6950–6967, Sep. 2025

  27. [27]

    Uncovering the iceberg in the sea: Fundamentals o f pulse shaping and modulation design for random ISAC signals,

    F. Liu, Y . Xiong, S. Lu, S. Li, W. Y uan, C. Masouros, S. Jin , and G. Caire, “Uncovering the iceberg in the sea: Fundamentals o f pulse shaping and modulation design for random ISAC signals,” IEEE Trans. Signal Process. , vol. 73, pp. 2511–2526, 2025

  28. [28]

    Reshaping the ISAC tradeoff under OFDM signaling: A probabilistic con stellation shaping approach,

    Z. Du, F. Liu, Y . Xiong, T. X. Han, Y . C. Eldar, and S. Jin, “ Reshaping the ISAC tradeoff under OFDM signaling: A probabilistic con stellation shaping approach,” IEEE Trans. Signal Process., vol. 72, pp. 4782–4797, 2024

  29. [29]

    On discrete ambiguity functions of random communication waveforms,

    Y . Zhang, F. Liu, Y . Xiong, W. Y uan, S. Li, L. Zheng, T.-X. Han, C. Masouros, and S. Jin, “On discrete ambiguity functions of random communication waveforms,” arXiv preprint arXiv:2512.08352 , 2025

  30. [30]

    C onstellation design in OFDM-ISAC over data payloads: From MSE analysis to experimentation,

    K. Han, K. Meng, A. Chatzicharistou, and C. Masouros, “C onstellation design in OFDM-ISAC over data payloads: From MSE analysis to experimentation,” arXiv preprint arXiv:2510.13101 , 2025

  31. [31]

    Cram´ er, Mathematical Methods of Statistics

    H. Cram´ er, Mathematical Methods of Statistics . Princeton, NJ, USA: Princeton Univ. Press, 1946

  32. [32]

    Information and the accuracy attainable in t he estimation of statistical parameters,

    C. R. Rao, “Information and the accuracy attainable in t he estimation of statistical parameters,” Bull. Calcutta Math. Soc. , vol. 37, pp. 81–91, 1945

  33. [33]

    S. M. Kay, Fundamentals of Statistical Signal Processing, V olume I: Estimation Theory. Upper Saddle River, NJ, USA: Prentice Hall, 1993

  34. [34]

    H. L. V . Trees, Detection, Estimation, and Modulation Theory, Part I: Detection, Estimation, and Linear Modulation Theory . New Y ork, NY , USA: Wiley, 2001

  35. [35]

    A modified Cram´ er-Rao bou nd and its applications,

    R. W. Miller and C.-B. Chang, “A modified Cram´ er-Rao bou nd and its applications,” IEEE Trans. Inf. Theory , vol. 24, no. 3, pp. 398–400, May 1978

  36. [36]

    On the use of Cram´ er-Rao-l ike bounds in the presence of random nuisance parameters,

    F. Gini and R. Reggiannini, “On the use of Cram´ er-Rao-l ike bounds in the presence of random nuisance parameters,” IEEE Trans. Commun. , vol. 48, no. 12, pp. 2120–2126, Dec. 2000

  37. [37]

    On inverses of V andermonde and confluent V andermonde matrices,

    W. Gautschi, “On inverses of V andermonde and confluent V andermonde matrices,” Numer . Math., vol. 4, pp. 117–123, 1962

  38. [38]

    Durrett, Probability: Theory and Examples , 5th ed

    R. Durrett, Probability: Theory and Examples , 5th ed. Cambridge, U.K.: Cambridge Univ. Press, 2019

  39. [39]

    Hanson-wright inequali ty and sub- gaussian concentration,

    M. Rudelson and R. V ershynin, “Hanson-wright inequali ty and sub- gaussian concentration,” Electron. Commun. Probab. , vol. 18, no. 82, pp. 1–9, 2013

  40. [40]

    Absil, R

    P .-A. Absil, R. Mahony, and R. Sepulchre, Optimization Algorithms on Matrix Manifolds . Princeton, NJ, USA: Princeton Univ. Press, 2008