pith. sign in

arxiv: 2605.01889 · v2 · submitted 2026-05-03 · 📡 eess.SP

Sensing-Constrained Diversity-Multiplexing Tradeoff in MIMO ISAC: A Geometric Approach

Yinuo Du , Ziping Lu , Xiao Shen , Hanying Zhao , Yuan Shen This is my paper

Pith reviewed 2026-05-11 01:51 UTC · model grok-4.3

classification 📡 eess.SP
keywords diversity-multiplexing tradeoffMIMO ISACsensing-constrained DMTgeneralized Stiefel manifoldoutage probabilitylarge-deviation analysisRayleigh fadingmono-static sensing
0
0 comments X

The pith

In mono-static MIMO ISAC, forcing sensing-optimal waveforms imposes a converse bound on the achievable communication diversity-multiplexing tradeoff under Rayleigh fading.

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

The paper derives a precise upper bound on the diversity-multiplexing tradeoff that communication can achieve when a MIMO transmitter in an integrated sensing and communication system must emit only waveforms that are optimal for sensing. It reaches this bound by mapping the constrained waveform set onto generalized Stiefel manifolds and applying large-deviation techniques to extract the exact asymptotic decay rate of outage probability. A reader would care because the result quantifies the concrete penalty in reliability and rate that must be paid to keep sensing performance at its theoretical maximum. The analysis is carried out for the mono-static case with Rayleigh fading, yielding an explicit functional form for the sensing-constrained tradeoff curve.

Core claim

When the transmitter in a mono-static MIMO ISAC system is restricted to sensing-optimal waveforms, the asymptotic outage probability of the communication link is determined by the volume growth and covering properties of the associated generalized Stiefel manifold. Large-deviation analysis of the random fading matrix then produces a closed-form exponent that directly supplies a tight converse bound on the sensing-constrained diversity-multiplexing tradeoff.

What carries the argument

Generalized Stiefel manifolds that parametrize the set of sensing-optimal transmit waveforms, whose geometric volume and distance properties are used to compute the outage exponent via large-deviation principles.

If this is right

  • For any target multiplexing rate the maximum diversity order is strictly lower than the unconstrained MIMO case.
  • The bound supplies an analytical benchmark against which any practical ISAC waveform can be compared.
  • Designers can compute the minimum number of antennas needed to meet joint sensing and communication specifications.
  • The result extends immediately to the high-SNR regime and gives the precise slope of the outage curve.

Where Pith is reading between the lines

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

  • Relaxing the waveform constraint to a small neighborhood around the sensing optimum could recover a fraction of the lost diversity order.
  • The same geometric approach may apply to multi-static or Rician channels, producing different tradeoff curves that could be tested in simulation.
  • Hardware implementations that approximate the optimal sensing waveform might be evaluated by how closely their outage statistics track the derived bound.

Load-bearing premise

The transmitter is forced to emit exactly the waveforms that maximize sensing performance in a mono-static MIMO setup with independent Rayleigh fading.

What would settle it

An experiment that transmits sensing-optimal waveforms from a MIMO array in a controlled Rayleigh-fading environment and measures whether the observed outage probability decays at the exact rate predicted by the manifold-based exponent.

Figures

Figures reproduced from arXiv: 2605.01889 by Hanying Zhao, Xiao Shen, Yinuo Du, Yuan Shen, Ziping Lu.

Figure 1
Figure 1. Figure 1: Illustration of a typical mono-static MIMO ISAC scenario. view at source ↗
Figure 2
Figure 2. Figure 2: Impact of rk(R) on the sensing-constrained DMT. The converse bound for d ∗ R(r) also serves as the converse bound in the presence of Nt = rk(R) sensing targets in Section IV-A. Finally, solving for d out rk(R) in (28) characterizes the tradeoff between the asymptotic outage probability Pout .= η −d out rk(R) c and the rate r log ηc for the compound channel (9). This simultaneously provides a converse bound… view at source ↗
Figure 3
Figure 3. Figure 3: Impact of T on the sensing-constrained DMT (see Section IV-B). and MIMO gain. Unlike the original DMT (6), which is independent of the blocklength T, our bound reveals that when optimal-sensing capabilities are incorporated, achieving lower latency sacrifices MIMO gain. Conversely, in the latency￾unconstrained regime as T → ∞, (29) shows that the sensing￾constrained DMT bound converges to the original DMT.… view at source ↗
read the original abstract

Diversity and multiplexing are the two fundamental gains of multiple-input and multiple-output (MIMO) communications, enabling systems to simultaneously achieve increased reliability and higher data rates. The intricate interplay between these two metrics is captured by the celebrated diversity-multiplexing tradeoff (DMT). With the rapid evolution of wireless technologies, low-latency integrated sensing and communication (ISAC) has emerged as a key enabler for 6G applications, including extended reality (XR) and massive digital twins. Consequently, understanding the DMT within MIMO ISAC systems becomes critical. In this paper, we investigate the communication DMT in a mono-static MIMO ISAC system under Rayleigh fading, specifically when the transmitter is constrained to emit sensing-optimal waveforms. By unveiling the geometric properties of generalized Stiefel manifolds and employing large-deviation analysis, we characterize the asymptotic outage probability of this typical ISAC channel. This formulation yields an elegant converse bound on the sensing-constrained DMT. Ultimately, our work provides an answer to a pivotal unanswered question in ISAC system design: How much MIMO gain is fundamentally sacrificed in communication to integrate optimal sensing capabilities?

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

0 major / 0 minor

Summary. The paper investigates the diversity-multiplexing tradeoff (DMT) for communication in a mono-static MIMO ISAC system under Rayleigh fading when the transmitter is restricted to sensing-optimal waveforms. By analyzing the geometry of generalized Stiefel manifolds and applying large-deviation techniques, the authors derive the asymptotic outage probability of the resulting ISAC channel and obtain a converse bound on the sensing-constrained DMT, thereby quantifying the MIMO gain sacrificed to enforce optimal sensing.

Significance. If the central derivation holds, the work supplies a fundamental limit on the communication-sensing tradeoff in MIMO ISAC, directly relevant to 6G applications such as XR and digital twins. The geometric treatment of the waveform constraint and the large-deviation characterization of outage constitute a clean, non-empirical approach that avoids fitted parameters and yields an explicit converse.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for recognizing the potential relevance of the sensing-constrained DMT result to 6G applications. The recommendation is listed as uncertain, which we interpret as a request for further verification of the central geometric and large-deviation arguments. No specific major comments were provided in the report, so we have no individual points to address at this time. We remain available to supply additional details or clarifications on any aspect of the derivation.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation chain relies on external tools—geometric properties of generalized Stiefel manifolds plus large-deviation analysis—applied to the explicitly stated premises (mono-static MIMO ISAC under Rayleigh fading with sensing-optimal waveforms). These yield the asymptotic outage probability and the converse bound on sensing-constrained DMT. No step reduces by construction to the paper's own inputs, no parameters are fitted then relabeled as predictions, and no load-bearing self-citations or uniqueness theorems imported from prior author work appear. The argument is therefore self-contained against independent mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard wireless channel models and mathematical analysis techniques without introducing new free parameters or invented entities in the abstract.

axioms (2)
  • domain assumption Rayleigh fading channel model
    Standard assumption for analyzing wireless MIMO channels in fading environments.
  • domain assumption Mono-static ISAC configuration
    Transmitter and sensing receiver are co-located as stated in the setup.

pith-pipeline@v0.9.0 · 5510 in / 1183 out tokens · 54481 ms · 2026-05-11T01:51:32.810283+00:00 · methodology

Review history (2 revisions) →

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

16 extracted references · 16 canonical work pages

  1. [1]

    Framework and overall objectives of the future develop- ment of IMT for 2030 and beyond,

    ITU-R, “Framework and overall objectives of the future develop- ment of IMT for 2030 and beyond,” International Telecommunication Union (ITU), Geneva, Switzerland, Recommendation (ITU-R M.2160-

    work page 2030

  2. [2]

    On the fundamental tradeoff of integrated sensing and communications under Gaussian channels,

    Y . Xiong, F. Liu, Y . Cuiet al., “On the fundamental tradeoff of integrated sensing and communications under Gaussian channels,”IEEE Trans. Inf. Theory, vol. 69, no. 9, pp. 5723–5751, 2023

    work page 2023

  3. [3]

    The integrated sensing and communication revolution for 6G: Vision, tech- niques, and applications,

    N. Gonz ´alez-Prelcic, M. Furkan Keskin, O. Kaltiokallioet al., “The integrated sensing and communication revolution for 6G: Vision, tech- niques, and applications,”Proc. IEEE, vol. 112, no. 7, pp. 676–723, 2024

    work page 2024

  4. [4]

    An information-theoretic approach to joint sensing and communication,

    M. Ahmadipour, M. Kobayashi, M. Wigger, and G. Caire, “An information-theoretic approach to joint sensing and communication,” IEEE Trans. Inf. Theory, vol. 70, no. 2, pp. 1124–1146, 2022

    work page 2022

  5. [5]

    Fundamental tradeoff of bistatic ISAC under Gaussian fading channels at finite blocklength,

    X. Shen, Z. Lu, N. Zhao, H. Zhao, and Y . Shen, “Fundamental tradeoff of bistatic ISAC under Gaussian fading channels at finite blocklength,” IEEE Trans. Inf. Theory, 2025

    work page 2025

  6. [6]

    Diversity and multiplexing: A fundamental tradeoff in multiple-antenna channels,

    L. Zheng and D. N. C. Tse, “Diversity and multiplexing: A fundamental tradeoff in multiple-antenna channels,”IEEE Trans. Inf. Theory, vol. 49, no. 5, pp. 1073–1096, 2003

    work page 2003

  7. [7]

    Chikuse,Statistics on special manifolds

    Y . Chikuse,Statistics on special manifolds. Springer Science & Business Media, 2003, vol. 174

    work page 2003

  8. [8]

    Weiner,High-SNR capacity of AWGN channels with generic alphabet constraints

    I. Weiner,High-SNR capacity of AWGN channels with generic alphabet constraints. Harvard University, 2017

    work page 2017

  9. [9]

    On the volume of tubes,

    H. Weyl, “On the volume of tubes,”American Journal of Mathematics, vol. 61, no. 2, pp. 461–472, 1939

    work page 1939

  10. [10]

    A. M. Tulino and S. Verd ´u,Random matrix theory and wireless communications. Now Publishers Inc, 2004

    work page 2004

  11. [11]

    Dembo and O

    A. Dembo and O. Zeitouni,Large deviations techniques and applica- tions. Springer Science & Business Media, 2009, vol. 38

    work page 2009

  12. [12]

    Sensing- constrained diversity-multiplexing tradeoff in MIMO ISAC: A ge- ometric approach,

    Y . Du, Z. Lu, X. Shen, H. Zhao, and Y . Shen, “Sensing- constrained diversity-multiplexing tradeoff in MIMO ISAC: A ge- ometric approach,”arXiv preprint (pending), 2026, available at https://cloud.tsinghua.edu.cn/d/87716b67b6ed49a5aa62/

    work page 2026

  13. [13]

    J. M. Lee,Introduction to Riemannian manifolds. Springer, 2018, vol. 2

    work page 2018

  14. [14]

    Communication on the Grassmann manifold: A geometric approach to the noncoherent multiple-antenna channel,

    L. Zheng and D. N. C. Tse, “Communication on the Grassmann manifold: A geometric approach to the noncoherent multiple-antenna channel,”IEEE Trans. Inf. Theory, vol. 48, no. 2, pp. 359–383, 2002

    work page 2002

  15. [15]

    Distributions of matrix variates and latent roots derived from normal samples,

    A. T. James, “Distributions of matrix variates and latent roots derived from normal samples,”Ann. of Math. Stat., vol. 35, no. 2, pp. 475–501, 1964. APPENDIXA PROOF OFPROPOSITION1 A. Proof of Proposition 1-a Proof:SinceU(n)acts smoothly and transitively on S(k,n) A ,S (k,n) A is aU(n)-homogeneous space. ForU∈U(n), let∆ 1,∆ 2 ∈T SS(k,n) A for arbitrary S∈S...

    work page 1964

  16. [16]

    Consequently,h(C 2 +Z c2)is bounded, making the difference h(C2 +Z c2)−h(Z c2)bounded by a constant

    Therefore, asη c → ∞, the power of the components in C2 is bounded (either staying constant or decaying to zero). Consequently,h(C 2 +Z c2)is bounded, making the difference h(C2 +Z c2)−h(Z c2)bounded by a constant. Sinceα 1:m <0.5,C(η c,α 1:m)→ ∞asη c → ∞. Dividing both bounds byC(η c,α 1:m)and taking the limit, the bounded term vanishes, leading to: lim ...

    work page