Date

Speaker 
Title 

Sept 8

everyone

Open problem session

at noon in UHall B660 

Please bring your favourite (math) problems. Anyone with a problem to share will be given about 5 minutes to present it. We will also choose most of the speakers for the rest of the semester.


Sept 15

Joy Morris

Colourpermuting automorphisms of Cayley graphs

at noon in UHall B660 
University of Lethbridge 
A Cayley graph \(\mathrm{Cay}(G;S)\) has the elements of \(G\) as its vertices, with \(g \sim gs\) if and only if \(s \in S\). There is a natural colouring of the edges of any such graph, by assigning colour \(s\) to an edge if it came from the element \(s\) of \(S\). For a Cayley digraph, any graph automorphism that preserves this colouring has to be a group automorphism of \(G\). For a Cayley graph, this is not the case. I will present examples of Cayley graphs that have automorphisms that do not correspond to group automorphisms of \(G\). I will also show that for some families of groups, such examples are not possible.
I will also discuss the more general problem of automorphisms that permute the colours, rather than necessarily preserving all of them.


Sept 22

Farzad Aryan

On Binary and Quadratic Divisor Problem

at noon in UHall B660 
University of Lethbridge 
Let \(d(n)=\sum_{dn} 1\). This is known as the divisor function. It counts the number of divisors of an integer. Consider the following shifted convolution sum
$$ \sum_{anm=h}d(n) \, d(m) \, f(an, m), $$
where \(f\) is a smooth function which is supported on \([x, 2x]\times[x, 2x]\) and oscillates mildly. In 1993, Duke, Friedlander, and Iwaniec proved that
$$
\sum_{anm=h}d(n) \, d(m) \, f(an, m) = \textbf{Main term}(x)+ \mathbf{O}(x^{0.75}).$$
Here, we improve (unconditionally) the error term in the above formula to \(\mathbf{O}(x^{0.61})\), and conditionally, under the assumption of the RamanujanPetersson conjecture, to \(\mathbf{O}(x^{0.5}).\) We will also give some new results on shifted convolution sums of functions coming from Fourier coefficients of modular forms.


Sept 29

Adam Tyler Felix

Common divisors of the index and order of \(a\) modulo \(p\)

at noon in UHall B660 
University of Lethbridge 
We study the distribution of primes for which the index and
order of \(a\) modulo \(p\) have a fixed common divisor. We will also
motivate this problem through previously known results related to
Artin's conjecture for primitive roots.


Oct 6

Nathan Ng

Inclusive Prime Number Races

at noon in UHall B660 
University of Lethbridge 
Let \(\pi(x;q,a)\) denote the number of primes up to \(x\) that are congruent to \(a \pmod{q}\).
A "prime number race", for fixed modulus \(q\) and residue classes \(a_1,\ldots,a_r\), investigates the system of inequalities
$$\pi(x;q,a_1)>\pi(x;q,a_2)> \cdots >\pi(x;q,a_r). $$
We expect that this system should have arbitrarily large solutions \(x\), and moreover we expect the same to be true no matter how we permute the residue classes \(a_j\); if this is the case, the prime number race is called "inclusive". Rubinstein and Sarnak proved conditionally that every prime number race is inclusive; they assumed not only the generalized Riemann hypothesis but also a strong statement about the linear independence of the zeros of Dirichlet Lfunctions. We show that the same conclusion can be reached with a substantially weaker linear independence hypothesis. This is joint work with Greg Martin.


Oct 20

Sean Fitzpatrick

Characters of induced representations

at noon in UHall B660 
University of Lethbridge 
Let \(G\) be a compact semisimple Lie group, and let \(H\) be a closed subgroup of \(G\). Given a linear representation \(\tau:H\to\mathrm{End}(V)\) of \(H\), one can form an associated vector bundle \(\mathcal{V}_\tau \to G/H\) over the homogeneous space \(G/H\), and define an induced representation of \(G\) on the space of \(L^2\) sections of \(\mathcal{V}_\tau\), after the method of Frobenius. Despite the resulting representation of \(G\) being infinitedimensional, Berline and Vergne showed that it is possible to give a formula for its character.
If we assume that \(H\) is a maximal torus in \(G\), then \(G/H\) is a complex manifold, and the vector bundle \(\mathcal{V}_\tau\) can be equipped with a holomorphic structure. In this case one can define the holomorphic induced representation of \(G\) by restricting to the space of holomorphic sections of \(\mathcal{V}_\tau\), which is a finitedimensional vector space. We'll show that both extremes can be viewed as special cases of a family of induced representations, whose characters can be computed as the index of a transversally elliptic operator on the homogeneous space \(G/H\).


Oct 27

Kevin Henriot

Linear equations in dense subsets of the squares

at noon in UHall B660

UBC 
We discuss the solvability of certain linear equations in sparse subsets of the squares.
Specifically, we investigate equations of the form
$$\lambda_1 n_1^2 + \dotsb + \lambda_s n_s^2 = 0,$$
where \(s \geq 7\) and the coefficients \(\lambda_i\) sum to zero
and satisfy certain sign conditions.
We show that such equations admit nontrivial solutions
in any subset of \([N]\) of density \((\log N)^{c_s}\),
improving upon the previous best of \((\log\log N)^{c}\).


Nov 3

Amir Akbary

Title TBA

at noon in UHall B660 
University of Lethbridge 
Abstract TBA


Nov 10

James Parks

Title TBA

at noon in UHall B660 
University of Lethbridge 
Abstract TBA


Nov 17

Manoj Kumar

Title TBA

at noon in UHall B660 
University of Lethbridge 
Abstract TBA


Nov 24

Soroosh Yazdani

Title TBA

at noon in UHall B660

Google (Waterloo, ON) 
Abstract TBA


Dec 1

Speaker TBA

Title TBA

at noon in UHall B660 
University of Lethbridge 
Abstract TBA
