Primitive asymptotics in $\phi^{4}$ vector theory
Balduf, P Thürigen, J Annales de l’Institut Henri Poincaré D Combinatorics Physics and their Interactions (15 Apr 2026)
TIGHTER BOUNDS FOR QUERY ANSWERING WITH GUARDED TGDS
Amarilli, A Benedikt, M Logical Methods in Computer Science volume 22 issue 2 8-44 (01 Jan 2026)
QUANTITATIVE VERIFICATION WITH NEURAL NETWORKS
Abate, A Edwards, A Giacobbe, M Punchihewa, H Roy, D Logical Methods in Computer Science volume 22 issue 2 4-26 (01 Jan 2026)
Free independence is not definable
Boulanger, W Curda, J Harvey, E Li, Y Pi, J Involve
Thu, 14 May 2026

12:00 - 13:00
C5

Isoperimetric planar tilings with unequal cells

Francesco Nobili
(University of Pisa)
Abstract

In this seminar, we consider an isoperimetric problem for planar tilings with possibly unequal repeating cells. We present general existence and regularity results, and we study the classification of planar isoperimetric double tilings, namely tilings with two repeating cells of minimal perimeter. In this case, we explicitly determine the associated energy profile and provide a complete description of the phase transitions. We also comment on possible extensions and discuss some open problems. This is based on joint work with M. Novaga and E. Paolini.

Tue, 12 May 2026
14:00
L5

On the Hypergraph Nash-Williams’ Conjecture

Cece Henderson
(University of Waterloo)
Abstract

The study of combinatorial designs includes some of the oldest questions at the heart of combinatorics. In a breakthrough result of 2014, Keevash proved the longstanding Existence Conjecture by showing the existence of (n,q,r)-Steiner systems (equivalently K_q^r-decompositions of K_n^r) for all large enough n satisfying the necessary divisibility conditions. Meanwhile, in recent decades, incremental progress has been made on the celebrated Nash-Williams' Conjecture of 1970, which posits that any large enough, triangle-divisible graph on n vertices with minimum degree at least 3n/4 admits a triangle decomposition. In 2021, Glock, Kühn, and Osthus proposed a generalization of these results by conjecturing a hypergraph version of the Nash-Williams' Conjecture, where their proposed minimum degree K_q^r-decomposition threshold is motivated by hypergraph Turán theory. By using the recently developed method of refined absorption and establishing a non-uniform Turán theory, we tie the K_q^r-decomposition threshold to its fractional relaxation. Combined with the best-known fractional decomposition threshold from Delcourt, Lesgourgues, and Postle, this dramatically closes the gap between what was known and the above conjecture. This talk is based on joint work with Luke Postle.

Thu, 21 May 2026
11:00
C3

First order theories as symmetric simplicial profinite sets

Misha Gavrilovich
Abstract

We reformulate the statement that the theory of the free group is stable in terms of simplicial diagram chasing and profinite sets, without any terminology from logic. This includes three characterisations of stability (via indiscernible sequences, counting types, and definable types), and the notions of a first order theory and a model.

We do so by generalising slightly and allowing the universe of a first order structure/model to be an arbitrary (symmetric) simplicial set: formulas and basic predicates now may denote sets of simplices of an arbitrary (symmetric) simplicial set rather than sets of tuples of elements of a set. In this generalised sense the type space functor of a theory is its universal model classifying its usual models: taking the type of a tuple gives a map from a usual model of a theory to its type space functor. We define a property of simplicial maps weaker then being a fibration, and find it appears in the conditions characterising which maps correspond to models, when the generalised semantics is well-behaved, and which symmetric simplicial profinite sets correspond to first order theories.

Thu, 14 May 2026
11:00
C3

Tilting perfectoid algebras in continuous logic

Jonas van der Schaaf
(Universitat Munster)
Abstract
In this talk, I will discuss how continuous logic can be used to talk about objects in non-Archimedean geometry. I will discuss perfectoid fields and algebras, tilting, and how to treat these using interpretations in continuous logic. I will then discuss some future directions on geometric applications.
Subscribe to