arXiv++ Combinatorics

An ordered variant of the well-known set theory concept of shattering was introduced by Anstee, Rónyai, and Sali. In this paper, we prove several new results related to order shattering. Given a family $\mathcal F$ of subsets of $[n]$, we show that $\mathrm{osh}(\mathcal F)$, the family of all sets order shattered by $\mathcal F$, coincides with $T(\mathcal F)$, the family obtained from $\mathcal F$ by the down-shift operation. We then give a full characterization of all sets that can be order shattered by some $\ell$-Sperner family. Finally, we completely determine $\mathrm{osh}\left(\binom{[n]}{a}\cup\binom{[n]}{b}\right)$.

Let $F$ be a $k\times \ell$ (0,1)-matrix. A matrix is simple if it is a (0,1)-matrix with no repeated columns. A (0,1)-matrix $A$ is said to have a $F$ as a configuration if there is a submatrix of $A$ which is a row and column permutation of $F$. In the language of sets, a configuration is a trace. Let $\mathrm{Avoid}(m,F)$ be all simple $m$-rowed matrices $A$ with no configuration $F$. Define $\mathrm{forb}(m,F)$ as the maximum number of columns of any matrix in $\mathrm{Avoid}(m,F)$. The $2\times (p+1)$ (0,1)-matrix $F(0,p,1,0)$ consists of a row of $p$ 1's and a row of one 1 in the remaining column. The paper determines $\mathrm{forb}(m,F(0,p,1,0))$ for $1\le p\le 9$ and the extremal matrices are characterized. A construction may be extremal for all $p$.

Let $F$ be a $k\times \ell$ (0,1)-matrix. Define a (0,1)-matrix $A$ to have a $F$ as a \emph{configuration} if there is a submatrix of $A$ which is a row and column permutation of $F$. In the language of sets, a configuration is a \emph{trace}. Define a matrix to be {\it simple} if it is a (0,1)-matrix with no repeated columns. Let $\mathrm{Avoid}(m,F)$ be all simple $m$-rowed matrices $A$ with no configuration $F$. Define $\mathrm{forb}(m,F)$ as the maximum number of columns of any matrix in $\mathrm{Avoid}(m,F)$. Determining $\mathrm{forb}(m,F)$ requires determining bounds and constructions of matrices in $\mathrm{Avoid}(m,F)$. The paper considers some column maximal $k$-rowed simple $F$ that have the bound $Θ(m^{k-2})$ and yet adding a column increases bound to $Ω(m^{k-1})$. By a construction, $\mathrm{forb(m,F)}$ is determined exactly.

The present paper considers extremal combinatorics questions in the language of matrices. An $s$-matrix is a matrix with entries in $\{0,1,\ldots, s-1\}$. An $s$-matrix is simple if it has no repeated columns. A matrix $F$ is a configuration in a matrix $A$, denoted $F\prec A$, if it is a row/column permutation of a submatrix of $A$. $\text{Avoid}(m,s,F)$ is the set of $m$-rowed, simple $s$-matrices not containing a configuration of $F$ and $\text{forb}(m,s, F)=\max\{|A|\colon A \in \text{Avoid}(m,s,F)\}$. Dillon and Sali initiated the systematic study of $\text{forb}(m,s, F)$ for $2$-matrices $F$, and computed $\text{forb}(m,s, F)$ for all 2-rowed $F$ when $s>3$. In this paper we tackle the remaining cases when $s=3$. In particular, we determine the asymptotics of $\text{forb}(m,3,p\cdot K_2)-\text{forb}(m,3,p\cdot I_2)$ for $p>3$, where $K_2$ is the $2\times 4$ simple $2$-matrix and $I_2$ is the $2\times 2$ identity matrix, as well as the exact values of $\text{forb}(m,3,F)$ for many 2-rowed $2$-matrices $F$.

Stability is a well investigated concept in extremal combinatorics. The main idea is that if some object is close in size to an extremal object, then it retains the structure of the extremal construction. In the present paper we study stability in the context of forbidden configurations. $(0,1)$-matrix $F$ is a configuration in a $(0,1)$-matrix $A$ if $F$ is a row and columns permutation of a submatrix of $A$. $\mathrm{Avoid}(m,F)$ denotes the set of $m$-rowed $(0,1)$-matrices with pairwise distinct columns without configuration $F$, $\mathrm{forb}(m,F)$ is the largest number of columns of a matrix in $\mathrm{Avoid}(m,F)$, while $\mathrm{ext}(m,F)$ is the set of matrices in $\mathrm{Avoid}(m,F)$ of size $\mathrm{forb}(m,F)$. We show cases (i) when each element of $\mathrm{Avoid}(m,F)$ have the structure of element(s) in $\mathrm{ext}(m,F)$, (ii) $\mathrm{forb}(m,F)=Θ(m^2)$ and the size of $A\in \mathrm{Avoid}(m,F)$ deviates from $\mathrm{forb}(m,F)$ by a linear amount, or (iii) $\mathrm{forb}(m,F)=Θ(m)$ and the size of $A$ is smaller by a constant, then the structure of $A$ is same as the structure of a matrix in $\mathrm{ext}(m,F)$.

The forbidden number forb$(m,F)$, which denotes the maximum number of distinct columns in an $m$-rowed $(0,1)$-matrix with no submatrix that is a row and column permutation of $F$, has been widely studied in extremal set theory. Recently, this function was extended to $r$-matrices, whose entries lie in $\{0,1,\cdots,r-1\}$. forb$(m,r,F)$ is the maximum number of distinct columns in an $r$-matrix with no submatrix that is a row and column permutation of $F$. While forb$(m,F)$ is polynomial in $m$, forb$(m,r,F)$ is exponential for $r\geq 3$. Recently, forb$(m,r,F)$ was studied for some small $(0,1)$-matrices $F$, and exact values were determined in some cases. In this paper we study forb$(m,r,M)$ for $M=\begin{bmatrix}0&1\\0&1\\1&0\end{bmatrix}$, which is the smallest matrix for which this forbidden number is unknown. Interestingly, it turns out that this problem is closely linked with the following optimisation problem. For each triangle in the complete graph $K_m$, pick one of its edges. Let $m_e$ denote the number of times edge $e$ is picked. For each $α\in\mathbb{R}$, what is $H(m,α)=\max\sum_{e\in E(K_m)}α^{m_e}$? We establish a relationship between forb$(m,r,M)$ and $H(m,(r-1)/(r-2))$, find upper and lower bounds for $H(m,α)$, and use them to significantly improve known bounds for forb$(m,r,M)$.

A {\em special four-cycle } $F$ in a triple system consists of four triples {\em inducing } a $C_4$. This means that $F$ has four special vertices $v_1,v_2,v_3,v_4$ and four triples in the form $w_iv_iv_{i+1}$ (indices are understood $\pmod 4$) where the $w_j$s are not necessarily distinct but disjoint from $\{v_1,v_2,v_3,v_4\}$. There are seven non-isomorphic special four-cycles, their family is denoted by $\cal{F}$. Our main result implies that the Turán number $\text{ex}(n,{\cal{F}})=Θ(n^{3/2})$. In fact, we prove more, $\text{ex}(n,\{F_1,F_2,F_3\})=Θ(n^{3/2})$, where the $F_i$-s are specific members of $\cal{F}$. This extends previous bounds for the Turán number of triple systems containing no Berge four cycles. We also study $\text{ex}(n,{\cal{A}})$ for all ${\cal{A}}\subseteq {\cal{F}}$. For 16 choices of $\cal{A}$ we show that $\text{ex}(n,{\cal{A}})=Θ(n^{3/2})$, for 92 choices of $\cal{A}$ we find that $\text{ex}(n,{\cal{A}})=Θ(n^2)$ and the other 18 cases remain unsolved.

The forbidden number $\mathrm{forb}(m,F)$, which denotes the maximum number of unique columns in an $m$-rowed $(0,1)$-matrix with no submatrix that is a row and column permutation of $F$, has been widely studied in extremal set theory. Recently, this function was extended to $r$-matrices, whose entries lie in $\{0,1,\dots,r-1\}$. The combinatorics of the generalized forbidden number is less well-studied. In this paper, we provide exact bounds for many $(0,1)$-matrices $F$, including all $2$-rowed matrices when $r > 3$. We also prove a stability result for the $2\times 2$ identity matrix. Along the way, we expose some interesting qualitative differences between the cases $r=2$, $r = 3$, and $r > 3$.

In an earlier paper the first two authors have shown that self-complementary graphs can always be oriented in such a way that the union of the oriented version and its isomorphically oriented complement gives a transitive tournament. We investigate the possibilities of generalizing this theorem to decompositions of the complete graph into three or more isomorphic graphs. We find that a complete characterization of when an orientation with similar properties is possible seems elusive. Nevertheless, we give sufficient conditions that generalize the earlier theorem and also imply that decompositions of odd vertex complete graphs to Hamiltonian cycles admit such an orientation. These conditions are further generalized and some necessary conditions are given as well.

An $r$-matrix is a matrix with symbols in $\{0,1,\ldots,r-1\}$. A matrix is simple if it has no repeated columns. Let ${\cal F}$ be a finite set of $r$-matrices. Let $\hbox{forb}(m,r,{\cal F})$ denote the maximum number of columns possible in a simple $r$-matrix $A$ that has no submatrix which is a row and column permutation of any $F\in{\cal F}$. Many investigations have involved $r=2$. For general $r$, $\hbox{forb}(m,r,{\cal F})$ is polynomial in $m$ if and only if for every pair $i,j\in\{0,1,\ldots,r-1\}$ there is a matrix in ${\cal F}$ whose entries are only $i$ or $j$. Let ${\cal T}_{\ell}(r)$ denote the following $r$-matrices. For a pair $i,j\in\{0,1,\ldots,r-1\}$ we form four $\ell\times\ell$ matrices namely the matrix with $i$'s on the diagonal and $j$'s off the diagonal and the matrix with $i$'s on and above the diagonal and $j$'s below the diagonal and the two matrices with the roles of $i,j$ reversed. Anstee and Lu determined that $\hbox{forb}(m,r,{\cal T}_{\ell}(r))$ is a constant. Let ${\cal F}$ be a finite set of 2-matrices. We ask if $\hbox{forb}(m,r,{\cal T}_{\ell}(3)\backslash {\cal T}_{\ell}(2)\cup {\cal F})$ is $Θ(\hbox{forb}(m,2,{\cal F}))$ and settle this in the affirmative for some cases including most 2-columned $F$.

An $r$-matrix is a matrix with symbols in $\{0,1,\dots,r-1\}$. A matrix is simple if it has no repeated columns. Let the support of a matrix $F$, $\text{supp}(F)$ be the largest simple matrix such that every column in $\text{supp}(F)$ is in $F$. For a family of $r$-matrices $\mathcal{F}$, we define $\text{forb}(m,r,\mathcal{F})$ as the maximum number of columns of an $m$-rowed, $r$-matrix $A$ such that $F$ is not a row-column permutation of $A$ for all $F \in \mathcal{F}$. While many results exist for $r=2$, there are fewer for larger numbers of symbols. We expand on the field of forbidding matrices with $r$-symbols, introducing a new construction for lower bounds of the growth of $\text{forb}(m,r,\mathcal{F})$ (with respect to $m$) that is applicable to matrices that are either not simple or have a constant row. We also introduce a new upper bound restriction that helps with avoiding non-simple matrices, limited either by the asymptotic bounds of the support, or the size of the forbidden matrix, whichever is larger. Continuing the trend of upper bounds, we represent a well-known technique of standard induction as a graph, and use graph theory methods to obtain asymptotic upper bounds. With these techniques we solve multiple, previously unknown, asymptotic bounds for a variety of matrices. Finally, we end with block matrices, or matrices with only constant row, and give bounds for all possible cases.

A matrix is \emph{simple} if it is a (0,1)-matrix and there are no repeated columns. Given a (0,1)-matrix $F$, we say a matrix $A$ has $F$ as a \emph{configuration}, denoted $F\prec A$, if there is a submatrix of $A$ which is a row and column permutation of $F$. Let $|A|$ denote the number of columns of $A$. Let $\mathcal{F}$ be a family of matrices. We define the extremal function $\text{forb}(m, \mathcal{F}) = \max\{|A|\colon A \text{ is an }m-\text{rowed simple matrix and has no configuration } F\in\mathcal{F}\}$. We consider pairs $\mathcal{F}=\{F_1,F_2\}$ such that $F_1$ and $F_2$ have no common extremal construction and derive that individually each $\text{forb}(m, F_i)$ has greater asymptotic growth than $\text{forb}(m, \mathcal{F})$, extending research started by Anstee and Koch.

We have found the most general extension of the celebrated Sauer, Perles and Shelah, Vapnik and Chervonenkis result from 0-1 sequences to $k$-ary codes still giving a polynomial bound. Let $\mathcal{C}\subseteq \{0,1,..., k-1}^n$ be a $k$-ary code of length $n$. For a subset of coordinates $S\subset{1,2,...,n}$ the projection of $\mathcal{C}$ to $S$ is denoted by $\mathcal{C}|_S$. We say that $\mathcal{C}$ $(i,j)$-{\em shatters} $S$ if $\mathcal{C}|_S$ contains all the $2^{|S|}$ distinct vectors (codewords) with coordinates $i$ and $j$. Suppose that $\mathcal{C}$ does not $(i,j)$-shatter any coordinate set of size $s_{i,j}\geq 1$ for every $1\leq i< j\leq q$ and let $p=\sum (s_{i,j}-1)$. Using a natural induction we prove that $$ |{\mathcal C}|\leq O(n^p)$$ for any given $p$ as $n\to \infty$ and give a construction showing that this exponent is the best possible. Several open problems are mentioned.