-
On the Destruction of Invariant Lagrangian Graphs for Conformal Symplectic Twist Maps
Authors:
Alfonso Sorrentino,
Lin Wang
Abstract:
In this article we investigate the fragility of invariant Lagrangian graphs for dissipative maps, focusing on their destruction under small perturbations. Inspired by Herman's work on conservative systems, we prove that all $C^0$-invariant Lagrangian graphs for an integrable dissipative twist maps can be destroyed by perturbations that are arbitrarily small in the $C^{1-\varepsilon}$-topology. Thi…
▽ More
In this article we investigate the fragility of invariant Lagrangian graphs for dissipative maps, focusing on their destruction under small perturbations. Inspired by Herman's work on conservative systems, we prove that all $C^0$-invariant Lagrangian graphs for an integrable dissipative twist maps can be destroyed by perturbations that are arbitrarily small in the $C^{1-\varepsilon}$-topology. This result is sharp, as evidenced by the persistence of $C^1$-invariant graphs under $C^1$-perturbations guaranteed by the normally hyperbolic invariant manifold theorem.
△ Less
Submitted 15 April, 2025; v1 submitted 9 April, 2025;
originally announced April 2025.
-
MARTApp: software for the processing and reconstruction of synchrotron radiation-based magnetic tomographies
Authors:
A. Estela Herguedas-Alonso,
Joaquín Gómez Sánchez,
Claudia Fernández-González,
Andrea Sorrentino,
Salvador Ferrer,
Eva Pereiro,
Aurelio Hierro-Rodriguez
Abstract:
Magnetic vector tomography allows for visualizing the 3D magnetization vector of magnetic nanostructures and multilayers with nanometric resolution. In this work, we present MARTApp (Magnetic Analysis and Reconstruction of Tomographies Application), a software designed to analyze the images obtained from a full-field or scanning transmission X-ray microscope and reconstruct the 3D magnetization of…
▽ More
Magnetic vector tomography allows for visualizing the 3D magnetization vector of magnetic nanostructures and multilayers with nanometric resolution. In this work, we present MARTApp (Magnetic Analysis and Reconstruction of Tomographies Application), a software designed to analyze the images obtained from a full-field or scanning transmission X-ray microscope and reconstruct the 3D magnetization of the sample. Here, its workflow and main features are described. Moreover, a synthetic test sample consisting of a hopfion is used to exemplify the workflow from raw images to the final 3D magnetization reconstruction.
△ Less
Submitted 21 January, 2025;
originally announced January 2025.
-
Homogenization of Hamilton-Jacobi equations on networks
Authors:
Marco Pozza,
Antonio Siconolfi,
Alfonso Sorrentino
Abstract:
We prove a homogenization result for a family of time-dependent Hamilton-Jacobi equations, rescaled by a parameter $\varepsilon$ tending to zero, posed on a periodic network, with a suitable notion of periodicity that will be defined. As $\varepsilon$ becomes infinitesimal, we derive a limiting Hamilton-Jacobi equation in a Euclidean space, whose dimension is determined by the topological complexi…
▽ More
We prove a homogenization result for a family of time-dependent Hamilton-Jacobi equations, rescaled by a parameter $\varepsilon$ tending to zero, posed on a periodic network, with a suitable notion of periodicity that will be defined. As $\varepsilon$ becomes infinitesimal, we derive a limiting Hamilton-Jacobi equation in a Euclidean space, whose dimension is determined by the topological complexity of the network and is independent of the ambient space in which the network is embedded. Among the key contributions of our analysis, we extend to the setting of networks and graphs Mather's result on the asymptotic behavior of the average minimal action functional, as time tends to infinity. Additionally, we establish the well-posedness of the approximating problems, representing a nontrivial generalization of existing results for finite networks to a non-compact setting.
△ Less
Submitted 6 November, 2024;
originally announced November 2024.
-
Deformational spectral rigidity of axially-symmetric symplectic billiards
Authors:
Corentin Fierobe,
Alfonso Sorrentino,
Amir Vig
Abstract:
Symplectic billiards were introduced by Albers and Tabachnikov as billiards in strictly convex bounded domains of the plane with smooth boundary having a specific law of reflection. This paper proves a rigidity result for symplectic billiards which is similar to a previous result on classical billiards formulated by De Simoi, Kaloshin and Wei. Namely, it states that close to an ellipse, a sufficie…
▽ More
Symplectic billiards were introduced by Albers and Tabachnikov as billiards in strictly convex bounded domains of the plane with smooth boundary having a specific law of reflection. This paper proves a rigidity result for symplectic billiards which is similar to a previous result on classical billiards formulated by De Simoi, Kaloshin and Wei. Namely, it states that close to an ellipse, a sufficiently smooth one-parameter family of axially symmetric domains either contains domains with different area-spectra or is trivial, in a sense that the domains differ by area-preserving affine transformations of the plane. The paper also prove that in the general setting - that is even if the domains are not close to an ellipse - any sufficiently smooth one-parameter family of axially symmetric domains which preserves the area-spectrum is tangent to a finite dimensionnal space.
△ Less
Submitted 12 November, 2024; v1 submitted 17 October, 2024;
originally announced October 2024.
-
On the set of asymptotic homologies of orbits on invariant Lagrangian graphs
Authors:
Rafael Oswaldo Ruggiero,
Alfonso Sorrentino
Abstract:
Given a smooth Tonelli Hamiltonian on the torus $\mathbb{T}^{n}$ and a $C^{2}$ Lagrangian graph $W \subset T^{*}\mathbb{T}^{n}$ that is invariant under the Hamiltonian flow and contained within a Mañé supercritical energy level, we demonstrate the existence of a proper cone in the first real homology group $H_1(\mathbb{T}^n,\mathbb{R})$ that contains the asymptotic homologies of the canonical proj…
▽ More
Given a smooth Tonelli Hamiltonian on the torus $\mathbb{T}^{n}$ and a $C^{2}$ Lagrangian graph $W \subset T^{*}\mathbb{T}^{n}$ that is invariant under the Hamiltonian flow and contained within a Mañé supercritical energy level, we demonstrate the existence of a proper cone in the first real homology group $H_1(\mathbb{T}^n,\mathbb{R})$ that contains the asymptotic homologies of the canonical projections of recurrent orbits in $W$. Additionally, for invariant Lagrangian graphs on $\mathbb{T}^{3}$, drawing on Franks' theory of the rotation set of homeomorphisms of $\mathbb{T}^{2}$ homotopic to the identity, we show that under certain assumptions for an invariant Lagrangian graph on $\mathbb{T}^{3}$, if there exists a rational vector in homology contained in the set of asymptotic homologies of orbits on the Lagrangian graph, then the graph contains a Mather measure supported on a periodic orbit. This result generalizes a well-known fact for Lagrangian graphs on $\mathbb{T}^{2}$. Finally, we exploit these results for three dimensional tori to give a partial answer to a conjecture by Carneiro-Ruggiero about the non-existence of Hedlund Lagrangian tori at supercritical energy levels.
△ Less
Submitted 24 September, 2024;
originally announced September 2024.
-
On the existence of periodic invariant curves for analytic families of twist maps and billiards
Authors:
Corentin Fierobe,
Alfonso Sorrentino
Abstract:
In this paper we prove that in any analytic one-parameter family of twist maps of the annulus, homotopically invariant curves filled with periodic points corresponding to a given rotation number, either exist for all values of the parameters or at most for a discrete subset. Moreover, we show that the set of analytic twist maps having such an invariant curve of a given rotation number is a strict…
▽ More
In this paper we prove that in any analytic one-parameter family of twist maps of the annulus, homotopically invariant curves filled with periodic points corresponding to a given rotation number, either exist for all values of the parameters or at most for a discrete subset. Moreover, we show that the set of analytic twist maps having such an invariant curve of a given rotation number is a strict analytic subset of the set of analytic twist maps. The first result extends, in dimension 2, a previous result by Arnaud, Massetti and Sorrentino. We then apply our result to rational caustics of billiards, considering several models such as Birkhoff billiards, outer billiards and symplectic billiards.
△ Less
Submitted 24 July, 2024;
originally announced July 2024.
-
Memory effects on the current induced propagation of spin textures in NdCo$_5$/Ni$_8$Fe$_2$ bilayers
Authors:
Victoria Vega Fernández,
Alicia Estela Herguedas-Alonso,
Javier Hermosa,
Lucía Aballe,
Andrea Sorrentino,
Ricardo Valcarcel,
Carlos Quiros,
Jose Ignacio Martín,
Eva Pereiro,
Salvador Ferrer,
Aurelio Hierro-Rodríguez,
María Vélez
Abstract:
Bilayers of NdCo$_5$/Ni$_8$Fe$_2$ can act as reconfigurable racetracks thanks to the parallel stripe domain configuration present in the hard magnetic material with weak perpendicular anisotropy (NdCo$_5$), and its imprint on the soft magnetic layer (Ni$_8$Fe$_2$). This pattern hosts spin textures with well defined topological charges and establishes paths for their deterministic propagation under…
▽ More
Bilayers of NdCo$_5$/Ni$_8$Fe$_2$ can act as reconfigurable racetracks thanks to the parallel stripe domain configuration present in the hard magnetic material with weak perpendicular anisotropy (NdCo$_5$), and its imprint on the soft magnetic layer (Ni$_8$Fe$_2$). This pattern hosts spin textures with well defined topological charges and establishes paths for their deterministic propagation under the effect of pulsed currents, which has been studied as a function of externally applied fields by using Magnetic Transmission X-ray Microscopy. The experiments show guided vortex/antivortex propagation events within the Ni$_8$Fe$_2$ above a threshold current of $3\cdot10^{11}$ A/m$^2$. Opposite propagation senses have been observed depending on the topological charge of the spin texture, both in the remnant state and under an applied external field. Micromagnetic simulations of our multilayer reveal that the guiding effect and asymmetric propagation sense are due to the magnetic history of the hard magnetic layer. An exchange-bias-based memory effect acts as a magnetic spring and controls the propagation sense by favoring a specific orientation of the in plane magnetization, leading to a system which behaves as a hard-soft magnetic composite with reconfigurable capabilities for a controlled propagation of magnetic topological textures.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Hyperbolic Bloch points in ferrimagnetic exchange spring
Authors:
Javier Hermosa-Muñoz,
Aurelio Hierro-Rodríguez,
Andrea Sorrentino,
José I. Martín,
Luis M. Alvarez-Prado,
Eva Pereiro,
Carlos Quirós,
María Velez,
Salvador Ferrer
Abstract:
Bloch points in magnetic materials are attractive entities in view of magnetic information transport. Here, Bloch point configuration has been investigated and experimentally determined in a magnetic trilayer ($Gd_{12}Co_{88}/Nd_{17}Co_{83}/Gd_{24}Co_{76}$) with carefully adjusted composition within the ferrimagnetic $Gd_{x}Co_{1-x}$ alloys in order to engineer saturation magnetization, exchange l…
▽ More
Bloch points in magnetic materials are attractive entities in view of magnetic information transport. Here, Bloch point configuration has been investigated and experimentally determined in a magnetic trilayer ($Gd_{12}Co_{88}/Nd_{17}Co_{83}/Gd_{24}Co_{76}$) with carefully adjusted composition within the ferrimagnetic $Gd_{x}Co_{1-x}$ alloys in order to engineer saturation magnetization, exchange length, and interlayer couplings (ferromagnetic vs antiferromagnetic). X-ray vector magnetic tomography has allowed us to determine experimentally Bloch point polarity (related to topological charge) and Bloch point helicity $γ$ (determined by magnetostatic energy). At the bottom layer (close to the ferromagnetic interface), Bloch points adopt a standard circulating configuration with helicity $γ$ close to $π/2$. Within the top layer (with much lower saturation magnetization), Bloch points nucleate within a Neel-like exchange spring domain wall created by the antiferromagnetic coupling and adopt an uncommon hyperbolic configuration, characterized by much larger helicity angles. Our results indicate a path for Bloch point engineering in future applications adjusting material parameters and domain wall characteristics.
△ Less
Submitted 15 December, 2023;
originally announced December 2023.
-
Measuring the perception of the personalized activities with CloudIA robot
Authors:
Alessandra Sorrentino,
Laura Fiorini,
Carlo La Viola,
Filippo Cavallo
Abstract:
Socially Assistive Robots represent a valid solution for improving the quality of life and the mood of older adults. In this context, this work presents the CloudIA robot, a non-human-like robot intended to promote sociality and well-being among older adults. The design of the robot and of the provided services were carried out by a multidisciplinary team of designers and technology developers in…
▽ More
Socially Assistive Robots represent a valid solution for improving the quality of life and the mood of older adults. In this context, this work presents the CloudIA robot, a non-human-like robot intended to promote sociality and well-being among older adults. The design of the robot and of the provided services were carried out by a multidisciplinary team of designers and technology developers in tandem with professional caregivers. The capabilities of the robot were implemented according to the received guidelines and tested in two nursing facilities by 15 older people. Qualitative and quantitative metrics were used to investigate the engagement of the participants during the interaction with the robot, and to investigate any differences in the interaction during the proposed activities. The results highlighted the general tendency of humanizing the robotic platform and demonstrated the feasibility of introducing the CloudIA robot in support of the professional caregivers' work. From this pilot test, further ideas on improving the personalization of the robotic platform emerged.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
Cost free hyper-parameter selection/averaging for Bayesian inverse problems with vanilla and Rao-Blackwellized SMC Samplers
Authors:
Alessandro Viani,
Adam M Johansen,
Alberto Sorrentino
Abstract:
In Bayesian inverse problems, one aims at characterizing the posterior distribution of a set of unknowns, given indirect measurements. For non-linear/non-Gaussian problems, analytic solutions are seldom available: Sequential Monte Carlo samplers offer a powerful tool for approximating complex posteriors, by constructing an auxiliary sequence of densities that smoothly reaches the posterior. Often…
▽ More
In Bayesian inverse problems, one aims at characterizing the posterior distribution of a set of unknowns, given indirect measurements. For non-linear/non-Gaussian problems, analytic solutions are seldom available: Sequential Monte Carlo samplers offer a powerful tool for approximating complex posteriors, by constructing an auxiliary sequence of densities that smoothly reaches the posterior. Often the posterior depends on a scalar hyper-parameter. In this work, we show that properly designed Sequential Monte Carlo (SMC) samplers naturally provide an approximation of the marginal likelihood associated with this hyper-parameter for free, i.e. at a negligible additional computational cost. The proposed method proceeds by constructing the auxiliary sequence of distributions in such a way that each of them can be interpreted as a posterior distribution corresponding to a different value of the hyper-parameter. This can be exploited to perform selection of the hyper-parameter in Empirical Bayes approaches, as well as averaging across values of the hyper-parameter according to some hyper-prior distribution in Fully Bayesian approaches. For FB approaches, the proposed method has the further benefit of allowing prior sensitivity analysis at a negligible computational cost. In addition, the proposed method exploits particles at all the (relevant) iterations, thus alleviating one of the known limitations of SMC samplers, i.e. the fact that all samples at intermediate iterations are typically discarded. We show numerical results for two distinct cases where the hyper-parameter affects only the likelihood: a toy example, where an SMC sampler is used to approximate the full posterior distribution; and a brain imaging example, where a Rao-Blackwellized SMC sampler is used to approximate the posterior distribution of a subset of parameters in a conditionally linear Gaussian model.
△ Less
Submitted 23 December, 2022;
originally announced December 2022.
-
Topological magnetic dipoles and emergent field bundles in a ferromagnetic microstructure by X-ray magnetic vector tomography
Authors:
Javier Hermosa,
Aurelio Hierro-Rodriguez,
Carlos Quirós,
José I. Martin,
Andrea Sorrentino,
Lucia Aballe,
Eva Pereiro,
Maria Vélez,
Salvador Ferrer
Abstract:
Advanced vector imaging techniques provide us with 3D maps of magnetization fields in which topological concepts can be directly applied to describe real-space experimental textures in non-ideal geometries. Here, the 3D magnetization of a low symmetry permalloy microstructure is obtained by X-ray vector magnetic tomography and analysed in detail in terms of topological charges and emergent fields.…
▽ More
Advanced vector imaging techniques provide us with 3D maps of magnetization fields in which topological concepts can be directly applied to describe real-space experimental textures in non-ideal geometries. Here, the 3D magnetization of a low symmetry permalloy microstructure is obtained by X-ray vector magnetic tomography and analysed in detail in terms of topological charges and emergent fields. A central asymmetric domain wall with a complex 3D structure is observed in which magnetization chirality transitions are mediated by Bloch points arranged in several dipoles and a triplet. The ideal spherical symmetry of the emergent field of an isolated monopole is severely modified due to shape effects of the permalloy microstructure. Emergent field lines aggregate into bundles that either connect adjacent Bloch points within a topological dipole or tend towards the surface. These bundles may present different textures such as helical vortices or half merons, depending on asymmetries and confinement, but are constrained by topological charge conservation in a given sample volume. This precise description of the singularities in realistic systems, enabled by the quantitative experimental information on magnetization vector fields, can significantly improve our understanding of topological constraints in 3D magnetic systems and provide advancements in the design of magnetic devices.
△ Less
Submitted 6 June, 2022;
originally announced June 2022.
-
On the fragility of periodic tori for families of symplectic twist maps
Authors:
Marie-Claude Arnaud,
Jessica Elisa Massetti,
Alfonso Sorrentino
Abstract:
In this article we study the fragility of Lagrangian periodic tori for symplectic twist maps of the $2d$-dimensional annulus and prove a rigidity result for completely integrable ones. More specifically, we consider $1$-parameter families of symplectic twist maps $(f_\varepsilon)_{\varepsilon\in \mathbb{R}}$, obtained by perturbing the generating function of an analytic map $f$ by a family of pote…
▽ More
In this article we study the fragility of Lagrangian periodic tori for symplectic twist maps of the $2d$-dimensional annulus and prove a rigidity result for completely integrable ones. More specifically, we consider $1$-parameter families of symplectic twist maps $(f_\varepsilon)_{\varepsilon\in \mathbb{R}}$, obtained by perturbing the generating function of an analytic map $f$ by a family of potentials $\{\varepsilon G\}_{\varepsilon\in \mathbb{R}}$. Firstly, for an analytic $G$ and for $(m,n)\in \mathbb{Z}\times \mathbb{N}^*$ with $m$ and $n$ coprime, we investigate the topological structure of the set of $\varepsilon\in \mathbb{R}$ for which $f_\varepsilon$ admits a Lagrangian periodic torus of rotation vector $(m,n)$. In particular we prove that, under a suitable non-degeneracy condition on $f$, this set consists of at most finitely many points. Then, we exploit this to deduce a rigidity result for integrable symplectic twist maps, in the case of deformations produced by a $C^2$ potential. Our analysis, which holds in any dimension, is based on a thorough investigation of the geometric and dynamical properties of Lagrangian periodic tori, which we believe is of its own interest.
△ Less
Submitted 7 June, 2023; v1 submitted 1 February, 2022;
originally announced February 2022.
-
Adjustable 3D magnetic configuration in ferrimagnetic multilayers with competing interactions visualized by soft X-ray vector tomography
Authors:
J. Hermosa-Muñoz,
A. Hierro-Rodríguez,
A. Sorrentino,
J. I. Martín,
L. M. Alvarez-Prado,
S. Rehbein,
E. Pereiro,
C. Quirós,
M. Vélez,
S. Ferrer
Abstract:
Soft X-ray magnetic vector tomography has been used to visualize with unprecedented detail and solely from experimental data the 3D magnetic configuration of a ferrimagnetic Gd12Co88/Nd17Co83/Gd24Co76 multilayer with competing anisotropy, exchange and magnetostatic interactions at different depths. The trilayer displays magnetic stripe domains, arranged in a chevron pattern, which are imprinted fr…
▽ More
Soft X-ray magnetic vector tomography has been used to visualize with unprecedented detail and solely from experimental data the 3D magnetic configuration of a ferrimagnetic Gd12Co88/Nd17Co83/Gd24Co76 multilayer with competing anisotropy, exchange and magnetostatic interactions at different depths. The trilayer displays magnetic stripe domains, arranged in a chevron pattern, which are imprinted from the central Nd17Co83 into the bottom Gd12Co88 layer with a distorted closure domain structure across the thickness. Near the top Gd24Co76 layer, local exchange springs with out-of-plane magnetization reversal, modulated ripple patterns and magnetic vortices and antivortices across the thickness are observed. The detailed analysis of the magnetic tomogram shows that the effective strength of the exchange spring at the NdCo/GdCo interface can be finely tuned by GdxCo1-x composition and anisotropy (determined by sample fabrication) and in-plane stripe orientation (adjustable), demonstrating the capability of 3D magnetic visualization techniques in magnetic engineering research.
△ Less
Submitted 9 September, 2021;
originally announced September 2021.
-
Curvature-mediated spin textures in magnetic multi-layered nanotubes
Authors:
Elisabeth Josten,
David Raftrey,
Aurelio Hierro-Rodriguez,
Andrea Sorrentino,
Lucia Aballe,
Marta Lipińska-Chwałek,
Thomas Jansen,
Katja Höflich,
Hanno Kröncke,
Catherine Dubourdieu,
Daniel E. Bürgler,
Joachim Mayer,
Peter Fischer
Abstract:
The scientific and technological exploration of artificially designed three-dimensional magnetic nanostructures opens the path to exciting novel physical phenomena, originating from the increased complexity in spin textures, topology, and frustration in three dimensions. Theory predicts that the equilibrium magnetic ground state of two-dimensional systems which reflects the competition between sym…
▽ More
The scientific and technological exploration of artificially designed three-dimensional magnetic nanostructures opens the path to exciting novel physical phenomena, originating from the increased complexity in spin textures, topology, and frustration in three dimensions. Theory predicts that the equilibrium magnetic ground state of two-dimensional systems which reflects the competition between symmetric (Heisenberg) and antisymmetric (Dzyaloshinskii-Moriya interaction (DMI)) exchange interaction is significantly modified on curved surfaces when the radius of local curvature becomes comparable to fundamental magnetic length scales. Here, we present an experimental study of the spin texture in an 8 nm thin magnetic multilayer with growth-induced in-plane anisotropy and DMI deposited onto the curved surface of a 1.8 μm long non-magnetic carbon nanowire with a 67 nm radius. Using magnetic soft x-ray tomography the three-dimensional spin configuration in this nanotube was retrieved with about 30nm spatial resolution. The transition between two vortex configurations on the two ends of the nanotube with opposite circulation occurs through a domain wall that is aligned at an inclined angle relative to the wire axis. Three-dimensional micromagnetic simulations support the experimental observations and represent a visualization of the curvature-mediated DMI. They also allow a quantitative estimate of the DMI value for the magnetic multilayered nanotube.
△ Less
Submitted 24 March, 2021;
originally announced March 2021.
-
Aubry-Mather theory on graphs
Authors:
Antonio Siconolfi,
Alfonso Sorrentino
Abstract:
We formulate Aubry-Mather theory for Hamiltonians/Lagrangians defined on graphs and discuss its relationship with weak KAM theory developed in [24].
We formulate Aubry-Mather theory for Hamiltonians/Lagrangians defined on graphs and discuss its relationship with weak KAM theory developed in [24].
△ Less
Submitted 18 March, 2021; v1 submitted 22 February, 2021;
originally announced February 2021.
-
The role of spectral complexity in connectivity estimation
Authors:
Elisabetta Vallarino,
Michele Piana,
Alberto Sorrentino,
Sara Sommariva
Abstract:
The study of functional connectivity from magnetoecenphalographic (MEG) data consists in quantifying the statistical dependencies among time series describing the activity of different neural sources from the magnetic field recorded outside the scalp. This problem can be addressed by utilizing connectivity measures whose computation in the frequency domain often relies on the evaluation of the cro…
▽ More
The study of functional connectivity from magnetoecenphalographic (MEG) data consists in quantifying the statistical dependencies among time series describing the activity of different neural sources from the magnetic field recorded outside the scalp. This problem can be addressed by utilizing connectivity measures whose computation in the frequency domain often relies on the evaluation of the cross-power spectrum of the neural time-series estimated by solving the MEG inverse problem. Recent studies have focused on the optimal determination of the cross-power spectrum in the framework of regularization theory for ill-posed inverse problems, providing indications that, rather surprisingly, the regularization process that leads to the optimal estimate of the neural activity does not lead to the optimal estimate of the corresponding functional connectivity. Along these lines, the present paper utilizes synthetic time series simulating the neural activity recorded by an MEG device to show that the regularization of the cross-power spectrum is significantly correlated with the signal-to-noise ratio of the measurements and that, as a consequence, this regularization correspondingly depends on the spectral complexity of the neural activity.
△ Less
Submitted 30 November, 2020;
originally announced November 2020.
-
On the rigidity of integrable deformations of twist maps and Hamiltonian flows
Authors:
Jessica Elisa Massetti,
Alfonso Sorrentino
Abstract:
In this article we investigate rigidity properties of integrable area-preserving twist maps of the cylinder. More specifically, we prove that if a deformation of the standard integrable map preserves rotational invariant circles (i.e., homotopically non-trivial invariant curves of the cylinder on which the dynamics is conjugate to a rotation) for any rational rotation number in an open interval (w…
▽ More
In this article we investigate rigidity properties of integrable area-preserving twist maps of the cylinder. More specifically, we prove that if a deformation of the standard integrable map preserves rotational invariant circles (i.e., homotopically non-trivial invariant curves of the cylinder on which the dynamics is conjugate to a rotation) for any rational rotation number in an open interval (without any further assumption on its size), then the deformation must be trivial. Analogue phenomena for integrable Tonelli Hamiltonian flows in higher dimensions are discussed.
△ Less
Submitted 3 February, 2022; v1 submitted 22 November, 2020;
originally announced November 2020.
-
Creation and confirmation of Hopfions in magnetic multilayer systems
Authors:
N. Kent,
N. Reynolds,
D. Raftrey,
I. T. G. Campbell,
S. Virasawmy,
S. Dhuey,
R. V. Chopdekar,
A. Hierro-Rodriguez,
A. Sorrentino,
E. Pereiro,
S. Ferrer,
F. Hellman,
P. Sutcliffe,
P. Fischer
Abstract:
Topological solitons have been studied for decades in classical field theories, and have started recently to impact condensed matter physics. Among those solitons, magnetic skyrmions are two-dimensional particle-like objects with a continuous winding of the magnetization, and magnetic Hopfions are three-dimensional topological solitons that can be formed from a closed loop of a twisted skyrmion st…
▽ More
Topological solitons have been studied for decades in classical field theories, and have started recently to impact condensed matter physics. Among those solitons, magnetic skyrmions are two-dimensional particle-like objects with a continuous winding of the magnetization, and magnetic Hopfions are three-dimensional topological solitons that can be formed from a closed loop of a twisted skyrmion string. Whereas intense research is underway with magnetic skyrmions towards a fundamental understanding and potential applications in advanced storage and logic devices, the experimental creation and confirmation of magnetic Hopfions has been elusive so far. Theoretical models suggest that Hopfions can be stabilized in frustrated or chiral magnetic systems, and that target skymions can be transformed into Hopfions by adapting their perpendicular magnetic anisotropy. Here, we present experimental evidence of magnetic Hopfions that were created in magnetic Ir/Co/Pt multilayers shaped into nanoscale disks, which are known to host target skyrmions. The three-dimensional spin texture, which distinguishes magnetic Hopfions from target skyrmions was confirmed by combining two advanced element-specific magnetic X-ray microscopy techniques with about 20-30nm lateral resolution, using X-ray magnetic circular dichroism effect as magnetic contrast mechanism in surface-sensitive X-ray photoemission electron microscopy and bulk-sensitive soft x-ray transmission microscopy. We anticipate that these results will stimulate further investigations of Hopfions with different topologies and their potential application in three-dimensional spintronics devices.
△ Less
Submitted 16 October, 2020;
originally announced October 2020.
-
Quantitative statistical stability and linear response for irrational rotations and diffeomorphisms of the circle
Authors:
Stefano Galatolo,
Alfonso Sorrentino
Abstract:
We prove quantitative statistical stability results for a large class of small $C^{0}$ perturbations of circle diffeomorphisms with irrational rotation numbers. We show that if the rotation number is Diophantine the invariant measure varies in a Hölder way under perturbation of the map and the Hölder exponent depends on the Diophantine type of the rotation number. The set of admissable perturbatio…
▽ More
We prove quantitative statistical stability results for a large class of small $C^{0}$ perturbations of circle diffeomorphisms with irrational rotation numbers. We show that if the rotation number is Diophantine the invariant measure varies in a Hölder way under perturbation of the map and the Hölder exponent depends on the Diophantine type of the rotation number. The set of admissable perturbations includes the ones coming from spatial discretization and hence numerical truncation. We also show linear response for smooth perturbations that preserve the rotation number, as well as for more general ones. This is done {by means of} classical tools from KAM theory, while the quantitative stability results are obtained by transfer operator techniques applied to suitable spaces of measures with a weak topology.
△ Less
Submitted 2 March, 2021; v1 submitted 29 June, 2020;
originally announced June 2020.
-
Where Bayes tweaks Gauss: Conditionally Gaussian priors for stable multi-dipole estimation
Authors:
Alessandro Viani,
Gianvittorio Luria,
Harald Bornfleth,
Alberto Sorrentino
Abstract:
We present a very simple yet powerful generalization of a previously described model and algorithm for estimation of multiple dipoles from magneto/electro-encephalographic data. Specifically, the generalization consists in the introduction of a log-uniform hyperprior on the standard deviation of a set of conditionally linear/Gaussian variables. We use numerical simulations and an experimental data…
▽ More
We present a very simple yet powerful generalization of a previously described model and algorithm for estimation of multiple dipoles from magneto/electro-encephalographic data. Specifically, the generalization consists in the introduction of a log-uniform hyperprior on the standard deviation of a set of conditionally linear/Gaussian variables. We use numerical simulations and an experimental dataset to show that the approximation to the posterior distribution remains extremely stable under a wide range of values of the hyperparameter, virtually removing the dependence on the hyperparameter.
△ Less
Submitted 7 June, 2020;
originally announced June 2020.
-
On the regularity of Mather's $β$-function for standard-like twist maps
Authors:
Carlo Carminati,
Stefano Marmi,
David Sauzin,
Alfonso Sorrentino
Abstract:
We consider the minimal average action (Mather's $β$ function) for area preserving twist maps of the annulus. The regularity properties of this function share interesting relations with the dynamics of the system. We prove that the $β$-function associated to a standard-like twist map admits a unique $C^1$-holomorphic complex extension, which coincides with this function on the set of real diophant…
▽ More
We consider the minimal average action (Mather's $β$ function) for area preserving twist maps of the annulus. The regularity properties of this function share interesting relations with the dynamics of the system. We prove that the $β$-function associated to a standard-like twist map admits a unique $C^1$-holomorphic complex extension, which coincides with this function on the set of real diophantine frequencies.
△ Less
Submitted 3 March, 2020;
originally announced March 2020.
-
Artificial double-helix for geometrical control of magnetic chirality
Authors:
Dédalo Sanz-Hernández,
Aurelio Hierro-Rodriguez,
Claire Donnelly,
Javier Pablo-Navarro,
Andrea Sorrentino,
Eva Pereiro,
César Magén,
Stephen McVitie,
José María de Teresa,
Salvador Ferrer,
Peter Fischer,
Amalio Fernández-Pacheco
Abstract:
Chirality plays a major role in nature, from particle physics to DNA, and its control is much sought-after due to the scientific and technological opportunities it unlocks. For magnetic materials, chiral interactions between spins promote the formation of sophisticated swirling magnetic states such as skyrmions, with rich topological properties and great potential for future technologies. Currentl…
▽ More
Chirality plays a major role in nature, from particle physics to DNA, and its control is much sought-after due to the scientific and technological opportunities it unlocks. For magnetic materials, chiral interactions between spins promote the formation of sophisticated swirling magnetic states such as skyrmions, with rich topological properties and great potential for future technologies. Currently, chiral magnetism requires either a restricted group of natural materials or synthetic thin-film systems that exploit interfacial effects. Here, using state-of-the-art nanofabrication and magnetic X-ray microscopy, we demonstrate the imprinting of complex chiral spin states via three-dimensional geometric effects at the nanoscale. By balancing dipolar and exchange interactions in an artificial ferromagnetic double-helix nanostructure, we create magnetic domains and domain walls with a well-defined spin chirality, determined solely by the chiral geometry. We further demonstrate the ability to create confined 3D spin textures and topological defects by locally interfacing geometries of opposite chirality. The ability to create chiral spin textures via 3D nano-patterning alone enables exquisite control over the properties and location of complex topological magnetic states, of great importance for the development of future metamaterials and devices in which chirality provides enhanced functionality.
△ Less
Submitted 20 January, 2020;
originally announced January 2020.
-
On the two-step estimation of the cross--power spectrum for dynamical inverse problems
Authors:
Elisabetta Vallarino,
Sara Sommariva,
Michele Piana,
Alberto Sorrentino
Abstract:
We consider the problem of reconstructing the cross--power spectrum of an unobservable multivariate stochatic process from indirect measurements of a second multivariate stochastic process, related to the first one through a linear operator. In the two--step approach, one would first compute a regularized reconstruction of the unobservable signal, and then compute an estimate of its cross--power s…
▽ More
We consider the problem of reconstructing the cross--power spectrum of an unobservable multivariate stochatic process from indirect measurements of a second multivariate stochastic process, related to the first one through a linear operator. In the two--step approach, one would first compute a regularized reconstruction of the unobservable signal, and then compute an estimate of its cross--power spectrum from the regularized solution. We investigate whether the optimal regularization parameter for reconstruction of the signal also gives the best estimate of the cross--power spectrum. We show that the answer depends on the regularization method, and specifically we prove that, under a white Gaussian assumption: (i) when regularizing with truncated SVD the optimal parameter is the same; (ii) when regularizing with the Tikhonov method, the optimal parameter for the cross--power spectrum is lower than half the optimal parameter for the signal. We also provide evidence that a one--step approach would likely have better mathematical properties of the two--step approach. Our results apply particularly to the brain connectivity estimation from magneto/electro-encephalographic recordings and provide a formal interpretation of recent empirical results.
△ Less
Submitted 3 September, 2019;
originally announced September 2019.
-
Revealing 3D Magnetization of Thin Films with Soft X-ray Tomography: Closure Domains and Magnetic Singularities
Authors:
A. Hierro-Rodriguez,
C. Quirós,
A. Sorrentino,
L. M. Alvarez-Prado,
J. I. Martín,
J. M. Alameda,
S. McVitie,
E. Pereiro,
M. Vélez,
S. Ferrer
Abstract:
The knowledge of how the magnetization looks inside a ferromagnet is often hindered by the limitations of the available experimental methods that are sensitive only to the surface regions or limited in spatial resolution. We report the 3D tomographic reconstruction of the magnetization within a ferromagnetic film of 240 nm in thickness using soft X ray microscopy and magnetic dichroism. The film h…
▽ More
The knowledge of how the magnetization looks inside a ferromagnet is often hindered by the limitations of the available experimental methods that are sensitive only to the surface regions or limited in spatial resolution. We report the 3D tomographic reconstruction of the magnetization within a ferromagnetic film of 240 nm in thickness using soft X ray microscopy and magnetic dichroism. The film has periodic magnetic domains forming stripes and closure domains found to be shifted from the stripe array by 1/4 of the period. In addition, the bifurcations of the stripes, which act as inversion nuclei of the magnetization, evidence in 3D meron singularities and Bloch points at the interior of the film. This novel method can be easily extended to magnetic stacks in spintronics applications and other singularities in films.
△ Less
Submitted 12 February, 2020; v1 submitted 2 July, 2019;
originally announced July 2019.
-
On the Homogenization of the Hamilton-Jacobi Equation
Authors:
Alfonso Sorrentino
Abstract:
In this article we describe how the celebrated result by Lions, Papanicolau and Varadhan on the Homogenization of Hamilton-Jacobi equation can be extended beyond the Euclidean setting. More specifically, we show how to obtain a homogenization result in the case of Hamiltonians that are invariant under the action of a discrete (virtually) nilpotent group (i.e., with polynomial growth), following id…
▽ More
In this article we describe how the celebrated result by Lions, Papanicolau and Varadhan on the Homogenization of Hamilton-Jacobi equation can be extended beyond the Euclidean setting. More specifically, we show how to obtain a homogenization result in the case of Hamiltonians that are invariant under the action of a discrete (virtually) nilpotent group (i.e., with polynomial growth), following ideas of M. Gromov [18] and P. Pansu [28].
△ Less
Submitted 2 April, 2019;
originally announced April 2019.
-
Compressed sensing and Sequential Monte Carlo for solar hard X-ray imaging
Authors:
Anna Maria Massone,
Federica Sciacchitano,
Michele Piana,
Alberto Sorrentino
Abstract:
We describe two inversion methods for the reconstruction of hard X-ray solar images. The methods are tested against experimental visibilities recorded by the Reuven Ramaty High Energy Solar Spectroscopic Imager (RHESSI) and synthetic visibilities based on the design of the Spectrometer/Telescope for Imaging X-rays (STIX).
We describe two inversion methods for the reconstruction of hard X-ray solar images. The methods are tested against experimental visibilities recorded by the Reuven Ramaty High Energy Solar Spectroscopic Imager (RHESSI) and synthetic visibilities based on the design of the Spectrometer/Telescope for Imaging X-rays (STIX).
△ Less
Submitted 20 December, 2018;
originally announced December 2018.
-
Bayesian Multi--Dipole Modeling in the Frequency Domain
Authors:
Gianvittorio Luria,
Dunja Duran,
Elisa Visani,
Sara Sommariva,
Fabio Rotondi,
Davide Rossi Sebastiano,
Ferruccio Panzica,
Michele Piana,
Alberto Sorrentino
Abstract:
Background: Magneto- and Electro-encephalography record the electromagnetic field generated by neural currents with high temporal frequency and good spatial resolution, and are therefore well suited for source localization in the time and in the frequency domain. In particular, localization of the generators of neural oscillations is very important in the study of cognitive processes in the health…
▽ More
Background: Magneto- and Electro-encephalography record the electromagnetic field generated by neural currents with high temporal frequency and good spatial resolution, and are therefore well suited for source localization in the time and in the frequency domain. In particular, localization of the generators of neural oscillations is very important in the study of cognitive processes in the healthy and in the pathological brain.
New method: We introduce the use of a Bayesian multi-dipole localization method in the frequency domain. Given the Fourier Transform of the data at one or multiple frequencies and/or trials, the algorithm approximates numerically the posterior distribution with Monte Carlo techniques.
Results: We use synthetic data to show that the proposed method behaves well under a wide range of experimental conditions, including low signal-to-noise ratios and correlated sources. We use dipole clusters to mimic the effect of extended sources. In addition, we test the algorithm on real MEG data to confirm its feasibility.
Comparison with existing method(s): Throughout the whole study, DICS (Dynamic Imaging of Coherent Sources) is used systematically as a benchmark. The two methods provide similar general pictures; the posterior distributions of the Bayesian approach contain much richer information at the price of a higher computational cost.
Conclusions: The Bayesian method described in this paper represents a reliable approach for localization of multiple dipoles in the frequency domain.
△ Less
Submitted 13 December, 2018; v1 submitted 24 August, 2018;
originally announced August 2018.
-
Sparse Bayesian Imaging of Solar Flares
Authors:
Federica Sciacchitano,
Silvio Lugaro,
Alberto Sorrentino
Abstract:
We consider imaging of solar flares from NASA RHESSI data as a parametric imaging problem, where flares are represented as a finite collection of geometric shapes. We set up a Bayesian model in which the number of objects forming the image is a priori unknown, as well as their shapes. We use a Sequential Monte Carlo algorithm to explore the corresponding posterior distribution. We apply the method…
▽ More
We consider imaging of solar flares from NASA RHESSI data as a parametric imaging problem, where flares are represented as a finite collection of geometric shapes. We set up a Bayesian model in which the number of objects forming the image is a priori unknown, as well as their shapes. We use a Sequential Monte Carlo algorithm to explore the corresponding posterior distribution. We apply the method to synthetic and experimental data, largely known in the RHESSI community. The method reconstructs improved images of solar flares, with the additional advantage of providing uncertainty quantification of the estimated parameters.
△ Less
Submitted 22 November, 2018; v1 submitted 30 July, 2018;
originally announced July 2018.
-
Identification of multiple hard X-ray sources in solar flares: A Bayesian analysis of the February 20 2002 event
Authors:
Federica Sciacchitano,
Alberto Sorrentino,
A Gordon Emslie,
Anna Maria Massone,
Michele Piana
Abstract:
The hard X-ray emission in a solar flare is typically characterized by a number of discrete sources, each with its own spectral, temporal, and spatial variability. Establishing the relationship amongst these sources is critical to determine the role of each in the energy release and transport processes that occur within the flare. In this paper we present a novel method to identify and characteriz…
▽ More
The hard X-ray emission in a solar flare is typically characterized by a number of discrete sources, each with its own spectral, temporal, and spatial variability. Establishing the relationship amongst these sources is critical to determine the role of each in the energy release and transport processes that occur within the flare. In this paper we present a novel method to identify and characterize each source of hard X-ray emission. The method permits a quantitative determination of the most likely number of subsources present, and of the relative probabilities that the hard X-ray emission in a given subregion of the flare is represented by a complicated multiple source structure or by a simpler single source. We apply the method to a well-studied flare on 2002~February~20 in order to assess competing claims as to the number of chromospheric footpoint sources present, and hence to the complexity of the underlying magnetic geometry/toplogy. Contrary to previous claims of the need for multiple sources to account for the chromospheric hard X-ray emission at different locations and times, we find that a simple two-footpoint-plus-coronal-source model is the most probable explanation for the data. We also find that one of the footpoint sources moves quite rapidly throughout the event, a factor that presumably complicated previous analyses. The inferred velocity of the footpoint corresponds to a very high induced electric field, compatible with those in thin reconnecting current sheets.
△ Less
Submitted 12 June, 2018; v1 submitted 27 January, 2018;
originally announced January 2018.
-
A comparative study of the robustness of frequency--domain connectivity measures to finite data length
Authors:
Sara Sommariva,
Alberto Sorrentino,
Michele Piana,
Vittorio Pizzella,
Laura Marzetti
Abstract:
In this work we use numerical simulation to investigate how the temporal length of the data affects the reliability of the estimates of brain connectivity from EEG time--series. We assume that the neural sources follow a stable MultiVariate AutoRegressive model, and consider three connectivity metrics: Imaginary part of Coherency (IC), generalized Partial Directed Coherence (gPDC) and frequency--d…
▽ More
In this work we use numerical simulation to investigate how the temporal length of the data affects the reliability of the estimates of brain connectivity from EEG time--series. We assume that the neural sources follow a stable MultiVariate AutoRegressive model, and consider three connectivity metrics: Imaginary part of Coherency (IC), generalized Partial Directed Coherence (gPDC) and frequency--domain Granger Causality (fGC). In order to assess the statistical significance of the estimated values, we use the surrogate data test by generating phase--randomized and autoregressive surrogate data. We first consider the ideal case where we know the source time courses exactly. Here we show how, expectedly, even exact knowledge of the source time courses is not sufficient to provide reliable estimates of the connectivity when the number of samples gets small; however, while gPDC and fGC tend to provide a larger number of false positives, the IC becomes less sensitive to the presence of connectivity. Then we proceed with more realistic simulations, where the source time courses are estimated using eLORETA, and the EEG signal is affected by biological noise of increasing intensity. Using the ideal case as a reference, we show that the impact of biological noise on IC estimates is qualitatively different from the impact on gPDC and fGC.
△ Less
Submitted 9 November, 2017;
originally announced November 2017.
-
Markov Numbers, Mather's $β$ function and stable norm
Authors:
Alfonso Sorrentino,
Alexander P. Veselov
Abstract:
V. Fock [7] introduced an interesting function $ψ(x)$, $x \in {\mathbb R}$ related to Markov numbers. We explain its relation to Federer-Gromov's stable norm and Mather's $β$-function, and use this to study its properties. We prove that $ψ$ and its natural generalisations are differentiable at every irrational $x$ and non-differentiable otherwise, by exploiting the relation with length of closed g…
▽ More
V. Fock [7] introduced an interesting function $ψ(x)$, $x \in {\mathbb R}$ related to Markov numbers. We explain its relation to Federer-Gromov's stable norm and Mather's $β$-function, and use this to study its properties. We prove that $ψ$ and its natural generalisations are differentiable at every irrational $x$ and non-differentiable otherwise, by exploiting the relation with length of closed geodesics on the punctured or one-hole tori with the hyperbolic metric and the results by Bangert [3] and McShane- Rivin [19].
△ Less
Submitted 17 November, 2017; v1 submitted 12 July, 2017;
originally announced July 2017.
-
Bayesian multi--dipole localization and uncertainty quantification from simultaneous EEG and MEG recordings
Authors:
Filippo Rossi,
Gianvittorio Luria,
Sara Sommariva,
Alberto Sorrentino
Abstract:
We deal with estimation of multiple dipoles from combined MEG and EEG time--series. We use a sequential Monte Carlo algorithm to characterize the posterior distribution of the number of dipoles and their locations. By considering three test cases, we show that using the combined data the method can localize sources that are not easily (or not at all) visible with either of the two individual data…
▽ More
We deal with estimation of multiple dipoles from combined MEG and EEG time--series. We use a sequential Monte Carlo algorithm to characterize the posterior distribution of the number of dipoles and their locations. By considering three test cases, we show that using the combined data the method can localize sources that are not easily (or not at all) visible with either of the two individual data alone. In addition, the posterior distribution from combined data exhibits a lower variance, i.e. lower uncertainty, than the posterior from single device.
△ Less
Submitted 19 June, 2017;
originally announced June 2017.
-
Iterative algorithms for a non-linear inverse problem in atmospheric lidar
Authors:
Giulia Denevi,
Sara Garbarino,
Alberto Sorrentino
Abstract:
We consider the inverse problem of retrieving aerosol extinction coefficients from Raman lidar measurements. In this problem the unknown and the data are related through the exponential of a linear operator, the unknown is non-negative and the data follow the Poisson distribution. Standard methods work on the log-transformed data and solve the resulting linear inverse problem, but neglect to take…
▽ More
We consider the inverse problem of retrieving aerosol extinction coefficients from Raman lidar measurements. In this problem the unknown and the data are related through the exponential of a linear operator, the unknown is non-negative and the data follow the Poisson distribution. Standard methods work on the log-transformed data and solve the resulting linear inverse problem, but neglect to take into account the noise statistics. In this study we show that proper modelling of the noise distribution can improve substantially the quality of the reconstructed extinction profiles. To achieve this goal, we consider the non-linear inverse problem with non-negativity constraint, and propose two iterative algorithms derived using the Karush-Kuhn-Tucker conditions. We validate the algorithms with synthetic and experimental data. As expected, the proposed algorithms outperform standard methods in terms of sensitivity to noise and reliability of the estimated profile.
△ Less
Submitted 19 June, 2017;
originally announced June 2017.
-
Nearly circular domains which are integrable close to the boundary are ellipses
Authors:
Guan Huang,
Vadim Kaloshin,
Alfonso Sorrentino
Abstract:
The Birkhoff conjecture says that the boundary of a strictly convex integrable billiard table is necessarily an ellipse. In this article, we consider a stronger notion of integrability, namely integrability close to the boundary, and prove a local version of this conjecture: a small perturbation of an ellipse of small eccentricity which preserves integrability near the boundary, is itself an ellip…
▽ More
The Birkhoff conjecture says that the boundary of a strictly convex integrable billiard table is necessarily an ellipse. In this article, we consider a stronger notion of integrability, namely integrability close to the boundary, and prove a local version of this conjecture: a small perturbation of an ellipse of small eccentricity which preserves integrability near the boundary, is itself an ellipse. This extends the result in [1], where integrability was assumed on a larger set. In particular, it shows that (local) integrability near the boundary implies global integrability. One of the crucial ideas in the proof consists in analyzing Taylor expansion of the corresponding action-angle coordinates with respect to the eccentricity parameter, deriving and studying higher order conditions for the preservation of integrable rational caustics.
△ Less
Submitted 16 February, 2018; v1 submitted 28 May, 2017;
originally announced May 2017.
-
Inverse Modeling for MEG/EEG data
Authors:
Alberto Sorrentino,
Michele Piana
Abstract:
We provide an overview of the state-of-the-art for mathematical methods that are used to reconstruct brain activity from neurophysiological data. After a brief introduction on the mathematics of the forward problem, we discuss standard and recently proposed regularization methods, as well as Monte Carlo techniques for Bayesian inference. We classify the inverse methods based on the underlying sour…
▽ More
We provide an overview of the state-of-the-art for mathematical methods that are used to reconstruct brain activity from neurophysiological data. After a brief introduction on the mathematics of the forward problem, we discuss standard and recently proposed regularization methods, as well as Monte Carlo techniques for Bayesian inference. We classify the inverse methods based on the underlying source model, and discuss advantages and disadvantages. Finally we describe an application to the pre-surgical evaluation of epileptic patients.
△ Less
Submitted 8 May, 2017;
originally announced May 2017.
-
On the Local Birkhoff Conjecture for Convex Billiards
Authors:
Vadim Kaloshin,
Alfonso Sorrentino
Abstract:
The classical Birkhoff conjecture claims that the boundary of a strictly convex integrable billiard table is necessarily an ellipse (or a circle as a special case). In this article we prove a complete local version of this conjecture: a small integrable perturbation of an ellipse must be an ellipse. This extends and completes the result in [3], where nearly circular domains were considered. One of…
▽ More
The classical Birkhoff conjecture claims that the boundary of a strictly convex integrable billiard table is necessarily an ellipse (or a circle as a special case). In this article we prove a complete local version of this conjecture: a small integrable perturbation of an ellipse must be an ellipse. This extends and completes the result in [3], where nearly circular domains were considered. One of the crucial ideas in the proof is to extend action-angle coordinates for elliptic billiards into complex domains (with respect to the angle), and to thoroughly analyze the nature of their complex singularities. As an application, we are able to prove some spectral rigidity results for elliptic domains.
△ Less
Submitted 21 March, 2018; v1 submitted 29 December, 2016;
originally announced December 2016.
-
Global Results for Eikonal Hamilton-Jacobi Equations on Networks
Authors:
Antonio Siconolfi,
Alfonso Sorrentino
Abstract:
We study a one-parameter family of Eikonal Hamilton-Jacobi equations on an embedded network, and prove that there exists a unique critical value for which the corresponding equation admits global solutions, in a suitable viscosity sense. Such a solution is identified, via an Hopf-Lax type formula, once an admissible trace is assigned on an intrinsic boundary. The salient point of our method is to…
▽ More
We study a one-parameter family of Eikonal Hamilton-Jacobi equations on an embedded network, and prove that there exists a unique critical value for which the corresponding equation admits global solutions, in a suitable viscosity sense. Such a solution is identified, via an Hopf-Lax type formula, once an admissible trace is assigned on an intrinsic boundary. The salient point of our method is to associate to the network an abstract graph, encoding all of the information on the complexity of the network, and to relate the differential equation to a discrete functional equation on the graph. Comparison principles and representation formulae are proven in the supercritical case as well.
△ Less
Submitted 4 December, 2016;
originally announced December 2016.
-
Expectation Maximization and the retrieval of the atmospheric extinction coefficients by inversion of Raman lidar data
Authors:
Sara Garbarino,
Alberto Sorrentino,
Anna Maria Massone,
Alessia Sannino,
Antonella Boselli,
Xuan Wang,
Nicola Spinelli,
Michele Piana
Abstract:
We consider the problem of retrieving the aerosol extinction coefficient from Raman lidar measurements. This is an ill--posed inverse problem that needs regularization, and we propose to use the Expectation--Maximization (EM) algorithm to provide stable solutions. Indeed, EM is an iterative algorithm that imposes a positivity constraint on the solution, and provides regularization if iterations ar…
▽ More
We consider the problem of retrieving the aerosol extinction coefficient from Raman lidar measurements. This is an ill--posed inverse problem that needs regularization, and we propose to use the Expectation--Maximization (EM) algorithm to provide stable solutions. Indeed, EM is an iterative algorithm that imposes a positivity constraint on the solution, and provides regularization if iterations are stopped early enough. We describe the algorithm and propose a stopping criterion inspired by a statistical principle. We then discuss its properties concerning the spatial resolution. Finally, we validate the proposed approach by using both synthetic data and experimental measurements; we compare the reconstructions obtained by EM with those obtained by the Tikhonov method, by the Levenberg-Marquardt method, as well as those obtained by combining data smoothing and numerical derivation.
△ Less
Submitted 28 August, 2016;
originally announced August 2016.
-
Aubry-Mather Theory for Conformally Symplectic Systems
Authors:
Stefano Marò,
Alfonso Sorrentino
Abstract:
In this article we develop an analogue of Aubry-Mather theory for a class of dissipative systems, namely conformally symplectic systems, and prove the existence of interesting invariant sets, which, in analogy to the conservative case, will be called the Aubry and the Mather sets. Besides describing their structure and their dynamical significance, we shall analyze their attracting/repelling prope…
▽ More
In this article we develop an analogue of Aubry-Mather theory for a class of dissipative systems, namely conformally symplectic systems, and prove the existence of interesting invariant sets, which, in analogy to the conservative case, will be called the Aubry and the Mather sets. Besides describing their structure and their dynamical significance, we shall analyze their attracting/repelling properties, as well as their noteworthy role in driving the asymptotic dynamics of the system.
△ Less
Submitted 7 April, 2017; v1 submitted 11 July, 2016;
originally announced July 2016.
-
On the Marked Length Spectrums of Generic Strictly Convex Billiard Tables
Authors:
Guan Huang,
Vadim Kaloshin,
Alfonso Sorrentino
Abstract:
In this paper we show that for a generic strictly convex domain, one can recover the eigendata corresponding to Aubry-Mather periodic orbits of the induced billiard map, from the (maximal) marked length spectrum of the domain.
In this paper we show that for a generic strictly convex domain, one can recover the eigendata corresponding to Aubry-Mather periodic orbits of the induced billiard map, from the (maximal) marked length spectrum of the domain.
△ Less
Submitted 18 January, 2017; v1 submitted 29 March, 2016;
originally announced March 2016.
-
Bayesian smoothing of dipoles in Magneto-/Electro-encephalography
Authors:
Valentina Vivaldi,
Alberto Sorrentino
Abstract:
We describe a novel method for dynamic estimation of multi-dipole states from Magneto/Electro-encephalography (M/EEG) time series. The new approach builds on the recent development of particle filters for M/EEG; these algorithms approximate, with samples and weights, the posterior distribution of the neural sources at time t given the data up to time t. However, for off-line inference purposes it…
▽ More
We describe a novel method for dynamic estimation of multi-dipole states from Magneto/Electro-encephalography (M/EEG) time series. The new approach builds on the recent development of particle filters for M/EEG; these algorithms approximate, with samples and weights, the posterior distribution of the neural sources at time t given the data up to time t. However, for off-line inference purposes it is preferable to work with the smoothing distribution, i.e. the distribution for the neural sources at time t conditioned on the whole time series. In this study, we use a Monte Carlo algorithm to approximate the smoothing distribution for a time-varying set of current dipoles. We show, using numerical simulations, that the estimates provided by the smoothing distribution are more accurate than those provided by the filtering distribution, particularly at the appearance of the source. We validate the proposed algorithm using an experimental dataset recorded from an epileptic patient. Improved localization of the source onset can be particularly relevant in source modeling of epileptic patients, where the source onset brings information on the epileptogenic zone.
△ Less
Submitted 12 February, 2016;
originally announced February 2016.
-
Sequential Monte Carlo samplers for semilinear inverse problems and application to magnetoencephalography
Authors:
Sara Sommariva,
Alberto Sorrentino
Abstract:
We discuss the use of a recent class of sequential Monte Carlo methods for solving inverse problems characterized by a semi-linear structure, i.e. where the data depend linearly on a subset of variables and nonlinearly on the remaining ones. In this type of problems, under proper Gaussian assumptions one can marginalize the linear variables. This means that the Monte Carlo procedure needs only to…
▽ More
We discuss the use of a recent class of sequential Monte Carlo methods for solving inverse problems characterized by a semi-linear structure, i.e. where the data depend linearly on a subset of variables and nonlinearly on the remaining ones. In this type of problems, under proper Gaussian assumptions one can marginalize the linear variables. This means that the Monte Carlo procedure needs only to be applied to the nonlinear variables, while the linear ones can be treated analytically; as a result, the Monte Carlo variance and/or the computational cost decrease. We use this approach to solve the inverse problem of magnetoencephalography, with a multi-dipole model for the sources. Here, data depend nonlinearly on the number of sources and their locations, and depend linearly on their current vectors. The semi-analytic approach enables us to estimate the number of dipoles and their location from a whole time-series, rather than a single time point, while keeping a low computational cost.
△ Less
Submitted 29 September, 2014;
originally announced September 2014.
-
A variational approach to the study of the existence of invariant Lagrangian graphs
Authors:
Alfonso Sorrentino
Abstract:
This paper surveys some results by the author and collaborators on the existence of invariant Lagrangian graphs for Tonelli Hamiltonian systems. The presentation is based on an invited talk by the author at XIX Congresso Unione Matematica Italiana (Bologna, 12-17 Sept. 2011).
This paper surveys some results by the author and collaborators on the existence of invariant Lagrangian graphs for Tonelli Hamiltonian systems. The presentation is based on an invited talk by the author at XIX Congresso Unione Matematica Italiana (Bologna, 12-17 Sept. 2011).
△ Less
Submitted 4 September, 2013;
originally announced September 2013.
-
Computing Mather's β-function for Birkhoff billiards
Authors:
Alfonso Sorrentino
Abstract:
This article is concerned with the study of Mather's β-function associated to Birkhoff billiards. This function corresponds to the minimal average action of orbits with a prescribed rotation number and, from a different perspective, it can be related to the maximal perimeter of periodic orbits with a given rotation number, the so-called Marked length spectrum. After having recalled its main proper…
▽ More
This article is concerned with the study of Mather's β-function associated to Birkhoff billiards. This function corresponds to the minimal average action of orbits with a prescribed rotation number and, from a different perspective, it can be related to the maximal perimeter of periodic orbits with a given rotation number, the so-called Marked length spectrum. After having recalled its main properties and its relevance to the study of the billiard dynamics, we stress its connections to some intriguing open questions: Birkhoff conjecture and the isospectral rigidity of convex billiards. Both these problems, in fact, can be conveniently translated into questions on this function. This motivates our investigation aiming at understanding its main features and properties. In particular, we provide an explicit representation of the coefficients of its (formal) Taylor expansion at zero, only in terms of the curvature of the boundary. In the case of integrable billiards, this result provides a representation formula for the β-function near 0. Moreover, we apply and check these results in the case of circular and elliptic billiards.
△ Less
Submitted 4 September, 2013;
originally announced September 2013.
-
Symplectic and contact properties of the Mañé critical value of the universal cover
Authors:
Gabriel P. Paternain,
Alfonso Sorrentino
Abstract:
We discuss several symplectic aspects related to the Mañé critical value c_u of the universal cover of a Tonelli Hamiltonian. In particular we show that the critical energy level is never of virtual contact type for manifolds of dimension greater than or equal to three. We also show the symplectic invariance of the finiteness of the Peierls barrier and the Aubry set of the universal cover. We also…
▽ More
We discuss several symplectic aspects related to the Mañé critical value c_u of the universal cover of a Tonelli Hamiltonian. In particular we show that the critical energy level is never of virtual contact type for manifolds of dimension greater than or equal to three. We also show the symplectic invariance of the finiteness of the Peierls barrier and the Aubry set of the universal cover. We also provide an example where c_u coincides with the infimum of Mather's α-function but the Aubry set of the universal cover is empty and the Peierls barrier is finite. A second example exhibits all the ergodic invariant minimizing measures with zero homotopy, showing that, quite surprisingly, the union of their supports is not a graph, in contrast with Mather's celebrated graph theorem.
△ Less
Submitted 19 December, 2013; v1 submitted 4 September, 2013;
originally announced September 2013.
-
Bayesian Multi--Dipole Modeling of a Single Topography in MEG by Adaptive Sequential Monte Carlo Samplers
Authors:
Alberto Sorrentino,
Gianvittorio Luria,
Riccardo Aramini
Abstract:
In the present paper, we develop a novel Bayesian approach to the problem of estimating neural currents in the brain from a fixed distribution of magnetic field (called \emph{topography}), measured by magnetoencephalography. Differently from recent studies that describe inversion techniques, such as spatio-temporal regularization/filtering, in which neural dynamics always plays a role, we face her…
▽ More
In the present paper, we develop a novel Bayesian approach to the problem of estimating neural currents in the brain from a fixed distribution of magnetic field (called \emph{topography}), measured by magnetoencephalography. Differently from recent studies that describe inversion techniques, such as spatio-temporal regularization/filtering, in which neural dynamics always plays a role, we face here a purely static inverse problem. Neural currents are modelled as an unknown number of current dipoles, whose state space is described in terms of a variable--dimension model. Within the resulting Bayesian framework, we set up a sequential Monte Carlo sampler to explore the posterior distribution. An adaptation technique is employed in order to effectively balance the computational cost and the quality of the sample approximation. Then, both the number and the parameters of the unknown current dipoles are simultaneously estimated. The performance of the method is assessed by means of synthetic data, generated by source configurations containing up to four dipoles. Eventually, we describe the results obtained by analyzing data from a real experiment, involving somatosensory evoked fields, and compare them to those provided by three other methods.
△ Less
Submitted 7 January, 2014; v1 submitted 20 May, 2013;
originally announced May 2013.
-
Dynamic filtering of static dipoles in magnetoencephalography
Authors:
Alberto Sorrentino,
Adam M. Johansen,
John A. D. Aston,
Thomas E. Nichols,
Wilfrid S. Kendall
Abstract:
We consider the problem of estimating neural activity from measurements of the magnetic fields recorded by magnetoencephalography. We exploit the temporal structure of the problem and model the neural current as a collection of evolving current dipoles, which appear and disappear, but whose locations are constant throughout their lifetime. This fully reflects the physiological interpretation of th…
▽ More
We consider the problem of estimating neural activity from measurements of the magnetic fields recorded by magnetoencephalography. We exploit the temporal structure of the problem and model the neural current as a collection of evolving current dipoles, which appear and disappear, but whose locations are constant throughout their lifetime. This fully reflects the physiological interpretation of the model. In order to conduct inference under this proposed model, it was necessary to develop an algorithm based around state-of-the-art sequential Monte Carlo methods employing carefully designed importance distributions. Previous work employed a bootstrap filter and an artificial dynamic structure where dipoles performed a random walk in space, yielding nonphysical artefacts in the reconstructions; such artefacts are not observed when using the proposed model. The algorithm is validated with simulated data, in which it provided an average localisation error which is approximately half that of the bootstrap filter. An application to complex real data derived from a somatosensory experiment is presented. Assessment of model fit via marginal likelihood showed a clear preference for the proposed model and the associated reconstructions show better localisation.
△ Less
Submitted 6 December, 2013; v1 submitted 29 May, 2012;
originally announced May 2012.
-
On conjugacy of convex billiards
Authors:
Vadim Kaloshin,
Alfonso Sorrentino
Abstract:
Given a strictly convex domain $Ω$ in $\R^2$, there is a natural way to define a billiard map in it: a rectilinear path hitting the boundary reflects so that the angle of reflection is equal to the angle of incidence. In this paper we answer a relatively old question of Guillemin. We show that if two billiard maps are $C^{1,α}$-conjugate near the boundary, for some $α> 1/2$, then the corresponding…
▽ More
Given a strictly convex domain $Ω$ in $\R^2$, there is a natural way to define a billiard map in it: a rectilinear path hitting the boundary reflects so that the angle of reflection is equal to the angle of incidence. In this paper we answer a relatively old question of Guillemin. We show that if two billiard maps are $C^{1,α}$-conjugate near the boundary, for some $α> 1/2$, then the corresponding domains are similar, i.e. they can be obtained one from the other by a rescaling and an isometry. As an application, we prove a conditional version of Birkhoff conjecture on the integrability of planar billiards and show that the original conjecture is equivalent to what we call an "Extension problem". Quite interestingly, our result and a positive solution to this extension problem would provide an answer to a closely related question in spectral theory: if the marked length spectra of two domains are the same, is it true that they are isometric?
△ Less
Submitted 6 March, 2012;
originally announced March 2012.
-
Lecture notes on Mather's theory for Lagrangian systems
Authors:
Alfonso Sorrentino
Abstract:
These are introductory lecture notes on Mather's theory for Tonelli Lagrangian and Hamiltonian systems. They are based on a series of lectures given by the author at Università degli Studi di Napoli "Federico II" (April 2009), at University of Cambridge (academic year 2009-2010) and at Universitat Politècnica de Catalunya (June 2010).
These are introductory lecture notes on Mather's theory for Tonelli Lagrangian and Hamiltonian systems. They are based on a series of lectures given by the author at Università degli Studi di Napoli "Federico II" (April 2009), at University of Cambridge (academic year 2009-2010) and at Universitat Politècnica de Catalunya (June 2010).
△ Less
Submitted 2 November, 2010;
originally announced November 2010.
-
Weak Liouville-Arnold Theorems & Their Implications
Authors:
Leo T. Butler,
Alfonso Sorrentino
Abstract:
This paper studies the existence of invariant smooth Lagrangian graphs for Tonelli Hamiltonian systems with symmetries. In particular, we consider Tonelli Hamiltonians with n independent but not necessarily involutive constants of motion and obtain two theorems reminiscent of the Liouville-Arnold theorem. Moreover, we also obtain results on the structure of the configuration spaces of such systems…
▽ More
This paper studies the existence of invariant smooth Lagrangian graphs for Tonelli Hamiltonian systems with symmetries. In particular, we consider Tonelli Hamiltonians with n independent but not necessarily involutive constants of motion and obtain two theorems reminiscent of the Liouville-Arnold theorem. Moreover, we also obtain results on the structure of the configuration spaces of such systems that are reminiscent of results on the configuration space of completely integrable Tonelli Hamiltonians.
△ Less
Submitted 12 November, 2012; v1 submitted 31 October, 2010;
originally announced November 2010.
