arXiv++ Combinatorics

For a finite graph $H$, a connectivity graph-code is a family $\mathcal C\subseteq 2^{E(H)}$ such that $A\triangle B$ is a connected spanning subgraph of $H$ whenever $A$ and $B$ are distinct members of $\mathcal C$. Let $m(H)$ denote the maximum size of such a family, and let $f(d)$ be the largest integer $q$ for which $m(H)=q$ for infinitely many pairwise nonisomorphic $d$-regular graphs $H$. Restricting codewords to the edges incident with a vertex gives $f(d)\leq 2^d$. Alon proved equality for all sufficiently large $d$ and asked whether it holds for every $d\geq 4$. We answer this question affirmatively. More precisely, for every $d\geq 4$ we construct infinitely many finite simple $d$-regular bipartite graphs carrying a linear connectivity graph-code of dimension $d$. The construction begins with a vector-labelled copy of $K_{d,d}$. For $d\geq 7$, the required labelling follows from a probabilistic count over an irreducible conjugacy class in $\mathrm{GL}_d(2)$; explicit matrices, verified by a short exact exhaustive program, cover $d=4,5,6$. Cyclic voltage lifts then produce the required infinite families.

We study Frankl's union-closed sets conjecture through the height of the inclusion poset. Working in the equivalent empty-set-free formulation, where one seeks an element contained in strictly more than half of the members, we prove the conjecture for every finite union-closed family of height at most four. Equivalently, the usual at-least-half formulation holds for every union-closed family containing the empty set and having height at most five. We also develop a structural theory for the next unresolved case. Assuming a smallest empty-set-free counterexample of height at most five, we show that it has even cardinality $2t$, at least three critical elements of frequency $t$, and satisfies the minimal-counterexample bound $t \geq 2n-1$. Every critical element determines a coatom of the form $U \setminus \{x\}$, while every critical pair satisfies a dichotomy between a full double-avoidance top and a large avoidance fiber admitting a three-layer trace normal form. Coordinate deletion further yields an exact matching-defect obstruction. Finally, introducing the minimum number of join-irreducible members required to cover all critical elements, we exclude the five-cover case and show that this critical join-cover number is either three or four. These results substantially constrain any possible height-five counterexample while leaving the remaining transfer problem explicit.

For each given union-closed family F of n elements and m sets, we discuss the union-closed sets conjecture from height number of the UC family, which is a natural parameter from lattice theory. In this paper, we call it height number of F(n, m), recorded as H(F). we prove that for any given union-closed family F, union-closed sets conjecture holds if its height number H(F) no more than 3 or no less than n-1. Since the height number H(F) is a positive integer which is bounded between 1 to n. As an attempted approach and framework, if we can prove union-closed sets conjecture holds for all possible value of H(F), then union-closed sets conjecture is true.