Joint Beamforming for Communication and Sensing

One Precoder, Two Jobs

A MIMO-OTFS-ISAC transmitter has one precoder F\mathbf{F} and two jobs: deliver information to KK communication users with high rate, and illuminate the sensing scene so that targets can be estimated with low variance. These are not the same objective. A precoder matched perfectly to the comms channels may leave the sensing directions in a null; a precoder that illuminates all directions equally may waste spatial diversity for the users. The joint beamforming problem picks a single F\mathbf{F} that negotiates the two β€” and this section shows how.

Definition:

Joint ISAC Beamformer

Consider a BS with NtN_t transmit antennas serving KK communication users and sensing TtgtT_{\text{tgt}} targets. The transmit signal on the DD grid is x[β„“,k]β€…β€Š=β€…β€ŠFc sc[β„“,k] + Fs ss[β„“,k]β€…β€Šβˆˆβ€…β€ŠCNt,\mathbf{x}[\ell, k] \;=\; \mathbf{F}_c\, \mathbf{s}_c[\ell, k] \,+\, \mathbf{F}_s\, \mathbf{s}_s[\ell, k] \;\in\; \mathbb{C}^{N_t}, where Fc∈CNtΓ—K\mathbf{F}_c \in \mathbb{C}^{N_t \times K} is the communication precoder (one column per user), Fs∈CNtΓ—Nssens\mathbf{F}_s \in \mathbb{C}^{N_t \times N_s^{\text{sens}}} is the sensing precoder (one column per sensing stream), and sc,ss\mathbf{s}_c, \mathbf{s}_s are the DD-domain data and sensing waveforms respectively. The joint beamformer is the stacked matrix F=[Fc,Fs]\mathbf{F} = [\mathbf{F}_c, \mathbf{F}_s].

The transmit covariance is Rxβ€…β€Š=β€…β€ŠFFHβ€…β€Š=β€…β€ŠFcFcH+FsFsH.\mathbf{R}_x \;=\; \mathbf{F}\mathbf{F}^H \;=\; \mathbf{F}_c \mathbf{F}_c^H + \mathbf{F}_s \mathbf{F}_s^H. The comms objective depends on F\mathbf{F} directly (through user channel products); the sensing objective depends only on Rx\mathbf{R}_x.

,

Theorem: Sensing Depends Only on the Covariance

Let Hi=aiar(ΞΈi)at(Ο•i)H\mathbf{H}_{i} = a_i \mathbf{a}_r(\theta_i) \mathbf{a}_t(\phi_i)^H be the per-path MIMO-OTFS channel. The Fisher information for target parameters Θ={(Ο„i,Ξ½i,Ο•i,ΞΈi,ai)}i=1P\Theta = \{(\tau_i, \nu_i, \phi_i, \theta_i, a_i)\}_{i=1}^{P} depends on the transmit signal only through the covariance Rx=E[xxH]\mathbf{R}_x = \mathbb{E}[\mathbf{x}\mathbf{x}^H]: [J(Θ)]pqβ€…β€Š=β€…β€Š2Οƒw2β€‰β„œ{tr ⁣(βˆ‚Hpβˆ‚Ξ˜pRxβˆ‚HqHβˆ‚Ξ˜q)}.[J(\Theta)]_{pq} \;=\; \frac{2}{\sigma_w^2} \, \Re\left\{\mathrm{tr}\!\left(\frac{\partial \mathbf{H}_{p}}{\partial \Theta_p} \mathbf{R}_x \frac{\partial \mathbf{H}_{q}^{H}}{\partial \Theta_q}\right)\right\}.

Consequence. Two beamformers F,Fβ€²\mathbf{F}, \mathbf{F}' with the same FFH\mathbf{F}\mathbf{F}^H produce the same sensing performance.

Radar cares only about what energy is transmitted in each direction, not about which stream it came from or how it was coded. Comms, on the other hand, cares about the full precoder structure because different columns serve different users and the columns' inner products determine inter-user interference. This asymmetry β€” scalar vs. matrix-valued objective β€” is the source of the design flexibility in joint ISAC beamforming.

,

Key Takeaway

Sensing cares about Rx\mathbf{R}_x; comms cares about F\mathbf{F}. This structural asymmetry is the lever for joint beamforming: among all precoders yielding a target Rx\mathbf{R}_x (same sensing performance), pick the one that maximizes comms rate. This immediately reduces the joint problem to a well-posed constrained optimization.

Definition:

Joint Beamforming Optimization

The joint ISAC beamforming problem for MIMO-OTFS is max⁑Fβ€…β€Šβ€…β€ŠRsum(F)s.t.β€…β€Šβ€…β€ŠCRBsens(FFH)≀γ,β€…β€Šβ€…β€Štr(FFH)≀Pt.\begin{aligned} \max_{\mathbf{F}} \;&\; R_{\text{sum}}(\mathbf{F}) \\ \text{s.t.} \;&\; \mathrm{CRB}_{\text{sens}}(\mathbf{F}\mathbf{F}^H) \leq \gamma, \\ \;&\; \mathrm{tr}(\mathbf{F}\mathbf{F}^H) \leq P_t. \end{aligned} Here RsumR_{\text{sum}} is the sum rate across KK users, CRBsens\mathrm{CRB}_{\text{sens}} is a scalar aggregate of the sensing CRLB matrix (e.g., trace of the CRB matrix for target positions), Ξ³\gamma is the sensing tolerance, and PtP_t is the total transmit power.

Equivalent formulation using the covariance: max⁑Rxβͺ°0β€…β€Šβ€…β€ŠRsum(Rx)s.t.β€…β€Šβ€…β€ŠCRBsens(Rx)≀γ,tr(Rx)≀Pt.\begin{aligned} \max_{\mathbf{R}_x \succeq 0} \;&\; R_{\text{sum}}(\mathbf{R}_x) \\ \text{s.t.} \;&\; \mathrm{CRB}_{\text{sens}}(\mathbf{R}_x) \leq \gamma, \quad \mathrm{tr}(\mathbf{R}_x) \leq P_t. \end{aligned} The optimal F⋆\mathbf{F}^\star is obtained by Cholesky factorization of Rx⋆\mathbf{R}_x^\star. Semidefinite programming (SDP) solves the covariance formulation globally when RsumR_{\text{sum}} is SDP-representable (as it is for MMSE-equalized ZF users).

The Convexity Check

The covariance formulation above is a convex problem when Rsum(Rx)R_{\text{sum}}(\mathbf{R}_x) is concave in Rx\mathbf{R}_x and CRBsens(Rx)\mathrm{CRB}_{\text{sens}}(\mathbf{R}_x) is convex in Rx\mathbf{R}_x. The CRLB is generically convex in the Fisher information (which is linear in Rx\mathbf{R}_x) because matrix inversion is operator-convex on the positive definite cone. The sum rate is concave under interference-free designs (orthogonal beams, ZF) but may be non-concave under general precoding. When it is not concave, one resorts to successive convex approximation (SCA) or SDP relaxation. Either way, tractable numerical solvers exist β€” this is the power of the DD-plus-covariance formulation.

Joint ISAC Beamforming via SDP Relaxation

Input: channels h_k for users k = 1..K, target parameters Ξ˜Μ‚,
sensing CRB tolerance Ξ³, power budget P_t
Output: joint precoder F = [f_1, ..., f_K, F_s]
1. Compute per-user effective channels Δ€_k from h_k (DD projection).
2. Formulate SDP:
max_{R_x ≽ 0} Ξ£_k log(1 + h_k^H R_x h_k / σ²)
s.t. CRB(R_x; Ξ˜Μ‚) ≀ Ξ³
tr(R_x) ≀ P_t
3. Solve SDP with CVX / MOSEK / SDP solver. Returns R_x*.
4. Eigendecompose R_x* = U Ξ› U^H.
5. Extract K leading eigenvectors u_1, ..., u_K scaled by Ξ»_k:
f_k = √λ_k u_k.
6. Remaining rank R_x* - Ξ£_k f_k f_k^H defines sensing covariance;
obtain F_s by Cholesky.
7. If per-user SINR constraints unmet, apply successive convex
approximation to refine.
Complexity: O(N_t^{6.5}) for SDP + O(N_t^3) eigendecomposition
per scheduling slot (10–100 ms). Suitable for slow-changing
scenes (mmWave base stations).

Example: ISAC BS Design: Nt=16N_t = 16, K=4K = 4, Texttgt=2T_{ ext{tgt}} = 2

A base station with Nt=16N_t = 16 antennas serves K=4K = 4 communication users at directions Ο•1,Ο•2,Ο•3,Ο•4=(βˆ’45Β°,βˆ’15Β°,15Β°,45Β°)\phi_1, \phi_2, \phi_3, \phi_4 = (-45Β°, -15Β°, 15Β°, 45Β°) and senses Ttgt=2T_{\text{tgt}} = 2 targets at directions ΞΈ1,ΞΈ2=(βˆ’30Β°,30Β°)\theta_1, \theta_2 = (-30Β°, 30Β°). User channels are line-of-sight (LOS-dominated); targets are point scatterers. Power budget Pt=10P_t = 10 W, noise Οƒw2=10βˆ’6\sigma_w^2 = 10^{-6} W/Hz.

(a) Formulate the joint beamforming SDP. (b) State the role of Rx\mathbf{R}_x in the sensing CRB. (c) Compute the achievable sum rate when Ξ³\gamma ranges from 10βˆ’410^{-4} to 10βˆ’110^{-1} (sensing-tight to comms-tight regimes).

Joint ISAC Beam Pattern: Comms Users vs Sensing Targets

Plot the transmit power as a function of angle for three beamformer designs: comms-only (MRT to users), sensing-only (illuminate target directions), and ISAC-joint (balanced). Sliders control the number of users/targets and the sensing weight Ξ³\gamma.

Parameters
4
2
0.3
16

Historical Note: From Classical Radar BF to ISAC BF

Radar beamforming dates to WWII (Chain Home, the British early-warning system used phased arrays to scan the sky for incoming aircraft). The first formal treatment of joint sensing and comms beamforming, however, came decades later: Mostofi and Mosquera (2010, proposal), Sturm and Wiesbeck (2011, OFDM-radar beamforming), and the full ISAC framework at IEEE GLOBECOM 2018. The CommIT group's Liu-Caire 2022 (TIT) paper formulated the covariance-based ISAC beamforming problem, showing its SDP structure and convexity. This is the theoretical anchor of the chapter.

,
πŸŽ“CommIT Contribution(2022)

Covariance-Based ISAC Beamforming

F. Liu, G. Caire β€” IEEE Trans. Information Theory

The CommIT contribution to ISAC beamforming establishes the structural identity of this chapter: sensing performance depends only on the transmit covariance Rx\mathbf{R}_x, while communication performance depends on the full precoder F\mathbf{F}. This is the dimensionality-reduction principle that makes the joint problem tractable: instead of optimizing over the NtKN_t K-dimensional precoder space, optimize over the Nt(Nt+1)/2N_t(N_t+1)/2-dimensional covariance cone, then recover F\mathbf{F} by Cholesky.

Combined with DD-domain processing (where the channel is sparse and estimation is well-conditioned), this covariance formulation yields the first globally-optimal SDP solver for ISAC in realistic high-mobility settings. Without the DD domain's sparsity guarantees, the underlying channel estimation becomes the bottleneck; with it, the SDP can be solved in under 100 ms for base-station-scale arrays (commercially feasible).

commitisacbeamformingsdp
,

Common Mistake: Do Not Forget the Rank Constraint

Mistake:

Solving the covariance SDP and forgetting that Rx\mathbf{R}_x should be implementable as FFH\mathbf{F}\mathbf{F}^H for a reasonable number of streams. A full-rank Rx\mathbf{R}_x requires NtN_t streams β€” costly in baseband hardware.

Correction:

When hardware limits the precoder rank to r<Ntr < N_t, add a rank constraint rank(Rx)≀r\mathrm{rank}(\mathbf{R}_x) \leq r to the SDP. Standard SDP solvers don't handle rank directly, but iterative reweighting (log-det penalty) and Burer-Monteiro factorization efficiently find low-rank solutions. Typical automotive mmWave settings need r=4r = 4-66 streams; Nt=16N_t = 16-3232. The rank constraint is essential.