-
Computer-Assisted Proofs of Gap Solitons in Bose-Einstein Condensates
Authors:
Miguel Ayala,
Carlos García-Azpeitia,
Jean-Philippe Lessard
Abstract:
We provide a framework for turning a numerical simulation of a gap soliton in the one-dimensional Gross-Pitaevskii equation into a formal mathematical proof of its existence. These nonlinear localized solutions play a central role in understanding Bose-Einstein condensates (BECs). We reformulate the problem of proving their existence as the search for homoclinic orbits in a dynamical system. We th…
▽ More
We provide a framework for turning a numerical simulation of a gap soliton in the one-dimensional Gross-Pitaevskii equation into a formal mathematical proof of its existence. These nonlinear localized solutions play a central role in understanding Bose-Einstein condensates (BECs). We reformulate the problem of proving their existence as the search for homoclinic orbits in a dynamical system. We then apply computer-assisted proof techniques to obtain verifiable conditions under which a numerically approximated trajectory corresponds to a true homoclinic orbit. This work also presents the first examples of computer-assisted proofs of gap solitons in the Gross-Pitaevskii equation on non-perturbative parameter regimes.
△ Less
Submitted 27 June, 2025; v1 submitted 6 March, 2025;
originally announced March 2025.
-
Hydrodynamic limits and non-equilibrium fluctuations for the Symmetric Inclusion Process with long jumps
Authors:
Mario Ayala,
Johannes Zimmer
Abstract:
We consider a d-dimensional symmetric inclusion process (SIP), where particles are allowed to jump arbitrarily far apart. We establish both the hydrodynamic limit and non-equilibrium fluctuations for the empirical measure of particles. With the help of self-duality and Mosco convergence of Dirichlet forms, we extend structural parallels between exclusion and inclusion dynamics from the short-range…
▽ More
We consider a d-dimensional symmetric inclusion process (SIP), where particles are allowed to jump arbitrarily far apart. We establish both the hydrodynamic limit and non-equilibrium fluctuations for the empirical measure of particles. With the help of self-duality and Mosco convergence of Dirichlet forms, we extend structural parallels between exclusion and inclusion dynamics from the short-range scenario to the long-range setting. The hydrodynamic equation for the symmetric inclusion process turns out to be of non-local type. At the level of fluctuations from the hydrodynamic limit, we demonstrate that the density fluctuation field converges to a time-dependent generalized Ornstein-Uhlenbeck process whose characteristics are again non-local.
△ Less
Submitted 29 October, 2024;
originally announced October 2024.
-
Mosco convergence of independent particles and applications to particle systems with self-duality
Authors:
Mario Ayala
Abstract:
We consider a sequence of Markov processes $\lbrace X_t^n \mid n \in \mathbb{N} \rbrace$ with Dirichlet forms converging in the Mosco sense of Kuwae and Shioya to the Dirichlet form associated with a Markov process $X_t$. Under this assumption, we demonstrate that for any natural number $k$, the sequence of Dirichlet forms corresponding to the Markov processes generated by $k$ independent copies o…
▽ More
We consider a sequence of Markov processes $\lbrace X_t^n \mid n \in \mathbb{N} \rbrace$ with Dirichlet forms converging in the Mosco sense of Kuwae and Shioya to the Dirichlet form associated with a Markov process $X_t$. Under this assumption, we demonstrate that for any natural number $k$, the sequence of Dirichlet forms corresponding to the Markov processes generated by $k$ independent copies of $\lbrace X_t^n \mid n \in \mathbb{N} \rbrace$ also converges. As expected, the limit of this convergence is the Dirichlet form associated with $k$ independent copies of the process $X_t$. We provide applications of this result in the context of interacting particle systems with Markov moment duality.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Group Dispersal Modelling Revisited
Authors:
Mario Ayala,
Jérôme Coville,
Samuel Soubeyrand
Abstract:
In this paper we revisit the notion of grouped dispersal that have been introduced by Soubeyrand and co-authors \cite{soubeyrand2011patchy} to model the simultaneous (and hence dependent) dispersal of several propagules from a single source in a homogeneous environment. We built a time continuous measure valued process that takes into account the main feature of a grouped dispersal and derive…
▽ More
In this paper we revisit the notion of grouped dispersal that have been introduced by Soubeyrand and co-authors \cite{soubeyrand2011patchy} to model the simultaneous (and hence dependent) dispersal of several propagules from a single source in a homogeneous environment. We built a time continuous measure valued process that takes into account the main feature of a grouped dispersal and derive its infinitesimal generator. To cope with the mutligeneration aspect associated to the demography we introduce two types of propagules in the description of the population which is one of the main innovations here. We also provide a rigorous description of the process and its generator. We derive as well, some large population asymptotics of the process unveilling the degenerate ultra parabolic system of PDE satisfied by the density of population. Finally, we also show that such a PDE system has a non-trivial solution which is unique in a certain functional space.
△ Less
Submitted 1 July, 2024; v1 submitted 14 May, 2024;
originally announced May 2024.
-
$\mathfrak{gl}(3)$ Polynomial Integrable System: Different Faces of the 3-Body/${\mathcal A}_2$ Elliptic Calogero Model
Authors:
Alexander V. Turbiner,
Juan Carlos Lopez Vieyra,
Miguel Ayala
Abstract:
It is shown that the $\mathfrak{gl}(3)$ polynomial integrable system, introduced by Sokolov-Turbiner in [arXiv:1409.7439], is equivalent to the $\mathfrak{gl}(3)$ quantum Euler-Arnold top in a constant magnetic field. Their Hamiltonian as well as their third-order integral can be rewritten in terms of $\mathfrak{gl}(3)$ algebra generators. In turn, all these $\mathfrak{gl}(3)$ generators can be re…
▽ More
It is shown that the $\mathfrak{gl}(3)$ polynomial integrable system, introduced by Sokolov-Turbiner in [arXiv:1409.7439], is equivalent to the $\mathfrak{gl}(3)$ quantum Euler-Arnold top in a constant magnetic field. Their Hamiltonian as well as their third-order integral can be rewritten in terms of $\mathfrak{gl}(3)$ algebra generators. In turn, all these $\mathfrak{gl}(3)$ generators can be represented by the non-linear elements of the universal enveloping algebra of the 5-dimensional Heisenberg algebra $\mathfrak{h}_5(\hat{p}_{1,2},\hat{q}_{1,2}, I)$, thus, the Hamiltonian and integral are two elements of the universal enveloping algebra $U_{\mathfrak{h}_5}$. In this paper, four different representations of the $\mathfrak{h}_5$ Heisenberg algebra are used: (I) by differential operators in two real (complex) variables, (II) by finite-difference operators on uniform or exponential lattices. We discovered the existence of two 2-parametric bilinear and trilinear elements (denoted $H$ and $I$, respectively) of the universal enveloping algebra $U(\mathfrak{gl}(3))$ such that their Lie bracket (commutator) can be written as a linear superposition of nine so-called artifacts - the special bilinear elements of $U(\mathfrak{gl}(3))$, which vanish once the representation of the $\mathfrak{gl}(3)$-algebra generators is written in terms of the $\mathfrak{h}_5(\hat{p}_{1,2},\hat{q}_{1,2},I)$-algebra generators. In this representation all nine artifacts vanish, two of the above-mentioned elements of $U(\mathfrak{gl}(3))$ (called the Hamiltonian $H$ and the integral $I$) commute(!); in particular, they become the Hamiltonian and the integral of the 3-body elliptic Calogero model, if $(\hat{p},\hat{q})$ are written in the standard coordinate-momentum representation.
△ Less
Submitted 3 February, 2024; v1 submitted 30 April, 2023;
originally announced May 2023.
-
Counting rational points on weighted projective spaces over number fields
Authors:
Peter Bruin,
Irati Manterola Ayala
Abstract:
Deng (arXiv:math/9812082) gave an asymptotic formula for the number of rational points on a weighted projective space over a number field with respect to a certain height function. We prove a generalization of Deng's result involving a morphism between weighted projective spaces, allowing us to count rational points whose image under this morphism has bounded height. This method provides a more ge…
▽ More
Deng (arXiv:math/9812082) gave an asymptotic formula for the number of rational points on a weighted projective space over a number field with respect to a certain height function. We prove a generalization of Deng's result involving a morphism between weighted projective spaces, allowing us to count rational points whose image under this morphism has bounded height. This method provides a more general and simpler proof for a result of the first-named author and Najman on counting elliptic curves with prescribed level structures over number fields. We further include some examples of applications to modular curves.
△ Less
Submitted 21 February, 2023;
originally announced February 2023.
-
A measure-valued stochastic model for vector-borne viruses
Authors:
Mario Ayala,
Jerome Coville,
Raphael Forien
Abstract:
In this work we propose a measure-valued stochastic process representing the dynamics of a virus population, structured by phenotypic traits and geographical space, and where viruses are transported between spatial locations by mechanical vectors. As a first example of the use of this model, we show how to use this model to infer results on the probability of extinction of the virus population. La…
▽ More
In this work we propose a measure-valued stochastic process representing the dynamics of a virus population, structured by phenotypic traits and geographical space, and where viruses are transported between spatial locations by mechanical vectors. As a first example of the use of this model, we show how to use this model to infer results on the probability of extinction of the virus population. Later, by combining various scalings on population sizes, speed of diffusion of vectors, and other relevant model parameters, we show the emergence of two systems of integro-differential equations as Macroscopic descriptions of the system. Under the existence of densities at time zero, we also show the propagation of this property for later times, and derive the strong formulation of the limiting systems of IDEs. These strong formulations, in a sense, correspond to spatial Lotka-Volterra competition models with mutation and vector-borne dispersal.
△ Less
Submitted 8 November, 2022;
originally announced November 2022.
-
Higher order fluctuation fields and orthogonal duality polynomials
Authors:
Mario Ayala,
Gioia Carinci,
Frank Redig
Abstract:
Inspired by the works in [1] and [8] we introduce what we call $k$-th-order fluctuation fields and study their scaling limits. This construction is done in the context of particle systems with the property of orthogonal self-duality. This type of duality provides us with a setting in which we are able to interpret these fields as some type of discrete analogue of powers of the well-known density f…
▽ More
Inspired by the works in [1] and [8] we introduce what we call $k$-th-order fluctuation fields and study their scaling limits. This construction is done in the context of particle systems with the property of orthogonal self-duality. This type of duality provides us with a setting in which we are able to interpret these fields as some type of discrete analogue of powers of the well-known density fluctuation field. We show that the weak limit of the $k$-th order field satisfies a recursive martingale problem that formally corresponds to the SPDE associated with the $k$th-power of a generalized Ornstein-Uhlenbeck process.
△ Less
Submitted 17 April, 2020;
originally announced April 2020.
-
Condensation of SIP particles and sticky Brownian motion
Authors:
Mario Ayala,
Gioia Carinci,
Frank Redig
Abstract:
We study the symmetric inclusion process (SIP) in the condensation regime. We obtain an explicit scaling for the variance of the density field in this regime, when initially started from a homogeneous product measure. This provides relevant new information on the coarsening dynamics of condensing interacting particle systems on the infinite lattice. We obtain our result by proving convergence to s…
▽ More
We study the symmetric inclusion process (SIP) in the condensation regime. We obtain an explicit scaling for the variance of the density field in this regime, when initially started from a homogeneous product measure. This provides relevant new information on the coarsening dynamics of condensing interacting particle systems on the infinite lattice. We obtain our result by proving convergence to sticky Brownian motion for the difference of positions of two SIP particles in the sense of Mosco convergence of Dirichlet forms. Our approach implies the convergence of the probabilities of two SIP particles to be together at time $t$. This, combined with self-duality, allows us to obtain the explicit scaling for the variance of the fluctuation field.
△ Less
Submitted 7 May, 2020; v1 submitted 24 June, 2019;
originally announced June 2019.
-
Quantitative Boltzmann Gibbs principles via orthogonal polynomial duality
Authors:
Mario Ayala,
Gioia Carinci,
Frank Redig
Abstract:
We study fluctuation fields of orthogonal polynomials in the context of particle systems with duality. We thereby obtain a systematic orthogonal decomposition of the fluctuation fields of local functions, where the order of every term can be quantified. This implies a quantitative generalization of the Boltzmann Gibbs principle. In the context of independent random walkers, we complete this progra…
▽ More
We study fluctuation fields of orthogonal polynomials in the context of particle systems with duality. We thereby obtain a systematic orthogonal decomposition of the fluctuation fields of local functions, where the order of every term can be quantified. This implies a quantitative generalization of the Boltzmann Gibbs principle. In the context of independent random walkers, we complete this program, including also fluctuation fields in non-stationary context (local equilibrium). For other interacting particle systems with duality such as the symmetric exclusion process, similar results can be obtained, under precise conditions on the $n$ particle dynamics
△ Less
Submitted 22 December, 2017;
originally announced December 2017.
-
Group contractions and its consequences upon representations of different spatial symmetry groups
Authors:
Mauricio Ayala,
Richard Haase
Abstract:
We investigate the group contraction method for various space-time groups, including SO(3)->E_2, SO(3,1)->G_3, SO(5-h,h)->P(3,1) (h=1 or 2), and its consequences for representations of these groups. Following strictly quantum mechanical procedures we specifically pay attention in the asymptotic limiting procedure employed in the contraction G -> G', not only to the respective algebras but to the…
▽ More
We investigate the group contraction method for various space-time groups, including SO(3)->E_2, SO(3,1)->G_3, SO(5-h,h)->P(3,1) (h=1 or 2), and its consequences for representations of these groups. Following strictly quantum mechanical procedures we specifically pay attention in the asymptotic limiting procedure employed in the contraction G -> G', not only to the respective algebras but to their representations spaces spanned by the eigenvectors of the Cartan subalgebra and the eigenvalues labelling these representation spaces. Where appropriate a physical interpretation is given to the contraction prodecure.
△ Less
Submitted 5 June, 2002; v1 submitted 4 June, 2002;
originally announced June 2002.
