Events

Nathaniel Sagman, University of Toronto

Complex harmonic maps and the Atiyah-Bott-Goldman symplectic form

The field of higher Teichmuller theory has developed alongside the theories of Higgs bundles and harmonic maps to symmetric spaces of non-compact type. In this talk, I aim to give an introduction to harmonic maps and Hitchin components for SL(n,R) (examples of so-called higher Teichmuller spaces), and to present a new development: complex harmonic maps to holomorphic Riemannian symmetric spaces. Along with surveying the basic theory, old and new, I will explain how we used complex harmonic maps to prove that the Atiyah-Bott-Goldman symplectic form determines a pseudo-Kahler structure on the Hitchin component for SL(3,R). This is joint work with Christian El Emam.

MC 5417

Muhammad Afifurrahman, University of New South Wales

Number Theory Seminar:Counting multiplicatively dependent integer vectors on a hyperplane

We give several asymptotic formulae and bounds for the number of multiplicatively dependent integer vectors of bounded height that lies on a hyperplane, extending the work of Pappalardi, Sha, Shparlinski and Stewart. Joint work with Valentio Iverson and Gian Cordana Sanjaya (University of Waterloo). 

Join on Zoom

Elan Roth, University of Waterloo

A Continuation of Random Binary Sequences

We will build on the notions of ML-random and 1-random by defining a third interpretation of unpredictability using martingales. We will then prove the equivalence of these definitions and discuss some of their nice properties. Then, we will see how randomness is spread among the Turing degrees.

MC 5403

Amanda Petcu, University of Waterloo

Stability and Lyapunov Functions

When working with a nonlinear system of differential equations, finding explicit, closed-form solutions can be difficult. A tool in such situations is to determine the stability of the equilibrium points of the system. This analysis allows us to predict the long-term behavior of the system by examining its trajectories and how they behave near an equilibrium point: specifically, do they remain bounded in some compact set, converge to the point, or escape to infinity? In this talk, we will discuss Lyapunov's Direct Method, a technique that allows us to determine the stability of an equilibrium point without explicitly solving the differential equations.

MC 5403

Josse van Dobben de Bruyn, Charles University

Asymmetric graphs with quantum symmetry

Quantum isomorphisms of graphs form a bridge between noncommutative geometry (NCG) and quantum information theory (QIT), as they connect quantum automorphism groups of graphs with nonlocal games. This makes it possible to use techniques from QIT in NCG and vice versa. In this talk, I will present a striking application of this connection, where we use ideas from QIT to prove a surprising result in NCG. Using a construction similar to the Mermin–Peres magic square from QIT, we construct graphs with trivial automorphism group and non-trivial quantum automorphism group, which shows that even graphs with no symmetry at all can have hidden quantum symmetries. These are the first known examples of any kind of commutative spaces in NCG with this property.

This talk is based on joint work with David E. Roberson (Technical University of Denmark) and Simon Schmidt (Ruhr University Bochum).

QNC 1507 or Join on Zoom

Gian Cordana Sanjaya, University of Waterloo

Density of Special Classes of Polynomials with Squarefree Discriminant

In this talk, we compute the density of monic polynomials of fixed degree over Z_p, which has squarefree discriminant, provided some restriction on the coefficients of the polynomial. This is a natural extension to a previous result by Yamamura, who solved the case where the coefficients have no restrictions at all.

MC 5479

Java Villano, University of Toronto

Relativizing computable categoricity

A computable structure A is said to be computably categorical if for all computable copies B of A, there exists a computable isomorphism between A and B. We can relativize this notion to any Turing degree d by asking that for any d-computable copy B of A, there is a d-computable isomorphism between A and B. In this talk, we will discuss results about this relativization. In particular, we will discuss how for directed graphs, categoricity relative to a degree need not be monotonic in the c.e.~ degrees, and how for other structures besides directed graphs, categorical behavior relative to a degree stabilizes on certain Turing cones.

MC 5403

Liam Orovec, University of Waterloo

Greedy and Lazy Parry Numbers

We say a real number \beta is a Parry number provided the greedy \beta-expansion for 1 is eventually periodic or finite. We show conditions for when \beta is a Parry number and provide a family of real numbers which are always Parry numbers, the PV-numbers. The related Salem numbers, constructed from PV-numbers are then considered. We split this into four cases, the first of which was shown by Hare and Tweedle, we give criteria for finding Salem numbers which are Parry numbers. Time permitting we will explore the case where we look at lazy expansions instead of greedy expansions, we call these numbers lazy Parry numbers.

MC 5417

Elan Roth, University of Waterloo

A Continuation of Random Binary Sequences 2.0

Inspired by probability theory, we can define a new notion of randomness using betting strategies. We'll discuss some properties of this notion of randomness and, you guessed it, prove its equivalence to ML-randomness and 1-randomness.

MC 5403

Joel Kamnitzer, McGill University

The top-heavy conjecture and the topology of (real) matroid Schubert varieties

Suppose we are giving a spanning set S in a vector space V and we consider all subspaces of V spanned by subsets of S. The top-heavy conjecture states that the number of dimension k subspaces is less than or equal to the number for codimension k subspaces. This elementary statement was first conjectured by Dowling and Wilson in 1975 and resisted any proof for 40 years. Finally though, it was resolved by Huh and Wang in 2017, and partially led to Huh's 2022 Fields Medal. I will outline the details of the proof, which relies on the study of the topology of a beautiful space called a matroid Schubert variety. Finally, I will discuss our own contribution to this subject, which is the study of the topology of the real locus of this space (which unfortunately does not lead to the proof of any famous conjecture).

MC 5501