In the previous talk, we defined Subgroup Tests and the
interactive proof system induced by them. In addition, we showed
that if the Aldous--Lyons conjecture was true, then this
interactive proof system contains only decidable languages. In
this...
By Deligne's Hodge theory, the integral cohomology groups
H^n(X^h, Z) of the C-analytification of a separated scheme X of
finite type over C are provided with a mixed Hodge structure,
functorial in X. Given a non-Archimedean field K isomorphic
to...
In the first talk, I will give a broad survey of classical
inequalities that arise in enumerative and algebraic
combinatorics. I will discuss how these inequalities lead to
questions about combinatorial interpretations, and how these
questions...
A common theme in mathematics is that limits of finite objects
are well behaved. This allows one to prove many theorems about
finitely approximable objects, while leaving the general case open
--- examples for this are Gottschalk's conjecture...
The Kronecker coefficients of the Symmetric group Sn are the
multiplicities of an irreducible Sn representation in the tensor
product of two other irreducibles. They were introduced in 1938 by
Murnaghan and generalize the beloved Littlewood...
