Integrating sensing and communications: Simultaneously transmitting and reflecting digital coding metasurfaces

Francesco Verde, Vincenzo Galdi, Lei Zhang, and Tie Jun Cui
Abstract

Wireless networks are undergoing a transformative shift, driven by the crucial factors of cost effectiveness and sustainability. Digital coding metasurfaces (DCMs) might play a key role in realizing cost-effective digital modulators by harnessing energy embedded in electromagnetic waves traversing through the air. Integrated sensing and communication (ISAC) optimize power and spectral resources by combining sensing and communication functionalities on a shared hardware platform. This article presents a tutorial-style overview of the applications and advantages of DCMs in ISAC-based networks. Emphasis is placed on the dual-functionality of ISAC, necessitating the design of DCMs with simultaneously transmitting and reflecting (STAR) capabilities for comprehensive space control. Additionally, the article explores key signal processing challenges and outlines future research directions stemming from the convergence of ISAC and emerging STAR-DCM technologies.

I Introduction

The historical linear model of technological progress is now transitioning towards a circular economy, emphasizing principles of recycling and sharing for sustainable growth and resource conservation. The integration of information and communication technologies (ICT) is seen as a key enabler for optimizing policies during this transition. The concepts of recycling and sharing in wireless communications have roots dating back to the late 1940s and early 1960s, with Stockman’s “reflected-power communications” [1] and Mealey’s “integrated sensing and communications” (ISAC) [2]. These once-theoretical concepts have now become tangible realities, thanks to advancements in signal processing algorithms and electronic technologies.

Reflected-power communications seamlessly integrate recycling by eliminating the need for active analog components to generate a carrier wave. Utilizing dedicated or naturally available sources, such as digital TV broadcasting and cellular systems, these systems inherently harvest energy for minimal power consumption and cost-effective implementation. Traditional approaches, like radio-frequency identification and reflectarray antennas, are being complemented by emerging technologies such as electromagnetic (EM) “metamaterials” or “metasurfaces,” with deeply subwavelength elements, which exhibit unique properties, enabling advanced field manipulations for various applications [3]. In wireless communications, metasurfaces are typically referred to as reconfigurable intelligent surfaces (RISs) [4, 5], since the EM properties of their constitutive elements need to be reconfigured over time as a function of the time-varying propagation and network conditions. RISs can be characterized by continuous macroscopic medium parameters or described in a digital manner. Digital coding metasurfaces (DCMs) [6] are digital RISs, whose physical parameters, such as amplitude, phase, and polarization, are represented in a digital format using binary codes and controlled/programmed via electronic circuits such as field-programmable gate arrays (FPGAs). For instance, the elements constituting 1-bit DCMs take on the opposite phase values 00 and π𝜋\piitalic_π radians that mimic the digits “0” and “1”, respectively. The concept of DCMs can be extended from 1111-bit to multi-bits by discretizing the phase over the whole round angle. This allows real-time manipulation of continuous-time signals through binary coding, marking a successful convergence of physics and digital signal processing over the past decade.

ISAC embodies resource sharing by utilizing a single hardware setup for both sensing and communication functions. This integration enhances spectral efficiency and reduces hardware expenses. Through joint design, ISAC enables a flexible trade-off across various domains, including time, frequency, code, and spatial aspects. This article focuses on an ISAC model grounded in concurrently transmitting information while extracting information from scattered echoes [7]. It builds on previous research covering various aspects of ISAC, including waveform options, architecture, resource allocation, antenna deployment, and cooperative/non-cooperative coordinated operations. The central question is how to seamlessly integrate recycling (DCMs) and sharing (ISAC) to create advanced technology entities for value-added ICT services. Such an integration mainly depends on the operational mode of the DCM.

Traditional DCMs can work in either transmitting or reflecting mode, thus controlling EM waves only on one side of their interface. Many existing works on DCM-enabled ISAC systems consider the case where DCMs are only able to reflect the incident wireless signals [8, 9], which will be referred to as reflecting-only DCMs. In this case, all the devices involved in the ISAC process must be located on the same side of the DCM, thus leading to half-space coverage. Recent developments in simultaneously transmitting and reflecting (STAR) DCMs [10, 11, 12], also referred to as intelligent omni-surfaces [13], enable full-space control of EM fields. This forms the basis for more effective ISAC networks, where signals can be reflected for state measurements or refracted (i.e., transmitted) for information conversion, as conceptually illustrated in Fig. 1. In this case, compared to reflecting-only DCMs, one can develop highly flexible full-space DCM-enabled ISAC systems, allowing communication and sensing devices to be be located on both sides of the DCM [14, 15], thereby broadening the application potential for ISAC.

This article provides a signal processing-oriented tutorial on STAR-DCMs, exploring their fundamental properties, assessing ISAC architectures with STAR-DCMs, and discussing EM design and signal processing for communication and sensing. Moreover, experimental results from prototype fabrication highlight the promising potential of implementing ISAC networks via STAR-DCMs.

Refer to caption
Figure 1: Conceptual illustration of ISAC by means of a STAR-DCM.

II Historical perspective

This section outlines the historical background of ISAC and STAR-DCMs. First, we highlight the pioneering contributions and the past key developments of the two technologies separately, and, then, we examine their recent integration.

II-A Co-existence between sensing and communication technologies

Sensing and communication functionalities can be mixed in different ways. The coexistence approach treats them as separate end-goals, operating together to avoid conflicts and maximize performance. However, it consumes resources and limits spatio-temporal degrees of freedom. Moving beyond coexistence, the fundamental principle of ISAC is to cohesively design sensing and communication operations, allowing the sharing of hardware, power, and bandwidth resources. Sensing applications cover ultra-high accuracy localization, tracking, imaging, map**, environmental reconstruction, augmented human sensing, and gesture/activity recognition. ISAC systems trace back six decades to the introduction of dual-function radar communication (DFRC) [2]. DFRC systems, historically radar-centric, integrated communication as a secondary function within existing radar infrastructures. In the late 20th century, a communication-centric approach emerged with packet-switching technologies. Recent ISAC networks incorporate positioning techniques within existing communication systems, evolving into a sophisticated paradigm [7], which facilitates diverse interactions between sensing and communication. Additional sensors beyond radar and a broader range of sensing services beyond localization are involved in [7].

II-B Independent control of phase responses in reflection and transmission modes

Reflected-power communications, originating from Stockman’s 1948 paper [1], involve modulating an incident EM wave while reflecting it. Metasurfaces can be considered a natural evolution of this concept. Traditionally, metasurfaces have efficiently operated in either reflection or transmission modes. In 2017, a groundbreaking STAR metasurface demonstrated distinct polarization-dependent transmission and reflection properties [16]. Subsequently, researchers have explored metasurfaces controlling both reflection and transmission responses at distinct frequencies in various studies [17, 18, 19]. In 2019, a programmable STAR-DCM was introduced, incorporating a reflection-transmission amplitude code and an independent phase code [20]. Several programmable STAR-DCM platforms now enable real-time control over transmission, reflection, duplex, and absorption responses [21, 22, 23, 24, 25]. Recent research has explored STAR-DCMs for comprehensive manipulations of circularly polarized waves in full space [26] and high-efficiency polarization conversion [27].

II-C STAR-DCM-aided ISAC systems

The integration of STAR-DCMs into ISAC networks has a very recent history. The proposal of enabling ISAC by STAR-DCMs has been originaly made in [14, 15]. In such works, the whole space is divided into two half-spaces, namely the sensing space and the communication space. The signal from the transmitter is split at the STAR-DCM to sense targets in the sensing space and deliver data to users in the communication space. Joint optimization of transmit beamforming and phase shift of a STAR-DCM has been carried out in [28]. The potentials of STAR-DCMs have been recently exploited in vehicular scenarios [29, 30]. In these use cases, a STAR-DCM is equipped on the outside surface of a vehicle to improve the communication service of the in-vehicle user equipment and, simultaneously, track and sense the vehicle with the help of nearby roadside units. On one hand, the merging of STAR-DCMs and ISAC allows to extend network coverage. On the other hand, it inevitably exacerbates the competition for the limited bandwidth resources in wireless systems, which may impair ISAC performance. More recently, to balance bandwidth demand and ISAC performance, non-orthogonal multiple access (NOMA) has been suggested as a promising approach [31, 32, 33, 34].

III Electromagnetic design and implementation of STAR-DCMs

This section addresses the design and practical implementation of STAR metasurfaces in hardware, essential for potential ISAC applications. It offers insights into various architectures where successful prototypes demonstrate feasibility.

Conventional reflection-only DCMs typically feature a single-layer structure with a metal-backed dielectric substrate and printed metallic elements. The local phase response is manipulated by adjusting element size or, in programmable setups, reconfiguring responses with electronic switches like diodes [6]. However, single-layer, non-magnetic transmission-type metasurfaces face limitations in efficiency and phase response control. Therefore, multilayered configurations are often adopted to operate in both transmission and reflection modes. Yet, achieving simultaneous and independent control of these responses presents a challenge due to their inherent interconnection.

In [16], a polarization-division strategy was proposed, with a metasurface element featuring four metallic layers and three dielectric spacers that selectively allows the transmission of one linear polarization. This design achieves independent and simultaneous control of reflection and transmission responses. In [17], a frequency-division strategy was put forward, with a metasurface element composed of patterned and perforated layers separated by a dielectric substrate, which achieves independent control of transmission and reflection responses at two design frequencies.

Both designs above have fixed functionalities, relying on locally tuned dimensions. In what follows, we illustrate four examples of STAR-DCMs based on reconfigurable elements.

Figure 2 illustrates an energy splitting STAR metasurface operating at 3.6 GHz [22]. The metasurface element, shown in Fig. 2(a) comprises two mirror-symmetric layers, and utilizes two positive-intrinsic-negative (PIN) diodes for controlling transmission and reflection coefficients up to four states. Though simple, this design has limitations in achieving independent control of transmission and reflection. The prototype, shown in Fig. 2(b), consists of 640640640640 elements. Employed in a wireless communication prototype, the STAR metasurface demonstrates omni-beamforming capability. The experimental setup in Fig. 2(c) features Tx and Rx antennas on either side of the metasurface, controlled by an FPGA through digital interfaces. Figures 2(d) and 2(e) show the scattering patterns (i.e., the power scattered by the STAR metasurface as a function of the observation angle) for two representative configurations featuring a transmitter and two receivers at both sides of the metasurface. These results demonstrate good agreement between simulations (blue-solid curve) and measurements (red circles), as well as the capability to attain directional beams for users on both sides of the STAR-DCM.

Figure 3 illustrates a mode switching configuration operating at 6.15 GHz, and offering independent control of reflection and transmission. Specifically, Fig. 3(a) illustrates a conceptual model featuring 20×20202020\times 2020 × 20 elements [23], and Fig. 3(a) shows some details of the fabricated prototype. The metasurface element, shown in the insets of Fig. 3(b), comprises two distinct PIN-diode-based units. These stacked units enable independent phase modulation and transmission/reflection control through a judicious combination of layers with an appropriate air gap. Figure 3(c) shows the experimental setup, for measurements in transmission and reflection. The scattering patterns in Figs. 3(d) and 3(e) exemplify duplex mode operation, achieving different beamforming functions on the two sides of the STAR-DCM.

Figure 4 presents a different implementation of the same principle operating at 3.53.53.53.5 GHz[25]. Figure 4(a) shows a conceptual illustration, with various possible operational modes. The metasurface element, shown in the inset of Fig. 4(a), utilizes a stack-up structure with two dielectric layers, four metallic layers and three PIN diodes, allowing switching between reflection and transmission modes with phase modulation. Figure 4(b) shows some details of the fabricated STAR-DCM prototype, featuring 12×12121212\times 1212 × 12 coding elements, whereas Fig. 4(c) illustrates the experimental setup. As can be observed from the representative scattering patterns in Figs. 4(d) and 4(e), this configuration has the capability for beam steering in full space.

Finally, Figure 5 illustrates a reconfigurable polarization-division configuration operating at 11111111 GHz [11]. The metasurface element, shown in Fig. 5(a), exhibits a sandwich-like structure, consisting of three metal layers, two substrate layers and three PIN diodes, allowing switching between reflection and transmission modes (with phase modulation) under x𝑥xitalic_x- and y𝑦yitalic_y-polarized illumination, respectively. The conceptual illustration and some details of the fabricated 10×20102010\times 2010 × 20-element prototype are shown in Fig. 5(b), while the experimental setup is shown in Fig. 5(c). This configuration enables full-space beam control via polarization-division, as exemplified by the scattering patterns in Figs. 5(d) and 5(e).

Refer to caption
Figure 2: Energy-splitting STAR-DCM. (a) Schematic of metasurface element. (b) Conceptual illustration and wireless communication prototype. (c) Photograph of experimental setup for verifying the beamforming on both side of the metasurface. (d), (e) Representative (simulated and measured) scattering patterns. [Used from [22], ©2022 IEEE]
Refer to caption
Figure 3: Mode-switching STAR-DCM. (a) Conceptual illustration. (b) Details of fabricated prototype, with metasurface element (for both layers) enlarged in the insets. (c) Photographs of experimental setup for verifying dynamic beamforming in both transmission and reflection space. (d), (e) Representative measured scattering patterns, with blue and red color-coding indicating the two sides of the STAR-DCM. [Used from [23] with permission, ©2022 Wiley]
Refer to caption
Figure 4: Alternative (low-profile) mode-switching STAR-DCM. (a) Conceptual illustration, with metasurface element schematic shown in an inset. (b) Details of fabricated prototype. (c) Schematic of experimental setup. (d), (e) Representative measured scattering patterns, with blue and red color-coding indicating the two sides of the STAR-DCM. [Used from [25] with permission, ©2024 Wiley]
Refer to caption
Figure 5: Polarization-division STAR-DCM. (a) Schematic of metasurface element. (b) Conceptual illustration and details of the fabricated prototype. (c) Photograph of experimental setup and fabricated prototype. (d), (e), Representative measured scattering patterns, with blue and red color-coding indicating the two sides of the STAR-DCM. [used from [11] under CC BY 4.0].

Additionally, an implementation of STAR-DCMs through frequency division was proposed in [19], with the programmable element designed so as to respond to reflection and transmission modes in two different frequency bands.

Hardware implementations of STAR-DCMs typically utilize PIN diodes in the microwave band. For higher frequencies, alternative implementations using graphene or phase-change materials (e.g., VO2) can be explored. Compared with metasurfaces operating solely in reflection or transmission, STAR-DCM hardware is considerably more complex, demanding a synergistic approach involving discrete-signal processing and microelectronics. Large-scale STAR-DCMs typically integrate a large number of tunable devices, requiring numerous shift registers or a parallel FPGA control scheme in practice.

IV ISAC with a STAR-DCM

Various architectures may arise for implementing STAR-DCMs in upcoming ISAC systems, depending on the level of integration between sensing and communication functionalities. The schematic in Fig. 6 illustrates four distinct configurations. This tutorial focuses specifically on point-to-point communications, involving a single communications transmitter (Comms Tx) and a single communications receiver (Comms Rx). We refer the reader to [14, 15, 28, 29] for the case of multiple communications users. The network is simplified by assuming non-interfering point-to-point links, achieved through orthogonalization of user transmissions across temporal, spectral, spatial, angular, or code domains. The integration of STAR-DCMs into ISAC networks with NOMA is discussed in [31, 32, 33, 34].

Refer to caption
Figure 6: ISAC configurations with a STAR-DCM. (a) the STAR-DCM and the Comms Rx are mounted on a target, and the Comms Tx and the Sens Rx are co-located (monostatic sensing of the STAR-DCM-plus-Comms-Rx target). (b) the STAR-DCM and the Comms Rx are mounted on a target, whereas the Comms Tx and the Sens Rx are placed at separate locations (bistatic sensing of the STAR-DCM-plus-Comms-Rx target). (c) the STAR-DCM and the Comms Rx are physically separated, whereas the Comms Tx and the Sens Rx are co-located (monostatic sensing of a third-party target). (d) the STAR-DCM and the Comms Rx are physically separated, and the Comms Tx and the Sens Rx are placed at separate locations (bistatic sensing of a third-party target).

Figs. 6(a) and 6(b) represent the category of sensing-assisted communications [29, 30]. In this scenario, the target is represented by a crewed or unmanned vehicle. The metal panel (or a part thereof) on the top surface of the vehicle is replaced with a STAR-DCM. A fraction of the signals im**ing on the STAR-DCM is partially transmitted through the vehicle to deliver data to a Comms Rx (e.g., an onboard communication device or a mobile phone carried by a passenger), while the remaining fraction is reflected towards the sensor receiver (Sens Rx) to sense the vehicle. The Sens Rx collects data, enhancing network features in terms of: (i) Improved accuracy of channel estimation, reducing pilot transmission and associated overheads; (ii) Streamlined training overheads and minimized latency in beam alignment; (iii) Predictive capabilities for adaptive beam reconfiguration; (iv) Support for efficient resource allocation, including power optimization, bandwidth management, and cell handover facilitation by monitoring device velocity, azimuth angle, and heading direction; (v) Enhanced physical-layer security. It is noteworthy that the use cases depicted in Figs. 6(a) and 6(b) call for full-space control, which cannot be achieved by a reflecting-only DCM. Indeed, reflecting-only DCMs require sensing target and Comms Rx to be located on the same side of the DCM as the Comms Tx and the Sens Rx, hence achieving only half-space coverage.

Figs. 6(c) and 6(d) illustrate communication-assisted sensing [14, 15]. This emerging concept enhances the sensing capabilities of a third-party target by utilizing signals reflected by the STAR-DCM. Examples include indoor localization of human subjects, like museum visitors or hospital patients, using communication signals between fixed control units and robotic entities. Besides providing a communication link within its transmission space, the STAR-DCM enhances object sensing accuracy in its reflection space. This paradigm is advantageous in scenarios with few transmitting terminals and non-line-of-sight environments. In future systems, communication-assisted sensing could offer unique opportunities, enabling sensing as a native service, often termed sensing as a service. It is worth noting that, in Figs. 6(c) and 6(d), the target is located on the reflection side of the DCM, while the Comms Rx is on its transmission side. In this case, the DCM must operate in STAR mode. Conversely, if the target and the Comms Rx are on the same side, and hence only half-space coverage is required, the DCM operates in conventional transmitting/reflecting-only mode. However, this geographical restriction may not always be feasible in many ISAC scenarios, potentially limiting the flexibility and effectiveness of DCM for ISAC applications.

Focusing on the monostatic sensing configuration in Fig. 6(a), a segment of the incident signal on the STAR-DCM directs towards the Comms Rx for information conversion, while the remaining portion reflects back to the Sens Rx for beam prediction and tracking. In this scenario, the Comms Tx and Sens Rx are co-located within a multi-antenna ISAC transceiver, having N𝑁Nitalic_N transmit antennas and M𝑀Mitalic_M receive antennas. For simplicity, we consider the special case of a single-antenna Comms Rx.

In vehicle-to-everything (V2X) applications [29, 30], a common assumption is that both downlink (ISAC transceiver to vehicle) and uplink (vehicle to ISAC transceiver) share the same dominant line-of-sight (LoS) path. Assuming LoS propagation, the time-varying state of the target includes direction 𝜾(t)[θ(t)],ϕ(t)]T2\boldsymbol{\iota}(t)\triangleq[\theta(t)],\phi(t)]^{\text{T}}\in\mathbb{R}^{2}bold_italic_ι ( italic_t ) ≜ [ italic_θ ( italic_t ) ] , italic_ϕ ( italic_t ) ] start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, distance d(t)𝑑𝑡d(t)italic_d ( italic_t ), and radial speed v(t)𝑣𝑡v(t)italic_v ( italic_t ) in relation to the ISAC transceiver. In practical scenarios, state parameters change slowly compared to the observation time interval [35]. Thus, the observation interval is commonly divided into time slots of duration ΔTΔ𝑇\Delta Troman_Δ italic_T (see Fig. 7). Assuming that 𝜾(t)=𝜾k[θk,ϕk]T𝜾𝑡subscript𝜾𝑘superscriptsubscript𝜃𝑘subscriptitalic-ϕ𝑘T\boldsymbol{\iota}(t)=\boldsymbol{\iota}_{k}\triangleq[\theta_{k},\phi_{k}]^{% \text{T}}bold_italic_ι ( italic_t ) = bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ≜ [ italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , italic_ϕ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT, d(t)=dk𝑑𝑡subscript𝑑𝑘d(t)=d_{k}italic_d ( italic_t ) = italic_d start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, and v(t)=vk𝑣𝑡subscript𝑣𝑘v(t)=v_{k}italic_v ( italic_t ) = italic_v start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT remain constant over the k𝑘kitalic_k-th slot, where k0𝑘subscript0k\in\mathbb{N}_{0}italic_k ∈ blackboard_N start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, the state vector 𝐬k[𝜾kT,dk,vk]T4subscript𝐬𝑘superscriptsuperscriptsubscript𝜾𝑘Tsubscript𝑑𝑘subscript𝑣𝑘Tsuperscript4{\mathbf{s}}_{k}\triangleq[\boldsymbol{\iota}_{k}^{\text{T}},d_{k},v_{k}]^{% \text{T}}\in\mathbb{R}^{4}bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ≜ [ bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT , italic_d start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , italic_v start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT collects the main parameters of the target during the k𝑘kitalic_k-th time slot.

IV-A STAR-DCM model

The STAR-DCM comprises L=Lh×Lv𝐿subscript𝐿hsubscript𝐿vL=L_{\text{h}}\times L_{\text{v}}italic_L = italic_L start_POSTSUBSCRIPT h end_POSTSUBSCRIPT × italic_L start_POSTSUBSCRIPT v end_POSTSUBSCRIPT reconfigurable elements arranged in a rectangular grid, indexed row-by-row by {1,2,,L}12𝐿\ell\in\{1,2,\ldots,L\}roman_ℓ ∈ { 1 , 2 , … , italic_L }. Assuming illumination by a linearly polarized, monochromatic plane wave with frequency f0>0subscript𝑓00f_{0}>0italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT > 0 and angular stability (i.e., weak dependence on the incidence direction [36]), the EM response of the \ellroman_ℓ-th element is described by the transmission coefficient γT(,fT,pT)(t)superscriptsubscript𝛾Tsubscript𝑓Tsubscript𝑝T𝑡\gamma_{\text{T}}^{(\ell,f_{\text{T}},p_{\text{T}})}(t)\in\mathbb{C}italic_γ start_POSTSUBSCRIPT T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT T end_POSTSUBSCRIPT , italic_p start_POSTSUBSCRIPT T end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT ( italic_t ) ∈ blackboard_C controlling the fraction of the incident wave transmitted at the frequency fTsubscript𝑓Tf_{\text{T}}italic_f start_POSTSUBSCRIPT T end_POSTSUBSCRIPT along the polarization direction pT{h,v}subscript𝑝Thvp_{\text{T}}\in\{\text{h},\text{v}\}italic_p start_POSTSUBSCRIPT T end_POSTSUBSCRIPT ∈ { h , v } (horizontal or vertical). Similarly, the reflection coefficient γR(,fR,pR)(t)superscriptsubscript𝛾Rsubscript𝑓Rsubscript𝑝R𝑡\gamma_{\text{R}}^{(\ell,f_{\text{R}},p_{\text{R}})}(t)\in\mathbb{C}italic_γ start_POSTSUBSCRIPT R end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT R end_POSTSUBSCRIPT , italic_p start_POSTSUBSCRIPT R end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT ( italic_t ) ∈ blackboard_C dictates the fraction of the incident wave reflected at the frequency fRsubscript𝑓Rf_{\text{R}}italic_f start_POSTSUBSCRIPT R end_POSTSUBSCRIPT along the polarization direction pR{h,v}subscript𝑝Rhvp_{\text{R}}\in\{\text{h},\text{v}\}italic_p start_POSTSUBSCRIPT R end_POSTSUBSCRIPT ∈ { h , v }. Alternatively, right- and left-handed circularly polarized waves could be utilized [26]. Discrete-time notations γT,k(,fT,pT)superscriptsubscript𝛾T𝑘subscript𝑓Tsubscript𝑝T\gamma_{\text{T},k}^{(\ell,f_{\text{T}},p_{\text{T}})}italic_γ start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT T end_POSTSUBSCRIPT , italic_p start_POSTSUBSCRIPT T end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT and γR,k(,fR,pR)superscriptsubscript𝛾R𝑘subscript𝑓Rsubscript𝑝R\gamma_{\text{R},k}^{(\ell,f_{\text{R}},p_{\text{R}})}italic_γ start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT R end_POSTSUBSCRIPT , italic_p start_POSTSUBSCRIPT R end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT are used when the coefficients remain constant over the k𝑘kitalic_k-th slot. Neglecting cross-polarization effects and losses, power conservation imposes the constraints:

|γT(,fT,h)(t)|2+|γR(,fR,h)(t)|2superscriptsuperscriptsubscript𝛾Tsubscript𝑓Th𝑡2superscriptsuperscriptsubscript𝛾Rsubscript𝑓Rh𝑡2\displaystyle\big{|}\gamma_{\text{T}}^{(\ell,f_{\text{T}},\text{h})}(t)\big{|}% ^{2}+\left|\gamma_{\text{R}}^{(\ell,f_{\text{R}},\text{h})}(t)\right|^{2}| italic_γ start_POSTSUBSCRIPT T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT T end_POSTSUBSCRIPT , h ) end_POSTSUPERSCRIPT ( italic_t ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + | italic_γ start_POSTSUBSCRIPT R end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT R end_POSTSUBSCRIPT , h ) end_POSTSUPERSCRIPT ( italic_t ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT =1,absent1\displaystyle=1,= 1 , (1)
|γT(,fT,v)(t)|2+|γR(,fR,v)(t)|2superscriptsuperscriptsubscript𝛾Tsubscript𝑓Tv𝑡2superscriptsuperscriptsubscript𝛾Rsubscript𝑓Rv𝑡2\displaystyle\big{|}\gamma_{\text{T}}^{(\ell,f_{\text{T}},\text{v})}(t)\big{|}% ^{2}+\big{|}\gamma_{\text{R}}^{(\ell,f_{\text{R}},\text{v})}(t)\big{|}^{2}| italic_γ start_POSTSUBSCRIPT T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT T end_POSTSUBSCRIPT , v ) end_POSTSUPERSCRIPT ( italic_t ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + | italic_γ start_POSTSUBSCRIPT R end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT R end_POSTSUBSCRIPT , v ) end_POSTSUPERSCRIPT ( italic_t ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT =1.absent1\displaystyle=1\>.= 1 . (2)

To account for the presence of losses, a factor less than one can be introduced on the right-hand side of (1) and (2). In line with Section III, there are five practical options to be considered.

IV-A1 Energy splitting

The transmission and reflection coefficients remain constant over the k𝑘kitalic_k-th slot at the frequency fT=fR=f0subscript𝑓Tsubscript𝑓Rsubscript𝑓0f_{\text{T}}=f_{\text{R}}=f_{0}italic_f start_POSTSUBSCRIPT T end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT R end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and along the same polarization direction pT=pR=psubscript𝑝Tsubscript𝑝R𝑝p_{\text{T}}=p_{\text{R}}=pitalic_p start_POSTSUBSCRIPT T end_POSTSUBSCRIPT = italic_p start_POSTSUBSCRIPT R end_POSTSUBSCRIPT = italic_p. In this case, |γT,k(,f0,p)|0superscriptsubscript𝛾T𝑘subscript𝑓0𝑝0\big{|}\gamma_{\text{T},k}^{(\ell,f_{0},p)}\big{|}\neq 0| italic_γ start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_p ) end_POSTSUPERSCRIPT | ≠ 0 and |γR,k(,f0,p)|0superscriptsubscript𝛾R𝑘subscript𝑓0𝑝0|\gamma_{\text{R},k}^{(\ell,f_{0},p)}|\neq 0| italic_γ start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_p ) end_POSTSUPERSCRIPT | ≠ 0 are coupled through either (1) or (2).

IV-A2 Mode switching

With fT=fR=f0subscript𝑓Tsubscript𝑓Rsubscript𝑓0f_{\text{T}}=f_{\text{R}}=f_{0}italic_f start_POSTSUBSCRIPT T end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT R end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and pT=pR=psubscript𝑝Tsubscript𝑝R𝑝p_{\text{T}}=p_{\text{R}}=pitalic_p start_POSTSUBSCRIPT T end_POSTSUBSCRIPT = italic_p start_POSTSUBSCRIPT R end_POSTSUBSCRIPT = italic_p, during the k𝑘kitalic_k-th slot, the \ellroman_ℓ-th element operates either in transmission mode, i.e., |γT,k(,f0,p)|=1superscriptsubscript𝛾T𝑘subscript𝑓0𝑝1\big{|}\gamma_{\text{T},k}^{(\ell,f_{0},p)}\big{|}=1| italic_γ start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_p ) end_POSTSUPERSCRIPT | = 1 and γR,k(,f0,p)=0superscriptsubscript𝛾R𝑘subscript𝑓0𝑝0\gamma_{\text{R},k}^{(\ell,f_{0},p)}=0italic_γ start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_p ) end_POSTSUPERSCRIPT = 0, or in reflection mode, i.e., |γR,k(,f0,p)|=1superscriptsubscript𝛾R𝑘subscript𝑓0𝑝1\big{|}\gamma_{\text{R},k}^{(\ell,f_{0},p)}\big{|}=1| italic_γ start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_p ) end_POSTSUPERSCRIPT | = 1 and γT,k(,f0,p)=0superscriptsubscript𝛾T𝑘subscript𝑓0𝑝0\gamma_{\text{T},k}^{(\ell,f_{0},p)}=0italic_γ start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_p ) end_POSTSUPERSCRIPT = 0. The magnitudes of the transmission and reflection coefficients are straightforwardly decoupled.

IV-A3 Time division

With fT=fR=f0subscript𝑓Tsubscript𝑓Rsubscript𝑓0f_{\text{T}}=f_{\text{R}}=f_{0}italic_f start_POSTSUBSCRIPT T end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT R end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and pT=pR=psubscript𝑝Tsubscript𝑝R𝑝p_{\text{T}}=p_{\text{R}}=pitalic_p start_POSTSUBSCRIPT T end_POSTSUBSCRIPT = italic_p start_POSTSUBSCRIPT R end_POSTSUBSCRIPT = italic_p, the \ellroman_ℓ-th element switches between transmission and reflection modes in orthogonal time intervals within the k𝑘kitalic_k-th slot. Specifically, at the time instant t=t1𝑡subscript𝑡1t=t_{1}italic_t = italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, |γT(,f0,p)(t1)|=1superscriptsubscript𝛾Tsubscript𝑓0𝑝subscript𝑡11\big{|}\gamma_{\text{T}}^{(\ell,f_{0},p)}(t_{1})\big{|}=1| italic_γ start_POSTSUBSCRIPT T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_p ) end_POSTSUPERSCRIPT ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) | = 1 and γR(,f0,p)(t1)=0superscriptsubscript𝛾Rsubscript𝑓0𝑝subscript𝑡10\gamma_{\text{R}}^{(\ell,f_{0},p)}(t_{1})=0italic_γ start_POSTSUBSCRIPT R end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_p ) end_POSTSUPERSCRIPT ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = 0, whereas, when t=t2t1𝑡subscript𝑡2subscript𝑡1t=t_{2}\neq t_{1}italic_t = italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≠ italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, |γR(,f0,p)(t2)|=1superscriptsubscript𝛾Rsubscript𝑓0𝑝subscript𝑡21\big{|}\gamma_{\text{R}}^{(\ell,f_{0},p)}(t_{2})\big{|}=1| italic_γ start_POSTSUBSCRIPT R end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_p ) end_POSTSUPERSCRIPT ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) | = 1, and γT(,f0,p)(t2)=0superscriptsubscript𝛾Tsubscript𝑓0𝑝subscript𝑡20\gamma_{\text{T}}^{(\ell,f_{0},p)}(t_{2})=0italic_γ start_POSTSUBSCRIPT T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_p ) end_POSTSUPERSCRIPT ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = 0. The magnitudes of the transmission and reflection coefficients are decoupled in time.

IV-A4 Polarization division

With fT=fR=f0subscript𝑓Tsubscript𝑓Rsubscript𝑓0f_{\text{T}}=f_{\text{R}}=f_{0}italic_f start_POSTSUBSCRIPT T end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT R end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, during the k𝑘kitalic_k-th slot, the \ellroman_ℓ-th element only operates in transmission [reflection] mode for the h-polarized incident wave, i.e., γR,k(,f0,h)=0superscriptsubscript𝛾R𝑘subscript𝑓0h0\gamma_{\text{R},k}^{(\ell,f_{0},\text{h})}=0italic_γ start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , h ) end_POSTSUPERSCRIPT = 0 [γT,k(,f0,h)=0superscriptsubscript𝛾T𝑘subscript𝑓0h0\gamma_{\text{T},k}^{(\ell,f_{0},\text{h})}=0italic_γ start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , h ) end_POSTSUPERSCRIPT = 0], and in reflection [transmission] mode for the v-polarized incident wave, i.e., γT,k(,f0,v)=0superscriptsubscript𝛾T𝑘subscript𝑓0v0\gamma_{\text{T},k}^{(\ell,f_{0},\text{v})}=0italic_γ start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , v ) end_POSTSUPERSCRIPT = 0 [γR,k(,f0,v)=0superscriptsubscript𝛾R𝑘subscript𝑓0v0\gamma_{\text{R},k}^{(\ell,f_{0},\text{v})}=0italic_γ start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , v ) end_POSTSUPERSCRIPT = 0]. The magnitudes of the transmission and reflection coefficients are decoupled in polarization.

IV-A5 Frequency division

With pT=pR=psubscript𝑝Tsubscript𝑝R𝑝p_{\text{T}}=p_{\text{R}}=pitalic_p start_POSTSUBSCRIPT T end_POSTSUBSCRIPT = italic_p start_POSTSUBSCRIPT R end_POSTSUBSCRIPT = italic_p, during the k𝑘kitalic_k-th slot, the \ellroman_ℓ-th element switches between transmission and reflection modes in orthogonal frequency intervals, i.e., at the illumination frequency f0=f1subscript𝑓0subscript𝑓1f_{0}=f_{1}italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, |γT,k(,f1,p)|=1superscriptsubscript𝛾T𝑘subscript𝑓1𝑝1\big{|}\gamma_{\text{T},k}^{(\ell,f_{1},p)}\big{|}=1| italic_γ start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_p ) end_POSTSUPERSCRIPT | = 1 and γR,k(,f1,p)=0superscriptsubscript𝛾R𝑘subscript𝑓1𝑝0\gamma_{\text{R},k}^{(\ell,f_{1},p)}=0italic_γ start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_p ) end_POSTSUPERSCRIPT = 0, whereas, when f0=f2f1subscript𝑓0subscript𝑓2subscript𝑓1f_{0}=f_{2}\neq f_{1}italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≠ italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, |γR,k(,f2,p)|=1superscriptsubscript𝛾R𝑘subscript𝑓2𝑝1\big{|}\gamma_{\text{R},k}^{(\ell,f_{2},p)}\big{|}=1| italic_γ start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_p ) end_POSTSUPERSCRIPT | = 1 and γT,k(,f2,p)=0superscriptsubscript𝛾T𝑘subscript𝑓2𝑝0\gamma_{\text{T},k}^{(\ell,f_{2},p)}=0italic_γ start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ , italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_p ) end_POSTSUPERSCRIPT = 0. The magnitudes of the transmission and reflection coefficients are decoupled in frequency.

IV-B Signal models

The received sensing and communication signals are explained using the simplified cascaded channel model [13, 12]. Here, we assume the STAR-DCM located in the far-field region of the Comms Tx, and both the Comms Rx and the Sens Rx in the far-field region of the STAR-DCM. Moreover, we make the common assumption that the one-sided bandwidth B𝐵Bitalic_B of the ISAC signal is much smaller than its carrier frequency f0subscript𝑓0f_{0}italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, ensuring that the response of the arrays and the DCM is essentially constant within the frequency interval (f0B/2,f0+B/2)subscript𝑓0𝐵2subscript𝑓0𝐵2(f_{0}-B/2,f_{0}+B/2)( italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_B / 2 , italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_B / 2 ).

IV-B1 Received sensing signal

At the k𝑘kitalic_k-th time slot, the baseband signal 𝐲R,k(t)subscript𝐲R𝑘𝑡{\mathbf{y}}_{\text{R},k}(t)bold_y start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t ) received by the Sens Rx can be expressed as

𝐲R,k(t)=𝐆k(t;𝐬k)𝚪R,k(t)𝐅k(t;𝐬k)𝐱k(tτR,k)+𝐰R,k(t),subscript𝐲R𝑘𝑡subscript𝐆𝑘𝑡subscript𝐬𝑘subscript𝚪R𝑘𝑡subscript𝐅𝑘𝑡subscript𝐬𝑘subscript𝐱𝑘𝑡subscript𝜏R𝑘subscript𝐰R𝑘𝑡{\mathbf{y}}_{\text{R},k}(t)={\mathbf{G}}_{k}(t;{\mathbf{s}}_{k})\,\boldsymbol% {\Gamma}_{\text{R},k}(t)\,{\mathbf{F}}_{k}(t;{\mathbf{s}}_{k})\,{\mathbf{x}}_{% k}(t-\tau_{\text{R},k})+{\mathbf{w}}_{\text{R},k}(t),bold_y start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t ) = bold_G start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ; bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) bold_Γ start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t ) bold_F start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ; bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) bold_x start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t - italic_τ start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ) + bold_w start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t ) , (3)

where 𝐅k(t;𝐬k)L×Msubscript𝐅𝑘𝑡subscript𝐬𝑘superscript𝐿𝑀{\mathbf{F}}_{k}(t;{\mathbf{s}}_{k})\in\mathbb{C}^{L\times M}bold_F start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ; bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ∈ blackboard_C start_POSTSUPERSCRIPT italic_L × italic_M end_POSTSUPERSCRIPT and 𝐆k(t;𝐬k)M×Lsubscript𝐆𝑘𝑡subscript𝐬𝑘superscript𝑀𝐿{\mathbf{G}}_{k}(t;{\mathbf{s}}_{k})\in\mathbb{C}^{M\times L}bold_G start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ; bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ∈ blackboard_C start_POSTSUPERSCRIPT italic_M × italic_L end_POSTSUPERSCRIPT model the Comms-Tx-to-STAR-DCM and STAR-DCM-to-Sens-Rx channels (including large-scale fading effects, as well as responses of the arrays and DCM), respectively, 𝚪R,k(t)diag[𝜸R,k(t)]subscript𝚪R𝑘𝑡diagdelimited-[]subscript𝜸R𝑘𝑡\boldsymbol{\Gamma}_{\text{R},k}(t)\triangleq{\text{diag}}[\boldsymbol{\gamma}% _{\text{R},k}(t)]bold_Γ start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t ) ≜ diag [ bold_italic_γ start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t ) ], with 𝜸R,k(t)Lsubscript𝜸R𝑘𝑡superscript𝐿\boldsymbol{\gamma}_{\text{R},k}(t)\in\mathbb{C}^{L}bold_italic_γ start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t ) ∈ blackboard_C start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT containing the reflection coefficient of the STAR-DCM, 𝐱k(t)Nsubscript𝐱𝑘𝑡superscript𝑁{\mathbf{x}}_{k}(t)\in\mathbb{C}^{N}bold_x start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) ∈ blackboard_C start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT is the transmit vector acting as both sensing waveform and information-bearing signal, τR,ksubscript𝜏R𝑘\tau_{\text{R},k}italic_τ start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT is the round-trip delay, and 𝐰R,k(t)subscript𝐰R𝑘𝑡{\mathbf{w}}_{\text{R},k}(t)bold_w start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t ) is a zero-mean white Gaussian vector accounting for thermal noise with covariance matrix σwR2𝐈Msuperscriptsubscript𝜎subscript𝑤R2subscript𝐈𝑀\sigma_{w_{\text{R}}}^{2}\,\mathbf{I}_{M}italic_σ start_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT R end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT bold_I start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT. Notably, both 𝐅k(t;𝐬k)subscript𝐅𝑘𝑡subscript𝐬𝑘{\mathbf{F}}_{k}(t;{\mathbf{s}}_{k})bold_F start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ; bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) and 𝐆k(t;𝐬k)subscript𝐆𝑘𝑡subscript𝐬𝑘{\mathbf{G}}_{k}(t;{\mathbf{s}}_{k})bold_G start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ; bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) are time-varying, since they also encompass the carrier frequency shift induced by the Doppler effect. Moreover, 𝐅k(t;𝐬k)subscript𝐅𝑘𝑡subscript𝐬𝑘{\mathbf{F}}_{k}(t;{\mathbf{s}}_{k})bold_F start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ; bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) and 𝐆k(t;𝐬k)subscript𝐆𝑘𝑡subscript𝐬𝑘{\mathbf{G}}_{k}(t;{\mathbf{s}}_{k})bold_G start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ; bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) explicitly depend on the state vector 𝐬ksubscript𝐬𝑘{\mathbf{s}}_{k}bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT. The signal received at the antenna array of the Sens Rx is spatially combined for sensing. The signal at the output of the combiner is given by zR,k(t)=𝐯kH(t)𝐲R,k(t)subscript𝑧R𝑘𝑡superscriptsubscript𝐯𝑘H𝑡subscript𝐲R𝑘𝑡z_{\text{R},k}(t)={\mathbf{v}}_{k}^{\text{H}}(t)\,{\mathbf{y}}_{\text{R},k}(t)italic_z start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t ) = bold_v start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT H end_POSTSUPERSCRIPT ( italic_t ) bold_y start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t ), where 𝐯k(t)Msubscript𝐯𝑘𝑡superscript𝑀{\mathbf{v}}_{k}(t)\in\mathbb{C}^{M}bold_v start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) ∈ blackboard_C start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT is the beamforming vector at the Sens Rx.

IV-B2 Received communication signal

The transmission channel between the STAR-DCM and the Comms Rx can be reasonably assumed to be time-invariant over the observation interval and frequency-flat (i.e., the delay channel spread is small relative to the inverse signal bandwidth), since the STAR-DCM and the Comms Rx remain relatively stationary within the mobile target, and the distance between them is short. Moreover, links between the Comms Tx and Comms Rx can be assumed to be negligible in the case of severe penetration losses. Henceforth, at the k𝑘kitalic_k-th time slot, the baseband signal yT,k(t)subscript𝑦T𝑘𝑡y_{\text{T},k}(t)italic_y start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT ( italic_t ) received by the Comms Rx is only given by the wave transmitted by the STAR-DCM, which can be written as

yT,k(t)=𝐜kT𝚪T,k(t)𝐅k(t;𝐬k)𝐱k(tτT,k)+wT,k(t),subscript𝑦T𝑘𝑡superscriptsubscript𝐜𝑘Tsubscript𝚪T𝑘𝑡subscript𝐅𝑘𝑡subscript𝐬𝑘subscript𝐱𝑘𝑡subscript𝜏T𝑘subscript𝑤T𝑘𝑡y_{\text{T},k}(t)={\mathbf{c}}_{k}^{\text{T}}\,\boldsymbol{\Gamma}_{\text{T},k% }(t)\,{\mathbf{F}}_{k}(t;{\mathbf{s}}_{k})\,{\mathbf{x}}_{k}(t-\tau_{\text{T},% k})+w_{\text{T},k}(t),italic_y start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT ( italic_t ) = bold_c start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT bold_Γ start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT ( italic_t ) bold_F start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ; bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) bold_x start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t - italic_τ start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT ) + italic_w start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT ( italic_t ) , (4)

where 𝐜k[ck,1,ck,2,,ck,L]TLsubscript𝐜𝑘superscriptsubscript𝑐𝑘1subscript𝑐𝑘2subscript𝑐𝑘𝐿Tsuperscript𝐿{\mathbf{c}}_{k}\triangleq[c_{k,1},c_{k,2},\ldots,c_{k,L}]^{\text{T}}\in% \mathbb{C}^{L}bold_c start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ≜ [ italic_c start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT , italic_c start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT , … , italic_c start_POSTSUBSCRIPT italic_k , italic_L end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT ∈ blackboard_C start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT represents the STAR-DCM-to-Comms-Rx channel (including fading effects and the DCM response), 𝚪T,k(t)diag[𝜸T,k(t)]subscript𝚪T𝑘𝑡diagdelimited-[]subscript𝜸T𝑘𝑡\boldsymbol{\Gamma}_{\text{T},k}(t)\triangleq{\text{diag}}[\boldsymbol{\gamma}% _{\text{T},k}(t)]bold_Γ start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT ( italic_t ) ≜ diag [ bold_italic_γ start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT ( italic_t ) ], with 𝜸T,k(t)Lsubscript𝜸T𝑘𝑡superscript𝐿\boldsymbol{\gamma}_{\text{T},k}(t)\in\mathbb{C}^{L}bold_italic_γ start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT ( italic_t ) ∈ blackboard_C start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT containing the transmission coefficient of the STAR-DCM, τT,ksubscript𝜏T𝑘\tau_{\text{T},k}italic_τ start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT is the overall delay, and wT,k(t)subscript𝑤T𝑘𝑡w_{\text{T},k}(t)italic_w start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT ( italic_t ) is a zero-mean white Gaussian thermal noise with variance σwT2superscriptsubscript𝜎subscript𝑤T2\sigma_{w_{\text{T}}}^{2}italic_σ start_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT T end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

Refer to caption
Figure 7: Illustration of a protocol with sensing-assisted beam prediction and tracking. Tusubscript𝑇uT_{\text{u}}italic_T start_POSTSUBSCRIPT u end_POSTSUBSCRIPT denotes the symbol period of the information-bearing digitally-modulated signal transmitted by the Comms Tx, while IISAC,ksubscript𝐼ISAC𝑘I_{\text{ISAC},k}\in\mathbb{N}italic_I start_POSTSUBSCRIPT ISAC , italic_k end_POSTSUBSCRIPT ∈ blackboard_N and IC,ksubscript𝐼C𝑘I_{\text{C},k}\in\mathbb{N}italic_I start_POSTSUBSCRIPT C , italic_k end_POSTSUBSCRIPT ∈ blackboard_N are the number of symbol intervals devoted to ISAC and communication-only processes, respectively.

IV-C Beam prediction and tracking based on STAR-DCM

Beam prediction and tracking are crucial operations to ensure beamforming gains in fast-changing channels for the Comms Tx. Let us consider the transmit beamforming strategy

𝐱k(t)=𝐛k(t)uk(t),subscript𝐱𝑘𝑡subscript𝐛𝑘𝑡subscript𝑢𝑘𝑡{\mathbf{x}}_{k}(t)={\mathbf{b}}_{k}(t)\,u_{k}(t),bold_x start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) = bold_b start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) italic_u start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) , (5)

where 𝐛k(t)Msubscript𝐛𝑘𝑡superscript𝑀{\mathbf{b}}_{k}(t)\in\mathbb{C}^{M}bold_b start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) ∈ blackboard_C start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT is the beamformer used for steering the beam to the desired direction during the k𝑘kitalic_k-th time slot, and uk(t)subscript𝑢𝑘𝑡u_{k}(t)italic_u start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) is the corresponding unit-power data stream intended for the Comms Rx with a symbol period Tusubscript𝑇uT_{\text{u}}italic_T start_POSTSUBSCRIPT u end_POSTSUBSCRIPT. To steer the transmitted signal uk(t)subscript𝑢𝑘𝑡u_{k}(t)italic_u start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) towards the direction of the mobile target, knowledge of the state vector 𝐬ksubscript𝐬𝑘{\mathbf{s}}_{k}bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is required at the Comms Tx. This information is provided by the Sens Rx. Fig. 7 illustrates a possible beam prediction and tracking protocol involving a STAR-DCM [29]. The protocol is initialized by letting the Sens Rx estimate the parameters of the target that enters into the coverage of interest.

In the initial state-estimation step (00-th slot), the Sens Rx derives an initial estimate 𝐬^0subscript^𝐬0\widehat{{\mathbf{s}}}_{0}over^ start_ARG bold_s end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT of the state vector 𝐬0subscript𝐬0{\mathbf{s}}_{0}bold_s start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT from the reflected signal 𝐲R,0(t)subscript𝐲R0𝑡{\mathbf{y}}_{\text{R},0}(t)bold_y start_POSTSUBSCRIPT R , 0 end_POSTSUBSCRIPT ( italic_t ) by configuring the DCM to be in a totally reflective state (i.e., 𝜸T,0(t)=0subscript𝜸T0𝑡0\boldsymbol{\gamma}_{\text{T},0}(t)=0bold_italic_γ start_POSTSUBSCRIPT T , 0 end_POSTSUBSCRIPT ( italic_t ) = 0). The state estimate can be obtained using standard training-based estimation methods. In this approach, the Comms Tx transmits a pilot signal known to the Sens Rx, and simultaneously, the reflection response 𝜸R,0(t)subscript𝜸R0𝑡\boldsymbol{\gamma}_{\text{R},0}(t)bold_italic_γ start_POSTSUBSCRIPT R , 0 end_POSTSUBSCRIPT ( italic_t ) of the DCM is set to be in a training configuration known to the Sens Rx.

As illustrated in Fig. 7, beam prediction is performed at the Sens Rx on a slot-by-slot basis. The goal of the prediction process in the (k1)𝑘1(k-1)( italic_k - 1 )-th time slot is to predict the state of the target at the k𝑘kitalic_k-th slot using the estimate 𝐬^k1subscript^𝐬𝑘1\widehat{{\mathbf{s}}}_{k-1}over^ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT of 𝐬k1subscript𝐬𝑘1{\mathbf{s}}_{k-1}bold_s start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT obtained in the previous (k2)𝑘2(k-2)( italic_k - 2 )-th slot. This procedure is schematically illustrated in Fig. 8. The predictor can be designed through either model-based or data-driven approaches. Model-based prediction relies on the kinetic model of the mobile target [35], whereas data-driven prediction utilizes artificial intelligence (AI) or machine learning (ML) techniques [37]. In what follows, we denote 𝐬^k|k1[𝜾^k|k1T,d^k|k1,v^k|k1]Tsubscript^𝐬conditional𝑘𝑘1superscriptsuperscriptsubscript^𝜾conditional𝑘𝑘1Tsubscript^𝑑conditional𝑘𝑘1subscript^𝑣conditional𝑘𝑘1T\widehat{{\mathbf{s}}}_{k\,|\,k-1}\triangleq[\widehat{\boldsymbol{\iota}}_{k\,% |\,k-1}^{\text{T}},\widehat{d}_{k\,|\,k-1},\widehat{v}_{k\,|\,k-1}]^{\text{T}}over^ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT ≜ [ over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT , over^ start_ARG italic_d end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT , over^ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT as the output of the predictor during the (k1)𝑘1(k-1)( italic_k - 1 )-th slot.

The prediction 𝐬^k|k1subscript^𝐬conditional𝑘𝑘1\widehat{{\mathbf{s}}}_{k\,|\,k-1}over^ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT serves as a coarse estimate of the target state vector. The Comms Tx uses this estimate to initially steer the beam at the beginning of the k𝑘kitalic_k-th time slot, i.e., at the time epoch tk=kΔTsubscript𝑡𝑘𝑘Δ𝑇t_{k}=k\,\Delta Titalic_t start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = italic_k roman_Δ italic_T. A simple transmit beamforming strategy involves aligning 𝐛k(tk)subscript𝐛𝑘subscript𝑡𝑘{\mathbf{b}}_{k}(t_{k})bold_b start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) to the coarsely predicted Comms-Tx-to-STAR-DCM LoS direction by setting

𝐛k(tk)=𝐛k,1𝐚Comms-Tx(𝜾^k|k1)𝐚Comms-Tx(𝜾^k|k1)2,subscript𝐛𝑘subscript𝑡𝑘subscript𝐛𝑘1subscript𝐚Comms-Txsubscript^𝜾conditional𝑘𝑘1subscriptnormsubscript𝐚Comms-Txsubscript^𝜾conditional𝑘𝑘12{\mathbf{b}}_{k}(t_{k})={\mathbf{b}}_{k,1}\triangleq\frac{{\mathbf{a}}_{\text{% Comms-Tx}}(\widehat{\boldsymbol{\iota}}_{k\,|\,k-1})}{\|{\mathbf{a}}_{\text{% Comms-Tx}}(\widehat{\boldsymbol{\iota}}_{k\,|\,k-1})\|_{2}},bold_b start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) = bold_b start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT ≜ divide start_ARG bold_a start_POSTSUBSCRIPT Comms-Tx end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT ) end_ARG start_ARG ∥ bold_a start_POSTSUBSCRIPT Comms-Tx end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT ) ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG , (6)

where 𝐚Comms-Tx()Nsubscript𝐚Comms-Txsuperscript𝑁{\mathbf{a}}_{\text{Comms-Tx}}(\cdot)\in\mathbb{C}^{N}bold_a start_POSTSUBSCRIPT Comms-Tx end_POSTSUBSCRIPT ( ⋅ ) ∈ blackboard_C start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT is the array response vector of the Comms Tx. Similarly, the receive beamforming is designed by matching

𝐯k(tk)𝐯k,1𝐚Sens-Rx(𝜾^k|k1)𝐚Sens-Rx(𝜾^k|k1)2,subscript𝐯𝑘subscript𝑡𝑘subscript𝐯𝑘1subscript𝐚Sens-Rxsubscript^𝜾conditional𝑘𝑘1subscriptnormsubscript𝐚Sens-Rxsubscript^𝜾conditional𝑘𝑘12{\mathbf{v}}_{k}(t_{k})\triangleq{\mathbf{v}}_{k,1}\triangleq\frac{{\mathbf{a}% }_{\text{Sens-Rx}}(\widehat{\boldsymbol{\iota}}_{k\,|\,k-1})}{\|{\mathbf{a}}_{% \text{Sens-Rx}}(\widehat{\boldsymbol{\iota}}_{k\,|\,k-1})\|_{2}},bold_v start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ≜ bold_v start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT ≜ divide start_ARG bold_a start_POSTSUBSCRIPT Sens-Rx end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT ) end_ARG start_ARG ∥ bold_a start_POSTSUBSCRIPT Sens-Rx end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT ) ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG , (7)

with the array response vector 𝐚Sens-Rx()Msubscript𝐚Sens-Rxsuperscript𝑀{\mathbf{a}}_{\text{Sens-Rx}}(\cdot)\in\mathbb{C}^{M}bold_a start_POSTSUBSCRIPT Sens-Rx end_POSTSUBSCRIPT ( ⋅ ) ∈ blackboard_C start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT of the Sens Rx along the direction 𝜾^k|k1subscript^𝜾conditional𝑘𝑘1\widehat{\boldsymbol{\iota}}_{k\,|\,k-1}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT.

Refer to caption
Figure 8: Prediction and tracking of the target state vector.

The beam tracking procedure aims at refining the transmit beam direction during the k𝑘kitalic_k-th time slot so as to enhance communication quality. As shown in Fig. 8, this is achieved by implementing a recursive estimation procedure at the Sens Rx. The goal is to provide a fine estimate 𝐬^k[𝜾^kT,d^k,v^k]Tsubscript^𝐬𝑘superscriptsuperscriptsubscript^𝜾𝑘Tsubscript^𝑑𝑘subscript^𝑣𝑘T\widehat{{\mathbf{s}}}_{k}\triangleq[\widehat{\boldsymbol{\iota}}_{k}^{\text{T% }},\widehat{d}_{k},\widehat{v}_{k}]^{\text{T}}over^ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ≜ [ over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT , over^ start_ARG italic_d end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , over^ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT of the target state vector based on the coarse estimate 𝐬^k|k1subscript^𝐬conditional𝑘𝑘1\widehat{{\mathbf{s}}}_{k\,|\,k-1}over^ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT and the reflected signal 𝐲R,k(t)subscript𝐲R𝑘𝑡{\mathbf{y}}_{\text{R},k}(t)bold_y start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t ) from the STAR-DCM. For this purpose, similarly to conventional (i.e., without DCM) ISAC systems, an extended Kalman filtering can be used in conjunction with standard high-resolution direction-finding algorithms and delay-Doppler matched filtering techniques [35]. The protocol consists of dividing the time slot k𝑘kitalic_k into two sub-slots [29] (see Fig. 7). In the first one, the number of symbol intervals allocated to joint beam tracking and communication is IISAC,ksubscript𝐼ISAC𝑘I_{\text{ISAC},k}italic_I start_POSTSUBSCRIPT ISAC , italic_k end_POSTSUBSCRIPT, whereas the remaining IC,ksubscript𝐼C𝑘I_{\text{C},k}italic_I start_POSTSUBSCRIPT C , italic_k end_POSTSUBSCRIPT symbol intervals are devoted to information transfer only. In the first sub-slot, the Comms Tx and the Sens Rx keep the beamformer fixed to the initial value (6) and (7), respectively, and the DCM operates in STAR mode, according to one of the mechanisms in Subsection IV-A, with reflection and transmission responses 𝜸R,k(t)=𝜸R,k,1𝟎Lsubscript𝜸R𝑘𝑡subscript𝜸R𝑘1subscript0𝐿\boldsymbol{\gamma}_{\text{R},k}(t)=\boldsymbol{\gamma}_{\text{R},k,1}\neq% \mathbf{0}_{L}bold_italic_γ start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t ) = bold_italic_γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT ≠ bold_0 start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT and 𝜸T,k(t)=𝜸T,k,1𝟎Lsubscript𝜸T𝑘𝑡subscript𝜸T𝑘1subscript0𝐿\boldsymbol{\gamma}_{\text{T},k}(t)=\boldsymbol{\gamma}_{\text{T},k,1}\neq% \mathbf{0}_{L}bold_italic_γ start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT ( italic_t ) = bold_italic_γ start_POSTSUBSCRIPT T , italic_k , 1 end_POSTSUBSCRIPT ≠ bold_0 start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT. For t[kΔT,kΔT+IISACTu)𝑡𝑘Δ𝑇𝑘Δ𝑇subscript𝐼ISACsubscript𝑇ut\in[k\,\Delta T,k\,\Delta T+I_{\text{ISAC}}\,T_{\text{u}})italic_t ∈ [ italic_k roman_Δ italic_T , italic_k roman_Δ italic_T + italic_I start_POSTSUBSCRIPT ISAC end_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT u end_POSTSUBSCRIPT ), the fine estimate 𝐬^ksubscript^𝐬𝑘\widehat{{\mathbf{s}}}_{k}over^ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is obtained by jointly processing 𝐬^k|k1subscript^𝐬conditional𝑘𝑘1\widehat{{\mathbf{s}}}_{k\,|\,k-1}over^ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT and (3), while the Comms Rx is receiving information according to (4).

In the second sub-slot, the Comms Tx refines its matched-filter beamformer, by setting

𝐛k(t)=𝐛k,2𝐚Comms-Tx(𝜾^k)𝐚Comms-Tx(𝜾^k)2subscript𝐛𝑘𝑡subscript𝐛𝑘2subscript𝐚Comms-Txsubscript^𝜾𝑘subscriptnormsubscript𝐚Comms-Txsubscript^𝜾𝑘2{\mathbf{b}}_{k}(t)={\mathbf{b}}_{k,2}\triangleq\frac{{\mathbf{a}}_{\text{% Comms-Tx}}(\widehat{\boldsymbol{\iota}}_{k})}{\|{\mathbf{a}}_{\text{Comms-Tx}}% (\widehat{\boldsymbol{\iota}}_{k})\|_{2}}bold_b start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) = bold_b start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT ≜ divide start_ARG bold_a start_POSTSUBSCRIPT Comms-Tx end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) end_ARG start_ARG ∥ bold_a start_POSTSUBSCRIPT Comms-Tx end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG (8)

for t[kΔT+IISACTu,(k+1)ΔT)𝑡𝑘Δ𝑇subscript𝐼ISACsubscript𝑇u𝑘1Δ𝑇t\in[k\,\Delta T+I_{\text{ISAC}}\,T_{\text{u}},(k+1)\,\Delta T)italic_t ∈ [ italic_k roman_Δ italic_T + italic_I start_POSTSUBSCRIPT ISAC end_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT u end_POSTSUBSCRIPT , ( italic_k + 1 ) roman_Δ italic_T ) and, at the same time, the DCM is switched to a totally transmission configuration, i.e., 𝜸R,k(t)=𝜸R,k,2=𝟎Lsubscript𝜸R𝑘𝑡subscript𝜸R𝑘2subscript0𝐿\boldsymbol{\gamma}_{\text{R},k}(t)=\boldsymbol{\gamma}_{\text{R},k,2}=\mathbf% {0}_{L}bold_italic_γ start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t ) = bold_italic_γ start_POSTSUBSCRIPT R , italic_k , 2 end_POSTSUBSCRIPT = bold_0 start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT and 𝜸T,k(t)=𝜸T,k,2𝟎Lsubscript𝜸T𝑘𝑡subscript𝜸T𝑘2subscript0𝐿\boldsymbol{\gamma}_{\text{T},k}(t)=\boldsymbol{\gamma}_{\text{T},k,2}\neq% \mathbf{0}_{L}bold_italic_γ start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT ( italic_t ) = bold_italic_γ start_POSTSUBSCRIPT T , italic_k , 2 end_POSTSUBSCRIPT ≠ bold_0 start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT.

The outlined protocol does not require uplink feedbacks, as the signal reflected by the STAR CDM inherently provides this feedback. Dedicated downlink pilots are necessary only during the initial estimation step. An implicit assumption here is that the STAR-DCM-plus-Comms-Rx target is frame-synchronous with the Comms Tx/Sens Rx. This assumption is common in all works dealing with DCM-enabled ISAC networks, so it is not particularly restrictive to STAR-DCMs. Frame synchronization can be established during the initial estimation step and maintained throughout the protocol. However, such a task remains an open challenge in signal processing.

V Optimization of ISAC with a STAR-DCM

The effectiveness of an ISAC system relies on achieving both sensing accuracy and reliable communication. The posterior Cramér–Rao bound (PCRB) [38] establishes a lower bound on the variance of unbiased estimators for each entry of the target state vector. Simultaneously, communication performance is assessed by the achievable information data rate.

The PCRB on the estimation error can be expressed as

𝐏𝔼[(𝐬^k𝐬k)(𝐬^k𝐬k)H]𝐉1,𝐏𝔼delimited-[]subscript^𝐬𝑘subscript𝐬𝑘superscriptsubscript^𝐬𝑘subscript𝐬𝑘Hsucceeds-or-equalssuperscript𝐉1\mathbf{P}\triangleq{\mathbb{E}}\left[\left(\widehat{{\mathbf{s}}}_{k}-{% \mathbf{s}}_{k}\right)\,\left(\widehat{{\mathbf{s}}}_{k}-{\mathbf{s}}_{k}% \right)^{\text{H}}\right]\succeq\mathbf{J}^{-1},bold_P ≜ blackboard_E [ ( over^ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT - bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ( over^ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT - bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT H end_POSTSUPERSCRIPT ] ⪰ bold_J start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT , (9)

where the inequality means that the difference 𝐏𝐉1𝐏superscript𝐉1\mathbf{P}-\mathbf{J}^{-1}bold_P - bold_J start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT is a positive semidefinite matrix, whereas 𝐉𝐉\mathbf{J}bold_J is the Fisher information matrix defined as

𝐉[2logp(𝐲R,k(tk),𝐬k)𝐬k2],𝐉delimited-[]superscript2𝑝subscript𝐲R𝑘subscript𝑡𝑘subscript𝐬𝑘superscriptsubscript𝐬𝑘2\mathbf{J}\triangleq\left[-\frac{\partial^{2}\log p({\mathbf{y}}_{\text{R},k}(% t_{k}),{\mathbf{s}}_{k})}{\partial{\mathbf{s}}_{k}^{2}}\right],bold_J ≜ [ - divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_log italic_p ( bold_y start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) , bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) end_ARG start_ARG ∂ bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ] , (10)

with p(𝐲R,k(tk),𝐬k)𝑝subscript𝐲R𝑘subscript𝑡𝑘subscript𝐬𝑘p({\mathbf{y}}_{\text{R},k}(t_{k}),{\mathbf{s}}_{k})italic_p ( bold_y start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) , bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) denoting the joint probability density of the pair {𝐲R,k(tk),𝐬k}subscript𝐲R𝑘subscript𝑡𝑘subscript𝐬𝑘\{{\mathbf{y}}_{\text{R},k}(t_{k}),{\mathbf{s}}_{k}\}{ bold_y start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) , bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT }, provided that the expectations and derivatives in (9) and (10) exist. The calculation of the PCBR for the problem at hand is mainly complicated by the fact that 𝐬ksubscript𝐬𝑘{\mathbf{s}}_{k}bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is a nonlinear function of 𝐬k1subscript𝐬𝑘1{\mathbf{s}}_{k-1}bold_s start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT, making it difficult to analytically derive the distribution of 𝐬ksubscript𝐬𝑘{\mathbf{s}}_{k}bold_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT. To avoid overwhelming the reader with cumbersome mathematical derivations, we note that the PCRB for the estimates 𝜾^ksubscript^𝜾𝑘\widehat{\boldsymbol{\iota}}_{k}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, d^ksubscript^𝑑𝑘\widehat{d}_{k}over^ start_ARG italic_d end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, and v^ksubscript^𝑣𝑘\widehat{v}_{k}over^ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, which collectively determine the estimate 𝐬^ksubscript^𝐬𝑘\widehat{{\mathbf{s}}}_{k}over^ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT of the target state vector during the k𝑘kitalic_k-th time slot, is inversely proportional to both the number of measurements IISAC,ksubscript𝐼ISAC𝑘I_{\text{ISAC},k}italic_I start_POSTSUBSCRIPT ISAC , italic_k end_POSTSUBSCRIPT of the reflected signal by the STAR-DCM and the signal-to-noise ratio (SNR) of the Sens Rx beamformer’s output zR,k(t)=𝐯kH(t)𝐲R,k(t)subscript𝑧R𝑘𝑡superscriptsubscript𝐯𝑘H𝑡subscript𝐲R𝑘𝑡z_{\text{R},k}(t)={\mathbf{v}}_{k}^{\text{H}}(t)\,{\mathbf{y}}_{\text{R},k}(t)italic_z start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t ) = bold_v start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT H end_POSTSUPERSCRIPT ( italic_t ) bold_y start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t ). The constants of proportionality depend on the system configuration, signal designs, and specific estimation algorithms employed. This observation allows us to streamline the presentation of the system optimization while providing insights into the benefits of STAR-DCM-aided ISAC systems. For a detailed derivation of the PCRB, we refer the reader to [29].

Utilizing the predicted 𝜾^k|k1subscript^𝜾conditional𝑘𝑘1\widehat{\boldsymbol{\iota}}_{k\,|\,k-1}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT of the STAR-DCM-plus-Comms-Rx target direction obtained in the (k1)𝑘1(k-1)( italic_k - 1 )-th slot (see Fig. 8), according to (3), the SNR of the signal zR,k(t)subscript𝑧R𝑘𝑡z_{\text{R},k}(t)italic_z start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ( italic_t ) during the first sub-slot is given by

SNRk,1=𝒫R,k|𝒢k,1Sens-Rx|2|𝐚DCMH(𝐮k)𝚪R,k,1𝐚DCM(𝐮k)|2|𝒢k,1Comms-Tx|2σwR2,subscriptSNR𝑘1subscript𝒫R𝑘superscriptsuperscriptsubscript𝒢𝑘1Sens-Rx2superscriptsuperscriptsubscript𝐚DCMHsubscript𝐮𝑘subscript𝚪R𝑘1subscript𝐚DCMsubscript𝐮𝑘2superscriptsuperscriptsubscript𝒢𝑘1Comms-Tx2superscriptsubscript𝜎subscript𝑤R2\text{SNR}_{k,1}=\frac{\mathcal{P}_{\text{R},k}\,\big{|}\mathcal{G}_{k,1}^{% \text{Sens-Rx}}\big{|}^{2}\,\big{|}{\mathbf{a}}_{\text{DCM}}^{\text{H}}(-{% \mathbf{u}}_{k})\,\boldsymbol{\Gamma}_{\text{R},k,1}\,{\mathbf{a}}_{\text{DCM}% }({\mathbf{u}}_{k})\big{|}^{2}\,\big{|}\mathcal{G}_{k,1}^{\text{Comms-Tx}}\big% {|}^{2}}{\sigma_{w_{\text{R}}}^{2}},SNR start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT = divide start_ARG caligraphic_P start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT | caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Sens-Rx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | bold_a start_POSTSUBSCRIPT DCM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT H end_POSTSUPERSCRIPT ( - bold_u start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) bold_Γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT bold_a start_POSTSUBSCRIPT DCM end_POSTSUBSCRIPT ( bold_u start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Comms-Tx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_σ start_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT R end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (11)

where 𝒫R,ksubscript𝒫R𝑘\mathcal{P}_{\text{R},k}caligraphic_P start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT is the received power at the Sens Rx (encompassing transmit power and round-trip path loss), |𝒢k,1Sens-Rx|2=|𝐯k,1H𝐚Sens-Rx(𝜾k)|2Msuperscriptsuperscriptsubscript𝒢𝑘1Sens-Rx2superscriptsuperscriptsubscript𝐯𝑘1Hsubscript𝐚Sens-Rxsubscript𝜾𝑘2𝑀\big{|}\mathcal{G}_{k,1}^{\text{Sens-Rx}}\big{|}^{2}=\big{|}{\mathbf{v}}_{k,1}% ^{\text{H}}\,{\mathbf{a}}_{\text{Sens-Rx}}(\boldsymbol{\iota}_{k})\big{|}^{2}\leq M| caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Sens-Rx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = | bold_v start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT H end_POSTSUPERSCRIPT bold_a start_POSTSUBSCRIPT Sens-Rx end_POSTSUBSCRIPT ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ italic_M represents the array gain of the Sens Rx, with 𝐯k,1subscript𝐯𝑘1{\mathbf{v}}_{k,1}bold_v start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT given by (7), 𝐚DCM()Lsubscript𝐚DCMsuperscript𝐿{\mathbf{a}}_{\text{DCM}}(\cdot)\in\mathbb{C}^{L}bold_a start_POSTSUBSCRIPT DCM end_POSTSUBSCRIPT ( ⋅ ) ∈ blackboard_C start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT models the DCM response, 𝐮k3subscript𝐮𝑘superscript3{\mathbf{u}}_{k}\in\mathbb{R}^{3}bold_u start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT collects the cosines of the direction 𝜾ksubscript𝜾𝑘\boldsymbol{\iota}_{k}bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, 𝚪R,k,1=diag[𝜸R,k,1]subscript𝚪R𝑘1diagdelimited-[]subscript𝜸R𝑘1\boldsymbol{\Gamma}_{\text{R},k,1}={\text{diag}}[\boldsymbol{\gamma}_{\text{R}% ,k,1}]bold_Γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT = diag [ bold_italic_γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT ], and, finally, the array gain of the Comms Tx in the first sub-slot is denoted by |𝒢k,1Comms-Tx|2=|𝐚Comms-TxH(𝜾k)𝐛k,1|2Nsuperscriptsuperscriptsubscript𝒢𝑘1Comms-Tx2superscriptsuperscriptsubscript𝐚Comms-TxHsubscript𝜾𝑘subscript𝐛𝑘12𝑁\big{|}\mathcal{G}_{k,1}^{\text{Comms-Tx}}\big{|}^{2}=\big{|}{\mathbf{a}}_{% \text{Comms-Tx}}^{\text{H}}(\boldsymbol{\iota}_{k})\,{\mathbf{b}}_{k,1}\big{|}% ^{2}\leq N| caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Comms-Tx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = | bold_a start_POSTSUBSCRIPT Comms-Tx end_POSTSUBSCRIPT start_POSTSUPERSCRIPT H end_POSTSUPERSCRIPT ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) bold_b start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ italic_N, with 𝐛k,1subscript𝐛𝑘1{\mathbf{b}}_{k,1}bold_b start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT given by (6). The losses in transmit and receive array gain, denoted as N|𝒢k,1Comms-Tx|2𝑁superscriptsuperscriptsubscript𝒢𝑘1Comms-Tx2N-\big{|}\mathcal{G}_{k,1}^{\text{Comms-Tx}}\big{|}^{2}italic_N - | caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Comms-Tx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and M|𝒢k,1Sens-Rx|2𝑀superscriptsuperscriptsubscript𝒢𝑘1Sens-Rx2M-\big{|}\mathcal{G}_{k,1}^{\text{Sens-Rx}}\big{|}^{2}italic_M - | caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Sens-Rx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, respectively, depend on the accuracy of the prediction 𝜾^k|k1subscript^𝜾conditional𝑘𝑘1\widehat{\boldsymbol{\iota}}_{k\,|\,k-1}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT. As 𝜾^k|k1𝜾k20subscriptnormsubscript^𝜾conditional𝑘𝑘1subscript𝜾𝑘20\big{\|}\widehat{\boldsymbol{\iota}}_{k\,|\,k-1}-\boldsymbol{\iota}_{k}\big{\|% }_{2}\to 0∥ over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT - bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → 0, the array gains |𝒢k,1Comms-Tx|2superscriptsubscriptsuperscript𝒢Comms-Tx𝑘12\big{|}\mathcal{G}^{\text{Comms-Tx}}_{k,1}\big{|}^{2}| caligraphic_G start_POSTSUPERSCRIPT Comms-Tx end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and |𝒢k,1Sens-Rx|2superscriptsubscriptsuperscript𝒢Sens-Rx𝑘12\big{|}\mathcal{G}^{\text{Sens-Rx}}_{k,1}\big{|}^{2}| caligraphic_G start_POSTSUPERSCRIPT Sens-Rx end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT approach their maximum value N𝑁Nitalic_N and M𝑀Mitalic_M, respectively.

Considering (4), the achievable rate in the initial sub-slot of the k𝑘kitalic_k-th slot is given by

k,1=log2(1+𝒫T,k|𝐜kT𝚪T,k,1𝐚DCM(𝜾k)|2|𝒢k,1Comms-Tx|2σwT2)(in bits/s/Hz),subscript𝑘1subscript21subscript𝒫T𝑘superscriptsuperscriptsubscript𝐜𝑘Tsubscript𝚪T𝑘1subscript𝐚DCMsubscript𝜾𝑘2superscriptsuperscriptsubscript𝒢𝑘1Comms-Tx2superscriptsubscript𝜎subscript𝑤T2(in bits/s/Hz)\mathcal{R}_{k,1}=\log_{2}\left(1+\frac{\mathcal{P}_{\text{T},k}\,\big{|}{% \mathbf{c}}_{k}^{\text{T}}\,\boldsymbol{\Gamma}_{\text{T},k,1}\,{\mathbf{a}}_{% \text{DCM}}(\boldsymbol{\iota}_{k})\big{|}^{2}\,\big{|}\mathcal{G}_{k,1}^{% \text{Comms-Tx}}\big{|}^{2}}{\sigma_{w_{\text{T}}}^{2}}\right)\quad\text{(in % bits/s/Hz)},caligraphic_R start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT = roman_log start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( 1 + divide start_ARG caligraphic_P start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT | bold_c start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT bold_Γ start_POSTSUBSCRIPT T , italic_k , 1 end_POSTSUBSCRIPT bold_a start_POSTSUBSCRIPT DCM end_POSTSUBSCRIPT ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Comms-Tx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_σ start_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT T end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) (in bits/s/Hz) , (12)

where 𝒫T,ksubscript𝒫T𝑘\mathcal{P}_{\text{T},k}caligraphic_P start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT is the received power at the Comms Rx (encompassing transmit power and overall path loss), and 𝚪T,k,1=diag[𝜸T,k,1]subscript𝚪T𝑘1diagdelimited-[]subscript𝜸T𝑘1\boldsymbol{\Gamma}_{\text{T},k,1}={\text{diag}}[\boldsymbol{\gamma}_{\text{T}% ,k,1}]bold_Γ start_POSTSUBSCRIPT T , italic_k , 1 end_POSTSUBSCRIPT = diag [ bold_italic_γ start_POSTSUBSCRIPT T , italic_k , 1 end_POSTSUBSCRIPT ]. On the other hand, the achievable rate in the second sub-slot of the k𝑘kitalic_k-th slot is expressed as

k,2=log2(1+𝒫T,k|𝐜kT𝚪T,k,2𝐚DCM(𝜾k)|2|𝒢k,2Comms-Tx|2σwT2)(in bits/s/Hz),subscript𝑘2subscript21subscript𝒫T𝑘superscriptsuperscriptsubscript𝐜𝑘Tsubscript𝚪T𝑘2subscript𝐚DCMsubscript𝜾𝑘2superscriptsuperscriptsubscript𝒢𝑘2Comms-Tx2superscriptsubscript𝜎subscript𝑤T2(in bits/s/Hz)\mathcal{R}_{k,2}=\log_{2}\left(1+\frac{\mathcal{P}_{\text{T},k}\,\big{|}{% \mathbf{c}}_{k}^{\text{T}}\,\boldsymbol{\Gamma}_{\text{T},k,2}\,{\mathbf{a}}_{% \text{DCM}}(\boldsymbol{\iota}_{k})\big{|}^{2}\,\big{|}\mathcal{G}_{k,2}^{% \text{Comms-Tx}}\big{|}^{2}}{\sigma_{w_{\text{T}}}^{2}}\right)\quad\text{(in % bits/s/Hz)},caligraphic_R start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT = roman_log start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( 1 + divide start_ARG caligraphic_P start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT | bold_c start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT bold_Γ start_POSTSUBSCRIPT T , italic_k , 2 end_POSTSUBSCRIPT bold_a start_POSTSUBSCRIPT DCM end_POSTSUBSCRIPT ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | caligraphic_G start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Comms-Tx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_σ start_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT T end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) (in bits/s/Hz) , (13)

where |𝒢k,2Comms-Tx|2=|𝐚Comms-TxH(𝜾k)𝐛k,2|2Nsuperscriptsuperscriptsubscript𝒢𝑘2Comms-Tx2superscriptsuperscriptsubscript𝐚Comms-TxHsubscript𝜾𝑘subscript𝐛𝑘22𝑁\big{|}\mathcal{G}_{k,2}^{\text{Comms-Tx}}\big{|}^{2}=\big{|}{\mathbf{a}}_{% \text{Comms-Tx}}^{\text{H}}(\boldsymbol{\iota}_{k})\,{\mathbf{b}}_{k,2}\big{|}% ^{2}\leq N| caligraphic_G start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Comms-Tx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = | bold_a start_POSTSUBSCRIPT Comms-Tx end_POSTSUBSCRIPT start_POSTSUPERSCRIPT H end_POSTSUPERSCRIPT ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) bold_b start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ italic_N is the array gain of the Comms Tx in the second sub-slot, with 𝐛k,2subscript𝐛𝑘2{\mathbf{b}}_{k,2}bold_b start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT given by (8), and 𝚪T,k,2=diag[𝜸T,k,2]subscript𝚪T𝑘2diagdelimited-[]subscript𝜸T𝑘2\boldsymbol{\Gamma}_{\text{T},k,2}={\text{diag}}[\boldsymbol{\gamma}_{\text{T}% ,k,2}]bold_Γ start_POSTSUBSCRIPT T , italic_k , 2 end_POSTSUBSCRIPT = diag [ bold_italic_γ start_POSTSUBSCRIPT T , italic_k , 2 end_POSTSUBSCRIPT ], which approaches its maximum value N𝑁Nitalic_N as 𝜾^k𝜾k20subscriptnormsubscript^𝜾𝑘subscript𝜾𝑘20\big{\|}\widehat{\boldsymbol{\iota}}_{k}-\boldsymbol{\iota}_{k}\big{\|}_{2}\to 0∥ over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT - bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → 0,

V-A Optimization of the STAR-DCM

To leverage the dual-function capability of ISAC, various optimization problems can be formulated based on the design objective and on the type of STAR mechanism (see Subsection IV-A). Broadly, the optimization scope might involve maximizing sensing performance while meeting a specified quality-of-service requirement for the Comms Rx. Conversely, one could aim to maximize the information rate for the Comms Rx while ensuring a certain level of accuracy in estimating the unknown state parameters. The latter is particularly relevant for sensing-assisted communications. The selection of the STAR mechanism significantly influences the mutual coupling between the transmission and reflection coefficients.

Let γR,k,1()superscriptsubscript𝛾R𝑘1\gamma_{\text{R},k,1}^{(\ell)}italic_γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT, γT,k,1()superscriptsubscript𝛾T𝑘1\gamma_{\text{T},k,1}^{(\ell)}italic_γ start_POSTSUBSCRIPT T , italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT, and γT,k,2()superscriptsubscript𝛾T𝑘2\gamma_{\text{T},k,2}^{(\ell)}italic_γ start_POSTSUBSCRIPT T , italic_k , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT denote the \ellroman_ℓ-th entry of 𝜸R,k,1subscript𝜸R𝑘1\boldsymbol{\gamma}_{\text{R},k,1}bold_italic_γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT, 𝜸T,k,1subscript𝜸T𝑘1\boldsymbol{\gamma}_{\text{T},k,1}bold_italic_γ start_POSTSUBSCRIPT T , italic_k , 1 end_POSTSUBSCRIPT, and 𝜸T,k,2subscript𝜸T𝑘2\boldsymbol{\gamma}_{\text{T},k,2}bold_italic_γ start_POSTSUBSCRIPT T , italic_k , 2 end_POSTSUBSCRIPT, respectively, for {1,2,,L}12𝐿\ell\in\{1,2,\ldots,L\}roman_ℓ ∈ { 1 , 2 , … , italic_L }. In scenarios involving mode switching, as well as time, frequency and polarization division, the magnitudes of γR,k,1()superscriptsubscript𝛾R𝑘1\gamma_{\text{R},k,1}^{(\ell)}italic_γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT and γT,k,1()superscriptsubscript𝛾T𝑘1\gamma_{\text{T},k,1}^{(\ell)}italic_γ start_POSTSUBSCRIPT T , italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT are decoupled, simplifying the optimization process. STAR-DCMs with mode switching exhibit limited beamforming gains as only a subset of the elements is selected for transmission or reflection. On the other hand, ISAC systems employing STAR-DCMs with time or frequency division introduce stringent synchronization requirements, leading to higher hardware implementation complexity. Compared to time and frequency division, polarization division separates the design of γR,k,1()superscriptsubscript𝛾R𝑘1\gamma_{\text{R},k,1}^{(\ell)}italic_γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT and γT,k,1()superscriptsubscript𝛾T𝑘1\gamma_{\text{T},k,1}^{(\ell)}italic_γ start_POSTSUBSCRIPT T , italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT by alleviating the burden of DCM synchronization. Nevertheless, the full potential of STAR-DCMs with polarization division in ISAC networks remains to be fully understood.

To explore the inherent trade-off between sensing and communication performance in the monostatic sensing configuration illustrated in Fig. 6(a), we focus on a STAR-DCM employing energy splitting. Although this configuration couples the design of γR,k,1()superscriptsubscript𝛾R𝑘1\gamma_{\text{R},k,1}^{(\ell)}italic_γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT and γT,k,1()superscriptsubscript𝛾T𝑘1\gamma_{\text{T},k,1}^{(\ell)}italic_γ start_POSTSUBSCRIPT T , italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT, it offers considerable flexibility for communication system design. We preliminary discuss the maximization of SNRk,1subscriptSNR𝑘1\text{SNR}_{k,1}SNR start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT defined in (11) with respect to 𝚪R,k,1subscript𝚪R𝑘1\boldsymbol{\Gamma}_{\text{R},k,1}bold_Γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT, which directly enhances sensing capability by resulting in a lower PCRB. To this aim, it is convenient to observe that |𝐚DCMH(𝐮k)𝚪R,k,1𝐚DCM(𝐮k)|2=|𝜶DCMH(𝜾k)𝜸R,k,1|2superscriptsuperscriptsubscript𝐚DCMHsubscript𝐮𝑘subscript𝚪R𝑘1subscript𝐚DCMsubscript𝐮𝑘2superscriptsuperscriptsubscript𝜶DCMHsubscript𝜾𝑘subscript𝜸R𝑘12\big{|}{\mathbf{a}}_{\text{DCM}}^{\text{H}}(-{\mathbf{u}}_{k})\,\boldsymbol{% \Gamma}_{\text{R},k,1}\,{\mathbf{a}}_{\text{DCM}}({\mathbf{u}}_{k})\big{|}^{2}% =\big{|}\boldsymbol{\alpha}_{\text{DCM}}^{\text{H}}(\boldsymbol{\iota}_{k})\,% \boldsymbol{\gamma}_{\text{R},k,1}\big{|}^{2}| bold_a start_POSTSUBSCRIPT DCM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT H end_POSTSUPERSCRIPT ( - bold_u start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) bold_Γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT bold_a start_POSTSUBSCRIPT DCM end_POSTSUBSCRIPT ( bold_u start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = | bold_italic_α start_POSTSUBSCRIPT DCM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT H end_POSTSUPERSCRIPT ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) bold_italic_γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, where

𝜶DCM(𝜾k)[ej 2𝐤T(𝜾k)𝐩1,ej 2𝐤T(𝜾k)𝐩2,,ej 2𝐤T(𝜾k)𝐩L]TL,subscript𝜶DCMsubscript𝜾𝑘superscriptsuperscript𝑒𝑗2superscript𝐤Tsubscript𝜾𝑘subscript𝐩1superscript𝑒𝑗2superscript𝐤Tsubscript𝜾𝑘subscript𝐩2superscript𝑒𝑗2superscript𝐤Tsubscript𝜾𝑘subscript𝐩𝐿Tsuperscript𝐿\boldsymbol{\alpha}_{\text{DCM}}(\boldsymbol{\iota}_{k})\triangleq[e^{-j\,2\,{% \mathbf{k}}^{\text{T}}(\boldsymbol{\iota}_{k})\,{\mathbf{p}}_{1}},e^{-j\,2\,{% \mathbf{k}}^{\text{T}}(\boldsymbol{\iota}_{k})\,{\mathbf{p}}_{2}},\ldots,e^{-j% \,2\,{\mathbf{k}}^{\text{T}}(\boldsymbol{\iota}_{k})\,{\mathbf{p}}_{L}}]^{% \text{T}}\in\mathbb{C}^{L},bold_italic_α start_POSTSUBSCRIPT DCM end_POSTSUBSCRIPT ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ≜ [ italic_e start_POSTSUPERSCRIPT - italic_j 2 bold_k start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , italic_e start_POSTSUPERSCRIPT - italic_j 2 bold_k start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) bold_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , … , italic_e start_POSTSUPERSCRIPT - italic_j 2 bold_k start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) bold_p start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT ∈ blackboard_C start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT , (14)

with 𝐤(𝜾k)=2πλ0𝐮k𝐤subscript𝜾𝑘2𝜋subscript𝜆0subscript𝐮𝑘{\mathbf{k}}(\boldsymbol{\iota}_{k})=\frac{2\pi}{\lambda_{0}}\,{\mathbf{u}}_{k}bold_k ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) = divide start_ARG 2 italic_π end_ARG start_ARG italic_λ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG bold_u start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT representing the wavevector (λ0subscript𝜆0\lambda_{0}italic_λ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the wavelength corresponding to the carrier frequency f0subscript𝑓0f_{0}italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT) and 𝐩subscript𝐩{\mathbf{p}}_{\ell}bold_p start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT denoting the spatial location of the \ellroman_ℓ-th element of the DCM. The Cauchy-Schwarz inequality implies that |𝜶DCMH(𝜾k)𝜸R,k,1|2superscriptsuperscriptsubscript𝜶DCMHsubscript𝜾𝑘subscript𝜸R𝑘12\big{|}\boldsymbol{\alpha}_{\text{DCM}}^{\text{H}}(\boldsymbol{\iota}_{k})\,% \boldsymbol{\gamma}_{\text{R},k,1}\big{|}^{2}| bold_italic_α start_POSTSUBSCRIPT DCM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT H end_POSTSUPERSCRIPT ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) bold_italic_γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is maximized when 𝜸R,k,1=λk𝜶DCM(𝜾k)subscript𝜸R𝑘1subscript𝜆𝑘subscript𝜶DCMsubscript𝜾𝑘\boldsymbol{\gamma}_{\text{R},k,1}=\sqrt{\lambda_{k}}\,\boldsymbol{\alpha}_{% \text{DCM}}(\boldsymbol{\iota}_{k})bold_italic_γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT = square-root start_ARG italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_ARG bold_italic_α start_POSTSUBSCRIPT DCM end_POSTSUBSCRIPT ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) for some 0<λk10subscript𝜆𝑘10<\lambda_{k}\leq 10 < italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ≤ 1, and its maximum value is L2superscript𝐿2L^{2}italic_L start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Hence, achieving the maximum SNR during the first sub-slot of the k𝑘kitalic_k-th slot involves ensuring that: (i) the phase of the \ellroman_ℓ-th reflection coefficient satisfies γR,k,1()=2𝐤T(𝜾k)𝐩superscriptsubscript𝛾R𝑘12superscript𝐤Tsubscript𝜾𝑘subscript𝐩\measuredangle\gamma_{\text{R},k,1}^{(\ell)}=-2\,{\mathbf{k}}^{\text{T}}(% \boldsymbol{\iota}_{k})\,{\mathbf{p}}_{\ell}∡ italic_γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT = - 2 bold_k start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) bold_p start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT; (ii) all the reflection coefficients of the DCM have the same magnitude, i.e., |γR,k,1()|2=λksuperscriptsuperscriptsubscript𝛾R𝑘12subscript𝜆𝑘\big{|}\gamma_{\text{R},k,1}^{(\ell)}\big{|}^{2}=\lambda_{k}| italic_γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, for each {1,2,,L}12𝐿\ell\in\{1,2,\ldots,L\}roman_ℓ ∈ { 1 , 2 , … , italic_L }. Since the prediction 𝜾^k|k1subscript^𝜾conditional𝑘𝑘1\widehat{\boldsymbol{\iota}}_{k\,|\,k-1}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT is only available at the beginning of the k𝑘kitalic_k-th time slot, the vector 𝜸R,k,1subscript𝜸R𝑘1\boldsymbol{\gamma}_{\text{R},k,1}bold_italic_γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT is designed by exploiting this predicted result, thus obtaining

𝜸R,k,1=λk𝜶DCM(𝜾^k|k1),subscript𝜸R𝑘1subscript𝜆𝑘subscript𝜶DCMsubscript^𝜾conditional𝑘𝑘1\boldsymbol{\gamma}_{\text{R},k,1}=\sqrt{\lambda_{k}}\,\boldsymbol{\alpha}_{% \text{DCM}}(\widehat{\boldsymbol{\iota}}_{k\,|\,k-1}),bold_italic_γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT = square-root start_ARG italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_ARG bold_italic_α start_POSTSUBSCRIPT DCM end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT ) , (15)

whose corresponding SNR can be derived from (11) as follows:

SNRk,1max=λk𝒫R,k|𝒢k,1Sens-Rx|2|𝒢k,1DCM|2|𝒢k,1Comms-Tx|2σwR2,superscriptsubscriptSNR𝑘1maxsubscript𝜆𝑘subscript𝒫R𝑘superscriptsuperscriptsubscript𝒢𝑘1Sens-Rx2superscriptsuperscriptsubscript𝒢𝑘1DCM2superscriptsuperscriptsubscript𝒢𝑘1Comms-Tx2superscriptsubscript𝜎subscript𝑤R2\text{SNR}_{k,1}^{\text{max}}=\frac{\lambda_{k}\,\mathcal{P}_{\text{R},k}\,% \big{|}\mathcal{G}_{k,1}^{\text{Sens-Rx}}\big{|}^{2}\,\big{|}\mathcal{G}_{k,1}% ^{\text{DCM}}\big{|}^{2}\,\big{|}\mathcal{G}_{k,1}^{\text{Comms-Tx}}\big{|}^{2% }}{\sigma_{w_{\text{R}}}^{2}},SNR start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT = divide start_ARG italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT caligraphic_P start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT | caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Sens-Rx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT DCM end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Comms-Tx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_σ start_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT R end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (16)

where |𝒢k,1DCM|2=|𝜶DCMH(𝜾k)𝜶DCM(𝜾^k|k1)|2superscriptsuperscriptsubscript𝒢𝑘1DCM2superscriptsuperscriptsubscript𝜶DCMHsubscript𝜾𝑘subscript𝜶DCMsubscript^𝜾conditional𝑘𝑘12\big{|}\mathcal{G}_{k,1}^{\text{DCM}}\big{|}^{2}=\big{|}\boldsymbol{\alpha}_{% \text{DCM}}^{\text{H}}(\boldsymbol{\iota}_{k})\,\boldsymbol{\alpha}_{\text{DCM% }}(\widehat{\boldsymbol{\iota}}_{k\,|\,k-1})\big{|}^{2}| caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT DCM end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = | bold_italic_α start_POSTSUBSCRIPT DCM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT H end_POSTSUPERSCRIPT ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) bold_italic_α start_POSTSUBSCRIPT DCM end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is referred to as the DCM reflection gain. The design in (15) results in a DCM reflection gain loss of L2|𝒢k,1DCM|2superscript𝐿2superscriptsuperscriptsubscript𝒢𝑘1DCM2L^{2}-\big{|}\mathcal{G}_{k,1}^{\text{DCM}}\big{|}^{2}italic_L start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - | caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT DCM end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, which decreases with increasing prediction accuracy, i.e., as 𝜾^k|k1𝜾ksubscript^𝜾conditional𝑘𝑘1subscript𝜾𝑘\widehat{\boldsymbol{\iota}}_{k\,|\,k-1}\to\boldsymbol{\iota}_{k}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT → bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT. The continuous phases in (15) are subject to a quantization process that transforms each γR,k,1()=2𝐤T(𝜾^k|k1)𝐩superscriptsubscript𝛾R𝑘12superscript𝐤Tsubscript^𝜾conditional𝑘𝑘1subscript𝐩\measuredangle\gamma_{\text{R},k,1}^{(\ell)}=-2\,{\mathbf{k}}^{\text{T}}(% \widehat{\boldsymbol{\iota}}_{k\,|\,k-1})\,{\mathbf{p}}_{\ell}∡ italic_γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT = - 2 bold_k start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT ( over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT ) bold_p start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT into one of a finite set RsubscriptR\mathcal{F}_{\text{R}}caligraphic_F start_POSTSUBSCRIPT R end_POSTSUBSCRIPT of prescribed values (based on the digital code used for encoding the reflected phases). The DCM reflection gain loss due to the quantization error can be mitigated by employing a set RsubscriptR\mathcal{F}_{\text{R}}caligraphic_F start_POSTSUBSCRIPT R end_POSTSUBSCRIPT with a sufficiently large cardinality, and it is neglected in the subsequent discussion.

Enforcing both the power conservation constraint |γT,k,1()|2+|γR,k,1()|2=1superscriptsuperscriptsubscript𝛾T𝑘12superscriptsuperscriptsubscript𝛾R𝑘121\big{|}\gamma_{\text{T},k,1}^{(\ell)}\big{|}^{2}+\big{|}\gamma_{\text{R},k,1}^% {(\ell)}\big{|}^{2}=1| italic_γ start_POSTSUBSCRIPT T , italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + | italic_γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 and the condition |γR,k,1()|2=λksuperscriptsuperscriptsubscript𝛾R𝑘12subscript𝜆𝑘\big{|}\gamma_{\text{R},k,1}^{(\ell)}\big{|}^{2}=\lambda_{k}| italic_γ start_POSTSUBSCRIPT R , italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, it follows that, during the first sub-slot of the k𝑘kitalic_k-th slot, the transmission coefficients of the DCM also share the same magnitude, i.e., |γT,k,1()|2=1λksuperscriptsuperscriptsubscript𝛾T𝑘121subscript𝜆𝑘\big{|}\gamma_{\text{T},k,1}^{(\ell)}\big{|}^{2}=1-\lambda_{k}| italic_γ start_POSTSUBSCRIPT T , italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 - italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, for any element index {1,2,,L}12𝐿\ell\in\{1,2,\ldots,L\}roman_ℓ ∈ { 1 , 2 , … , italic_L }. Applying similar reasoning as in (15), the corresponding phases that maximize |𝐜kT𝚪T,k,1𝐚DCM(𝜾k)|2superscriptsuperscriptsubscript𝐜𝑘Tsubscript𝚪T𝑘1subscript𝐚DCMsubscript𝜾𝑘2\big{|}{\mathbf{c}}_{k}^{\text{T}}\,\boldsymbol{\Gamma}_{\text{T},k,1}\,{% \mathbf{a}}_{\text{DCM}}(\boldsymbol{\iota}_{k})\big{|}^{2}| bold_c start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT bold_Γ start_POSTSUBSCRIPT T , italic_k , 1 end_POSTSUBSCRIPT bold_a start_POSTSUBSCRIPT DCM end_POSTSUBSCRIPT ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT in (12), with 𝜾ksubscript𝜾𝑘\boldsymbol{\iota}_{k}bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT replaced by 𝜾^k|k1subscript^𝜾conditional𝑘𝑘1\widehat{\boldsymbol{\iota}}_{k\,|\,k-1}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT, are given by

γT,k,1()=𝐤T(𝜾^k|k1)𝐩ck,.superscriptsubscript𝛾T𝑘1superscript𝐤Tsubscript^𝜾conditional𝑘𝑘1subscript𝐩subscript𝑐𝑘\measuredangle\gamma_{\text{T},k,1}^{(\ell)}=-\,{\mathbf{k}}^{\text{T}}(% \widehat{\boldsymbol{\iota}}_{k\,|\,k-1})\,{\mathbf{p}}_{\ell}-\measuredangle c% _{k,\ell}\>.∡ italic_γ start_POSTSUBSCRIPT T , italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT = - bold_k start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT ( over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT ) bold_p start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT - ∡ italic_c start_POSTSUBSCRIPT italic_k , roman_ℓ end_POSTSUBSCRIPT . (17)

Similarly, during the second sub-slot of the k𝑘kitalic_k-th slot, optimizing the rate (13) amounts to maximizing |𝐜kT𝚪T,k,2𝐚DCM(𝜾k)|2superscriptsuperscriptsubscript𝐜𝑘Tsubscript𝚪T𝑘2subscript𝐚DCMsubscript𝜾𝑘2\big{|}{\mathbf{c}}_{k}^{\text{T}}\,\boldsymbol{\Gamma}_{\text{T},k,2}\,{% \mathbf{a}}_{\text{DCM}}(\boldsymbol{\iota}_{k})\big{|}^{2}| bold_c start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT bold_Γ start_POSTSUBSCRIPT T , italic_k , 2 end_POSTSUBSCRIPT bold_a start_POSTSUBSCRIPT DCM end_POSTSUBSCRIPT ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, with 𝜾ksubscript𝜾𝑘\boldsymbol{\iota}_{k}bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT replaced by 𝜾^ksubscript^𝜾𝑘\widehat{\boldsymbol{\iota}}_{k}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT. To do this, the transmission coefficients of the DCM are refined by setting |γT,k,2()|2=1superscriptsuperscriptsubscript𝛾T𝑘221\big{|}\gamma_{\text{T},k,2}^{(\ell)}\big{|}^{2}=1| italic_γ start_POSTSUBSCRIPT T , italic_k , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 and

γT,k,2()=𝐤T(𝜾^k)𝐩ck,superscriptsubscript𝛾T𝑘2superscript𝐤Tsubscript^𝜾𝑘subscript𝐩subscript𝑐𝑘\measuredangle\gamma_{\text{T},k,2}^{(\ell)}=-\,{\mathbf{k}}^{\text{T}}(% \widehat{\boldsymbol{\iota}}_{k})\,{\mathbf{p}}_{\ell}-\measuredangle c_{k,\ell}∡ italic_γ start_POSTSUBSCRIPT T , italic_k , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT = - bold_k start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT ( over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) bold_p start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT - ∡ italic_c start_POSTSUBSCRIPT italic_k , roman_ℓ end_POSTSUBSCRIPT (18)

for each {1,2,,L}12𝐿\ell\in\{1,2,\ldots,L\}roman_ℓ ∈ { 1 , 2 , … , italic_L }. Both (17) and (18) must be quantized to the feasible set TsubscriptT\mathcal{F}_{\text{T}}caligraphic_F start_POSTSUBSCRIPT T end_POSTSUBSCRIPT of values for the transmission-coefficient phases (depending on the digital codes used for encoding the transmitted phases). By substituting (17)–(18) in (12)–(13) and neglecting quantization effects (a reasonable assumption for a sufficiently large cardinality of TsubscriptT\mathcal{F}_{\text{T}}caligraphic_F start_POSTSUBSCRIPT T end_POSTSUBSCRIPT), we obtain

k,1maxsuperscriptsubscript𝑘1max\displaystyle\mathcal{R}_{k,1}^{\text{max}}caligraphic_R start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT =log2(1+(1λk)𝒫T,k|𝒢k,1Comms-Rx|2|𝒢k,1Comms-Tx|2σwT2),absentsubscript211subscript𝜆𝑘subscript𝒫T𝑘superscriptsuperscriptsubscript𝒢𝑘1Comms-Rx2superscriptsuperscriptsubscript𝒢𝑘1Comms-Tx2superscriptsubscript𝜎subscript𝑤T2\displaystyle=\log_{2}\left(1+\frac{(1-\lambda_{k})\,\mathcal{P}_{\text{T},k}% \,\big{|}\mathcal{G}_{k,1}^{\text{Comms-Rx}}\big{|}^{2}\,\big{|}\mathcal{G}_{k% ,1}^{\text{Comms-Tx}}\big{|}^{2}}{\sigma_{w_{\text{T}}}^{2}}\right),= roman_log start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( 1 + divide start_ARG ( 1 - italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) caligraphic_P start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT | caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Comms-Rx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Comms-Tx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_σ start_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT T end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) , (19)
k,2maxsuperscriptsubscript𝑘2max\displaystyle\mathcal{R}_{k,2}^{\text{max}}caligraphic_R start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT =log2(1+𝒫T,k|𝒢k,2Comms-Rx|2|𝒢k,2Comms-Tx|2σwT2),absentsubscript21subscript𝒫T𝑘superscriptsuperscriptsubscript𝒢𝑘2Comms-Rx2superscriptsuperscriptsubscript𝒢𝑘2Comms-Tx2superscriptsubscript𝜎subscript𝑤T2\displaystyle=\log_{2}\left(1+\frac{\mathcal{P}_{\text{T},k}\,\big{|}\mathcal{% G}_{k,2}^{\text{Comms-Rx}}\big{|}^{2}\,\big{|}\mathcal{G}_{k,2}^{\text{Comms-% Tx}}\big{|}^{2}}{\sigma_{w_{\text{T}}}^{2}}\right),= roman_log start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( 1 + divide start_ARG caligraphic_P start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT | caligraphic_G start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Comms-Rx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | caligraphic_G start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Comms-Tx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_σ start_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT T end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) , (20)

where |𝒢k,1Comms-Rx|2=|Υk(𝜾^k|k1)|2superscriptsuperscriptsubscript𝒢𝑘1Comms-Rx2superscriptsubscriptΥ𝑘subscript^𝜾conditional𝑘𝑘12\big{|}\mathcal{G}_{k,1}^{\text{Comms-Rx}}\big{|}^{2}=\big{|}\Upsilon_{k}(% \widehat{\boldsymbol{\iota}}_{k\,|\,k-1})\big{|}^{2}| caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Comms-Rx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = | roman_Υ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and |𝒢k,2Comms-Rx|2=|Υk(𝜾^k)|2superscriptsuperscriptsubscript𝒢𝑘2Comms-Rx2superscriptsubscriptΥ𝑘subscript^𝜾𝑘2\big{|}\mathcal{G}_{k,2}^{\text{Comms-Rx}}\big{|}^{2}=\big{|}\Upsilon_{k}(% \widehat{\boldsymbol{\iota}}_{k})\big{|}^{2}| caligraphic_G start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Comms-Rx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = | roman_Υ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT define the receive gains at the Comms Rx, with Υk(ϑ)=1L|ck,|ej[𝐤(𝜾k)𝐤(ϑ)]T𝐩subscriptΥ𝑘bold-italic-ϑsuperscriptsubscript1𝐿subscript𝑐𝑘superscript𝑒𝑗superscriptdelimited-[]𝐤subscript𝜾𝑘𝐤bold-italic-ϑTsubscript𝐩\Upsilon_{k}(\boldsymbol{\vartheta})\triangleq\sum_{\ell=1}^{L}|c_{k,\ell}|\,e% ^{j\,[{\mathbf{k}}(\boldsymbol{\iota}_{k})-{\mathbf{k}}(\boldsymbol{\vartheta}% )]^{\text{T}}\,{\mathbf{p}}_{\ell}}roman_Υ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( bold_italic_ϑ ) ≜ ∑ start_POSTSUBSCRIPT roman_ℓ = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT | italic_c start_POSTSUBSCRIPT italic_k , roman_ℓ end_POSTSUBSCRIPT | italic_e start_POSTSUPERSCRIPT italic_j [ bold_k ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) - bold_k ( bold_italic_ϑ ) ] start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT bold_p start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT for ϑ{𝜾^k|k1,𝜾^k}bold-italic-ϑsubscript^𝜾conditional𝑘𝑘1subscript^𝜾𝑘\boldsymbol{\vartheta}\in\{\widehat{\boldsymbol{\iota}}_{k\,|\,k-1},\widehat{% \boldsymbol{\iota}}_{k}\}bold_italic_ϑ ∈ { over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT , over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT }.

The optimization framework developed here operates under the assumption that the predicted direction 𝜾^k|k1subscript^𝜾conditional𝑘𝑘1\widehat{\boldsymbol{\iota}}_{k\,|\,k-1}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT is known to the STAR-DCM at the beginning of the k𝑘kitalic_k-th time slot. This assumption underpins all studies addressing the optimization of the response of DCMs in wireless systems, where a control channel between the optimizing entity and the DCMs is typically advocated. Hence, it is not a critical assumption unique to STAR-DCMs.

V-B Entanglement and trade-off relationship

A thorough evaluation of the overall communication performance requires considering the sum rate k=ρkk,1max+(1ρk)k,2maxsubscript𝑘subscript𝜌𝑘superscriptsubscript𝑘1max1subscript𝜌𝑘superscriptsubscript𝑘2max\mathcal{R}_{k}=\rho_{k}\,\mathcal{R}_{k,1}^{\text{max}}+(1-\rho_{k})\,% \mathcal{R}_{k,2}^{\text{max}}caligraphic_R start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT caligraphic_R start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT + ( 1 - italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) caligraphic_R start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT, where ρk=IISAC,kTu/ΔT(0,1]subscript𝜌𝑘subscript𝐼ISAC𝑘subscript𝑇uΔ𝑇01\rho_{k}=I_{\text{ISAC},k}\,T_{\text{u}}/\Delta T\in(0,1]italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = italic_I start_POSTSUBSCRIPT ISAC , italic_k end_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT u end_POSTSUBSCRIPT / roman_Δ italic_T ∈ ( 0 , 1 ] is the fraction of the k𝑘kitalic_k-th slot dedicated to ISAC and, consequently, 1ρk=IC,kTu/ΔT1subscript𝜌𝑘subscript𝐼C𝑘subscript𝑇uΔ𝑇1-\rho_{k}=I_{\text{C},k}\,T_{\text{u}}/\Delta T1 - italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = italic_I start_POSTSUBSCRIPT C , italic_k end_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT u end_POSTSUBSCRIPT / roman_Δ italic_T is the fraction of the slot duration exclusively allocated to communication.

The performance metrics ksubscript𝑘\mathcal{R}_{k}caligraphic_R start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT and SNRk,1maxsuperscriptsubscriptSNR𝑘1max\text{SNR}_{k,1}^{\text{max}}SNR start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT given by (16) exhibit a complex interdepencence among the optimization variables: ρksubscript𝜌𝑘\rho_{k}italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT (i.e., time splitting between ISAC and communication-only sub-slots) and λksubscript𝜆𝑘\lambda_{k}italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT (i.e., energy splitting between reflection and transmission), the predicted direction from the previous time slot (i.e., 𝜾^k|k1subscript^𝜾conditional𝑘𝑘1\widehat{\boldsymbol{\iota}}_{k\,|\,k-1}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT), the fine estimated direction from the current time slot (i.e., 𝜾^ksubscript^𝜾𝑘\widehat{\boldsymbol{\iota}}_{k}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT), and the true direction (i.e., 𝜾ksubscript𝜾𝑘\boldsymbol{\iota}_{k}bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT). Specifically, 𝜾^k|k1subscript^𝜾conditional𝑘𝑘1\widehat{\boldsymbol{\iota}}_{k\,|\,k-1}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT has been determined in the (k1)𝑘1(k-1)( italic_k - 1 )-th slot and it is assumed to be given for optimization in the k𝑘kitalic_k-th slot. Meanwhile, 𝜾^ksubscript^𝜾𝑘\widehat{\boldsymbol{\iota}}_{k}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT depends on both ρksubscript𝜌𝑘\rho_{k}italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT and λksubscript𝜆𝑘\lambda_{k}italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT: the sensing PCRB is inversely proportional to the time splitting variable ρksubscript𝜌𝑘\rho_{k}italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, determining the number of samples of the reflected signal processed by the target state estimator, and to the energy splitting variable λksubscript𝜆𝑘\lambda_{k}italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT related to SNRk,1maxsuperscriptsubscriptSNR𝑘1max\text{SNR}_{k,1}^{\text{max}}SNR start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT. Moreover, 𝜾ksubscript𝜾𝑘\boldsymbol{\iota}_{k}bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is unknown at the ISAC transceiver.

At this point, we are in the position to anticipate a fundamental trade-off between sensing and communication performance (see also Subsection V-C). When the error 𝜾^k𝜾k2subscriptnormsubscript^𝜾𝑘subscript𝜾𝑘2\|\widehat{\boldsymbol{\iota}}_{k}-\boldsymbol{\iota}_{k}\|_{2}∥ over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT - bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT is sufficiently small, it is apparent that k,2ma>k,1maxsuperscriptsubscript𝑘2masuperscriptsubscript𝑘1max\mathcal{R}_{k,2}^{\text{ma}}>\mathcal{R}_{k,1}^{\text{max}}caligraphic_R start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ma end_POSTSUPERSCRIPT > caligraphic_R start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT. This is because the communication process in the second sub-slot benefits from an accurate estimate of the target direction and |γT,k,2()|>|γT,k,1()|superscriptsubscript𝛾T𝑘2superscriptsubscript𝛾T𝑘1\big{|}\gamma_{\text{T},k,2}^{(\ell)}\big{|}>\big{|}\gamma_{\text{T},k,1}^{(% \ell)}\big{|}| italic_γ start_POSTSUBSCRIPT T , italic_k , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT | > | italic_γ start_POSTSUBSCRIPT T , italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_ℓ ) end_POSTSUPERSCRIPT |, for each {1,2,,L}12𝐿\ell\in\{1,2,\ldots,L\}roman_ℓ ∈ { 1 , 2 , … , italic_L }. In this case, ρksubscript𝜌𝑘\rho_{k}italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is chosen as small as possible to allocate a longer time duration to the communication-only sub-slot. However, an excessively small ρksubscript𝜌𝑘\rho_{k}italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT may lead to tracking failure, resulting in a poor estimate 𝜾^ksubscript^𝜾𝑘\widehat{\boldsymbol{\iota}}_{k}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT of the true direction 𝜾ksubscript𝜾𝑘\boldsymbol{\iota}_{k}bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, which in its turn implies that the rate k,2maxsuperscriptsubscript𝑘2max\mathcal{R}_{k,2}^{\text{max}}caligraphic_R start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT tends to zero.

V-C Optimization of the time and energy splitting variables

To disentangle the intricate interplay among optimization variables and derive a practically realizable design that clearly enlightens the trade-off between time and energy splitting, a simple approach is followed, leveraging on the angular resolvability of the arrays and DCM.

Given that the STAR-DCM and the Comms Rx communicate within a short distance inside the mobile target, the approximation of |ck,|subscript𝑐𝑘|c_{k,\ell}|| italic_c start_POSTSUBSCRIPT italic_k , roman_ℓ end_POSTSUBSCRIPT | with its mean value μck𝔼[|ck,|]subscript𝜇subscript𝑐𝑘𝔼delimited-[]subscript𝑐𝑘\mu_{c_{k}}\triangleq{\mathbb{E}}[|c_{k,\ell}|]italic_μ start_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≜ blackboard_E [ | italic_c start_POSTSUBSCRIPT italic_k , roman_ℓ end_POSTSUBSCRIPT | ] is reasonable. This mean value is assumed to remain relatively constant across DCM elements. Consequently, we might use the approximation Υk(ϑ)μck=1Lej[𝐤(𝜾k)𝐤(ϑ)]T𝐩subscriptΥ𝑘bold-italic-ϑsubscript𝜇subscript𝑐𝑘superscriptsubscript1𝐿superscript𝑒𝑗superscriptdelimited-[]𝐤subscript𝜾𝑘𝐤bold-italic-ϑTsubscript𝐩\Upsilon_{k}(\boldsymbol{\vartheta})\approx\mu_{c_{k}}\sum_{\ell=1}^{L}e^{j\,[% {\mathbf{k}}(\boldsymbol{\iota}_{k})-{\mathbf{k}}(\boldsymbol{\vartheta})]^{% \text{T}}\,{\mathbf{p}}_{\ell}}roman_Υ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( bold_italic_ϑ ) ≈ italic_μ start_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT roman_ℓ = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_j [ bold_k ( bold_italic_ι start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) - bold_k ( bold_italic_ϑ ) ] start_POSTSUPERSCRIPT T end_POSTSUPERSCRIPT bold_p start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT in (19) and (20).

Let 𝒜k,1subscript𝒜𝑘1\mathcal{A}_{k,1}caligraphic_A start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT denote the event when the predicted direction 𝜾^k|k1subscript^𝜾conditional𝑘𝑘1\widehat{\boldsymbol{\iota}}_{k\,|\,k-1}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT is such that the errors |θ^k|k1θk|subscript^𝜃conditional𝑘𝑘1subscript𝜃𝑘\left|\widehat{\theta}_{k\,|\,k-1}-\theta_{k}\right|| over^ start_ARG italic_θ end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT - italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT | and |ϕ^k|k1ϕk|subscript^italic-ϕconditional𝑘𝑘1subscriptitalic-ϕ𝑘\left|\widehat{\phi}_{k\,|\,k-1}-\phi_{k}\right|| over^ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT - italic_ϕ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT | fall within the half-power beamwidth (HPBW) lobe [38] of the Comms Tx and Sens Rx (it inversely related to length of the array), as well as the HPBW lobe of the DCM (it is inversely related to the horizontal and vertical lengths of the DCM). If 𝒜k,1subscript𝒜𝑘1\mathcal{A}_{k,1}caligraphic_A start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT occurs, then the prediction error is below the resolution capability of the arrays and DCM in the angular domain and, hence, we may assume that |𝒢k,1Comms-Tx|2Nsuperscriptsuperscriptsubscript𝒢𝑘1Comms-Tx2𝑁\big{|}\mathcal{G}_{k,1}^{\text{Comms-Tx}}\big{|}^{2}\approx N| caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Comms-Tx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ italic_N, |𝒢k,1Sens-Rx|2Msuperscriptsuperscriptsubscript𝒢𝑘1Sens-Rx2𝑀\big{|}\mathcal{G}_{k,1}^{\text{Sens-Rx}}\big{|}^{2}\approx M| caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Sens-Rx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ italic_M, |𝒢k,1DCM|2L2superscriptsuperscriptsubscript𝒢𝑘1DCM2superscript𝐿2\big{|}\mathcal{G}_{k,1}^{\text{DCM}}\big{|}^{2}\approx L^{2}| caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT DCM end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ italic_L start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT in (16), and |𝒢k,1Comms-Rx|2μckL2superscriptsuperscriptsubscript𝒢𝑘1Comms-Rx2subscript𝜇subscript𝑐𝑘superscript𝐿2\big{|}\mathcal{G}_{k,1}^{\text{Comms-Rx}}\big{|}^{2}\approx\mu_{c_{k}}\,L^{2}| caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Comms-Rx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ italic_μ start_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_L start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT in (19). On the other hand if the complement 𝒜k,1csuperscriptsubscript𝒜𝑘1c\mathcal{A}_{k,1}^{\text{c}}caligraphic_A start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT c end_POSTSUPERSCRIPT of the event 𝒜k,1subscript𝒜𝑘1\mathcal{A}_{k,1}caligraphic_A start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT occurs, we might keep |𝒢k,1Comms-Tx|2|𝒢k,1Sens-Rx|2|𝒢k,1DCM|2|𝒢k,1Comms-Rx|20superscriptsuperscriptsubscript𝒢𝑘1Comms-Tx2superscriptsuperscriptsubscript𝒢𝑘1Sens-Rx2superscriptsuperscriptsubscript𝒢𝑘1DCM2superscriptsuperscriptsubscript𝒢𝑘1Comms-Rx20\big{|}\mathcal{G}_{k,1}^{\text{Comms-Tx}}\big{|}^{2}\approx\big{|}\mathcal{G}% _{k,1}^{\text{Sens-Rx}}\big{|}^{2}\approx\big{|}\mathcal{G}_{k,1}^{\text{DCM}}% \big{|}^{2}\approx\big{|}\mathcal{G}_{k,1}^{\text{Comms-Rx}}\big{|}^{2}\approx 0| caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Comms-Tx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ | caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Sens-Rx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ | caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT DCM end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ | caligraphic_G start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT Comms-Rx end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ 0. As a consequence, by invoking the law of total expectation, the average value of the SNR in (16) and the rate in (19) can be approximated as follows:

SNR¯k,1max𝔼[SNRk,1max]superscriptsubscript¯SNR𝑘1max𝔼delimited-[]superscriptsubscriptSNR𝑘1max\displaystyle\overline{\text{SNR}}_{k,1}^{\text{max}}\triangleq{\mathbb{E}}[% \text{SNR}_{k,1}^{\text{max}}]over¯ start_ARG SNR end_ARG start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT ≜ blackboard_E [ SNR start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT ] λk[𝒜k,1]𝒞R,k,absentsubscript𝜆𝑘delimited-[]subscript𝒜𝑘1subscript𝒞R𝑘\displaystyle\approx\lambda_{k}\,{\mathbb{P}}[\mathcal{A}_{k,1}]\,\mathcal{C}_% {\text{R},k},≈ italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT blackboard_P [ caligraphic_A start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT ] caligraphic_C start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT , (21)
¯k,1max𝔼[k,1max]superscriptsubscript¯𝑘1max𝔼delimited-[]superscriptsubscript𝑘1max\displaystyle\overline{\mathcal{R}}_{k,1}^{\text{max}}\triangleq{\mathbb{E}}[% \mathcal{R}_{k,1}^{\text{max}}]over¯ start_ARG caligraphic_R end_ARG start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT ≜ blackboard_E [ caligraphic_R start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT ] [𝒜k,1]log2(1+(1λk)𝒞T,k),absentdelimited-[]subscript𝒜𝑘1subscript211subscript𝜆𝑘subscript𝒞T𝑘\displaystyle\approx{\mathbb{P}}[\mathcal{A}_{k,1}]\,\log_{2}\Big{(}1+(1-% \lambda_{k})\,\mathcal{C}_{\text{T},k}\Big{)},≈ blackboard_P [ caligraphic_A start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT ] roman_log start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( 1 + ( 1 - italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) caligraphic_C start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT ) , (22)

where the ensemble average is taken with respect to 𝜾^k|k1subscript^𝜾conditional𝑘𝑘1\widehat{\boldsymbol{\iota}}_{k\,|\,k-1}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT, []delimited-[]{\mathbb{P}}[\cdot]blackboard_P [ ⋅ ] denotes the probability of occurrence of the event that appears inside the square brackets, and we have defined the constants 𝒞R,k𝒫R,kNML2/σwR2subscript𝒞R𝑘subscript𝒫R𝑘𝑁𝑀superscript𝐿2superscriptsubscript𝜎subscript𝑤R2\mathcal{C}_{\text{R},k}\triangleq\mathcal{P}_{\text{R},k}\,N\,M\,L^{2}/\sigma% _{w_{\text{R}}}^{2}caligraphic_C start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ≜ caligraphic_P start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT italic_N italic_M italic_L start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_σ start_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT R end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and 𝒞T,kμck𝒫T,kNL2/σwT2subscript𝒞T𝑘subscript𝜇subscript𝑐𝑘subscript𝒫T𝑘𝑁superscript𝐿2superscriptsubscript𝜎subscript𝑤T2\mathcal{C}_{\text{T},k}\triangleq\mu_{c_{k}}\,\mathcal{P}_{\text{T},k}\,N\,L^% {2}/\sigma_{w_{\text{T}}}^{2}caligraphic_C start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT ≜ italic_μ start_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT caligraphic_P start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT italic_N italic_L start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_σ start_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT T end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. It should be observed that [𝒜k,1]delimited-[]subscript𝒜𝑘1{\mathbb{P}}[\mathcal{A}_{k,1}]blackboard_P [ caligraphic_A start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT ] is independent of ρksubscript𝜌𝑘\rho_{k}italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT and λksubscript𝜆𝑘\lambda_{k}italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, since 𝜾^k|k1subscript^𝜾conditional𝑘𝑘1\widehat{\boldsymbol{\iota}}_{k\,|\,k-1}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT has been derived in the previous slot.

Applying the previous arguments to the second sub-slot, let 𝒜k,2subscript𝒜𝑘2\mathcal{A}_{k,2}caligraphic_A start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT denote the event when the estimated direction 𝜾^ksubscript^𝜾𝑘\widehat{\boldsymbol{\iota}}_{k}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is such that the errors |θ^kθk|subscript^𝜃𝑘subscript𝜃𝑘\left|\widehat{\theta}_{k}-\theta_{k}\right|| over^ start_ARG italic_θ end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT - italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT | and |ϕ^kϕk|subscript^italic-ϕ𝑘subscriptitalic-ϕ𝑘\left|\widehat{\phi}_{k}-\phi_{k}\right|| over^ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT - italic_ϕ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT | fall within the HPBW lobe of the Comms Tx and DCM, given 𝜾^k|k1subscript^𝜾conditional𝑘𝑘1\widehat{\boldsymbol{\iota}}_{k\,|\,k-1}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT. The rate (20) is approximated as

¯k,2max𝔼[k,2max][𝒜k,2]log2(1+𝒞T,k),superscriptsubscript¯𝑘2max𝔼delimited-[]superscriptsubscript𝑘2maxdelimited-[]subscript𝒜𝑘2subscript21subscript𝒞T𝑘\overline{\mathcal{R}}_{k,2}^{\text{max}}\triangleq{\mathbb{E}}[\mathcal{R}_{k% ,2}^{\text{max}}]\approx{\mathbb{P}}[\mathcal{A}_{k,2}]\,\log_{2}\Big{(}1+% \mathcal{C}_{\text{T},k}\Big{)},over¯ start_ARG caligraphic_R end_ARG start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT ≜ blackboard_E [ caligraphic_R start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT ] ≈ blackboard_P [ caligraphic_A start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT ] roman_log start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( 1 + caligraphic_C start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT ) , (23)

which provides the best guess at k,2maxsuperscriptsubscript𝑘2max\mathcal{R}_{k,2}^{\text{max}}caligraphic_R start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT based on knowledge of 𝜾^k|k1subscript^𝜾conditional𝑘𝑘1\widehat{\boldsymbol{\iota}}_{k\,|\,k-1}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT. It should be noted that, according to Fig. 8, besides depending on the value of the predicted direction 𝜾^k|k1subscript^𝜾conditional𝑘𝑘1\widehat{\boldsymbol{\iota}}_{k\,|\,k-1}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k | italic_k - 1 end_POSTSUBSCRIPT calculated in the (k1)𝑘1(k-1)( italic_k - 1 )-th slot, the probability of 𝒜k,2subscript𝒜𝑘2\mathcal{A}_{k,2}caligraphic_A start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT is also dictated by the tracking algorithm used during the ISAC phase of the k𝑘kitalic_k-th slot. It can be shown (see, e.g., [29]) that [𝒜k,2]1delimited-[]subscript𝒜𝑘21{\mathbb{P}}[\mathcal{A}_{k,2}]\to 1blackboard_P [ caligraphic_A start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT ] → 1 whenever the PCRB of the estimates θ^ksubscript^𝜃𝑘\widehat{\theta}_{k}over^ start_ARG italic_θ end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT and ϕ^ksubscript^italic-ϕ𝑘\widehat{\phi}_{k}over^ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT becomes vanishingly small, which happens when the product ρkSNR¯k,1maxsubscript𝜌𝑘superscriptsubscript¯SNR𝑘1max\rho_{k}\,\overline{\text{SNR}}_{k,1}^{\text{max}}italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over¯ start_ARG SNR end_ARG start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT gets large.

For each time slot k𝑘kitalic_k, the optimization model is formulated as the constrained maximization of ¯k=ρk¯k,1max+(1ρk)¯k,2maxsubscript¯𝑘subscript𝜌𝑘superscriptsubscript¯𝑘1max1subscript𝜌𝑘superscriptsubscript¯𝑘2max\overline{\mathcal{R}}_{k}=\rho_{k}\,\overline{\mathcal{R}}_{k,1}^{\text{max}}% +(1-\rho_{k})\,\overline{\mathcal{R}}_{k,2}^{\text{max}}over¯ start_ARG caligraphic_R end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over¯ start_ARG caligraphic_R end_ARG start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT + ( 1 - italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) over¯ start_ARG caligraphic_R end_ARG start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT that, in light of the above remarks, simplifies as follows:

max 0<ρk1 0<λk1 ρk[𝒜k,1]log2(1+(1λk)𝒞T,k)+(1ρk)[𝒜k,2]log2(1+𝒞T,k),subscript 0<ρk1 0<λk1 subscript𝜌𝑘delimited-[]subscript𝒜𝑘1subscript211subscript𝜆𝑘subscript𝒞T𝑘1subscript𝜌𝑘delimited-[]subscript𝒜𝑘2subscript21subscript𝒞T𝑘\max_{\shortstack{\footnotesize$0<\rho_{k}\leq 1$ \\ \footnotesize$0<\lambda_{k}\leq 1$}}\,\rho_{k}\,{\mathbb{P}}[\mathcal{A}_{k,1% }]\,\log_{2}\Big{(}1+(1-\lambda_{k})\,\mathcal{C}_{\text{T},k}\Big{)}+(1-\rho_% {k})\,{\mathbb{P}}[\mathcal{A}_{k,2}]\,\log_{2}\Big{(}1+\mathcal{C}_{\text{T},% k}\Big{)},roman_max start_POSTSUBSCRIPT 0 < italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ≤ 1 0 < italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ≤ 1 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT blackboard_P [ caligraphic_A start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT ] roman_log start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( 1 + ( 1 - italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) caligraphic_C start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT ) + ( 1 - italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) blackboard_P [ caligraphic_A start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT ] roman_log start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( 1 + caligraphic_C start_POSTSUBSCRIPT T , italic_k end_POSTSUBSCRIPT ) , (24)

whose solution (ρkopt,λkopt)superscriptsubscript𝜌𝑘optsuperscriptsubscript𝜆𝑘opt(\rho_{k}^{\text{opt}},\lambda_{k}^{\text{opt}})( italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT opt end_POSTSUPERSCRIPT , italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT opt end_POSTSUPERSCRIPT ) can be obtained via a two-dimensional search over ρk(0,1]subscript𝜌𝑘01\rho_{k}\in(0,1]italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ∈ ( 0 , 1 ] and λk(0,1]subscript𝜆𝑘01\lambda_{k}\in(0,1]italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ∈ ( 0 , 1 ]. Although problem (24) does not admit a closed-form solution, it suggests interesting insights regarding the trade-off between sensing and communication.

V-C1 Poor prediction from the previous slot

When [𝒜k,1]0delimited-[]subscript𝒜𝑘10{\mathbb{P}}[\mathcal{A}_{k,1}]\to 0blackboard_P [ caligraphic_A start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT ] → 0, the first summand of the cost function in (24) becomes negligible compared to the second one and, thus, transmitting information to the Comms Rx during the first sub-slot is ineffective (in the information-theoretic sense). This mandates that λkoptsuperscriptsubscript𝜆𝑘opt\lambda_{k}^{\text{opt}}italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT opt end_POSTSUPERSCRIPT is close to 1111 as possible, i.e., the DCM operates in a totally reflective state. The corresponding optimal value of ρksubscript𝜌𝑘\rho_{k}italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is mainly influenced by [𝒜k,2]delimited-[]subscript𝒜𝑘2{\mathbb{P}}[\mathcal{A}_{k,2}]blackboard_P [ caligraphic_A start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT ]. If 𝒞R,ksubscript𝒞R𝑘\mathcal{C}_{\text{R},k}caligraphic_C start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT is sufficiently high to offset the low value of [𝒜k,1]delimited-[]subscript𝒜𝑘1{\mathbb{P}}[\mathcal{A}_{k,1}]blackboard_P [ caligraphic_A start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT ] in (21), then ρkoptsuperscriptsubscript𝜌𝑘opt\rho_{k}^{\text{opt}}italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT opt end_POSTSUPERSCRIPT approaches zero, i.e., a short sensing interval is sufficient to provide an accurate estimate 𝜾^ksubscript^𝜾𝑘\widehat{\boldsymbol{\iota}}_{k}over^ start_ARG bold_italic_ι end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT. On the other hand, if 𝒞R,ksubscript𝒞R𝑘\mathcal{C}_{\text{R},k}caligraphic_C start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT is such that SNR¯k,1max[𝒜k,1]𝒞R,k1superscriptsubscript¯SNR𝑘1maxdelimited-[]subscript𝒜𝑘1subscript𝒞R𝑘much-less-than1\overline{\text{SNR}}_{k,1}^{\text{max}}\approx{\mathbb{P}}[\mathcal{A}_{k,1}]% \,\mathcal{C}_{\text{R},k}\ll 1over¯ start_ARG SNR end_ARG start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT max end_POSTSUPERSCRIPT ≈ blackboard_P [ caligraphic_A start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT ] caligraphic_C start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ≪ 1, then ρkoptsuperscriptsubscript𝜌𝑘opt\rho_{k}^{\text{opt}}italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT opt end_POSTSUPERSCRIPT increases to reduce the PCRB of the direction estimation and, consequently, the rate ¯k0subscript¯𝑘0\overline{\mathcal{R}}_{k}\to 0over¯ start_ARG caligraphic_R end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT → 0.

V-C2 Accurate prediction from the previous slot

When [𝒜k,1]1delimited-[]subscript𝒜𝑘11{\mathbb{P}}[\mathcal{A}_{k,1}]\to 1blackboard_P [ caligraphic_A start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT ] → 1 and 𝒞R,ksubscript𝒞R𝑘\mathcal{C}_{\text{R},k}caligraphic_C start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT takes on sufficiently large values, the duration of the ISAC sub-slot tends to last a negligible portion of the k𝑘kitalic_k-th slot, i.e., ρkopt0superscriptsubscript𝜌𝑘opt0\rho_{k}^{\text{opt}}\to 0italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT opt end_POSTSUPERSCRIPT → 0. In this case, the rate is mainly dictated by the second sub-slot and λkopt1superscriptsubscript𝜆𝑘opt1\lambda_{k}^{\text{opt}}\to 1italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT opt end_POSTSUPERSCRIPT → 1 in order to increase [𝒜k,2]delimited-[]subscript𝒜𝑘2{\mathbb{P}}[\mathcal{A}_{k,2}]blackboard_P [ caligraphic_A start_POSTSUBSCRIPT italic_k , 2 end_POSTSUBSCRIPT ]. Conversely, when [𝒜k,1]1delimited-[]subscript𝒜𝑘11{\mathbb{P}}[\mathcal{A}_{k,1}]\to 1blackboard_P [ caligraphic_A start_POSTSUBSCRIPT italic_k , 1 end_POSTSUBSCRIPT ] → 1 and 𝒞R,k1much-less-thansubscript𝒞R𝑘1\mathcal{C}_{\text{R},k}\ll 1caligraphic_C start_POSTSUBSCRIPT R , italic_k end_POSTSUBSCRIPT ≪ 1, both summands of the cost function in (24) contribute to determine the optimal values of ρksubscript𝜌𝑘\rho_{k}italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT and λksubscript𝜆𝑘\lambda_{k}italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT. In this latter case, an increase in ρksubscript𝜌𝑘\rho_{k}italic_ρ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT to cut down the sensing PCRB is balanced by a reduction in λksubscript𝜆𝑘\lambda_{k}italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT to maximize the rate during the ISAC phase.

VI Directions for future work

The foundational principles of STAR-DCMs and ISAC as individual technologies are now well-established. Their integration has sparked significant interest only recently. Opportunities for further development and exploration in this field include:

  1. 1.

    Trade-offs for Different STAR Mechanisms: The effective use of STAR-DCMs in ISAC systems relies on identifying mechanisms that balance performance, power efficiency, robustness to channel distortions, and implementation cost.

  2. 2.

    Synchronization Issues: ISAC systems necessitate precise synchronization among Comms Tx, target, Comms Rx, and Sens Rx. Integrating DCMs (operating in STAR mode or reflecting/transmitting-only mode) into ISAC networks introduces new synchronization challenges, particularly in bistatic and distributed deployments, due to the limited signal processing capabilities of DCMs.

  3. 3.

    Temporal Modulation Schemes: Advanced temporal modulation schemes [39], such as periodic or almost-periodic changes within each time slot, could provide valuable time diversity that might be exploited for different ISAC network objectives.

  4. 4.

    Data-Driven Coding Schemes: Overcoming the challenge of storing coding matrices for large metasurfaces in FPGA can be addressed by employing data-driven routines inspired by AI/ML techniques. These methods can “learn” the coding schemes by means of traditional approaches such as back-projection and nonlinear optimization methods [40].

  5. 5.

    Higher Frequencies: Terahertz (THz) signaling techniques (e.g., in 100300100300100-300100 - 300 GHz bands) provide a viable solution for achieving Tbit/s communication rates. Further development is needed for hardware implementations and signal-processing algorithms for ISAC systems using STAR-DCMs at these frequencies.

  6. 6.

    Security Considerations: Integrating STAR-DCMs in ISAC systems introduces new hardware architectures and signal processing but also raises security concerns. Exploring potential physical-layer vulnerabilities and threats arising from metasurfaces is crucial to ensure the resilience of future ISAC systems [41].

These areas indicate promising directions for significant advancements in the integration of STAR-DCMs into future ISAC systems.

VII Conclusion

This article has provided a tutorial on the fundamental signal-processing techniques that underpin the convergence between STAR-DCMs and ISAC. It has reviewed the EM design of STAR metasurfaces, with particular emphasis on practical hardware implementations of STAR-DCMs. The discussion has extended to ISAC protocols involving STAR-DCMs, highlighting key distinctions between communication and sensing links. Designs that effectively balance the demands of both sensing and communications have been discussed, taking into account the intricate interplay and synergy between such functionalities. Finally, potential pathways for advancing STAR-DCMs in future ISAC systems have been presented.

Overall, it is hoped that this overview will stimulate further cross-disciplinary exploration in this evolving paradigm.

VIII Acknowledgment

The authors would like to thank the anonymous reviewers for their stimulating comments and suggestions, which helped them improve upon an earlier version of the manuscript.

The work of Francesco Verde was partially supported by the European Union under the Italian National Recovery and Resilience Plan (NRRP) of NextGenerationEU, partnership on “Telecommunications of the Future” (PE00000001 - program “RESTART”). The work of Vincenzo Galdi was partially supported by the University of Sannio via the FRA 2023 program. The work of Lei Zhang and Tie Jun Cui was supported by the National Natural Science Foundation of China (62288101 and 62101123) and the 111 Project (111-2-05).

References

  • [1] H. Stockman, “Communication by means of reflected power,” Proc. IRE, vol. 36, no. 10, pp. 1196–1204, Oct. 1948.
  • [2] R. M. Mealey, “A method for calculating error probabilities in a radar communication system,” IEEE Trans. Space Electron. Telem., vol. 9, no. 2, pp. 37–42, Jun. 1963.
  • [3] F. Capolino, Theory and Phenomena of Metamaterials.   Boca Raton: CRC Press, 2017.
  • [4] M. Di Renzo, F. H. Danufane, and S. Tretyakov, “Communication models for reconfigurable intelligent surfaces: From surface electromagnetics to wireless networks optimization,” Proc. IEEE, vol. 110, no. 9, pp. 1164–1209, Sep. 2022.
  • [5] M. Nerini, S. Shen, H. Li, and B. Clerckx, “Beyond diagonal reconfigurable intelligent surfaces utilizing graph theory: Modeling, architecture design, and optimization,” IEEE Trans. Wireless Commun., pp. 1–14, 2024, Early Access.
  • [6] T. J. Cui, M. Q. Qi, X. Wan, J. Zhao, and Q. Cheng, “Coding metamaterials, digital metamaterials and programmable metamaterials,” Light Sci. Appl., vol. 3, no. 10, p. e218, Oct. 2014.
  • [7] Y. Cui, F. Liu, X. **g, and J. Mu, “Integrating sensing and communications for ubiquitous IoT: Applications, trends, and challenges,” IEEE Netw., vol. 35, no. 5, pp. 158–167, Sep./Oct. 2021.
  • [8] Z. Esmaeilbeig, K. V. Mishra, and M. Soltanalian, “IRS-aided radar: Enhanced target parameter estimation via intelligent reflecting surfaces,” in Proceedings of IEEE 12th IEEE Sens. Array Multichannel Signal Process. Workshop, Trondheim, Norway, Jun. 2022, pp. 286–290.
  • [9] T. Esmaeilbeig, K. V. Mishra, and M. Soltanalian, “Communication-assisted sensing in 6G networks,” 2024. [Online]. Available: https://arxiv.longhoe.net/abs/2402.14157
  • [10] L. Zhang, R. Y. Wu, G. D. Bai, H. T. Wu, Q. Ma, X. Q. Chen, and T. J. Cui, “Transmission-reflection-integrated multifunctional coding metasurface for full-space controls of electromagnetic waves,” Adv. Funct. Mater., vol. 28, no. 33, p. 1802205, Aug. 2018.
  • [11] L. Bao, Q. Ma, R. Y. Wu, X. Fu, J. Wu, and T. J. Cui, “Programmable reflection-transmission shared-aperture metasurface for real-time control of electromagnetic waves in full space,” Adv. Sci., vol. 8, no. 15, p. 2100149, Aug. 2021.
  • [12] X. Mu, Y. Liu, L. Guo, J. Lin, and R. Schober, “Simultaneously transmitting and reflecting (STAR) RIS aided wireless communications,” IEEE Trans. Wirel. Commun., vol. 21, no. 5, pp. 3083–3098, May 2022.
  • [13] J. Xu, Y. Liu, X. Mu, J. T. Zhou, L. Song, H. V. Poor, and L. Hanzo, “Simultaneously transmitting and reflecting intelligent omni-surfaces: Modeling and implementation,” IEEE Veh. Technol. Mag., vol. 17, no. 2, pp. 46–54, Sep./Oct. 2022.
  • [14] Z. Wang, X. Mu, and Y. Liu, “STARS enabled integrated sensing and communications,” IEEE Trans. Wireless Commun., vol. 22, no. 10, pp. 6750–6765, Oct. 2023.
  • [15] Z. Liu, X. Li, H. Ji, H. Zhang, and V. C. M. Leung, “Toward STAR-RIS-empowered integrated sensing and communications: Joint active and passive beamforming design,” IEEE Trans. Veh. Technol., vol. 72, no. 12, pp. 15 991–16 005, Dec. 2023.
  • [16] T. Cai, G. Wang, S. Tang, H. Xu, J. Duan, H. Guo, F. Guan, S. Sun, Q. He, and L. Zhou, “High-efficiency and full-space manipulation of electromagnetic wave fronts with metasurfaces,” Phys. Rev. Applied, vol. 8, no. 3, p. 034033, Sep. 2017.
  • [17] X. Wang, J. Ding, B. Zheng, S. An, G. Zhai, and H. Zhang, “Simultaneous realization of anomalous reflection and transmission at two frequencies using bi-functional metasurfaces,” Sci. Rep., vol. 8, no. 1, p. 1876, Jan. 2018.
  • [18] H. Yue, L. Chen, Y. Yang, L. He, and X. Shi, “Design and implementation of a dual frequency and bidirectional phase gradient metasurface for beam convergence,” IEEE Antennas Wirel. Propag. Lett., vol. 18, no. 1, pp. 54–58, Jan. 2019.
  • [19] G. Liu, H. Liu, J. Han, Y. Mu, and L. Li, “Reconfigurable metasurface with polarization-independent manipulation for reflection and transmission wavefronts,” J. Phys. D Appl. Phys., vol. 53, no. 4, p. 045107, Nov. 2019.
  • [20] R. Y. Wu, L. Zhang, L. Bao, L. W. Wu, Q. Ma, G. D. Bai, H. T. Wu, and T. J. Cui, “Digital metasurface with phase code and reflection-transmission amplitude code for flexible full-space electromagnetic manipulations,” Adv. Opt. Mater., vol. 7, no. 8, p. 1801429, Apr. 2019.
  • [21] H. L. Wang, H. F. Ma, M. Chen, S. Sun, and T. J. Cui, “A reconfigurable multifunctional metasurface for full-space controls of electromagnetic waves,” Adv. Funct. Mater., vol. 31, no. 25, p. 2100275, Jun. 2021.
  • [22] H. Zhang, S. Zeng, B. Di, Y. Tan, M. Di Renzo, M. Debbah, Z. Han, H. V. Poor, and L. Song, “Intelligent omni-surfaces for full-dimensional wireless communications: Principles, technology, and implementation,” IEEE Commun. Mag., vol. 60, no. 2, pp. 39–45, Feb. 2022.
  • [23] Q. Hu, J. Zhao, K. Chen, K. Qu, W. Yang, J. Zhao, T. Jiang, and Y. Feng, “An intelligent programmable omni-metasurface,” Laser Photon. Rev., vol. 16, no. 6, p. 2100718, Jun. 2022.
  • [24] Y. Wang, Y. Ge, Z. Chen, X. Liu, J. Pu, K. Liu, H. Chen, and Y. Hao, “Broadband high-efficiency ultrathin metasurfaces with simultaneous independent control of transmission and reflection amplitudes and phases,” IEEE Trans. Microwave Theory Techn., vol. 70, no. 1, pp. 254–263, Jan. 2022.
  • [25] T. Yin, J. Ren, B. Zhang, P. Li, Y. Luan, and Y. Yin, “Reconfigurable transmission-reflection-integrated coding metasurface for full-space electromagnetic wavefront manipulation,” Adv. Opt. Mater., vol. 12, no. 2, p. 2301326, Jan. 2024.
  • [26] S. Sun, H. F. Ma, Y. T. Chen, and T. J. Cui, “Transmission-reflection-integrated metasurface with simultaneous amplitude and phase controls of circularly polarized waves in full space,” Laser Photon. Rev., vol. 18, no. 3, p. 2300945, Mar. 2024.
  • [27] Z. Qin, Y. Li, H. Wang, C. Li, C. Liu, Z. Zhu, Q. Yuan, J. Wang, and S. Qu, “Transmission reflection integrated programmable metasurface for real-time beam control and high efficiency transmission polarization conversion,” Ann. Phys., vol. 535, no. 1, p. 2200368, Jan. 2023.
  • [28] Y. Eghbali, S. Faramarzi, S. K. Taskou, M. R. Mili, M. Rasti, and E. Hossain, “Beamforming for STAR-RIS-aided integrated sensing and communication using meta DRL,” IEEE Wireless Commun. Lett., vol. 13, no. 4, pp. 919–923, Apr. 2024.
  • [29] K. Meng, Q. Wu, W. Chen, and D. Li, “Sensing-assisted communication in vehicular networks with intelligent surface,” IEEE Trans. Veh. Technol., vol. 73, no. 1, pp. 876–893, Jan. 2024.
  • [30] M. Li, S. Zhang, Y. Ge, Z. Li, F. Gao, and P. Fan, “STAR-RIS aided integrated sensing and communication over high mobility scenario,” IEEE Trans. Commun., pp. 1–15, 2024, Early Access.
  • [31] G. Sun, Y. Zhang, W. Hao, Z. Zhu, X. Li, and Z. Chu, “Joint beamforming optimization for STAR-RIS aided NOMA ISAC systems,” IEEE Wireless Commun. Lett., vol. 13, no. 4, pp. 1009–1013, Apr. 2024.
  • [32] Y. Wang, Z. Yang, J. Cui, P. Xu, G. Chen, T. Q. S. Quek, and R. Tafazolli, “Optimizing the fairness of STAR-RIS and NOMA assisted integrated sensing and communication systems,” IEEE Trans. Wireless Commun., vol. 23, no. 6, pp. 5895–5907, Jun. 2024.
  • [33] N. Xue, X. Mu, Y. Liu, and Y. Chen, “NOMA assisted full space STAR-RIS-ISAC,” IEEE Trans. Wireless Commun., pp. 1–15, 2024, Early Access.
  • [34] W. Wei, X. Pang, C. Xing, N. Zhao, and D. Niyato, “STAR-RIS aided secure NOMA integrated sensing and communication,” IEEE Trans. Wireless Commun., pp. 1–14, 2024, Early Access.
  • [35] W. Yuan, F. Liu, C. Masouros, J. Yuan, D. W. K. Ng, and N. González-Prelcic, “Bayesian predictive beamforming for vehicular networks: A low-overhead joint radar-communication approach,” IEEE Trans. Wireless Commun., vol. 20, no. 3, pp. 1442–1456, Mar. 2021.
  • [36] J. Shabanpour and C. R. Simovski, “Angular and polarization stability of broadband reconfigurable intelligent surfaces of binary type,” IEEE Access, vol. 10, pp. 126 253–126 268, 2022.
  • [37] Q. Li, P. Sisk, A. Kannan, T. Yoo, T. Luo, G. Shah, B. Manjunath, C. Samarathungage, M. T. Boroujeni, H. Pezeshki, and H. Joshi, “Machine learning based time domain millimeter-wave beam prediction for 5G-advanced and beyond: Design, analysis, and over-the-air experiments,” IEEE J. Select. Areas Commun., vol. 41, no. 6, pp. 1787–1809, Jun. 2023.
  • [38] H.L. Van Trees, Optimum Array Processing: Part IV of Detection, Estimation, and Modulation Theory.   Hoboken, NJ, USA: Wiley, 2004.
  • [39] L. Zhang, X. Q. Chen, S. Liu, Q. Zhang, J. Zhao, J. Y. Dai, G. D. Bai, X. Wan, Q. Cheng, G. Castaldi, V. Galdi, and T. J. Cui, “Space-time-coding digital metasurfaces,” Nat. Commun., vol. 9, p. 4334, Oct. 2018.
  • [40] T. Shan, X. Pan, M. Li, S. Xu, and F. Yang, “Coding programmable metasurfaces based on deep learning techniques,” IEEE J. Emerg. Sel. Top. Circuits Syst., vol. 10, no. 1, pp. 114–125, Mar. 2020.
  • [41] M. Wei, H. Zhao, V. Galdi, L. Li, and T. J. Cui, “Metasurface-enabled smart wireless attacks at the physical layer,” Nat. Electron., vol. 6, no. 8, pp. 610–618, Aug. 2023.