arXiv++ Combinatorics

A set $A \subseteq {\mathbb{R}}^n$ is called an antichain (resp. antichain) if it does not contain two distinct elements ${\mathbf x}=(x_1,\ldots, x_n)$ and ${\mathbf y}=(y_1,\ldots, y_n)$ satisfying $x_i\le y_i$ (resp. $x_i < y_i$) for all $i\in \{1,\ldots,n\}$. We show that the Hausdorff dimension of a weak antichain $A$ in the $n$-dimensional unit cube $[0,1]^n$ is at most $n-1$ and that the $(n-1)$-dimensional Hausdorff measure of $A$ is at most $n$, which are the best possible bounds. This result is derived as a corollary of the following {\it projection inequality}, which may be of independent interest: The $(n-1)$-dimensional Hausdorff measure of a (weak) antichain $A\subseteq [0, 1]^n$ cannot exceed the sum of the $(n-1)$-dimensional Hausdorff measures of the $n$ orthogonal projections of $A$ onto the facets of the unit $n$-cube containing the origin. For the proof of this result we establish a discrete variant of the projection inequality applicable to weak antichains in ${\mathbb Z}^n$ and combine it with ideas from geometric measure theory.

Let $n > m\ge 2$ be integers and let $\mathcal{A}=\{A_1,\dots,A_m\}$ be a partition of $[n]=\{1,\dots,n\}$. For $X \subseteq [n]$, its $\mathcal{A}$-boundary region $\mathcal{A}(X)$ is defined to be the union of those blocks $A_i$ of $\mathcal{A}$ for which $A_i\cap X\neq \emptyset$ and $A_i\cap ([n] \setminus X)\neq \emptyset$. For three different probability distributions on the power set of $[n]$, partitions $\mathcal{A}$ of $[n]$ are determined such that the expected cardinality of the $\mathcal{A}$-boundary region of a randomly chosen subset of $[n]$ is minimal and maximal, respectively. The problem can be reduced to an optimization problem for integer partitions of $n$. In the most difficult case, the concave-convex shape of the corresponding weight function as well as several other inequalities are proved using an integral representation of the weight function. In one case, there is an interesting analogon to the AZ-identity. The study is motivated by the rough set theory.

An \emph{$n$-cube antichain} is a subset of the unit $n$-cube $[0,1]^n$ that does not contain two elements $\mathbf{x}=(x_1, x_2,\ldots, x_n)$ and $\mathbf{y}=(y_1, y_2,\ldots, y_n)$ satisfying $x_i\le y_i$ for all $i\in \{1,\ldots,n\}$. Using a chain partition of an adequate finite poset we show that the Hausdorff dimension of an $n$-cube antichain is at most $n-1$.We conjecture that the $(n-1)$-dimensional Hausdorff measure of an $n$-cube antichain is at most $n$ times the Hausdorff measure of a facet of the unit $n$-cube and we verify this conjecture for $n=2$ as well as under the assumption that the $n$-cube antichain is a smooth surface. Our proofs employ estimates on the Hausdorff measure of an $n$-cube antichain in terms of the sum of the Hausdorff measures of its injective projections. Moreover, by proceeding along devil's staircase, we construct a $2$-cube antichain whose $1$-dimensional Hausdorff measure equals $2$. Additionally, we discuss a problem with an intersection condition in a similar setting.

Let $n,k,b$ be integers with $1 \le k-1 \le b \le n$ and let $G_{n,k,b}$ be the graph whose vertices are the $k$-element subsets $X$ of $\{0,\dots,n\}$ with $\max(X)-\min(X) \le b$ and where two such vertices $X,Y$ are joined by an edge if $\max(X \cup Y) - \min(X \cup Y) \le b$. These graphs are generated by applying a transformation to maximal $k$-uniform hypergraphs of bandwidth $b$ that is used to reduce the (weak) edge clique covering problem to a vertex clique covering problem. The bandwidth of $G_{n,k,b}$ is thus the largest possible bandwidth of any transformed $k$-uniform hypergraph of bandwidth $b$. For $b\geq \frac{n+k-1}{2}$, the exact bandwidth of these graphs is determined. For $b<\frac{n+k-1}{2}$, the bandwidth is asymptotically determined in the case of $b=o(n)$ and in the case of $b$ growing linearly in $n$ with a factor $β\in (0,0.5]$, where for one case only bounds could be found. It is conjectured that the upper bound of this open case is the right asymptotic value.

The mirror (or bipartite complement) mir(B) of a bipartite graph B=(X,Y,E) has the same color classes X and Y as B, and two vertices x in X and y in Y are adjacent in mir(B) if and only if xy is not in E. A bipartite graph is chordal bipartite if none of its induced subgraphs is a chordless cycle with at least six vertices. In this paper, we deal with chordal bipartite graphs whose mirror is chordal bipartite as well; we call these graphs auto-chordal bipartite graphs (ACB graphs for short). We describe the relationship to some known graph classes such as interval and strongly chordal graphs and we present several characterizations of ACB graphs. We show that ACB graphs have unbounded Dilworth number, and we characterize ACB graphs with Dilworth number k.

Given an edge-weighted graph $G=(V,E)$ and a set $E_0\subset E$, the incremental network design problem with minimum spanning trees asks for a sequence of edges $e'_1,\ldots,e'_T\in E\setminus E_0$ minimizing $\sum_{t=1}^Tw(X_t)$ where $w(X_t)$ is the weight of a minimum spanning tree $X_t$ for the subgraph $(V,E_0\cup\{e'_1,\ldots,e'_t\})$ and $T=\lvert E\setminus E_0\rvert$. We prove that this problem can be solved by a greedy algorithm.