Cross-intersecting non-empty uniform subfamilies of hereditary families

A set $A$ $t$-intersects a set $B$ if $A$ and $B$ have at least $t$ common elements. A set of sets is called a family. Two families $\mathcal{A}$ and $\mathcal{B}$ are cross-$t$-intersecting if each set in $\mathcal{A}$ $t$-intersects each set in $\mathcal{B}$. A family $\mathcal{H}$ is hereditary if for each set $A$ in $\mathcal{H}$, all the subsets of $A$ are in $\mathcal{H}$. The $r$th level of $\mathcal{H}$, denoted by $\mathcal{H}^{(r)}$, is the family of $r$-element sets in $\mathcal{H}$. A set $B$ in $\mathcal{H}$ is a base of $\mathcal{H}$ if for each set $A$ in $\mathcal{H}$, $B$ is not a proper subset of $A$. Let $\mu(\mathcal{H})$ denote the size of a smallest base of $\mathcal{H}$. We show that for any integers $t$, $r$, and $s$ with $1 \leq t \leq r \leq s$, there exists an integer $c(r,s,t)$ such that the following holds for any hereditary family $\mathcal{H}$ with $\mu(\mathcal{H}) \geq c(r,s,t)$. If $\mathcal{A}$ is a non-empty subfamily of $\mathcal{H}^{(r)}$, $\mathcal{B}$ is a non-empty subfamily of $\mathcal{H}^{(s)}$, $\mathcal{A}$ and $\mathcal{B}$ are cross-$t$-intersecting, and $|\mathcal{A}| + |\mathcal{B}|$ is maximum under the given conditions, then for some set $I$ in $\mathcal{H}$ with $t \leq |I| \leq r$, either $\mathcal{A} = \{A \in \mathcal{H}^{(r)} \colon I \subseteq A\}$ and $\mathcal{B} = \{B \in \mathcal{H}^{(s)} \colon |B \cap I| \geq t\}$, or $r = s$, $t < |I|$, $\mathcal{A} = \{A \in \mathcal{H}^{(r)} \colon |A \cap I| \geq t\}$, and $\mathcal{B} = \{B \in \mathcal{H}^{(s)} \colon I \subseteq B\}$. This was conjectured by the author for $t=1$ and generalizes well-known results for the case where $\mathcal{H}$ is a power set.Comment: 15 pages. arXiv admin note: text overlap with arXiv:1805.0524

A Hilton–Milner-type theorem and an intersection conjecture for signed sets

A family A of sets is said to be intersecting if any two sets in A intersect (i.e. have at least one common element). A is said to be centred if there is an element common to all the sets in A; otherwise, A is said to be non-centred. For any r ∈ [n] := {1, . . . , n} and any integer k ≥ 2, let Sn,r,k be the family {{(x1, y1), . . . , (xr, yr)}: x1, . . . , xr are distinct elements of [n], y1, . . . , yr ∈ [k]} of k-signed r-sets on [n]. Let m := max{0, 2r−n}.We establish the following Hilton–Milner-type theorems, the second of which is proved using the first: (i) If A1 and A2 are non-empty cross-intersecting (i.e. any set in A1 intersects any set in A2) sub-families of Sn,r,k, then |A1| + |A2| ≤ n R K r −r i=m r I (k − 1) I n – r r – I K r−i + 1. (ii) If A is a non-centred intersecting sub-family of Sn,r,k, 2 ≤ r ≤ n, then |A| ≤ n – 1 r – 1 K r−1 −r−1 i=m r I (k − 1) I n − 1 – r r − 1 – I K r−1−i + 1 if r < n; k r−1 − (k − 1) r−1 + k − 1 if r = n. We also determine the extremal structures. (ii) is a stability theorem that extends Erdős–Ko–Rado-type results proved by various authors. We then show that (ii) leads to further evidence for an intersection conjecture suggested by the author about general signed set systems.peer-reviewe

Contributions on secretary problems, independent sets of rectangles and related problems

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2011.Cataloged from PDF version of thesis.Includes bibliographical references (p. 187-198).We study three problems arising from different areas of combinatorial optimization. We first study the matroid secretary problem, which is a generalization proposed by Babaioff, Immorlica and Kleinberg of the classical secretary problem. In this problem, the elements of a given matroid are revealed one by one. When an element is revealed, we learn information about its weight and decide to accept it or not, while keeping the accepted set independent in the matroid. The goal is to maximize the expected weight of our solution. We study different variants for this problem depending on how the elements are presented and on how the weights are assigned to the elements. Our main result is the first constant competitive algorithm for the random-assignment random-order model. In this model, a list of hidden nonnegative weights is randomly assigned to the elements of the matroid, which are later presented to us in uniform random order, independent of the assignment. The second problem studied is the jump number problem. Consider a linear extension L of a poset P. A jump is a pair of consecutive elements in L that are not comparable in P. Finding a linear extension minimizing the number of jumps is NP-hard even for chordal bipartite posets. For the class of posets having two directional orthogonal ray comparability graphs, we show that this problem is equivalent to finding a maximum independent set of a well-behaved family of rectangles. Using this, we devise combinatorial and LP-based algorithms for the jump number problem, extending the class of bipartite posets for which this problem is polynomially solvable and improving on the running time of existing algorithms for certain subclasses. The last problem studied is the one of finding nonempty minimizers of a symmetric submodular function over any family of sets closed under inclusion. We give an efficient O(ns)-time algorithm for this task, based on Queyranne's pendant pair technique for minimizing unconstrained symmetric submodular functions. We extend this algorithm to report all inclusion-wise nonempty minimal minimizers under hereditary constraints of slightly more general functions.by José Antonio Soto.Ph.D

Geometric Graphs with Unbounded Flip-Width

We consider the flip-width of geometric graphs, a notion of graph width recently introduced by Toru\'nczyk. We prove that many different types of geometric graphs have unbounded flip-width. These include interval graphs, permutation graphs, circle graphs, intersection graphs of axis-aligned line segments or axis-aligned unit squares, unit distance graphs, unit disk graphs, visibility graphs of simple polygons, $\beta$-skeletons, 4-polytopes, rectangle of influence graphs, and 3d Delaunay triangulations.Comment: 10 pages, 7 figures. To appear at CCCG 202