Primer on Electromagnetics
This section provides useful background for the general understanding of ray tracing for wireless propagation modelling. In particular, our goal is to provide a concise definition of a channel impulse response between a transmitting and receiving antenna, as done in (Ch. 2 & 3) [Wiesbeck]. The notations and definitions will be used in the API documentation of Sionna’s Ray Tracing module.
Coordinate system, rotations, and vector fields
We consider a global coordinate system (GCS) with Cartesian standard basis \(\hat{\mathbf{x}}\), \(\hat{\mathbf{y}}\), \(\hat{\mathbf{z}}\). The spherical unit vectors are defined as
For an arbitrary unit norm vector \(\hat{\mathbf{v}} = (x, y, z)\), the zenith and azimuth angles \(\theta\) and \(\varphi\) can be computed as
where \(\mathop{\text{atan2}}(y, x)\) is the two-argument inverse tangent function [atan2]. As any vector uniquely determines \(\theta\) and \(\varphi\), we sometimes also write \(\hat{\boldsymbol{\theta}}(\hat{\mathbf{v}})\) and \(\hat{\boldsymbol{\varphi}}(\hat{\mathbf{v}})\) instead of \(\hat{\boldsymbol{\theta}} (\theta, \varphi)\) and \(\hat{\boldsymbol{\varphi}}(\theta, \varphi)\).
A 3D rotation with yaw, pitch, and roll angles \(\alpha\), \(\beta\), and \(\gamma\), respectively, is expressed by the matrix
where \(\mathbf{R}_z(\alpha)\), \(\mathbf{R}_y(\beta)\), and \(\mathbf{R}_x(\gamma)\) are rotation matrices around the \(z\), \(y\), and \(x\) axes, respectively, which are defined as
A closed-form expression for \(\mathbf{R}(\alpha, \beta, \gamma)\) can be found in (7.1-4) [TR38901]. The reverse rotation is simply defined by \(\mathbf{R}^{-1}(\alpha, \beta, \gamma)=\mathbf{R}^\mathsf{T}(\alpha, \beta, \gamma)\). A vector \(\mathbf{x}\) defined in a first coordinate system is represented in a second coordinate system rotated by \(\mathbf{R}(\alpha, \beta, \gamma)\) with respect to the first one as \(\mathbf{x}'=\mathbf{R}^\mathsf{T}(\alpha, \beta, \gamma)\mathbf{x}\). If a point in the first coordinate system has spherical angles \((\theta, \varphi)\), the corresponding angles \((\theta', \varphi')\) in the second coordinate system can be found to be
For a vector field \(\mathbf{F}'(\theta',\varphi')\) expressed in local spherical coordinates
that are rotated by \(\mathbf{R}=\mathbf{R}(\alpha, \beta, \gamma)\) with respect to the GCS, the spherical field components in the GCS can be expressed as
so that
It sometimes also useful to find the rotation matrix that maps a unit vector \(\hat{\mathbf{a}}\) to \(\hat{\mathbf{b}}\). This can be achieved with the help of Rodrigues’ rotation formula [Wikipedia_Rodrigues] which defines the matrix
where
such that \(\mathbf{R}(\hat{\mathbf{a}}, \hat{\mathbf{b}})\hat{\mathbf{a}}=\hat{\mathbf{b}}\).
Planar Time-Harmonic Waves
A time-harmonic planar electric wave \(\mathbf{E}(\mathbf{x}, t)\in\mathbb{C}^3\) travelling in a homogeneous medium with wave vector \(\mathbf{k}\in\mathbb{C}^3\) can be described at position \(\mathbf{x}\in\mathbb{R}^3\) and time \(t\) as
where \(\mathbf{E}_0\in\mathbb{C}^3\) is the field phasor. The wave vector can be decomposed as \(\mathbf{k}=k \hat{\mathbf{k}}\), where \(\hat{\mathbf{k}}\) is a unit norm vector, \(k=\omega\sqrt{\varepsilon\mu}\) is the wave number, and \(\omega=2\pi f\) is the angular frequency. The permittivity \(\varepsilon\) and permeability \(\mu\) are defined as
where \(\eta\) and \(\varepsilon_0\) are the complex relative and vacuum permittivities, \(\mu_r\) and \(\mu_0\) are the relative and vacuum permeabilities, and \(\sigma\) is the conductivity. The complex relative permittivity \(\eta\) is given as
where \(\varepsilon_r\) is the real relative permittivity of a non-conducting dielectric.
With these definitions, the speed of light is given as (Eq. 4-28d) [Balanis]
where the factor in curly brackets vanishes for non-conducting materials. The speed of light in vacuum is denoted \(c_0=\frac{1}{\sqrt{\varepsilon_0 \mu_0}}\) and the vacuum wave number \(k_0=\frac{\omega}{c_0}\). In conducting materials, the wave number is complex which translates to propagation losses.
The associated magnetic field \(\mathbf{H}(\mathbf{x}, t)\in\mathbb{C}^3\) is
where \(Z=\sqrt{\mu/\varepsilon}\) is the wave impedance. The vacuum impedance is denoted by \(Z_0=\sqrt{\mu_0/\varepsilon_0}\approx 376.73\,\Omega\).
The time-averaged Poynting vector is defined as
which describes the directional energy flux (W/m²), i.e., energy transfer per unit area per unit time.
Note that the actual electromagnetic waves are the real parts of \(\mathbf{E}(\mathbf{x}, t)\) and \(\mathbf{H}(\mathbf{x}, t)\).
Far Field of a Transmitting Antenna
We assume that the electric far field of an antenna in free space can be described by a spherical wave originating from the center of the antenna:
where \(\mathbf{E}_0(\theta, \varphi)\) is the electric field phasor, \(r\) is the distance (or radius), \(\theta\) the zenith angle, and \(\varphi\) the azimuth angle. In contrast to a planar wave, the field strength decays as \(1/r\).
The complex antenna field pattern \(\mathbf{F}(\theta, \varphi)\) is defined as
The time-averaged Poynting vector for such a spherical wave is
where \(\hat{\mathbf{r}}\) is the radial unit vector. It simplifies for an ideal isotropic antenna with input power \(P_\text{T}\) to
The antenna gain \(G\) is the ratio of the maximum radiation power density of the antenna in radial direction and that of an ideal isotropic radiating antenna:
One can similarly define a gain with directional dependency by ignoring the computation of the maximum the last equation:
If one uses in the last equation the radiated power \(P=\eta_\text{rad} P_\text{T}\), where \(\eta_\text{rad}\) is the radiation efficiency, instead of the input power \(P_\text{T}\), one obtains the directivity \(D(\theta,\varphi)\). Both are related through \(G(\theta, \varphi)=\eta_\text{rad} D(\theta, \varphi)\).
Antenna pattern
Since \(\mathbf{F}(\theta, \varphi)\) contains no information about the maximum gain \(G\) and \(G(\theta, \varphi)\) does not carry any phase information, we define the antenna pattern \(\mathbf{C}(\theta, \varphi)\) as
such that \(G(\theta, \varphi)= \lVert\mathbf{C}(\theta, \varphi) \rVert^2\).
Using the spherical unit vectors \(\hat{\boldsymbol{\theta}}\in\mathbb{R}^3\) and \(\hat{\boldsymbol{\varphi}}\in\mathbb{R}^3\), we can rewrite \(\mathbf{C}(\theta, \varphi)\) as
where \(C_\theta(\theta,\varphi)\in\mathbb{C}\) and \(C_\varphi(\theta,\varphi)\in\mathbb{C}\) are the zenith pattern and azimuth pattern, respectively.
Combining (10) and (12), we can obtain the following expression of the electric far field
where we have added the subscript \(\text{T}\) to all quantities that are specific to the transmitting antenna.
The input power \(P_\text{T}\) of an antenna with (conjugate matched) impedance \(Z_\text{T}\), fed by a voltage source with complex amplitude \(V_\text{T}\), is given by (see, e.g., [Wikipedia])
Normalization of antenna patterns
The radiated power \(\eta_\text{rad} P_\text{T}\) of an antenna can be obtained by integrating the Poynting vector over the surface of a closed sphere of radius \(r\) around the antenna:
We can see from the last equation that the directional gain of any antenna must satisfy
Modelling of a Receiving Antenna
Although the transmitting antenna radiates a spherical wave \(\mathbf{E}_\text{T}(r,\theta_\text{T},\varphi_\text{T})\), we assume that the receiving antenna observes a planar incoming wave \(\mathbf{E}_\text{R}\) that arrives from the angles \(\theta_\text{R}\) and \(\varphi_\text{R}\) which are defined in the local spherical coordinates of the receiving antenna. The Poynting vector of the incoming wave \(\mathbf{S}_\text{R}\) is hence (11)
where \(\hat{\mathbf{r}}(\theta_\text{R}, \varphi_\text{R})\) is the radial unit vector in the spherical coordinate system of the receiver.
The aperture or effective area \(A_\text{R}\) of an antenna with gain \(G_\text{R}\) is defined as the ratio of the available received power \(P_\text{R}\) at the output of the antenna and the absolute value of the Poynting vector, i.e., the power density:
where \(\frac{\lambda^2}{4\pi}\) is the aperture of an isotropic antenna. In the definition above, it is assumed that the antenna is ideally directed towards and polarization matched to the incoming wave. For an arbitrary orientation of the antenna (but still assuming polarization matching), we can define a direction dependent effective area
The available received power at the output of the antenna can be expressed as
where \(Z_\text{R}\) is the impedance of the receiving antenna and \(V_\text{R}\) the open circuit voltage.
We can now combine (20), (19), and (18) to obtain the following expression for the absolute value of the voltage \(|V_\text{R}|\) assuming matched polarization:
By extension of the previous equation, we can obtain an expression for \(V_\text{R}\) which is valid for arbitrary polarizations of the incoming wave and the receiving antenna:
Example: Recovering Friis equation
In the case of free space propagation, we have \(\mathbf{E}_\text{R}=\mathbf{E}_\text{T}(r,\theta_\text{T},\varphi_\text{T})\). Combining (21), (20), and (15), we obtain the following expression for the received power:
It is important that \(\mathbf{F}_\text{R}\) and \(\mathbf{F}_\text{T}\) are expressed in the same coordinate system for the last equation to make sense. For perfect orientation and polarization matching, we can recover the well-known Friis transmission equation:
General Propagation Path
A single propagation path consists of a cascade of multiple scattering processes, where a scattering process can be anything that prevents the wave from propagating as in free space. This includes reflection, refraction, diffraction, and diffuse scattering. For each scattering process, one needs to compute a relationship between the incoming field at the scatter center and the created far field at the next scatter center or the receiving antenna. We can represent this cascade of scattering processes by a single matrix \(\widetilde{\mathbf{T}}\) that describes the transformation that the radiated field \(\mathbf{E}_\text{T}(r, \theta_\text{T}, \varphi_\text{T})\) undergoes until it reaches the receiving antenna:
Note that we have obtained this expression by replacing the free space propagation term \(\frac{e^{-jk_0r}}{r}\) in (15) by the matrix \(\widetilde{\mathbf{T}}\). This requires that all quantities are expressed in the same coordinate system which is also assumed in the following expressions. Further, it is assumed that the matrix \(\widetilde{\mathbf{T}}\) includes the necessary coordinate transformations. In some cases, e.g., for diffuse scattering (see (38) in Scattering), the matrix \(\widetilde{\mathbf{T}}\) depends on the incoming field and is not a linear transformation.
Plugging (22) into (21), we can obtain a general expression for the received voltage of a propagation path:
If the electromagnetic wave arrives at the receiving antenna over \(N\) propagation paths, we can simply add the received voltages from all paths to obtain
where all path-dependent quantities carry the subscript \(i\). Note that the matrices \(\widetilde{\mathbf{T}}_i\) also ensure appropriate scaling so that the total received power can never be larger than the transmit power.
Frequency & Impulse Response
The channel frequency response \(H(f)\) at frequency \(f=\frac{c}{\lambda}\) is defined as the ratio between the received voltage and the voltage at the input to the transmitting antenna:
where it is assumed that the input voltage has zero phase.
It is useful to separate phase shifts due to wave propagation from the transfer matrices \(\widetilde{\mathbf{T}}_i\). If we denote by \(r_i\) the total length of path \(i\) with average propagation speed \(c_i\), the path delay is \(\tau_i=r_i/c_i\). We can now define the new transfer matrix
Using (16) and (25) in (23) while assuming equal real parts of both antenna impedances, i.e., \(\Re\{Z_\text{T}\}=\Re\{Z_\text{R}\}\) (which is typically the case), we obtain the final expression for the channel frequency response:
Taking the inverse Fourier transform, we finally obtain the channel impulse response
The baseband equivalent channel impulse reponse is then defined as (Eq. 2.28) [Tse]:
Reflection and Refraction
When a plane wave hits a plane interface which separates two materials, e.g., air and concrete, a part of the wave gets reflected and the other transmitted (or refracted), i.e., it propagates into the other material. We assume in the following description that both materials are uniform non-magnetic dielectrics, i.e., \(\mu_r=1\), and follow the definitions as in [ITURP20402]. The incoming wave phasor \(\mathbf{E}_\text{i}\) is expressed by two arbitrary orthogonal polarization components, i.e.,
which are both orthogonal to the incident wave vector, i.e., \(\hat{\mathbf{e}}_{\text{i},s}^{\mathsf{T}} \hat{\mathbf{e}}_{\text{i},p}=\hat{\mathbf{e}}_{\text{i},s}^{\mathsf{T}} \hat{\mathbf{k}}_\text{i}=\hat{\mathbf{e}}_{\text{i},p}^{\mathsf{T}} \hat{\mathbf{k}}_\text{i} =0\).
Fig. 1 shows reflection and refraction of the incoming wave at the plane interface between two materials with relative permittivities \(\eta_1\) and \(\eta_2\). The coordinate system is chosen such that the wave vectors of the incoming, reflected, and transmitted waves lie within the plane of incidence, which is chosen to be the x-z plane. The normal vector of the interface \(\hat{\mathbf{n}}\) is pointing toward the negative z axis. The incoming wave is must be represented in a different basis, i.e., in the form two different orthogonal polarization components \(E_{\text{i}, \perp}\) and \(E_{\text{i}, \parallel}\), i.e.,
where the former is orthogonal to the plane of incidence and called transverse electric (TE) polarization (left), and the latter is parallel to the plane of incidence and called transverse magnetic (TM) polarization (right). We adopt in the following the convention that all transverse components are coming out of the figure (indicated by the \(\odot\) symbol). One can easily verify that the following relationships must hold:
where we have defined the following matrix-valued function
While the angles of incidence and reflection are both equal to \(\theta_1\), the angle of the refracted wave \(\theta_2\) is given by Snell’s law:
or, equivalently,
The reflected and transmitted wave phasors \(\mathbf{E}_\text{r}\) and \(\mathbf{E}_\text{t}\) are similarly represented as
where
and
The Fresnel equations provide relationships between the incident, reflected, and refracted field components for \(\sqrt{\left| \eta_1/\eta_2 \right|}\sin(\theta_1)<1\):
If \(\sqrt{\left| \eta_1/\eta_2 \right|}\sin(\theta_1)\ge 1\), we have \(r_{\perp}=r_{\parallel}=1\) and \(t_{\perp}=t_{\parallel}=0\), i.e., total reflection.
For the case of an incident wave in vacuum, i.e., \(\eta_1=1\), the Fresnel equations (33) simplify to
Putting everything together, we obtain the following relationships between incident, reflected, and transmitted waves:
Diffraction
While modern geometrical optics (GO) [Kline], [Luneberg] can accurately describe phase and polarization properties of electromagnetic fields undergoing reflection and refraction (transmission) as described above, they fail to account for the phenomenon of diffraction, e.g., bending of waves around corners. This leads to the undesired and physically incorrect effect that the field abruptly falls to zero at geometrical shadow boundaries (for incident and reflected fields).
Joseph Keller presented in [Keller62] a method which allowed the incorporation of diffraction into GO which is known as the geometrical theory of diffraction (GTD). He introduced the notion of diffracted rays that follow the law of edge diffraction, i.e., the diffracted and incident rays make the same angle with the edge at the point of diffraction and lie on opposite sides of the plane normal to the edge. The GTD suffers, however from several shortcomings, most importantly the fact that the diffracted field is infinite at shadow boundaries.
The uniform theory of diffraction (UTD) [Kouyoumjian74] alleviates this problem and provides solutions that are uniformly valid, even at shadow boundaries. For a great introduction to the UTD, we refer to [McNamara90]. While [Kouyoumjian74] deals with diffraction at edges of perfectly conducting surfaces, it was heuristically extended to finitely conducting wedges in [Luebbers84]. This solution, which is also recomended by the ITU [ITURP52615], is implemented in Sionna. However, both [Luebbers84] and [ITURP52615] only deal with two-dimensional scenes where source and observation lie in the same plane, orthogonal to the edge. We will provide below the three-dimensional version of [Luebbers84], following the defintitions of (Ch. 6) [McNamara90]. A similar result can be found, e.g., in (Eq. 6-29—6-39) [METIS].
We consider an infinitely long wedge with unit norm edge vector \(\hat{\mathbf{e}}\), as shown in Fig. 2. An incident ray of a spherical wave with field phasor \(\mathbf{E}_i(S')\) at point \(S'\) propagates in the direction \(\hat{\mathbf{s}}'\) and is diffracted at point \(Q_d\) on the edge. The diffracted ray of interest (there are infinitely many on Keller’s cone) propagates in the direction \(\hat{\mathbf{s}}\) towards the point of observation \(S\). We denote by \(s'=\lVert S'-Q_d \rVert\) and \(s=\lVert Q_d - S\rVert\) the lengths of the incident and diffracted path segments, respectively. By the law of edge diffraction, the angles \(\beta_0'\) and \(\beta_0\) between the edge and the incident and diffracted rays, respectively, satisfy:
To be able to express the diffraction coefficients as a 2x2 matrix—similar to what is done for reflection and refraction—the incident field must be resolved into two components \(E_{i,\phi'}\) and \(E_{i,\beta_0'}\), the former orthogonal and the latter parallel to the edge-fixed plane of incidence, i.e., the plane containing \(\hat{\mathbf{e}}\) and \(\hat{\mathbf{s}}'\). The diffracted field is then represented by two components \(E_{d,\phi}\) and \(E_{d,\beta_0}`\) that are respectively orthogonal and parallel to the edge-fixed plane of diffraction, i.e., the plane containing \(\hat{\mathbf{e}}\) and \(\hat{\mathbf{s}}\). The corresponding component unit vectors are defined as
Fig. 3 below shows the top view on the wedge that we need for some additional definitions.
The wedge has two faces called 0-face and n-face, respectively, with surface normal vectors \(\hat{\mathbf{n}}_0\) and \(\hat{\mathbf{n}}_n\). The exterior wedge angle is \(n\pi\), with \(1\le n \le 2\). Note that the surfaces are chosen such that \(\hat{\mathbf{e}} = \hat{\mathbf{n}}_0 \times \hat{\mathbf{n}}_n\). For \(n=2\), the wedge reduces to a screen and the choice of the 0-face and n-face is arbitrary as they point in opposite directions.
The incident and diffracted rays have angles \(\phi'\) and \(\phi\) measured with respect to the 0-face in the plane perpendicular to the edge. They can be computed as follows:
where
are the unit vector tangential to the 0-face, as well as the unit vectors pointing in the directions of \(\hat{\mathbf{s}}'\) and \(\hat{\mathbf{s}}\), projected on the plane perpendicular to the edge, respectively. The function \(\mathop{\text{sgn}}(x)\) is defined in this context as
With these definitions, the diffracted field at point \(S\) can be computed from the incoming field at point \(S'\) as follows:
where \(k=2\pi/\lambda\) is the wave number and the matrices \(\mathbf{R}_\nu,\, \nu \in [0,n]\), are given as
with \(\mathbf{W}(\cdot)\) as defined in (30), where \(r_{\perp}(\theta_{r,\nu}, \eta_{\nu})\) and \(r_{\parallel}(\theta_{r,\nu}, \eta_{\nu})\) are the Fresnel reflection coefficents from (34), evaluated for the complex relative permittivities \(\eta_{\nu}\) and angles \(\theta_{r_,\nu}\) with cosines
and where
as already defined in (29) and (31), but made explicit here for the case of diffraction. The matrices \(\mathbf{R}_\nu\) simply describe the reflected field from both surfaces in the basis used for the description of the diffraction process. Note that the absolute value is used in (36) to account for virtual reflections from shadowed surfaces, see the discussion in (p.185) [McNamara90]. The diffraction coefficients \(D_1,\dots,D_4\) are computed as
where
and \(\mathop{\text{round}}()\) is the function that rounds to the closest integer. The function \(F(x)\) can be expressed with the help of the standard Fresnel integrals [Fresnel]
as
Scattering
When an electromagnetic wave impinges on a surface, one part of the energy gets reflected while the other part gets refracted, i.e., it propagates into the surface. We distinguish between two types of reflection, specular and diffuse. The former type is discussed in Reflection and Refraction and we will focus now on the latter type which is also called diffuse scattering. When a rays hits a diffuse reflection surface, it is not reflected into a single (specular) direction but rather scattered toward many different directions. Since most surfaces give both specular and diffuse reflections, we denote by \(S^2\) the fraction of the reflected energy that is diffusely scattered, where \(S\in[0,1]\) is the so-called scattering coefficient [Degli-Esposti07]. Similarly, \(R^2\) is the specularly reflected fraction of the reflected energy, where \(R\in[0,1]\) is the reflection reduction factor. The following relationship between \(R\) and \(S\) holds:
Whenever a material has a scattering coefficient \(S>0\), the Fresnel reflection coefficents in (33) must be multiplied by \(R\). These reduced coefficients must then be also used in the compuation of the diffraction coefficients (35).
Let us consider an incoming locally planar linearly polarized wave with field phasor \(\mathbf{E}_\text{i}(\mathbf{q})\) at the scattering point \(\mathbf{q}\) on the surface, as shown in Fig. 4. We focus on the scattered field of and infinitesimally small surface element \(dA\) in the direction \(\hat{\mathbf{k}}_\text{s}\). Note that the surface normal \(\hat{\mathbf{n}}\) has an arbitrary orientation with respect to the global coordinate system, whose \((x,y,z)\) axes are shown in green dotted lines. The incoming field phasor can be represented by two arbitrary orthogonal polarization components (both orthogonal to the incoming wave vector \(\hat{\mathbf{k}}_i\)):
where me have omitted the dependence of the field strength on the position \(\mathbf{q}\) for brevity. The second representation via \((E_{\text{i},\perp}, E_{\text{i},\parallel})\) is used for the computation of the specularly reflected field as explained in Reflection and refraction. The third representation via \((E_{\text{i},\text{pol}}, E_{\text{i},\text{xpol}})\) will be used to express the scattered field, where
such that \(|E_{\text{i},\text{pol}}|=\lVert \mathbf{E}_\text{i} \rVert\) and \(E_{\text{i},\text{xpol}}=0\). That means that \(\hat{\mathbf{e}}_{\text{i},\text{pol}}\) points toward the polarization direction which carries all of the energy.
According to (Eq. 9) [Degli-Esposti11], the diffusely scattered field \(\mathbf{E}_\text{s}(\mathbf{r})\) at the observation point \(\mathbf{r}\) can be modeled as \(\mathbf{E}_\text{s}(\mathbf{r})=E_{\text{s}, \theta}\hat{\boldsymbol{\theta}}(\hat{\mathbf{k}}_\text{s}) + E_{\text{s}, \varphi}\hat{\boldsymbol{\varphi}}(\hat{\mathbf{k}}_\text{s})\), where \(\hat{\boldsymbol{\theta}}, \hat{\boldsymbol{\varphi}}\) are defined in (1) and the orthogonal field components are computed as
where \(\mathbf{W}(\cdot)\) as defined in (30), \(\chi_1, \chi_2 \in [0,2\pi]\) are independent random phase shifts, and the quantity \(K_x\in[0,1]\) is defined by the scattering cross-polarization discrimination
This quantity determines how much energy gets transfered from \(\hat{\mathbf{e}}_{\text{i},\text{pol}}\) into the orthogonal polarization direction \(\hat{\mathbf{e}}_{\text{i},\text{xpol}}\) through the scattering process. The matrix \(\mathbf{W}\) is used to represent the scattered electric field in the vertical (\(\hat{\boldsymbol{\theta}}\)) and horizontal (\(\hat{\boldsymbol{\varphi}}\)) polarization components according to the incoming ray direction \(-\hat{\mathbf{k}}_\text{i}\). It is then assumed that the same polarization is kept for the outgoing ray in the \(\hat{\mathbf{k}}_\text{s}\) direction.
The squared amplitude of the diffusely scattered field in (38) can be expressed as (Eq. 8) [Degli-Esposti07]:
where \(\Gamma^2\) is the percentage of the incoming power that is reflected (specularly and diffuse), which can be computed as
where \(r_{\perp}, r_{\parallel}\) are defined in (33), \(dA\) is the size of the small area element on the reflecting surface under consideration, and \(f_\text{s}\left(\hat{\mathbf{k}}_i, \hat{\mathbf{k}}_s, \hat{\mathbf{n}}\right)\) is the scattering pattern, which has similarities with the bidirectional reflectance distribution function (BRDF) in computer graphics (Ch. 5.6.1) [Pharr]. The scattering pattern must be normalized to satisfy the condition
which ensures the power balance between the incoming, reflected, and refracted fields.
Example scattering patterns
The authors of [Degli-Esposti07] derived several simple scattering patterns that were shown to achieve good agreement with measurements when correctly parametrized.
Lambertian Model (LambertianPattern
):
This model describes a perfectly diffuse scattering surface whose scattering radiation lobe has its maximum in the direction of the surface normal:
Directive Model (DirectivePattern
):
This model assumes that the scattered field is concentrated around the direction of the specular reflection \(\hat{\mathbf{k}}_\text{r}\) (defined in (32)). The width of the scattering lobe
can be controlled via the integer parameter \(\alpha_\text{R}=1,2,\dots\):
Backscattering Lobe Model (BackscatteringPattern
):
This model adds a scattering lobe to the directive model described above which points toward the direction from which the incident wave arrives (i.e., \(-\hat{\mathbf{k}}_\text{i}\)). The width of this lobe is controlled by the parameter \(\alpha_\text{I}=1,2,\dots\). The parameter \(\Lambda\in[0,1]\) determines the distribution of energy between both lobes. For \(\Lambda=1\), this models reduces to the directive model.
Reconfigurable Intelligent Surfaces (RIS)
Metasurfaces can manipulate electromagnetic waves in a way that traditional materials cannot. For example, they can be used to create anomalous reflections, focalization, as well as polarization changes. A reconfigurable intelligent surface (RIS) is a special type of metasurface that can be dynamically controlled to achieve favorable propagation conditions in a specific enviroment. While many different ways to model RIS have been proposed in the literature [Di-Renzo20], we adopt here the ones described in [Degli-Esposti22] and [Vitucci24]. The former will be used for the computation of channel impulse responses (CIRs) (see compute_paths()
) while the latter will serve for the computation of coverage maps (see coverage_map()
).
We consider only lossless RIS, i.e., there is no power dissipation. For waves incident on the front side of an RIS, only the reradiated modes but neither specular nor diffuse reflections are created. For waves incident on the back side, an RIS behaves like a perfect absorber. For coverage maps, diffraction around the RIS’ edges is ignored.
An RIS consists of a regular grid of unit cells which impose a spatial modulation, i.e., phase and amplitude changes, on an incident wave. This leads in turn to the creation of \(M\ge 1\) reradiated modes. Let us denote by \((y,z)\) a generic point on the RIS, and by \(\chi_m(y,z)\) and \(A_m(y,z)\) the phase and amplitude modulation coefficients of the \(m\text{th}\) reradiation mode, respectively. We assume that the RIS’ normal \(\hat{\mathbf{n}}\) points toward the positive \(x\)-axis.
The spatial modulation coefficient \(\Gamma(y,z)\) is then given as (Eq.12) [Degli-Esposti22]
where \(p_m\) is the reradiation intensity coefficient of the \(m\text{th}\) mode. For power conservation reasons, we need to impose that \(\sum_{m=1}^M p_m=1\) and that the normalized surface integral of \(|A_m(y,z)|^2\) across the RIS equals one for all \(m\).
Consider now an RIS as shown in Fig. 5 with an incident electro-magnetic wave with field phasor \(\mathbf{E}_i(S)\) at point \(S\in\mathbb{R}^3\), where \(E_{i,\theta}(S)\) and \(E_{i,\varphi}(S)\) denote the vertical and horizontal field components, respectively. The reradiated field from the RIS at point \(S'\) is computed as (Eq.30) [Degli-Esposti22]:
where \(N_Y\) and \(N_Z\) are the number of columns and rows of the regular grid of unit cells with coordinates \((y_u, z_v)\) for \(1\leq u \leq N_Y\) and \(1\leq v \leq N_Z\), \(\hat{\mathbf{k}}_i(y_u,z_v)\) and \(\hat{\mathbf{k}}_r(y_u,z_v)\) are the directions of the incident and reradiated waves at position \((y_u,z_v)\), \(\theta_i(y_u, z_v)\) and \(\theta_r(y_u, z_v)\) are the angles between the RIS’s normal and the incident and reradiated directions, respectively, and \(s_i(y_u, z_v)\) and \(s_r(y_u, z_v)\) are the distances between the unit cell \((y_u, z_v)\) and \(S, S'\), respectively. With a slight abuse of notation, we denote by \(\hat{\boldsymbol{\theta}}(\hat{\mathbf{k}})\) and \(\hat{\boldsymbol{\varphi}}(\hat{\mathbf{k}})\) the spherical unit vectors (1) for angles defined by \(\hat{\mathbf{k}}\) according to (2). One can observe from the last equation that the RIS does not impact the polarization.
Note that (44) is only used in compute_paths()
for the computation of the channel impulse response.
For the computation of coverage maps, the ray-based model from [Vitucci24] is used. Fig. 6 shows how an RIS anomalously reflects an incident ray, intersecting the RIS at point \(\mathbf{q}\in\mathbb{R}^3\) in the y-z plane. The incident ray with propagation direction \(\hat{\mathbf{k}}_i\), representing a locally-plane wavefront, acquires an incident phase gradient \(\nabla\chi_i\) on the RIS’ surface which can be computed as (Eq.9) [Vitucci24]
Each of the RIS’ reradiation modes gives rise to an additional phase gradient \(\nabla\chi_m\) at the point of intersection, which results in the total phase gradient (Eq.11) [Vitucci24]
It is this total phase gradient that determines the direction of the reflected ray \(\hat{\mathbf{k}}_r\) for reradiation mode \(m\) which can be computed as (Eq.13) [Vitucci24]
From the last equation, it becomes clear that the phase profile and its derivative must be computed at arbitrary positions on the RIS’ surface. However, in Sionna RT, phase and amplitude profiles are only configured as discrete values on a regular grid with \(\lambda/2\) spacing. For this reason, the discrete profiles are interpolated using a ProfileInterpolator
, such as the LagrangeProfileInterpolator
. It is important to keep in mind that the phase profile typically varies on the wavelength-scale across the RIS, and the amplitude profile at an even larger scale. Both profiles must be carefully chosen to represent a physically realistic device (see, e.g., the discussion after (Eq.16) [Vitucci24] ).
A side-effect of the anomalous ray reflection is that the reflected wavefront generally has a different shape as that of the incoming wavefront. The shape of an astigmatic wave (or ray tube), as shown in Fig. 7, is represented by the curvature matrix \(\mathbf{Q}(s)\in\mathbb{R}^{3\times 3}\) along its propagation path (see, e.g., (Appenix I) [Kouyoumjian74] ), which can be written as
where \(\rho_1\) and \(\rho_2\) are the principal radii of curvature, and \(\hat{\mathbf{x}}_1\) and \(\hat{\mathbf{x}}_2\) are the corresponding principal directions; both orthogonal to the propagation direction \(\mathbf{s}\), where \(s\) denotes a point on the ray with respect to a reference point \(s=0\).
For an incoming ray with curvature matrix \(\mathbf{Q}_i(\mathbf{q})\) at the intersection point, the curvature matrix \(\mathbf{Q}_r(\mathbf{q})\) of the outgoing ray can be computed as (Eq.22) [Vitucci24]
where \(\mathbf{H}_{\chi_m}(\mathbf{q})\in\mathbb{R}^{3\times 3}\) is the Hessian matrix of the phase profile \(\chi_m\) at the intersection point and
The principal radii of curvature of the reflected ray \(\rho_1^r\) and \(\rho_2^r\) are the non-zero eigenvalues of \(\mathbf{Q}_r(\mathbf{q})\) while the principal directions \(\hat{\mathbf{x}}_1^r\) and \(\hat{\mathbf{x}}_2^r\) are given by the associated eigenvectors. With these definitions, we are now able to express the reflected field at point \(\mathbf{r} = \mathbf{q}+s\hat{\mathbf{k}}_r\) as a function of the incoming field at point \(\mathbf{q}\) (Eq.23) [Vitucci24]:
where we have assumed, as in (44), that the RIS does not realize any polarization transformation.
- References:
- [Balanis]
A. Balanis, “Advanced Engineering Electromagnetics,” John Wiley & Sons, 2012.
[Degli-Esposti07] (1,2,3)V. Degli-Esposti et al., “Measurement and modelling of scattering from buildings,” IEEE Trans. Antennas Propag, vol. 55, no. 1, pp.143-153, Jan. 2007.
[Degli-Esposti11]V. Degli-Esposti et al., “Analysis and Modeling on co- and Cross-Polarized Urban Radio Propagation for Dual-Polarized MIMO Wireless Systems”, IEEE Trans. Antennas Propag, vol. 59, no. 11, pp.4247-4256, Nov. 2011.
[Degli-Esposti22] (1,2,3)V. Degli-Esposti et al., “Reradiation and Scattering From a Reconfigurable Intelligent Surface: A General Macroscopic Model”, IEEE Trans. Antennas Propag, vol. 70, no. 10, pp.8691-8706, Oct. 2022.
[Di-Renzo20]M. Di Renzo et al., “Smart Radio Environments Empowered by Reconfigurable Intelligent Surfaces: How It Works, State of Research, and The Road Ahead”, IEEE J. Sel. Areas Commun., vol. 38, no. 11 pp.2450-2525, Nov. 2020.
[Fresnel]Wikipedia, “Fresnel integral,” accessed 21 Apr. 2023.
[ITURP20402]ITU, “Recommendation ITU-R P.2040-2: Effects of building materials and structures on radiowave propagation above about 100 MHz”. Sep. 2021.
[Keller62]J. B. Keller, “Geometrical Theory of Diffraction,” Journal of the Optical Society of America, vol. 52, no. 2, Feb. 1962.
[Kline]M. Kline, “An Asymptotic Solution of Maxwell’s Equations,” Commun. Pure Appl. Math., vol. 4, 1951.
[Kouyoumjian74] (1,2,3)R. G. Kouyoumjian, “A uniform geometrical theory of diffraction for an edge in a perfectly conducting surface,” Proc. of the IEEE, vol. 62, no. 11, Nov. 1974.
[Luebbers84] (1,2,3)R. Luebbers, “Finite conductivity uniform GTD versus knife edge diffraction in prediction of propagation path loss,” IEEE Trans. Antennas and Propagation, vol. 32, no. 1, Jan. 1984.
[Luneberg]R. M. Luneberg, “Mathematical Theory of Optics,” Brown University Press, 1944.
[McNamara90] (1,2,3)D. A. McNamara, C.W.I. Pistorius, J.A.G. Malherbe, “Introduction to the Uniform Geometrical Theory of Diffraction,” Artech House, 1990.
[METIS]METIS Deliverable D1.4, “METIS Channel Models”, Feb. 2015.
[Tse]D. Tse, P. Viswanath, “Fundamentals of Wireless Communication”, Cambridge University Press, 2005.
[Vitucci24] (1,2,3,4,5,6,7,8)E. M. Vittuci et al., “An Efficient Ray-Based Modeling Approach for Scattering From Reconfigurable Intelligent Surfaces”, IEEE Trans. Antennas Propag, vol. 72, no. 3, pp.2673-2685, Mar. 2024.
[Wiesbeck]N. Geng and W. Wiesbeck, “Planungsmethoden für die Mobilkommunikation,” Springer, 1998.
[Wikipedia]Wikipedia, “Maximum power transfer theorem,” accessed 7 Oct. 2022.
[Wikipedia_Rodrigues]Wikipedia, “Rodrigues’ rotation formula,” accessed 16 Jun. 2023.
[Pharr]M. Pharr, J. Wenzel, G. Humphreys, “Physically Based Rendering: From Theory to Implementation,” MIT Press, 2023.