arXiv research

The paper explores subspaces in hyperbolic lattices and their arithmetic properties.

In this paper we analyze and classify the totally geodesic subspaces of finite volume quaternionic hyperbolic orbifolds and their generalizations, locally symmetric orbifolds arising from irreducible lattices in Lie groups of the form $(\mathbf{Sp}_{2n}(\mathbb{R}))^q \times \prod_{i=1}^r \mathbf{Sp}(p_i,n-p_i) \times …

Bicycle paths form geodesics in 3D subspaces, related to Kirchhoff rods.

Geometric framework for SPD matrices preserving subspace structures.

This paper investigates the generalization of Principal Component Analysis (PCA) to Riemannian manifolds. We first propose a new and general type of family of subspaces in manifolds that we call barycentric subspaces. They are implicitly defined as the locus of points which are weighted means of $k+1$ reference points.…

Study geodesics on Grassmann manifold for functions vanishing on subsets of a set X.

Study of symplectic Stiefel and Grassmann manifolds with geodesics and applications.

The abstract introduces a new concept called flagfolds to model multi-dimensional shapes.

New approach constructs symplectic structure on pseudo-Riemannian geodesics.

In this paper, we construct families of nonisometric hyperbolic orbifolds that contain the same isometry classes of nonflat totally geodesic subspaces. The main tool is a variant of the well-known Sunada method for constructing length-isospectral Riemannian manifolds that handles totally geodesic submanifolds of multip…

Study geodesics in constrained curve spaces, including elastic curves and concentric circles.

Study geodesics in 3-torus, determining complements' topology.

Given a complex structure $J$ on a real (finite or infinite dimensional) Hilbert space $H$, we study the geometry of the Lagrangian Grassmannian $Λ(H)$ of $H$, i.e. the set of closed linear subspaces $L\subset H$ such that $J(L)=L^\perp.$ The complex unitary group $U(H_J)$, consisting of the elements of the orthogona…

New method constructs non-arithmetic hyperbolic orbifolds from complex arithmetic ball quotients.

The paper shows how sublinearly Morse boundaries can be understood through combinatorial methods.

Study pairs of subspaces with or without a common complement in Hilbert spaces.

Geodesics found in a metric space of m-subharmonic functions.

Classifies big mapping classes on infinite type surfaces.

We will develop simple relations between the arc-lengths of a pair of geodesics that share common end-points. The two geodesics differ only by the requirement that one is constrained to lie in a subspace of the parent manifold. We will present two applications of our results. In the first example we explore the converg…

Let $V$ be a separable Hilbert space, possibly infinite dimensional. Let $\St(p,V)$ be the Stiefel manifold of orthonormal frames of $p$ vectors in $V$, and let $\Gr(p,V)$ be the Grassmann manifold of $p$ dimensional subspaces of $V$. We study the distance and the geodesics in these manifolds, by reducing the matter to…

We prove a semi-Riemannian version of the celebrated Morse Index Theorem for geodesics in semi-Riemannian manifolds; we consider the general case of both endpoints variable on two submanifolds. The key role of the theory is played by the notion of the {\em Maslov index} of a semi-Riemannian geodesic, which is a homolog…

We propose a conjugate gradient type optimization technique for the computation of the Karcher mean on the set of complex linear subspaces of fixed dimension, modeled by the so-called Grassmannian. The identification of the Grassmannian with Hermitian projection matrices allows an accessible introduction of the geometr…

Let $M_k$ be the complete, simply connected, Riemannian 2-manifold of constant curvature $k \le 0$. Let $E$ be a closed, simply connected subspace of $M_k$ with the property that every two points in $E$ is connected by a rectifiable path in $E$. We show that under the induced path metric, $E$ is a complete CAT($k$) spa…

Floating geodesic planes in Hitchin manifolds have fractal closures with non-integer dimensions.

Persistent homology reveals geometric features of metric spaces, especially geodesic circles.

In this paper we show that totally geodesic subspaces determine the commensurability class of a standard arithmetic hyperbolic $n$-orbifold, $n\ge 4$. Many of the results are more general and apply to locally symmetric spaces associated to arithmetic lattices in $\mathbb{R}$-simple Lie groups of type $B_n$ and $D_n$. W…

Many statistical and machine learning approaches rely on pairwise distances between data points. The choice of distance metric has a fundamental impact on performance of these procedures, raising questions about how to appropriately calculate distances. When data points are real-valued vectors, by far the most common c…

This handbook simplifies Grassmann manifold geometry for matrix-based algorithms.

We prove that for compact, non-contractible, one dimensional geodesic spaces, a version of the marked length spectrum conjecture holds. For a compact one dimensional geodesic space X, we define a subspace Conv(X). When X is non-contractible, we show that X deformation retracts to Conv(X). If two such spaces X, Y have t…

We establish Marstrand-type projection theorems for orthogonal projections along geodesics onto m-dimensional subspaces of hyperbolic $n$-space by a geometric argument. Moreover, we obtain a Besicovitch-Federer type characterization of purely unrectifiable sets in terms of these hyperbolic orthogonal projections.

There are several ways of a construction of a boundary of a symmetric space using pencils of geodesics: the Karpelevich boundary, the visibility boundary, the associahedral boundary, and the sea urchin. We give explicit descriptions of these boundaries. We obtain some moduli space like polyhedra as sections of these co…

A new method for generative modeling of discrete data using geometric latent subspaces.

In this article, relations between the root space decomposition of a Riemannian symmetric space of compact type and the root space decompositions of its totally geodesic submanifolds (symmetric subspaces) are described. These relations provide an approach to the classification of totally geodesic submanifolds in Rieman…

In this paper, we present GASG21 (Grassmannian Adaptive Stochastic Gradient for $L_{2,1}$ norm minimization), an adaptive stochastic gradient algorithm to robustly recover the low-rank subspace from a large matrix. In the presence of column outliers, we reformulate the batch mode matrix $L_{2,1}$ norm minimization with…

The group of real 4 by 4 upper triangular matrices with 1s on the diagonal has a left-invariant subRiemannian (or Carnot-Caratheodory) structure whose underlying distribution corresponds to the superdiagonal. We prove that the associated subRiemannian geodesic flow is not completely integrable. This provides the first …

We study relations between certain totally geodesic foliations of a closed flat manifold and its collapsed Gromov-Hausdorff limits. Our main results explicitly identify such collapsed limits as flat orbifolds, and provide algebraic and geometric criteria to determine whether they are singular.

We present a mathematical analysis of a non-convex energy landscape for robust subspace recovery. We prove that an underlying subspace is the only stationary point and local minimizer in a specified neighborhood under a deterministic condition on a dataset. If the deterministic condition is satisfied, we further show t…

We study the varieties of invariant totally geodesic submanifolds of isometries of the spherical, Euclidean and hyperbolic spaces in each finite dimension. We show that the dimensions of the connected components of these varieties determine the orbit type (or the z-class) of the isometry. For this purpose, we introduce…

Researchers found sub-Lorentzian geodesics on a specific Lie subgroup.

We consider a continuous path of bounded symmetric Fredholm bilinear forms with arbitrary endpoints on a real Hilbert space, and we prove a formula that gives the spectral flow of the path in terms of the spectral flow of the restriction to a finite codimensional closed subspace. We also discuss the case of restriction…

This paper gives a complete parametrization of the commensurability classes of totally geodesic subspaces of irreducible arithmetic quotients of $X_{a, b} = (\mathbf{H}^2)^a \times (\mathbf{H}^3)^b$. A special case describes all Shimura subvarieties of type $\mathrm{A}_1$ Shimura varieties. We produce, for any $n\geq 1…

In this paper, we study the Dirichlet problem of the geodesic equation in the space of Kähler cone metrics $\mathcal H_\b$; that is equivalent to a homogeneous complex Monge-Ampère equation whose boundary values consist of Kähler metrics with cone singularities. Our approach concerns the generalization of the space def…

A real projective orbifold has a radial end if a neighborhood of the end is foliated by projective geodesics that develop into geodesics ending at a common point. It has a totally geodesic end if the end can be completed to have the totally geodesic boundary. The purpose of this paper is to announce some partial result…

Let $Γ$ be a lattice in $\mathrm{SO}_0(n, 1)$. We prove that if the associated locally symmetric space contains infinitely many maximal totally geodesic subspaces of dimension at least $2$, then $Γ$ is arithmetic. This answers a question of Reid for hyperbolic $n$-manifolds and, independently, McMullen for hyperbolic $…

We give an effective upper bound, for certain arithmetic hyperbolic 3-manifold groups obtained from a quadratic form construction, on the minimal index of a subgroup that embeds in a fixed 6-dimensional right-angled reflection group, stabilizing a totally geodesic subspace. In particular, for manifold groups in any fix…

A helical CR structure is a decomposition of a real Euclidean space into an even-dimensional horizontal subspace and its orthogonal vertical complement, together with an almost complex structure on the horizontal space and a marked vector in the vertical space. We prove an equivalence between such structures and step t…

The increasing use of multiple sensors, which produce a large amount of multi-dimensional data, requires efficient representation and classification methods. In this paper, we present a new method for multi-dimensional data classification that relies on two premises: 1) multi-dimensional data are usually represented by…

We consider coefficient bodies $\mathcal M_n$ for univalent functions. Based on the Löwner-Kufarev parametric representation we get a partially integrable Hamiltonian system in which the first integrals are Kirillov's operators for a representation of the Virasoro algebra. Then $\mathcal M_n$ are defined as sub-Riemann…