arXiv++ Combinatorics

For a positive integer $n$, a graph with at least $n$ vertices is $n$-existentially closed or simply $n$-e.c. if for any set of vertices $S$ of size $n$ and any set $T\subseteq S$, there is a vertex $x\not\in S$ adjacent to each vertex of $T$ and no vertex of $S\setminus T$. We extend this concept to uniform hypergraphs, find necessary conditions for $n$-e.c. hypergraphs to exist, and prove that random uniform hypergraphs are asymptotically $n$-existentially closed. We then provide constructions to generate infinitely many examples of $n$-e.c. hypergraphs. In particular, these constructions use certain combinatorial designs as ingredients, adding to the ever-growing list of applications of designs.

A graph $G$ is {\it $n$-existentially closed} if, for all disjoint sets of vertices $A$ and $B$ with $|A\cup B|=n$, there is a vertex $z$ not in $A\cup B$ adjacent to each vertex of $A$ and to no vertex of $B$. In this paper, we investigate $n$-existentially closed line graphs. In particular, we present necessary conditions for the existence of such graphs as well as constructions for finding infinite families of such graphs. We also prove that there are exactly two $2$-existentially closed planar line graphs. We then consider the existential closure of the line graphs of hypergraphs and present constructions for $2$-existentially closed line graphs of hypergraphs.

A graph or hypergraph is said to be vertex-transitive if its automorphism group acts transitively upon its vertices. A classic theorem of Mader asserts that every connected vertex-transitive graph is maximally edge-connected. We generalise this result to hypergraphs and show that every connected linear uniform vertex-transitive hypergraph is maximally edge-connected. We also show that if we relax either the linear or uniform conditions in this generalisation, then we can construct examples of vertex-transitive hypergraphs which are not maximally edge-connected.