I will present Pierre Arnoux's 1994 paper in which he applies Veech's notion of zippered rectangles in the genus one setting to coordinatize the unit tangent bundle of the modular surface and thereby win an explicit description of its geodesic flow. From this, Arnoux recovered a result of C. Series': the dynamical system defined by the Gauss map (underlying regular continued fractions) is a factor of a section to the geodesic flow on the aforementioned unit tangent bundle. Time permitting, I will sketch some further implications given in the paper.
Lethbridge Number Theory and Combinatorics Seminar
Abstract:
Graphical and Digraphical Regular Representations (GRRs and DRRs) are a concrete way to visualise the regular action of a group, using graphs. More precisely, a GRR or DRR on the group G is a (di)graph whose automorphism group is isomorphic to the regular action of G on itself by right-multiplication.
For a (di)graph to be a DRR or GRR on G, it must be a Cayley (di)graph on G. Whenever the group G admits an automorphism that fixes the connection set of the Cayley (di)graph setwise, this induces a nontrivial graph automorphism that fixes the identity vertex, which means that the (di)graph is not a DRR or GRR. Checking whether or not there is any group automorphism that fixes a particular connection set can be done very quickly and easily compared with checking whether or not any nontrivial graph automorphism fixes some vertex, so it would be nice to know if there are circumstances under which the simpler test is enough to guarantee whether or not the Cayley graph is a GRR or DRR. I will present a number of results on this question.
This is based on joint work with Dave Morris and with Gabriel Verret.
What does a random permutation group look like? This talk will start with a brief survey of how we might go about counting subgroups of the symmetric group Sn, and talk about what is known about “most” subgroups.
To tackle the general problem, it would clearly be helpful to know how many subgroups there are. An elementary argument gives that there are at least 2n2/16 subgroups, and it was conjectured by Pyber in 1993 that up to lower order error terms this is also an upper bound. This talk will present an answer to Pyber's conjecture.
Mathematical biomedicine is an area of research where questions that arise in medicine are addressed by mathematical methods. Each such question needs first to be represented by a network with nodes that includes the biological entities that will be used to address the medical question. This network is then converted into a dynamical system for these entities, with parameters that need to be computed, or estimated. Simulations of the model are first used to validate the model, and then to address the specific question. I will give some examples, mostly from my recent work, including cancer drug resistance, side effects and metastasis, autoimmune diseases, and chronic and diabetic wounds, where the dynamical systems are PDEs. In each example, I will write explicitly the biological network, but will not the details of the corresponding PDE system.
Functional data analysis (FDA) is a growing statistical field for analyzing curves, images, or any multidimensional functions, in which each random function is treated as a sample element. Functional data is found commonly in many applications such as longitudinal studies and brain imaging. In this talk, I will present a methodology for integrating functional data into deep neural networks. The model is defined for scalar responses with multiple functional and scalar covariates. A by-product of the method is a set of dynamic functional weights that can be visualized during the optimization process. This visualization leads to greater interpretability of the relationship between the covariates and the response relative to conventional neural networks. The model is shown to perform well in a number of contexts including prediction of new data and recovery of the true underlying relationship between the functional covariate and scalar response; these results were confirmed through real data applications and simulation studies.
Analytic Aspects of L-functions and Applications to Number Theory
Abstract:
The Hardy and Littlewood k-tuple prime conjecture is one of the most enduring unsolved problems in mathematics. In 1999, Gadiyar and Padma presented a heuristic derivation of the 2-tuples conjecture by employing the orthogonality principle of Ramanujan sums. Building upon their work, we explore triple convolution Ramanujan sums and use this approach to provide a heuristic derivation of the Hardy-Littlewood conjecture concerning prime 3-tuples. Furthermore, we estimate the triple convolution of the Jordan totient function using Ramanujan sums.
Peter Borewein empirically discovered quite a number of mysteries involving sign patterns of coefficients of polynomials of the form $f_{p,s,n}(q):=\prod_{j=0}^{n} \prod_{k=1}^{p-1} (1-q^{pj+k})^{s}$ ($p$ a prime and $s,n \in \mathbb{N}$). In the case $(p,s) \in \{(3,1), (3,2)\}$, he conjectured that the coefficients follow a repeating + - - pattern, and in the case $(p,s)=(5,1)$, it was conjectured that the coefficients follow a repeating + - - - - sign pattern. We consider a weaker problem of finding the signs of partial sums of coefficients along some arithmetic progressions. We use a combinatorial sieving principle by Li-Wan and elementary character theory to asymptotically estimate and find the signs of these partial sums. We find that the signs of these partial sums are compatible with the sign pattern in Borewein's conjectures. This is based on joint work with Ankush Goswami.
Let $\sigma^*(n)$ be the sum of all unitary (i.e. coprime) divisors of $n$. As an analogue of Lehmer’s totient problem, Subbarao proposed the following conjecture. The congruence $\sigma^*(n)\equiv 1\pmod{n}$ is possible iff $n$ is a prime power. This problem is still open. We strengthen considerably the lower estimations for the potential counterexamples to Subbarao’s conjecture.
In the second part of our talk, we discuss the growth of the function $\sigma^*(n)$. We establish a new explicit upper bound, namely $\sigma^*(n)<1.2678n\log\log{n}$ for all $n\ge223092870$. For this purpose, we use explicit estimates for Chebyshev’s $\theta$-function and for some product defined over prime numbers.
While mathematical models have classically been used in the study of physics and engineering, recently, they have become important tools in other fields such as biology, ecology, and sociology. In this talk I will discuss the use of partial differential equations and dynamical systems to shed light onto social and ecological phenomena. In the first part of this talk, we will focus on an Ecological application. For an efficient wildlife management plan, it is important that we understand (1) why animals move as they do and (2) what movement strategies are robust. I will discuss how reaction-advection-diffusion models can help us shed light into these two issues. The second part of the talk will focus on social applications. I will present a few models in the study of gentrification, urban crime, and protesting activity and discuss how theoretical and numerical analysis have provided intuition into these different social phenomena. Moreover, I will also point out the many benefits of utilizing a mathematical framework when data is not available.
Lethbridge Number Theory and Combinatorics Seminar
Abstract:
We establish a Weyl-type estimate for exponential sums over irreducible elements in function fields. As an application, we generalize an equidistribution theorem of Rhin. Our estimate works for polynomials with degree higher than the characteristic of the field, a barrier to the traditional Weyl differencing method. In this talk, we briefly introduce Lê-Liu-Wooley's original argument for ordinary Weyl sums (taken over all elements), and how we generalize it to estimate bilinear exponential sums with general coefficients. This is joint work with Jérémy Campagne (Waterloo), Thái Hoàng Lê (Mississippi) and Yu-Ru Liu (Waterloo).