-
The Brownian marble
Authors:
Samuel G. G. Johnston,
Andreas Kyprianou,
Tim Rogers,
Emmanuel Schertzer
Abstract:
Let $R:(0,\infty) \to [0,\infty)$ be a measurable function. Consider coalescing Brownian motions started from every point in the subset $\{ (0,x) : x \in \mathbb{R} \}$ of $[0,\infty) \times \mathbb{R}$ (with $[0,\infty)$ denoting time and $\mathbb{R}$ denoting space) and proceeding according to the following rule: the interval $\{t\} \times [L_t,U_t]$ between two consecutive Brownian motions inst…
▽ More
Let $R:(0,\infty) \to [0,\infty)$ be a measurable function. Consider coalescing Brownian motions started from every point in the subset $\{ (0,x) : x \in \mathbb{R} \}$ of $[0,\infty) \times \mathbb{R}$ (with $[0,\infty)$ denoting time and $\mathbb{R}$ denoting space) and proceeding according to the following rule: the interval $\{t\} \times [L_t,U_t]$ between two consecutive Brownian motions instantaneously fragments' at rate $R(U_t - L_t)$. At a fragmentation event at a time $t$, we initiate new coalescing Brownian motions from each of the points $\{ (t,x) : x \in [L_t,U_t]\}$. The resulting process, which we call the $R$-marble, is easily constructed when $R$ is bounded, and may be considered a random subset of the Brownian web.
Under mild conditions, we show that it is possible to construct the $R$-marble when $R$ is unbounded as a limit as $n \to \infty$ of $R_n$-marbles where $R_n(g) = R(g) \wedge n$. The behaviour of this limiting process is mainly determined by the shape of $R$ near zero. The most interesting case occurs when the limit $\lim_{g \downarrow 0} g^2 R(g) = λ$ exists in $(0,\infty)$, in which case we find a phase transition. For $λ\geq 6$, the limiting object is indistinguishable from the Brownian web, whereas if $λ< 6$, then the limiting object is a nontrivial stochastic process with large gaps.
When $R(g) = λ/g^2$, the $R$-marble is a self-similar stochastic process which we refer to as the \emph{Brownian marble with parameter $λ> 0$}. We give an explicit description of the spacetime correlations of the Brownian marble, which can be described in terms of an object we call the Brownian vein; a spatial version of a recurrent extension of a killed Bessel-$3$ process.
△ Less
Submitted 13 July, 2025; v1 submitted 8 May, 2025;
originally announced May 2025.
-
On creating convexity in high dimensions
Authors:
Samuel G. G. Johnston
Abstract:
Given a subset $A$ of $\mathbb{R}^n$, we define \begin{align*} \mathrm{conv}_k(A) := \left\{ λ_1 s_1 + \cdots + λ_k s_k : λ_i \in [0,1], \sum_{i=1}^k λ_i = 1 , s_i \in A \right\} \end{align*} to be the set of vectors in $\mathbb{R}^n$ that can be written as a $k$-fold convex combination of vectors in $A$. Let $γ_n$ denote the standard Gaussian measure on $\mathbb{R}^n$. We show that for every…
▽ More
Given a subset $A$ of $\mathbb{R}^n$, we define \begin{align*} \mathrm{conv}_k(A) := \left\{ λ_1 s_1 + \cdots + λ_k s_k : λ_i \in [0,1], \sum_{i=1}^k λ_i = 1 , s_i \in A \right\} \end{align*} to be the set of vectors in $\mathbb{R}^n$ that can be written as a $k$-fold convex combination of vectors in $A$. Let $γ_n$ denote the standard Gaussian measure on $\mathbb{R}^n$. We show that for every $\varepsilon > 0$, there exists a subset $A$ of $\mathbb{R}^n$ with Gaussian measure $γ_n(A) \geq 1- \varepsilon$ such that for all $k = O_\varepsilon(\sqrt{\log \log(n)})$, $\mathrm{conv}_k(A)$ contains no convex set $K$ of Gaussian measure $γ_n(K) \geq \varepsilon$. This provides a negative resolution to a stronger version of a conjecture of Talagrand. Our approach utilises concentration properties of random copulas and the application of optimal transport techniques to the empirical coordinate measures of vectors in high dimensions.
△ Less
Submitted 28 May, 2025; v1 submitted 14 February, 2025;
originally announced February 2025.
-
The Integrable Snake Model
Authors:
Samuel G. G. Johnston,
Rohan Shiatis
Abstract:
A pure snake configuration is a bijection $σ:\mathbb{Z}^2 \to \mathbb{Z}^2$ containing no two-cycles and such that for each $x \in \mathbb{Z}^2$ we have $σ(x) \in \{ x , x+ \mathbf{e}^1, x+\mathbf{e}^2 , x- \mathbf{e}^2 \}.$ The non-trivial cycles of a pure snake configuration may be regarded as a collection of non-intersecting paths in $\mathbb{Z}^2$ that may travel right, up, or down (but not le…
▽ More
A pure snake configuration is a bijection $σ:\mathbb{Z}^2 \to \mathbb{Z}^2$ containing no two-cycles and such that for each $x \in \mathbb{Z}^2$ we have $σ(x) \in \{ x , x+ \mathbf{e}^1, x+\mathbf{e}^2 , x- \mathbf{e}^2 \}.$ The non-trivial cycles of a pure snake configuration may be regarded as a collection of non-intersecting paths in $\mathbb{Z}^2$ that may travel right, up, or down (but not left) from a given vertex. Pure snake configurations are a generalisation of lozenge tilings, which are in natural correspondence with paths that only travel right or up. We introduce a partition function on a finite version of this model and study the probabilistic properties of random pure snake configurations chosen according to their contribution to this partition function. Under a suitable weighting, the model is integrable in the sense that we have access to explicit formulas for its partition function and correlation function. We utilise the integrable structure of this model in several applications through its various scaling limits, such as to prove a traffic representation of ASEP on the ring, generalising the analogous result for TASEP by the first author.
△ Less
Submitted 6 March, 2025; v1 submitted 26 January, 2025;
originally announced January 2025.
-
Quantum periods, toric degenerations and intrinsic mirror symmetry
Authors:
Sam Johnston
Abstract:
Given a Fano variety $X$, and $U$ an affine log Calabi-Yau variety given as the complement of an anticanonical divisor $D \subset X$, we prove that for any snc compactification $Y$ of $U$ dominating $X$ with $D' = Y\setminus U$, there exists an element $W_D \in R_{(Y,D')}$ of the intrinsic mirror algebra whose classical periods give the regularized quantum periods of $X$. Using this result, we ded…
▽ More
Given a Fano variety $X$, and $U$ an affine log Calabi-Yau variety given as the complement of an anticanonical divisor $D \subset X$, we prove that for any snc compactification $Y$ of $U$ dominating $X$ with $D' = Y\setminus U$, there exists an element $W_D \in R_{(Y,D')}$ of the intrinsic mirror algebra whose classical periods give the regularized quantum periods of $X$. Using this result, we deduce various corollaries regarding Fano mirror symmetry, in particular integrality of regularized quantum periods in large generality and the existence of Laurent mirrors to all Fano varieties whose mirrors contain a dense torus. When $U$ is an affine cluster variety satisfying the Fock-Goncharov conjecture, we use this result to produce a family of polytopes indexed by seeds of $U$ determined by enumerative invariants of the pair $(X,D)$ which give a family of Newton-Okounkov bodies and toric degenerations of $X$. Moreover, we give an explicit description of the superpotential in the Grassmanian setting, in particular recovering the Plücker coordinate mirror discovered by Marsh and Rietsch. Finally, we use the main result to show that the quantum period sequence is equivalent to all theta function structure constants for $R_{(X,D)}$ when $D$ is a smooth anticanonical divisor.
△ Less
Submitted 24 August, 2025; v1 submitted 2 January, 2025;
originally announced January 2025.
-
The macroscopic shape of Gelfand-Tsetlin patterns and free probability
Authors:
Samuel G. G. Johnston,
Joscha Prochno
Abstract:
A Gelfand-Tsetlin function is a real-valued function $φ:C \to \mathbb{R}$ defined on a finite subset $C$ of the lattice $\mathbb{Z}^2$ with the property that $φ(x) \leq φ(y)$ for every edge $\langle x,y \rangle$ directed north or east between two elements of $C$. We study the statistical physics properties of random Gelfand-Tsetlin functions from the perspective of random surfaces, showing in part…
▽ More
A Gelfand-Tsetlin function is a real-valued function $φ:C \to \mathbb{R}$ defined on a finite subset $C$ of the lattice $\mathbb{Z}^2$ with the property that $φ(x) \leq φ(y)$ for every edge $\langle x,y \rangle$ directed north or east between two elements of $C$. We study the statistical physics properties of random Gelfand-Tsetlin functions from the perspective of random surfaces, showing in particular that the surface tension of Gelfand-Tsetlin functions at gradient $u = (u_1,u_2) \in \mathbb{R}_{>0}^2$ is given by \begin{align*} σ(u_1,u_2) = - \log (u_1 + u_2 ) - \log \sin (πu_1/(u_1+u_2)) -1 + \log π. \end{align*} A Gelfand-Tsetlin pattern is a Gelfand-Tsetlin function defined on the triangle $T_n = \{(x_1,x_2) \in \mathbb{Z}^2 : 1 \leq x_2 \leq x_1 \leq n \}$. We show that after rescaling, a sequence of random Gelfand-Tsetlin patterns with fixed diagonal heights approximating a probability measure $μ$ satisfies a large deviation principle with speed $n^2$ and rate functional of the form \begin{align*} \mathcal{E}[ψ] := \int_{\blacktriangle} σ(\nabla ψ)\, \mathrm{d}s \,\mathrm{d}t - χ[μ] \end{align*} where $χ[μ]$ is Voiculescu's free entropy. We show that the Euler-Lagrange equations satisfied by the minimiser of the rate functional agree with those governing the free compression operation in free probability, thereby resolving a recent conjecture of Shlyakhtenko and Tao.
△ Less
Submitted 15 October, 2024; v1 submitted 14 October, 2024;
originally announced October 2024.
-
On the limiting Horn inequalities
Authors:
Samuel G. G. Johnston,
Colin McSwiggen
Abstract:
The Horn inequalities characterise the possible spectra of triples of $n$-by-$n$ Hermitian matrices $A+B=C$. We study integral inequalities that arise as limits of Horn inequalities as $n \to \infty$. These inequalities are parametrised by the points of an infinite-dimensional convex body, the asymptotic Horn system $\mathscr{H}[0,1]$, which can be regarded as a topological closure of the countabl…
▽ More
The Horn inequalities characterise the possible spectra of triples of $n$-by-$n$ Hermitian matrices $A+B=C$. We study integral inequalities that arise as limits of Horn inequalities as $n \to \infty$. These inequalities are parametrised by the points of an infinite-dimensional convex body, the asymptotic Horn system $\mathscr{H}[0,1]$, which can be regarded as a topological closure of the countable set of Horn inequalities for all finite $n$.
We prove three main results. The first shows that arbitrary points of $\mathscr{H}[0,1]$ can be well approximated by specific sets of finite-dimensional Horn inequalities. Our second main result shows that $\mathscr{H}[0,1]$ has a remarkable self-characterisation property. That is, membership in $\mathscr{H}[0,1]$ is determined by the very inequalities corresponding to the points of $\mathscr{H}[0,1]$ itself. To illuminate this phenomenon, we sketch a general theory of sets that characterise themselves in the sense that they parametrise their own membership criteria, and we consider the question of what further information would be needed in order for this self-characterisation property to determine the Horn inequalities uniquely. Our third main result is a quantitative result on the redundancy of the Horn inequalities in an infinite-dimensional setting. Concretely, the Horn inequalities for finite $n$ are indexed by certain sets $T^n_r$ with $1 \le r \le n-1$; we show that if $(n_k)_{k \ge 1}$ and $(r_k)_{k \ge 1}$ are any sequences such that $(r_k / n_k)_{k \ge 1}$ is a dense subset of $(0,1)$, then the Horn inequalities indexed by the sets $T^{n_k}_{r_k}$ are sufficient to imply all of the others.
△ Less
Submitted 26 February, 2025; v1 submitted 11 October, 2024;
originally announced October 2024.
-
The largest fragment in self-similar fragmentation processes of positive index
Authors:
Piotr Dyszewski,
Samuel G. G. Johnston,
Sandra Palau,
Joscha Prochno
Abstract:
Take a self-similar fragmentation process with dislocation measure $ν$ and index of self-similarity $α> 0$. Let $e^{-m_t}$ denote the size of the largest fragment in the system at time $t\geq 0$. We prove fine results for the asymptotics of the stochastic process $(m_t)_{t \geq 0}$ for a broad class of dislocation measures satisfying $$ν(1-s_1 > δ) = δ^{-θ} \ell(1/δ),$$ for some $θ\in (0,1)$ and…
▽ More
Take a self-similar fragmentation process with dislocation measure $ν$ and index of self-similarity $α> 0$. Let $e^{-m_t}$ denote the size of the largest fragment in the system at time $t\geq 0$. We prove fine results for the asymptotics of the stochastic process $(m_t)_{t \geq 0}$ for a broad class of dislocation measures satisfying $$ν(1-s_1 > δ) = δ^{-θ} \ell(1/δ),$$ for some $θ\in (0,1)$ and $\ell:(0,\infty) \to (0,\infty)$ slowly varying at infinity. Under this regularity condition, we find that if for $t \geq 0$ we have the almost-sure convergence $\lim_{t \to \infty} (m_t - g(t)) = 0$, where $$ g(t) :=\left( \log t - (1-θ) \log \log t +f(t) \right)/α$$ and $f(t) = o(\log \log t)$ can be given explicitly in terms of $α,θ$ and $\ell(\cdot)$. We prove a similar result in the finite activity case, which corresponds roughly speaking to the setting $θ= 0$. Our results sharpen significantly the best prior result on general self-similar fragmentation processes, due to Bertoin, which states that $m_t = (1+o(1)) \log (t)/α$.
△ Less
Submitted 2 December, 2024; v1 submitted 18 September, 2024;
originally announced September 2024.
-
Intrinsic mirror symmetry and Frobenius structure theorem via Gromov-Witten theory of root stacks
Authors:
Samuel Johnston
Abstract:
Using recent results of Battistella, Nabijou, Ranganathan and the author, we compare candidate mirror algebras associated with certain log Calabi-Yau pairs constructed by Gross-Siebert using log Gromov-Witten theory and Tseng-You using orbifold Gromov- Witten theory of root stacks. Although the structure constants used to defined these mirror algebras do not typically agree, we show that any given…
▽ More
Using recent results of Battistella, Nabijou, Ranganathan and the author, we compare candidate mirror algebras associated with certain log Calabi-Yau pairs constructed by Gross-Siebert using log Gromov-Witten theory and Tseng-You using orbifold Gromov- Witten theory of root stacks. Although the structure constants used to defined these mirror algebras do not typically agree, we show that any given structure constant involved in the construction the algebra of Gross and Siebert can be computed in terms of structure constants of the algebra of Tseng and You after a sequence of log blowups. Using this relation, we provide another proof of associativity of the log mirror algebra, and a proof of the weak Frobenius Structure Theorem in full generality. Along the way, we introduce a class of twisted punctured Gromov-Witten invariants of generalized root stacks induced by log étale modifications, and use this to study the behavior of log Gromov-Witten invariants under ramified base change.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
Free probability via entropic optimal transport
Authors:
Octavio Arizmendi,
Samuel G. G. Johnston
Abstract:
Let $μ$ and $ν$ be probability measures on $\mathbb{R}$ with compact support, and let $μ\boxplus ν$ denote their additive free convolution. We show that for $z \in \mathbb{R}$ greater than the sum of essential suprema of $μ$ and $ν$, we have \begin{equation*} \int_{-\infty}^\infty \log(z - x) μ\boxplus ν(\mathrm{d}x) = \sup_Π \left\{ \mathbf{E}_Π[\log(z - (X+Y)] - H(Π|μ\otimes ν) \right\}, \end{eq…
▽ More
Let $μ$ and $ν$ be probability measures on $\mathbb{R}$ with compact support, and let $μ\boxplus ν$ denote their additive free convolution. We show that for $z \in \mathbb{R}$ greater than the sum of essential suprema of $μ$ and $ν$, we have \begin{equation*} \int_{-\infty}^\infty \log(z - x) μ\boxplus ν(\mathrm{d}x) = \sup_Π \left\{ \mathbf{E}_Π[\log(z - (X+Y)] - H(Π|μ\otimes ν) \right\}, \end{equation*} where the supremum is taken over all couplings $Π$ of the probability measures $μ$ and $ν$, and $H(Π|μ\otimes ν)$ denotes the relative entropy of a coupling $Π$ against product measure. We prove similar formulas for the multiplicative free convolution $μ\boxtimes ν$ and the free compression $[μ]_τ$ of probability measures, as well as for multivariate free operations. Thus the integrals of a log-potential against the fundamental measure operations of free probability may be formulated in terms of entropic optimal transport problems. The optimal couplings in these variational descriptions of the free probability operations can be computed explicitly, and from these we can then deduce the standard $R$- and $S$-transform descriptions of additive and multiplicative free convolution. We use our optimal transport formulations to derive new inequalities relating free and classical operations on probability measures, such as the inequality \begin{equation*} \int_{-\infty}^\infty \log(z - x) μ\boxplus ν(\mathrm{d}x) \geq \int_{-\infty}^{\infty} \log(z-x) μ\ast ν( \mathrm{d}x) \end{equation*} relating free and classical convolution. Our approach is based on applying a large deviation principle on the symmetric group to the quadrature formulas of Marcus, Spielman and Srivastava.
△ Less
Submitted 4 April, 2024; v1 submitted 21 September, 2023;
originally announced September 2023.
-
A fast Berry-Esseen theorem under minimal density assumptions
Authors:
Samuel G. G. Johnston
Abstract:
Let $X_1,\ldots,X_N$ be i.i.d.\ random variables distributed like $X$. Suppose that the first $k \geq 3$ moments $\{ \mathbb{E}[X^j] : j = 1,\ldots,k\}$ of $X$ agree with that of the standard Gaussian distribution, that $\mathbb{E}[|X|^{k+1}] < \infty$, and that there is a subinterval of $\mathbb{R}$ of width $w$ over which the law of $X$ has a density of at least $h$. Then we show that \begin{ali…
▽ More
Let $X_1,\ldots,X_N$ be i.i.d.\ random variables distributed like $X$. Suppose that the first $k \geq 3$ moments $\{ \mathbb{E}[X^j] : j = 1,\ldots,k\}$ of $X$ agree with that of the standard Gaussian distribution, that $\mathbb{E}[|X|^{k+1}] < \infty$, and that there is a subinterval of $\mathbb{R}$ of width $w$ over which the law of $X$ has a density of at least $h$. Then we show that \begin{align} \label{eq:bnew} \sup_{s \in \mathbb{R}} \left| \mathbb{P} \left( \frac{X_1 + \ldots + X_N}{ \sqrt{N} } \leq s \right) - \int_{-\infty}^s \frac{ e^{ - u^2/2} \mathrm{d} u }{ \sqrt{2 π}} \right| \leq 3 \left\{ \frac{\mathbb{E}[|X|^{k+1}]}{ N^{ \frac{k-1}{2}} } + e^{ - c hw^3 N/\mathbb{E}[|X|^{k+1}] } \right\}, \end{align} where $c > 0$ is universal. By setting $k=3$, we see that in particular all symmetric random variables with densities and finite fourth moment satisfy a Berry-Esseen inequality with a bound of the order $1/N$.
Thereafter, we study the Berry-Esseen theorem as it pertains to perturbations of the Bernoulli law with a small density component, showing by means of a reverse inequality that the power $hw^3$ in the exponential term is asymptotically sharp.
△ Less
Submitted 17 July, 2023; v1 submitted 29 May, 2023;
originally announced May 2023.
-
Universality classes for the coalescent structure of heavy-tailed Galton-Watson trees
Authors:
Simon C. Harris,
Samuel G. G. Johnston,
Juan Carlos Pardo
Abstract:
Consider a population evolving as a critical continuous-time Galton-Watson (GW) tree. Conditional on the population surviving until a large time $T$, sample $k$ individuals uniformly at random (without replacement) from amongst those alive at time $T$. What is the genealogy of this sample of individuals? In cases where the offspring distribution has finite variance, the probabilistic properties of…
▽ More
Consider a population evolving as a critical continuous-time Galton-Watson (GW) tree. Conditional on the population surviving until a large time $T$, sample $k$ individuals uniformly at random (without replacement) from amongst those alive at time $T$. What is the genealogy of this sample of individuals? In cases where the offspring distribution has finite variance, the probabilistic properties of the joint ancestry of these $k$ particles are well understood, as seen in \cite{HJR20, J19}. In the present article, we study the joint ancestry of a sample of $k$ particles under the following regime: the offspring distribution has mean $1$ (critical) and the tails of the offspring distribution are \emph{heavy} in that $α\in (1,2]$ is the supremum over indices $β$ such that the $β^{\text{th}}$ moment is finite. We show that for each $α$, after rescaling time by $1/T$, there is a universal stochastic process describing the joint coalescent structure of the $k$ distinct particles. The special case $α= 2$ generalises the known case of sampling from critical GW trees with finite variance where only pairwise mergers are observed and the genealogical tree is, roughly speaking, some kind of mixture of time-changed Kingman coalescents. The cases $α\in (1,2)$ introduce new universal limiting partition-valued stochastic processes with interesting probabilistic structures which have representations connected to the Lauricella function and the Dirichlet distribution, and whose coalescent structures exhibit multiple-mergers of family lines. Moreover, in the case $α\in (1,2)$, we show that the coalescent events of the ancestry of the $k$ particles are associated with birth events that produce giant numbers of offspring of the same order of magnitude as the entire population size, and we compute the joint law of the ancestry together with the sizes of these giant births.
△ Less
Submitted 6 February, 2023;
originally announced February 2023.
-
Random planar trees and the Jacobian conjecture
Authors:
Elia Bisi,
Piotr Dyszewski,
Nina Gantert,
Samuel G. G. Johnston,
Joscha Prochno,
Dominik Schmid
Abstract:
We develop a probabilistic approach to the celebrated Jacobian conjecture, which states that any Keller map (i.e. any polynomial mapping $F\colon \mathbb{C}^n \to \mathbb{C}^n$ whose Jacobian determinant is a nonzero constant) has a compositional inverse which is also a polynomial. The Jacobian conjecture may be formulated in terms of a problem involving labellings of rooted trees; we give a new p…
▽ More
We develop a probabilistic approach to the celebrated Jacobian conjecture, which states that any Keller map (i.e. any polynomial mapping $F\colon \mathbb{C}^n \to \mathbb{C}^n$ whose Jacobian determinant is a nonzero constant) has a compositional inverse which is also a polynomial. The Jacobian conjecture may be formulated in terms of a problem involving labellings of rooted trees; we give a new probabilistic derivation of this formulation using multi-type branching processes. Thereafter, we develop a simple and novel approach to the Jacobian conjecture in terms of a problem involving shuffling subtrees of $d$-Catalan trees, i.e. planar $d$-ary trees. We also show that, if one can construct a certain Markov chain on large $d$-Catalan trees which updates its value by randomly shuffling certain nearby subtrees, and in such a way that the stationary distribution of this chain is uniform, then the Jacobian conjecture is true. Finally, we use the local limit theory of large random trees to show that the subtree shuffling conjecture is true in a certain asymptotic sense, and thereafter use our machinery to prove an approximate version of the Jacobian conjecture, stating that inverses of Keller maps have small power series coefficients for their high degree terms.
△ Less
Submitted 5 April, 2024; v1 submitted 19 January, 2023;
originally announced January 2023.
-
Birational Invariance in Punctured Log Gromov-Witten Theory
Authors:
Samuel Johnston
Abstract:
Given a log smooth scheme $(X,D)$, and a log étale modification $(\tilde{X},\tilde{D}) \rightarrow (X,D)$, we relate the punctured Gromov-Witten theory of $(\tilde{X},\tilde{D})$ to the punctured Gromov-Witten theory of $(X,D)$, generalizing results of Abramovich and Wise in the non-punctured setting in "Birational invariance in log Gromov-Witten Theory". Using the main comparison results, we show…
▽ More
Given a log smooth scheme $(X,D)$, and a log étale modification $(\tilde{X},\tilde{D}) \rightarrow (X,D)$, we relate the punctured Gromov-Witten theory of $(\tilde{X},\tilde{D})$ to the punctured Gromov-Witten theory of $(X,D)$, generalizing results of Abramovich and Wise in the non-punctured setting in "Birational invariance in log Gromov-Witten Theory". Using the main comparison results, we show a form of log étale invariance for the logarithmic mirror algebras and canonical scattering diagrams constructed in "Intrinsic Mirror Symmetry" and "The Canonical Wall Structure and Intrinsic Mirror Symmetry" respectively.
△ Less
Submitted 30 December, 2024; v1 submitted 12 October, 2022;
originally announced October 2022.
-
Beads on the torus via scaling limits of dimer matchings
Authors:
Samuel G. G. Johnston
Abstract:
In a previous article, we develop a continuous version of Kasteleyn theory to study the bead model on the torus. These are the point processes on the semi-discrete torus $\mathbb{T}_n := [0,1) \times \{0,1,\ldots,n-1\}$ (thought of as $n$ unit length strings wrapped around a doughnut) with the property that between every two consecutive points on same string, there lies a point on the neighbouring…
▽ More
In a previous article, we develop a continuous version of Kasteleyn theory to study the bead model on the torus. These are the point processes on the semi-discrete torus $\mathbb{T}_n := [0,1) \times \{0,1,\ldots,n-1\}$ (thought of as $n$ unit length strings wrapped around a doughnut) with the property that between every two consecutive points on same string, there lies a point on the neighbouring strings. In this companion article, we obtain the main results of the previous article via an alternative route, using scaling limits of dimer models as opposed to the continuous Kasteleyn theory. In any case, we hope that the article may serve as a gentle introduction to Kasteleyn theory on the torus.
△ Less
Submitted 2 June, 2023; v1 submitted 27 July, 2022;
originally announced August 2022.
-
Continuous Kasteleyn theory for the bead model
Authors:
Samuel G. G. Johnston
Abstract:
Consider the semi-discrete torus $\mathbb{T}_n := [0,1) \times \{0,1,\ldots,n-1\}$ representing $n$ unit length strings running in parallel. A bead configuration on $\mathbb{T}_n$ is a point process on $\mathbb{T}_n$ with the property that between every two consecutive points on the same string, there lies a point on each of the neighbouring strings. In this article we develop a continuous version…
▽ More
Consider the semi-discrete torus $\mathbb{T}_n := [0,1) \times \{0,1,\ldots,n-1\}$ representing $n$ unit length strings running in parallel. A bead configuration on $\mathbb{T}_n$ is a point process on $\mathbb{T}_n$ with the property that between every two consecutive points on the same string, there lies a point on each of the neighbouring strings. In this article we develop a continuous version of Kasteleyn theory to show that partition functions for bead configurations on $\mathbb{T}_n$ may be expressed in terms of Fredholm determinants of certain operators on $\mathbb{T}_n$. We obtain an explicit formula for the volumes of bead configurations on $\mathbb{T}_n$. The asymptotics of this formula confirm a recent prediction in the free probability literature. Thereafter we study random bead configurations on $\mathbb{T}_n$, showing that they have a determinantal structure which can be connected with exclusion processes. We use this machinery to construct a new probabilistic representation of TASEP on the ring.
△ Less
Submitted 18 September, 2025; v1 submitted 27 July, 2022;
originally announced July 2022.
-
Ancestral reproductive bias in branching processes
Authors:
David Cheek,
Samuel G. G. Johnston
Abstract:
Consider a branching process with a homogeneous reproduction law. Sampling a single cell uniformly from the population at a time $T > 0$ and looking along the sampled cell's ancestral lineage, we find that the reproduction law is heterogeneous - the expected reproductive output of ancestral cells on the lineage from time $0$ to time $T$ continuously increases. This `inspection paradox' is due to s…
▽ More
Consider a branching process with a homogeneous reproduction law. Sampling a single cell uniformly from the population at a time $T > 0$ and looking along the sampled cell's ancestral lineage, we find that the reproduction law is heterogeneous - the expected reproductive output of ancestral cells on the lineage from time $0$ to time $T$ continuously increases. This `inspection paradox' is due to sampling bias, that cells with a larger number of offspring are more likely to have one of their descendants sampled by virtue of their prolificity, and the bias's strength grows with the random population size and/or the sampling time $T$. Our main result explicitly characterises the evolution of reproduction rates and sizes along the sampled ancestral lineage as a mixture of Poisson processes, which simplifies in special cases. The ancestral bias helps to explain recently observed variation in mutation rates along lineages of the developing human embryo.
△ Less
Submitted 27 May, 2022;
originally announced May 2022.
-
Comparison of non-archimedean and logarithmic mirror constructions via the Frobenius structure theorem
Authors:
Sam Johnston
Abstract:
For a log Calabi Yau pair (X,D) with X\D smooth affine, satisfying either assumption 1.1 of "The canonical wall structure and intrinsic mirror symmetry" or contains a Zariski dense torus, we prove under the condition that D is the support of a nef divisor, that the structure constants defining a trace form on the mirror algebra constructed by Gross-Siebert are given by the naive curve counts defin…
▽ More
For a log Calabi Yau pair (X,D) with X\D smooth affine, satisfying either assumption 1.1 of "The canonical wall structure and intrinsic mirror symmetry" or contains a Zariski dense torus, we prove under the condition that D is the support of a nef divisor, that the structure constants defining a trace form on the mirror algebra constructed by Gross-Siebert are given by the naive curve counts defined by Keel-Yu in definition 1.1 of "The Frobenius structure theorem for log Calabi-Yau varieties containing a torus". As a corollary, we deduce the equality of the mirror algebras constructed by Gross-Siebert and Keel-Yu in the case X\D contains a Zariski dense torus. In addition, we use this result to prove a mirror conjecture proposed by Mandel in "Fano mirror periods from the Frobenius structure conjecture" for Fano pairs satisfying assumption 1.1.
△ Less
Submitted 30 December, 2024; v1 submitted 2 April, 2022;
originally announced April 2022.
-
A degree bound for strongly nilpotent polynomial automorphisms
Authors:
Samuel G. G. Johnston
Abstract:
Let $k$ be a field of characteristic zero. Let $F = X + H$ be a polynomial mapping from $k^n \to k^n$, where $X$ is the identity mapping and $H$ has only degree two terms and higher. We say that the Jacobian matrix $JH$ of $H$ is strongly nilpotent with index $p$ if for all $X^{(1)},\ldots,X^{(p)} \in k^n$ we have \begin{align*} JH(X^{(1)})\ldots JH (X^{(p)}) = 0. \end{align*} Every $F$ of this fo…
▽ More
Let $k$ be a field of characteristic zero. Let $F = X + H$ be a polynomial mapping from $k^n \to k^n$, where $X$ is the identity mapping and $H$ has only degree two terms and higher. We say that the Jacobian matrix $JH$ of $H$ is strongly nilpotent with index $p$ if for all $X^{(1)},\ldots,X^{(p)} \in k^n$ we have \begin{align*} JH(X^{(1)})\ldots JH (X^{(p)}) = 0. \end{align*} Every $F$ of this form is a polynomial automorphism, i.e. there is a second polynomial mapping $F^{-1}$ such that $F \circ F^{-1} = F^{-1} \circ F = X$. We prove that the degree of the inverse $F^{-1}$ satisfies \begin{align*} deg(F^{-1}) \leq deg(F)^p, \end{align*} improving in the strongly nilpotent case on the well known degree bound $deg(F^{-1}) \leq deg(F)^n$ for general polynomial automorphisms.
△ Less
Submitted 24 May, 2022; v1 submitted 24 October, 2021;
originally announced October 2021.
-
Projections of the uniform distribution on the cube -- a large deviation perspective
Authors:
Samuel G. G. Johnston,
Zakhar Kabluchko,
Joscha Prochno
Abstract:
Let $Θ^{(n)}$ be a random vector uniformly distributed on the unit sphere $\mathbb S^{n-1}$ in $\mathbb R^n$. Consider the projection of the uniform distribution on the cube $[-1,1]^n$ to the line spanned by $Θ^{(n)}$. The projected distribution is the random probability measure $μ_{Θ^{(n)}}$ on $\mathbb R$ given by \[ μ_{Θ^{(n)}}(A) := \frac 1 {2^n} \int_{[-1,1]^n} \mathbb 1\{\langle u, Θ^{(n)} \…
▽ More
Let $Θ^{(n)}$ be a random vector uniformly distributed on the unit sphere $\mathbb S^{n-1}$ in $\mathbb R^n$. Consider the projection of the uniform distribution on the cube $[-1,1]^n$ to the line spanned by $Θ^{(n)}$. The projected distribution is the random probability measure $μ_{Θ^{(n)}}$ on $\mathbb R$ given by \[ μ_{Θ^{(n)}}(A) := \frac 1 {2^n} \int_{[-1,1]^n} \mathbb 1\{\langle u, Θ^{(n)} \rangle \in A\} du, \] for Borel subets $A$ of $\mathbb{R}$. It is well known that, with probability $1$, the sequence of random probability measures $μ_{Θ^{(n)}}$ converges weakly to the centered Gaussian distribution with variance $1/3$. We prove a large deviation principle for the sequence $μ_{Θ^{(n)}}$ on the space of probability measures on $\mathbb R$ with speed $n$. The (good) rate function is explicitly given by $I(ν(α)) := - \frac{1}{2} \log ( 1 - \|α\|_2^2)$ whenever $ν(α)$ is the law of a random variable of the form \begin{align*} \sqrt{1 - \|α\|_2^2 } \frac{Z}{\sqrt 3} + \sum_{ k = 1}^\infty α_k U_k, \end{align*} where $Z$ is standard Gaussian independent of $U_1,U_2,\ldots$ which are i.i.d. $\text{Unif}[-1,1]$, and $α_1 \geq α_2 \geq \ldots $ is a non-increasing sequence of non-negative reals with $\|α\|_2<1$. We obtain a similar result for random projections of the uniform distribution on the discrete cube $\{-1,+1\}^n$.
△ Less
Submitted 19 September, 2021; v1 submitted 30 March, 2021;
originally announced March 2021.
-
Multitype $Λ$-coalescents
Authors:
Samuel G. G. Johnston,
Andreas E. Kyprianou,
Tim Rogers
Abstract:
Consider a multitype coalescent process in which each block has a colour in $\{1,\ldots,d\}$. Individual blocks may change colour, and some number of blocks of various colours may merge to form a new block of some colour. We show that if the law of a multitype coalescent process is invariant under permutations of blocks of the same colour, has consistent Markovian projections, and has asychronous…
▽ More
Consider a multitype coalescent process in which each block has a colour in $\{1,\ldots,d\}$. Individual blocks may change colour, and some number of blocks of various colours may merge to form a new block of some colour. We show that if the law of a multitype coalescent process is invariant under permutations of blocks of the same colour, has consistent Markovian projections, and has asychronous mergers, then it is a multitype $Λ$-coalescent: a process in which single blocks may change colour, two blocks of like colour may merge to form a single block of that colour, or large mergers across various colours happen at rates governed by a $d$-tuple of measures on the unit cube $[0,1]^d$. We go on to identify when such processes come down from infinity. Our framework generalises Pitman's celebrated classification theorem for singletype coalescent processes, and provides a unifying setting for numerous examples that have appeared in the literature including the seed-bank model, the island model and the coalescent structure of continuous-state branching processes.
△ Less
Submitted 6 March, 2022; v1 submitted 26 March, 2021;
originally announced March 2021.
-
Thin-shell theory for rotationally invariant random simplices
Authors:
Johannes Heiny,
Samuel Johnston,
Joscha Prochno
Abstract:
For fixed functions $G,H:[0,\infty)\to[0,\infty)$, consider the rotationally invariant probability density on $\mathbb{R}^n$ of the form \[ μ^n(ds) = \frac{1}{Z_n} G(\|s\|_2)\, e^{ - n H( \|s\|_2)} ds. \] We show that when $n$ is large, the Euclidean norm $\|Y^n\|_2$ of a random vector $Y^n$ distributed according to $μ^n$ satisfies a Gaussian thin-shell property: the distribution of $\|Y^n\|_2$ co…
▽ More
For fixed functions $G,H:[0,\infty)\to[0,\infty)$, consider the rotationally invariant probability density on $\mathbb{R}^n$ of the form \[ μ^n(ds) = \frac{1}{Z_n} G(\|s\|_2)\, e^{ - n H( \|s\|_2)} ds. \] We show that when $n$ is large, the Euclidean norm $\|Y^n\|_2$ of a random vector $Y^n$ distributed according to $μ^n$ satisfies a Gaussian thin-shell property: the distribution of $\|Y^n\|_2$ concentrates around a certain value $s_0$, and the fluctuations of $\|Y^n\|_2$ are approximately Gaussian with the order $1/\sqrt{n}$. We apply this thin shell property to the study of rotationally invariant random simplices, simplices whose vertices consist of the origin as well as independent random vectors $Y_1^n,\ldots,Y_p^n$ distributed according to $μ^n$. We show that the logarithmic volume of the resulting simplex exhibits highly Gaussian behavior, providing a generalizing and unifying setting for the objects considered in Grote-Kabluchko-Thäle [Limit theorems for random simplices in high dimensions, ALEA, Lat. Am. J. Probab. Math. Stat. 16, 141--177 (2019)]. Finally, by relating the volumes of random simplices to random determinants, we show that if $A^n$ is an $n \times n$ random matrix whose entries are independent standard Gaussian random variables, then there are explicit constants $c_0,c_1\in(0,\infty)$ and an absolute constant $C\in(0,\infty)$ such that \[\sup_{ s \in \mathbb{R}} \left| \mathbb{P} \left[ \frac{ \log \mathrm{det}(A^n) - \log(n-1)! - c_0 }{ \sqrt{ \frac{1}{2} \log n + c_1 }} < s \right] - \int_{-\infty}^s \frac{e^{ - u^2/2} du}{ \sqrt{ 2 π}} \right| < \frac{C}{\log^{3/2}n}, \] sharpening the $1/\log^{1/3 + o(1)}n$ bound in Nguyen and Vu [Random matrices: Law of the determinant, Ann. Probab. 42 (1) (2014), 146--167].
△ Less
Submitted 22 March, 2021;
originally announced March 2021.
-
Sharp concentration for the largest and smallest fragment in a $k$-regular self-similar fragmentation
Authors:
Piotr Dyszewski,
Nina Gantert,
Samuel G. G. Johnston,
Joscha Prochno,
Dominik Schmid
Abstract:
We study the asymptotics of the $k$-regular self-similar fragmentation process. For $α> 0$ and an integer $k \geq 2$, this is the Markov process $(I_t)_{t \geq 0}$ in which each $I_t$ is a union of open subsets of $[0,1)$, and independently each subinterval of $I_t$ of size $u$ breaks into $k$ equally sized pieces at rate $u^α$. Let $k^{ - m_t}$ and $k^{ - M_t}$ be the respective sizes of the larg…
▽ More
We study the asymptotics of the $k$-regular self-similar fragmentation process. For $α> 0$ and an integer $k \geq 2$, this is the Markov process $(I_t)_{t \geq 0}$ in which each $I_t$ is a union of open subsets of $[0,1)$, and independently each subinterval of $I_t$ of size $u$ breaks into $k$ equally sized pieces at rate $u^α$. Let $k^{ - m_t}$ and $k^{ - M_t}$ be the respective sizes of the largest and smallest fragments in $I_t$. By relating $(I_t)_{t \geq 0}$ to a branching random walk, we find that there exist explicit deterministic functions $g(t)$ and $h(t)$ such that $|m_t - g(t)| \leq 1$ and $|M_t - h(t)| \leq 1$ for all sufficiently large $t$. Furthermore, for each $n$, we study the final time at which fragments of size $k^{-n}$ exist. In particular, by relating our branching random walk to a certain point process, we show that, after suitable rescaling, the laws of these times converge to a Gumbel distribution as $n \to \infty$.
△ Less
Submitted 17 February, 2021;
originally announced February 2021.
-
A Maxwell principle for generalized Orlicz balls
Authors:
Samuel G. G. Johnston,
Joscha Prochno
Abstract:
In [A dozen de {F}inetti-style results in search of a theory, Ann. Inst. H. Poincaré Probab. Statist. 23(2)(1987), 397--423], Diaconis and Freedman studied low-dimensional projections of random vectors from the Euclidean unit sphere and the simplex in high dimensions, noting that the individual coordinates of these random vectors look like Gaussian and exponential random variables respectively. In…
▽ More
In [A dozen de {F}inetti-style results in search of a theory, Ann. Inst. H. Poincaré Probab. Statist. 23(2)(1987), 397--423], Diaconis and Freedman studied low-dimensional projections of random vectors from the Euclidean unit sphere and the simplex in high dimensions, noting that the individual coordinates of these random vectors look like Gaussian and exponential random variables respectively. In subsequent works, Rachev and Rüschendorf and Naor and Romik unified these results by establishing a connection between $\ell_p^N$ balls and a $p$-generalized Gaussian distribution. In this paper, we study similar questions in a significantly generalized and unifying setting, looking at low-dimensional projections of random vectors uniformly distributed on sets of the form \[B_{φ,t}^N := \Big\{(s_1,\ldots,s_N)\in\mathbb{R}^N : \sum_{ i =1}^Nφ(s_i)\leq t N\Big\},\] where $φ:\mathbb{R}\to [0,\infty]$ is a potential (including the case of Orlicz functions). Our method is different from both Rachev-Rüschendorf and Naor-Romik, based on a large deviation perspective in the form of quantitative versions of Cramér's theorem and the Gibbs conditioning principle, providing a natural framework beyond the $p$-generalized Gaussian distribution while simultaneously unraveling the role this distribution plays in relation to the geometry of $\ell_p^N$ balls. We find that there is a critical parameter $t_{\mathrm{crit}}$ at which there is a phase transition in the behaviour of the projections: for $t > t_{\mathrm{crit}}$ the coordinates of random points sampled from $B_{φ,t}^N$ behave like uniform random variables, but for $t \leq t_{\mathrm{crit}}$ the Gibbs conditioning principle comes into play, and here there is a parameter $β_t>0$ (the inverse temperature) such that the coordinates are approximately distributed according to a density proportional to $e^{ -β_tφ(s)}$.
△ Less
Submitted 21 December, 2020;
originally announced December 2020.
-
The coalescent structure of uniform and Poisson samples from multitype branching processes
Authors:
Samuel G. G. Johnston,
Amaury Lambert
Abstract:
We introduce a Poissonization method to study the coalescent structure of uniform samples from branching processes. This method relies on the simple observation that a uniform sample of size $k$ taken from a random set with positive Lebesgue measure may be represented as a mixture of Poisson samples with rate $λ$ and mixing measure $k \mathrm{d} λ/ λ$. We develop a multitype analogue of this mixtu…
▽ More
We introduce a Poissonization method to study the coalescent structure of uniform samples from branching processes. This method relies on the simple observation that a uniform sample of size $k$ taken from a random set with positive Lebesgue measure may be represented as a mixture of Poisson samples with rate $λ$ and mixing measure $k \mathrm{d} λ/ λ$. We develop a multitype analogue of this mixture representation, and use it to characterise the coalescent structure of multitype continuous-state branching processes in terms of random multitype forests. Thereafter we study the small time asymptotics of these random forests, establishing a correspondence between multitype continuous-state branching proesses and multitype $Λ$-coalescents.
△ Less
Submitted 23 June, 2021; v1 submitted 30 November, 2019;
originally announced December 2019.
-
Faà di Bruno's formula and inversion of power series
Authors:
Samuel G. G. Johnston,
Joscha Prochno
Abstract:
Faà di Bruno's formula gives an expression for the derivatives of the composition of two real-valued functions. In this paper we prove a multivariate and synthesized version of Faà di Bruno's formula in higher dimensions, providing a combinatorial expression for the derivatives of chain compositions $F^{(1)} \circ \ldots \circ F^{(m)}$ of functions $F^{(l)} : \mathbb{R}^N \to \mathbb{R}^N$ in term…
▽ More
Faà di Bruno's formula gives an expression for the derivatives of the composition of two real-valued functions. In this paper we prove a multivariate and synthesized version of Faà di Bruno's formula in higher dimensions, providing a combinatorial expression for the derivatives of chain compositions $F^{(1)} \circ \ldots \circ F^{(m)}$ of functions $F^{(l)} : \mathbb{R}^N \to \mathbb{R}^N$ in terms of sums over labelled trees. We give several applications of this formula, including a new involution formula for the inversion of multivariate power series. We use this framework to outline a combinatorial approach to studying the invertibility of polynomial mappings, giving a purely combinatorial restatement of the Jacobian conjecture. Our methods extend naturally to the non-commutative case, where we prove a free version of Faà di Bruno's formula for multivariate power series in free indeterminates, and use this formula as a tool for obtaining a new inversion formula for free power series.
△ Less
Submitted 13 October, 2022; v1 submitted 18 November, 2019;
originally announced November 2019.
-
Berry-Esseen bounds for random projections of $\ell_p^n$-balls
Authors:
Samuel G. G. Johnston,
Joscha Prochno
Abstract:
In this work we study the rate of convergence in the central limit theorem for the Euclidean norm of random orthogonal projections of vectors chosen at random from an $\ell_p^n$-ball which has been obtained in [Alonso-Gutiérrez, Prochno, Thäle: Gaussian fluctuations for high-dimensional random projections of $\ell_p^n$-balls, Bernoulli 25(4A), 2019, 3139--3174]. More precisely, for any…
▽ More
In this work we study the rate of convergence in the central limit theorem for the Euclidean norm of random orthogonal projections of vectors chosen at random from an $\ell_p^n$-ball which has been obtained in [Alonso-Gutiérrez, Prochno, Thäle: Gaussian fluctuations for high-dimensional random projections of $\ell_p^n$-balls, Bernoulli 25(4A), 2019, 3139--3174]. More precisely, for any $n\in\mathbb N$ let $E_n$ be a random subspace of dimension $k_n\in\{1,\ldots,n\}$, $P_{E_n}$ the orthogonal projection onto $E_n$, and $X_n$ be a random point in the unit ball of $\ell_p^n$. We prove a Berry-Esseen theorem for $\|P_{E_n}X_n\|_2$ under the condition that $k_n\to\infty$. This answers in the affirmative a conjecture of Alonso-Gutiérrez, Prochno, and Thäle who obtained a rate of convergence under the additional condition that $k_n/n^{2/3}\to\infty$ as $n\to\infty$. In addition, we study the Gaussian fluctuations and Berry-Esseen bounds in a $3$-fold randomized setting where the dimension of the Grassmannian is also chosen randomly. Comparing deterministic and randomized subspace dimensions leads to a quite interesting observation regarding the central limit behavior. In this work we also discuss the rate of convergence in the central limit theorem of [Kabluchko, Prochno, Thäle: High-dimensional limit theorems for random vectors in $\ell_p^n$-balls, Commun. Contemp. Math. (2019)] for general $\ell_q$-norms of non-projected vectors chosen at random in an $\ell_p^n$-ball.
△ Less
Submitted 2 November, 2019;
originally announced November 2019.
-
Scaling limits for non-intersecting polymers and Whittaker measures
Authors:
Samuel G. G. Johnston,
Neil O'Connell
Abstract:
We study the partition functions associated with non-intersecting polymers in a random environment. By considering paths in series and in parallel, the partition functions carry natural notions of subadditivity, allowing the effective study of their asymptotics. For a certain choice of random environment, the geometric RSK correspondence provides an explicit representation of the partition functio…
▽ More
We study the partition functions associated with non-intersecting polymers in a random environment. By considering paths in series and in parallel, the partition functions carry natural notions of subadditivity, allowing the effective study of their asymptotics. For a certain choice of random environment, the geometric RSK correspondence provides an explicit representation of the partition functions in terms of a stochastic interface. Formally this leads to a variational description of the macroscopic behaviour of the interface and hence the free energy of the associated non-intersecting polymer model. At zero temperature we relate this variational description to the Marchenko-Pastur distribution, and give a new derivation of the surface tension of the bead model.
△ Less
Submitted 2 November, 2019; v1 submitted 7 September, 2019;
originally announced September 2019.
-
Corrected pair correlation functions for environments with obstacles
Authors:
Stuart T. Johnston,
Edmund J. Crampin
Abstract:
Environments with immobile obstacles or void regions that inhibit and alter the motion of individuals within that environment are ubiquitous. Correlation in the location of individuals within such environments arises as a combination of the mechanisms governing individual behavior and the heterogeneous structure of the environment. Measures of spatial structure and correlation have been successful…
▽ More
Environments with immobile obstacles or void regions that inhibit and alter the motion of individuals within that environment are ubiquitous. Correlation in the location of individuals within such environments arises as a combination of the mechanisms governing individual behavior and the heterogeneous structure of the environment. Measures of spatial structure and correlation have been successfully implemented to elucidate the roles of the mechanisms underpinning the behavior of individuals. In particular, the pair correlation function has been used across biology, ecology and physics to obtain quantitative insight into a variety of processes. However, naively applying standard pair correlation functions in the presence of obstacles may fail to detect correlation, or suggest false correlations, due to a reliance on a distance metric that does not account for obstacles. To overcome this problem, here we present an analytic expression for calculating a corrected pair correlation function for lattice-based domains containing obstacles. We demonstrate that this corrected pair correlation function is necessary for isolating the correlation associated with the behavior of individuals, rather than the structure of the environment. Using simulations that mimic cell migration and proliferation we demonstrate that the corrected pair correlation function recovers the short-range correlation known to be present in this process, independent of the heterogeneous structure of the environment. Further, we show that the analytic calculation of the corrected pair correlation derived here is significantly faster to implement than the corresponding numerical approach.
△ Less
Submitted 19 November, 2018;
originally announced November 2018.
-
The genealogy of Galton-Watson trees
Authors:
Samuel G. G. Johnston
Abstract:
Take a continuous-time Galton-Watson tree and pick $k$ distinct particles uniformly from those alive at a time $T$. What does their genealogical tree look like? The case $k=2$ has been studied by several authors, and the near-critical asymptotics for general $k$ appear in Harris, Johnston and Roberts (2018). Here we give the full picture.
Take a continuous-time Galton-Watson tree and pick $k$ distinct particles uniformly from those alive at a time $T$. What does their genealogical tree look like? The case $k=2$ has been studied by several authors, and the near-critical asymptotics for general $k$ appear in Harris, Johnston and Roberts (2018). Here we give the full picture.
△ Less
Submitted 4 October, 2019; v1 submitted 25 September, 2017;
originally announced September 2017.
-
The coalescent structure of continuous-time Galton-Watson trees
Authors:
Simon C. Harris,
Samuel G. G. Johnston,
Matthew I. Roberts
Abstract:
Take a continuous-time Galton-Watson tree. If the system survives until a large time $T$, then choose $k$ particles uniformly from those alive. What does the ancestral tree drawn out by these $k$ particles look like? Some special cases are known but we give a more complete answer. We concentrate on near-critical cases where the mean number of offspring is $1+μ/T$ for some $μ\in\mathbb{R}$, and sho…
▽ More
Take a continuous-time Galton-Watson tree. If the system survives until a large time $T$, then choose $k$ particles uniformly from those alive. What does the ancestral tree drawn out by these $k$ particles look like? Some special cases are known but we give a more complete answer. We concentrate on near-critical cases where the mean number of offspring is $1+μ/T$ for some $μ\in\mathbb{R}$, and show that a scaling limit exists as $T\to\infty$. Viewed backwards in time, the resulting coalescent process is topologically equivalent to Kingman's coalescent, but the times of coalescence have an interesting and highly non-trivial structure. The randomly fluctuating population size, as opposed to constant size populations where the Kingman coalescent more usually arises, have a pronounced effect on both the results and the method of proof required. We give explicit formulas for the distribution of the coalescent times, as well as a construction of the genealogical tree involving a mixture of independent and identically distributed random variables. In general subcritical and supercritical cases it is not possible to give such explicit formulas, but we highlight the special case of birth-death processes.
△ Less
Submitted 13 February, 2019; v1 submitted 1 March, 2017;
originally announced March 2017.
-
Real zeros of 2F1 hypergeometric polynomials
Authors:
D. Dominici,
S. J. Johnston,
K. Jordaan
Abstract:
We use a method based on the division algorithm to determine all the values of the real parameters $b$ and $c$ for which the hypergeometric polynomials $_2F_1(-n, b; c; z)$ have $n$ real, simple zeros. Furthermore, we use the quasi-orthogonality of Jacobi polynomials to determine the intervals on the real line where the zeros are located.
We use a method based on the division algorithm to determine all the values of the real parameters $b$ and $c$ for which the hypergeometric polynomials $_2F_1(-n, b; c; z)$ have $n$ real, simple zeros. Furthermore, we use the quasi-orthogonality of Jacobi polynomials to determine the intervals on the real line where the zeros are located.
△ Less
Submitted 21 January, 2013;
originally announced January 2013.
-
Asymptotic zero distribution of a class of hypergeometric polynomials
Authors:
K. A. Driver,
S. J. Johnston
Abstract:
We prove that the zeros of ${}_2F_1(-n,\frac{n+1}{2};\frac{n+3}{2};z)$ asymptotically approach the section of the lemniscate $\{z: |z(1-z)^2|=4/27; \textrm{Re}(z)>1/3\}$ as $n\rightarrow \infty$. In recent papers (cf. \cite{KMF}, \cite{orive}), Martínez-Finkelshtein and Kuijlaars and their co-authors have used Riemann-Hilbert methods to derive the asymptotic zero distribution of Jacobi polynomials…
▽ More
We prove that the zeros of ${}_2F_1(-n,\frac{n+1}{2};\frac{n+3}{2};z)$ asymptotically approach the section of the lemniscate $\{z: |z(1-z)^2|=4/27; \textrm{Re}(z)>1/3\}$ as $n\rightarrow \infty$. In recent papers (cf. \cite{KMF}, \cite{orive}), Martínez-Finkelshtein and Kuijlaars and their co-authors have used Riemann-Hilbert methods to derive the asymptotic zero distribution of Jacobi polynomials $P_n^{(α_n,β_n)}$ when the limits $\ds A=\lim_{n\rightarrow \infty}\frac{α_n}{n}$ and $\ds B=\lim_{n\rightarrow \infty}\frac{β_n}{n}$ exist and lie in the interior of certain specified regions in the $AB$-plane. Our result corresponds to one of the transitional or boundary cases for Jacobi polynomials in the Kuijlaars Martínez-Finkelshtein classification.
△ Less
Submitted 12 July, 2011;
originally announced July 2011.
