pith. sign in

arxiv: 2605.22360 · v1 · pith:3XBLRPW3new · submitted 2026-05-21 · 📡 eess.SP · cs.SY· eess.SY

Low-Complexity Tensor Beamforming for RIS-Aided Multiuser Multistream MIMO Systems

Bruno Sokal , Andr\'e L. F. de Almeida , Martin Haardt This is my paper

Pith reviewed 2026-05-22 04:00 UTC · model grok-4.3

classification 📡 eess.SP cs.SYeess.SY
keywords tensor beamformingRIS-aided MIMOmultiuser multistreamalternating optimizationjoint beamforminglow-complexity designreconfigurable intelligent surfacescomposite channel tensor
0
0 comments X

The pith

Tensor alternating optimization designs low-complexity beamforming for RIS-aided multiuser multistream MIMO.

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

The paper formulates joint active and passive beamforming for uplink RIS-assisted multi-user multi-stream MIMO systems with joint detection as a problem over a third-order composite channel tensor. It introduces a multi-stream tensor alternating optimization that updates the receive combiner, block-diagonal user precoders, and RIS phase vector using low-dimensional tensor projections instead of full-dimensional operations. Simulations indicate the method approaches the performance of a multi-start alternating-optimization benchmark, lowers computational complexity, and scales more favorably as the RIS grows large. A sympathetic reader would care because RIS-assisted MIMO promises coverage gains but requires tractable designs when multiple streams and users are present.

Core claim

By representing the composite channel as a third-order tensor and exploiting its multilinear structure, the multi-stream tensor alternating optimization method updates the combiner, user precoders, and RIS coefficients via low-dimensional tensor projections, approaching the performance of a multi-start alternating-optimization benchmark while reducing computational complexity and improving scaling for large RIS.

What carries the argument

The third-order composite channel tensor whose multilinear structure supports low-dimensional tensor projections during alternating updates of the combiner, precoders, and RIS vector.

If this is right

  • Computational complexity drops compared with conventional alternating optimization for the same problem size.
  • Performance remains close to the multi-start benchmark across tested configurations.
  • Scaling improves as the number of RIS elements increases.
  • Joint active-passive design becomes feasible for multi-stream uplink MIMO with RIS assistance.

Where Pith is reading between the lines

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

  • If similar multilinear structures appear in downlink or time-varying channels, the same projection technique could apply with minor reformulation.
  • The approach may combine with warm-start or machine-learning initializers to accelerate convergence in practice.
  • Real-time implementations for large RIS arrays in 6G-type systems become more plausible once complexity is reduced this way.

Load-bearing premise

The uplink composite channel admits an effective third-order tensor representation whose multilinear structure enables low-dimensional tensor projections for the alternating updates.

What would settle it

A simulation result in which the proposed method's achievable rate or error performance falls substantially below the multi-start benchmark for a moderate-sized RIS and standard channel model would falsify the scaling and performance claims.

Figures

Figures reproduced from arXiv: 2605.22360 by Andr\'e L. F. de Almeida, Bruno Sokal, Martin Haardt.

Figure 1
Figure 1. Figure 1: Comparison of the proposed MS-TAO method with benchmarks. (a) Sum spectral efficiency versus SNR for fixed [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
read the original abstract

We address joint active and passive beamforming for uplink RIS-assisted multi-user multi-stream MIMO systems with joint detection. The coupled design of the receive combiner, block-diagonal user precoders, and RIS phase vector is formulated through a third-order composite channel tensor. Exploiting this multilinear structure, we propose a multi-stream tensor alternating optimization method that updates the combiner, user precoders, and RIS coefficients via low-dimensional tensor projections. Simulations show that the proposed method approaches a multi-start alternating-optimization benchmark while reducing computational complexity and improving large-RIS scaling.

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 / 2 minor

Summary. The manuscript proposes a low-complexity approach to joint active and passive beamforming in uplink RIS-aided multi-user multi-stream MIMO systems. The coupled design of the receive combiner, block-diagonal user precoders, and RIS phase vector is formulated as a third-order composite channel tensor; a multi-stream tensor alternating optimization method then performs the updates for the combiner, precoders, and RIS coefficients via low-dimensional tensor projections. Simulations indicate that the method approaches the performance of a multi-start alternating-optimization benchmark while lowering computational complexity and improving scaling with large RIS size.

Significance. If the tensor projections deliver the claimed complexity reduction without performance loss, the work would provide a practical route to scalable beamforming in large-RIS MIMO deployments. The explicit use of multilinear structure to structure the alternating updates is a methodological strength that could be extended to other joint active-passive designs.

major comments (1)
  1. [Abstract and tensor formulation / optimization method] The central claim of reduced complexity and improved large-RIS scaling rests on the third-order composite channel tensor admitting multilinear structure that permits low-dimensional projections. If the tensor is assembled by stacking effective MIMO channels across users and streams, its mode-1/2/3 ranks equal the receive dimension, total streams, and RIS size, respectively; without an explicit low-rank assumption, Tucker/CP decomposition, or rank bound, the projections reduce to standard matrix operations whose complexity does not improve with RIS size. Please provide the precise tensor construction (e.g., in the formulation section), a complexity derivation (big-O per iteration), and any rank analysis or error bound for the projection step.
minor comments (2)
  1. Simulation results are reported without details on the underlying channel models, convergence criteria for the alternating iterations, number of Monte-Carlo trials, or statistical significance (e.g., error bars or confidence intervals). These omissions make it difficult to assess the reliability of the performance claims relative to the benchmark.
  2. Consider adding an explicit complexity table (e.g., Table X) that compares the per-iteration flop count of the proposed tensor method against the multi-start benchmark for increasing RIS sizes; this would directly support the scaling claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the constructive feedback on the tensor formulation and complexity claims. We agree that additional explicit details will strengthen the presentation and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: The central claim of reduced complexity and improved large-RIS scaling rests on the third-order composite channel tensor admitting multilinear structure that permits low-dimensional projections. If the tensor is assembled by stacking effective MIMO channels across users and streams, its mode-1/2/3 ranks equal the receive dimension, total streams, and RIS size, respectively; without an explicit low-rank assumption, Tucker/CP decomposition, or rank bound, the projections reduce to standard matrix operations whose complexity does not improve with RIS size. Please provide the precise tensor construction (e.g., in the formulation section), a complexity derivation (big-O per iteration), and any rank analysis or error bound for the projection step.

    Authors: We thank the referee for this observation. In the revised manuscript we will add the precise tensor construction in Section II: the third-order composite channel tensor is assembled by stacking the effective MIMO channels (each formed as the product of the RIS-aided path and the user channel) along the third mode, with the first mode corresponding to the receive antennas, the second to the aggregate streams, and the third to the RIS elements. The multilinear structure follows directly from the separable dependence on the combiner (mode-1 factor), block-diagonal precoders (mode-2 factor), and RIS phase vector (mode-3 factor). The alternating updates are performed via successive mode-n products and reduced-size least-squares solves whose dimensions are independent of the full tensor volume; this yields per-iteration complexity O(N_r * S + S * N_r + M * S) where M is the RIS size, rather than cubic in M. We will include the full big-O derivation and note that, while no additional Tucker/CP low-rank assumption is imposed, the natural factorization already ensures the projections operate in the lower-dimensional subspaces defined by the beamforming variables. A brief discussion of the projection error (bounded by the AO convergence tolerance) will also be added. revision: yes

Circularity Check

0 steps flagged

No significant circularity; tensor formulation is an explicit modeling choice

full rationale

The derivation begins by explicitly constructing a third-order composite channel tensor from the stacked effective MIMO channels across users and streams, then applies alternating updates via multilinear projections. This is a direct application of standard tensor algebra to the joint beamforming objective rather than a reduction of any claimed performance result to a fitted parameter, self-referential definition, or unverified self-citation chain. The complexity and scaling claims follow from the dimensionality of the constructed tensor modes and do not presuppose the target outcome. No load-bearing step reduces by construction to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The approach rests on the domain assumption that the composite channel possesses exploitable multilinear structure; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption The uplink composite channel admits an effective third-order tensor representation whose multilinear structure enables low-dimensional tensor projections for the alternating updates.
    Directly stated in the abstract as the basis for the proposed method.

pith-pipeline@v0.9.0 · 5628 in / 1120 out tokens · 45417 ms · 2026-05-22T04:00:19.482350+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.

  • IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We reshape the composite RIS channel into a third-order tensor whose modes correspond to the receive array, the aggregate users’ transmit array, and the RIS domain... multi-stream tensor alternating optimization (MS-TAO) algorithm, which updates... through low-dimensional tensor projections

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

15 extracted references · 15 canonical work pages

  1. [1]

    Intelligent reflecting surface enhanced wireless network via joint active and passive beamforming,

    Q. Wu and R. Zhang, “Intelligent reflecting surface enhanced wireless network via joint active and passive beamforming,”IEEE Trans. Wireless Commun., vol. 18, no. 11, pp. 5394–5409, 2019

    work page 2019

  2. [2]

    Reconfigurable intelligent surfaces for energy efficiency in wireless communication,

    C. Huang, A. Zappone, G. C. Alexandropoulos, M. Debbah, and C. Yuen, “Reconfigurable intelligent surfaces for energy efficiency in wireless communication,”IEEE Trans. Wireless Commun., vol. 18, no. 8, pp. 4157–4170, 2019

    work page 2019

  3. [3]

    Reconfigurable intelligent surfaces: A signal processing perspective with wireless applications,

    E. Bj ¨ornson and L. Sanguinetti, “Reconfigurable intelligent surfaces: A signal processing perspective with wireless applications,”IEEE Signal Process. Mag., vol. 37, no. 6, pp. 135–158, 2020

    work page 2020

  4. [4]

    Weighted sum- rate maximization for reconfigurable intelligent surface aided wireless networks,

    H. Guo, Y .-C. Liang, J. Chen, and E. G. Larsson, “Weighted sum- rate maximization for reconfigurable intelligent surface aided wireless networks,”IEEE Trans. Wireless Commun., vol. 19, no. 5, pp. 3064– 3076, May 2020

    work page 2020

  5. [5]

    Joint beamforming and reflecting design in reconfigurable intelligent surface-aided multi- user communication systems,

    X. Ma, S. Guo, H. Zhang, Y . Fang, and D. Yuan, “Joint beamforming and reflecting design in reconfigurable intelligent surface-aided multi- user communication systems,”IEEE Trans. Wireless Commun., vol. 20, no. 5, pp. 3269–3283, May 2021

    work page 2021

  6. [6]

    Energy efficiency and spectral efficiency trade off in RIS-aided multiuser MIMO uplink transmission,

    L. You, J. Xiong, D. W. K. Ng, C. Yuen, W. Wang, and X. Gao, “Energy efficiency and spectral efficiency trade off in RIS-aided multiuser MIMO uplink transmission,”IEEE Trans. Signal Process., vol. 69, pp. 1407– 1421, Dec. 2020

    work page 2020

  7. [7]

    Low-complexity Beamforming Design for RIS Communications over Correlated Channels,

    Y .-T. Wu and K.-H. Liu, “Low-complexity Beamforming Design for RIS Communications over Correlated Channels,” inProc. IEEE Wireless Commun. Netw. Conf. (WCNC), 2022, pp. 1069–1074

    work page 2022

  8. [8]

    Channel estimation for intelligent reflecting surface assisted MIMO systems: A tensor modeling approach,

    G. T. de Ara ´ujo, A. L. F. de Almeida, and R. Boyer, “Channel estimation for intelligent reflecting surface assisted MIMO systems: A tensor modeling approach,”IEEE J. Sel. Topics Signal Process., vol. 15, no. 3, pp. 789–802, Apr. 2021

    work page 2021

  9. [9]

    Channel estimation for RIS-empowered multi-user MISO wireless communications,

    L. Wei, C. Huang, G. C. Alexandropoulos, C. Yuen, Z. Zhang, and M. Debbah, “Channel estimation for RIS-empowered multi-user MISO wireless communications,”IEEE Trans. Commun., vol. 69, no. 6, pp. 4144–4157, Jun. 2021

    work page 2021

  10. [10]

    TRICE: A channel estimation framework for RIS-aided millimeter-wave MIMO systems,

    K. Ardah, S. Gherekhloo, A. L. F. de Almeida, and M. Haardt, “TRICE: A channel estimation framework for RIS-aided millimeter-wave MIMO systems,”IEEE Signal Process. Lett., vol. 28, pp. 513–517, Feb. 2021

    work page 2021

  11. [11]

    Semi-blind joint channel and symbol estimation in IRS- assisted multi-user MIMO networks,

    G. T. de Ara ´ujo, P. R. B. Gomes, A. L. F. de Almeida, G. Fodor, and B. Makki, “Semi-blind joint channel and symbol estimation in IRS- assisted multi-user MIMO networks,”IEEE Wireless Commun. Lett., vol. 11, no. 7, pp. 1553–1557, Jul. 2022

    work page 2022

  12. [12]

    Joint active and passive beamforming design for multi-stream MIMO RIS systems: A tensor- based approach,

    B. Sokal, A. L. F. de Almeida, and M. Haardt, “Joint active and passive beamforming design for multi-stream MIMO RIS systems: A tensor- based approach,” inProc. IEEE Int. Workshop Comput. Adv. Multi- Sensor Adapt. Process. (CAMSAP), Punta Cana, Dominican Republic, Dec. 2025

    work page 2025

  13. [13]

    Capacity of multi-antenna Gaussian channels,

    E. Telatar, “Capacity of multi-antenna Gaussian channels,”Eur . Trans. Telecommun., vol. 10, no. 6, pp. 585–595, 1999

    work page 1999

  14. [14]

    Tse and P

    D. Tse and P. Viswanath,Fundamentals of Wireless Communication. Cambridge University Press, 2005

    work page 2005

  15. [15]

    Spectral efficiency in the wideband regime,

    S. Verd ´u, “Spectral efficiency in the wideband regime,”IEEE Trans. Inf. Theory, vol. 48, no. 6, pp. 1319–1343, 2002

    work page 2002