Towards Communication in a Curved Spacetime Geometry Qasem Exirifard∗, Eric Culf, and Ebrahim Karimi∗ Department of Physics, University of Ottawa, 25 Templeton St., Ottawa, Ontario, K1N 6N5 Canada and ∗Corresponding authors: [email protected] and [email protected] The current race in quantum communication – endeavouring to establish a global quantum network – must account for special and general relativistic effects. The well-studied general relativistic effects include Shapiro time-delay, gravitational lensing, and frame dragging which all are due to how a mass distribution alters geodesics. Here, we report how the curvature of spacetime geometry affects the propagation of information carriers along an arbitrary geodesic. An explicit expression for the distortion onto the carrier wavefunction in terms of the Riemann curvature is obtained. Furthermore, we investigate this distortion for anti de Sitter and Schwarzschild geometries. For instance, the spacetime curvature causes a 0.10 radian phase-shift for commu- nication between Earth and the International Space Station on a monochromatic laser beam and quadrupole astigmatism; can cause a 12.2 % cross-talk between structured modes traversing through the solar system. Our finding shows that this gravitational distortion is significant, and it needs to be either pre- or post-corrected at the sender or receiver to retrieve the information. Introduction duce all the effects of a curved space-time geometry. In [19], all the multi-polar ` modes are presented only at the level of Photons, electromagnetic waves, are widely used in clas- the equations, however, the upper value of ` = 100 on the sical and quantum communication since they do not possess multi-polar modes is considered to compute the solution. On electric charge or rest mass. However, a photon’s traits, e.g., the surface of the earth, a narrow beam with an initial width of group and phase velocity, wavelength, linear and optical an- 10 cm and a large value of Rayleigh range requires taking into gular momentum, are modified inside or during propagation account the contribution of multi-polar modes up to at-least 9 through a linear or a nonlinear medium. These traits are gov- ` = 10 . So the solutions presented in ref. [19] do not take erned by Maxwell’s equations which are the relativistic quan- into consideration all the multi-polar modes required to cal- tum field theory of the U(1) gauge connection. Understanding culate the effects of the curvature at the vicinity of the Earth. how these optical properties are altered upon propagation is a Here, we present a computationally simple method to calcu- key element for any optical communication network. In opti- late the distortion by the curvature of any spacetime geometry cal communication, the sender and the receiver, namely Alice on any localised wavepacket. and Bob, use one or several internal photonic degrees of free- In flat spacetime geometry, the propagation of each polari- dom, such as wavelength, polarisation, transverse mode, or sation of photon is isomorphic to the propagation of a mass- time-bins, to share information, including a ciphertext and the less scalar field. Based on our understanding of the Einstein secret key to decrypt the ciphertext. The propagation, e.g., equivalence principle, we expect that studying a massless through fibre, air or underwater channels, causes these pho- scalar field theory also captures some features of a photon’s tonic degrees of freedom to be altered, and thus causes un- propagation in curved spacetime geometry. Therefore, in this desired errors on the shared information. Therefore, the al- study, we consider the propagation of a massless scalar in the teration to those degrees of freedom for any communication bulk of the paper. In Supplementary Note 2, we prove that in channel needs to be considered and well-examined. Sharing the Lorentz gauge, each linear polarisation of the photon in a information with a longer range or with moving objects, e.g. curved spacetime geometry gets corrected as if it were a mass- satellites, airplanes, submersibles [1–5], requires the optical less scalar field. It is reported that the Riemann tensor quan- beam to not only traverse through a medium, but in a few tum mechanically alters the wavepacket propagating along a cases, also in the fabric of the spacetime geometry, where gen- geodesic. The alteration operators depend on the geodesic and arXiv:2009.04217v2 [gr-qc] 1 Aug 2021 eral relativistic effects manifest [6–9]. Effects associated to components of the Riemann tensor on the geodesic. The al- the change of the geodesic due to a mass distribution, such as teration is calculated for examples including the space-time Shapiro time-delay [10], gravitational lensing [11], and frame geometry around the Earth and the Sun. dragging [12], are well-studied and observed [13–16]. We explore the propagation of relativistic wavepackets along an arbitrary null geodesic in a general curved space- Results and Discussion time geometry, and show how the curvature of the spacetime geometry distorts the wavepacket as it travels along the null We start by considering a relativistic massless scalar field geodesic. Different methods are used to tackle this study. For := (xµ) that propagates in a curved spacetime geometry instance, the four-dimensional Klein-Gordon equation is ap- xµ = (t; xi) = (t; x; y; z) with an arbitrary Riemann curvature proximated to a simple two-dimensional partial differential tensor Rabcd. The units are chosen such that the speed of light equation by ignoring all the multi-polar modes [17, 18]. In in vacuum and the reduced Planck constant are equal to one, particular, in derivation of eq.(7) from eq.(6) in [17], the sec- i.e. c = 1 and ~ = 1. Let us consider a localized wave function ond term on the left-hand side of eq. (41) of [19] has not been (information carrier) whose size is small compared to the cur- taken into account, therefore, [17, 18] cannot claim to repro- vature of the spacetime geometry. At the leading order, there- 2 a b c t x+ Bob Alice x+ x γ x− 1 y x z x2 FIG. 1: Schematics of communication in a general curved spacetime geometry and proper chosen coordinates. a Two parties, namely Alice and Bob, communicate in a general curved spacetime geometry. Alice encodes her message in a sequence of information carriers and sends them to Bob. The information traverses through the spacetime over a geodesic γ. The physical traits of information are distorted by the curvature of the space-time, causing errors to the field wavepacket. b The shown null geodesic γ. Close to γ, at the local coordinates, the metric is approximately pseudo-Euclidean. c The associated Fermi coordinates, the null-geodesic-path is mapped to x+. fore, the carrier can be treated as a massless point-like particle tion of a point-like particle along the geodesic; the rest are that travels along a null geodesic γ, see Fig. 1 a. We choose quantum. The effective action of a free photon propagating in the local Fermi coordinates [21] along the geodesics in or- curved spacetime geometry coincides to the tree-level action, der to compute the quantum relativistic corrections. The met- therefore, we omit the subscript c. ric’s components in the Fermi coordinates can be expanded The massless scalar (quantum) field obeys the (covari- − 1 1 µν in terms of the components of the Riemann tensor Rabcd and ant) wave equation, = (−g) 2 @µ(−g) 2 g @ν = 0. In the its covariant derivatives evaluated on the geodesic, see Fig. 1 Fermi coordinates, gµν can be viewed as a perturbation to the b,c. The expansion of the metric up to quadratic order in the Minkowski metric, inducing expansion series for the inverse transverse coordinates of the geodesic of a massless particle γ and determinant of the metric: gµν = ηµν + εδgµν + O("2) and p is given by [20], ln( − det g) = εδg + O("2). " is the systematic perturbation parameter introduced to keep track of the perturbation series, 2 + − a b a¯ b¯ + 2 ds = 2dx dx + δabdx dx − R+a¯+b¯ x x (dx ) (1) which means that all the components of the Riemann tensor in Eq. (1) are multiplied with ", and " is treated as an infinitesi- 4 b¯ c¯ + a¯ 1 b¯ c¯ a¯ b¯ mal parameter. At the end of the computation, we set " = 1. + R+b¯a¯c¯ x x (dx dx ) + Ra¯c¯b¯d¯x x (dx dx ) + :::; 3 3 This technique helps us to systematically perform perturba- p tions for small curvatures. Utilizing the perturbation gives, where x± = (x3 ± t)= 2 represent the Dirac light-cone coor- + (0) µν µν 2 dinates [22] in the Fermi coordinates (x is always tangent = + "(@µ(δg @ν ) + η @νδg@µ ) = O(" ); (2) to the null geodesic Fig. 1-b), δab is the Kronecker delta, ˆ (0) µν 2 γ˙ is the tangent of the null geodesic and a; b 2 f1; 2g, and where = η @µ@ν = 2@−@+ + r? is the d’Alembert oper- a¯ − a 2 2 2 (x ) = (x ; x ) and the curvature components are evaluated ator in the flat spacetime geometry, and r? = @1 + @2. The on γ. The tree-level action of a massless scalar field in perturbative nature of Eq. (2) seeks for a series expansion, (0) (1) 2 (0) a generalp curved spacetime geometry is given by S [ ] = = + " + O(" ). Here, satisfies the scalar wave 1 R 4 µν (0) (0) 2 dx −gg @µ @ν , where g is the determinant of the equation in the flat spacetime geometry = 0, and the (1) metric gµν, and µ, ν 2 {±; ag. Since the tree-level action is perturbed term to the wavefunction, , yields, quadratic in terms of , it is quantum mechanically exact, (0) (1) µν (0) µν (0) which can be verified by lookingp at its generating function, = −@µ(δg @ν ) + η @νδg@µ : (3) R R 4 R i.e., Z[J] = D e−i(S [ ]+ d x − det gJ )= D e−iS [ ] – D We assume the Fourier expansion in terms of x− variable, represents the integration over all field configurations and J (0) R (0) + a i!x− (0) is the source field.