Pith. sign in

REVIEW 3 major objections 6 minor 24 references

Degrees of Freedom of Holographic MIMO -- Fundamental Theory and Analytical Methods

T0 review · 3 major / 6 minor · reviewed 2026-08-16 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The two standard methods for counting holographic-MIMO degrees of freedom are complementary, not competing: one integrates local spatial bandwidth, the other applies Landau's eigenvalue theorem.

desk verdict Useful tutorial comparison of two eDoF methods, but the central claim about the self-adjoint operator rests on a false Hermitian-implies-convolution step. read the letter →

arxiv 2504.13031 v1 pith:SEDJ5B4O submitted 2025-04-17 cs.IT eess.SPmath.IT

Juan Carlos Ruiz-Sicilia , Marco Di Renzo , Placido Mursia , Vincenzo Sciancalepore , Merouane Debbah This is my paper · ORCID
classification cs.ITeess.SPmath.IT
keywords holographicMIMOdegreesoffreedomspatialbandwidthcut-setintegralself-adjointoperatorLandaueigenvaluetheoremeffectiveline-of-sightchannels
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Holographic MIMO replaces conventional antenna arrays with electrically large continuous surfaces, and its spatial multiplexing ability is measured by the number of effective degrees of freedom (eDoF): the number of orthogonal communication modes whose coupling intensity exceeds a threshold. This paper compares the two ways the literature computes that number. It argues that the cut-set integral—which sums a local spatial bandwidth over the receiving surface—and the self-adjoint operator method—which applies Landau's eigenvalue theorem to the kernel $KK^*$—are complementary characterizations of the same asymptotic eDoF. The comparison matters because the self-adjoint method alone also yields the optimal basis functions needed to build the modes, while the cut-set integral is more general in its assumptions. The paper's central message is that these are two lenses on one limit, not alternative theories with different answers.

What carries the argument

The central machinery is the singular-value and eigenvalue decomposition of the Hilbert–Schmidt propagation operator $K$, with the effective degrees of freedom defined through the Kolmogorov $N$-width as $N_{eDoF,\gamma}(K)=\min\{N: s_N^2\leq \gamma\}$, where $s_n^2$ are the eigenvalues of $\mathcal{G}_{Rx}=KK^*$. The cut-set branch approximates this count by the spatial-bandwidth integral $N_o=(2\pi)^{-2}\int_{S_{Rx}}W(r_{Rx})dr_{Rx}$, in which $W(r_{Rx})$ is the local wavenumber support at each point of the receiving surface. The self-adjoint branch uses Landau's eigenvalue theorem, which says that for an asymptotically large receiving surface the scaled eDoF converge to $m(S_{Rx})m(Q_\gamma)/(2\pi)^2$, recognizing that $\mathcal{G}_{Rx}$ becomes a convolution operator in that limit. The operator $K$ and its self-adjoint products carry the entire argument.

What would settle it

Numerically diagonalize $KK^*$ for two finite holographic surfaces in a line-of-sight, non-paraxial geometry and check whether, as the surfaces are scaled up with fixed shape, $r^{-2}N_{eDoF,\gamma}(K)$ approaches $m(S_{Rx})m(Q_\gamma)/(2\pi)^2$ for a finite accuracy $\gamma$; if the eigenvalue transition stays spread over a window that does not shrink as $o(r^2)$, the asymptotic complementarity claimed in the comparison is not the whole story.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is that the cut-set integral and the self-adjoint operator do not conflict: for a Hilbert–Schmidt propagation kernel $K$, the effective degrees of freedom are the number of eigenvalues $s_n^2$ of $\mathcal{G}_{Rx}=KK^*$ above a threshold $\gamma$, and both methods compute this count in the asymptotic regime of large surfaces. The cut-set method obtains it as $N_o = (2\pi)^{-2}\int_{S_{Rx}} W(r_{Rx})dr_{Rx}$, integrating the local wavenumber support; the self-adjoint method obtains it through Landau's eigenvalue theorem, $\lim_{r\to\infty} r^{-2} N_{eDoF,\gamma}(K) = m(S_{Rx})m(Q_\gamma)/(2\pi)^2$. The self-adjoint route works for any accuracy level $\gamma$ and, when the kernel is Hermitian and the receiving surface is asymptotically large, also supplies the optimal basis functions by solving the eigenfunction equation; the cut-set route is more general in requiring only a known local bandwidth.

Load-bearing premise

The load-bearing premise is that the propagation kernel is Hilbert–Schmidt and that the interesting regime is the asymptotic one; for the self-adjoint method it is additionally assumed that, for large receiving surfaces, $KK^*$ acts as a convolution with a Hermitian kernel, which does not follow from Hermiticity alone.

Editorial extensions

If this is right

  • Because both methods converge to the same count in the asymptotic regime, eDoF results obtained by either route can be cross-checked, and a discrepancy signals a violation of the shared Hilbert–Schmidt or asymptotic assumptions.
  • In paraxial line-of-sight settings, the self-adjoint method gives closed-form eigenfunctions, so a holographic transceiver can in principle construct orthogonal spatial modes matching the eDoF count with a limited number of RF chains.
  • The self-adjoint method's ability to handle arbitrary accuracy $\gamma$ lets a designer inspect the eigenvalue spectrum, not just the count, so it can predict how many modes carry most of the power.
  • The cut-set integral remains the method of choice for channel operators where the local bandwidth is known analytically but the self-adjoint operator is not Hermitian, such as some non-paraxial or non-broadside geometries.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The comparison implies that neither method is fundamental; the fundamental object is the eigenvalue distribution of $KK^*$, and both formulas are asymptotic approximations of that distribution, so finite-aperture corrections such as the transition width of the eigenvalues deserve more attention than the paper gives them.
  • If the Hermitian-convolution assumption fails for some holographic-surface geometry, a natural hybrid is to keep the cut-set integral for the count and extract basis functions numerically from the eigenproblem; the paper's comparison suggests this would preserve both methods' strengths.
  • One testable extension is to define a local bandwidth for non-ideal filters through the Wigner distribution or a short-time Fourier transform of the self-adjoint kernel, which would let the self-adjoint method handle non-asymptotic surfaces where the convolution approximation breaks down.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 6 minor

Summary. This paper is a tutorial/comparison of two analytical methods for computing the effective degrees of freedom (eDoF) of holographic MIMO channels: the cut-set integral (spatial-bandwidth) method and the self-adjoint operator method based on Landau's eigenvalue theorem. The paper introduces a Hilbert-Schmidt channel model, defines eDoF through the Kolmogorov n-width, reviews both methods with relevant literature, and compares them in Table I. The central claims are that the cut-set integral is general but only provides asymptotic eDoF for arbitrarily small accuracy gamma and does not yield basis functions, whereas the self-adjoint method works for any gamma and can provide optimal eigenfunctions, provided the self-adjoint operator is Hermitian.

Significance. The paper fills a useful niche by organizing two related but often separately presented lines of work. Its clear definitions of the Kolmogorov n-width and Landau's eigenvalue theorem, together with the historical tracing from Slepian-Pollak to current HoloS analyses, will help readers navigate the literature. The paper is honest about the asymptotic nature of eDoF and about the limitation of the cut-set integral to small gamma. The comparison in Table I is a convenient summary. However, the paper's value depends on the accuracy of the claims in Table I; as discussed in the major comments, the self-adjoint method's advertised flexibility rests on an unproved convolution approximation. The paper brings no machine-checked proofs or code, but as a review it does not require them.

major comments (3)
  1. [IV.B, Eq. (22)] Equation (22) states that a Hermitian self-adjoint operator can be written as a convolution kernel g_Rx(r_Rx - r'_Rx). This is incorrect: Hermiticity of an integral operator only implies g(r,r') = g^*(r',r), not translation invariance. For a Hilbert-Schmidt K, the kernel of G_Rx = K K* is ∫_{S_Tx} k(r_Rx, r_Tx) k^*(r'_Rx, r_Tx) dr_Tx, which is generally not a function of r_Rx - r'_Rx. The subsequent assertion in Section IV.B that 'G_Rx becomes a convolution when S_Rx is asymptotically large' is unproved; enlarging the receive domain does not make a two-variable kernel difference-dependent. This step is load-bearing because it licenses Table I's claims that the self-adjoint method applies for any gamma and can produce eigenfunctions. Please prove the convolution limit under explicit assumptions (e.g., paraxial LoS, effectively infinite surfaces) or restrict the claims accordingly.
  2. [III.A, Eq. (21)] The local bandwidth W(r_Rx) is computed as the integral of the Jacobian determinant det(J(r_Rx, r_Tx)) over S_Tx. Because (19) maps r_Tx to a wavenumber vector, the area element should be |det J(r_Rx, r_Tx)| dr_Tx; without the absolute value, signed contributions can cancel and yield an incorrect W(r_Rx). This affects the cut-set integral (13) and the subsequent comparison.
  3. [V, Table I] The row 'Applicability to compute the eDoF' overstates the contrast between the two methods. The self-adjoint method is not applicable to every Hermitian operator; it is applicable to Hermitian operators whose kernel is (or asymptotically becomes) a convolution, as required by Landau's theorem. Given Major Comment 1, the statement that the self-adjoint method is more flexible because it only requires Hermiticity is unsupported. Table I and the surrounding discussion should be revised to state the actual assumptions, e.g., 'Hermitian with convolution (or asymptotically convolution) kernel'.
minor comments (6)
  1. [Section II, after Eq. (4)] The notation s_n appears both as singular values and as squared coupling intensities s_n^2; please make the distinction explicit to avoid ambiguity.
  2. [Section III.A, Eq. (16)] The operator F^{-1} 1_Q is not defined before use; please define how the indicator is applied in the inverse Fourier transform.
  3. [Section III.B, Eq. (19)] The approximate wavenumber expression from [18] is introduced without a statement of its validity regime; please state that it is an approximation and cite the conditions under which it holds.
  4. [Section IV.B, Eq. (23)] The definition Q_gamma = {k_Rx : H_G(k_Rx) >= gamma} treats H_G as a scalar function, but H_G was introduced as the Fourier transform of g_Rx; please clarify the relationship between g_Rx, H_G, and the eigendecomposition of G_Rx.
  5. [References] Reference [10] contains a typo in the title ('eingenvalue'); please correct. Also, References [21] and [23] are arXiv preprints; if final versions exist, cite them.
  6. [Figure 2] Figure 2 would benefit from a caption explaining what 'asymptotic regime' means for the eigenvalues and how the transition window scales with r.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: the paper is a survey comparing two existing methods, and the load-bearing mathematics comes from external theorems; the only flagged issue is an unproven convolution assumption in Eq. (22), which is a correctness risk rather than a circularity.

full rationale

The paper does not fit any parameter to a data subset and then predict a closely related quantity; it also does not define a target quantity in terms of itself. The eDoF is defined via the Kolmogorov N-width in Eqs. (10)-(11), the cut-set integral in Eq. (13) is taken from the spatial-bandwidth literature, and the self-adjoint method in Eqs. (22)-(26) is based on Landau's eigenvalue theorem. The comparison in Table I is a qualitative synthesis of these external results, not a new derivation whose output is equivalent to its input by construction. The author-overlapping citations, especially [21] and [23], are used as prior results rather than as definitional inputs; the paper does not invoke a uniqueness theorem from the authors' own work to force its choice of method, nor does it rename a fitted parameter as a prediction. The one genuinely load-bearing step that deserves explicit flagging is Section IV.B, Eq. (22): the text states that the self-adjoint operator is Hermitian 'i.e., it can be written as g_Rx(r_Rx - r'_Rx)' and then asserts that G_Rx 'becomes a convolution when S_Rx is asymptotically large.' For a general Hilbert-Schmidt kernel K, G_Rx = KK* is Hermitian but not translation-invariant, so the convolution form is an additional approximation, not a consequence of Hermiticity. This unproven transition is what licenses Table I's 'any gamma' and eigenfunction advantages for general holographic MIMO; if the approximation fails for a given HoloS configuration, those claims are unsupported. That is a mathematical-rigor concern, not a circularity, because it does not make the result equal to its own inputs by construction. The paper is otherwise self-contained as a survey and relies on externally checkable theorems, so the circularity score is low despite the author-overlap in the supporting citations.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central comparison imports its mathematical content from prior work. No free parameters or invented entities appear in the paper. The axioms listed are the unproved background results and modeling assumptions on which the described methods rely, including the asymptotic validity of both approaches and the approximate LoS wavenumber formula.

assumptions (5)
  • standard math The channel kernel k(r_Rx,r_Tx) is square-integrable, so K is a bounded, compact Hilbert-Schmidt operator (eq. 3).
    This is the premise for the spectral decomposition in (4)-(6) and for the Kolmogorov N-width relation d_N(K)=s_N.
  • standard math Kolmogorov N-width relation d_N(K)=s_N holds for Hilbert-Schmidt operators [14].
    Used to convert the eDoF definition (10) into the eigenvalue threshold in (11).
  • standard math Asymptotic eDoF relations hold: NeDoF,gamma(K)=No as No goes to infinity [6], and Landau's eigenvalue theorem (24)-(26) [10].
    Both methods are justified only in the asymptotic regime; this is acknowledged in Sections III and IV.
  • domain assumption For LoS HoloS channels, the local wavenumber support is given by the projection formula (19) and its Jacobian integration (20)-(21) from [18,21].
    The cut-set integral for two-dimensional receivers relies on this approximate expression, which is cited but not derived.
  • domain assumption The self-adjoint operator G_Rx can be written as a convolution with kernel g_Rx(r_Rx-r'_Rx) when the surface is asymptotically large (Section IV.B, eq. 22).
    This is described as 'Hermitian i.e.', but Hermiticity does not imply convolution form; the operator only becomes convolutional in the asymptotic limit, an unstated approximation.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Degrees of Freedom of Holographic MIMO -- Fundamental Theory and Analytical Methods." pith.science (2026). https://pith.science/paper/SEDJ5B4O

@misc{pith2026250413031,
  author       = {Pith},
  title        = {Pith review of: Degrees of Freedom of Holographic MIMO -- Fundamental Theory and Analytical Methods},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SEDJ5B4O}},
  note         = {Machine review of arXiv:2504.13031}
}
read the original abstract

Holographic multiple-input multiple-output (MIMO) is envisioned as one of the most promising technology enablers for future sixth-generation (6G) networks. The use of electrically large holographic surface (HoloS) antennas has the potential to significantly boost the spatial multiplexing gain by increasing the number of degrees of freedom (DoF), even in line-of-sight (LoS) channels. In this context, the research community has shown a growing interest in characterizing the fundamental limits of this technology. In this paper, we compare the two analytical methods commonly utilized in the literature for this purpose: the cut-set integral and the self-adjoint operator. We provide a detailed description of both methods and discuss their advantages and limitations.

Figures

Figures reproduced from arXiv: 2504.13031 by the authors.

Figure 1
Figure 1. Spatial multiplexing scheme Let us consider an orthonormal set of basis functions {ϕn(rT x)} and {ψn(rRx)} to represent any signal in X and Y , respectively. Then, J(rT x) and E(rRx) can be expressed as follows: J(rT x) = X∞ n=1 anϕn(rT x), E(rRx) = X∞ n=1 bnψn(rRx) (2) As illustrated in [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Asymptotic behavior of the eigenvalues when [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 20 canonical work pages

  1. [22]

    On Landau’s eigenvalue theorem for line-of-sight MIMO channels,

    A. Pizzo et al. , “On Landau’s eigenvalue theorem for line-of-sight MIMO channels,” IEEE Wirel. Comm. Let., no. 12, pp. 2565–2569, 2022

    work page 2022

  2. [23]

    On the degrees of freedom and eigenfunctions of line-of-sight holographic MIMO communications,

    J. C. Ruiz-Sicilia, M. Di Renzo, M. D. Migliore, M. Debbah, and H. V . Poor, “On the degrees of freedom and eigenfunctions of line-of-sight holographic MIMO communications,” arXiv 2308.08009, 2023

    arXiv 2023

  3. [1]

    Holographic MIMO communications: Theoretical foundations, enabling technologies, and future directions,

    T. Gong, P. Gavriilidis, R. Ji, C. Huang, G. C. Alexandropoulos, L. Wei, Z. Zhang, M. Debbah, H. V . Poor, and C. Yuen, “Holographic MIMO communications: Theoretical foundations, enabling technologies, and future directions,” IEEE Communications Surveys & Tutorials , vol. 26, no. 1, pp. 196–257, 2024

    2024

  4. [2]

    Next generation advanced transceiver technologies for 6G,

    C. You, Y . Cai, Y . Liu, M. Di Renzo, T. M. Duman, A. Yener, and A. L. Swindlehurst, “Next generation advanced transceiver technologies for 6G,” arXiv 2403.16458, 2024

    arXiv 2024

  5. [3]

    Waves, modes, communications, and optics: a tutorial,

    D. A. B. Miller, “Waves, modes, communications, and optics: a tutorial,” Advances in Optics and Photonics , vol. 11, no. 3, p. 679, sep 2019

    work page 2019

  6. [4]

    Communicating with waves between volumes: evaluating or- thogonal spatial channels and limits on coupling strengths,

    ——, “Communicating with waves between volumes: evaluating or- thogonal spatial channels and limits on coupling strengths,” Appl. Opt., vol. 39, no. 11, pp. 1681–1699, Apr 2000

    work page 2000

  7. [5]

    On the spatial bandwidth of scattered fields,

    O. Bucci and G. Franceschetti, “On the spatial bandwidth of scattered fields,” IEEE Transactions on Antennas and Propagation, vol. 35, no. 12, pp. 1445–1455, 1987

    work page 1987

  8. [6]

    On the degrees of freedom of scattered fields,

    ——, “On the degrees of freedom of scattered fields,” IEEE Transactions on Antennas and Propagation , vol. 37, no. 7, pp. 918–926, 1989

    work page 1989

Show all 24 references
  1. [7]

    The degrees of freedom of wireless networks via cut-set integrals,

    M. Franceschetti, M. D. Migliore, P. Minero, and F. Schettino, “The degrees of freedom of wireless networks via cut-set integrals,” IEEE Transactions on Information Theory , vol. 57, no. 5, pp. 3067–3079, may 2011

    2011

  2. [8]

    Prolate spheroidal wave functions, fourier analysis and uncertainty — I,

    D. Slepian and H. O. Pollak, “Prolate spheroidal wave functions, fourier analysis and uncertainty — I,” The Bell System Technical Journal , vol. 40, no. 1, pp. 43–63, 1961

    1961

  3. [9]

    Prolate spheroidal wave functions, fourier analysis and uncertainty — III: The dimension of the space of essentially time- and band-limited signals,

    H. J. Landau and H. O. Pollak, “Prolate spheroidal wave functions, fourier analysis and uncertainty — III: The dimension of the space of essentially time- and band-limited signals,” The Bell System Technical Journal, vol. 41, no. 4, pp. 1295–1336, 1962

    1962

  4. [10]

    On Szeg ¨o’s eingenvalue distribution theorem and non- hermitian kernels,

    H. J. Landau, “On Szeg ¨o’s eingenvalue distribution theorem and non- hermitian kernels,” J. d'Analyse Math. , no. 1, pp. 335–357, 1975

    1975

  5. [11]

    Electromagnetic degrees of freedom of an optical system,

    R. Piestun and D. Miller, “Electromagnetic degrees of freedom of an optical system,” J. Opt. Soc. Am. A , vol. 17, pp. 892–902, May 2000

    2000

  6. [12]

    Porter and D

    D. Porter and D. Stirling, Integral equations. Cambridge Univ., 1990

    1990

  7. [13]

    Pinkus, n-Widths in Approximation Theory

    A. Pinkus, n-Widths in Approximation Theory . Springer Berlin, 1985

    1985

  8. [14]

    Franceschetti, Wave Theory of Information

    M. Franceschetti, Wave Theory of Information. Cambridge Univ., 2017

    2017

  9. [15]

    On bandwidth,

    D. Slepian, “On bandwidth,” Proceedings of the IEEE , vol. 64, no. 3, pp. 292–300, 1976

    1976

  10. [16]

    Unified far-field and near-field in holographic MIMO: A wavenumber-domain perspective,

    Y . Chen, X. Guo, G. Zhou, S. Jin, D. W. K. Ng, and Z. Wang, “Unified far-field and near-field in holographic MIMO: A wavenumber-domain perspective,” 2024. [Online]. Available: https://arxiv.org/abs/2407.14815

    2024 arXiv

  11. [17]

    Nyquist sampling and degrees of freedom of electromagnetic fields,

    A. Pizzo, A. de Jesus Torres, L. Sanguinetti, and T. L. Marzetta, “Nyquist sampling and degrees of freedom of electromagnetic fields,” IEEE Transactions on Signal Processing, vol. 70, pp. 3935–3947, 2022

    2022

  12. [18]

    Communicating with large intelligent surfaces: Fundamen- tal limits and models,

    D. Dardari, “Communicating with large intelligent surfaces: Fundamen- tal limits and models,” IEEE J. Sel. Areas Commun., vol. 38, Nov. 2020

    2020

  13. [19]

    Degrees of freedom in 3d linear large-scale antenna array communications—a spatial bandwidth approach,

    L. Ding, E. G. Strom, and J. Zhang, “Degrees of freedom in 3d linear large-scale antenna array communications—a spatial bandwidth approach,” IEEE Journal on Selected Areas in Communications, vol. 40, no. 10, pp. 2805–2822, oct 2022

    2022

  14. [20]

    Spatial bandwidth asymptotic analysis for 3d large-scale antenna array communications,

    L. Ding, J. Zhang, and E. G. Str ¨om, “Spatial bandwidth asymptotic analysis for 3d large-scale antenna array communications,” IEEE Trans- actions on Wireless Communications, vol. 23, no. 4, pp. 1–1, Apr. 2023

    2023

  15. [21]

    Degrees of freedom of holographic MIMO in multi-user near-field channels,

    H. Chen, S. Yue, M. D. Renzo, and H. Zhang, “Degrees of freedom of holographic MIMO in multi-user near-field channels,” 2024. [Online]. Available: https://arxiv.org/abs/2410.05013

    2024

  16. [24]

    Line-of-sight MIMO via intelligent reflecting surface,

    H. Do, N. Lee, and A. Lozano, “Line-of-sight MIMO via intelligent reflecting surface,” IEEE Transactions on Wireless Communications , vol. 22, no. 6, pp. 4215–4231, jun 2023

    2023

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.