Colloquia: Difference between revisions

From UW-Math Wiki
Jump to navigation Jump to search
No edit summary
 
(154 intermediate revisions by 22 users not shown)
Line 1: Line 1:
__NOTOC__
__NOTOC__


In 2022-2023, our colloquia will be in-person talks in B239 unless otherwise stated.


==September 9 , 2022, Friday at 4pm  [https://math.ou.edu/~jing/ Jing Tao] (University of Oklahoma)==
<b>UW Madison mathematics Colloquium is on Fridays at 4:00 pm in Van Vleck B239 unless otherwise noted.</b>
(host: Dymarz, Uyanik, WIMAW)


'''On surface homeomorphisms'''
Contacts for the colloquium are Simon Marshall and Dallas Albritton.


In the 1970s, Thurston generalized the classification of self-maps of the torus to surfaces of higher genus, thus completing the work initiated by Nielsen. This is known as the Nielsen-Thurston Classification Theorem. Over the years, many alternative proofs have been obtained, using different aspects of surface theory. In this talk, I will overview the classical theory and sketch the ideas of a new proof, one that offers new insights into the hyperbolic geometry of surfaces. This is joint work with Camille Horbez.
           
==September 23, 2022, Friday at 4pm  [https://www.pabloshmerkin.org/ Pablo Shmerkin] (University of British Columbia) ==
(host: Guo, Seeger)


'''Incidences and line counting: from the discrete to the fractal setting'''
==Spring 2024==
{| cellpadding="8"
! align="left" |date
! align="left" |speaker
! align="left" |title
! align="left" | host(s)
|-
|<b>Monday Jan 22 at 4pm in B239</b>
|[https://www.mathematik.tu-darmstadt.de/fb/personal/details/yingkun_li.en.jsp Yingkun Li] (Darmstadt Tech U, Germany)
|[[#Li|Arithmetic of real-analytic modular forms]]
|Yang
|-
|'''Thursday Jan 25 at 4pm in VV911'''
|[https://chimeraki.weebly.com/scientificresearch.html Sanjukta Krishnagopal] (UCLA/UC Berkeley)
|Theoretical methods for data-driven complex systems: from mathematical machine learning to simplicial complexes
|Smith
|-
|Jan 26
|[https://www.math.ucla.edu/~jacob/ Jacob Bedrossian] (UCLA)
|Lyapunov exponents in stochastic systems
|Tran
|-
|Feb 2
|[https://www.williamyunchen.com/ William Chen]
|[[#Chen|Orbit problems and the mod p properties of Markoff numbers]]
|Arinkin
|-
|Feb 9
|No colloquium
|
|
|-
|Feb 16
|[https://jacklutz.com/ Jack Lutz] (Iowa State)
|Algorithmic Fractal Dimensions
|Guo
|-
|Feb 23
|No colloquium
|
|
|-
|Mar 1
|[https://users.oden.utexas.edu/~pgm/ Per-Gunnar Martinsson] (UT-Austin)
|Randomized algorithms for linear algebraic computations
|Li
|-
|Mar 8
|[https://www.math.arizona.edu/~izosimov/ Anton Izosimov] (U of Arizona)
|Incidences and dimers
|Gloria Mari-Beffa
|-
|Mar 15
|[https://sites.google.com/view/peterhumphries/ Peter Humphries] (Virginia)
|[[#Humphries|Equidistribution, Period Integrals of Automorphic Forms, and Subconvexity]]
|Marshall
|-
|'''Monday Mar 18 at 4pm in B239'''
|[https://colegraham.net/ Cole Graham] (Brown)
|Invasion in general domains
|Albritton, Smith, Tran
|-
|'''Wednesday Mar 20 at 4 pm in B239'''
|[https://www.math.wustl.edu/~wanlin/index.html Wanlin Li] (Washington U St Louis)
|Diophantine problem and rational points on curves
|Dymarz, GmMaW
|-
|Mar 29
|Spring break
|
|
|-
|Apr 5
|[https://www.math.columbia.edu/~savin/ Ovidiu Savin] (Columbia)
|
|Tran
|-
|Apr 12
|[https://www.mikaylakelley.com/about Mikayla Kelley] (U Chicago Philosophy)
|[[#Kelley|Math And... seminar: Accuracy and the Patterns of Rational Credence]]
|Ellenberg, Marshall
|-
|Apr 19
|[https://sites.math.rutgers.edu/~yyli/ Yanyan Li] (Rutgers)
|
|Tran
|-
|Apr 26
|[https://sites.google.com/view/chris-leiningers-webpage/home Chris Leininger] (Rice)
|TBA
|Uyanik
|-
|May 3
|[https://pages.cs.wisc.edu/~jyc/ Jin-Yi Cai] (UW-Madison)
|Shor's Quantum Algorithm Does Not Factor Large Integers in the Presence of Noise
|Yang
|}


How many lines are spanned by a set of planar points?. If the points are collinear, then the answer is clearly "one". If they are not collinear, however, several different answers exist when sets are finite and "how many" is measured by cardinality. I will discuss a bit of the history of this problem and present a recent extension to the continuum setting, obtained in collaboration with T. Orponen and H. Wang. No specialized background will be assumed.
== Abstracts ==


==September 30, 2022, Friday at 4pm [https://alejandraquintos.com/ Alejandra Quintos] (University of Wisconsin-Madison, Statistics) ==
<div id="Li">'''Monday, January 22. Yingkun Li'''
(host: Stovall)


'''Dependent Stopping Times and an Application to Credit Risk Theory'''
'''Arithmetic of real-analytic modular forms'''


Stopping times are used in applications to model random arrivals. A standard assumption in many models is that the stopping times are conditionally independent, given an underlying filtration. This is a widely useful assumption, but there are circumstances where it seems to be unnecessarily strong. In the first part of the talk, we use a modified Cox construction, along with the bivariate exponential introduced by Marshall & Olkin (1967), to create a family of stopping times, which are not necessarily conditionally independent, allowing for a positive probability for them to be equal. We also present a series of results exploring the special properties of this construction.
Modular form is a classical mathematical object dating back to the 19th century. Because of its connections to and appearances in many different areas of math and physics, it remains a popular subject today. Since the work of Hans Maass in 1949, real-analytic modular form has found important applications in arithmetic geometry and number theory. In this talk, I will discuss the amazing works in this area over the past 20 years, and give a glimpse of its fascinating future directions.      


In the second part of the talk, we present an application of our model to Credit Risk. We characterize the probability of a market failure which is defined as the default of two or more globally systemically important banks (G-SIBs) in a small interval of time. The default probabilities of the G-SIBs are correlated through the possible existence of a market-wide stress event. We derive various theorems related to market failure probabilities, such as the probability of a catastrophic market failure, the impact of increasing the number of G-SIBs in an economy, and the impact of changing the initial conditions of the economy's state variables. We also show that if there are too many G-SIBs, a market failure is inevitable, i.e., the probability of a market failure tends to one as the number of G-SIBs tends to infinity.
'''Thursday, January 25. Sanjukta Krishnagopal'''  
==October 7, 2022, Friday at 4pm  [https://www.daniellitt.com/ Daniel Litt] (University of Toronto)==
(host: Ananth Shankar)


'''The search for special symmetries'''
'''Theoretical methods for data-driven complex systems: from mathematical machine learning to simplicial complexes'''


What are the canonical sets of symmetries of n-dimensional space? I'll describe the history of this question, going back to Schwarz, Fuchs, Painlevé, and others, and some new answers to it, obtained jointly with Aaron Landesman. While our results rely on low-dimensional topology, Hodge theory, and the Langlands program, and we'll get a peek into how these areas come into play, no knowledge of them will be assumed.
In this talk I will discuss some aspects at the intersection of mathematics, machine learning, and networks to introduce interdisciplinary methods with wide application.  


==October 14, 2022, Friday at 4pm  [https://math.sciences.ncsu.edu/people/asagema/ Andrew Sageman-Furnas] (North Carolina State)==
First, I will discuss some recent advances in mathematical machine learning for prediction on graphs. Machine learning is often a black box. Here I will present some exact theoretical results on the dynamics of weights while training graph neural networks using graphons - a graph limit or a graph with infinitely many nodes. I will use these ideas to present a new method for predictive and personalized medicine applications with remarkable success in prediction of Parkinson's subtype five years in advance.
(host: Mari-Beffa)


'''Constructing isometric tori with the same curvatures'''
Then, I will discuss some work on higher-order models of graphs: simplicial complexes - that can capture simultaneous many-body interactions. I will present some recent results on spectral theory of simplicial complexes, as well as introduce a mathematical framework for studying the topology and dynamics of ''multilayer'' simplicial complexes using Hodge theory, and discuss applications of such interdisciplinary methods to studying bias in society, opinion dynamics, and hate speech in social media.


Which data determine an immersed surface in Euclidean three-space up to rigid motion? A generic surface is locally determined by only an intrinsic metric and extrinsic mean curvature function. However, there are exceptions. These may arise in a family like the isometric family of vanishing mean curvature surfaces transforming a catenoid into a helicoid.


For compact surfaces, Lawson and Tribuzy proved in 1981 that a metric and non-constant mean curvature function determine at most one immersion with genus zero, but at most two compact immersions (compact Bonnet pairs) for higher genus. In this talk, we discuss our recent construction of the first examples of compact Bonnet pairs. It uses a local classification by Kamberov, Pedit, and Pinkall in terms of isothermic surfaces. Moreover, we describe how a structure-preserving discrete theory for isothermic surfaces and Bonnet pairs led to this discovery.


The smooth theory is joint work with Alexander Bobenko and Tim Hoffmann and the discrete theory is joint work with Tim Hoffmann and Max Wardetzky.
'''Friday, January 26. Jacob Bedrossian'''


== October 20, 2022, Thursday at 4pm, VV911  [https://tavarelab.cancerdynamics.columbia.edu/ Simon Tavaré] (Columbia University) ==
'''Lyapunov exponents in stochastic systems'''
(host: Kurtz, Roch)


''Note the unusual time and room!''
In this overview talk we discuss several results regarding positive Lyapunov exponents in stochastic systems. First we discuss proving "Lagrangian chaos" in stochastic fluid mechanics, that is, demonstrating a positive Lyapunov exponent for the motion of a particle in the velocity field arising from the stochastic Navier-Stokes equations. We describe how this chaos can be used to deduce qualitatively optimal almost-sure exponential mixing of passive scalars. Next we describe more recently developed methods for obtaining strictly positive lower bounds and some quantitative estimates on the top Lyapunov exponent of weakly-damped stochastic differential equations, such as Lorenz-96 model or Galerkin truncations of the 2d Navier-Stokes equations (called "Eulerian chaos" in fluid mechanics). Further applications of the ideas to the chaotic motion of charged particles in fluctuating magnetic fields and the non-uniqueness of stationary measures for Lorenz 96 in degenerate forcing situations will be discussed if time permits. All of the work except for the charged particles (joint with Chi-Hao Wu) is joint with Alex Blumenthal and Sam Punshon-Smith.


'''An introduction to counts-of-counts data'''
<div id="Chen">'''Friday, February 2. William Chen'''


Counts-of-counts data arise in many areas of biology and medicine, and have been studied by statisticians since the 1940s. One of the first examples, discussed by R. A. Fisher and collaborators in 1943 [1], concerns estimation of the number of unobserved species based on summary counts of the number of species observed once, twice, … in a sample of specimens. The data are summarized by the numbers ''C<sub>1</sub>, C<sub>2</sub>, …'' of species represented once, twice, … in a sample of size
'''Orbit problems and the mod p properties of Markoff numbers'''


''N = C<sub>1</sub> + 2 C<sub>2</sub> + 3 C<sub>3</sub> + <sup>….</sup>''  containing ''S = C<sub>1</sub> + C<sub>2</sub> + <sup>…</sup>'' species; the vector ''C ='' ''(C<sub>1</sub>, C<sub>2</sub>, …)'' gives the counts-of-counts. Other examples include the frequencies of the distinct alleles in a human genetics sample, the counts of distinct variants of the SARS-CoV-2 S protein obtained from consensus sequencing experiments, counts of sizes of components in certain combinatorial structures [2], and counts of the numbers of SNVs arising in one cell, two cells, … in a cancer sequencing experiment.
Markoff numbers are positive integers which encode how resistant certain irrational numbers are to being approximated by rationals. In 1913, Frobenius asked for a description of all congruence conditions satisfied by Markoff numbers modulo primes p. In 1991 and 2016, Baragar, Bourgain, Gamburd, and Sarnak conjectured a refinement of Frobenius’s question, which amounts to showing that the Markoff equation x^2 + y^2 + z^2 - xyz = 0 satisfies “strong approximation”; that is to say: they conjecture that its integral points surject onto its mod p points for every prime p. In this talk we will show how to prove this conjecture for all but finitely many primes p, thus reducing the conjecture to a finite computation. A key step is to understand this problem in the context of describing the orbits of certain group actions. Primarily, we will consider the action of the mapping class group of a topological surface S on (a) the set of G-covers of S, where G is a finite group, and (b) on the character variety of local systems on S. Questions of this type have been related to many classical problems, from proving that the moduli space of curves of a given genus is connected, to Grothendieck’s ambitious plan to understand the structure of the absolute Galois group of the rationals by studying its action on “dessins d’enfant”. We will explain some of this history and why such problems can be surprisingly difficult.


In this talk I will outline some of the stochastic models used to model the distribution of ''C,'' and some of the inferential issues that come from estimating the parameters of these models. I will touch on the celebrated Ewens Sampling Formula [3] and Fisher’s multiple sampling problem concerning the variance expected between values of ''S'' in samples taken from the same population [3]. Variants of birth-death-immigration processes can be used, for example when different variants grow at different rates. Some of these models are mechanistic in spirit, others more statistical. For example, a non-mechanistic model is useful for describing the arrival of covid sequences at a database. Sequences arrive one at a time, and are either a new variant, or a copy of a variant that has appeared before. The classical Yule process with immigration provides a starting point to model this process, as I will illustrate.


''References''
<div id="Lutz">'''Friday, February 16. Jack Lutz'''


[1] Fisher RA, Corbet AS & Williams CB. J Animal Ecology, 12, 1943
'''Algorithmic Fractal Dimensions '''


[2] Arratia R, Barbour AD & Tavaré S. ''Logarithmic Combinatorial Structures,'' EMS, 2002
Algorithmic fractal dimensions are computability theoretic versions of Hausdorff dimension and other fractal dimensions. This talk will introduce algorithmic fractal dimensions with particular focus on the Point-to-Set Principle. This principle has enabled several recent proofs of new theorems in geometric measure theory. These theorems, some solving long-standing open problems, are classical (meaning that their statements do not involve computability or logic), even though computability has played a central in their proofs.


[3] Ewens WJ. Theoret Popul Biol, 3, 1972


[4] Da Silva P, Jamshidpey A, McCullagh P & Tavaré S. Bernoulli Journal, in press, 2022 (online)
<div id="Martinsson">'''Friday, March 1. Per-Gunnar Martinsson'''


==October 21, 2022, Friday at 4pm  [https://web.ma.utexas.edu/users/ntran/ Ngoc Mai Tran] (Texas)==
'''Randomized algorithms for linear algebraic computations '''
(host: Rodriguez)


'''Forecast science, learn hidden networks and settle economics conjectures with combinatorics, geometry and probability.'''
The talk will describe how randomized algorithms can effectively, accurately, and reliably solve linear algebraic problems that are omnipresent in scientific computing and in data analysis. We will focus on techniques for low rank approximation, since these methods are particularly simple and powerful, and are well understood mathematically. The talk will also briefly survey a number of other randomized algorithms for tasks such as solving linear systems, estimating matrix norms, and computing full matrix factorizations.


In many problems, one observes noisy data coming from a hidden or complex combinatorial structure. My research aims to understand and exploit such structures to arrive at an efficient and optimal solution. I will showcase a few successes, achieved with different tools, from different different fields: networks forecasting, hydrology, and auction theory. Then I will outline some open questions in each field.


==October 28, 2022, Friday at 4pm  [https://people.math.wisc.edu/~qinli/ Qin Li] (UW)==
<div id="Izosimov">'''Friday, March 8. Anton Izosimov'''
'''Multiscale inverse problem, from Schroedinger to Newton to Boltzmann'''


Inverse problems are ubiquitous. We probe the media with sources and measure the outputs, to infer the media information. At the scale of quantum, classical, statistical and fluid, we face inverse Schroedinger, inverse Newton’s second law, inverse Boltzmann problem, and inverse diffusion respectively. The universe, however, expects a universal mathematical description, as Hilbert proposed in 1900. In this talk, we discuss the connection between these problems. We will give arguments for justifying that these are the same problem merely represented at different scales. It is a light-hearted talk, and I will mostly focus on the story instead of the derivation. PDE background is appreciated but not necessary.
'''Incidences and dimers '''


== November 7, 2022, Monday at 4pm [https://ai.facebook.com/people/kristin-lauter/ Kristen Lauter] (Facebook) ==
Incidence theorems are statements about points, lines, and possibly higher-dimensional subspaces and their incidences. Examples include classical theorems of Desargues and Pappus. In this talk, we'll discuss a connection between incidence geometry and an archetypal model of statistical physics - the dimer model. The talk will be based on the work of many people, including my ongoing work with Pavlo Pylyavskyy (Minnesota).
Distinguished lectures


(host: Yang).


'''Private AI: Machine Learning on Encrypted Data'''
<div id="Humphries">'''Friday, March 15. Peter Humphries'''


As the world adopts Artificial Intelligence, the privacy risks are many. AI can improve our lives, but may leak our private data. Private AI is based on Homomorphic Encryption (HE), a new encryption paradigm which allows the cloud to operate on private data in encrypted form, without ever decrypting it, enabling private training and private prediction. Our 2016 ICML CryptoNets paper showed for the first time that it was possible to evaluate neural nets on homomorphically encrypted data, and opened new research directions combining machine learning and cryptography. The security of Homomorphic Encryption is based on hard problems in mathematics involving lattices, recently standardized by NIST for post-quantum cryptography. This talk will explain Homomorphic Encryption, Private AI, and explain HE in action.
'''Equidistribution, Period Integrals of Automorphic Forms, and Subconvexity'''


== November 8, 2022, Tuesday at 4pm [https://ai.facebook.com/people/kristin-lauter/ Kristen Lauter] (Facebook) ==
A fundamental conjecture in number theory is the Riemann hypothesis, which implies the prime number theorem with an optimally strong error term. While a proof remains elusive, many results in number theory can nonetheless be proved using weaker inputs. I will discuss how one such weaker input, subconvexity, can be used to prove strong results on the equidistribution of geometric objects such as lattice points on the sphere. I will also discuss how various proofs of subconvexity reduce to understanding period integrals of automorphic forms.
Distinguished lectures in VV911. ''Note: unusual room.''


(host: Yang).


'''Artificial Intelligence & Cryptography: Privacy and Security in the AI era'''
'''Monday, March 18. Cole Graham'''


How is Artificial Intelligence changing your life and the world?  How do you expect your data to be kept secure and private in the future?  Artificial intelligence (AI) refers to the science of utilizing data to formulate mathematical models that predict outcomes with high assurance. Such predictions can be used to make decisions automatically or give recommendations with high confidence. Cryptography is the science of protecting the privacy and security of data.  This talk will explain the dynamic relationship between cryptography and AI and how AI can be used to attack post-quantum cryptosystems.
'''Invasion in general domains'''


The first talk is based on my 2019 ICIAM Plenary Lecture and the second one is based on my 2022 SIAM Block Prize Lecture.
The sciences teem with examples of invasion, in which one steady state spatially invades another. Mathematically, we can express this phenomenon through reaction-diffusion equations. These are well understood in the free space, but applications call for more complex geometries. In this talk, I will discuss reaction-diffusion invasion in multiple dimensions and general domains.


== November 11, 2022, Friday at 4pm [http://users.cms.caltech.edu/~jtropp/ Joel Tropp] (Caltech)==
'''Wednesday, March 20. Wanlin Li'''
This is the Annual LAA lecture. See [https://math.wisc.edu/laa-lecture/ this] for its history.


(host: Qin, Jordan)
'''Diophantine problem and rational points on curves'''


'''Rocket-propelled Cholesky: Addressing the challenges of large-scale kernel computations'''
Diophantine problem asks for integral/rational solutions to polynomial equations. These solutions correspond to rational points on algebraic varieties. The study of Diophantine problems led to many essential developments of modern number theory and arithmetic geometry. Today I will briefly discuss the history of Diophantine problems and introduce various tools developed to study these problems. I will also introduce my joint work with Litt, Salter and Srinivasan on constructing cohomology classes which provide obstruction to the existence of rational points on curves.


Kernel methods are used for prediction and clustering in many data science and scientific computing applications, but applying kernel methods to a large number of data points N is expensive due to the high cost of manipulating the N x N kernel matrix. A basic approach for speeding up kernel computations is low-rank approximation, in which we replace the kernel matrix A with a factorized approximation that can be stored and manipulated more cheaply. When the kernel matrix A has rapidly decaying eigenvalues, mathematical existence proofs guarantee that A can be accurately approximated using a constant number of columns (without ever looking at the full matrix). Nevertheless, for a long time designing a practical and provably justified algorithm to select the appropriate columns proved challenging.


Recently, we introduced RPCholesky ("randomly pivoted" or "rocket-propelled" Cholesky), a natural algorithm for approximating an N x N positive semidefinite matrix using k adaptively sampled columns. RPCholesky can be implemented with just a few lines of code; it requires only (k+1)N entry evaluations and O(k^2 N) additional arithmetic operations. In experiments, RPCholesky matches or improves on the performance of alternative algorithms for low-rank psd approximation. Moreover, RPCholesky provably achieves near-optimal approximation guarantees. The simplicity, effectiveness, and robustness of this algorithm strongly support its use for large-scale kernel computations.
<div id="Kelley">'''Friday, April 12. Mikayla Kelley'''


Joint work with Yifan Chen, Ethan Epperly, and Rob Webber. Available at arXiv:2207.06503.
'''Accuracy and the Patterns of Rational Credence'''


==November 18, 2022, Friday at 4pm [http://homepages.math.uic.edu/~freitag/index.html Jim Freitag] (U of Illinois-Chicago) Zoom link: https://go.wisc.edu/jimfreitag<nowiki/>==
A credence is a belief-like attitude that encodes one's degree of confidence in some way the world could be. For example, you might be 60% confident that the Democrats will win the presidential election. Some patterns of credence are irrational. Being 90% confident that Goldbach's conjecture is true and 90% confident that Goldbach's conjecture is false seems irrational. This is because it violates the following plausible pattern of rational credence: your credences in p and not p sum to 100%. How do we identify the patterns of rational credence? According to accuracy-first epistemology, we do so by identifying which patterns promote accuracy, where accuracy is represented formally as a real-valued function. In this talk, I will introduce the basics of accuracy-first epistemology and discuss my own work on using accuracy to study the patterns of rational credence when one has infinitely many credences.
Hiring talk.


(hosts: Lempp, Andrews)


'''When any three solutions are independent'''
'''Friday, May 3. Jin-Yi Cai'''


In this talk, we'll talk about a surprising recent result about the algebraic relations between solutions of a differential equation. The result has applications to functional transcendence, diophantine geometry, and compact complex manifolds.
'''Shor's Quantum Algorithm Does Not Factor Large Integers in the Presence of Noise'''


==November 21, 2022, <span style="color: red;">Monday</span> at 4pm [https://math.mit.edu/directory/profile.html?pid=1698 Andrei Negut] (MIT) Zoom link: [https://go.wisc.edu/andreinegut https://go.wisc.edu/andreinegut]==
Shor's quantum factoring algorithm is the raison d'être for the field of quantum computing. The security of encryption systems such as RSA depends on the (conjectured) infeasibility of factoring in (classical) polynomial time, but Shor's algorithm can do so in Bounded-error Quantum Polynomial time (BQP). The key ingredient of this algorithm is the so-called Quantum Fourier Transform (QFT). BQP (in particular QFT) assumes infinite precision quantum rotation gates are available. This talk presents the [https://arxiv.org/abs/2306.10072 first proof] that, if the rotation gates have a vanishingly small level of noise, Shor's algorithm does not factor integers of the form n = pq for a positive density of primes p and q. It also fails with probability 1 - o(1) for random primes p and q. This proof applies to any algorithm that uses QFT. If time permits, I will also discuss my (speculative) view on the suitability of BQP replacing P or BPP in the strong Church-Turing thesis.
Hiring talk.
== Future Colloquia ==
[[Colloquia/Spring 2025|Spring 2025]]


(hosts: Arinkin, Caldararu)
[[Colloquia/Fall 2024|Fall 2024]]


'''From gauge theory to geometric representation theory and back'''
== Past Colloquia ==


We start from the celebrated construction (due to Grojnowski and Nakajima) of a Heisenberg algebra action on the cohomology groups of Hilbert schemes of points on surfaces
[[Colloquia/Spring2024|Spring 2024]]


# replacing Hilbert schemes with moduli spaces of higher rank sheaves yields a computation of Nekrasov partition functions in 5d supersymmetric gauge theory, and a proof of the deformed Alday-Gaiotto-Tachikawa conjecture.
[[Colloquia/Fall 2023|Fall 2023]]
# replacing cohomology by Chow groups gives a proof of the Beauville conjecture in the hyperkahler geometry of Hilbert schemes of points on K3 surfaces (with Maulik)
# working with derived categories allows us to construct a detailed framework realizing categorical knot invariants in terms of the geometry of Hilbert schemes of points on the affine plane (with Gorsky and Rasmussen)


==December 2, 2022, Friday at 4pm  [TBD]==
[[Colloquia/Spring2023|Spring 2023]]
(reserved by HC. contact: Stechmann)
==December 9, 2022, Friday at 4pm  [TBD]==
(reserved by HC. contact: Stechmann)
== Future Colloquia ==


[[Colloquia/Fall2022|Fall 2022]]
[[Colloquia/Fall2022|Fall 2022]]


[[Colloquia/Spring2023|Spring 2023]]
== Past Colloquia ==
[[Spring 2022 Colloquiums|Spring 2022]]
[[Spring 2022 Colloquiums|Spring 2022]]



Latest revision as of 00:37, 19 March 2024


UW Madison mathematics Colloquium is on Fridays at 4:00 pm in Van Vleck B239 unless otherwise noted.

Contacts for the colloquium are Simon Marshall and Dallas Albritton.


Spring 2024

date speaker title host(s)
Monday Jan 22 at 4pm in B239 Yingkun Li (Darmstadt Tech U, Germany) Arithmetic of real-analytic modular forms Yang
Thursday Jan 25 at 4pm in VV911 Sanjukta Krishnagopal (UCLA/UC Berkeley) Theoretical methods for data-driven complex systems: from mathematical machine learning to simplicial complexes Smith
Jan 26 Jacob Bedrossian (UCLA) Lyapunov exponents in stochastic systems Tran
Feb 2 William Chen Orbit problems and the mod p properties of Markoff numbers Arinkin
Feb 9 No colloquium
Feb 16 Jack Lutz (Iowa State) Algorithmic Fractal Dimensions Guo
Feb 23 No colloquium
Mar 1 Per-Gunnar Martinsson (UT-Austin) Randomized algorithms for linear algebraic computations Li
Mar 8 Anton Izosimov (U of Arizona) Incidences and dimers Gloria Mari-Beffa
Mar 15 Peter Humphries (Virginia) Equidistribution, Period Integrals of Automorphic Forms, and Subconvexity Marshall
Monday Mar 18 at 4pm in B239 Cole Graham (Brown) Invasion in general domains Albritton, Smith, Tran
Wednesday Mar 20 at 4 pm in B239 Wanlin Li (Washington U St Louis) Diophantine problem and rational points on curves Dymarz, GmMaW
Mar 29 Spring break
Apr 5 Ovidiu Savin (Columbia) Tran
Apr 12 Mikayla Kelley (U Chicago Philosophy) Math And... seminar: Accuracy and the Patterns of Rational Credence Ellenberg, Marshall
Apr 19 Yanyan Li (Rutgers) Tran
Apr 26 Chris Leininger (Rice) TBA Uyanik
May 3 Jin-Yi Cai (UW-Madison) Shor's Quantum Algorithm Does Not Factor Large Integers in the Presence of Noise Yang

Abstracts

Monday, January 22. Yingkun Li

Arithmetic of real-analytic modular forms

Modular form is a classical mathematical object dating back to the 19th century. Because of its connections to and appearances in many different areas of math and physics, it remains a popular subject today. Since the work of Hans Maass in 1949, real-analytic modular form has found important applications in arithmetic geometry and number theory. In this talk, I will discuss the amazing works in this area over the past 20 years, and give a glimpse of its fascinating future directions.

Thursday, January 25. Sanjukta Krishnagopal

Theoretical methods for data-driven complex systems: from mathematical machine learning to simplicial complexes

In this talk I will discuss some aspects at the intersection of mathematics, machine learning, and networks to introduce interdisciplinary methods with wide application.

First, I will discuss some recent advances in mathematical machine learning for prediction on graphs. Machine learning is often a black box. Here I will present some exact theoretical results on the dynamics of weights while training graph neural networks using graphons - a graph limit or a graph with infinitely many nodes. I will use these ideas to present a new method for predictive and personalized medicine applications with remarkable success in prediction of Parkinson's subtype five years in advance.

Then, I will discuss some work on higher-order models of graphs: simplicial complexes - that can capture simultaneous many-body interactions. I will present some recent results on spectral theory of simplicial complexes, as well as introduce a mathematical framework for studying the topology and dynamics of multilayer simplicial complexes using Hodge theory, and discuss applications of such interdisciplinary methods to studying bias in society, opinion dynamics, and hate speech in social media.


Friday, January 26. Jacob Bedrossian

Lyapunov exponents in stochastic systems

In this overview talk we discuss several results regarding positive Lyapunov exponents in stochastic systems. First we discuss proving "Lagrangian chaos" in stochastic fluid mechanics, that is, demonstrating a positive Lyapunov exponent for the motion of a particle in the velocity field arising from the stochastic Navier-Stokes equations. We describe how this chaos can be used to deduce qualitatively optimal almost-sure exponential mixing of passive scalars. Next we describe more recently developed methods for obtaining strictly positive lower bounds and some quantitative estimates on the top Lyapunov exponent of weakly-damped stochastic differential equations, such as Lorenz-96 model or Galerkin truncations of the 2d Navier-Stokes equations (called "Eulerian chaos" in fluid mechanics). Further applications of the ideas to the chaotic motion of charged particles in fluctuating magnetic fields and the non-uniqueness of stationary measures for Lorenz 96 in degenerate forcing situations will be discussed if time permits. All of the work except for the charged particles (joint with Chi-Hao Wu) is joint with Alex Blumenthal and Sam Punshon-Smith.

Friday, February 2. William Chen

Orbit problems and the mod p properties of Markoff numbers

Markoff numbers are positive integers which encode how resistant certain irrational numbers are to being approximated by rationals. In 1913, Frobenius asked for a description of all congruence conditions satisfied by Markoff numbers modulo primes p. In 1991 and 2016, Baragar, Bourgain, Gamburd, and Sarnak conjectured a refinement of Frobenius’s question, which amounts to showing that the Markoff equation x^2 + y^2 + z^2 - xyz = 0 satisfies “strong approximation”; that is to say: they conjecture that its integral points surject onto its mod p points for every prime p. In this talk we will show how to prove this conjecture for all but finitely many primes p, thus reducing the conjecture to a finite computation. A key step is to understand this problem in the context of describing the orbits of certain group actions. Primarily, we will consider the action of the mapping class group of a topological surface S on (a) the set of G-covers of S, where G is a finite group, and (b) on the character variety of local systems on S. Questions of this type have been related to many classical problems, from proving that the moduli space of curves of a given genus is connected, to Grothendieck’s ambitious plan to understand the structure of the absolute Galois group of the rationals by studying its action on “dessins d’enfant”. We will explain some of this history and why such problems can be surprisingly difficult.


Friday, February 16. Jack Lutz

Algorithmic Fractal Dimensions

Algorithmic fractal dimensions are computability theoretic versions of Hausdorff dimension and other fractal dimensions. This talk will introduce algorithmic fractal dimensions with particular focus on the Point-to-Set Principle. This principle has enabled several recent proofs of new theorems in geometric measure theory. These theorems, some solving long-standing open problems, are classical (meaning that their statements do not involve computability or logic), even though computability has played a central in their proofs.


Friday, March 1. Per-Gunnar Martinsson

Randomized algorithms for linear algebraic computations

The talk will describe how randomized algorithms can effectively, accurately, and reliably solve linear algebraic problems that are omnipresent in scientific computing and in data analysis. We will focus on techniques for low rank approximation, since these methods are particularly simple and powerful, and are well understood mathematically. The talk will also briefly survey a number of other randomized algorithms for tasks such as solving linear systems, estimating matrix norms, and computing full matrix factorizations.


Friday, March 8. Anton Izosimov

Incidences and dimers

Incidence theorems are statements about points, lines, and possibly higher-dimensional subspaces and their incidences. Examples include classical theorems of Desargues and Pappus. In this talk, we'll discuss a connection between incidence geometry and an archetypal model of statistical physics - the dimer model. The talk will be based on the work of many people, including my ongoing work with Pavlo Pylyavskyy (Minnesota).


Friday, March 15. Peter Humphries

Equidistribution, Period Integrals of Automorphic Forms, and Subconvexity

A fundamental conjecture in number theory is the Riemann hypothesis, which implies the prime number theorem with an optimally strong error term. While a proof remains elusive, many results in number theory can nonetheless be proved using weaker inputs. I will discuss how one such weaker input, subconvexity, can be used to prove strong results on the equidistribution of geometric objects such as lattice points on the sphere. I will also discuss how various proofs of subconvexity reduce to understanding period integrals of automorphic forms.


Monday, March 18. Cole Graham

Invasion in general domains

The sciences teem with examples of invasion, in which one steady state spatially invades another. Mathematically, we can express this phenomenon through reaction-diffusion equations. These are well understood in the free space, but applications call for more complex geometries. In this talk, I will discuss reaction-diffusion invasion in multiple dimensions and general domains.

Wednesday, March 20. Wanlin Li

Diophantine problem and rational points on curves

Diophantine problem asks for integral/rational solutions to polynomial equations. These solutions correspond to rational points on algebraic varieties. The study of Diophantine problems led to many essential developments of modern number theory and arithmetic geometry. Today I will briefly discuss the history of Diophantine problems and introduce various tools developed to study these problems. I will also introduce my joint work with Litt, Salter and Srinivasan on constructing cohomology classes which provide obstruction to the existence of rational points on curves.


Friday, April 12. Mikayla Kelley

Accuracy and the Patterns of Rational Credence

A credence is a belief-like attitude that encodes one's degree of confidence in some way the world could be. For example, you might be 60% confident that the Democrats will win the presidential election. Some patterns of credence are irrational. Being 90% confident that Goldbach's conjecture is true and 90% confident that Goldbach's conjecture is false seems irrational. This is because it violates the following plausible pattern of rational credence: your credences in p and not p sum to 100%. How do we identify the patterns of rational credence? According to accuracy-first epistemology, we do so by identifying which patterns promote accuracy, where accuracy is represented formally as a real-valued function. In this talk, I will introduce the basics of accuracy-first epistemology and discuss my own work on using accuracy to study the patterns of rational credence when one has infinitely many credences.


Friday, May 3. Jin-Yi Cai

Shor's Quantum Algorithm Does Not Factor Large Integers in the Presence of Noise

Shor's quantum factoring algorithm is the raison d'être for the field of quantum computing. The security of encryption systems such as RSA depends on the (conjectured) infeasibility of factoring in (classical) polynomial time, but Shor's algorithm can do so in Bounded-error Quantum Polynomial time (BQP). The key ingredient of this algorithm is the so-called Quantum Fourier Transform (QFT). BQP (in particular QFT) assumes infinite precision quantum rotation gates are available. This talk presents the first proof that, if the rotation gates have a vanishingly small level of noise, Shor's algorithm does not factor integers of the form n = pq for a positive density of primes p and q. It also fails with probability 1 - o(1) for random primes p and q. This proof applies to any algorithm that uses QFT. If time permits, I will also discuss my (speculative) view on the suitability of BQP replacing P or BPP in the strong Church-Turing thesis.

Future Colloquia

Spring 2025

Fall 2024

Past Colloquia

Spring 2024

Fall 2023

Spring 2023

Fall 2022

Spring 2022

Fall 2021

Spring 2021

Fall 2020

Spring 2020

Fall 2019

Spring 2019

Fall 2018

Spring 2018

Fall 2017

Spring 2017

Fall 2016

Spring 2016

Fall 2015

Spring 2015

Fall 2014

Spring 2014

Fall 2013

Spring 2013

Fall 2012

WIMAW