L6

Several objects can be associated to a list of vectors with integer coordinates: among others, a family of tori called toric arrangement, a convex polytope called zonotope, a function called vector partition function; these objects have been described in a recent book by De Concini and Procesi. The linear algebra of the list of vectors is axiomatized by the combinatorial notion of a matroid; but several properties of the objects above depend also on the arithmetics of the list. This can be encoded by the notion of a "matroid over Z". Similarly, applications to tropical geometry suggest the introduction of matroids over a discrete valuation ring.Motivated by the examples above, we introduce the more general notion of a "matroid over a commutative ring R". Such a matroid arises for example from a list of elements in a R-module. When R is a Dedekind domain, we can extend the usual properties and operations holding for matroids (e.g., duality). We can also compute the Tutte-Grothendieck ring of matroids over R; the class of a matroid in such a ring specializes to several invariants, such as the Tutte polynomial and the Tutte quasipolynomial. We will also outline other possible applications and open problems. (Joint work with Alex Fink).

A Steiner Triple System on a set X is a collection T of 3-element subsets of X such that every pair of elements of X is contained in exactly one of the triples in T. An example considered by Plücker in 1835 is the affine plane of order three, which consists of 12 triples on a set of 9 points. Plücker observed that a necessary condition for the existence of a Steiner Triple System on a set with n elements is that n be congruent to 1 or 3 mod 6. In 1846, Kirkman showed that this necessary condition is also sufficient.

In 1853, Steiner posed the natural generalisation of the question: given integers q and r, for which n is it possible to choose a collection Q of q-element subsets of an n-element set X such that any r elements of X are contained in exactly one of the sets in Q? There are some natural necessary divisibility conditions generalising the necessary conditions for Steiner Triple Systems. The Existence Conjecture states that for all but finitely many n these divisibility conditions are also sufficient for the existence of general Steiner systems (and more generally designs).

We prove the Existence Conjecture, and more generally, we show that the natural divisibility conditions are sufficient for clique decompositions of simplicial complexes that satisfy a certain pseudorandomness condition.

We introduce and develop a theory of limits for sequences of sparse graphs based on $L^p$ graphons, which generalizes both the existing $L^\infty$ theory of dense graph limits and its extension by Bollob\'as and Riordan to sparse graphs without dense spots. In doing so, we replace the no dense spots hypothesis with weaker assumptions, which allow us to analyze graphs with power law degree distributions. This gives the first broadly applicable limit theory for sparse graphs with unbounded average degrees.

Joint work with Christian Borgs, Jennifer T. Chayes, and Henry Cohn.

Formal truth theory sits between mathematical logic and philosophy. In this talk, I will try to give a partial overview of formal truth theory, from my particular perspective and research, in connection to some areas of mathematical logic.

A pseudofinite group is an infinite model of the theory of finite groups. I will discuss what can be said about pseudofinite groups under various tameness assumptions on the theory (e.g. NIP, supersimplicity), structural results on pseudofinite permutation groups, and connections to word maps and generalisations.

Several number theorists have stressed that the proofs of FLT focus on small concrete arithmetically defined groups rings and modules, so the steps can be checked by direct calculation in any given case. The talk looks at this in relation both to Hilbert's idea of contentual (inhaltlich) mathematics, and to formal provability in Peano arithmetic and other stronger and weaker axioms.

For Logic Seminar: Note change of time and location!

It is well known that infinite perfect information two person games at low levels in the arithmetic hierarchy of sets have winning strategies for one of the players, and moreover this fact can be proven in analysis alone. This has led people to consider reverse mathematical analyses of precisely which subsystems of second order arithmetic are needed. We go over the history of these results. Recently Montalban and Shore gave a precise delineation of the amount of determinacy provable in analysis. Their arguments use concretely given levels of the Gödel constructible hierarchy. It should be possible to lift those arguments to the amount of determinacy, properly including analytic determinacy, provable in stronger theories than the standard ZFC set theory. We summarise some recent joint work with Chris Le Sueur.

In joint work with T. Tsankov we study a (yet other) point at which model theory and dynamics intersect. On the one hand, a (metric) aleph_0-categorical structure is determined, up to bi-interpretability, by its automorphism group, while on the other hand, such automorphism groups are exactly the Roelcke precompact ones. One can further identify formulae on the one hand with Roelcke-continuous functions on the other hand, and similarly stable formulae with WAP functions, providing an easy tool for proving that a group is Roelcke precompact and for calculating its Roelcke/WAP compactification. Model-theoretic techniques, transposed in this manner into the topological realm, allow one to prove further that if R(G) = W(G); then G is totally minimal.

Motivated by integrals of the Calculus of Variations considered in

Nonlinear Elasticity, we study mathematical models which do not fit in

the classical existence and regularity theory for elliptic and

parabolic Partial Differential Equations. We consider general

nonlinearities with non-standard p,q-growth, both in the elliptic and

in the parabolic contexts. In particular, we introduce the notion of

"variational solution/parabolic minimizer" for a class of

Cauchy-Dirichlet problems related to systems of parabolic equations.