arXiv subjects

Corey Shanbrom

Publications and source records attributed to Corey Shanbrom.

15 recordsLinked to original sources

arXiv2025

The small growth invariants of Goursat distributions

This is the second of a pair of papers devoted to the local invariants of Goursat distributions. The study of these distributions naturally leads to a tower of spaces over an arbitrary surface, called the monster tower, and thence to connections with the topic of singularities of curves on surfaces. In the prior paper we studied those invariants of Goursat distributions akin to those of curves on surfaces, which we call structural invariants. In this paper we study invariants arising from the small growth sequence of a Goursat distribution, and relate them to the the structural invariants.

math.DG↗

arXiv2023

The structural invariants of Goursat distributions

This is the first of a pair of papers devoted to the local invariants of Goursat distributions. The study of these distributions naturally leads to a tower of spaces over an arbitrary surface, called the monster tower, and thence to connections with the topic of singularities of curves on surfaces. Here we study those invariants of Goursat distributions akin to those of curves on surfaces, which we call structural invariants. In the subsequent paper we will relate these structural invariants to the small growth invariants.

math.DG↗

arXiv2021

A look at endemic equilibria of compartmental epidemiological models and model control via vaccination and mitigation

Compartmental models have long served as important tools in mathematical epidemiology, with their usefulness highlighted by the recent COVID-19 pandemic. However, most of the classical models fail to account for certain features of this disease and others like it, such as the ability of exposed individuals to recover without becoming infectious, or the possibility that asymptomatic individuals can indeed transmit the disease but at a lesser rate than the symptomatic. In the first part of this paper we propose two new compartmental epidemiological models and study their equilibria, obtaining an endemic threshold theorem for the first model. In the second part of the paper, we treat the second model as an affine control system with two controls: vaccination and mitigation. We show that this system is static feedback linearizable, present some simulations, and investigate of an optimal control version of the problem. We conclude with some open problems and ideas for future research.

math.DS↗

arXiv2021

Geometric methods for efficient planar swimming of copepod nauplii

Copepod nauplii are larval crustaceans with important ecological functions. Due to their small size, they experience an environment of low Reynolds number within their aquatic habitat. Here we provide a mathematical model of a swimming copepod nauplius with two legs moving in a plane. This model allows for both rotation and two-dimensional displacement by periodic deformation of the swimmer's body. The system is studied from the framework of optimal control theory, with a simple cost function designed to approximate the mechanical energy expended by the copepod. We find that this model is sufficiently realistic to recreate behavior similar to those of observed copepod nauplii, yet much of the mathematical analysis is tractable. In particular, we show that the system is controllable, but there exist singular configurations where the degree of non-holonomy is non-generic. We also partially characterize the abnormal extremals and provide explicit examples of families of abnormal curves. Finally, we numerically simulate normal extremals and observe some interesting and surprising phenomena.

math.OC↗

arXiv2021

An introduction to the Kepler-Heisenberg problem

Here we provide an overview of what is known, and what is not known, about an interesting dynamical system known as the Kepler-Heisenberg problem. The main idea is to pose a version of the classical Kepler problem of planetary motion, but in a sub-Riemannian setting. The result is system which is surprisingly rich and beautiful, mysterious in some ways but tame in others, offering a substantial number of questions which seem non-trivial yet tractable.

math.DS↗

arXiv2020

Multi-agent systems for quadcopters

Unmanned Aerial Vehicles (UAVs) have been increasingly used in the context of remote sensing missions such as target search and tracking, mapping, or surveillance monitoring. In the first part of our paper we consider agent dynamics, network topologies, and collective behaviors. The objective is to enable multiple UAVs to collaborate toward a common goal, as one would find in a remote sensing setting. An agreement protocol is carried out by the multi-agents using local information, and without external user input. The second part of the paper focuses on the equations of motion for a specific type of UAV, the quadcopter, and expresses them as an affine nonlinear control system. Finally, we illustrate our work with a simulation of an agreement protocol for dynamically sound quadcopters augmenting the particle graph theoretic approach with orientation and a proper dynamics for quadcopters.

math.DS↗

arXiv2019

Self-similarity in the Kepler-Heisenberg problem

The Kepler-Heisenberg problem is that of determining the motion of a planet around a sun in the Heisenberg group, thought of as a three-dimensional sub-Riemannian manifold. The sub-Riemannian Hamiltonian provides the kinetic energy, and the gravitational potential is given by the fundamental solution to the sub-Laplacian. The dynamics are at least partially integrable, possessing two first integrals as well as a dilational momentum which is conserved by orbits with zero energy. The system is known to admit closed orbits of any rational rotation number, which all lie within the fundamental zero-energy integrable subsystem. Here we demonstrate that, under mild conditions, zero-energy orbits are self-similar. Consequently we find that these zero-energy orbits stratify into three families: future collision, past collision, and quasi-periodicity without collision. If a collision occurs, it occurs in finite time.

math.DS↗

arXiv2017

Numerical Methods and Closed Orbits in the Kepler-Heisenberg Problem

The Kepler-Heisenberg problem is that of determining the motion of a planet around a sun in the sub-Riemannian Heisenberg group. The sub-Riemannian Hamiltonian provides the kinetic energy, and the gravitational potential is given by the fundamental solution to the sub-Laplacian. This system is known to admit closed orbits, which all lie within a fundamental integrable subsystem. Here, we develop a computer program which finds these closed orbits using Monte Carlo optimization with a shooting method, and applying a recently developed symplectic integrator for nonseparable Hamiltonians. Our main result is the discovery of a family of flower-like periodic orbits with previously unknown symmetry types. We encode these symmetry types as rational numbers and provide evidence that these periodic orbits densely populate a one-dimensional set of initial conditions parametrized by the orbit's angular momentum. We provide links to all code developed.

math.NA↗

arXiv2017

Length spectra of sub-Riemannian metrics on compact Lie groups

Length spectra for Riemannian metrics are well studied, while sub-Riemannian length spectra have been largely unexplored. Here we give the length spectrum for a canonical sub-Riemannian structure attached to any compact Lie group by restricting its Killing form to the sum of the root spaces. Surprisingly, the shortest loops are the same in both the Riemannian and sub-Riemannian cases. We provide specific calculations for SU(2) and SU(3).

math.DG↗

arXiv2016

A coarse stratification of the monster tower

The monster tower is a tower of spaces over a specified base; each space in the tower is a parameter space for curvilinear data up to a specified order. We describe and analyze a natural stratification of these spaces.

math.AG↗

arXiv2015

Complete spelling rules for the Monster tower over three-space

The Monster tower, also known as the Semple tower, is a sequence of manifolds with distributions of interest to both differential and algebraic geometers. Each manifold is a projective bundle over the previous. Moreover, each level is a fiber compactified jet bundle equipped with an action of finite jets of the diffeomorphism group. There is a correspondence between points in the tower and curves in the base manifold. These points admit a stratification which can be encoded by a word called the RVT code. Here, we derive the spelling rules for these words in the case of a three dimensional base. That is, we determine precisely which words are realized by points in the tower. To this end, we study the incidence relations between certain subtowers, called Baby Monsters, and present a general method for determining the level at which each Baby Monster is born. Here, we focus on the case where the base manifold is three dimensional, but all the methods presented generalize to bases of arbitrary dimension.

math.DG↗

arXiv2014

Bridges Between Subriemannian Geometry and Algebraic Geometry

We consider how the problem of determining normal forms for a specific class of nonholonomic systems leads to various interesting and concrete bridges between two apparently unrelated themes. Various ideas that traditionally pertain to the field of algebraic geometry emerge here organically in an attempt to elucidate the geometric structures underlying a large class of nonholonomic distributions known as Goursat constraints. Among our new results is a regularization theorem for curves stated and proved using tools exclusively from nonholonomic geometry, and a computation of topological invariants that answer a question on the global topology of our classifying space. Last but not least we present for the first time some experimental results connecting the discrete invariants of nonholonomic plane fields such as the RVT code and the Milnor number of complex plane algebraic curves.

math.DG↗

arXiv2013

Periodic Orbits in the Kepler-Heisenberg Problem

One can formulate the classical Kepler problem on the Heisenberg group, the simplest sub-Riemannian manifold. We take the sub-Riemannian Hamiltonian as our kinetic energy, and our potential is the fundamental solution to the Heisenberg sub-Laplacian. The resulting dynamical system is known to contain a fundamental integrable subsystem. Here we use variational methods to prove that the Kepler-Heisenberg system admits periodic orbits with $k$-fold rotational symmetry for any odd integer $k\geq 3$. Approximations are shown for $k=3$.

math.DS↗

arXiv2012

Keplerian Dynamics on the Heisenberg Group and Elsewhere

Posing Kepler's problem of motion around a fixed "sun" requires the geometric mechanician to choose a metric and a Laplacian. The metric provides the kinetic energy. The fundamental solution to the Laplacian (with delta source at the "sun") provides the potential energy. Posing Kepler's three laws (with input from Galileo) requires symmetry conditions. The metric space must be homogeneous, isotropic, and admit dilations. Any Riemannian manifold enjoying these three symmetry properties is Euclidean. So if we want a semblance of Kepler's three laws to hold but also want to leave the Euclidean realm, we are forced out of the realm of Riemannian geometries. The Heisenberg group (a subRiemannian geometry) and lattices provide the simplest examples of metric spaces enjoying a semblance of all three of the Keplerian symmetries. We report success in posing, and solving, the Kepler problem on the Heisenberg group. We report failures in posing the Kepler problem on the rank two lattice and partial success in solving the problem on the integers. We pose a number of questions.

math.DS↗

arXiv2011

The Puiseux Characteristic of a Goursat Germ

Germs of Goursat distributions can be classified according to a geometric coding called an RVT code. Jean (1996) and Mormul (2004) have shown that this coding carries precisely the same data as the small growth vector. Montgomery and Zhitomirskii (2010) have shown that such germs correspond to finite jets of Legendrian curve germs, and that the RVT coding corresponds to the classical invariant in the singularity theory of planar curves: the Puiseux characteristic. Here we derive a simple formula for the Puiseux characteristic of the curve corresponding to a Goursat germ with given small growth vector. The simplicity of our theorem (compared with the more complex algorithms previously known) suggests a deeper connection between singularity theory and the theory of nonholonomic distributions.

math.DG↗