Emergent Research: The PIMS Postdoctoral Fellow Seminar
Abstract:
A classical problem in combinatorial geometry, posed by Erdös in 1946, asks to determine the maximum number of unit segments in a set of n points in the plane. Since then a great variety of extremal problems in finite point sets have been studied. Here, we look at generalizations of this question concerning regular simplices. Among others we answer the following question asked by Erdös: Given n points in R6, how many triangles can be equilateral triangles? For our proofs we use hypergraph Turán theory. This is joint work with Dumitrescu and Liu.
Lethbridge Number Theory and Combinatorics Seminar
Abstract:
Drinfeld modules are the analogues of elliptic curves in positive characteristic. They are essential objects in number theory for studying function fields. They do not have points, in the traditional sense—we're going to count them anyway! The first methods achieving this were inspired by classical elliptic curve results; we will instead explore an algorithm based on so-called Anderson motives that achieves greater generality. Joint work with Xavier Caruso.
As an academic mathematician with a few decades of experience working with industry, the speaker has encountered many challenging problems that required the knowledge and development of a diverse collection of mathematical tools to effectively meet these challenges. This talk will present the mathematics arising in these collaborations, discussing both some technical details and why these skills might be useful to you as a young mathematician interested in an industrial career.
The talk will include work in the oil and gas sector (mathematics of imaging, partial differential equations, inverse problems, numerical methods), psychology and acoustics (Fourier transforms, digital signal processing), smart buildings (mathematical modeling and data science) and K-12 math education (mathematical visualizations and more data science).
There will be a few videos and animations to lighten up the gory technical details!
How does one describe the structure of a graph? What is a good way to measure how complicated a given graph is? Tree decompositions are a powerful tool in structural graph theory, designed to address these questions. To obtain a tree decomposition of a graph G, we break G into parts that interact with each other in a simple ("tree-like") manner. But what properties do the parts need to have in order for the decomposition to be meaningful? Traditionally a parameter called the "width" of a decomposition was considered, that is simply the maximum size of a part. In recent years other ways of measuring the complexity of tree decompositions have been proposed, and their properties are being studied. In this talk we will discuss recent progress in this area, touching on the classical notion of bounded tree-width, concepts of more structural flavor, and the interactions between them.
Lethbridge Number Theory and Combinatorics Seminar
Abstract:
Fix a positive integer $X$ and multi-sets of complex numbers $\mathcal{I}$ and $\mathcal{J}$. We study the shifted convolution sum \[ D_{\mathcal{I},\mathcal{J}}(X,1) = \sum_{n\leq X} \tau_{\mathcal{I}}(n)\tau_{\mathcal{J}}(n+1), \] where $\tau_{\mathcal{I}}$ and $\tau_{\mathcal{J}}$ are shifted divisor functions. These sums naturally appear in the study of higher moments of the Riemann zeta function and additive problems in number theory. We review known results on $2k$-th moment of the Riemann zeta function and correlation sums associated with generalized divisor function. Assuming a conjectural bound on the averaged level of distribution of $\tau_{\mathcal{J}}(n)$ in arithmetic progressions, we present an asymptotic formula for $D_{\mathcal{I},\mathcal{J}}(X,1)$ with explicit main terms and power-saving error estimates.
Emergent Research: The PIMS Postdoctoral Fellow Seminar
Abstract:
In number theory, we often consider a generalization of integers called algebraic numbers. Their definition is rather elementary, but their classification is nothing but. Algebraic numbers come in families, and we can attach each family an invariant measuring its size: the castle. Kronecker proved that an algebraic integer with castle strictly less than one is zero, and that an algebraic integer with castle exactly one is a root of unity. The classification of algebraic numbers with castle less than a prescribed constant is technical, but we managed to derive it for cyclotomic integers (a subclass of algebraic numbers) with castle less than 5.01, solving a conjecture of R. M. Robinson opened in 1965.
I will state our result, and rather than focus on the technical details, present the methodology that lead us to it. Indeed, this collaboration was initiated at the Rethinking Number Theory workshop: members from various career stages work in groups under the guidance of a project leader. The workshop organizers make it so that participants work with joy, autonomy and open-mindness. This allowed each of us to contribute to what we were best at. Joint work with J. Bajpai, S. Das, K. S. Kedlaya, N. H. Le, M. Lee and J. Mello; https://arxiv.org/abs/2510.20435.
Emergent Research: The PIMS Postdoctoral Fellow Seminar
Abstract:
We use a U-Net to make baseline power forecasts and train a diffusion model on its residuals to capture uncertainty. The diffusion samples naturally show low ensemble spread during stable atmospheric conditions and much wider spread when the atmosphere is more turbulent. This improves both reliability and interpretability compared to using the U-Net alone. The method provides a practical alternative to running full WRF simulations for uncertainty-aware wind farm power modelling.
I will discuss several recent results on the Turán density of long cycle-like hypergraphs. These results (due to Kamčev–Letzter–Pokrovskiy, Balogh–Luo, and myself) all follow a similar framework, and I will outline a general strategy to prove Turán-type results for tight cycles in larger uniformities or for other "cycle-like" hypergraphs.
One key ingredient in this framework, which I hope to prove in full, is a hypergraph analogue of the statement that a graph has no odd closed walks if and only if it is bipartite. More precisely, for various classes C of "cycle-like" r-uniform hypergraphs — including, for any k, the family of tight cycles of length k modulo r — we equiivalently characterize C-hom-free hypergraphs as those admitting a certain type of coloring of (r-1)-tuples of vertices. This provides a common generalization of results due to Kamčev–Letzter–Pokrovskiy and Balogh–Luo.
Industrial mathematics is a field that spans a broad spectrum of activity ranging from applied R&D performed by mathematicians employed in industry, to purely academic research projects undertaken by university mathematics professors. In this talk, I will survey several research projects I have been involved with that fall under the heading of what I'll call "mathematics *for* industry", which relates specifically to direct collaborations between university mathematicians and non-academic partner organizations. These projects encompass a diverse collection of mathematical techniques (ranging from simple algebra to partial differential equations, finite volume methods, inverse problems and homogenization theory) as well as applications from many scientific disciplines (such as fluid mechanics, image processing, atmospheric science and plant biology). In the process, I will attempt to characterize the job of an industrial mathematician and to identify the qualities and skills that are most desirable for anyone interested in making significant contributions to research at the interface between university and industry. I also hope to convince you that industrial collaborations can be a rich source of challenging and novel mathematical problems for academic mathematicians.
Emergent Research: The PIMS Postdoctoral Fellow Seminar
Abstract:
In this talk we will introduce the modular method, the approach followed by Wiles to prove Fermat’s Last Theorem. We will explain the role of elliptic curves, modular forms, and Galois representations in this framework, and discuss how the method has evolved in recent years.