# Scientific

## Agent-based models: from bacterial aggregation to wealth hot-spots

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.

## On vertex-transitive graphs with a unique hamiltonian circle

**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.

## Random plane geometry -- a gentle introduction

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.

## Primes, postdocs and pretentiousness

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.

## Height gaps for coefficients of D-finite power series

**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.

## Resource-mediated competition between two plant species with different rates of water intake

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.

## Actomyosin cables by mechanical self-organization

Supracellular actomyosin cables often drive morphogenesis in development. The origin of these cables is poorly understood. We show theoretically and computationally that under external loading, cell-cell junctions capable of mechanical feedback could undergo spontaneous symmetry breaking and establish a dominant path through which tension propagates, giving rise to a contractile cable. This type of cables transmit force perturbation over a long range, and can be modulated by the tissue properties and the external loading magnitude. Our theory is general and highlights the potential role of mechanical signals in guiding development.

## Multiplicative functions in short intervals

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

$$

\mu_k(n), \frac{\phi (n)}{n}, \frac{n}{\phi (n)}, \mu^2(n)\frac{\phi(n)}{n},

\sigma_\alpha (n), (-1)^{\#\left\{p: p^k | n \right\}}

$$

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.

This event is part of the PIMS CRG Group on *L*-Functions in Analytic Number Theory. More details can be found on the webpage here: https://sites.google.com/view/crgl-functions/crg-weekly-seminar

## Joint value distribution of L-functions

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.

This is based on joint works with Shota Inoue.

This event is part of the PIMS CRG Group on L-Functions in Analytic Number Theory. More details can be found on the webpage here: https://sites.google.com/view/crgl-functions/crg-weekly-seminar

## Rotary Molecular Motors Driven By Transmembrane Ionic Currents

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.