arXiv++ Combinatorics

We study a finite form of the classical interval discrepancy problem. Starting from the unit interval, one repeatedly splits an existing interval into two until $n$ intervals have been produced. The discrepancy of such a process is the maximum, over all intermediate stages, of the ratio between the longest interval and the shortest interval. A theorem of de Bruijn and Erdős from 1949 shows that this ratio must approach $2$ as $n\to\infty$, and they give a sharp construction achieving this bound. For fixed $n$, their construction gives the upper bound $\text{disc}(n)\leq 2-\frac{3}{2n}+O(1/n^2)$. In this paper, we improve the first-order term of this bound. Specifically, we construct a strategy, called \emph{lex-merge}, with $\text{disc}(n)\leq 2-\frac{4\ln 2}{n}+O(1/n^2)$. We prove also the lower bound $\text{disc}(n)\geq 2-\frac{6\ln 2}{n}-O(1/n^2)$, showing that the first-order term in this improvement over the de Bruijn--Erdős construction has the correct order of magnitude. We conjecture that the lex-merge strategy is optimal for every $n$.

The definition of edge-regularity in graphs is a relaxation of the definition of strong regularity, so strongly regular graphs are edge-regular and, not surprisingly, the family of edge-regular graphs is much larger and more diverse than that of the strongly regular. In [1], a few methods of constructing new graphs from old are of use. One of these is the unary "graph shadow" operation. Here, this operation is generalized, and then generalized again, and conditions are given under which application of the new operations to edge-regular graphs result in edge-regular graphs. Also, some attention to strongly regular graphs is given.

In 1985, Golumbic and Scheinerman established an equivalence between comparability graphs and containment graphs, graphs whose vertices represent sets, with edges indicating set containment. A few years earlier, McMorris and Zaslavsky characterized upper bound graphs, those derived from partially ordered sets where two elements share an edge if they have a common upper bound, by a specific edge clique cover condition. In this paper, we introduce a unifying framework for these results using finite point set topologies. Given a finite topology, we define a graph whose vertices correspond to its elements, with edges determined by intersections of their minimal containing sets, where intersection is understood in terms of the topological separation axioms. This construction yields a natural sequence of graph classes, one for each separation axiom, that connects and extends both classical results in a structured and intuitive way.

A shared neighborhood structure (SNS) in a graph is a subgraph induced by the intersection of the open neighbor sets of two adjacent vertices. If a SNS is the same for all adjacent vertices in an edge-regular graph, call the SNS a uniform shared neighborhood structure (USNS). USNS-forbidden graphs (graphs which cannot be a USNS of an edge-regular graph) and USNS in graph products of edge-regular graphs are examined.