L6

Given two $k$-graphs $H$ and $F$, a perfect $F$-packing in $H$ is a collection of vertex-disjoint copies of $F$ in $H$ which together cover all the vertices in $H$. In the case when $F$ is a single edge, a perfect $F$-packing is simply a perfect matching. For a given fixed $F$, it is generally the case that the decision problem whether an $n$-vertex $k$-graph $H$ contains a perfect $F$-packing is NP-complete.

In this talk we describe a general tool which can be used to determine classes of (hyper)graphs for which the corresponding decision problem for perfect $F$-packings is polynomial time solvable. We then give applications of this tool. For example, we give a minimum $\ell$-degree condition for which it is polynomial time solvable to determine whether a $k$-graph satisfying this condition has a perfect matching (partially resolving a conjecture of Keevash, Knox and Mycroft). We also answer a question of Yuster concerning perfect $F$-packings in graphs.

This is joint work with Jie Han (Sao Paulo).
 

Groups which are "attached" to theories of fields, appearing in models of the theory  
as the automorphism groups of intermediate fields fixing an elementary submodel are called geometrically represented. 
We will discuss the concept ``geometric representation" in the case of pseudo finite fields.  Then will show that any group which is geometrically represented in a complete theory of a pseudo-finite field must be abelian. 
This result also generalizes to bounded PAC fields. This is joint work with Zoe Chatzidakis.
 

We prove tight upper and lower bounds on an observable of the antiferromagnetic Potts model. From this we deduce the case d=3 of a conjecture of Galvin and Tetali on maximising the number of proper colourings in d-regular graphs.

Using some new results in probabilistic recognition of black box groups
(Joint work with Sukru Yalcinkaya), I will discuss some emerging
structures that beg for a model-theoretic analysis.

In this talk on joint work with REBECCA BELLOVIN we discuss the “local ε-isomorphism” conjecture of Fukaya and Kato for (crystalline) families of G_{Q_p}-representations. This can be regarded as a local analogue of the global Iwasawa main conjecture for families, extending earlier work of Kato for rank one modules, of Benois and Berger for crystalline representations with respect to the cyclotomic extension as well as of Loeffler, Venjakob and Zerbes for crystalline representations with respect to abelian p-adic Lie extensions of Q_p. Nakamura has shown Kato’s - conjecture for (ϕ,\Gamma)-modules over the Robba ring, which means in particular only after inverting p, for rank one and trianguline families. The main ingredient of (the integrality part of) the proof consists of the construction of families of Wach modules generalizing work of Wach and Berger and following Kisin’s approach via a corresponding moduli space.
 

We will consider the following deceptively simple question, formulated recently by Po Shen Loh who connected it to an open problem in Ramsey Theory. Define the '2-less than' relation on the set of triples of integers by saying that a triple x is 2-less than a triple y if x is less than y in at least two coordinates. What is the maximal length of a sequence of triples taking values in {1,...,n} which is totally ordered by the '2-less than' relation?

In his paper, Loh uses the triangle removal lemma to improve slightly on the trivial upper bound of n^2, and conjectures that the truth should be of order n^(3/2). The gap between these bounds has proved to be surprisingly resistant. We shall discuss joint work with Tim Gowers, giving some developments towards this conjecture and a wide array of natural extensions of the problem. Many of these extensions remain open.
 

In a recent breakthrough, Peter Keevash proved the Existence conjecture for combinatorial designs, which has its roots in the 19th century. In joint work with Daniela Kühn, Allan Lo and Deryk Osthus, we gave a new proof of this result, based on the method of iterative absorption. In fact, `regularity boosting’ allows us to extend our main decomposition result beyond the quasirandom setting and thus to generalise the results of Keevash. In particular, we obtain a resilience version and a minimum degree version. In this talk, we will present our new results within a brief outline of the history of the Existence conjecture and provide an overview of the proof.

The Thue-Morse sequence is perhaps the simplest example of an automatic sequence. Various pseudorandomness properties of this sequence have long been studied. During the talk, I will discuss a new result in this direction, asserting that the Gowers uniformity norms of the Thue-Morse sequence are small in a quantitative sense. Similar results hold for the Rudin-Shapiro sequence, as well as for a much wider class of automatic sequences which will be introduced during the talk.

The talk is partially based on joint work with Jakub Byszewski.

I will start with a motivation of what algebraic and model-theoretic properties an algebraically closed field of characteristic 1 is expected to have. Then I will explain how these properties forces one to follow the route of Hrushovski's construction/Schanuel-type conjecture analysis. Then I am able to formulate very precise axioms that such a field must satisfy.  The main theorem then states that under the axioms the structure has the desired algebraic properties.
The axioms have a form of statements about existence of solutions to systems of equations in terms of a 'multi-dimansional' valuation theory and the validity of these statements is an open problem to be discussed. 

 

There are several conjectures in the literature suggesting that absolute Galois groups of fields tend to be "as free as possible," given their "almost-abelian" data.
This can be made precise in various ways, one of which is via the notion of "1-formality" arising in analogy with the concept in rational homotopy theory.
In this talk, I will discuss several examples which illustrate this phenomenon, as well as some surprising diophantine consequences.
This discussion will also include some recent joint work with Guillot, Mináč, Tân and Wittenberg, concerning the vanishing of mod-2 4-fold Massey products in the Galois cohomology of number fields.