Related papers: Controllability on landmark manifolds for shapes a…
We show that for a finite-dimensional Hilbert space, there exist observables that induce a tensor product structure such that the entanglement properties of any pure state can be tailored. In particular, we provide an explicit, finite…
New examples of harmonic unit vector fields on hyperbolic 3-space are constructed by exploiting the reduction of symmetry arising from the foliation by horospheres. This is compared and contrasted with the analogous construction in…
We present ShapeFlow, a flow-based model for learning a deformation space for entire classes of 3D shapes with large intra-class variations. ShapeFlow allows learning a multi-template deformation space that is agnostic to shape topology,…
Multidimensional systems coupled via complex networks are widespread in nature and thus frequently invoked for a large plethora of interesting applications. From ecology to physics, individual entities in mutual interactions are grouped in…
We construct a Floer type boundary operator for generalised Morse-Smale dynamical systems on compact smooth manifolds by counting the number of suitable flow lines between closed (both homoclinic and periodic) orbits and isolated critical…
The duality between controllability and observability enables methods developed for full-state control to be applied to full-state estimation, and vice versa. In applications in which control or estimation of all state variables is…
Let $\xi$ be an analytic vector field in $\mathbb{R}^3$ with an isolated singularity at the origin and having only hyperbolic singular points after a reduction of singularities $\pi:M\to\mathbb{R}^3$. The union of the images by $\pi$ of the…
We show that Euclidean geometry in suitably high dimension can be expressed as a theory of orthogonality of subspaces with fixed dimensions and fixed dimension of their meet.
This technical report presents an environment representation for use in vision-based navigation. The representation has two useful properties: 1) it has constant size, which can enable strong run-time guarantees to be made for control…
We study wave maps from the circle to a general compact Riemannian manifold. We prove that the global controllability of this geometric equation is characterized precisely by the homotopy class of the data. As a remarkable intermediate…
Let $S$ be a complete flat surface, such as the Euclidean plane. We obtain direct characterizations of the connected components of the space of all curves on $S$ which start and end at given points in given directions, and whose curvatures…
The curvature field is measured from tracer particle trajectories in a two-dimensional fluid flow that exhibits spatiotemporal chaos, and is used to extract the hyperbolic and elliptic points of the flow. These special points are pinned to…
Theorems on the existence of vector fields with given sets of Indexes of isolated Singular points are proved for the cases of closed manifolds, pairs of manifolds, manifolds with boundary, and gradient fields. It is proved that, on a…
Neural networks transform high-dimensional data into compact, structured representations, often modeled as elements of a lower dimensional latent space. In this paper, we present an alternative interpretation of neural models as dynamical…
We investigate the small-time local controllability of systems in the vicinity of an equilibrium. Given a small time, an initial data and a final data close from the equilibrium, is it possible to find a control (a source term) that guides…
In this paper we present a computer-assisted procedure for proving the existence of transverse heteroclinic orbits connecting hyperbolic equilibria of polynomial vector fields. The idea is to compute high-order Taylor approximations of…
This short report establishes some basic properties of smooth vector fields on product manifolds. The main results are: (i) On a product manifold there always exists a direct sum decomposition into horizontal and vertical vector fields.…
Approximate controllability of the Euler equations is investigated by means of a finite set of actuators. It is proven that approximate controllability holds if we can find a saturating subset of actuators. The notion of saturating set is…
Topological transforms have been very useful in statistical analysis of shapes or surfaces without restrictions that the shapes are diffeomorphic and requiring the estimation of correspondence maps. In this paper we introduce two…
The generation of continuous-variable multipartite entangled states is important for several protocols of quantum information processing and communication, such as one-way quantum computation or controlled dense coding. In this article we…