It is a classical fact that countable groups of homeomorphisms
of the interval and the circle are characterized by purely
algebraic properties, namely linear and circular orderability. It
remains a difficult and deep problem to understand countable...
I will present recent work with Hairer, Rosati and Yi
establishing quantitative lower bounds for the top Lyapunov
exponent of linear PDEs driven by two-dimensional stochastic
Navier-Stokes equations on the torus. For both the
advection-diffusion...
In this talk, we will present a proof of contact big fiber
theorem, based on invariants read off from contact Hamiltonian
Floer homology. The theorem concludes that any contact involutive
map on a Liouville fillable contact manifold admits at least...
A locally testable code (LTC) is an error-correcting code
equipped with a tester T that, given an input string x, queries
only a small number of positions and rejects x with probability
proportional to its distance from the code. Classic examples
of...
Selmer groups are a cohomological tool used to reduce the task
of finding solutions of certain diophantine equations to easier
field and modular arithmetic. I'll explain how this works in down
to earth terms and give some concrete applications...
Private Information Retrieval (PIR) is a method for a user to
interact with t non-colluding servers and read some entry of a
database of size n without revealing to the servers anything about
which entry of the database was read. After a long line...
Quantum condensed matter has traditionally focused on ground
states and equilibrium properties of spatially extended systems,
such as electrons in crystalline materials. However, the advent of
noisy-intermediate-scale-quantum (NISQ) devices has...
The double bubble plumbing, first studied by Smith and Wemyss,
is a Stein neighborhood of two Lagrangian 3-spheres intersecting
cleanly along an unknotted circle in some 6-dimensional symplectic
manifold. Depending on the identification of the...
How many algebraic integers of bounded height have a minimal
polynomial with a given Galois group? One approach to this problem
is via Malle's conjecture. In this talk we will discuss an
alternative approach using a construction with the Galois...
Informally, a quantum cellular automaton (QCA) describes some
discrete-time local dynamics of a quantum system. Formally, a
QCA is a *-automoprhism of the algebra of local operators.
Local quantum circuits provide one example of QCA, but the...