Agent-based models are widely used in numerous applications. They have an advantage of being easy to formulate and to implement on a computer. On the other hand, to get any mathematical insight (motivated by, but going beyond computer simulations) often requires looking at the continuum limit where the number of agents becomes large. In this talk I give several examples of agent- based modelling, including bacterial aggregation, spatio-temporal SIR model, and wealth hotspots in society; starting from their derivation to taking their continuum limit, to analysis of the resulting continuum equations.
Lethbridge Number Theory and Combinatorics Seminar
Abstract:
Dave Morris (University of Lethbridge, Canada)
We will discuss graphs that have a unique hamiltonian cycle and are vertex-transitive, which means there is an automorphism that takes any vertex to any other vertex. Cycles are the only examples with finitely many vertices, but the situation is more interesting for infinite graphs. (Infinite graphs do not have "hamiltonian cycles," but there are natural analogues.) The case where the graph has only finitely many ends is not difficult, but we do not know whether there are examples with infinitely many ends. This is joint work in progress with Bobby Miraftab.
Consider Z^2, and assign a random length of 1 or 2 to each edge based on independent fair coin tosses. The resulting random geometry, first passage percloation, is conjectured to have a scaling limit. Most random plane geometric models (including hidden geometries) should have the same scaling limit. I will explain the basics of the limiting geometry, the "directed landscape", the central object in the class of models named after Kardar, Parisi and Zhang.
Reflections on the research developments that have contributed to this award, mostly to do with the distribution of primes and multiplicative functions, discussing my research team's contributions, and the possible future for several of these questions.
Lethbridge Number Theory and Combinatorics Seminar
Abstract:
Khoa D. Nguyen (University of Calgary, Canada)
A power series $f(x_1,\ldots,x_m)\in \mathbb{C}[[x_1,\ldots,x_m]]$ is said to be D-finite if all the partial derivatives of $f$ span a finite dimensional vector space over the field $\mathbb{C}(x_1,\ldots,x_m)$. For the univariate series $f(x)=\sum a_nx^n$, this is equivalent to the condition that the sequence $(a_n)$ is P-recursive meaning a non-trivial linear recurrence relation of the form:
$$P_d(n)a_{n+d}+\cdots+P_0(n)a_n=0$$ where the $P_i$'s are polynomials. In this talk, we consider D-finite power series with algebraic coefficients and discuss the growth of the Weil height of these coefficients. This is from a joint work with Jason Bell and Umberto Zannier in 2019 and a more recent work in June 2022.
We propose an extension of the well-known Klausmeier model of vegetation to two plant species that consume water at different rates. Rather than competing directly, the plants compete through their intake of water, which is a shared resource between them. In semi-arid regions, the Klausmeier model produces vegetation spot patterns. We are interested in how the competition for water affects the co-existence and stability of patches of different plant species. We consider two plant types: a “thirsty” species and a “frugal” species, that only differ by the amount of water they consume per unit growth, while being identical in other aspects. We find that there is a finite range of precipitation rate for which two species can co-exist. Outside of that range (when the rate is either sufficiently low or high), the frugal species outcompetes the thirsty species. As the precipitation rate is decreased, there is a sequence of stability thresholds such that thirsty plant patches are the first to die off, while the frugal spots remain resilient for longer. The pattern consisting of only frugal spots is the most resilient. The next-most-resilient pattern consists of all-thirsty patches, with the mixed pattern being less resilient than either of the homogeneous patterns. We also examine numerically what happens for very large precipitation rates. We find that for a sufficiently high rate, the frugal plant takes over the entire range, outcompeting the thirsty plant.
In this talk, we are interested in a general class of multiplicative functions. For a function that belongs to this class, we will relate its “short average” to its “long average”. More precisely, we will compute the variance of such a function over short intervals by using Fourier analysis and by counting rational points on certain binary forms. The discussion is applicable to some interesting multiplicative functions such as
and many others and it provides various new results and improvements to the previous result
in the literature. This is a joint work with Mithun Kumar Das.
It is believed that distinct primitive L-functions are “statistically independent”. The independence can be interpreted in many different ways. We are interested in the joint value distributions and their applications in moments and extreme values for distinct L-functions. We discuss some large deviation estimates in Selberg and Bombieri-Hejhal’s central limit theorem for values of several L-functions. On the critical line, values of distinct primitive L-functions behave independently in a strong sense. However, away from the critical line, values of distinct Dirichlet L-functions begin to exhibit some correlations.
There are two rotary motors in biology, ATP synthase and the bacterial flagellar motor. Both are driven by transmembrane ionic currents. We consider an idealized model of such a motor, essentially an electrostatic turbine. The model has a rotor and a stator, which are closely fitting cylinders. Attached to the rotor is a fixed density of negative charge, with helical symmetry. Positive ions move longitudinally by drift and diffusion on the stator. A key assumption is local electroneutrality of the combined charge distribution. With this setup we derive explicit formulae for the transmembrane current and the angular velocity of the rotor in terms of the transmembrane electrochemical potential difference of the positive ions and the mechanical torque on the motor. This relationship between "forces" and "fluxes" turns out to be linear, and given by a symmetric positive definite matrix, as anticipated by non-equilibrium thermodynamics, although we do not make any use of that formalism in deriving the result. The equal off-diagonal terms of this 2x2 matrix describe the electromechanical coupling of the motor. Although macroscopic, the model can be used as a foundation for stochastic simulation via the Einstein relation.
In this talk I will present some of aspects of the proof of a theorem of Elkies and McMullen (Duke Math Journal, 2004) on the asymptotic distribution of the gap sizes for the finite sequence ( √n (mod 1) : 1 ≤ n ≤ N ) as N goes to infinity. The proof relies, among other things, on tools from homogenous dynamics and relates the problem to one in the geometry of numbers.