Related papers: Computing the Invariant Circle and the Foliation b…
Bott--Cattaneo's theory defines the integral invariants for a framed rational homology 3-sphere equipped with an acyclic orthogonal local system, in terms of graph cocycles without self-loops. The 2-loop term of their invariants is…
In this work we study orbit recovery over $SO(3)$, where the goal is to recover a function on the sphere from noisy, randomly rotated copies of it. We assume that the function is a linear combination of low-degree spherical harmonics. This…
This paper aims at reviewing nonlinear methods for model order reduction of structures with geometric nonlinearity, with a special emphasis on the techniques based on invariant manifold theory. Nonlinear methods differ from linear based…
This paper considers the persistent coverage of a 2-D manifold that has been embedded in 3-D space. The manifold is subject to continual impact by intruders which travel at constant velocities along arbitrarily oriented straight-line…
We present a new proof of the existence of normally hyperbolic manifolds and their whiskers for maps. Our result is not perturbative. Based on the bounds on the map and its derivative, we establish the existence of the manifold within a…
In dynamical systems theory, a fixed point of the dynamics is called nonhyperbolic if the linearization of the system around the fixed point has at least one eigenvalue with zero real part. The center manifold existence theorem guarantees…
In this paper we continue the work of Kalnins et al in classifying all second-order conformally-superintegrable (Laplace-type) systems over conformally flat spaces, using tools from algebraic geometry and classical invariant theory. The…
Interferometric closure invariants encode calibration-independent details of an object's morphology. Excepting simple cases, a direct backward transformation from closure invariants to morphologies is not well established. We demonstrate…
We present a new solution for fundamental problems in nonlinear dynamical systems: finding, verifying, and stabilizing cycles. The solution we propose consists of a new control method based on mixing previous states of the system (or the…
We present a novel approach for deriving KAM-type linearization theorems directly -- and almost immediately -- from the existence of the stable foliation for a renormalization operator. We give a few illustrations in dynamics in one and…
For a system of ODEs defined on an open, convex domain $U$ containing a positively invariant set $\Gamma$, we prove that under appropriate hypotheses, $\Gamma$ is the graph of a $C^r$ function and thus a $C^r$ manifold. Because the…
The present study presents a comprehensive theoretical investigation of atom and asymmetric top molecule inelastic scattering based on the R-matrix formalism. The proposed methodology establishes a rigorous framework for treating inelastic…
The analysis of contours of scalar fields plays an important role in visualization. For example the contour tree and contour statistics can be used as a means for interaction and filtering or as signatures. In the context of tensor field…
The Heyland circle diagram is a classical graphical tool for representing the steady-state behavior of induction machines using no-load and blocked-rotor test data. While widely used in alternating-current machinery texts, the diagram is…
The task of inducing, via continuous static state-feedback control, an asymptotically stable heteroclinic orbit in a nonlinear control system is considered in this paper. The main motivation comes from the problem of ensuring convergence to…
We present a method for establishing invariant manifolds for saddle--center fixed points. The method is based on cone conditions, suitably formulated to allow for application in computer assisted proofs, and does not require rigorous…
In transonic flow over aircraft wings, shock-boundary-layer interactions can give rise to transonic buffet, which degrades maneuverability through unsteady aerodynamic loads. Beyond its practical importance, two-dimensional transonic buffet…
In this paper we describe the tangent vectors of the stable and unstable manifold of a class of Anosov diffeomorphisms on the torus $\mathbb{T}^2$ using the method of formal series and derivative trees. We start with linear automorphism…
Ideal systems of equations such as Euler and MHD may develop singular structures like shocks, vortex/current sheets. Among these, vortical singularities arise due to vortex stretching which can lead to unbounded growth of enstrophy.…
We study the stable hyperelliptic locus, i.e. the closure, in the Deligne- Mumford moduli space of stable curves, of the locus of smooth hyperelliptic curves. Working on a suitable blowup of the relative Hilbert scheme (of degree 2)…