Showing 1–31 of 31 results for author: Ameur, Y

Remarks on the one-point density of Hele-Shaw $β$-ensembles

Authors: Yacin Ameur, Erik Troedsson

Abstract: In this note we prove equicontinuity for the family of one-point densities with respect to a two-dimensional Coulomb gas at an inverse temperature $β\ge 1/2$ confined by an external potential of Hele-Shaw (or quasi-harmonic) type. As a consequence, subsequential limiting Lipschitz continuous densities are defined on the microscopic scale. There are several additional results, for example comparing… ▽ More In this note we prove equicontinuity for the family of one-point densities with respect to a two-dimensional Coulomb gas at an inverse temperature $β\ge 1/2$ confined by an external potential of Hele-Shaw (or quasi-harmonic) type. As a consequence, subsequential limiting Lipschitz continuous densities are defined on the microscopic scale. There are several additional results, for example comparing the one-point density with the thermal equilibrium density. △ Less

Submitted 4 April, 2024; v1 submitted 21 February, 2024; originally announced February 2024.

Comments: This version contains some very minor corrections and cosmetic changes

A Complete Fragment of LTL(EB)

Authors: Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur

Abstract: The verification of liveness conditions is an important aspect of state-based rigorous methods. This article investigates this problem in a fragment $\square$LTL of the logic LTL(EB), the integration of the UNTIL-fragment of Pnueli's linear time temporal logic (LTL) and the logic of Event-B, in which the most commonly used liveness conditions can be expressed. For this fragment a sound set of deri… ▽ More The verification of liveness conditions is an important aspect of state-based rigorous methods. This article investigates this problem in a fragment $\square$LTL of the logic LTL(EB), the integration of the UNTIL-fragment of Pnueli's linear time temporal logic (LTL) and the logic of Event-B, in which the most commonly used liveness conditions can be expressed. For this fragment a sound set of derivation rules is developed, which is also complete under mild restrictions for Event-B machines. △ Less

Submitted 30 January, 2024; originally announced January 2024.

Comments: 22 pages

MSC Class: 68Q60; 68N30

Free energy and fluctuations in the random normal matrix model with spectral gaps

Authors: Yacin Ameur, Christophe Charlier, Joakim Cronvall

Abstract: We study large $n$ expansions for the partition function of a Coulomb gas $$Z_n=\frac 1 {π^n}\int_{\mathbb{C}^n}\prod_{1\le i<j\le n}|z_i-z_j|^2\prod_{i=1}^n e^{-nQ(z_i)}\, d^2 z_i,$$ where $Q$ is a radially symmetric confining potential on the complex plane $\mathbb{C}$. The droplet is not assumed to be connected, but may consist of a number of disjoint connected annuli and possibly a central d… ▽ More We study large $n$ expansions for the partition function of a Coulomb gas $$Z_n=\frac 1 {π^n}\int_{\mathbb{C}^n}\prod_{1\le i<j\le n}|z_i-z_j|^2\prod_{i=1}^n e^{-nQ(z_i)}\, d^2 z_i,$$ where $Q$ is a radially symmetric confining potential on the complex plane $\mathbb{C}$. The droplet is not assumed to be connected, but may consist of a number of disjoint connected annuli and possibly a central disk. The boundary condition is ``soft edge'', i.e., $Q$ is smooth in a $\mathbb{C}$-neighbourhood of the droplet. We include the following possibilities: (i) existence of ``outposts'', i.e., components of the coincidence set which falls outside of the droplet, (ii) a conical (or Fisher-Hartwig) singularity at the origin, (iii) perturbations $Q-\frac h n$ where $h$ is a smooth radially symmetric test-function. In each case, the free energy $\log Z_n$ admits a large $n$ expansion of the form \begin{equation*}\log Z_n=C_1n^2+C_2n\log n+C_3 n+C_4\log n+C_5+\mathcal{G}_{n}+o(1)\end{equation*} where $C_1,\ldots,C_5$ are certain geometric functionals. The $n$-dependent term $\mathcal{G}_n$ is bounded as $n\to\infty$; it arises in the presence of spectral gaps. We use the free energy expansions to study the distribution of fluctuations of linear statistics. We prove that the fluctuations are well approximated by the sum of a Gaussian and certain independent terms which provide the displacement of particles from one component to another. This displacement depends on $n$ and is expressed in terms of the Heine distribution. We also prove (under suitable assumptions) that the number of particles which fall near a spectral outpost converges to a Heine distribution. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Random normal matrices: eigenvalue correlations near a hard wall

Authors: Yacin Ameur, Christophe Charlier, Joakim Cronvall

Abstract: We study the eigenvalues of some $n\times n$ random normal matrices. In our situation, the $n$ eigenvalues are separated into two disjoint components by a hard wall. We study the corresponding correlation kernel $K_{n}(z,w)$ as $n\to\infty$ in two diagonal regimes (with either $|z-w| = \mathcal{O} (\frac{1}{\sqrt{n}})$ or $|z-w| = \mathcal{O} (\frac{1}{n})$), as well as in three off-diagonal regim… ▽ More We study the eigenvalues of some $n\times n$ random normal matrices. In our situation, the $n$ eigenvalues are separated into two disjoint components by a hard wall. We study the corresponding correlation kernel $K_{n}(z,w)$ as $n\to\infty$ in two diagonal regimes (with either $|z-w| = \mathcal{O} (\frac{1}{\sqrt{n}})$ or $|z-w| = \mathcal{O} (\frac{1}{n})$), as well as in three off-diagonal regimes (with $|z-w| \asymp 1$). For some of these regimes, the asymptotics are described by oscillatory theta functions and weighted Szegő kernels. When $z,w$ are both at a distance of order $\frac{1}{n}$ from the hard wall, our results also show a slow decay of $K_{n}(z,w)$ as $|z-w|$ increases. △ Less

Submitted 25 June, 2023; originally announced June 2023.

Comments: 41 pages, 3 figures. Our results are summarized in Figure 2

Eigenvalues of truncated unitary matrices: disk counting statistics

Authors: Yacin Ameur, Christophe Charlier, Philippe Moreillon

Abstract: Let $T$ be an $n\times n$ truncation of an $(n+α)\times (n+α)$ Haar distributed unitary matrix. We consider the disk counting statistics of the eigenvalues of $T$. We prove that as $n\to + \infty$ with $α$ fixed, the associated moment generating function enjoys asymptotics of the form \begin{align*} \exp \big( C_{1} n + C_{2} + o(1) \big), \end{align*} where the constants $C_{1}$ and $C_{2}$ are g… ▽ More Let $T$ be an $n\times n$ truncation of an $(n+α)\times (n+α)$ Haar distributed unitary matrix. We consider the disk counting statistics of the eigenvalues of $T$. We prove that as $n\to + \infty$ with $α$ fixed, the associated moment generating function enjoys asymptotics of the form \begin{align*} \exp \big( C_{1} n + C_{2} + o(1) \big), \end{align*} where the constants $C_{1}$ and $C_{2}$ are given in terms of the incomplete Gamma function. Our proof uses the uniform asymptotics of the incomplete Beta function. △ Less

Submitted 15 May, 2023; originally announced May 2023.

Comments: 14 pages, 4 figures

Disk counting statistics near hard edges of random normal matrices: the multi-component regime

Authors: Yacin Ameur, Christophe Charlier, Joakim Cronvall, Jonatan Lenells

Abstract: We consider a two-dimensional point process whose points are separated into two disjoint components by a hard wall, and study the multivariate moment generating function of the corresponding disk counting statistics. We investigate the ``hard edge regime" where all disk boundaries are a distance of order $\frac{1}{n}$ away from the hard wall, where $n$ is the number of points. We prove that as… ▽ More We consider a two-dimensional point process whose points are separated into two disjoint components by a hard wall, and study the multivariate moment generating function of the corresponding disk counting statistics. We investigate the ``hard edge regime" where all disk boundaries are a distance of order $\frac{1}{n}$ away from the hard wall, where $n$ is the number of points. We prove that as $n \to + \infty$, the asymptotics of the moment generating function are of the form \begin{align*} & \exp \bigg(C_{1}n + C_{2}\ln n + C_{3} + \mathcal{F}_{n} + \frac{C_{4}}{\sqrt{n}} + \mathcal{O}(n^{-\frac{3}{5}})\bigg), \end{align*} and we determine the constants $C_{1},\dots,C_{4}$ explicitly. The oscillatory term $\mathcal{F}_{n}$ is of order $1$ and is given in terms of the Jacobi theta function. Our theorems allow us to derive various precise results on the disk counting function. For example, we prove that the asymptotic fluctuations of the number of points in one component are of order $1$ and are given by an oscillatory discrete Gaussian. Furthermore, the variance of this random variable enjoys asymptotics described by the Weierstrass $\wp$-function. △ Less

Submitted 25 October, 2022; originally announced October 2022.

Comments: 39 pages, 1 figure

The two-dimensional Coulomb gas: fluctuations through a spectral gap

Authors: Yacin Ameur, Christophe Charlier, Joakim Cronvall

Abstract: We study a class of radially symmetric Coulomb gas ensembles at inverse temperature $β=2$, for which the droplet consists of a number of concentric annuli, having at least one bounded ``gap'' $G$, i.e., a connected component of the complement of the droplet, which disconnects the droplet. Let $n$ be the total number of particles. Among other things, we deduce fine asymptotics as $n \to \infty$ for… ▽ More We study a class of radially symmetric Coulomb gas ensembles at inverse temperature $β=2$, for which the droplet consists of a number of concentric annuli, having at least one bounded ``gap'' $G$, i.e., a connected component of the complement of the droplet, which disconnects the droplet. Let $n$ be the total number of particles. Among other things, we deduce fine asymptotics as $n \to \infty$ for the edge density and the correlation kernel near the gap, as well as for the cumulant generating function of fluctuations of smooth linear statistics. We typically find an oscillatory behaviour in the distribution of particles which fall near the edge of the gap. These oscillations are given explicitly in terms of a discrete Gaussian distribution, weighted Szegő kernels, and the Jacobi theta function, which depend on the parameter $n$. △ Less

Submitted 25 October, 2022; originally announced October 2022.

Comments: 47 pages, 4 figures

Exponential moments for disk counting statistics at the hard edge of random normal matrices

Authors: Yacin Ameur, Christophe Charlier, Joakim Cronvall, Jonatan Lenells

Abstract: We consider the multivariate moment generating function of the disk counting statistics of a model Mittag-Leffler ensemble in the presence of a hard wall. Let $n$ be the number of points. We focus on two regimes: (a) the ``hard edge regime" where all disk boundaries are at a distance of order $\frac{1}{n}$ from the hard wall, and (b) the ``semi-hard edge regime" where all disk boundaries are at a… ▽ More We consider the multivariate moment generating function of the disk counting statistics of a model Mittag-Leffler ensemble in the presence of a hard wall. Let $n$ be the number of points. We focus on two regimes: (a) the ``hard edge regime" where all disk boundaries are at a distance of order $\frac{1}{n}$ from the hard wall, and (b) the ``semi-hard edge regime" where all disk boundaries are at a distance of order $\frac{1}{\sqrt{n}}$ from the hard wall. As $n \to + \infty$, we prove that the moment generating function enjoys asymptotics of the form \begin{align*} & \exp \bigg(C_{1}n + C_{2}\ln n + C_{3} + \frac{C_{4}}{\sqrt{n}} + \mathcal{O}(n^{-\frac{3}{5}})\bigg), & & \mbox{for the hard edge}, \\ & \exp \bigg(C_{1}n + C_{2}\sqrt{n} \hspace{0.12cm} + C_{3} + \frac{C_{4}}{\sqrt{n}} + \mathcal{O}\bigg(\frac{(\ln n)^{4}}{n}\bigg)\bigg), & & \mbox{for the semi-hard edge}. \end{align*} In both cases, we determine the constants $C_{1},\dots,C_{4}$ explicitly. We also derive precise asymptotic formulas for all joint cumulants of the disk counting function, and establish several central limit theorems. Surprisingly, and in contrast to the ``bulk", ``soft edge" and ``semi-hard edge" regimes, the second and higher order cumulants of the disk counting function in the ``hard edge" regime are proportional to $n$ and not to $\sqrt{n}$. △ Less

Submitted 27 July, 2023; v1 submitted 22 July, 2022; originally announced July 2022.

Comments: 41 pages, 2 figures

Gaussian beta ensembles: the perfect freezing transition and its characterization in terms of Beurling-Landau densities

Authors: Yacin Ameur, Felipe Marceca, José Luis Romero

Abstract: The Gaussian $β$-ensemble is a real $n$-point configuration $\{x_j\}_1^n$ picked randomly with respect to the Boltzmann factor $e^{-\fracβ2H_n}$, $H_n=\sum_{i\ne j}\log\frac 1{|x_i-x_j|}+n\sum_{i=1}^n\tfrac 12x_i^2.$ The point process $\{x_j\}_1^n$ tends to follow the semicircle law $σ(x)=\tfrac 1{2π}\sqrt{(4-x^2)_+}$ in certain average senses. A Fekete configuration (minimizer of $H_n$) is spre… ▽ More The Gaussian $β$-ensemble is a real $n$-point configuration $\{x_j\}_1^n$ picked randomly with respect to the Boltzmann factor $e^{-\fracβ2H_n}$, $H_n=\sum_{i\ne j}\log\frac 1{|x_i-x_j|}+n\sum_{i=1}^n\tfrac 12x_i^2.$ The point process $\{x_j\}_1^n$ tends to follow the semicircle law $σ(x)=\tfrac 1{2π}\sqrt{(4-x^2)_+}$ in certain average senses. A Fekete configuration (minimizer of $H_n$) is spread out in a much more uniform way in the interval $[-2,2]$ with respect to the regularization $σ_n(x)=\max\{σ(x),n^{-\frac 1 3}\}$ of the semicircle law. In particular, Fekete configurations are "equidistributed" with respect to $σ_n(x)$, in a certain technical sense of Beurling-Landau densities. We consider the problem of characterizing sequences $β_n$ of inverse temperatures, which guarantee almost sure equidistribution as $n\to\infty$. We find that a necessary and sufficient condition is that $β_n$ grows at least logarithmically in $n$: $$β_n\gtrsim \log n.$$ We call this growth rate the perfect freezing regime. We give several further results on the distribution of particles when $β_n\gtrsim\log n$, for example on minimal spacing, discrepancies, and sampling and interpolation for weighted polynomials. The condition $β_n\gtrsim\log n$ was introduced by some of the authors in the context of two-dimensional Coulomb gas ensembles, where it is shown to be sufficient for equidistribution. Although the technical implementation requires some considerable modifications, the strategy from dimension two adapts well to prove sufficiency also for one-dimensional Gaussian ensembles. On a technical level, we use estimates for weighted polynomials due to Levin, Lubinsky, Gustavsson and others. The other direction (necessity) involves estimates due to Ledoux and Rider on the distribution of particles which fall near or outside the boundary. △ Less

Submitted 30 May, 2022; originally announced May 2022.

MSC Class: 60K35; 82B26; 94A20; 31C20

Szegő type asymptotics for the reproducing kernel in spaces of full-plane weighted polynomials

Authors: Yacin Ameur, Joakim Cronvall

Abstract: In this work we find and discuss an asymptotic formula, as $n\to\infty$, for the reproducing kernel $K_n(z,w)$ in spaces of full-plane weighted polynomials $W(z)=P(z)\cdot e^{-\frac 12nQ(z)},$ where $P(z)$ is a holomorphic polynomial of degree at most $n-1$ and $Q(z)$ is a fixed, real-valued function termed "external potential". The kernel $K_n$ corresponds precisely to the canonical correlation k… ▽ More In this work we find and discuss an asymptotic formula, as $n\to\infty$, for the reproducing kernel $K_n(z,w)$ in spaces of full-plane weighted polynomials $W(z)=P(z)\cdot e^{-\frac 12nQ(z)},$ where $P(z)$ is a holomorphic polynomial of degree at most $n-1$ and $Q(z)$ is a fixed, real-valued function termed "external potential". The kernel $K_n$ corresponds precisely to the canonical correlation kernel in the theory of random normal matrices. As is well-known, the large $n$ behaviour of $K_n(z,w)$ must depend crucially on the position of the points $z$ and $w$ relative to the droplet $S$, i.e., the support of Frostman's equilibrium measure in external potential $Q$. In the particular case when $z$ and $w$ are at the edge and $z\ne w$, we prove the formula $K_n(z,w)\sim\sqrt{2πn}\,ΔQ(z)^{\frac 1 4}ΔQ(w)^{\frac 14}\,S(z,w)$ where $S(z,w)$ is the Szegő kernel associated with the Hardy space $H^2_0(U)$ of analytic functions on unbounded component $U$ of $\hat{\mathbb{C}}\setminus S$ which vanish at infinity. This gives a rigorous description of the slow decay of correlations at the boundary, which was predicted by Forrester and Jancovici in 1996, in the context of elliptic Ginibre ensembles. △ Less

Submitted 27 September, 2023; v1 submitted 23 July, 2021; originally announced July 2021.

Comments: Minor update: a few slightly annoying typos have been eliminated

Characterizations of Matrix Valued Asymmetric Truncated Toeplitz Operators

Authors: Rewayat Khan, Yagoub Ameur, Jamroz Khan

Abstract: Matrix valued asymmetric truncated Toeplitz operators are compressions of multiplication operators acting between two possibly different model spaces. In this paper, we characterize matrix valued asymmetric truncated Toeplitz operators by using compressed shifts. Matrix valued asymmetric truncated Toeplitz operators are compressions of multiplication operators acting between two possibly different model spaces. In this paper, we characterize matrix valued asymmetric truncated Toeplitz operators by using compressed shifts. △ Less

Submitted 1 May, 2021; v1 submitted 29 March, 2021; originally announced March 2021.

Comments: Dr. B. Łanucha waived all claim of copyright in this work

MSC Class: 47B35; 47B32; 30D20

Almost-Hermitian random matrices and bandlimited point processes

Authors: Yacin Ameur, Sung-Soo Byun

Abstract: We study the distribution of eigenvalues of almost-Hermitian random matrices associated with the classical Gaussian and Laguerre unitary ensembles. In the almost-Hermitian setting, which was pioneered by Fyodorov, Khoruzhenko and Sommers in the case of GUE, the eigenvalues are not confined to the real axis, but instead have imaginary parts which vary within a narrow ``band'' about the real line, o… ▽ More We study the distribution of eigenvalues of almost-Hermitian random matrices associated with the classical Gaussian and Laguerre unitary ensembles. In the almost-Hermitian setting, which was pioneered by Fyodorov, Khoruzhenko and Sommers in the case of GUE, the eigenvalues are not confined to the real axis, but instead have imaginary parts which vary within a narrow ``band'' about the real line, of height proportional to $\tfrac 1 N$, where $N$ denotes the size of the matrices. We study vertical cross-sections of the 1-point density as well as microscopic scaling limits, and we compare with other results which have appeared in the literature in recent years. Our approach uses Ward's equation and a property which we call ``cross-section convergence'', which relates the large-$N$ limit of the cross-sections of the density of eigenvalues with the equilibrium density for the corresponding Hermitian ensemble: the semi-circle law for GUE and the Marchenko-Pastur law for LUE. As an application of our approach, we prove the bulk universality of the almost-circular ensembles. △ Less

Submitted 28 May, 2023; v1 submitted 11 January, 2021; originally announced January 2021.

Comments: 46 pages, 11 figures

MSC Class: 60B20; 33C45

The planar low temperature Coulomb gas: separation and equidistribution

Authors: Yacin Ameur, José Luis Romero

Abstract: We consider planar Coulomb systems consisting of a large number $n$ of repelling point charges in the low temperature regime, where the inverse temperature $β$ grows at least logarithmically in $n$ as $n \longrightarrow \infty$, i.e., $β\gtrsim \log n$. Under suitable conditions on an external potential we prove results to the effect that the gas is with high probability uniformly separated and eq… ▽ More We consider planar Coulomb systems consisting of a large number $n$ of repelling point charges in the low temperature regime, where the inverse temperature $β$ grows at least logarithmically in $n$ as $n \longrightarrow \infty$, i.e., $β\gtrsim \log n$. Under suitable conditions on an external potential we prove results to the effect that the gas is with high probability uniformly separated and equidistributed with respect to the corresponding equilibrium measure (in the given external field). Our results generalize earlier results about Fekete configurations, i.e., the case $β=\infty$. There are also several auxiliary results which could be of independent interest. For example, our method of proof of equidistribution (a variant of "Landau's method") works for general families of configurations which are uniformly separated and which satisfy certain sampling and interpolation inequalities. △ Less

Submitted 17 January, 2022; v1 submitted 20 October, 2020; originally announced October 2020.

Comments: 32 pages

MSC Class: 60K35; 82B26; 94A20; 31C20

On the Uniqueness Problem for Quadrature Domains

Authors: Yacin Ameur, Martin Helmer, Felix Tellander

Abstract: We study questions of existence and uniqueness of quadrature domains using computational tools from real algebraic geometry. These problems are transformed into questions about the number of solutions to an associated real semi-algebraic system, which is analyzed using the method of real comprehensive triangular decomposition. We study questions of existence and uniqueness of quadrature domains using computational tools from real algebraic geometry. These problems are transformed into questions about the number of solutions to an associated real semi-algebraic system, which is analyzed using the method of real comprehensive triangular decomposition. △ Less

Submitted 10 May, 2021; v1 submitted 26 January, 2020; originally announced January 2020.

Comments: Corrected a minor and isolated typo in (4)

MSC Class: 30C20; 31A25; 14P10; 68W30

Journal ref: Computational Methods and Function Theory (2021)

On boundary confinements for the Coulomb gas

Authors: Yacin Ameur, Nam-Gyu Kang, Seong-Mi Seo

Abstract: We introduce a family of boundary confinements for Coulomb gas ensembles, and study them in the two-dimensional determinantal case of random normal matrices. The family interpolates between the free boundary and hard edge cases, which have been well studied in various random matrix theories. The confinement can also be relaxed beyond the free boundary to produce ensembles with more fuzzy boundarie… ▽ More We introduce a family of boundary confinements for Coulomb gas ensembles, and study them in the two-dimensional determinantal case of random normal matrices. The family interpolates between the free boundary and hard edge cases, which have been well studied in various random matrix theories. The confinement can also be relaxed beyond the free boundary to produce ensembles with more fuzzy boundaries, i.e., where the particles are more and more likely to be found outside of the boundary. The resulting ensembles are investigated with respect to scaling limits and distribution of the maximum modulus. In particular, we prove existence of a new point field - a limit of scaling limits to the ultraweak point when the droplet ceases to be well defined. △ Less

Submitted 1 November, 2020; v1 submitted 26 September, 2019; originally announced September 2019.

Journal ref: Anal. Math. Phys. 10, 68 (2020)

A localization theorem for the planar Coulomb gas in an external field

Authors: Yacin Ameur

Abstract: We examine a Coulomb gas consisting of $n$ identical repelling point charges at an arbitrary inverse temperature $β$, subjected to a suitable external field. We prove that the gas is effectively localized to a small neighbourhood of the "droplet" -- the support of the equilibrium measure determined by the external field. More precisely, we prove that the distance between the droplet and the vacuum… ▽ More We examine a Coulomb gas consisting of $n$ identical repelling point charges at an arbitrary inverse temperature $β$, subjected to a suitable external field. We prove that the gas is effectively localized to a small neighbourhood of the "droplet" -- the support of the equilibrium measure determined by the external field. More precisely, we prove that the distance between the droplet and the vacuum is with very high probability at most proportional to $$\sqrt{\dfrac {\log n}{βn}}.$$ This order of magnitude is known to be "tight" when $β=1$ and the external field is radially symmetric. In addition, we prove estimates for the one-point function in a neighbourhood of the droplet, proving in particular a fast uniform decay as one moves beyond a distance roughly of the order $\sqrt{\frac {\log n}{βn}}$ from the droplet. △ Less

Submitted 15 April, 2021; v1 submitted 1 July, 2019; originally announced July 2019.

MSC Class: 60K35

Journal ref: Electron. J. Probab. 26 (2021), article no. 46

A note on normal matrix ensembles at the hard edge

Authors: Yacin Ameur

Abstract: We investigate how the theory of quasipolynomials due to Hedenmalm and Wennman works in a hard edge setting and obtain as a consequence a scaling limit for radially symmetric potentials. We investigate how the theory of quasipolynomials due to Hedenmalm and Wennman works in a hard edge setting and obtain as a consequence a scaling limit for radially symmetric potentials. △ Less

Submitted 30 September, 2018; v1 submitted 21 August, 2018; originally announced August 2018.

Comments: A technical problem was discovered, which means that we do not obtain universality in this note

Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform

Authors: Yamine Ait Ameur, Idir Ait Sadoune, Kahina Hacid, Linda Mohand Oussaid

Abstract: This paper reports on the results of the French ANR IMPEX research project dealing with making explicit domain knowledge in design models. Ontologies are formalised as theories with sets, axioms, theorems and reasoning rules. They are integrated to design models through an annotation mechanism. Event-B has been chosen as the ground formal modelling technique for all our developments. In this paper… ▽ More This paper reports on the results of the French ANR IMPEX research project dealing with making explicit domain knowledge in design models. Ontologies are formalised as theories with sets, axioms, theorems and reasoning rules. They are integrated to design models through an annotation mechanism. Event-B has been chosen as the ground formal modelling technique for all our developments. In this paper, we particularly describe how ontologies are formalised as Event-B theories. △ Less

Submitted 14 May, 2018; originally announced May 2018.

Comments: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636

Journal ref: EPTCS 271, 2018, pp. 24-33

The random normal matrix model: insertion of a point charge

Authors: Yacin Ameur, Nam-Gyu Kang, Seong-Mi Seo

Abstract: In this article, we study microscopic properties of a two-dimensional eigenvalue ensemble near a conical singularity arising from insertion of a point charge in the bulk of the support of eigenvalues. In particular, we characterize all rotationally symmetric scaling limits ('Mittag-Leffler fields') and obtain universality of them when the underlying potential is algebraic. Applications include a r… ▽ More In this article, we study microscopic properties of a two-dimensional eigenvalue ensemble near a conical singularity arising from insertion of a point charge in the bulk of the support of eigenvalues. In particular, we characterize all rotationally symmetric scaling limits ('Mittag-Leffler fields') and obtain universality of them when the underlying potential is algebraic. Applications include a result on the asymptotic distribution of $\log|p_n(ζ)|$ where $p_n$ is the characteristic polynomial of an $n$:th order random normal matrix. △ Less

Submitted 6 August, 2021; v1 submitted 23 April, 2018; originally announced April 2018.

Comments: In this version, we have expanded the range of possible singularities, so that we in particular include the full, two-parametric family of Mittag-Leffler fields. Potential Anal (2021)

Repulsion in low temperature $β$-ensembles

Authors: Yacin Ameur

Abstract: We prove a result on separation of particles in a two-dimensional Coulomb plasma, which holds provided that the inverse temperature $β$ satisfies $β>1$. For large $β$, separation is obtained at the same scale as the conjectural Abrikosov lattice optimal separation. We prove a result on separation of particles in a two-dimensional Coulomb plasma, which holds provided that the inverse temperature $β$ satisfies $β>1$. For large $β$, separation is obtained at the same scale as the conjectural Abrikosov lattice optimal separation. △ Less

Submitted 23 September, 2017; v1 submitted 17 January, 2017; originally announced January 2017.

Comments: A previous union bound mistake on p 8 was corrected. As a consequence, the main results are somewhat modified

Microscopic densities and Fock-Sobolev spaces

Authors: Yacin Ameur, Seong-Mi Seo

Abstract: We study two-dimensional eigenvalue ensembles close to certain types of singular points in the bulk of the droplet. We prove existence of a microscopic density which quickly approaches the classical equilibrium density, as the distance from the singularity increases beyond the microscopic scale. As a consequence we obtain asymptotics for the Bergman function of certain Fock-Sobolev spaces of entir… ▽ More We study two-dimensional eigenvalue ensembles close to certain types of singular points in the bulk of the droplet. We prove existence of a microscopic density which quickly approaches the classical equilibrium density, as the distance from the singularity increases beyond the microscopic scale. As a consequence we obtain asymptotics for the Bergman function of certain Fock-Sobolev spaces of entire functions. △ Less

Submitted 4 October, 2019; v1 submitted 31 October, 2016; originally announced October 2016.

MSC Class: 30H20; 60B20

Journal ref: J. Analyse Math. 139 (2019)

On bulk singularities in the random normal matrix model

Authors: Yacin Ameur, Seong-Mi Seo

Abstract: We extend the method of rescaled Ward identities of Ameur-Kang-Makarov to study the distribution of eigenvalues close to a bulk singularity, i.e. a point in the interior of the droplet where the density of the classical equilibrium measure vanishes. We prove results to the effect that a certain "dominant part" of the Taylor expansion determines the microscopic properties near a bulk singularity. A… ▽ More We extend the method of rescaled Ward identities of Ameur-Kang-Makarov to study the distribution of eigenvalues close to a bulk singularity, i.e. a point in the interior of the droplet where the density of the classical equilibrium measure vanishes. We prove results to the effect that a certain "dominant part" of the Taylor expansion determines the microscopic properties near a bulk singularity. A description of the distribution is given in terms of a special entire function, which depends on the nature of the singularity (a Mittag-Leffler function in the case of a rotationally symmetric singularity). △ Less

Submitted 30 August, 2016; v1 submitted 22 March, 2016; originally announced March 2016.

Comments: This version clarifies on the proof of Theorem 4

Scaling limits of random normal matrix processes at singular boundary points

Authors: Yacin Ameur, Nam-Gyu Kang, Nikolai Makarov, Aron Wennman

Abstract: We give a method for taking microscopic limits of normal matrix ensembles. We apply this method to study the behaviour near certain types of singular points on the boundary of the droplet. Our investigation includes ensembles without restrictions near the boundary, as well as hard edge ensembles, where the eigenvalues are confined to the droplet. We establish in both cases existence of new types o… ▽ More We give a method for taking microscopic limits of normal matrix ensembles. We apply this method to study the behaviour near certain types of singular points on the boundary of the droplet. Our investigation includes ensembles without restrictions near the boundary, as well as hard edge ensembles, where the eigenvalues are confined to the droplet. We establish in both cases existence of new types of determinantal point fields, which differ from those which can appear at a regular boundary point, or in the bulk. △ Less

Submitted 9 October, 2019; v1 submitted 29 October, 2015; originally announced October 2015.

Comments: This (final) version contains some improvements with respect to presentation, correction of typos, and so on

MSC Class: Primary: 60B20; Secondary: 60G55; 81T40; 30C40; 30D15; 35R09

A density theorem for weighted Fekete sets

Authors: Yacin Ameur

Abstract: We prove a result concerning the spreading of weighted Fekete points in the plane. We prove a result concerning the spreading of weighted Fekete points in the plane. △ Less

Submitted 6 June, 2016; v1 submitted 29 October, 2015; originally announced October 2015.

Comments: Version 2 contains a number of clarifications, notably Lemma 2.8 (new), Lemma 2.10 (clarified), and the passage from eq. (4.3) to (4.4) (clarified)

MSC Class: 31C20

Rescaling Ward identities in the random normal matrix model

Authors: Yacin Ameur, Nam-Gyu Kang, Nikolai Makarov

Abstract: We study existence and universality of scaling limits for the eigenvalues of a random normal matrix, in particular at points on the boundary of the spectrum. Our approach uses Ward's equation, which is an identity satisfied by the 1-point function. We study existence and universality of scaling limits for the eigenvalues of a random normal matrix, in particular at points on the boundary of the spectrum. Our approach uses Ward's equation, which is an identity satisfied by the 1-point function. △ Less

Submitted 29 October, 2015; v1 submitted 15 October, 2014; originally announced October 2014.

Comments: This is a substantial revision with several new results. The previous section 7 on singular boundary points has been lifted out and developed in a separate note

MSC Class: Primary: 60B20; Secondary: 60G55; 81Q20; 81T40; 30C40; 30D15; 35R09

Interpolation between Hilbert spaces

Authors: Yacin Ameur

Abstract: This note comprises a synthesis of certain results in the theory of exact interpolation between Hilbert spaces. In particular, we examine various characterizations of interpolation spaces and their relations to a number of results in operator-theory and in function-theory. This note comprises a synthesis of certain results in the theory of exact interpolation between Hilbert spaces. In particular, we examine various characterizations of interpolation spaces and their relations to a number of results in operator-theory and in function-theory. △ Less

Submitted 29 June, 2019; v1 submitted 23 January, 2014; originally announced January 2014.

Comments: This last update is to conform with what was published

MSC Class: 46B70; 47A57

Journal ref: In: "Analysis of Operators on Function Spaces", Aleman, Hedenmalm, Khavinson, Putinar (Eds.), Trends in Mathematics, Birkhäuser 2019

Beurling-Landau densities of weighted Fekete sets and correlation kernel estimates

Authors: Yacin Ameur, Joaquim Ortega-Cerdà

Abstract: In this paper we discuss equidistribution results for weighted Fekete sets in subsets of the plane. More precisely, we show that Fekete sets are maximally spread out relative to a rescaled version of the Beurling--Landau density, in the "droplet" corresponding to the given weight. Our method combines Landau's idea to relate the density of a family of discrete sets to properties of the spectrum of… ▽ More In this paper we discuss equidistribution results for weighted Fekete sets in subsets of the plane. More precisely, we show that Fekete sets are maximally spread out relative to a rescaled version of the Beurling--Landau density, in the "droplet" corresponding to the given weight. Our method combines Landau's idea to relate the density of a family of discrete sets to properties of the spectrum of the concentration operator, with estimates for the correlation kernel of the corresponding random normal matrix ensemble. △ Less

Submitted 3 October, 2011; originally announced October 2011.

Journal ref: J. Funct. Anal. 263 (2012), no. 7, 1825-1861

Random normal matrices and Ward identities

Authors: Yacin Ameur, Haakan Hedenmalm, Nikolai Makarov

Abstract: Consider the random normal matrix ensemble associated with a potential on the plane which is sufficiently strong near infinity. It is known that, to a first approximation, the eigenvalues obey a certain equilibrium distribution, given by Frostman's solution to the minimum energy problem of weighted logarithmic potential theory. On a finer scale, one can consider fluctuations of eigenvalues about t… ▽ More Consider the random normal matrix ensemble associated with a potential on the plane which is sufficiently strong near infinity. It is known that, to a first approximation, the eigenvalues obey a certain equilibrium distribution, given by Frostman's solution to the minimum energy problem of weighted logarithmic potential theory. On a finer scale, one can consider fluctuations of eigenvalues about the equilibrium. In the present paper, we give the correction to the expectation of fluctuations, and we prove that the potential field of the corrected fluctuations converge on smooth test functions to a Gaussian free field with free boundary conditions on the droplet associated with the potential. △ Less

Submitted 16 March, 2015; v1 submitted 27 September, 2011; originally announced September 2011.

Comments: An unnecessary line on p.3 removed. (The line also contained a type-o.)

Journal ref: Ann. Probab. 43 (2015), 1157-1201

Fluctuations of eigenvalues of random normal matrices

Authors: Yacin Ameur, Haakan Hedenmalm, Nikolai Makarov

Abstract: In this note, we prove Gaussian field convergence of fluctuations of eigenvalues of random normal matrices in the interior of a quantum droplet. In this note, we prove Gaussian field convergence of fluctuations of eigenvalues of random normal matrices in the interior of a quantum droplet. △ Less

Submitted 13 June, 2010; v1 submitted 2 July, 2008; originally announced July 2008.

MSC Class: 15A52; 62H20

Journal ref: Duke Math. J. 159, no. 1 (2011), 31-81

Berezin transform in polynomial Bergman spaces

Authors: Yacin Ameur, Haakan Hedenmalm, Nikolai Makarov

Abstract: We study the reproducing kernel for weighted polynomial Bergman spaces and consider applications to the Berezin transform. Some of our results have applications in random matrix theory, a topic which we discuss in a separate (companion) paper. We study the reproducing kernel for weighted polynomial Bergman spaces and consider applications to the Berezin transform. Some of our results have applications in random matrix theory, a topic which we discuss in a separate (companion) paper. △ Less

Submitted 18 October, 2009; v1 submitted 2 July, 2008; originally announced July 2008.

MSC Class: 30C40; 30C10; 31A05

K-divisibility constants for some special couples

Authors: Yacin Ameur, Michael Cwikel

Abstract: We prove new estimates of the $K$-divisibility constants for some special Banach couples. In particular, we prove that the $K$-divisibility constant for a couple of the form $(U\oplus V, U)$ where $U$ and $V$ are non-trivial Hilbert spaces equals $2/\sqrt{3}$. We also prove estimates for the $K$-divisibility constant of the two-dimensional version of the couple $(L_2,L_\infty)$, proving in parti… ▽ More We prove new estimates of the $K$-divisibility constants for some special Banach couples. In particular, we prove that the $K$-divisibility constant for a couple of the form $(U\oplus V, U)$ where $U$ and $V$ are non-trivial Hilbert spaces equals $2/\sqrt{3}$. We also prove estimates for the $K$-divisibility constant of the two-dimensional version of the couple $(L_2,L_\infty)$, proving in particular that this couple is not exactly $K$-divisible. There are also several auxiliary results, including some estimates for relative Calderón constants for finite dimensional couples. △ Less

Submitted 19 December, 2005; v1 submitted 12 December, 2005; originally announced December 2005.

MSC Class: 46B70