-
Schr{ö}dinger eigenfunctions sharing the same modulus and applications to the control of quantum systems
Authors:
Ugo Boscain,
Kévin Le Balc'H,
Mario Sigalotti
Abstract:
In this paper we investigate when linearly independent eigenfunctions of the Schr\''odinger operator may have the same modulus. General properties are established and the one-dimensional case is treated in full generality. The study is motivated by its application to the bilinear control of the Schr{ö}dinger equation. By assuming that the potentials of interaction satisfy a saturation property and…
▽ More
In this paper we investigate when linearly independent eigenfunctions of the Schr\''odinger operator may have the same modulus. General properties are established and the one-dimensional case is treated in full generality. The study is motivated by its application to the bilinear control of the Schr{ö}dinger equation. By assuming that the potentials of interaction satisfy a saturation property and by adapting a strategy recently proposed by Duca and Nersesyan, we discuss when the system can be steered arbitrarily fast between energy levels. Extensions of the previous results to quantum graphs are finally presented.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Quantum control of ro-vibrational dynamics and application to light-induced molecular chirality
Authors:
Monika Leibscher,
Eugenio Pozzoli,
Alexander Blech,
Mario Sigalotti,
Ugo Boscain,
Christiane P. Koch
Abstract:
Achiral molecules can be made temporarily chiral by excitation with electric fields, in the sense that an average over molecular orientations displays a net chiral signal [Tikhonov et al., Sci. Adv. 8, eade0311 (2022)]. Here, we go beyond the assumption of molecular orientations to remain fixed during the excitation process. Treating both rotations and vibrations quantum mechanically, we identify…
▽ More
Achiral molecules can be made temporarily chiral by excitation with electric fields, in the sense that an average over molecular orientations displays a net chiral signal [Tikhonov et al., Sci. Adv. 8, eade0311 (2022)]. Here, we go beyond the assumption of molecular orientations to remain fixed during the excitation process. Treating both rotations and vibrations quantum mechanically, we identify conditions for the creation of chiral vibrational wavepackets -- with net chiral signals -- in ensembles of achiral molecules which are initially randomly oriented. Based on the analysis of symmetry and controllability, we derive excitation schemes for the creation of chiral wavepackets using a combination of (a) microwave and IR pulses and (b) a static field and a sequence of IR pulses. These protocols leverage quantum rotational dynamics for pump-probe spectroscopy of chiral vibrational dynamics, extending the latter to regions of the electromagnetic spectrum other than the UV.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Surfaces of genus $g\geq 1$ in 3D contact sub-Riemannian manifolds
Authors:
Eugenio Bellini,
Ugo Boscain
Abstract:
We consider surfaces embedded in a 3D contact sub-Riemannian manifold and the problem of the finiteness of the induced distance (i.e., the infimum of the length of horizontal curves that belong to the surface). Recently it has been proved that for a surface having the topology of a sphere embedded in a tight co-orientable structure, the distance is always finite. In this paper we study closed surf…
▽ More
We consider surfaces embedded in a 3D contact sub-Riemannian manifold and the problem of the finiteness of the induced distance (i.e., the infimum of the length of horizontal curves that belong to the surface). Recently it has been proved that for a surface having the topology of a sphere embedded in a tight co-orientable structure, the distance is always finite. In this paper we study closed surfaces of genus larger than 1, proving that such surfaces can be embedded in such a way that the induced distance is finite or infinite. We then study the structural stability of the finiteness/not-finiteness of the distance.
△ Less
Submitted 12 July, 2024; v1 submitted 5 May, 2023;
originally announced May 2023.
-
Embedding the Grushin Cylinder in ${\bf R}^3$and Schroedinger evolution
Authors:
Ivan Beschastnyi,
Ugo Boscain,
Daniele Cannarsa,
Eugenio Pozzoli
Abstract:
We consider the evolution of a free quantum particle on the Grushin cylinder, under different type of quantizations. In particular we are interested to understand if the particle can cross the singular set, i.e., the set where the structure is not Riemannian. We consider intrinsic and extrinsic quantizations, where the latter are obtained by embedding the Grushin structure isometrically in…
▽ More
We consider the evolution of a free quantum particle on the Grushin cylinder, under different type of quantizations. In particular we are interested to understand if the particle can cross the singular set, i.e., the set where the structure is not Riemannian. We consider intrinsic and extrinsic quantizations, where the latter are obtained by embedding the Grushin structure isometrically in ${\bf R}^3$ (with singularities). As a byproduct we provide formulas to embed the Grushin cylinder in ${\bf R^3}$ that could be useful for other purposes. Such formulas are not global, but permit to study the embedding arbitrarily close to the singular set. We extend these results to the case of $α$-Grushin cylinders.
△ Less
Submitted 3 April, 2023;
originally announced April 2023.
-
Chattering Phenomenon in Quantum Optimal Control
Authors:
R. Robin,
U. Boscain,
M. Sigalotti,
D. Sugny
Abstract:
We present a quantum optimal control problem which exhibits a chattering phenomenon. This is the first instance of such a process in quantum control. Using the Pontryagin Maximum Principle and a general procedure due to V. F. Borisov and M. I. Zelikin, we characterize the local optimal synthesis, which is then globalized by a suitable numerical algorithm. We illustrate the importance of detecting…
▽ More
We present a quantum optimal control problem which exhibits a chattering phenomenon. This is the first instance of such a process in quantum control. Using the Pontryagin Maximum Principle and a general procedure due to V. F. Borisov and M. I. Zelikin, we characterize the local optimal synthesis, which is then globalized by a suitable numerical algorithm. We illustrate the importance of detecting chattering phenomena because of their impact on the efficiency of numerical optimization procedures.
△ Less
Submitted 2 January, 2023; v1 submitted 28 June, 2022;
originally announced June 2022.
-
Quantum optimal control in quantum technologies. Strategic report on current status, visions and goals for research in Europe
Authors:
Christiane P. Koch,
Ugo Boscain,
Tommaso Calarco,
Gunther Dirr,
Stefan Filipp,
Steffen J. Glaser,
Ronnie Kosloff,
Simone Montangero,
Thomas Schulte-Herbrüggen,
Dominique Sugny,
Frank K. Wilhelm
Abstract:
Quantum optimal control, a toolbox for devising and implementing the shapes of external fields that accomplish given tasks in the operation of a quantum device in the best way possible, has evolved into one of the cornerstones for enabling quantum technologies. The last few years have seen a rapid evolution and expansion of the field. We review here recent progress in our understanding of the cont…
▽ More
Quantum optimal control, a toolbox for devising and implementing the shapes of external fields that accomplish given tasks in the operation of a quantum device in the best way possible, has evolved into one of the cornerstones for enabling quantum technologies. The last few years have seen a rapid evolution and expansion of the field. We review here recent progress in our understanding of the controllability of open quantum systems and in the development and application of quantum control techniques to quantum technologies. We also address key challenges and sketch a roadmap for future developments.
△ Less
Submitted 24 May, 2022;
originally announced May 2022.
-
Local controllability does imply global controllability
Authors:
Ugo Boscain,
Daniele Cannarsa,
Valentina Franceschi,
Mario Sigalotti
Abstract:
We say that a control system is locally controllable if the attainable set from any state $x$ contains an open neighborhood of $x$, while it is controllable if the attainable set from any state is the entire state manifold. We show in this note that a control system satisfying local controllability is controllable. Our self-contained proof is alternative to the combination of two previous results…
▽ More
We say that a control system is locally controllable if the attainable set from any state $x$ contains an open neighborhood of $x$, while it is controllable if the attainable set from any state is the entire state manifold. We show in this note that a control system satisfying local controllability is controllable. Our self-contained proof is alternative to the combination of two previous results by Kevin Grasse.
△ Less
Submitted 27 October, 2021; v1 submitted 13 October, 2021;
originally announced October 2021.
-
Lie algebra for rotational subsystems of a driven asymmetric top
Authors:
Eugenio Pozzoli,
Monika Leibscher,
Mario Sigalotti,
Ugo Boscain,
Christiane P. Koch
Abstract:
We present an analytical approach to construct the Lie algebra of finite-dimensional subsystems of the driven asymmetric top rotor. Each rotational level is degenerate due to the isotropy of space, and the degeneracy increases with rotational excitation. For a given rotational excitation, we determine the nested commutators between drift and drive Hamiltonians using a graph representation. We then…
▽ More
We present an analytical approach to construct the Lie algebra of finite-dimensional subsystems of the driven asymmetric top rotor. Each rotational level is degenerate due to the isotropy of space, and the degeneracy increases with rotational excitation. For a given rotational excitation, we determine the nested commutators between drift and drive Hamiltonians using a graph representation. We then generate the Lie algebra for subsystems with arbitrary rotational excitation using an inductive argument.
△ Less
Submitted 7 October, 2021;
originally announced October 2021.
-
An auditory cortex model for sound processing
Authors:
Rand Asswad,
Ugo Boscain,
Giuseppina Turco,
Dario Prandi,
Ludovic Sacchelli
Abstract:
The reconstruction mechanisms built by the human auditory system during sound reconstruction are still a matter of debate. The purpose of this study is to refine the auditory cortex model introduced in [9], and inspired by the geometrical modelling of vision. The algorithm transforms the degraded sound in an 'image' in the time-frequency domain via a short-time Fourier transform. Such an image is…
▽ More
The reconstruction mechanisms built by the human auditory system during sound reconstruction are still a matter of debate. The purpose of this study is to refine the auditory cortex model introduced in [9], and inspired by the geometrical modelling of vision. The algorithm transforms the degraded sound in an 'image' in the time-frequency domain via a short-time Fourier transform. Such an image is then lifted in the Heisenberg group and it is reconstructed via a Wilson-Cowan differo-integral equation. Numerical experiments on a library of speech recordings are provided, showing the good reconstruction properties of the algorithm.
△ Less
Submitted 8 March, 2021;
originally announced March 2021.
-
Quantum confinement for the curvature Laplacian $-Δ+cK$ on 2D-almost-Riemannian manifolds
Authors:
Ivan Beschastnyi,
Ugo Boscain,
Eugenio Pozzoli
Abstract:
Two-dimension almost-Riemannian structures of step 2 are natural generalizations of the Grushin plane. They are generalized Riemannian structures for which the vectors of a local orthonormal frame can become parallel. Under the 2-step assumption the singular set $Z$, where the structure is not Riemannian, is a 1D embedded submanifold. While approaching the singular set, all Riemannian quantities d…
▽ More
Two-dimension almost-Riemannian structures of step 2 are natural generalizations of the Grushin plane. They are generalized Riemannian structures for which the vectors of a local orthonormal frame can become parallel. Under the 2-step assumption the singular set $Z$, where the structure is not Riemannian, is a 1D embedded submanifold. While approaching the singular set, all Riemannian quantities diverge. A remarkable property of these structures is that the geodesics can cross the singular set without singularities, but the heat and the solution of the Schrödinger equation (with the Laplace-Beltrami operator $Δ$) cannot. This is due to the fact that (under a natural compactness hypothesis), the Laplace-Beltrami operator is essentially self-adjoint on a connected component of the manifold without the singular set. In the literature such phenomenon is called quantum confinement.
In this paper we study the self-adjointness of the curvature Laplacian, namely $-Δ+cK$, for $c\in(0,1/2)$ (here $K$ is the Gaussian curvature), which originates in coordinate-free quantization procedures (as for instance in path-integral or covariant Weyl quantization). We prove that there is no quantum confinement for this type of operators.
△ Less
Submitted 5 August, 2021; v1 submitted 6 November, 2020;
originally announced November 2020.
-
Introduction to the Pontryagin Maximum Principle for Quantum Optimal Control
Authors:
U. Boscain,
M. Sigalotti,
D. Sugny
Abstract:
Optimal Control Theory is a powerful mathematical tool, which has known a rapid development since the 1950s, mainly for engineering applications. More recently, it has become a widely used method to improve process performance in quantum technologies by means of highly efficient control of quantum dynamics. This tutorial aims at providing an introduction to key concepts of optimal control theory w…
▽ More
Optimal Control Theory is a powerful mathematical tool, which has known a rapid development since the 1950s, mainly for engineering applications. More recently, it has become a widely used method to improve process performance in quantum technologies by means of highly efficient control of quantum dynamics. This tutorial aims at providing an introduction to key concepts of optimal control theory which is accessible to physicists and engineers working in quantum control or in related fields. The different mathematical results are introduced intuitively, before being rigorously stated. This tutorial describes modern aspects of optimal control theory, with a particular focus on the Pontryagin Maximum Principle, which is the main tool for determining open-loop control laws without experimental feedback. The different steps to solve an optimal control problem are discussed, before moving on to more advanced topics such as the existence of optimal solutions or the definition of the different types of extremals, namely normal, abnormal, and singular. The tutorial covers various quantum control issues and describes their mathematical formulation suitable for optimal control. The connection between the Pontryagin Maximum Principle and gradient-based optimization algorithms used for high-dimensional quantum systems is described. The optimal solution of different low-dimensional quantum systems is presented in detail, illustrating how the mathematical tools are applied in a practical way.
△ Less
Submitted 15 September, 2021; v1 submitted 19 October, 2020;
originally announced October 2020.
-
Complete Controllability Despite Degeneracy: Quantum Control of Enantiomer-Specific State Transfer in Chiral Molecules
Authors:
Monika Leibscher,
Eugenio Pozzoli,
Cristobal Pérez,
Melanie Schnell,
Mario Sigalotti,
Ugo Boscain,
Christiane P. Koch
Abstract:
We prove complete controllability for rotational states of an asymmetric top molecule belonging to degenerate values of the orientational quantum number M. Based on this insight, we construct a pulse sequence that energetically separates population initially distributed over degenerate M-states, as a precursor for orientational purification.
Introducing the concept of enantio-selective controlla…
▽ More
We prove complete controllability for rotational states of an asymmetric top molecule belonging to degenerate values of the orientational quantum number M. Based on this insight, we construct a pulse sequence that energetically separates population initially distributed over degenerate M-states, as a precursor for orientational purification.
Introducing the concept of enantio-selective controllability, we determine the conditions for complete enantiomer-specific population transfer in chiral molecules and construct pulse sequences realizing this transfer for population initially distributed over degenerate M-states. This degeneracy presently limits enantiomer-selectivity for any initial state except the rotational ground state. Our work thus shows how to overcome an important obstacle towards separating, with electric fields only, left-handed from right-handed molecules in a racemic mixture.
△ Less
Submitted 19 October, 2020;
originally announced October 2020.
-
On the induced geometry on surfaces in 3D contact sub-Riemannian manifolds
Authors:
Davide Barilari,
Ugo Boscain,
Daniele Cannarsa
Abstract:
Given a surface $S$ in a 3D contact sub-Riemannian manifold $M$, we investigate the metric structure induced on $S$ by $M$, in the sense of length spaces. First, we define a coefficient $\widehat K$ at characteristic points that determines locally the characteristic foliation of $S$. Next, we identify some global conditions for the induced distance to be finite. In particular, we prove that the in…
▽ More
Given a surface $S$ in a 3D contact sub-Riemannian manifold $M$, we investigate the metric structure induced on $S$ by $M$, in the sense of length spaces. First, we define a coefficient $\widehat K$ at characteristic points that determines locally the characteristic foliation of $S$. Next, we identify some global conditions for the induced distance to be finite. In particular, we prove that the induced distance is finite for surfaces with the topology of a sphere embedded in a tight coorientable distribution, with isolated characteristic points.
△ Less
Submitted 24 September, 2020;
originally announced September 2020.
-
Effective adiabatic control of a decoupled Hamiltonian obtained by rotating wave approximation
Authors:
Nicolas Augier,
Ugo Boscain,
Mario Sigalotti
Abstract:
In this paper we study up to which extent we can apply adiabatic control strategies to a quantum control model obtained by rotating wave approximation. In particular, we show that, under suitable assumptions on the asymptotic regime between the parameters characterizing the rotating wave and the adiabatic approximations, the induced flow converges to the one obtained by considering the two approxi…
▽ More
In this paper we study up to which extent we can apply adiabatic control strategies to a quantum control model obtained by rotating wave approximation. In particular, we show that, under suitable assumptions on the asymptotic regime between the parameters characterizing the rotating wave and the adiabatic approximations, the induced flow converges to the one obtained by considering the two approximations separately and by combining them formally in cascade. As a consequence, we propose explicit control laws which can be used to induce desired populations transfers, robustly with respect to parameter dispersions in the controlled Hamiltonian.
△ Less
Submitted 11 January, 2021; v1 submitted 6 May, 2020;
originally announced May 2020.
-
Stochastic processes on surfaces in three-dimensional contact sub-Riemannian manifolds
Authors:
Davide Barilari,
Ugo Boscain,
Daniele Cannarsa,
Karen Habermann
Abstract:
We are concerned with stochastic processes on surfaces in three-dimensional contact sub-Riemannian manifolds. Employing the Riemannian approximations to the sub-Riemannian manifold which make use of the Reeb vector field, we obtain a second order partial differential operator on the surface arising as the limit of Laplace-Beltrami operators. The stochastic process associated with the limiting oper…
▽ More
We are concerned with stochastic processes on surfaces in three-dimensional contact sub-Riemannian manifolds. Employing the Riemannian approximations to the sub-Riemannian manifold which make use of the Reeb vector field, we obtain a second order partial differential operator on the surface arising as the limit of Laplace-Beltrami operators. The stochastic process associated with the limiting operator moves along the characteristic foliation induced on the surface by the contact distribution. We show that for this stochastic process elliptic characteristic points are inaccessible, while hyperbolic characteristic points are accessible from the separatrices. We illustrate the results with examples and we identify canonical surfaces in the Heisenberg group, and in ${\rm SU}(2)$ and ${\rm SL}(2,\mathbb{R})$ equipped with the standard sub-Riemannian contact structures as model cases for this setting. Our techniques further allow us to derive an expression for an intrinsic Gaussian curvature of a surface in a general three-dimensional contact sub-Riemannian manifold.
△ Less
Submitted 28 April, 2020;
originally announced April 2020.
-
A bio-inspired geometric model for sound reconstruction
Authors:
Ugo Boscain,
Dario Prandi,
Ludovic Sacchelli,
Giuseppina Turco
Abstract:
The reconstruction mechanisms built by the human auditory system during sound reconstruction are still a matter of debate. The purpose of this study is to propose a mathematical model of sound reconstruction based on the functional architecture of the auditory cortex (A1). The model is inspired by the geometrical modelling of vision, which has undergone a great development in the last ten years. T…
▽ More
The reconstruction mechanisms built by the human auditory system during sound reconstruction are still a matter of debate. The purpose of this study is to propose a mathematical model of sound reconstruction based on the functional architecture of the auditory cortex (A1). The model is inspired by the geometrical modelling of vision, which has undergone a great development in the last ten years. There are however fundamental dissimilarities, due to the different role played by the time and the different group of symmetries. The algorithm transforms the degraded sound in an 'image' in the time-frequency domain via a short-time Fourier transform. Such an image is then lifted in the Heisenberg group and it is reconstructed via a Wilson-Cowan differo-integral equation. Preliminary numerical experiments are provided, showing the good reconstruction properties of the algorithm on synthetic sounds concentrated around two frequencies.
△ Less
Submitted 19 October, 2020; v1 submitted 6 April, 2020;
originally announced April 2020.
-
Ensemble qubit controllability with a single control via adiabatic and rotating wave approximations
Authors:
Rémi Robin,
Nicolas Augier,
Ugo Boscain,
Mario Sigalotti
Abstract:
In the physics literature it is common to see the rotating wave approximation andthe adiabatic approximation used "in cascade" to justify the use of chirped pulses for two-level quantum systems driven by one external field, in particular when the resonance frequency of the system is not known precisely. Both approximations need relatively long time and are essentially based on averaging theory of…
▽ More
In the physics literature it is common to see the rotating wave approximation andthe adiabatic approximation used "in cascade" to justify the use of chirped pulses for two-level quantum systems driven by one external field, in particular when the resonance frequency of the system is not known precisely. Both approximations need relatively long time and are essentially based on averaging theory of dynamical systems. Unfortunately, the two approximations cannot be done independently since, in a sense, the two time scales interact. The purpose of this paper is to study how the cascade of the two approximations can be justified and how large becomes the final time as the fidelity goes to one, while preserving the robustness of the adiabatic strategy. Our first result, based on high-order averaging techniques, gives a precise quantification of the uncertainty interval of the resonance frequency for which the population inversion works. As a byproduct of this result, we prove that it is possible to control an ensemble of spin systems by a single real-valued control, providing a non-trivial extension of a celebrated result of ensemble controllability with two controls by Khaneja and Li.
△ Less
Submitted 10 May, 2021; v1 submitted 12 March, 2020;
originally announced March 2020.
-
An obstruction to small-time controllability of the bilinear Schr{ö}dinger equation
Authors:
Ivan Beschastnyi,
Ugo Boscain,
Mario Sigalotti
Abstract:
In this article we discuss which controllability properties of classical Hamiltonian systems are preserved after quantization. We discuss some necessary and some sufficient conditions for small-time controllability of classical systems and quantum systems using the WKB method. In particular, we investigate the conjecture that if the classical system is not small-time controllable, then the corresp…
▽ More
In this article we discuss which controllability properties of classical Hamiltonian systems are preserved after quantization. We discuss some necessary and some sufficient conditions for small-time controllability of classical systems and quantum systems using the WKB method. In particular, we investigate the conjecture that if the classical system is not small-time controllable, then the corresponding quantum system is not small-time controllable either.
△ Less
Submitted 6 December, 2019; v1 submitted 29 November, 2019;
originally announced November 2019.
-
Extensions of Brownian motion to a family of Grushin-type singularities
Authors:
Ugo Boscain,
Robert W. Neel
Abstract:
We consider a one-parameter family of Grushin-type singularities on surfaces, and discuss the possible diffusions that extend Brownian motion to the singularity. This gives a quick proof and clear intuition for the fact that heat can only cross the singularity for an intermediate range of the parameter. When crossing is possible and the singularity consists of one point, we give a complete descrip…
▽ More
We consider a one-parameter family of Grushin-type singularities on surfaces, and discuss the possible diffusions that extend Brownian motion to the singularity. This gives a quick proof and clear intuition for the fact that heat can only cross the singularity for an intermediate range of the parameter. When crossing is possible and the singularity consists of one point, we give a complete description of these diffusions, and we describe a "best" extension, which respects the isometry group of the surface and also realizes the unique symmetric one-point extension of the Brownian motion, in the sense of Chen-Fukushima. This extension, however, does not correspond to the bridging extension, which was introduced by Boscain-Prandi, when they previously considered self-adjoint extensions of the Laplace-Beltrami operator on the Riemannian part for these surfaces. We clarify that several of the extensions they considered induce diffusions that are carried by the Marin compactification at the singularity, which is much larger than the (one-point) metric completion. In the case when the singularity is more than one-point, a complete classification of diffusions extending Brownian motion would be unwieldy. Nonetheless, we again describe a "best" extension which respects the isometry group, and in this case, this diffusion corresponds to the bridging extension. A prominent role is played by Bessel processes (of every real dimension) and the classical theory of one-dimensional diffusions and their boundary conditions.
△ Less
Submitted 5 October, 2019;
originally announced October 2019.
-
Classical and quantum controllability of a rotating symmetric molecule
Authors:
Ugo Boscain,
Eugenio Pozzoli,
Mario Sigalotti
Abstract:
In this paper we study the controllability problem for a symmetric-top molecule, both for its classical and quantum rotational dynamics. The molecule is controlled through three orthogonal electric fields interacting with its electric dipole. We characterize the controllability in terms of the dipole position: when it lies along the symmetry axis of the molecule neither the classical nor the quant…
▽ More
In this paper we study the controllability problem for a symmetric-top molecule, both for its classical and quantum rotational dynamics. The molecule is controlled through three orthogonal electric fields interacting with its electric dipole. We characterize the controllability in terms of the dipole position: when it lies along the symmetry axis of the molecule neither the classical nor the quantum dynamics are controllable, due to the presence of a conserved quantity, the third component of the total angular momentum; when it lies in the orthogonal plane to the symmetry axis, a quantum symmetry arises, due to the superposition of symmetric states, which has no classical counterpart. If the dipole is neither along the symmetry axis nor orthogonal to it, controllability for the classical dynamics and approximate controllability for the quantum dynamics are proved to hold. The approximate controllability of the symmetric-top Schroedinger equation is established by using a Lie-Galerkin method, based on block-wise approximations of the infinite-dimensional systems.
△ Less
Submitted 17 September, 2021; v1 submitted 4 October, 2019;
originally announced October 2019.
-
Semi-conical eigenvalue intersections and the ensemble controllability problem for quantum systems
Authors:
Nicolas Augier,
Ugo Boscain,
Mario Sigalotti
Abstract:
We study one-parametric perturbations of finite dimensional real Hamiltonians depending on two controls, and we show that generically in the space of Hamiltonians, conical intersections of eigenvalues can degenerate into semi-conical intersections of eigenvalues. Then, through the use of normal forms, we study the problem of ensemble controllability between the eigenstates of a generic Hamiltonian…
▽ More
We study one-parametric perturbations of finite dimensional real Hamiltonians depending on two controls, and we show that generically in the space of Hamiltonians, conical intersections of eigenvalues can degenerate into semi-conical intersections of eigenvalues. Then, through the use of normal forms, we study the problem of ensemble controllability between the eigenstates of a generic Hamiltonian.
△ Less
Submitted 5 September, 2019;
originally announced September 2019.
-
On the compatibility between the adiabatic and the rotating wave approximations in quantum control
Authors:
Nicolas Augier,
Ugo Boscain,
Mario Sigalotti
Abstract:
In this paper, we discuss the compatibility between the rotating-wave and the adiabatic approximations for controlled quantum systems. Although the paper focuses on applications to two-level quantum systems, the main results apply in higher dimension. Under some suitable hypotheses on the time scales, the two approximations can be combined. As a natural consequence of this, it is possible to desig…
▽ More
In this paper, we discuss the compatibility between the rotating-wave and the adiabatic approximations for controlled quantum systems. Although the paper focuses on applications to two-level quantum systems, the main results apply in higher dimension. Under some suitable hypotheses on the time scales, the two approximations can be combined. As a natural consequence of this, it is possible to design control laws achieving transitions of states between two energy levels of the Hamiltonian that are robust with respect to inhomogeneities of the amplitude of the control input.
△ Less
Submitted 5 September, 2019;
originally announced September 2019.
-
Point interactions for 3D sub-Laplacians
Authors:
Riccardo Adami,
Ugo Boscain,
Valentina Franceschi,
Dario Prandi
Abstract:
In this paper we show that, for a sub-Laplacian $Δ$ on a $3$-dimensional manifold $M$, no point interaction centered at a point $q_0\in M$ exists. When $M$ is complete w.r.t. the associated sub-Riemannian structure, this means that $Δ$ acting on $C^\infty_0(M\setminus\{q_0\})$ is essentially self-adjoint. A particular example is the standard sub-Laplacian on the Heisenberg group. This is in stark…
▽ More
In this paper we show that, for a sub-Laplacian $Δ$ on a $3$-dimensional manifold $M$, no point interaction centered at a point $q_0\in M$ exists. When $M$ is complete w.r.t. the associated sub-Riemannian structure, this means that $Δ$ acting on $C^\infty_0(M\setminus\{q_0\})$ is essentially self-adjoint. A particular example is the standard sub-Laplacian on the Heisenberg group. This is in stark contrast with what happens in a Riemannian manifold $N$, whose associated Laplace-Beltrami operator is never essentially self-adjoint on $C^\infty_0(N\setminus\{q_0\})$, if $\dim N\le 3$. We then apply this result to the Schrödinger evolution of a thin molecule, i.e., with a vanishing moment of inertia, rotating around its center of mass.
△ Less
Submitted 27 November, 2019; v1 submitted 14 February, 2019;
originally announced February 2019.
-
Cortical-inspired image reconstruction via sub-Riemannian geometry and hypoelliptic diffusion
Authors:
Ugo Boscain,
Roman Chertovskih,
Jean-Paul Gauthier,
Dario Prandi,
Alexey Remizov
Abstract:
In this paper we review several algorithms for image inpainting based on the hypoelliptic diffusion naturally associated with a mathematical model of the primary visual cortex. In particular, we present one algorithm that does not exploit the information of where the image is corrupted, and others that do it. While the first algorithm is able to reconstruct only images that our visual system is st…
▽ More
In this paper we review several algorithms for image inpainting based on the hypoelliptic diffusion naturally associated with a mathematical model of the primary visual cortex. In particular, we present one algorithm that does not exploit the information of where the image is corrupted, and others that do it. While the first algorithm is able to reconstruct only images that our visual system is still capable of recognize, we show that those of the second type completely transcend such limitation providing reconstructions at the state-of-the-art in image inpainting. This can be interpreted as a validation of the fact that our visual cortex actually encodes the first type of algorithm.
△ Less
Submitted 11 January, 2018;
originally announced January 2018.
-
Heat kernel asymptotics on sub-Riemannian manifolds with symmetries and applications to the bi-Heisenberg group
Authors:
Davide Barilari,
Ugo Boscain,
Robert W. Neel
Abstract:
By adapting a technique of Molchanov, we obtain the heat kernel asymptotics at the sub-Riemannian cut locus, when the cut points are reached by an $r$-dimensional parametric family of optimal geodesics. We apply these results to the bi-Heisenberg group, that is, a nilpotent left-invariant sub-Rieman\-nian structure on $\mathbb{R}^{5}$ depending on two real parameters $α_{1}$ and $α_{2}$. We develo…
▽ More
By adapting a technique of Molchanov, we obtain the heat kernel asymptotics at the sub-Riemannian cut locus, when the cut points are reached by an $r$-dimensional parametric family of optimal geodesics. We apply these results to the bi-Heisenberg group, that is, a nilpotent left-invariant sub-Rieman\-nian structure on $\mathbb{R}^{5}$ depending on two real parameters $α_{1}$ and $α_{2}$. We develop some results about its geodesics and heat kernel associated to its sub-Laplacian and we illuminate some interesting geometric and analytic features appearing when one compares the isotropic ($α_{1}=α_{2}$) and the non-isotropic cases ($α_{1}\neq α_{2}$). In particular, we give the exact structure of the cut locus, and we get the complete small-time asymptotics for its heat kernel.
△ Less
Submitted 3 June, 2016;
originally announced June 2016.
-
Generic singularities of line fields on 2D manifolds
Authors:
Ugo Boscain,
Ludovic Sacchelli,
Mario Sigalotti
Abstract:
Generic singularities of line fields have been studied for lines of principal curvature of embedded surfaces. In this paper we propose an approach to classify generic singularities of general line fields on 2D manifolds. The idea is to identify line fields as bisectors of pairs of vector fields on the manifold, with respect to a given conformal structure. The singularities correspond to the zeros…
▽ More
Generic singularities of line fields have been studied for lines of principal curvature of embedded surfaces. In this paper we propose an approach to classify generic singularities of general line fields on 2D manifolds. The idea is to identify line fields as bisectors of pairs of vector fields on the manifold, with respect to a given conformal structure. The singularities correspond to the zeros of the vector fields and the genericity is considered with respect to a natural topology in the space of pairs of vector fields. Line fields at generic singularities turn out to be topologically equivalent to the Lemon, Star and Monstar singularities that one finds at umbilical points.
△ Less
Submitted 20 May, 2016;
originally announced May 2016.
-
Intrinsic random walks in Riemannian and sub-Riemannian geometry via volume sampling
Authors:
Andrei Agrachev,
Ugo Boscain,
Robert Neel,
Luca Rizzi
Abstract:
We relate some basic constructions of stochastic analysis to differential geometry, via random walk approximations. We consider walks on both Riemannian and sub-Riemannian manifolds in which the steps consist of travel along either geodesics or integral curves associated to orthonormal frames, and we give particular attention to walks where the choice of step is influenced by a volume on the manif…
▽ More
We relate some basic constructions of stochastic analysis to differential geometry, via random walk approximations. We consider walks on both Riemannian and sub-Riemannian manifolds in which the steps consist of travel along either geodesics or integral curves associated to orthonormal frames, and we give particular attention to walks where the choice of step is influenced by a volume on the manifold. A primary motivation is to explore how one can pass, in the parabolic scaling limit, from geodesics, orthonormal frames, and/or volumes to diffusions, and hence their infinitesimal generators, on sub-Riemannian manifolds, which is interesting in light of the fact that there is no completely canonical notion of sub-Laplacian on a general sub-Riemannian manifold. However, even in the Riemannian case, this random walk approach illuminates the geometric significance of Ito and Stratonovich stochastic differential equations as well as the role played by the volume.
△ Less
Submitted 2 May, 2017; v1 submitted 13 January, 2016;
originally announced January 2016.
-
Developmental Partial Differential Equations
Authors:
Nastassia Pouradier Duteil,
Francesco Rossi,
Ugo Boscain,
Benedetto Piccoli
Abstract:
In this paper, we introduce the concept of Developmental Partial Differential Equation (DPDE), which consists of a Partial Differential Equation (PDE) on a time-varying manifold with complete coupling between the PDE and the manifold's evolution. In other words, the manifold's evolution depends on the solution to the PDE, and vice versa the differential operator of the PDE depends on the manifold'…
▽ More
In this paper, we introduce the concept of Developmental Partial Differential Equation (DPDE), which consists of a Partial Differential Equation (PDE) on a time-varying manifold with complete coupling between the PDE and the manifold's evolution. In other words, the manifold's evolution depends on the solution to the PDE, and vice versa the differential operator of the PDE depends on the manifold's geometry. DPDE is used to study a diffusion equation with source on a growing surface whose growth depends on the intensity of the diffused quantity. The surface may, for instance, represent the membrane of an egg chamber and the diffused quantity a protein activating a signaling pathway leading to growth. Our main objective is to show controllability of the surface shape using a fixed source with variable intensity for the diffusion. More specifically, we look for a control driving a symmetric manifold shape to any other symmetric shape in a given time interval. For the diffusion we take directly the Laplace-Beltrami operator of the surface, while the surface growth is assumed to be equal to the value of the diffused quantity. We introduce a theoretical framework, provide approximate controllability and show numerical results. Future applications include a specific model for the oogenesis of Drosophila melanogaster.
△ Less
Submitted 22 September, 2015; v1 submitted 19 August, 2015;
originally announced August 2015.
-
Training Schrödinger's cat: quantum optimal control
Authors:
Stefffen J. Glaser,
Ugo Boscain,
Tommaso Calarco,
Christiane P. Koch,
Walter Köckenberger,
Ronnie Kosloff,
Ilya Kuprov,
Burkard Luy,
Sophie Schirmer,
Thomas Schulte-Herbrüggen,
D. Sugny,
Frank K. Wilhelm
Abstract:
It is control that turns scientific knowledge into useful technology: in physics and engineering it provides a systematic way for driving a system from a given initial state into a desired target state with minimized expenditure of energy and resources -- as famously applied in the Apollo programme. As one of the cornerstones for enabling quantum technologies, optimal quantum control keeps evolvin…
▽ More
It is control that turns scientific knowledge into useful technology: in physics and engineering it provides a systematic way for driving a system from a given initial state into a desired target state with minimized expenditure of energy and resources -- as famously applied in the Apollo programme. As one of the cornerstones for enabling quantum technologies, optimal quantum control keeps evolving and expanding into areas as diverse as quantum-enhanced sensing, manipulation of single spins, photons, or atoms, optical spectroscopy, photochemistry, magnetic resonance (spectroscopy as well as medical imaging), quantum information processing and quantum simulation. --- Here state-of-the-art quantum control techniques are reviewed and put into perspective by a consortium uniting expertise in optimal control theory and applications to spectroscopy, imaging, quantum dynamics of closed and open systems. We address key challenges and sketch a roadmap to future developments.
△ Less
Submitted 3 August, 2015;
originally announced August 2015.
-
Sub-Finsler structures from the time-optimal control viewpoint for some nilpotent distributions
Authors:
Davide Barilari,
Ugo Boscain,
Enrico Le Donne,
Mario Sigalotti
Abstract:
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 Euclide…
▽ More
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.
△ Less
Submitted 13 June, 2015;
originally announced June 2015.
-
Controllability of spin-boson systems
Authors:
Ugo Boscain,
Paolo Mason,
Gianluca Panati,
Mario Sigalotti
Abstract:
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 fi…
▽ More
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.
△ Less
Submitted 18 March, 2015;
originally announced March 2015.
-
Intrinsic random walks and sub-Laplacians in sub-Riemannian geometry
Authors:
Ugo Boscain,
Robert Neel,
Luca Rizzi
Abstract:
On a sub-Riemannian manifold we define two type of Laplacians. The \emph{macroscopic Laplacian} $Δ_ω$, as the divergence of the horizontal gradient, once a volume $ω$ is fixed, and the \emph{microscopic Laplacian}, as the operator associated with a sequence of geodesic random walks. We consider a general class of random walks, where \emph{all} sub-Riemannian geodesics are taken in account. This op…
▽ More
On a sub-Riemannian manifold we define two type of Laplacians. The \emph{macroscopic Laplacian} $Δ_ω$, as the divergence of the horizontal gradient, once a volume $ω$ is fixed, and the \emph{microscopic Laplacian}, as the operator associated with a sequence of geodesic random walks. We consider a general class of random walks, where \emph{all} sub-Riemannian geodesics are taken in account. This operator depends only on the choice of a complement $\mathbf{c}$ to the sub-Riemannian distribution, and is denoted $L^c$.
We address the problem of equivalence of the two operators. This problem is interesting since, on equiregular sub-Riemannian manifolds, there is always an intrinsic volume (e.g. Popp's one $P$) but not a canonical choice of complement. The result depends heavily on the type of structure under investigation. On contact structures, for every volume $ω$, there exists a unique complement $c$ such that $Δ_ω=L^c$. On Carnot groups, if $H$ is the Haar volume, then there always exists a complement $c$ such that $Δ_H=L^c$. However this complement is not unique in general. For quasi-contact structures, in general, $Δ_P \neq L^c$ for any choice of $c$. In particular, $L^c$ is not symmetric w.r.t. Popp's measure. This is surprising especially in dimension 4 where, in a suitable sense, $Δ_P$ is the unique intrinsic macroscopic Laplacian.
A crucial notion that we introduce here is the N-intrinsic volume, i.e. a volume that depends only on the set of parameters of the nilpotent approximation. When the nilpotent approximation does not depend on the point, a N-intrinsic volume is unique up to a scaling by a constant and the corresponding N-intrinsic sub-Laplacian is unique. This is what happens for dimension smaller or equal than 4, and in particular in the 4-dimensional quasi-contact structure mentioned above.
△ Less
Submitted 2 May, 2017; v1 submitted 2 March, 2015;
originally announced March 2015.
-
Highly corrupted image inpainting through hypoelliptic diffusion
Authors:
Ugo Boscain,
Roman Chertovskih,
Jean-Paul Gauthier,
Dario Prandi,
Alexey Remizov
Abstract:
We present a new image inpainting algorithm, the Averaging and Hypoelliptic Evolution (AHE) algorithm, inspired by the one presented in [SIAM J. Imaging Sci., vol. 7, no. 2, pp. 669--695, 2014] and based upon a semi-discrete variation of the Citti-Petitot-Sarti model of the primary visual cortex V1. The AHE algorithm is based on a suitable combination of sub-Riemannian hypoelliptic diffusion and a…
▽ More
We present a new image inpainting algorithm, the Averaging and Hypoelliptic Evolution (AHE) algorithm, inspired by the one presented in [SIAM J. Imaging Sci., vol. 7, no. 2, pp. 669--695, 2014] and based upon a semi-discrete variation of the Citti-Petitot-Sarti model of the primary visual cortex V1. The AHE algorithm is based on a suitable combination of sub-Riemannian hypoelliptic diffusion and ad-hoc local averaging techniques. In particular, we focus on reconstructing highly corrupted images (i.e. where more than the 80% of the image is missing), for which we obtain reconstructions comparable with the state-of-the-art.
△ Less
Submitted 5 April, 2018; v1 submitted 25 February, 2015;
originally announced February 2015.
-
Local properties of almost-Riemannian structures in dimension 3
Authors:
Ugo Boscain,
Grégoire Charlot,
Moussa Gaye,
Paolo Mason
Abstract:
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-Ri…
▽ More
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.
△ Less
Submitted 2 July, 2014;
originally announced July 2014.
-
Spectral analysis and the Aharonov-Bohm~effect on certain almost-Riemannian manifolds
Authors:
Ugo Boscain,
Dario Prandi,
Marcello Seri
Abstract:
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…
▽ More
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
△ Less
Submitted 10 July, 2015; v1 submitted 25 June, 2014;
originally announced June 2014.
-
On the heat diffusion for generic Riemannian and sub-Riemannian structures
Authors:
Davide Barilari,
Ugo Boscain,
Grégoire Charlot,
Robert W. Neel
Abstract:
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…
▽ More
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.
△ Less
Submitted 11 December, 2013; v1 submitted 3 October, 2013;
originally announced October 2013.
-
Approximate controllability, exact controllability, and conical eigenvalue intersections for quantum mechanical systems
Authors:
Ugo Boscain,
Jean-Paul Gauthier,
Francesco Rossi,
Mario Sigalotti
Abstract:
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 c…
▽ More
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.
△ Less
Submitted 9 October, 2013; v1 submitted 8 September, 2013;
originally announced September 2013.
-
Self-adjoint extensions and stochastic completeness of the Laplace-Beltrami operator on conic and anticonic surfaces
Authors:
Ugo Boscain,
Dario Prandi
Abstract:
We study the evolution of the heat and of a free quantum particle (described by the Schrödinger equation) on two-dimensional manifolds endowed with the degenerate Riemannian metric $ds^2=dx^2+|x|^{-2α}dθ^2$, where $x\in \mathbb R$, $θ\in\mathbb T$ and the parameter $α\in\mathbb R$. For $α\le-1$ this metric describes cone-like manifolds (for $α=-1$ it is a flat cone). For $α=0$ it is a cylinder. Fo…
▽ More
We study the evolution of the heat and of a free quantum particle (described by the Schrödinger equation) on two-dimensional manifolds endowed with the degenerate Riemannian metric $ds^2=dx^2+|x|^{-2α}dθ^2$, where $x\in \mathbb R$, $θ\in\mathbb T$ and the parameter $α\in\mathbb R$. For $α\le-1$ this metric describes cone-like manifolds (for $α=-1$ it is a flat cone). For $α=0$ it is a cylinder. For $α\ge 1$ it is a Grushin-like metric. We show that the Laplace-Beltrami operator $Δ$ is essentially self-adjoint if and only if $α\notin(-3,1)$. In this case the only self-adjoint extension is the Friedrichs extension $Δ_F$, that does not allow communication through the singular set $\{x=0\}$ both for the heat and for a quantum particle. For $α\in(-3,-1]$ we show that for the Schrödinger equation only the average on $θ$ of the wave function can cross the singular set, while the solutions of the only Markovian extension of the heat equation (which indeed is $Δ_F$) cannot. For $α\in(-1,1)$ we prove that there exists a canonical self-adjoint extension $Δ_B$, called bridging extension, which is Markovian and allows the complete communication through the singularity (both of the heat and of a quantum particle). Also, we study the stochastic completeness (i.e., conservation of the $L^1$ norm for the heat equation) of the Markovian extensions $Δ_F$ and $Δ_B$, proving that $Δ_F$ is stochastically complete at the singularity if and only if $α\le -1$, while $Δ_B$ is always stochastically complete at the singularity.
△ Less
Submitted 7 October, 2015; v1 submitted 22 May, 2013;
originally announced May 2013.
-
On some open questions in bilinear quantum control
Authors:
Ugo Boscain,
Thomas Chambrion,
Mario Sigalotti
Abstract:
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 deca…
▽ More
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.
△ Less
Submitted 26 April, 2013;
originally announced April 2013.
-
Hypoelliptic diffusion and human vision: a semi-discrete new twist
Authors:
Ugo Boscain,
Roman Chertovskih,
Jean-Paul Gauthier,
Alexey Remizov
Abstract:
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 ver…
▽ More
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.
△ Less
Submitted 20 January, 2014; v1 submitted 7 April, 2013;
originally announced April 2013.
-
Multi-input Schrödinger equation: controllability, tracking, and application to the quantum angular momentum
Authors:
Ugo Boscain,
Marco Caponigro,
Mario Sigalotti
Abstract:
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…
▽ More
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.
△ Less
Submitted 18 February, 2013;
originally announced February 2013.
-
Time minimal trajectories for two-level quantum systems with two bounded controls
Authors:
Ugo Boscain,
Fredrik Grönberg,
Long Ruixing,
Rabitz Herschel
Abstract:
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…
▽ More
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.
△ Less
Submitted 4 November, 2012;
originally announced November 2012.
-
On the Spherical Hausdorff Measure in Step 2 Corank 2 sub-Riemannian Geometry
Authors:
Ugo Boscain,
Jp Gauthier
Abstract:
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.
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.
△ Less
Submitted 9 October, 2012;
originally announced October 2012.
-
Controllability of the bilinear Schrödinger equation with several controls and application to a 3D molecule
Authors:
Ugo Boscain,
Marco Caponigro,
Mario Sigalotti
Abstract:
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 i…
▽ More
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.
△ Less
Submitted 26 April, 2012;
originally announced April 2012.
-
Curve cuspless reconstruction via sub-Riemannian geometry
Authors:
Ugo Boscain,
Remco Duits,
Francesco Rossi,
Yuri Sachkov
Abstract:
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 exist…
▽ More
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.
△ Less
Submitted 25 April, 2013; v1 submitted 14 March, 2012;
originally announced March 2012.
-
Small time heat kernel asymptotics at the sub-Riemannian cut locus
Authors:
Davide Barilari,
Ugo Boscain,
Robert W. Neel
Abstract:
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 Le…
▽ More
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$.
△ Less
Submitted 13 April, 2012; v1 submitted 14 January, 2012;
originally announced January 2012.
-
On 2-step, corank 2 nilpotent sub-Riemannian metrics
Authors:
Davide Barilari,
Ugo Boscain,
Jean-Paul Gauthier
Abstract:
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 Haus…
▽ More
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.
△ Less
Submitted 5 November, 2011; v1 submitted 29 May, 2011;
originally announced May 2011.
-
The Laplace-Beltrami operator in almost-Riemannian Geometry
Authors:
Ugo Boscain,
Camille Laurent
Abstract:
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, the singular set is an embedded one dimensional manifold and there are three type of points: Riemannian points where the two vector fields are linearly independent, Grush…
▽ More
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, the singular set is an embedded one dimensional manifold and there are three type 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. Generically tangency points are isolated. In this paper we study the Laplace-Beltrami operator on such a structure. In the case of a compact orientable surface without tangency points, we prove that the Laplace-Beltrami operator is essentially self-adjoint and has discrete spectrum. As a consequence a quantum particle in such a structure cannot cross the singular set and the heat cannot flow through the singularity. This is an interesting phenomenon since when approaching the singular set (i.e. where the vector fields become collinear), all Riemannian quantities explode, but geodesics are still well defined and can cross the singular set without singularities. This phenomenon appears also in sub-Riemannian structure which are not equiregular i.e. in which the grow vector depends on the point. We show this fact by analyzing the Martinet case.
△ Less
Submitted 24 May, 2011;
originally announced May 2011.
-
Adiabatic control of the Schrödinger equation via conical intersections of the eigenvalues
Authors:
Ugo Boscain,
Francesca Chittaro,
Paolo Mason,
Mario Sigalotti
Abstract:
In this paper we present a constructive method to control the bilinear Schrödinger equation via two controls. The method is based on adiabatic techniques and works if the spectrum of the Hamiltonian admits eigenvalue intersections, and if the latter are conical (as it happens generically). We provide sharp estimates of the relation between the error and the controllability time.
In this paper we present a constructive method to control the bilinear Schrödinger equation via two controls. The method is based on adiabatic techniques and works if the spectrum of the Hamiltonian admits eigenvalue intersections, and if the latter are conical (as it happens generically). We provide sharp estimates of the relation between the error and the controllability time.
△ Less
Submitted 15 February, 2011;
originally announced February 2011.
-
A weak spectral condition for the controllability of the bilinear Schrödinger equation with application to the control of a rotating planar molecule
Authors:
Ugo Boscain,
Marco Caponigro,
Thomas Chambrion,
Mario Sigalotti
Abstract:
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…
▽ More
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.
△ Less
Submitted 25 October, 2011; v1 submitted 22 January, 2011;
originally announced January 2011.
