Colloquium Ical Atom Mailing List

The Aldous-Lyons conjecture from probability theory states that every (unimodular) infinite graph can be (Benjamini-Schramm) approximated by finite graphs. This conjecture is an analogue of other influential conjectures in mathematics concerning how well certain infinite objects can be approximated by finite ones; examples include Connes’ embedding problem (CEP) in functional analysis and the soficity problem of Gromov-Weiss in group theory. These became major open problems in their respective fields, as many other long standing open problems, that seem unrelated to any approximation property, were shown to be true for the class of finitely-approximated objects. For example, Gottschalk’s conjecture and Kaplansky’s direct finiteness conjecture are known to be true for sofic groups, but are still wide open for general groups.

In 2019, Ji, Natarajan, Vidick, Wright and Yuen resolved CEP in the negative. Quite remarkably, their result is deduced from complexity theory, and specifically from undecidability in certain quantum interactive proof systems. Inspired by their work, we suggest a novel interactive proof system which is related to the Aldous-Lyons conjecture in the following way: If the Aldous-Lyons conjecture was true, then every language in this interactive proof system is decidable. A key concept we introduce for this purpose is that of a Subgroup Test, which is our analogue of a Non-local Game. By providing a reduction from the Halting Problem to this new proof system, we refute the Aldous-Lyons conjecture.

This talk is based on joint work with Lewis Bowen, Alex Lubotzky, and Thomas Vidick.

No special background in probability theory or complexity theory will be assumed.

Manifolds are locally rectifiable (at each point) to R^n or C^n. The local Geometry, Topology, Algebra of singular spaces is much richer. Such a germ X is homeomorphic to the cone over Link[X]. In ‘most cases’ this homeomorphism cannot be chosen differentiable. This brings various pathologies.

The Lipschitz equivalence of space-germs has been under investigation in the last 30 years. It excludes various pathologies of homeomorphisms, but is ‘rough enough’ to prevent moduli.

The first natural question is whether/when the homeomorphism X ~ Link[X] can be chosen bi-Lipschitz. The first obstructions to this are fast vanishing cycles on Link[X]. We detect lots of fast cycles. This gives countable (multi-index) series of `exotic Lipschitz structures’ on the germ (R^n,o), all realizable as complex-analytic hypersurface germs.

We will present a refinement, developed in collaboration with Bjorklund, of Furstenberg’s ergodic-theoretic approach tailored to addressing the problem of identifying ‘twisted infinite patterns’ in positive-density subsets of the integer lattice. These patterns correspond to an infinite structure within the ‘sum-products’ formed by such sets. The talk is based on joint work with Bjorklund, Bulinski, and Skinner.

Random processes have played a central role in combinatorics since Paul Erdos’s “probabilistic revolution” eight decades ago. Traditionally, such processes are used to define a probability space in which an object with desired properties is sampled with positive probability, thereby proving its existence. Drawing on three case studies, I will explore how recent advances extend the utility of random processes beyond existence proofs, enabling us also to count and understand the structure of combinatorial objects.

To begin, I will discuss the construction of high-girth Steiner triple systems, which proved a 1973 conjecture of Erdos. This builds on Keevash’s breakthrough proof — combining probability and algebra — of the existence of designs, but uses random processes to overcome limitations of the algebraic component.

Next, I will consider triangle-free graphs. The basic problem is to estimate the number of triangle-free graphs with a specified number of vertices and edges. This prototypical forbidden substructure problem motivated the development of key tools in probabilistic combinatorics, essentially solving the problem for graphs that are somewhat sparse or somewhat dense. However, the intermediate-density regime, in which triangle-free graphs undergo a phase transition, remained elusive. I will present the first formula for the number of triangle-free graphs in this regime. Crucial to the proof is a random process to sample these graphs.

Finally, I will discuss the $n$-queens problem: In how many ways can $n$ queens be placed on an $n \times n$ chessboard so that no two threaten each other? It turns out that random processes can be used to reduce the combinatorial question to an infinite-dimensional convex optimization problem. This also sheds light on the typical structure of $n$-queens configurations.

First I shall discuss various models of mathematical billiards and the notion of integrability. Next I shall focus on the so called Birkhoff-Poritsky conjecture, that the only Integrable billiards are circles and ellipses. I shall present several positive results (joint with A. E. Mironov and D. Tsodikovich) for Birkhoff and other type of billiards. If time permits, applications to spectral rigidity will be discussed.

Given a dynamical system which admits chaos, its possible equilibria are studied through the collection of its invariant measures (i.e the probability of an event does change under the time-evolution). This collection may be very large, and we often wish to single out measures of importance. In particular, physical measures are a sought-after object, as they describe an observable equilibrium. In this talk we will define what are physical measures (in a broad sense, including SRB measure), and list a few recent results and open questions regarding their existence for smooth dynamical systems. In particular, finding “testable” conditions for the existence of physical measures is an on-going and active field of research.

In his foundational work, Arveson extended the classical boundary theory for function algebras to the non-commutative world. His theory provided us with analogues of Shilov and Choquet boundaries which, classically, are certain “smallest” subsets for which the maximum modulus principle holds. Arveson’s theory has had a profound influence in the fields of operator theory and operator algebras, leading up to the resolution of several problems in dilation theory, approximation theory, C*-simplicity, and the structure theory of operator algebras.

In this talk I will survey Arveson’s boundary theory, leading up to his last major open conjecture known as Arveson’s hyperrigidity conjecture. This conjecture roughly states that if the Choquet boundary coincides with the whole spectrum of the generated C-algebra, then nets of unital completely positive maps which converge to the identity on generators must converge to the identity on the whole generated C-algebra. We will showcase a counterexample with a separable type I C*-algebra.

All necessary motivation and background will be provided throughout the talk, and the construction of the counterexample will be clear (at least) to undergraduate students who have taken an advanced course in functional analysis.

Based on joint work with Boris Bilich