arXiv++ Combinatorics

We consider bond percolation on high-dimensional product graphs $G=\square_{i=1}^tG^{(i)}$, where $\square$ denotes the Cartesian product. We call the $G^{(i)}$ the base graphs and the product graph $G$ the host graph. Very recently, Lichev showed that, under a mild requirement on the isoperimetric properties of the base graphs, the component structure of the percolated graph $G_p$ undergoes a phase transition when $p$ is around $\frac{1}{d}$, where $d$ is the average degree of the host graph. In the supercritical regime, we strengthen Lichev's result by showing that the giant component is in fact unique, with all other components of order $o(|G|)$, and determining the sharp asymptotic order of the giant. Furthermore, we answer two questions posed by Lichev: firstly, we provide a construction showing that the requirement of bounded-degree is necessary for the likely emergence of a linear order component; secondly, we show that the isoperimetric requirement on the base graphs can be, in fact, super-exponentially small in the dimension. Finally, in the subcritical regime, we give an example showing that in the case of irregular high-dimensional product graphs, there can be a polynomially large component with high probability, very much unlike the quantitative behaviour seen in the Erdős-Rényi random graph and in the percolated hypercube, and in fact in any regular high-dimensional product graphs, as shown by the authors in a companion paper.

Given a graph, we associate each edge with the transposition which exchanges the endvertices. Fixing a linear order on the edge set, we obtain a permutation of the vertices. Dénes proved that the permutation is a full cyclic permutation for any linear order if and only if the graph is a tree. In this article, we characterize graphs having a linear order such that the associated permutation is a full cyclic permutation in terms of graph embeddings. Moreover, we give a counter example for Eden's question about an edge ordering whose associated permutation is the identity.

For a graph with edge ordering, a linear order on the edge set, we obtain a permutation of vertices by considering the edges as transpositions of endvertices. It is known from Dénes' results that the permutation of a tree is a full cyclic for any edge ordering. As a corollary, Dénes counted up the number of representations of a full cyclic permutation by means of product of the minimal number of transpositions. Moreover, a graph with an edge ordering which the permutation is a full cyclic is characterized by graph embedding. In this article, we consider an analogy of these results for signed graphs and hyperoctahedral groups. We give a necessary and sufficient condition for a signed graph to have an edge ordering such that the permutation is an even (or odd) full cyclic. We show that the edge ordering of the signed tree with some loops always gives an even (or odd) full cyclic permutation and count up the number of representations of an odd full cyclic permutation by means of product of the minimal number of transpositions.

The random coloured graph $G_c(n,p)$ is obtained from the Erdős-Rényi binomial random graph $G(n,p)$ by assigning to each edge a colour from a set of $c$ colours independently and uniformly at random. It is not hard to see that, when $c = Θ(n)$, the order of the largest rainbow tree in this model undergoes a phase transition at the critical point $p=\frac{1}{n}$. In this paper we determine the asymptotic order of the largest rainbow tree in the \emph{weakly sub- and supercritical regimes}, when $p = \frac{1+\varepsilon}{n}$ for some $\varepsilon=\varepsilon(n)$ which satisfies $\varepsilon = o(1)$ and $|\varepsilon|^3 n\to\infty$. In particular, we show that in both of these regimes with high probability the largest component of $G_c(n,p)$ contains an almost spanning rainbow tree. We also consider the order of the largest rainbow tree in the \emph{sparse regime}, when $p = \frac{d}{n}$ for some constant $d >1$. Here we show that the largest rainbow tree has linear order, and, moreover, for $d$ and $c$ sufficiently large, with high probability $G_c(n,p)$ even contains an almost spanning rainbow cycle.

Let $H$ be a complete $r$-uniform hypergraph such that two vertices are marked in each edge as its `boundary' vertices. A linear ordering of the vertex set of $H$ is called an {\em agreeing linear order}, provided all vertices of each edge of $H$ lie between its two boundary vertices. We prove the following Helly-type theorem: if there is an {agreeing linear order} on the vertex set of every subhypergraph of $H$ with at most $2r-2$ vertices, then there is an agreeing linear order on the vertex set of $H$. We also show that the constant $2r-2$ cannot be reduced in the theorem. The case $r=3$ of the theorem has particular interest in the axiomatic theory of betweenness. Similar results are obtained for further $r$-uniform hypergraphs ($r\geq 3$), where one or two vertices are marked in each edge, and the linear orders need to satisfy various rules of agreement. In one of the cases we prove that no such Helly-type statement holds.

We characterise the classes of tournaments with tractable first-order model checking. For every hereditary class of tournaments $\mathcal T$, first-order model checking is either fixed parameter tractable or $\textrm{AW}[*]$-hard. This dichotomy coincides with the fact that $\mathcal T$ has either bounded or unbounded twin-width, and that the growth of $\mathcal T$ is either at most exponential or at least factorial. From the model-theoretic point of view, we show that NIP classes of tournaments coincide with bounded twin-width. Twin-width is also characterised by three infinite families of obstructions: $\mathcal T$ has bounded twin-width if and only if it excludes at least one tournament from each family. This generalises results of Bonnet et al.\ on ordered graphs. The key for these results is a polynomial time algorithm that takes as input a tournament $T$ and computes a linear order $<$ on $V(T)$ such that the twin-width of the birelation $(T,<)$ is at most some function of the twin-width of $T$. Since approximating twin-width can be done in polynomial time for an ordered structure $(T,<)$, this provides a polynomial time approximation of twin-width for tournaments. Our results extend to oriented graphs with stable sets of bounded size, which may also be augmented by arbitrary binary relations.

The List-3-Coloring Problem is to decide, given a graph $G$ and a list $L(v)\subseteq \{1,2,3\}$ of colors assigned to each vertex $v$ of $G$, whether $G$ admits a proper coloring $φ$ with $φ(v)\in L(v)$ for every vertex $v$ of $G$, and the $3$-Coloring Problem is the List-$3$-Coloring Problem on instances with $L(v)=\{1,2,3\}$ for every vertex $v$ of $G$. The List-$3$-Coloring Problem is a classical NP-complete problem, and it is well-known that while restricted to $H$-free graphs (meaning graphs with no induced subgraph isomorphic to a fixed graph $H$), it remains NP-complete unless $H$ is isomorphic to an induced subgraph of a path. However, the current state of art is far from proving this to be sufficient for a polynomial time algorithm; in fact, the complexity of the $3$-Coloring Problem on $P_8$-free graphs (where $P_8$ denotes the eight-vertex path) is unknown. Here we consider a variant of the List-$3$-Coloring Problem called the Ordered Graph List-$3$-Coloring Problem, where the input is an ordered graph, that is, a graph along with a linear order on its vertex set. For ordered graphs $G$ and $H$, we say $G$ is $H$-free if $H$ is not isomorphic to an induced subgraph of $G$ with the isomorphism preserving the linear order. We prove, assuming $H$ to be an ordered graph, a nearly complete dichotomy for the Ordered Graph List-$3$-Coloring Problem restricted to $H$-free ordered graphs. In particular, we show that the problem can be solved in polynomial time if $H$ has at most one edge, and remains NP-complete if $H$ has at least three edges. Moreover, in the case where $H$ has exactly two edges, we give a complete dichotomy when the two edges of $H$ share an end, and prove several NP-completeness results when the two edges of $H$ do not share an end, narrowing the open cases down to three very special types of two-edge ordered graphs.

We introduce a novel definition of orientation on the triples of a family of pairwise intersecting planar convex sets and study its properties. In particular, we compare it to other systems of orientations on triples that satisfy a so-called interiority condition: $\circlearrowleft(ABD)=~\circlearrowleft(BCD)=~\circlearrowleft(CAD)=1$ imply $\circlearrowleft(ABC)=1$ for any $A,B,C,D$. We call such an orientation a P3O (partial 3-order), a natural generalization of a poset, that has several interesting special cases. For example, the order type of a planar point set (that can have collinear triples) is a P3O; we denote a P3O realizable by points as p-P3O. If we do not allow $\circlearrowleft(ABC)=0$, we obtain a T3O (total 3-order). Contrary to linear orders, a T3O can have a rich structure. A T3O realizable by points, a p-T3O, is the order type of a point set in general position. Despite these similarities to order types, P3O and p-T3O that can arise from the orientation of pairwise intersecting convex sets, denoted by C-P3O and C-T3O, turn out to be quite different from order types: there is no containment relation among the family of all C-P3O's and the family of all p-P3O's, or among the families of C-T3O's and p-T3O's. Finally, we study properties of these orientations if we also require that the family of underlying convex sets satisfies the (4,3) property.

We study systems of orientations on triples that satisfy the following so-called interiority condition: $\circlearrowleft(ABD)=~\circlearrowleft(BCD)=~\circlearrowleft(CAD)=1$ implies $\circlearrowleft(ABC)=1$ for any $A,B,C,D$. We call such an orientation a P3O (partial 3-order), a natural generalization of a poset, that has several interesting special cases. For example, the order type of a planar point set (that can have collinear triples) is a P3O; we denote a P3O realizable by points as p-P3O. If we do not allow $\circlearrowleft(ABC)=0$, we obtain a T3O (total 3-order). Contrary to linear orders, a T3O can have a rich structure. A T3O realizable by points, a p-T3O, is the order type of a point set in general position. In our paper "Orientation of convex sets" we defined a 3-order on pairwise intersecting convex sets; such a P3O is called a C-P3O. In this paper we extend this 3-order to pairwise intersecting good covers; such a P3O is called a GC-P3O. If we do not allow $\circlearrowleft(ABC)=0$, we obtain a C-T3O and a GC-T3O, respectively. The main result of this paper is that there is a p-T3O that is not a GC-T3O, implying also that it is not a C-T3O -- this latter problem was left open in our earlier paper. Our proof involves several combinatorial and geometric observations that can be of independent interest. Along the way, we define several further special families of GC-T3O's.

For $0 < λ< 1$ and $n \rightarrow \infty$ pick uniformly at random $λn$ vectors in $\{0,1\}^n$ and let $C$ be the orthogonal complement of their span. Given $0 < γ< \frac12$ with $0 < λ< h(γ)$, let $X$ be the random variable that counts the number of words in $C$ of Hamming weight $i = γn$ (where $i$ is assumed to be an even integer). Linial and Mosheiff determined the asymptotics of the moments of $X$ of all orders $o\left(\frac{n}{\log n}\right)$. In this paper we extend their estimates up to moments of linear order. Our key observation is that the behavior of the suitably normalized $k^{th}$ moment of $X$ is essentially determined by the $k^{th}$ norm of the Krawchouk polynomial $K_i$.

Let $\mathcal{A} = \{A_1, \ldots, A_m\}$ and $\mathcal{B} = \{B_1, \ldots, B_n\}$ be a pair of dual multi-hypergraphs on the common ground set $O = \{o_1, \ldots, o_k\}$. Note that each of them may have embedded or equal edges. An edge is called containment minimal (or just minimal, for short) if it is not a strict superset of another edge. Yet, equal minimal edges may exist. By duality, (i) $A \cap B \neq \emptyset$ for every pair $A \in \mathcal{A}$ and $B \in \mathcal{B}$; (ii) if $A$ is minimal then for every $o \in A$ there exists a $B \in \mathcal{B}$ such that $A \cap B = \{o\}$. We will extend claim (ii) as follows. A linear order $\succ$ over $O$ defines a unique lexicographic order $\succ_L$ over the $2^O$. Let $A$ be a lexicographically maximal (lexmax) edge of $\mathcal{A}$. Then, (iii) $A$ is minimal and for every $o \in A$ there exists a minimal $B \in \mathcal{B}$ such that $A \cap B = \{o\}$ and $o \succeq o'$ for each $o' \in B$. This property has important applications in game theory implying Nash-solvability of tight game forms as shown in the old (1975 and 1989) work of the first author. Here we give a new, very short, proof of (iii). Edges $A$ and $B$ mentioned in (iii) can be found out in polynomial time. This is trivial if $\mathcal{A}$ and $\mathcal{B}$ are given explicitly. Yet, it is true even if only $\mathcal{A}$ is given, and not explicitly, but by a polynomial containment oracle, which for a subset $O_A \subseteq O$ answers in polynomial time whether $O_A$ contains an edge of $\mathcal{A}$.

We prove that for any homogeneous structure $\mathbf{K}$ in a language with finitely many relation symbols of arity at most two satisfying SDAP$^+$ (or LSDAP$^+$), there are spaces of subcopies of $\mathbf{K}$, forming subspaces of the Baire space, in which all Borel sets are Ramsey. Structures satisfying SDAP$^+$ include the rationals, the Rado graph and more generally, unrestricted structures, and generic $k$-partite graphs, the latter three types with or without an additional dense linear order. As a corollary of the main theorem, we obtain an analogue of the Nash-Williams Theorem which recovers exact big Ramsey degrees for these structures, answering a question raised by Todorcevic at the 2019 Luminy Workshop on Set Theory. Moreover, for the rationals and similar homogeneous structures our methods produce topological Ramsey spaces, thus satisfying analogues of the Ellentuck theorem.

Borrowing inspiration from Marcone and Montálban's one-one correspondence between the class of signed trees and the equimorphism classes of indecomposable scattered linear orders, we find a subclass of signed trees which has an analogous correspondence with equimorphism classes of indecomposable finite rank discrete linear orders. We also introduce the class of \emph{finitely presented linear orders}-- the smallest subclass of finite rank linear orders containing $\mathbf 1$, $ω$ and $ω^*$ and closed under finite sums and lexicographic products. For this class we develop a generalization of the Euclidean algorithm where the \emph{width} of a linear order plays the role of the Euclidean norm. Using this as a tool we classify the isomorphism classes of finitely presented linear orders in terms of an equivalence relation on their presentations using \emph{3-signed trees}.

The dimension of a partially-ordered set $P$ is the smallest integer $d$ such that one can embed $P$ into a product of $d$ linear orders. We prove that the dimension of the divisibility order on the interval $\{1, \dotsc, n\}$ is bounded above by $C(\log n)^2 (\log \log n)^{-2} \log \log \log n$ as $n$ goes to infinity. This improves a recent result by Lewis and the first author, who showed an upper bound of $C(\log n)^2 (\log \log n)^{-1}$ and a lower bound of $c(\log n)^2 (\log \log n)^{-2}$, asymptotically. To obtain these bounds, we provide a refinement of a bound of Füredi and Kahn and exploit a connection between the dimension of the divisibility order and the maximum size of $r$-cover-free families.

We show that any total preorder on a set with $\binom{n}{2}$ elements coincides with the order on pairwise distances of some point collection of size $n$ in $\mathbb{R}^{n-1}$. For linear orders, a collection of $n$ points in $\mathbb{R}^{n-2}$ suffices. These bounds turn out to be optimal. We also find an optimal bound in a bipartite version for total preorders and a near-optimal bound for a bipartite version for linear orders. Our arguments include tools from convexity and positive semidefinite quadratic forms.

We show that several classes of ordered structures (namely, convex linear orders, layered permutations, and compositions) admit first-order logical limit laws.

Linearizing two partial orders to maximize the number of adjacencies and minimize the number of breakpoints is APX-hard. This holds even if one of the two partial orders is already a linear order and the other is an interval order, or if both partial orders are weak orders.

We study the problem of circular seriation, where we are given a matrix of pairwise dissimilarities between $n$ objects, and the goal is to find a {\em circular order} of the objects in a manner that is consistent with their dissimilarity. This problem is a generalization of the classical {\em linear seriation} problem where the goal is to find a {\em linear order}, and for which optimal ${\cal O}(n^2)$ algorithms are known. Our contributions can be summarized as follows. First, we introduce {\em circular Robinson matrices} as the natural class of dissimilarity matrices for the circular seriation problem. Second, for the case of {\em strict circular Robinson dissimilarity matrices} we provide an optimal ${\cal O}(n^2)$ algorithm for the circular seriation problem. Finally, we propose a statistical model to analyze the well-posedness of the circular seriation problem for large $n$. In particular, we establish ${\cal O}(\log(n)/n)$ rates on the distance between any circular ordering found by solving the circular seriation problem to the underlying order of the model, in the Kendall-tau metric.

As a result of 33 intercontinental Zoom calls, we characterise big Ramsey degrees of the generic partial order in a similar way as Devlin characterised big Ramsey degrees of the generic linear order (the order of rationals).

We study pure ordered simplicial complexes (i.e., simplicial complexes with a linear order on their ground sets) from the Hopf-theoretic point of view. We define a \textit{Hopf class} to be a family of pure ordered simplicial complexes that give rise to a Hopf monoid under join and deletion/contraction. The prototypical Hopf class is the family of ordered matroids. The idea of a Hopf class allows us to give a systematic study of simplicial complexes related to matroids, including shifted complexes, broken-circuit complexes, and \textit{unbounded matroids} (which arise from unbounded generalized permutohedra with 0/1 coordinates). We compute the antipodes in two cases: \textit{facet-initial complexes} (a much larger class than shifted complexes) and unbounded ordered matroids. In the latter case, we embed the Hopf monoid of ordered matroids into the Hopf monoid of ordered generalized permutohedra, enabling us to compute the antipode using the topological method of Aguiar and Ardila. The calculation is complicated by the appearance of certain auxiliary simplicial complexes that we call \textit{Scrope complexes}, whose Euler characteristics control certain coefficients of the antipode. The resulting antipode formula is multiplicity-free and cancellation-free.