-
Full distribution of the number of distinct sites visited by a random walker in dimension $d \ge 2$
Authors:
Naftali R. Smith
Abstract:
We study the full distribution $P_M(S)$ of the number of distinct sites $S$ visited by a random walker on a $d$-dimensional lattice after $M$ steps. We focus on the case $d \ge 2$, and we are interested in the long-time limit $M \gg 1$. Our primary interest is the behavior of the right and left tails of $P_M(S)$, corresponding to $S$ larger and smaller than its mean value, respectively. We present…
▽ More
We study the full distribution $P_M(S)$ of the number of distinct sites $S$ visited by a random walker on a $d$-dimensional lattice after $M$ steps. We focus on the case $d \ge 2$, and we are interested in the long-time limit $M \gg 1$. Our primary interest is the behavior of the right and left tails of $P_M(S)$, corresponding to $S$ larger and smaller than its mean value, respectively. We present theoretical arguments that predict that in the right tail, a standard large-deviation principle (LDP) $P_{M}\left(S\right)\sim e^{-MΦ\left(S/M\right)}$ is satisfied (at $M \gg 1$) for $d\ge2$, while in the left tail, the scaling behavior is $P_{M}\left(S\right)\sim e^{-M^{1-2/d}Ψ\left(S/M\right)}$, corresponding to a LDP with anomalous scaling, for $d>2$. We also obtain bounds for the scaling functions $Φ(a)$ and $Ψ(a)$, and obtain analytical results for $Φ(a)$ in the high-dimensional limit $d \gg 1$, and for $Ψ(a)$ in the limit $a \ll 1$ (describing the far left tail). Our predictions are validated by numerical simulations using importance sampling algorithms.
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
Subleading-order theory for condensation transitions in large deviations of sums of independent and identically distributed random variables
Authors:
Naftali R. Smith
Abstract:
We study the full distribution $P_{N}\left(A\right)$ of sums $A = \sum_{i=1}^N$ where $x_1, \dots, x_N$ are $N \gg 1$ independent and identically distributed random variables each sampled from a given distribution $p(x)$ with a subexponential $x \to \infty$ tail. We consider two particular cases: (I) the one-sided stretched exponential distribution $p(x) \propto e^{-x^α}$ where $0 < x < \infty$, (…
▽ More
We study the full distribution $P_{N}\left(A\right)$ of sums $A = \sum_{i=1}^N$ where $x_1, \dots, x_N$ are $N \gg 1$ independent and identically distributed random variables each sampled from a given distribution $p(x)$ with a subexponential $x \to \infty$ tail. We consider two particular cases: (I) the one-sided stretched exponential distribution $p(x) \propto e^{-x^α}$ where $0 < x < \infty$, (II) the two-sided stretched exponential distribution $p(x) \propto e^{-|x|^α}$ where $-\infty < x < \infty$. We assume $0 < α< 1$ (in both cases). As follows immediately from known theorems, for both cases (i) typical fluctuations of $ΔA = A - \left\langle A\right\rangle $ are described by the central-limit theorem, (ii) the tail $A \to \infty$ is described by the big-jump principle $P_{N}\left(A\right) \simeq N p\left(A\right)$, and (iii) in between these two regimes there is a nontrivial intermediate regime which displays anomalous scaling $P_{N}\left(A\right) \sim e^{-N^βf(ΔA/N^γ)}$ with anomalous exponents $β,γ\in (0,1)$ and large-deviation function $f(y)$ that are all exactly known. In practice, although these theoretical predictions of $P_{N}\left(A\right)$ work very well in regimes (i) and (ii), they often perform quite poorly in the intermediate regime (ii), with errors of several orders of magnitude for $N$ as large as $10^4$. We calculate subleading order corrections to the theoretical predictions in the intermediate regime. We find that for $0 < α< α_c$, these corrections scale as power laws in $N$, while for $α_c < α< 1$ they scale as stretched exponentials, where the threshold value is $α_c = 1/2$ in case (I) and $α_c = 2/3$ in case (II). This difference between the two cases is a result of the mirror symmetry $p(x) = p(-x)$ which holds only in the latter case.
△ Less
Submitted 25 March, 2025;
originally announced March 2025.
-
Enumeration of pattern-avoiding alternating sign matrices: An asymptotic dichotomy
Authors:
Mathilde Bouvel,
Eric S. Egge,
Rebecca N. Smith,
Jessica Striker,
Justin M. Troyka
Abstract:
We completely classify the asymptotic behavior of the number of alternating sign matrices classically avoiding a single permutation pattern, in the sense of [Johansson and Linusson 2007]. In particular, we give a uniform proof of an exponential upper bound for the number of alternating sign matrices classically avoiding one of twelve particular patterns, and a super-exponential lower bound for all…
▽ More
We completely classify the asymptotic behavior of the number of alternating sign matrices classically avoiding a single permutation pattern, in the sense of [Johansson and Linusson 2007]. In particular, we give a uniform proof of an exponential upper bound for the number of alternating sign matrices classically avoiding one of twelve particular patterns, and a super-exponential lower bound for all other single-pattern avoidance classes. We also show that for any fixed integer $k$, there is an exponential upper bound for the number of alternating sign matrices that classically avoid any single permutation pattern and contain precisely $k$ negative ones. Finally, we prove that there must be at most $3$ negative ones in an alternating sign matrix which classically avoids both $2143$ and $3412$, and we exactly enumerate the number of them with precisely $3$ negative ones.
△ Less
Submitted 12 November, 2024;
originally announced November 2024.
-
Coarsening and parallelism with reduction multigrids for hyperbolic Boltzmann transport
Authors:
S. Dargaville,
R. P. Smedley-Stevenson,
P. N. Smith,
C. C. Pain
Abstract:
Reduction multigrids have recently shown good performance in hyperbolic problems without the need for Gauss-Seidel smoothers. When applied to the hyperbolic limit of the Boltzmann Transport Equation (BTE), these methods result in very close to $\mathcal{O}(n)$ growth in work with problem size on unstructured grids. This scalability relies on the CF splitting producing an $A_\textrm{ff}$ block that…
▽ More
Reduction multigrids have recently shown good performance in hyperbolic problems without the need for Gauss-Seidel smoothers. When applied to the hyperbolic limit of the Boltzmann Transport Equation (BTE), these methods result in very close to $\mathcal{O}(n)$ growth in work with problem size on unstructured grids. This scalability relies on the CF splitting producing an $A_\textrm{ff}$ block that is easy to invert. We introduce a parallel two-pass CF splitting designed to give diagonally dominant $A_\textrm{ff}$. The first pass computes a maximal independent set in the symmetrized strong connections. The second pass converts F-points to C-points based on the row-wise diagonal dominance of $A_\textrm{ff}$. We find this two-pass CF splitting outperforms common CF splittings available in hypre.
Furthermore, parallelisation of reduction multigrids in hyperbolic problems is difficult as we require both long-range grid-transfer operators and slow coarsenings (with rates of $\sim$1/2 in both 2D and 3D). We find that good parallel performance in the setup and solve is dependent on several factors: repartitioning the coarse grids, reducing the number of active MPI ranks as we coarsen, truncating the multigrid hierarchy and applying a GMRES polynomial as a coarse-grid solver.
We compare the performance of two different reduction multigrids, AIRG (that we developed previously) and the hypre implementation of $\ell$AIR. In the streaming limit with AIRG, we demonstrate 81\% weak scaling efficiency in the solve from 2 to 64 nodes (256 to 8196 cores) with only 8.8k unknowns per core, with solve times up to 5.9$\times$ smaller than the $\ell$AIR implementation in hypre.
△ Less
Submitted 15 August, 2024;
originally announced August 2024.
-
Investigating Ocean Circulation Dynamics Through Data Assimilation: A Mathematical Study Using the Stommel Box Model with Rapid Oscillatory Forcings
Authors:
Nathaniel Smith,
Anvaya Shiney-Ajay,
Emmanuel Fleurantin,
Ivo Pasmans
Abstract:
We investigate ocean circulation changes through the lens of data assimilation using a reduced-order model. Our primary interest lies in the Stommel box model which reveals itself to be one of the most practicable models that has the ability of reproducing the meridional overturning circulation. The Stommel box model has at most two regimes: TH (temperature driven circulation with sinking near the…
▽ More
We investigate ocean circulation changes through the lens of data assimilation using a reduced-order model. Our primary interest lies in the Stommel box model which reveals itself to be one of the most practicable models that has the ability of reproducing the meridional overturning circulation. The Stommel box model has at most two regimes: TH (temperature driven circulation with sinking near the north pole) and SA (salinity driven with sinking near the equator). Currently, the meridional overturning is in the TH regime. Using box-averaged Met Office EN4 ocean temperature and salinity data, our goal is to provide a probability that a future regime change occurs and establish how this probability depends on the uncertainties in initial conditions, parameters and forcings. We will achieve this using data assimilation tools and DAPPER within the Stommel box model with fast oscillatory regimes.
△ Less
Submitted 15 September, 2024; v1 submitted 10 April, 2024;
originally announced April 2024.
-
Splitting Quantum Graphs
Authors:
Nathaniel Smith,
Alim Sukhtayev
Abstract:
We derive a counting formula for the eigenvalues of Schrödinger operators with self-adjoint boundary conditions on quantum star graphs. More specifically, we develop techniques using Evans functions to reduce full quantum graph eigenvalue problems into smaller subgraph eigenvalue problems. These methods provide a simple way to calculate the spectra of operators with localized potentials.
We derive a counting formula for the eigenvalues of Schrödinger operators with self-adjoint boundary conditions on quantum star graphs. More specifically, we develop techniques using Evans functions to reduce full quantum graph eigenvalue problems into smaller subgraph eigenvalue problems. These methods provide a simple way to calculate the spectra of operators with localized potentials.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
Macroscopic fluctuation theory of local time in lattice gases
Authors:
Naftali R. Smith,
Baruch Meerson
Abstract:
The local time in an ensemble of particles measures the amount of time the particles spend in the vicinity of a given point in space. Here we study fluctuations of the empirical time average $R= T^{-1}\int_{0}^{T}ρ\left(x=0,t\right)\,dt$ of the density $ρ\left(x=0,t\right)$ at the origin (so that $R$ is the local time spent at the origin, rescaled by $T$) for an initially uniform one-dimensional d…
▽ More
The local time in an ensemble of particles measures the amount of time the particles spend in the vicinity of a given point in space. Here we study fluctuations of the empirical time average $R= T^{-1}\int_{0}^{T}ρ\left(x=0,t\right)\,dt$ of the density $ρ\left(x=0,t\right)$ at the origin (so that $R$ is the local time spent at the origin, rescaled by $T$) for an initially uniform one-dimensional diffusive lattice gas. We consider both the quenched and annealed initial conditions and employ the Macroscopic Fluctuation Theory (MFT). For a gas of non-interacting random walkers (RWs) the MFT yields exact large-deviation functions of $R$, which are closely related to the ones recently obtained by Burenev \textit{et al.} (2023) using microscopic calculations for non-interacting Brownian particles. Our MFT calculations, however, additionally yield the most likely history of the gas density $ρ(x,t)$ conditioned on a given value of $R$. Furthermore, we calculate the variance of the local time fluctuations for arbitrary particle- or energy-conserving diffusive lattice gases. Better known examples of such systems include the simple symmetric exclusion process, the Kipnis-Marchioro-Presutti model and the symmetric zero-range process. Our results for the non-interacting RWs can be readily extended to a step-like initial condition for the density.
△ Less
Submitted 14 March, 2024; v1 submitted 26 November, 2023;
originally announced November 2023.
-
Probabilities of moderately atypical fluctuations of the size of a swarm of Brownian Bees
Authors:
Pavel Sasorov,
Arkady Vilenkin,
Naftali R. Smith
Abstract:
The ``Brownian bees'' model describes an ensemble of $N=$~const independent branching Brownian particles. The conservation of $N$ is provided by a modified branching process. When a particle branches into two particles, the particle which is farthest from the origin is eliminated simultaneously. The spatial density of the particles is governed by the solution of a free boundary problem for a react…
▽ More
The ``Brownian bees'' model describes an ensemble of $N=$~const independent branching Brownian particles. The conservation of $N$ is provided by a modified branching process. When a particle branches into two particles, the particle which is farthest from the origin is eliminated simultaneously. The spatial density of the particles is governed by the solution of a free boundary problem for a reaction-diffusion equation in the limit of $N \gg 1$. At long times, the particle density approaches a spherically symmetric steady state solution with a compact support of radius $\bar{\ell}_0$. However, at finite $N$, the radius of this support, $L$, fluctuates. The variance of these fluctuations appears to exhibit a logarithmic anomaly [Siboni {\em et al}., Phys. Rev. E. {\bf104}, 054131 (2021)]. It is proportional to $N^{-1}\ln N$ at $N\to\infty$. We investigate here the tails of the probability density function (PDF), $P(L)$, of the swarm radius, when the absolute value of the radius fluctuation $ΔL=L-\bar{\ell}_0$ is sufficiently larger than the typical fluctuations' scale determined by the variance. For negative deviations the PDF can be obtained in the framework of the optimal fluctuation method (OFM). This part of the PDF displays the scaling behavior: $\ln P\propto - N ΔL^2\, \ln^{-1}(ΔL^{-2})$, demonstrating a logarithmic anomaly at small negative $ΔL$. For the opposite sign of the fluctuation, $ΔL > 0$, the PDF can be obtained with an approximation of a single particle, running away. We find that $\ln P \propto -N^{1/2}ΔL$. We consider in this paper only the case, when $|ΔL|$ is much less than the typical radius of the swarm at $N\gg 1$.
△ Less
Submitted 15 September, 2022;
originally announced September 2022.
-
Full Statistics of Nonstationary Heat Transfer in the Kipnis-Marchioro-Presutti Model
Authors:
Eldad Bettelheim,
Naftali R. Smith,
Baruch Meerson
Abstract:
We investigate non-stationary heat transfer in the Kipnis-Marchioro-Presutti (KMP) lattice gas model at long times in one dimension when starting from a localized heat distribution. At large scales this initial condition can be described as a delta-function, $u(x,t=0)=W δ(x)$. We characterize the process by the heat, transferred to the right of a specified point $x=X$ by time $T$,…
▽ More
We investigate non-stationary heat transfer in the Kipnis-Marchioro-Presutti (KMP) lattice gas model at long times in one dimension when starting from a localized heat distribution. At large scales this initial condition can be described as a delta-function, $u(x,t=0)=W δ(x)$. We characterize the process by the heat, transferred to the right of a specified point $x=X$ by time $T$, $$ J=\int_X^\infty u(x,t=T)\,dx\,, $$ and study the full probability distribution $\mathcal{P}(J,X,T)$. The particular case of $X=0$ has been recently solved [Bettelheim \textit{et al}. Phys. Rev. Lett. \textbf{128}, 130602 (2022)]. At fixed $J$, the distribution $\mathcal{P}$ as a function of $X$ and $T$ has the same long-time dynamical scaling properties as the position of a tracer in a single-file diffusion. Here we evaluate $\mathcal{P}(J,X,T)$ by exploiting the recently uncovered complete integrability of the equations of the macroscopic fluctuation theory (MFT) for the KMP model and using the Zakharov-Shabat inverse scattering method. We also discuss asymptotics of $\mathcal{P}(J,X,T)$ which we extract from the exact solution, and also obtain by applying two different perturbation methods directly to the MFT equations.
△ Less
Submitted 1 September, 2022; v1 submitted 13 April, 2022;
originally announced April 2022.
-
Inverse Scattering Method Solves the Problem of Full Statistics of Nonstationary Heat Transfer in the Kipnis-Marchioro-Presutti Model
Authors:
Eldad Bettelheim,
Naftali R. Smith,
Baruch Meerson
Abstract:
We determine the full statistics of nonstationary heat transfer in the Kipnis-Marchioro-Presutti lattice gas model at long times by uncovering and exploiting complete integrability of the underlying equations of the macroscopic fluctuation theory. These equations are closely related to the derivative nonlinear Schrödinger equation (DNLS), and we solve them by the Zakharov-Shabat inverse scattering…
▽ More
We determine the full statistics of nonstationary heat transfer in the Kipnis-Marchioro-Presutti lattice gas model at long times by uncovering and exploiting complete integrability of the underlying equations of the macroscopic fluctuation theory. These equations are closely related to the derivative nonlinear Schrödinger equation (DNLS), and we solve them by the Zakharov-Shabat inverse scattering method (ISM) adapted by Kaup and Newell (1978) for the DNLS. We obtain explicit results for the exact large deviation function of the transferred heat for an initially localized heat pulse, where we uncover a nontrivial symmetry relation.
△ Less
Submitted 29 July, 2024; v1 submitted 4 December, 2021;
originally announced December 2021.
-
Constrained non-crossing Brownian motions, fermions and the Ferrari-Spohn distribution
Authors:
Tristan Gautié,
Naftali R. Smith
Abstract:
A conditioned stochastic process can display a very different behavior from the unconditioned process. In particular, a conditioned process can exhibit non-Gaussian fluctuations even if the unconditioned process is Gaussian. In this work, we revisit the Ferrari-Spohn model of a Brownian bridge conditioned to avoid a moving wall, which pushes the system into a large-deviation regime. We extend this…
▽ More
A conditioned stochastic process can display a very different behavior from the unconditioned process. In particular, a conditioned process can exhibit non-Gaussian fluctuations even if the unconditioned process is Gaussian. In this work, we revisit the Ferrari-Spohn model of a Brownian bridge conditioned to avoid a moving wall, which pushes the system into a large-deviation regime. We extend this model to an arbitrary number $N$ of non-crossing Brownian bridges. We obtain the joint distribution of the distances of the Brownian particles from the wall at an intermediate time in the form of the determinant of an $N\times N$ matrix whose entries are given in terms of the Airy function. We show that this distribution coincides with that of the positions of $N$ spinless noninteracting fermions trapped by a linear potential with a hard wall. We then explore the $N \gg 1$ behavior of the system. For simplicity we focus on the case where the wall's position is given by a semicircle as a function of time, but we expect our results to be valid for any concave wall function.
△ Less
Submitted 17 March, 2021; v1 submitted 25 November, 2020;
originally announced November 2020.
-
An autoencoder-based reduced-order model for eigenvalue problems with application to neutron diffusion
Authors:
Toby Phillips,
Claire E. Heaney,
Paul N. Smith,
Christopher C. Pain
Abstract:
Using an autoencoder for dimensionality reduction, this paper presents a novel projection-based reduced-order model for eigenvalue problems. Reduced-order modelling relies on finding suitable basis functions which define a low-dimensional space in which a high-dimensional system is approximated. Proper orthogonal decomposition (POD) and singular value decomposition (SVD) are often used for this pu…
▽ More
Using an autoencoder for dimensionality reduction, this paper presents a novel projection-based reduced-order model for eigenvalue problems. Reduced-order modelling relies on finding suitable basis functions which define a low-dimensional space in which a high-dimensional system is approximated. Proper orthogonal decomposition (POD) and singular value decomposition (SVD) are often used for this purpose and yield an optimal linear subspace. Autoencoders provide a nonlinear alternative to POD/SVD, that may capture, more efficiently, features or patterns in the high-fidelity model results.
Reduced-order models based on an autoencoder and a novel hybrid SVD-autoencoder are developed. These methods are compared with the standard POD-Galerkin approach and are applied to two test cases taken from the field of nuclear reactor physics.
△ Less
Submitted 15 August, 2020;
originally announced August 2020.
-
A comparison of element agglomeration algorithms for unstructured geometric multigrid
Authors:
S. Dargaville,
A. G. Buchan,
R. P. Smedley-Stevenson,
P. N. Smith,
C. C. Pain
Abstract:
This paper compares the performance of seven different element agglomeration algorithms on unstructured triangular/tetrahedral meshes when used as part of a geometric multigrid. Five of these algorithms come from the literature on AMGe multigrid and mesh partitioning methods. The resulting multigrid schemes are tested matrix-free on two problems in 2D and 3D taken from radiation transport applicat…
▽ More
This paper compares the performance of seven different element agglomeration algorithms on unstructured triangular/tetrahedral meshes when used as part of a geometric multigrid. Five of these algorithms come from the literature on AMGe multigrid and mesh partitioning methods. The resulting multigrid schemes are tested matrix-free on two problems in 2D and 3D taken from radiation transport applications; one of which is in the diffusion limit. In two dimensions all coarsening algorithms result in multigrid methods which perform similarly, but in three dimensions aggressive element agglomeration performed by METIS produces the shortest runtimes and multigrid setup times.
△ Less
Submitted 18 May, 2020;
originally announced May 2020.
-
Goal-based angular adaptivity for Boltzmann transport in the presence of ray-effects
Authors:
S. Dargaville,
R. P. Smedley-Stevenson,
P. N. Smith,
C. C. Pain
Abstract:
Boltzmann transport problems often involve heavy streaming, where particles propagate long distance due to the dominance of advection over particle interaction. If an insufficiently refined non-rotationally invariant angular discretisation is used, there are areas of the problem where no particles will propogate. These "ray-effects" are problematic for goal-based error metrics with angular adaptiv…
▽ More
Boltzmann transport problems often involve heavy streaming, where particles propagate long distance due to the dominance of advection over particle interaction. If an insufficiently refined non-rotationally invariant angular discretisation is used, there are areas of the problem where no particles will propogate. These "ray-effects" are problematic for goal-based error metrics with angular adaptivty, as the metrics in the pre-asymptotic region will be zero/incorrect and angular adaptivity will not occur. In this work we use low-order filtered spherical harmonics, which is rotationally invariant and hence not subject to ray-effects, to "bootstrap" our error metric and enable highly refined anisotropic angular adaptivity with a Haar wavelet angular discretisation. We test this on three simple problems with pure streaming where we know a priori where refinement should occur. We show our method is robust and produces adapted angular discretisations that match the results produced by fixed refinement with either reduced runtime or a constant additional cost with angular refinement.
△ Less
Submitted 5 November, 2019;
originally announced November 2019.
-
Fractional derivative of composite functions: exact results and physical applications
Authors:
Gavriil Shchedrin,
Nathanael C. Smith,
Anastasia Gladkina,
Lincoln D. Carr
Abstract:
We examine the fractional derivative of composite functions and present a generalization of the product and chain rules for the Caputo fractional derivative. These results are especially important for physical and biological systems that exhibit multiple spatial and temporal scales, such as porous materials and clusters of neurons, in which transport phenomena are governed by a fractional derivati…
▽ More
We examine the fractional derivative of composite functions and present a generalization of the product and chain rules for the Caputo fractional derivative. These results are especially important for physical and biological systems that exhibit multiple spatial and temporal scales, such as porous materials and clusters of neurons, in which transport phenomena are governed by a fractional derivative of slowly varying parameters given in terms of elementary functions. Both the product and chain rules of the Caputo fractional derivative are obtained from the expansion of the fractional derivative in terms of an infinite series of integer order derivatives. The crucial step in the practical implementation of the fractional product rule relies on the exact evaluation of the repeated integral of the generalized hypergeometric function with a power-law argument. By applying the generalized Euler's integral transform, we are able to represent the repeated integral in terms of a single hypergeometric function of a higher order. We demonstrate the obtained results by the exact evaluation of the Caputo fractional derivative of hyperbolic tangent which describes dark soliton propagation in the non-linear media. We conclude that in the most general case both fractional chain and product rules result in an infinite series of the generalized hypergeometric functions.
△ Less
Submitted 8 January, 2019; v1 submitted 7 March, 2018;
originally announced March 2018.
-
Commutative rings with toroidal zero-divisor graphs
Authors:
Hung-Jen Chiang-Hsieh,
Neal O. Smith,
Hsin-Ju Wang
Abstract:
Let $R$ be a commutative ring and $Γ(R)$ denote its zero-divisor graph. In this paper, we investigate the genus number of the compact Riemann surface which $Γ(R)$ can be embedded and illustrate all finite commutative rings $R$ (up to isomorphism) such that $Γ(R)$ is either toroidal or planar.
Let $R$ be a commutative ring and $Γ(R)$ denote its zero-divisor graph. In this paper, we investigate the genus number of the compact Riemann surface which $Γ(R)$ can be embedded and illustrate all finite commutative rings $R$ (up to isomorphism) such that $Γ(R)$ is either toroidal or planar.
△ Less
Submitted 16 July, 2008; v1 submitted 15 February, 2007;
originally announced February 2007.
