Searcharxiv⌕ Search

arXiv subjects

Yu. Sachkov

Publications and source records attributed to Yu. Sachkov.

8 recordsLinked to original sources
arXiv2024

Sub-Riemannian geodesics on the Heisenberg 3D nil-manifold

We study the projection of the left-invariant sub-Riemannian structure on the 3D Heisenberg group $G$ to the Heisenberg 3D nil-manifold $M$ -- the compact homogeneous space of $G$ by the discrete Heisenberg group. First we describe dynamical properties of the geodesic flow for $M$: periodic and dense orbits, and a dynamical characterization of the normal Hamiltonian flow of Pontryagin maximum principle. Then we obtain sharp twoside bounds of sub-Riemannian balls and distance in $G$, and on this basis we estimate the cut time for sub-Riemannian geodesics in $M$.

math.DG↗
arXiv2020

Co-adjoint orbits and time-optimal problems for two-step free-nilpotent Lie groups

We describe co-adjoint orbits and Casimir functions for two-step free-nilpotent Lie algebras. The symplectic foliation consists of affine subspaces of the Lie coalgebra of different dimensions. Further, we consider left-invariant time-optimal problems on two-step Carnot groups, for which the set of admissible velocities is a strictly convex compactum in the first layer of the Lie algebra containing the origin in its interior. We describe integrals for the vertical subsystem of the Hamiltonian system of Pontryagin maximum principle. Further, we describe constancy and periodicity of solutions to this subsystem and controls, and characterize its flow, for two-dimensional co-adjoint orbits.

math.OC↗
arXiv2018

Sub-Finsler geodesics on the Cartan group

This paper is a continuation of the work by the same authors on the Cartan group equipped with the sub-Finsler $\ell_\infty$ norm. We start by giving a detailed presentation of the structure of bang-bang extremal trajectories. Then we prove upper bounds on the number of switchings on bang-bang minimizers. We prove that any normal extremal is either bang-bang, or singular, or mixed. Consequently, we study mixed extremals. In particular, we prove that every two points can be connected by a piecewise smooth minimizer, and we give a uniform bound on the number of such pieces.

math.DG↗
arXiv2018

A sub-Finsler problem on the Cartan group

In this paper we study a sub-Finsler geometric problem on the free-nilpotent group of rank 2 and step 3. Such a group is also called Cartan group and has a natural structure of Carnot group, which we metrize considering the $\ell_\infty$ norm on its first layer. We adopt the point of view of time-optimal control theory. We characterize extremal curves via Pontryagin maximum principle. We describe abnormal and singular arcs, and construct the bang-bang flow.

math.DG↗
arXiv2017

Vessel Tracking via Sub-Riemannian Geodesics on $\mathbb{R}^2 \times P^{1}$

We study a data-driven sub-Riemannian (SR) curve optimization model for connecting local orientations in orientation lifts of images. Our model lives on the projective line bundle $\mathbb{R}^{2} \times P^{1}$, with $P^{1}=S^{1}/_{\sim}$ with identification of antipodal points. It extends previous cortical models for contour perception on $\mathbb{R}^{2} \times P^{1}$ to the data-driven case. We provide a complete (mainly numerical) analysis of the dynamics of the 1st Maxwell-set with growing radii of SR-spheres, revealing the cut-locus. Furthermore, a comparison of the cusp-surface in $\mathbb{R}^{2} \times P^{1}$ to its counterpart in $\mathbb{R}^{2} \times S^{1}$ of a previous model, reveals a general and strong reduction of cusps in spatial projections of geodesics. Numerical solutions of the model are obtained by a single wavefront propagation method relying on a simple extension of existing anisotropic fast-marching or iterative morphological scale space methods. Experiments show that the projective line bundle structure greatly reduces the presence of cusps. Another advantage of including $\mathbb{R}^2 \times P^{1}$ instead of $\mathbb{R}^{2} \times S^{1}$ in the wavefront propagation is reduction of computational time.

math.OC↗
arXiv2016

Tracking of Lines in Spherical Images via Sub-Riemannian Geodesics on SO(3)

In order to detect salient lines in spherical images, we consider the problem of minimizing the functional $\int \limits_0^l C(\gamma(s)) \sqrt{\xi^2 + k_g^2(s)} \, {\rm d}s$ for a curve $\gamma$ on a sphere with fixed boundary points and directions. The total length $l$ is free, $s$ denotes the spherical arclength, and $k_g$ denotes the geodesic curvature of $\gamma$. Here the smooth external cost $C\geq \delta>0$ is obtained from spherical data. We lift this problem to the sub-Riemannian (SR) problem in Lie group $SO(3)$ and show that the spherical projection of certain SR geodesics provides a solution to our curve optimization problem. In fact, this holds only for the geodesics whose spherical projection does not exhibit a cusp. The problem is a spherical extension of a well-known contour perception model, where we extend the model by Boscain and Rossi to the general case $\xi > 0$, $C \neq 1$. For $C=1$, we derive SR geodesics and evaluate the first cusp time. We show that these curves have a simpler expression when they are parameterized by spherical arclength rather than by sub-Riemannian arclength. For case $C \neq 1$ (data-driven SR geodesics), we solve via a SR Fast Marching method. Finally, we show an experiment of vessel tracking in a spherical image of the retina and study the effect of including the spherical geometry in analysis of vessels curvature.

math.OC↗