arXiv++ Combinatorics

We generalize ultraproducts and local-global limits of graphs to hypergraphs and other structures. We show that the local statistics of an ultraproduct of a sequence of hypergraphs are the ultralimits of the local statistics of the hypergraphs. Using some standard results from model theory, we conclude that the space of (equivalence classes of) pmp hypergraphs with the topology of local-global convergence is compact, and that any countable set of local statistics for a pmp hypergraph can be realized as the statistics of a set of labellings (rather than just approximated) in a local-global equivalent hypergraph. We give two applications. First, we characterize those structures where any solution to the corresponding CSP can be turned into a measurable solution. These turn out to be the width-1 structures. We can also use the limit machinery to extract from this theorem a purely finitary characterizations of width-1 structures involving asymptotic solutions. Second, we prove two measurable versions of the Frankl--Rödl matching theorem using measurable nibble and differential equation arguments. The measurable proofs are much softer than the purely finitary results. And, we can recover the finitary theorems using the limit machinery.

We show that, for every $ε>0$, the 4-regular tree has an fiid 4-coloring where a given vertex is assigned the 4th color with probability at most $ε$. We also construct 5-colorings of $T_6$ improving known bounds on the measurable and approximate chromatic number of $F_3$.

We leverage a correspondence between group actions and edge-labelled graphs in two ways. First, we give a unified presentation of several folklore results connecting weak containment, local-global convergence, and continuous model theory. Second, we investigate the difference between $\operatorname{Aut}(\operatorname{Cay}(Γ))$-fiid combinatorics and $Γ$-fiid combinatorics for various marked groups $Γ$. It's straightforward to see that these differences vanish when $\operatorname{Cay}(Γ)$ admits an $\operatorname{Aut}(\operatorname{Cay}(Γ))$-fiid Cayley diagram. We extend this to show that the approximate combinatorics are the same when $\operatorname{Cay}(Γ)$ admits an approximate fiid Cayley diagram, and we give several examples and nonexamples of groups whose Cayley graphs admit (approximate) fiid Cayley diagrams. In particular, we show that trees admit approximate Cayley diagrams for any group whose Cayley graph is a tree; Cayley graphs of torsion free nilpotent groups do not admit fiid Cayley diagrams; and there are groups with isomorphic Cayley graphs so that only one them admits even an approximate Cayley diagram (in fact our construction answers a question of Weilacher).

We investigate when a Borel graph admits a (Borel or measurable) orientation with outdegree bounded by $k$ for various cardinals $k$. We show that for a p.m.p. graph $G$, a measurable orientation can be found when $k$ is larger than the normalized cost of the restriction of $G$ to any positive measure subset. Using an idea of Conley and Tamuz, we can also find Borel orientations of graphs with subexponential growth; however, for every $k$ we also find graphs which admit measurable orientations with outdegree bounded by $k$ but no such Borel orientations. Finally, for special values of $k$ we bound the projective complexity of Borel $k$-orientability for graphs and graphings of equivalence relations. It follows from these bounds that the set of equivalence relations admitting a Borel selector is $\mathbfΣ^1_2$ in the codes, in stark contrast to the case of smooth relations.