# Archive 2022 2021

All recorded talks are available on our YouTube-clannel

*2022*

### No archived talks yet ...

*2021*

The Two Families Theorem of Bollobas says the following: Let $(A_i,B_i)$ be a sequence of pairs of sets such that the $A_i$ have size a, the $B_i$ have size $b$, and $A_i$ and $B_j$ intersect if and only if $i$ and $j$ are distinct. Then the sequence has length at most $\binom{a+b}{a}$.

This beautiful result has many applications and has been generalized in two distinct ways. The first (which follows from the original result of Bollobas) allows the sets to have different sizes, and replaces the cardinality constraint with a weighted sum. The second uses an elegant exterior algebra argument due to Lovasz and allows the intersection condition to be replaced by a skew intersection condition. However, there are no previous results that have versions of both conditions.

In this talk, we will explain and extend the exterior algebra approach. We investigate the combinatorial structure of subspaces of the exterior algebra of a finite-dimensional real vector space, working in parallel with the extremal combinatorics of hypergraphs. As an application, we prove a new extension of the Two Families Theorem that allows both (some) variation in set sizes and a skew intersection condition.

This is joint work with Elizabeth Wilmer (Oberlin).

The sphere packing problem asks for the densest configuration of non-overlapping unit balls in space. In this talk I shall speak about the sphere packing problem in various spaces and its generalisations. The talk will focus on linear programming and semidefinite programming methods as powerful tools for analysing and, in some cases, completely solving geometric optimisation questions.

Vinberg's theory of reflection groups has wide applications. We discuss some of these, to monodromy groups of hypergeometric and Painlevé equations. The nonlinear case is intimately connected to affine Markoff surfaces and it is a central ingredient in the Diophantine analysis of these surfaces.

In the early 1960s, Vinberg gave a description of homogeneous convex cones as cones of Hermitian positive de finite matrices in a matrix T-algebra $M_n$ of $(n \times n)$-matrices whose diagonal entries are just real numbers, but off-diagonal elements belong to different vector spaces. It turns out that rank 3 special Vinberg cones (corresponding to Clifford algebras) have important applications to Supergravity. No special background is required. The talk is based on joint works with V. Cortes; and with A. Marrani and A. Spiro.

This talk will survey as well as discuss geometric and topological properties of arithmetic hyperbolic manifolds of simplest type. These are precisely the class of arithmetic hyperbolic manifolds that contain an immersed co-dimension one totally geodesic submanifolds.

Let $A$ and $B$ be two permutations in $\text{Sym}(n)$ that ``almost commute'' -- are they a small deformation of permutations that truly commute? More generally, if $R$ is a system of words-equations in variables $X = \{x_1, \ldots ,x_d\}$ and $A_1, \ldots, A_d$ are permutations that are nearly solutions; are they near true solutions?

It turns out that the answer to this question depends only on the group presented by the generators $X$ and relations $R$. This leads to the notions of ``stable groups'' and ``testable groups''.

We will present a few results and methods which were developed in recent years to check whether a group is stable or testable. We will also describe the connection of this subject with property testing in computer science, with the long-standing problem of whether every group is sofic, and with invariant random subgroups.

This talk aims to summarize the status and goals of a broad research project. The main messages of this project are summarized below; I plan to describe, through examples, many of the concepts they refer to, and the evolution of ideas leading to them. No special background is assumed.

- We extend some basic algorithms of convex optimization from Euclidean space to the far more general setting of Riemannian manifolds, capturing the symmetries of non-commutative group actions. The main tools for analyzing these algorithms combine central results from invariant and representation theory.
- One main motivation for studying these problems and algorithms comes from algebraic complexity theory, especially attempts to separate Valiant’s algebraic analogs of the P and NP. Symmetries and group actions play a key role in these attempts.
- The new algorithms give exponential (or better) improvements in run-time for solving algorithmic many specific problems across CS, Math and Physics. In particular, in algebra (testing rational identities in non-commutative variables), in analysis (testing the feasibility and tightness of Brascamp-Lieb inequalities), in quantum information theory (to the quantum marginals problem), optimization (testing membership in “moment polytopes”), and others. This work exposes old and new connections between these diverse areas.