-
Complete Catalog of Laser Locking Configurations for LISA
Authors:
Gerhard Heinzel,
Javier Álvarez-Vizoso,
Miguel Dovale-Álvarez
Abstract:
The Laser Interferometer Space Antenna (LISA) will enable direct observations of low-frequency gravitational waves, offering unprecedented insight into astrophysical and cosmological phenomena. LISA's heterodyne interferometric measurement system requires phase-locking five of its six onboard lasers with tunable frequency offsets to ensure that all beatnotes remain within the metrology system's op…
▽ More
The Laser Interferometer Space Antenna (LISA) will enable direct observations of low-frequency gravitational waves, offering unprecedented insight into astrophysical and cosmological phenomena. LISA's heterodyne interferometric measurement system requires phase-locking five of its six onboard lasers with tunable frequency offsets to ensure that all beatnotes remain within the metrology system's operational range, despite Doppler-induced frequency shifts. The selection of these offset frequencies -- collectively forming a frequency plan -- is a complex optimization problem constrained by the spacecraft's orbital dynamics and instrument limitations. While previous work established an algorithmic solution for deriving time-dependent frequency plans, this study takes a complementary approach by systematically analyzing and cataloging all possible laser locking configurations. We present an automated method to explore, validate, and classify viable locking schemes, identifying 36 unique non-frequency-swapping configurations and 72 additional frequency-swapping configurations for an arbitrary choice of primary laser. This exhaustive classification provides a foundation for frequency planning across the full range of operational scenarios.
△ Less
Submitted 28 May, 2025;
originally announced May 2025.
-
Frequency planning for LISA
Authors:
Gerhard Heinzel,
Javier Álvarez-Vizoso,
Miguel Dovale-Álvarez,
Karsten Wiesner
Abstract:
The Laser Interferometer Space Antenna (LISA) is poised to revolutionize astrophysics and cosmology in the late 2030's by unlocking unprecedented insights into the most energetic and elusive astrophysical phenomena. The mission envisages three spacecraft, each equipped with two lasers, on a triangular constellation with 2.5 million-kilometer arm-lengths. Six inter-spacecraft laser links are establ…
▽ More
The Laser Interferometer Space Antenna (LISA) is poised to revolutionize astrophysics and cosmology in the late 2030's by unlocking unprecedented insights into the most energetic and elusive astrophysical phenomena. The mission envisages three spacecraft, each equipped with two lasers, on a triangular constellation with 2.5 million-kilometer arm-lengths. Six inter-spacecraft laser links are established on a laser-transponder configuration, where five of the six lasers are offset-phase-locked to another. The need to determine a suitable set of transponder offset frequencies precisely, given the constraints imposed by the onboard metrology instrument and the orbital dynamics, poses an interesting technical challenge. In this paper we describe an algorithm that solves this problem via quadratic programming. The algorithm can produce concrete frequency plans for a given orbit and transponder configuration, ensuring that all of the critical interferometric signals stay within the desired frequency range throughout the mission lifetime, and enabling LISA to operate in science mode uninterruptedly.
△ Less
Submitted 15 July, 2024;
originally announced July 2024.
-
Two Formulas for the Number of Lines on Complex Projective Hypersurfaces
Authors:
Javier Álvarez-Vizoso
Abstract:
Two formulas for the classical number $C_n$ of lines on a generic hypersurface of degree $2n-3$ in $\mathbb{CP}^n$ are obtained which differ from the formulas by Dominici, Harris, Libgober, and van der Waerden-Zagier. We review the splitting principle computation by Harris obtaining a similar general closed-form formula in terms of the Catalan numbers and elementary symmetric polynomials. This in…
▽ More
Two formulas for the classical number $C_n$ of lines on a generic hypersurface of degree $2n-3$ in $\mathbb{CP}^n$ are obtained which differ from the formulas by Dominici, Harris, Libgober, and van der Waerden-Zagier. We review the splitting principle computation by Harris obtaining a similar general closed-form formula in terms of the Catalan numbers and elementary symmetric polynomials. This in turn yields $C_n$ as a linear difference recursion relation of unbounded order. Thus, for the sequence of certain linear combinations of $C_n$, a simple generating function is found. Then, a result from random algebraic geometry by Basu, Lerario, Lundberg, and Peterson, that expresses these classical enumerative invariants as proportional to the Bombieri norm of particular polynomial determinants, yields another combinatorial expansion in terms of certain set compositions and block labeling counting. As an example, we compute this combinatorial interpretation for the cases of 27 lines on a cubic surface and 2875 lines on a quintic threefold. As an application, we reobtain the parity and asymptotic upper bound of the sequence. In an appendix, we generalize the splitting principle calculation to obtain a formula for the number of lines on a generic complete intersection.
△ Less
Submitted 13 May, 2024; v1 submitted 20 February, 2024;
originally announced February 2024.
-
Statistical characterization of the chordal product determinant of Grassmannian codes
Authors:
Javier Álvarez-Vizoso,
Carlos Beltrán,
Diego Cuevas,
Ignacio Santamarıa,
Vit Tucek,
Gunnar Peters
Abstract:
We consider the chordal product determinant, a measure of the distance between two subspaces of the same dimension. In information theory, collections of elements in the complex Grassmannian are searched with the property that their pairwise chordal products are as large as possible. We characterize this function from an statistical perspective, which allows us to obtain bounds for the minimal cho…
▽ More
We consider the chordal product determinant, a measure of the distance between two subspaces of the same dimension. In information theory, collections of elements in the complex Grassmannian are searched with the property that their pairwise chordal products are as large as possible. We characterize this function from an statistical perspective, which allows us to obtain bounds for the minimal chordal product and related energy of such collections.
△ Less
Submitted 5 October, 2022;
originally announced October 2022.
-
Curvature of the Gauss map for normally flat submanifolds in space forms
Authors:
Javier Álvarez-Vizoso
Abstract:
For a submanifold with flat normal bundle in a space form there is a normal orthonormal basis that simultaneously diagonalizes the corresponding Weingarten operators, and at which these operators satisfy a simple Codazzi symmetry. When the second fundamental form has zero index of relative nullity, the image of the Gauss map as defined by Obata is a submanifold of a generalized Grassmannian manifo…
▽ More
For a submanifold with flat normal bundle in a space form there is a normal orthonormal basis that simultaneously diagonalizes the corresponding Weingarten operators, and at which these operators satisfy a simple Codazzi symmetry. When the second fundamental form has zero index of relative nullity, the image of the Gauss map as defined by Obata is a submanifold of a generalized Grassmannian manifold, with induced metric given by the third fundamental form, corresponding to the sum of the squares of these operators. In this case, we show that the Riemann curvature tensor of the Gauss image is completely determined by the curvature and Weingarten operators of the original submanifold, in a form analogous to a theorema egregium that relates the intrinsic geometry of the Gauss map with the extrinsic geometry of the original embedding. For this, we derive the difference vector of the induced Levi-Civita connections and express the Riemann curvature tensor with a generalized Kulkarni-Nomizu product.
△ Less
Submitted 1 October, 2022; v1 submitted 13 September, 2022;
originally announced September 2022.
-
Constellations on the Sphere with Efficient Encoding-Decoding for Noncoherent Communications
Authors:
Javier Álvarez-Vizoso,
Carlos Beltrán,
Ignacio Santamaria,
Vit Tucek,
Gunnar Peters
Abstract:
In this paper, we propose a new structured Grassmannian constellation for noncoherent communications over single-input multiple-output (SIMO) Rayleigh block-fading channels. The constellation, which we call Grass-Lattice, is based on a measure preserving mapping from the unit hypercube to the Grassmannian of lines. The constellation structure allows for on-the-fly symbol generation, low-complexity…
▽ More
In this paper, we propose a new structured Grassmannian constellation for noncoherent communications over single-input multiple-output (SIMO) Rayleigh block-fading channels. The constellation, which we call Grass-Lattice, is based on a measure preserving mapping from the unit hypercube to the Grassmannian of lines. The constellation structure allows for on-the-fly symbol generation, low-complexity decoding, and simple bit-to-symbol Gray coding. Simulation results show that Grass-Lattice has symbol and bit error rate performance close to that of a numerically optimized unstructured constellation, and is more power efficient than other structured constellations proposed in the literature and a coherent pilot-based scheme.
△ Less
Submitted 9 September, 2022;
originally announced September 2022.
-
Constrained Riemannian Noncoherent Constellations for the MIMO Multiple Access Channel
Authors:
Javier Álvarez-Vizoso,
Diego Cuevas,
Carlos Beltrán,
Ignacio Santamaria,
Vit Tucek,
Gunnar Peters
Abstract:
We consider the design of multiuser constellations for a multiple access channel (MAC) with K users, with M antennas each, that transmit simultaneously to a receiver equipped with N antennas through a Rayleigh block-fading channel, when no channel state information (CSI) is available to either the transmitter or the receiver. In full-diversity scenarios where the coherence time is at least T>= (K+…
▽ More
We consider the design of multiuser constellations for a multiple access channel (MAC) with K users, with M antennas each, that transmit simultaneously to a receiver equipped with N antennas through a Rayleigh block-fading channel, when no channel state information (CSI) is available to either the transmitter or the receiver. In full-diversity scenarios where the coherence time is at least T>= (K+1)M, the proposed constellation design criterion is based on the asymptotic expression of the multiuser pairwise error probability (PEP) derived by Brehler and Varanasi. In non-full diversity scenarios, for which the previous PEP expression is no longer valid, the proposed design criteria are based on proxies of the PEP recently proposed by Ngo and Yang. Although both the PEP expression and its bounds or proxies were previously considered intractable for optimization, in this work we derive their respective unconstrained gradients. These gradients are in turn used in the optimization of the proposed cost functions in different Riemannian manifolds representing different power constraints. In particular, in addition to the standard unitary space-time modulation (USTM) leading to optimization on the Grassmann manifold, we consider a more relaxed per-codeword power constraint leading to optimization on the so-called oblique manifold, and an average power constraint leading to optimization on the so-called trace manifold. Equipped with these theoretical tools, we design multiuser constellations for the MIMO MAC in full-diversity and non-full-diversity scenarios with state-of-the-art performance in terms of symbol error rate (SER).
△ Less
Submitted 2 September, 2022;
originally announced September 2022.
-
Integral Invariants from Covariance Analysis of Embedded Riemannian Manifolds
Authors:
Javier Álvarez-Vizoso,
Michael Kirby,
Chris Peterson
Abstract:
Principal Component Analysis can be performed over small domains of an embedded Riemannian manifold in order to relate the covariance analysis of the underlying point set with the local extrinsic and intrinsic curvature. We show that the volume of domains on a submanifold of general codimension, determined by the intersection with higher-dimensional cylinders and balls in the ambient space, have a…
▽ More
Principal Component Analysis can be performed over small domains of an embedded Riemannian manifold in order to relate the covariance analysis of the underlying point set with the local extrinsic and intrinsic curvature. We show that the volume of domains on a submanifold of general codimension, determined by the intersection with higher-dimensional cylinders and balls in the ambient space, have asymptotic expansions in terms of the mean and scalar curvatures. Moreover, we propose a generalization of the classical third fundamental form to general submanifolds and prove that the eigenvalue decomposition of the covariance matrices of the domains have asymptotic expansions with scale that contain the curvature information encoded by the traces of this tensor. In the case of hypersurfaces, this covariance analysis recovers the principal curvatures and principal directions, which can be used as descriptors at scale to build up estimators of the second fundamental form, and thus the Riemann tensor, of general submanifolds.
△ Less
Submitted 27 April, 2018;
originally announced April 2018.
-
Manifold Curvature Descriptors from Hypersurface Integral Invariants
Authors:
Javier Álvarez-Vizoso,
Michael Kirby,
Chris Peterson
Abstract:
Integral invariants obtained from Principal Component Analysis on a small kernel domain of a submanifold encode important geometric information classically defined in differential-geometric terms. We generalize to hypersurfaces in any dimension major results known for surfaces in space, which in turn yield a method to estimate the extrinsic and intrinsic curvature of an embedded Riemannian submani…
▽ More
Integral invariants obtained from Principal Component Analysis on a small kernel domain of a submanifold encode important geometric information classically defined in differential-geometric terms. We generalize to hypersurfaces in any dimension major results known for surfaces in space, which in turn yield a method to estimate the extrinsic and intrinsic curvature of an embedded Riemannian submanifold of general codimension. In particular, integral invariants are defined by the volume, barycenter, and the EVD of the covariance matrix of the domain. We obtain the asymptotic expansion of such invariants for a spherical volume component delimited by a hypersurface and for the hypersurface patch created by ball intersetions, showing that the eigenvalues and eigenvectors can be used as multi-scale estimators of the principal curvatures and principal directions. This approach may be interpreted as performing statistical analysis on the underlying point-set of a submanifold in order to obtain geometric descriptors at scale with potential applications to Manifold Learning and Geometry Processing of point clouds.
△ Less
Submitted 13 April, 2018;
originally announced April 2018.
