Related papers: On Computing Geodesics in Baumslag-Solitar Groups

We study the full language of quasigeodesics in Cayley graphs, with fixed error constants. We show that, given a non-virtually-cyclic nilpotent group or Baumslag--Solitar group, and any finite generating set, such languages fail to be…

This paper is devoted to geodesic completeness of left-invariant metrics for real and complex Lie groups. We start by establishing the Euler-Arnold formalism in the holomorphic setting. We study the real Lie group $\mathrm{SL}(2,…

The geometric approach to optimal transport and information theory has triggered the interpretation of probability densities as an infinite-dimensional Riemannian manifold. The most studied Riemannian structures are Otto's metric, yielding…

We consider the symplectic groupoid of pairs $(B, A)$ with $A$ real unipotent upper-triangular matrix and $B\in GL_n$ being such that $\tilde A=BAB^T$ is also a unipotent upper-triangular matrix. Fock and Chekhov defined a Poisson map of…

We propose an optimization algorithm for computing geodesics on the universal Teichm\"uller space T(1) in the Weil-Petersson ($W P$) metric. Another realization for T(1) is the space of planar shapes, modulo translation and scale, and thus…

A vertex set $S$ of a graph $G$ is geodetic if every vertex of $G$ lies on a shortest path between two vertices in $S$. Given a graph $G$ and $k \in \mathbb N$, the NP-hard Geodetic Set problem asks whether there is a geodetic set of size…

Cannon has given an example of a virtually abelian group and a generating set where the full language of geodesics is not regular. We describe a virtually abelian group and a generating set so that no regular language of geodesics surjects…

We study geodesics of the form $\gamma(t)=\pi(\exp(tX)\exp(tY))$, $X,Y\in \fr{g}=\operatorname{Lie}(G)$, in homogeneous spaces $G/K$, where $\pi:G\rightarrow G/K$ is the natural projection. These curves naturally generalise homogeneous…

We study growth of higher Sobolev norms of solutions to the one-dimensional periodic nonlinear Schrodinger equation (NLS). By a combination of the normal form reduction and the upside-down I-method, we establish \|u(t)\|_{H^s} \lesssim…

We study the average rank of elliptic curves $E_{A,B} : y^2 = x^3 + Ax + B$ over $\mathbb{Q}$, ordered by the height function $h(E_{A,B}) := \text{max}(|A|, |B|)$. Understanding this average rank requires estimating the number of…

Left invariant metrics induced by the p-norms of the trace in the matrix algebra are studied on the general lineal group. By means of the Euler-Lagrange equations, existence and uniqueness of extremal paths for the length functional are…

We investigate geodesic orbits and manifolds for metrics associated with Schwarzschild geometry, considering space and time curvatures separately. For `a-temporal' space, we solve a central geodesic orbit equation in terms of elliptic…

In Nielsen's geometric approach to quantum complexity, the introduction of a suitable geometrical space, based on the Lie group formed by fundamental operators, facilitates the identification of complexity through geodesic distance in the…

We investigate the number of geodesics between two points $p$ and $q$ on a contact sub-Riemannian manifold M. We show that the count of geodesics on $M$ is controlled by the count on its nilpotent approximation at $p$ (a contact Carnot…

In the 1990s, J.H. Conway published a combinatorial-geometric method for analyzing integer-valued binary quadratic forms (BQFs). Using a visualization he named the "topograph," Conway revisited the reduction of BQFs and the solution of…

In this note, we show that sub-Riemannian manifolds can contain branching normal minimizing geodesics. This phenomenon occurs if and only if a normal geodesic has a discontinuity in its rank at a non-zero time, which in particular for a…

Given a finitely generated relatively hyperbolic group $G$, we construct a finite generating set $X$ of $G$ such that $(G,X)$ has the `falsification by fellow traveler property' provided that the parabolic subgroups $\{H_\omega\}_{\omega\in…

We show that the Grothendieck-Teichm\"uller group of $PSL(2, q)$, or more precisely the group $GT_1(PSL(2, q))$ as previously defined by the author, is the product of an elementary abelian 2-group and several copies of the dihedral group of…

We describe the inverse image of the Riemannian exponential map at a basepoint of a compact symmetric space as the disjoint union of so called focal orbits through a maximal torus. These are orbits of a subgroup of the isotropy group acting…

The geodesic between two points $a$ and $b$ in the interior of a simple polygon~$P$ is the shortest polygonal path inside $P$ that connects $a$ to $b$. It is thus the natural generalization of straight line segments on unconstrained point…