arXiv subjects

Ugo Boscain

Publications and source records attributed to Ugo Boscain.

At least 55 records · Page 3Linked to original sources

arXiv2015

Spectral analysis and the Aharonov-Bohm~effect on certain almost-Riemannian manifolds

We study spectral properties of the Laplace-Beltrami operator on two relevant almost-Riemannian manifolds, namely the Grushin structures on the cylinder and on the sphere. This operator contains first order diverging terms caused by the divergence of the volume. We get explicit descriptions of the spectrum and the eigenfunctions. In particular in both cases we get a Weyl's law with leading term $E\log E$. We then study the drastic effect of Aharonov-Bohm magnetic potentials on the spectral properties. Other generalised Riemannian structures including conic and anti-conic type manifolds are also studied. In this case, the Aharonov-Bohm magnetic potential may affect the self-adjointness of the Laplace-Beltrami operator

math.SP↗

arXiv2015

Sub-Finsler structures from the time-optimal control viewpoint for some nilpotent distributions

In this paper we study the sub-Finsler geometry as a time-optimal control problem. In particular, we consider non-smooth and non-strictly convex sub-Finsler structures associated with the Heisenberg, Grushin, and Martinet distributions. Motivated by problems in geometric group theory, we characterize extremal curves, discuss their optimality, and calculate the metric spheres, proving their Euclidean rectifiability.

math.DG↗

arXiv2015

Controllability of spin-boson systems

In this paper we study the so-called spin-boson system, namely {a two-level system} in interaction with a distinguished mode of a quantized bosonic field. We give a brief description of the controlled Rabi and Jaynes--Cummings models and we discuss their appearance in the mathematics and physics literature. We then study the controllability of the Rabi model when the control is an external field acting on the bosonic part. Applying geometric control techniques to the Galerkin approximation and using perturbation theory to guarantee non-resonance of the spectrum of the drift operator, we prove approximate controllability of the system, for almost every value of the interaction parameter.

quant-ph↗

arXiv2014

Local properties of almost-Riemannian structures in dimension 3

A 3D almost-Riemannian manifold is a generalized Riemannian manifold defined locally by 3 vector fields that play the role of an orthonormal frame, but could become collinear on some set $\Zz$ called the singular set. Under the Hormander condition, a 3D almost-Riemannian structure still has a metric space structure, whose topology is compatible with the original topology of the manifold. Almost-Riemannian manifolds were deeply studied in dimension 2. In this paper we start the study of the 3D case which appear to be reacher with respect to the 2D case, due to the presence of abnormal extremals which define a field of directions on the singular set. We study the type of singularities of the metric that could appear generically, we construct local normal forms and we study abnormal extremals. We then study the nilpotent approximation and the structure of the corresponding small spheres. We finally give some preliminary results about heat diffusion on such manifolds.

math.OC↗

arXiv2014

Hypoelliptic diffusion and human vision: a semi-discrete new twist

This paper presents a semi-discrete alternative to the theory of neurogeometry of vision, due to Citti, Petitot and Sarti. We propose a new ingredient, namely working on the group of translations and discrete rotations $SE(2,N)$. The theoretical side of our study relates the stochastic nature of the problem with the Moore group structure of $SE(2,N)$. Harmonic analysis over this group leads to very simple finite dimensional reductions. We then apply these ideas to the inpainting problem which is reduced to the integration of a completely parallelizable finite set of Mathieu-type diffusions (indexed by the dual of $SE(2,N)$ in place of the points of the Fourier plane, which is a drastic reduction). The integration of the the Mathieu equations can be performed by standard numerical methods for elliptic diffusions and leads to a very simple and efficient class of inpainting algorithms. We illustrate the performances of the method on a series of deeply corrupted images.

math.AP↗

arXiv2013

On the heat diffusion for generic Riemannian and sub-Riemannian structures

In this paper we provide the small-time heat kernel asymptotics at the cut locus in three relevant cases: generic low-dimensional Riemannian manifolds, generic 3D contact sub-Riemannian manifolds (close to the starting point) and generic 4D quasi-contact sub-Riemannian manifolds (close to a generic starting point). As a byproduct, we show that, for generic low-dimensional Riemannian manifolds, the only singularities of the exponential map, as a Lagragian map, that can arise along a minimizing geodesic are $A_3$ and $A_5$ (in the classification of Arnol'd's school). We show that in the non-generic case, a cornucopia of asymptotics can occur, even for Riemannian surfaces.

math.AP↗

arXiv2013

Approximate controllability, exact controllability, and conical eigenvalue intersections for quantum mechanical systems

We study the controllability of a closed control-affine quantum system driven by two or more external fields. We provide a sufficient condition for controllability in terms of existence of conical intersections between eigenvalues of the Hamiltonian in dependence of the controls seen as parameters. Such spectral condition is structurally stable in the case of three controls or in the case of two controls when the Hamiltonian is real. The spectral condition appears naturally in the adiabatic control framework and yields approximate controllability in the infinite-dimensional case. In the finite-dimensional case it implies that the system is Lie-bracket generating when lifted to the group of unitary transformations, and in particular that it is exactly controllable. Hence, Lie algebraic conditions are deduced from purely spectral properties. We conclude the article by proving that approximate and exact controllability are equivalent properties for general finite-dimensional quantum systems.

math-ph↗

arXiv2013

On some open questions in bilinear quantum control

The aim of this paper is to provide a short introduction to modern issues in the control of infinite dimensional closed quantum systems, driven by the bilinear Schrödinger equation. The first part is a quick presentation of some of the numerous recent developments in the fields. This short summary is intended to demonstrate the variety of tools and approaches used by various teams in the last decade. In a second part, we present four examples of bilinear closed quantum systems. These examples were extensively studied and may be used as a convenient and efficient test bench for new conjectures. Finally, we list some open questions, both of theoretical and practical interest.

math.OC↗

arXiv2013

Curve cuspless reconstruction via sub-Riemannian geometry

We consider the problem of minimizing $\int_{0}^L \sqrt{ξ^2 +K^2(s)}\, ds $ for a planar curve having fixed initial and final positions and directions. The total length $L$ is free. Here $s$ is the variable of arclength parametrization, $K(s)$ is the curvature of the curve and $ξ>0$ a parameter. This problem comes from a model of geometry of vision due to Petitot, Citti and Sarti. We study existence of local and global minimizers for this problem. We prove that if for a certain choice of boundary conditions there is no global minimizer, then there is neither a local minimizer nor a geodesic. We finally give properties of the set of boundary conditions for which there exists a solution to the problem.

math.OC↗

arXiv2013

Multi-input Schrödinger equation: controllability, tracking, and application to the quantum angular momentum

We present a sufficient condition for approximate controllability of the bilinear discrete-spectrum Schrödinger equation exploiting the use of several controls. The controllability result extends to simultaneous controllability, approximate controllability in $H^s$, and tracking in modulus. The result is more general than those present in the literature even in the case of one control and permits to treat situations in which the spectrum of the uncontrolled operator is very degenerate (e.g. it has multiple eigenvalues or equal gaps among different pairs of eigenvalues). We apply the general result to a rotating polar linear molecule, driven by three orthogonal external fields. A remarkable property of this model is the presence of infinitely many degeneracies and resonances in the spectrum preventing the application of the results in the literature.

math.OC↗

arXiv2012

Time minimal trajectories for two-level quantum systems with two bounded controls

In this paper we consider the minimum time population transfer problem for a two level quantum system driven by {\em two} external fields with bounded amplitude. The controls are modeled as real functions and we do not use the Rotating Wave Approximation. After projection on the Bloch sphere, we tackle the time-optimal control problem with techniques of optimal synthesis on 2-D manifolds. Based on the Pontryagin Maximum Principle, we characterize a restricted set of candidate optimal trajectories. Properties on this set, crucial for complete optimal synthesis, are illustrated by numerical simulations. Furthermore, when the two controls have the same bound and this bound is small with respect to the difference of the two energy levels, we get a complete optimal synthesis up to a small neighborhood of the antipodal point of the starting point.

math.OC↗

arXiv2012

On the Spherical Hausdorff Measure in Step 2 Corank 2 sub-Riemannian Geometry

In this paper, we consider generic corank 2 sub-Riemannian structures, and we show that the Spherical Hausdorf measure is always a C^1-smooth volume, which is in fact generically C^2- smooth out of a stratified subset of codimension 7. In particular, for rank 4, it is generically C^2 . This is the continuation of a previous work by the auhors.

math.DG↗

arXiv2012

Anthropomorphic image reconstruction via hypoelliptic diffusion

In this paper we study a model of geometry of vision due to Petitot, Citti and Sarti. One of the main features of this model is that the primary visual cortex V1 lifts an image from $R^2$ to the bundle of directions of the plane. Neurons are grouped into orientation columns, each of them corresponding to a point of this bundle. In this model a corrupted image is reconstructed by minimizing the energy necessary for the activation of the orientation columns corresponding to regions in which the image is corrupted. The minimization process intrinsically defines an hypoelliptic heat equation on the bundle of directions of the plane. In the original model, directions are considered both with and without orientation, giving rise respectively to a problem on the group of rototranslations of the plane SE(2) or on the projective tangent bundle of the plane $PTR^2$. We provide a mathematical proof of several important facts for this model. We first prove that the model is mathematically consistent only if directions are considered without orientation. We then prove that the convolution of a $L^2(R^2,R)$ function (e.g. an image) with a 2-D Gaussian is generically a Morse function. This fact is important since the lift of Morse functions to $PTR^2$ is defined on a smooth manifold. We then provide the explicit expression of the hypoelliptic heat kernel on $PTR^2$ in terms of Mathieu functions. Finally, we present the main ideas of an algorithm which allows to perform image reconstruction on real non-academic images. A very interesting point is that this algorithm is massively parallelizable and needs no information on where the image is corrupted.

math.OC↗

arXiv2012

Controllability of the bilinear Schrödinger equation with several controls and application to a 3D molecule

We show the approximate rotational controllability of a polar linear molecule by means of three nonresonant linear polarized laser fields. The result is based on a general approximate controllability result for the bilinear Schrödinger equation, with wavefunction varying in the unit sphere of an infinite-dimensional Hilbert space and with several control potentials, under the assumption that the internal Hamiltonian has discrete spectrum.

math.OC↗

arXiv2012

Small time heat kernel asymptotics at the sub-Riemannian cut locus

For a sub-Riemannian manifold provided with a smooth volume, we relate the small time asymptotics of the heat kernel at a point $y$ of the cut locus from $x$ with roughly "how much" $y$ is conjugate to $x$. This is done under the hypothesis that all minimizers connecting $x$ to $y$ are strongly normal, i.e.\ all pieces of the trajectory are not abnormal. Our result is a refinement of the one of Leandre $4t\log p_t(x,y)\to -d^2(x,y)$ for $t\to 0$, in which only the leading exponential term is detected. Our results are obtained by extending an idea of Molchanov from the Riemannian to the sub-Riemannian case, and some details we get appear to be new even in the Riemannian context. These results permit us to obtain properties of the sub-Riemannian distance starting from those of the heat kernel and vice versa. For the Grushin plane endowed with the Euclidean volume we get the expansion $p_t(x,y)\sim t^{-5/4}\exp(-d^2(x,y)/4t)$ where $y$ is reached from a Riemannian point $x$ by a minimizing geodesic which is conjugate at $y$.

math.AP↗

arXiv2011

Normal forms and invariants for 2-dimensional almost-Riemannian structures

Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. Generically, there are three types of points: Riemannian points where the two vector fields are linearly independent, Grushin points where the two vector fields are collinear but their Lie bracket is not, and tangency points where the two vector fields and their Lie bracket are collinear and the missing direction is obtained with one more bracket. In this paper we consider the problem of finding normal forms and functional invariants at each type of point. We also require that functional invariants are "complete" in the sense that they permit to recognize locally isometric structures. The problem happens to be equivalent to the one of finding a smooth canonical parameterized curve passing through the point and being transversal to the distribution. For Riemannian points such that the gradient of the Gaussian curvature $K$ is different from zero, we use the level set of $K$ as support of the parameterized curve. For Riemannian points such that the gradient of the curvature vanishes (and under additional generic conditions), we use a curve which is found by looking for crests and valleys of the curvature. For Grushin points we use the set where the vector fields are parallel. Tangency points are the most complicated to deal with. The cut locus from the tangency point is not a good candidate as canonical parameterized curve since it is known to be non-smooth. Thus, we analyse the cut locus from the singular set and we prove that it is not smooth either. A good candidate appears to be a curve which is found by looking for crests and valleys of the Gaussian curvature. We prove that the support of such a curve is uniquely determined and has a canonical parametrization.

math.OC↗

arXiv2011

On 2-step, corank 2 nilpotent sub-Riemannian metrics

In this paper we study the nilpotent 2-step, corank 2 sub-Riemannian metrics that are nilpotent approximations of general sub-Riemannian metrics. We exhibit optimal syntheses for these problems. It turns out that in general the cut time is not equal to the first conjugate time but has a simple explicit expression. As a byproduct of this study we get some smoothness properties of the spherical Hausdorff measure in the case of a generic 6 dimensional, 2-step corank 2 sub-Riemannian metric.

math.OC↗

arXiv2011

A weak spectral condition for the controllability of the bilinear Schrödinger equation with application to the control of a rotating planar molecule

In this paper we prove an approximate controllability result for the bilinear Schrödinger equation. This result requires less restrictive non-resonance hypotheses on the spectrum of the uncontrolled Schrödinger operator than those present in the literature. The control operator is not required to be bounded and we are able to extend the controllability result to the density matrices. The proof is based on fine controllability properties of the finite dimensional Galerkin approximations and allows to get estimates for the $L^{1}$ norm of the control. The general controllability result is applied to the problem of controlling the rotation of a bipolar rigid molecule confined on a plane by means of two orthogonal external fields.

math.OC↗