arXiv++ Combinatorics

A square symmetric matrix is a Robinson similarity matrix if entries in its rows and columns are non-decreasing when moving towards the diagonal. A Robinson similarity matrix can be viewed as the affinity matrix between objects arranged in linear order, where objects closer together have higher affinity. We define a new parameter, $Γ_\max$, which measures how badly a given matrix fails to be Robinson similarity. Namely, a matrix is Robinson similarity precisely when its $Γ_\max$ attains zero, and a matrix with small $Γ_\max$ is close (in the normalized $\ell^1$-norm) to a Robinson similarity matrix. Moreover, both $Γ_\max$ and the Robinson similarity approximation can be computed in polynomial time. Thus, our parameter recognizes Robinson similarity matrices which are perturbed by noise, and can therefore be a useful tool in the problem of seriation of noisy data.

A collection of linear orders on $X$, say $\mathcal{L}$, is said to \emph{realize} a partially ordered set (or poset) $\mathcal{P} = (X, \preceq)$ if, for any two distinct $x,y \in X$, $x \preceq y$ if and only if $x \prec_L y$, $\forall L \in \mathcal{L}$. We call $\mathcal{L}$ a \emph{realizer} of $\mathcal{P}$. The \emph{dimension} of $\mathcal{P}$, denoted by $dim(\mathcal{P})$, is the minimum cardinality of a realizer of $\mathcal{P}$. A \emph{containment model} $M_{\mathcal{P}}$ of a poset $\mathcal{P}=(X,\preceq)$ maps every $x \in X$ to a set $M_x$ such that, for every distinct $x,y \in X,\ x \preceq y$ if and only if $M_x \varsubsetneq M_y$. We shall be using the collection $(M_x)_{x \in X}$ to identify the containment model $M_{\mathcal{P}}$. A poset $\mathcal{P}=(X,\preceq)$ is a Containment order of Paths in a Tree (CPT poset), if it admits a containment model $M_{\mathcal{P}}=(P_x)_{x \in X}$ where every $P_x$ is a path of a tree $T$, which is called the host tree of the model. We show that if a poset $\mathcal{P}$ admits a CPT model in a host tree $T$ of maximum degree $Δ$ and radius $r$, then \rogers{$dim(\mathcal{P}) \leq \lg\lg Δ+ (\frac{1}{2} + o(1))\lg\lg\lg Δ+ \lg r + \frac{1}{2} \lg\lg r + \frac{1}{2}\lg π+ 3$. This bound is asymptotically tight up to an additive factor of $\min(\frac{1}{2}\lg\lg\lg Δ, \frac{1}{2}\lg\lg r)$. Further, let $\mathcal{P}(1,2;n)$ be the poset consisting of all the $1$-element and $2$-element subsets of $[n]$ under `containment' relation and let $dim(1,2;n)$ denote its dimension. The proof of our main theorem gives a simple algorithm to construct a realizer for $\mathcal{P}(1,2;n)$ whose cardinality is only an additive factor of at most $\frac{3}{2}$ away from the optimum.

The class of finite distributive lattices, as many other classes of structures, does not have the Ramsey property. It is quite common, though, that after expanding the structures with appropriately chosen linear orders the resulting class has the Ramsey property. So, one might expect that a similar result holds for the class of all finite distributive lattices. Surprisingly, Kechris and Sokić have proved in 2012 that this is not the case: no expansion of the class of finite distributive lattices by linear orders satisfies the Ramsey property. In this paper we prove that the variety of distributive lattices is not an exception, but an instance of a more general phenomenon. We show that for almost all nontrivial locally finite varieties of lattices no "reasonable" expansion of the finite members of the variety by linear orders gives rise to a Ramsey class. The responsibility for this lies not with the lattices as structures, but with the lack of algebraic morphisms: if we consider lattices as partially ordered sets (and thus switch from algebraic embeddings to embeddings of relational structures) we show that every variety of lattices gives rise to a class of linearly ordered posets having both the Ramsey property and the ordering property. It now comes as no surprise that the same is true for varieties of semilattices.

An ordered graph is a graph equipped with a linear ordering of its vertex set. A pair of ordered graphs is Ramsey finite if it has only finitely many minimal ordered Ramsey graphs and Ramsey infinite otherwise. Here an ordered graph F is an ordered Ramsey graph of a pair (H,H') of ordered graphs if for any coloring of the edges of F in colors red and blue there is either a copy of H with all edges colored red or a copy of H' with all edges colored blue. Such an ordered Ramsey graph is minimal if neither of its proper subgraphs is an ordered Ramsey graph of (H,H'). If H=H' then H itself is called Ramsey finite. We show that a connected ordered graph is Ramsey finite if and only if it is a star with center being the first or the last vertex in the linear order. In general we prove that each Ramsey finite (not necessarily connected) ordered graph H has a pseudoforest as a Ramsey graph and therefore is a star forest with strong restrictions on the positions of the centers of the stars. In the asymmetric case we show that (H,H') is Ramsey finite whenever H is a so-called monotone matching. Among several further results we show that there are Ramsey finite pairs of ordered stars and ordered caterpillars of arbitrary size and diameter. This is in contrast to the unordered setting where for any Ramsey finite pair (H,H') of forests either one of H or H' is a matching or both are star forests (with additional constraints). Several of our results give a relation between Ramsey finiteness and the existence of sparse ordered Ramsey graphs. Motivated by these relations we characterize all pairs of ordered graphs that have a forest as an ordered Ramsey graph and all pairs of connected ordered graphs that have a pseudoforest as a Ramsey graph.

An ordered graph $H$ is a simple graph with a linear order on its vertex set. The corresponding Turán problem, first studied by Pach and Tardos, asks for the maximum number $\text{ex}_<(n,H)$ of edges in an ordered graph on $n$ vertices that does not contain $H$ as an ordered subgraph. It is known that $\text{ex}_<(n,H) > n^{1+\varepsilon}$ for some positive $\varepsilon=\varepsilon(H)$ unless $H$ is a forest that has a proper 2-coloring with one color class totally preceding the other one. Making progress towards a conjecture of Pach and Tardos, we prove that $\text{ex}_<(n,H) =n^{1+o(1)}$ holds for all such forests that are "degenerate" in a certain sense. This class includes every forest for which an $n^{1+o(1)}$ upper bound was previously known, as well as new examples. Our proof is based on a density-increment argument.

We provide a classification of the homogeneous 3-dimensional permutation structures, i.e. homogeneous structures in a language of 3 linear orders, partially answering a question of Cameron. We also arrive at a natural description of all known homogeneous finite-dimensional permutation structures by modifying the language used in the construction from a previous paper, completing the "census" begun there.

We consider three notions of connectivity and their interactions in partially ordered sets coming from reduced factorizations of an element in a generated group. While one form of connectivity essentially reflects the connectivity of the poset diagram, the other two are a bit more involved: Hurwitz-connectivity has its origins in algebraic geometry, and shellability in topology. We propose a framework to study these connectivity properties in a uniform way. Our main tool is a certain linear order of the generators that is compatible with the chosen element.

For a finite lattice $Λ$, $Λ$-ultrametric spaces are a convenient language for describing structures equipped with a family of equivalence relations. When $Λ$ is finite and distributive, there exists a generic $Λ$-ultrametric space, and we here identify a family of Ramsey expansions for that space. This then allows a description the universal minimal flow of its automorphism group, and also implies the Ramsey property for all known homogeneous finite-dimensional permutation structures, i.e. structures in a language of finitely many linear orders. A point of technical interest is that our proof involves classes with non-unary algebraic closure operations. As a byproduct of some of the concepts developed, we also arrive at a natural description of the known homogeneous finite-dimensional permutation structures, completing our previously begun "census".

$q$-Matroids are defined on complemented modular support lattices. Minors of length 2 are of four types as in a "classical" matroid. Tutte polynomials $τ(x,y)$ of matroids are calculated either by recursion over deletion/contraction of single elements, by an enumeration of bases with respect to internal/external activities, or by substitution $x \to (x-1),\; y \to (y-1)$ in their rank generating functions $ρ(x,y)$. The $q$-analogue of the passage from a Tutte polynomial to its corresponding RGF is straight-forward, but the analogue of the reverse process $x \to (x-1),\; y \to (y-1)$ is more delicate. For matroids $M(S)$ on a set $S$, and relative to any linear order on the points, the concept of internal/external activity of a point relative to a basis gives rise to a partition of the underlying Boolean algebra $B(S)$ into a set of "prime-free" (or "structureless") minors, such minors being direct sums of loops and isthmi (coloops), with one such prime-free minor for each basis. What usually goes unnoticed is that each prime-free minor has a unique clopen flat. The latter property carries over to $q$-matroids, but each prime-free minor will contain many bases. So internal and external activity in $q$-matroids must be defined not for points relative to bases, but rather for coverings in the underlying complemented modular lattice. Following lattice paths from arbitrary subspaces $A$ along active coverings (downward for internally active, upward for externally active) will lead to the unique clopen subspace in the prime-free minor containing the subspace $A$. There are a number of interesting questions concerning $q$-matroids that remain unsolved.

In the parlance of relational structures, the Finite Ramsey Theorem states that the class of all finite chains has the Ramsey property. A classical result of J. Nešetřil and V. Rödl claims that the class of all finite posets with a linear extension has the Ramsey property. In 2010 M. Sokić proved that the class of all finite structures consisting of several linear orders has the Ramsey property. This was followed by a 2017 result of S. Solecki and M. Zhao that the class of all finite posets with several linear extensions has the Ramsey property. Using the categorical reinterpretation of the Ramsey property in this paper we prove a common generalization of all these results. We consider multiposets to be structures consisting of several partial orders and several linear orders. We allow partial orders to extend each other in an arbitrary but fixed way, and require that every partial order is extended by at least one of the linear orders. We then show that the class of all finite multiposets conforming to a fixed template has the Ramsey property.

An oriented $k$-uniform hypergraph is said to have Property O if for every linear order of the vertex set, there is some edge oriented consistently with the linear order. Recently Duffus, Kay and Rödl investigated the minimum number $f(k)$ of edges in a $k$-uniform hypergaph with Property O. They proved that $k! \leq f(k) \leq (k^2 \ln k) k!$, where the upper bound holds for $k$ sufficiently large. In this short note we improve their upper bound by a factor of $k \ln k$, showing that $f(k) \le \left(\lfloor \frac{k}{2} \rfloor +1 \right) k! - \lfloor \frac{k}{2} \rfloor (k-1)!$ for every $k\geq 3$. We also show that their lower bound is not tight. Furthermore, Duffus, Kay and Rödl also studied the minimum number $n(k)$ of vertices in a $k$-uniform hypergaph with Property O. For $k=3$ they showed $n(3) \in \{6,7,8,9\}$, and asked for the precise value of $n(3)$. Here we show $n(3)=6$.

We investigate preference profiles for a set $\mathcal{V}$ of voters, where each voter $i$ has a preference order $\succ_i$ on a finite set $A$ of alternatives (that is, a linear order on $A$) such that for each two alternatives $a,b\in A$, voter $i$ prefers $a$ to $b$ if $a\succ_i b$. Such a profile is narcissistic if each alternative $a$ is preferred the most by at least one voter. It is single-peaked if there is a linear order $\triangleright^{\text{sp}}$ on the alternatives such that each voter's preferences on the alternatives along the order $\triangleright^{\text{sp}}$ are either strictly increasing, or strictly decreasing, or first strictly increasing and then strictly decreasing. It is single-crossing if there is a linear order $\triangleright^{\text{sc}}$ on the voters such that each pair of alternatives divides the order $\triangleright^{\text{sc}}$ into at most two suborders, where in each suborder, all voters have the same linear order on this pair. We show that for $n$ voters and $n$ alternatives,the number of single-peaked narcissistic profiles is $\prod_{i=2}^{n-1} \binom{n-1}{i-1}$ while the number of single-crossing narcissistic profiles is $2^{\binom{n-1}{2}}$.

We consider bond percolation on random graphs with given degrees and bounded average degree. In particular, we consider the order of the largest component after the random deletion of the edges of such a random graph. We give a rough characterisation of those degree distributions for which bond percolation with high probability leaves a component of linear order, known usually as a giant component. We show that essentially the critical condition has to do with the tail of the degree distribution. Our proof makes use of recent technique introduced by Joos et al. [FOCS 2016, pp. 695--703], which is based on the switching method and avoids the use of the classic configuration model as well as the hypothesis of having a limiting object. Thus our results hold for sparse degree sequences without the usual restrictions that accompany the configuration model.

Consider the projections of a finite set $A\subset R^n$ onto the coordinate hyperplanes. How small can the sum of the sizes of these projections be, given the size of $A$? In a different form, this problem has been studied earlier in the context of edge-isoperimetric inequalities on graphs, and it is can be derived from the known results that there is a linear order on the set of $n$-tuples with non-negative integer coordinates, such that the sum in question is minimised for the initial segments with respect to this order. We present a new, self-contained and constructive proof, enabling us to obtain a stability result and establish algebraic properties of the smallest possible projection sum. We also solve the problem of minimising the sum of the sizes of the one-dimensional projections.

An oriented k-uniform hypergraph (a family of ordered k-sets) has the ordering property (or Property O) if for every linear order of the vertex set, there is some edge oriented consistently with the linear order. We find bounds on the minimum number of edges in a hypergraph with Property O.

A queue layout of a graph consists of a linear order on the vertices and an assignment of the edges to queues, such that no two edges in a single queue are nested. The minimum number of queues needed in a queue layout of a graph is called its queue-number. We show that for each $k\geq1$, graphs with tree-width at most $k$ have queue-number at most $2^k-1$. This improves upon double exponential upper bounds due to Dujmović et al. and Giacomo et al. As a consequence we obtain that these graphs have track-number at most $2^{O(k^2)}$. We complement these results by a construction of $k$-trees that have queue-number at least $k+1$. Already in the case $k=2$ this is an improvement to existing results and solves a problem of Rengarajan and Veni Madhavan, namely, that the maximal queue-number of $2$-trees is equal to $3$.

We construct a Ramsey class whose objects are Steiner systems. In contrast to the situation with general $r$-uniform hypergraphs, it turns out that simply putting linear orders on their sets of vertices is not enough for this purpose: one also has to strengthen the notion of subobjects used from "induced subsystems" to something we call "strongly induced subsystems". Moreover we study the Ramsey properties of other classes of Steiner systems obtained from this class by either forgetting the order or by working with the usual notion of subsystems. This leads to a perhaps surprising induced Ramsey theorem in which designs get coloured.

Imposing a strong condition on the linear order of shellable complexes, we introduce strong shellability. Basic properties, including the existence of dimension-decreasing strong shelling orders, are developed with respect to nonpure strongly shellable complexes. Meanwhile, pure strongly shellable complexes can be characterized by the corresponding codimension one graphs. In addition, we show that the facet ideals of pure strongly shellable complexes have linear quotients.

The Tutte polynomial of a connected graph was originally defined by Tutte as a sum over all spanning trees of monomials depending on a fixed linear order on the set of edges. Tuttle proved that while these monomials do depend on the linear order, the sum does not. The present paper is a result of a reflection upon this classical theorem of Tutte. It is devoted to an elementary and detailed proof of this theorem in its natural generality, i.e. not for graphs, but for matroids. In contrast with usual methods, the emphasis is on the properties of maps (as opposed to elements) naturally associated to a matroid (or a graph) and an order. In order to fully explain the four-fold symmetry of the proof, we introduce notion of linking between two matroids on the same set. While every matroid is, in fact, linked only to itself and to its dual matroid, the notion of a linking identifies the essential features of the theory and allows to replace the usual four similar arguments by a single one. This is done in Theorem 9.1, which is the focal point of the present paper. With the exception of Introduction, the present paper is self-contained modulo basic concepts related to sets and maps. In particular, no knowledge of the matroid theory or of the graph theory is assumed.

A fourientation of a graph $G$ is a choice for each edge of the graph whether to orient that edge in either direction, leave it unoriented, or biorient it. We may naturally view fourientations as a mixture of subgraphs and graph orientations where unoriented and bioriented edges play the role of absent and present subgraph edges, respectively. Building on work of Backman and Hopkins (2015), we show that given a linear order and a reference orientation of the edge set, one can define activities for fourientations of $G$ which allow for a new 12 variable expansion of the Tutte polynomial $T_G$. Our formula specializes to both the Las Vergnas (1984) orientation activites expansion of the Tutte polynomial and the generalized activities expansion of Gordon and Traldi (1990).