arXiv++ Combinatorics

A $3$-partition of an $n$-element set $V$ is a triple of pairwise disjoint nonempty subsets $X,Y,Z$ such that $V=X\cup Y\cup Z$. We determine the minimum size $\varphi_3(n)$ of a set $\mathcal{E}$ of triples such that for every 3-partition $X,Y,Z$ of the set $\{1,\dots,n\}$, there is some $\{x,y,z\}\in \mathcal{E}$ with $x\in X$, $y\in Y$, and $z\in Z$. In particular, $$\varphi_3(n)=\left\lceil{\frac{n(n-2)}{3}}\right\rceil.$$ For $d>3$, one may define an analogous number $\varphi_d(n)$. We determine the order of magnitude of $\varphi_d(n)$, and prove the following upper and lower bounds, for $d>3$: $$\frac{2 n^{d-1}}{d!} -o(n^{d-1}) \leq \varphi_d(n) \leq \frac{0.86}{(d-1)!}n^{d-1}+o(n^{d-1}).$$

Richmond and Richmond (American Mathematical Monthly 104 (1997), 713--719) proved the following theorem: If, in a metric space with at least five points, all triangles are degenerate, then the space is isometric to a subset of the real line. We prove that the hypothesis is unnecessarily strong: In a metric space on $n$ points, fewer than $7n^2/6$ suitably placed degenerate triangles suffice. However, fewer than $n(n-1)/2$ degenerate triangles, no matter how cleverly placed, never suffice.

Given a metric space $(X, ρ)$, we say $y$ is between $x$ and $z$ if $ρ(x,z) = ρ(x,y) + ρ(y,z)$. A metric space gives rise to a 3-uniform hypergraph that has as hyperedges those triples $\{ x,y,z \}$ where $y$ is between $x$ and $z$. Such hypergraphs are called metric and understanding them is key to the study of metric spaces. In this paper, we prove that hypergraphs where small subsets of vertices induce few edges are metric. Additionally, we adapt the notion of sparsity with respect to monotone increasing functions, classify hypergraphs that exhibit this version of sparsity and prove that they are metric.

In a metric space $M=(X,d)$, we say that $v$ is between $u$ and $w$ if $d(u,w)=d(u,v)+d(v,w)$. Taking all triples $\{u,v,w\}$ such that $v$ is between $u$ and $w$, one can associate a 3-uniform hypergraph with each finite metric space $M$. An effort to solve some basic open questions regarding finite metric spaces has motivated an endeavor to better understand these associated hypergraphs. In answer to a question posed in arXiv:1112.0376, we present an infinite family of hypergraphs that are non-metric, i.e., they don't arise from any metric space. Another basic structure associated with a metric space is a binary equivalence on the vertex set, where two pairs are in the same class if they induce the same line. An equivalence that comes from some metric space is a metric-line equivalence. We present an infinite family of so called obstacles, that is, binary equivalences that prevent an equivalence from being a metric-line equivalence.

A well-known theorem in plane geometry states that any set of $n$ non-collinear points in the plane determines at least $n$ lines. Chen and Chvátal asked whether an analogous statement holds within the framework of finite metric spaces, with lines defined using the notion of {\em betweenness}. In this paper, we prove that in the plane with the $L_1$ (also called Manhattan) metric, a non-collinear set of $n$ points induces at least $\lceil n/2\rceil$ lines. This is an improvement of the previous lower bound of $n/37$, with substantially different proof. As a consequence, we also get the same lower bound for non-collinear point sets in the plane with the $L_{\infty}$ metric.

We study the values of the Möbius function $μ$ of intervals in the containment poset of permutations. We construct a sequence of permutations $π_n$ of size $2n-2$ for which $μ(1,π_n)$ is given by a polynomial in $n$ of degree 7. This construction provides the fastest known growth of $|μ(1,π)|$ in terms of $|π|$, improving a previous quadratic bound by Smith. Our approach is based on a formula expressing the Möbius function of an arbitrary permutation interval $[α,β]$ in terms of the number of embeddings of the elements of the interval into $β$.

Every graph $G=(V,E)$ is an induced subgraph of some Kneser graph of rank $k$, i.e., there is an assignment of (distinct) $k$-sets $v \mapsto A_v$ to the vertices $v\in V$ such that $A_u$ and $A_v$ are disjoint if and only if $uv\in E$. The smallest such $k$ is called the Kneser rank of $G$ and denoted by $f_{\rm Kneser}(G)$. As an application of a result of Frieze and Reed concerning the clique cover number of random graphs we show that for constant $0< p< 1$ there exist constants $c_i=c_i(p)>0$, $i=1,2$ such that with high probability \[ c_1 n/(\log n)< f_{\rm Kneser}(G) < c_2 n/(\log n). \] We apply this for other graph representations defined by Boros, Gurvich and Meshulam. A {\em $k$-min-difference representation} of a graph $G$ is an assignment of a set $A_i$ to each vertex $i\in V(G)$ such that \[ ij\in E(G) \,\, \Leftrightarrow \, \, \min \{|A_i\setminus A_j|,|A_j\setminus A_i| \}\geq k. \] The smallest $k$ such that there exists a $k$-min-difference representation of $G$ is denoted by $f_{\min}(G)$. Balogh and Prince proved in 2009 that for every $k$ there is a graph $G$ with $f_{\min}(G)\geq k$. We prove that there are constants $c''_1, c''_2>0$ such that $c''_1 n/(\log n)< f_{\min}(G) < c''_2n/(\log n)$ holds for almost all bipartite graphs $G$ on $n+n$ vertices.

Let $X$ be an $n$--element finite set, $0<k\leq n/2$ an integer. Suppose that $\{A_1,A_2\} $ and $\{B_1,B_2\} $ are pairs of disjoint $k$-element subsets of $X$ (that is, $|A_1|=|A_2|=|B_1|=|B_2|=k$, $A_1\cap A_2=\emptyset$, $B_1\cap B_2=\emptyset$). Define the distance of these pairs by $d(\{A_1,A_2\} ,\{B_1,B_2\})=\min \{|A_1-B_1|+|A_2-B_2|, |A_1-B_2|+|A_2-B_1|\} $. This is the minimum number of elements of $A_1\cup A_2$ one has to move to obtain the other pair $\{B_1,B_2\}$. Let $C(n,k,d)$ be the maximum size of a family of pairs of disjoint subsets, such that the distance of any two pairs is at least $d$. Here we establish a conjecture of Brightwell and Katona concerning an asymptotic formula for $C(n,k,d)$ for $k,d$ are fixed and $n\to \infty$. Also, we find the exact value of $C(n,k,d)$ in an infinite number of cases, by using special difference sets of integers. Finally, the questions discussed above are put into a more general context and a number of coding theory type problems are proposed.

A well-known theorem of de Bruijn and Erdős states that any set of $n$ non-collinear points in the plane determines at least $n$ lines. Chen and Chvátal asked whether an analogous statement holds within the framework of finite metric spaces, with lines defined using the notion of {\em betweenness}. In this paper, we prove that the answer is affirmative for sets of $n$ points in the plane with the $L_1$ metric, provided that no two points share their $x$- or $y$-coordinate. In this case, either there is a line that contains all $n$ points, or $X$ induces at least $n$ distinct lines. If points of $X$ are allowed to share their coordinates, then either there is a line that contains all $n$ points, or $X$ induces at least $n/37$ distinct lines.

Let $f:V \rightarrow \mathbb{N}$ be a function on the vertex set of the graph $G=(V,E)$. The graph $G$ is {\em $f$-choosable} if for every collection of lists with list sizes specified by $f$ there is a proper coloring using colors from the lists. The sum choice number, $χ_{sc}(G)$, is the minimum of $\sum f(v)$, over all functions $f$ such that $G$ is $f$-choosable. It is known (Alon 1993, 2000) that if $G$ has average degree $d$, then the usual choice number $χ_\ell(G)$ is at least $Ω(\log d)$, so they grow simultaneously. In this paper we show that $χ_{sc}(G)/|V(G)|$ can be bounded while the minimum degree $δ_{\min}(G)\rightarrow \infty$. Our main tool is to give tight estimates for the sum choice number of the unbalanced complete bipartite graph $K_{a,q}$.

For a property $Γ$ and a family of sets $\cF$, let $f(\cF,Γ)$ be the size of the largest subfamily of $\cF$ having property $Γ$. For a positive integer $m$, let $f(m,Γ)$ be the minimum of $f(\cF,Γ)$ over all families of size $m$. A family $\cF$ is said to be $B_d$-free if it has no subfamily $\cF'=\{F_I: I \subseteq [d]\}$ of $2^d$ distinct sets such that for every $I,J \subseteq [d]$, both $F_I \cup F_J=F_{I \cup J}$ and $F_I \cap F_J = F_{I \cap J}$ hold. A family $\cF$ is $a$-union free if $F_1\cup ... F_a \neq F_{a+1}$ whenever $F_1,..,F_{a+1}$ are distinct sets in $\FF$. We verify a conjecture of Erd\H os and Shelah that $f(m, B_2\text{\rm -free})=Θ(m^{2/3})$. We also obtain lower and upper bounds for $f(m, B_d\text{\rm -free})$ and $f(m,a\text{\rm -union free})$.