arXiv++ Combinatorics

We prove that for any coloring of the naturals using two colors there are monochromatic sets of the form $\{x,y,xy,x+iy:i\leq k\}$ and $\{x,y,x^y,xy^i:i\leq k\}$ for any $k$.

We present a proof of the extension property for partial automorphisms (EPPA) for classes of finite $n$-partite tournaments for $n \in \{2,3,\ldots,ω\}$, and for the class of finite semigeneric tournaments. We also prove that the generic $ω$-partite tournament and the generic semigeneric tournament have ample generics.

We study groups which satisfy Gardner's equidecomposition conjecture for uniformly distributed sets. We prove that an amenable group has this property if and only if it does not admit $(\mathbb{Z}/2\mathbb{Z}) *(\mathbb{Z}/2\mathbb{Z})$ as a quotient by a finite subgroup. Our technical contribution is an algorithm for rounding Borel flows for actions of amenable groups.

We show that for every coloring of the rationals into finitely many colors, one of the colors contains a set of the form $\{x,y,xy,x+y\}$ for some nonzero $x$ and $y$.

We characterize hyperfinite bipartite graphings that admit measurable perfect matchings. In particular, we prove that every regular hyperfinite bipartite graphing admits a measurable perfect matching if it is one-ended or the degree is odd. We give several applications of this result, answering various open questions in the field. For instance, we extend the Lyons--Nazarov theorem by characterizing bipartite Cayley graphs which admit a factor of iid perfect matching, answering the bipartite case of a well-known question of Lyons and Nazarov, popularized by Kechris and Marks. Moreover, we show how our results apply to measurable equidecompositions and, in particular, generalize the recent result of Grabowski, Máthé and Pikhurko on the measurable circle squaring. Our approach applies more generally to rounding measurable perfect fractional matchings.

We prove that for every $n\geq 2$ the class of all finite $n$-partite tournaments (orientations of complete $n$-partite graphs) has the extension property for partial automorphisms, that is, for every finite $n$-partite tournament $G$ there is a finite $n$-partite tournament $H$ such that every isomorphism of induced subgraphs of $G$ extends to an automorphism of $H$. Our constructions are purely combinatorial (whereas many earlier EPPA results use deep results from group theory) and extend to other classes such as the class of all finite semi-generic tournaments.

We prove a measurable version of the Hall marriage theorem for actions of finitely generated abelian groups. In particular, it implies that for free measure-preserving actions of such groups, if two equidistributed measurable sets are equidecomposable, then they are equidecomposable using measurable pieces. The latter generalizes a recent result of Grabowski, Máthé and Pikhurko on the measurable circle squaring and confirms a special case of a conjecture of Gardner.

We study the problem of extending partial isomorphisms for hypertournaments, which are relational structures generalizing tournaments. This is a generalized version of an old question of Herwig and Lascar. We show that the generalized problem has a negative answer, and we provide a positive answer in a special case. As a corollary, we show that the extension property holds for tournaments in case the partial isomorphisms have pairwise disjoint ranges and pairwise disjoint domains.