arXiv++ Combinatorics

Let $Π$ be a projective plane of order $n$ and $Γ_Π$ be its Levi graph (the point-line incidence graph). For fixed $k \geq 3$, let $c_{2k}(Γ_Π)$ denote the number of $2k$-cycles in $Γ_Π$. In this paper we show that $$ c_{2k}(Γ_Π) = \frac{1}{2k}n^{2k} + O(n^{2k-2}), \hspace{0.5cm} n \rightarrow \infty. $$ We also state a conjecture regarding the third and fourth largest terms in the asymptotic of the number of $2k$-cycles in $Γ_Π$. This result was also obtained independently by Voropaev in 2012. Let $\text{ex}(v, C_{2k}, \mathcal{C}_{\text{odd}}\cup \{C_4\})$ denote the greatest number of $2k$-cycles amongst all bipartite graphs of order $v$ and girth at least 6. As a corollary of the result above, we obtain $$ \text{ex}(v, C_{2k}, \mathcal{C}_{\text{odd}}\cup \{C_4\}) = \left(\frac{1}{2^{k+1}k}-o(1)\right)v^k, \hspace{0.5cm} v \rightarrow \infty. $$

We highlight new results on the localization number of a graph, a parameter derived from the localization graph searching game. After introducing the game and providing an overview of existing results, we describe recent results on the localization number. We describe bounds or exact values of the localization number of incidence graphs of designs, polarity graphs, and Kneser graphs.

Let $X=(V, E)$ be a finite regular graph and $H_t(u, v), \, u, v \in V$, the heat kernel on $X$. We prove that, if the graph $X$ is bipartite and has four distinct Laplacian eigenvalues, the ratio $H_t(u, v)/H_t(u, u), \, u, v \in V,$ is monotonically non-decreasing as a function of $t$. The key to the proof is the fact that such a graph is an incidence graph of a symmetric 2-design.

We study the metric dimension and optimal split-resolving sets of the point-circle incidence graph of a Möbius plane. We prove that the metric dimension of a Möbius plane of order $q$ is around $2q$, and that an optimal split-resolving set has cardinality between approximately $5q$ and $2.5q\log q$. We also prove that a smallest blocking set of a Möbius plane of order $q$ has at most $2q(1 + \log(q + 1))$ points.

In this short note, we prove the following analog of the Kővári-Sós-Turán theorem for intersection graphs of boxes. If $G$ is the intersection graph of $n$ axis-parallel boxes in $\mathbb{R}^{d}$ such that $G$ contains no copy of $K_{t,t}$, then $G$ has at most $ctn(\log n)^{2d+3}$ edges, where $c=c(d)>0$ only depends on $d$. Our proof is based on exploring connections between boxicity, separation dimension and poset dimension. Using this approach, we also show that a construction of Basit et al. of $K_{2,2}$-free incidence graphs of points and rectangles in the plane can be used to disprove a conjecture of Alon et al. We show that there exist graphs of separation dimension 4 having superlinear number of edges.

A bipartite graph $H = \left(V_1, V_2; E \right)$ with $|V_1| + |V_2| = n$ is semilinear if $V_i \subseteq \mathbb{R}^{d_i}$ for some $d_i$ and the edge relation $E$ consists of the pairs of points $(x_1, x_2) \in V_1 \times V_2$ satisfying a fixed Boolean combination of $s$ linear equalities and inequalities in $d_1 + d_2$ variables for some $s$. We show that for a fixed $k$, the number of edges in a $K_{k,k}$-free semilinear $H$ is almost linear in $n$, namely $|E| = O_{s,k,\varepsilon}(n^{1+\varepsilon})$ for any $\varepsilon > 0$; and more generally, $|E| = O_{s,k,r,\varepsilon}(n^{r-1 + \varepsilon})$ for a $K_{k, \ldots,k}$-free semilinear $r$-partite $r$-uniform hypergraph. As an application, we obtain the following incidence bound: given $n_1$ points and $n_2$ open boxes with axis parallel sides in $\mathbb{R}^d$ such that their incidence graph is $K_{k,k}$-free, there can be at most $O_{k,\varepsilon}(n^{1+\varepsilon})$ incidences. The same bound holds if instead of boxes one takes polytopes cut out by the translates of an arbitrary fixed finite set of halfspaces. We also obtain matching upper and (superlinear) lower bounds in the case of dyadic boxes on the plane, and point out some connections to the model-theoretic trichotomy in $o$-minimal structures (showing that the failure of an almost linear bound for some definable graph allows one to recover the field operations from that graph in a definable manner).

Given a monomial $m$ in a polynomial ring and a subset $L$ of the variables of the polynomial ring, the principal $L$-Borel ideal generated by $m$ is the ideal generated by all monomials which can be obtained from $m$ by successively replacing variables of $m$ by those which are in $L$ and have smaller index. Given a collection $\mathcal{I}=\{I_1,\ldots,I_r\}$ where $I_i$ is $L_i$-Borel for $i=1,\ldots,r$ (where the subsets $L_1,\ldots,L_r$ may be different for each ideal), we prove in essence that if the bipartite incidence graph among the subsets $L_1,\ldots,L_r$ is chordal bipartite, then the defining equations of the multi-Rees algebra of $\mathcal{I}$ has a Gröbner basis of quadrics with squarefree lead terms under lexicographic order. Thus the multi-Rees algebra of such a collection of ideals is Koszul, Cohen-Macaulay, and normal. This significantly generalizes a theorem of Ohsugi and Hibi on Koszul bipartite graphs. As a corollary we obtain that the multi-Rees algebra of a collection of principal Borel ideals is Koszul. To prove our main result we use a fiber-wise Gröbner basis criterion for the kernel of a toric map and we introduce a modification of Sturmfels' sorting algorithm.

A hypergraph $\mathcal H$ is super-pancyclic if for each $A \subseteq V(\mathcal H)$ with $|A| \geq 3$, $\mathcal H$ contains a Berge cycle with base vertex set $A$. We present two natural necessary conditions for a hypergraph to be super-pancyclic, and show that in several classes of hypergraphs these necessary conditions are also sufficient for this. In particular, they are sufficient for every hypergraph $\mathcal H$ with $ δ(\mathcal H)\geq \max\{|V(\mathcal H)|, \frac{|E(\mathcal H)|+10}{4}\}$. We also consider super-cyclic bipartite graphs: those are $(X,Y)$-bigraphs $G$ such that for each $A \subseteq X$ with $|A| \geq 3$, $G$ has a cycle $C_A$ such that $V(C_A)\cap X=A$. Such graphs are incidence graphs of super-pancyclic hypergraphs, and our proofs use the language of such graphs.

We study the localization number of incidence graphs of designs. In the localization game played on a graph, the cops attempt to determine the location of an invisible robber via distance probes. The localization number of a graph $G$, written $ζ(G)$, is the minimum number of cops needed to ensure the robber's capture. We present bounds on the localization number of incidence graphs of balanced incomplete block designs. Exact values of the localization number are given for the incidence graphs of projective and affine planes. Bounds are given for Steiner systems and for transversal designs.

In the language of hypergraphs, our main result is a Dirac-type bound: we prove that every $3$-connected hypergraph $H$ with $ δ(H)\geq \max\{|V(H)|, \frac{|E(H)|+10}{4}\}$ has a hamiltonian Berge cycle. This is sharp and refines a conjecture by Jackson from 1981 (in the language of bipartite graphs). Our proofs are in the language of bipartite graphs, since the incidence graph of each hypergraph is bipartite.

It is customary to identify sparse matrices with the corresponding adjacency or incidence graph. For the solution of linear systems of equations using Gaussian elimination, the representation by its adjacency graph allows a symbolic computation that can be used to predict memory footprints and enables the determination of near-optimal elimination orderings based on heuristics. The Hermitian eigenvalue problem on the other hand seems to evade such treatment at first glance due to its inherent iterative nature. In this paper we prove this assertion wrong by showing the equivalence of the Hermitian eigenvalue problem with a symbolic edge elimination procedure. A symbolic calculation based on the incidence graph of the matrix can be used in analogy to the symbolic phase of Gaussian elimination to develop heuristics which reduce memory footprint and computations. Yet, we also show that the question of an optimal elimination strategy remains NP-hard, in analogy to the linear systems case.

A classical result by Erdős, and later on by Bondy and Simonivits, states that every $n$-vertex graph with no cycle of length $2k$ has at most $O(n^{1+1 /k})$ edges. This bound is known to be tight when $k \in \{2,3,5\},$ but it is a major open problem in extremal graph theory to decide if this bound is tight for all $k$. In this paper, we study the effect of forbidding short even cycles in incidence graphs of point-line arrangements in the plane. It is not known if the Erdős upper bound stated above can be improved to $o(n^{1+1/k})$ in this geometric setting, and in this note, we establish non-trivial lower bounds for this problem by modifying known constructions arising in finite geometries. In particular, by modifying a construction due to Labeznik and Ustimenko, we construct an arrangement of $n$ points and $n$ lines in the plane, such that their incidence graph has girth at least $k + 5$, and determines at least $Ω({n^{1+\frac{4}{k^2+6k-3}}})$ incidences. We also apply the same technique to Wenger graphs, which gives a better lower bound for $k=5.$

The \emph{packing chromatic number $χ_ρ(G)$} of a graph $G$ is the smallest integer $k$ for which there exists a vertex coloring $Γ: V(G)\rightarrow \{1,2,\dots , k\}$ such that any two vertices of color $i$ are at distance at least $i + 1$. For $g\in \{6,8,12\}$, $(q+1,g)$-Moore graphs are $(q+1)$-regular graphs with girth $g$ which are the incidence graphs of a symmetric generalized $g/2$-gons of order $q$. In this paper we study the packing chromatic number of a $(q+1,g)$-Moore graph $G$. For $g=6$ we present the exact value of $χ_ρ(G)$. For $g=8$, we determine $χ_ρ(G)$ in terms of the intersection of certain structures in generalized quadrangles. For $g=12$, we present lower and upper bounds for this invariant when $q\ge 9$ an odd prime power.

This paper considers three imprimitive distance-regular graphs with 486 vertices and diameter 4: the Koolen--Riebeek graph (which is bipartite), the Soicher graph (which is antipodal), and the incidence graph of a symmetric transversal design obtained from the affine geometry $\mathrm{AG}(5,3)$ (which is both). It is shown that each of these is preserved by the same rank-9 action of the group $3^5:(2\times M_{10})$, and the connection is explained using the ternary Golay code.

Van der Holst and Pendavingh introduced a graph parameter $σ$, which coincides with the more famous Colin de Verdière graph parameter $μ$ for small values. However, the definition of $σ$ is much more geometric/topological directly reflecting embeddability properties of the graph. They proved $μ(G) \leq σ(G) + 2$ and conjectured $μ(G) \leq σ(G)$ for any graph $G$. We confirm this conjecture. As far as we know, this is the first topological upper bound on $μ(G)$ which is, in general, tight. Equality between $μ$ and $σ$ does not hold in general as van der Holst and Pendavingh showed that there is a graph $G$ with $μ(G) \leq 18$ and $σ(G)\geq 20$. We show that the gap appears on much smaller values, namely, we exhibit a graph $H$ for which $μ(H)\leq 7$ and $σ(H)\geq 8$. We also prove that, in general, the gap can be large: The incidence graphs $H_q$ of finite projective planes of order $q$ satisfy $μ(H_q) \in O(q^{3/2})$ and $σ(H_q) \geq q^2$.

We find Dirac-type sufficient conditions for a hypergraph $\mathcal H$ with few edges to be hamiltonian. We also show that these conditions provide that $\mathcal H$ is {\em super-pancyclic}, i.e., for each $A \subseteq V(\mathcal H)$ with $|A| \geq 3$, $\mathcal H$ contains a Berge cycle with vertex set $A$. We mostly use the language of bipartite graphs, because every bipartite graph is the incidence graph of a multihypergraph. In particular, we extend some results of Jackson on the existence of long cycles in bipartite graphs where the vertices in one part have high minimum degree. Furthermore, we prove a conjecture of Jackson from 1981 on long cycles in 2-connected bipartite graphs.

Recent results show that the structural similarity of graphs can be characterized by counting homomorphisms to them: the Tree Theorem states that the well-known color-refinement algorithm does not distinguish two graphs G and H if and only if, for every tree T, the number of homomorphisms Hom(T,G) from T to G is equal to the corresponding number Hom(T,H) from T to H (Dell, Grohe, Rattan 2018). We show how this approach transfers to hypergraphs by introducing a generalization of color refinement. We prove that it does not distinguish two hypergraphs G and H if and only if, for every connected Berge-acyclic hypergraph B, we have Hom(B,G) = Hom(B,H). To this end, we show how homomorphisms of hypergraphs and of a colored variant of their incidence graphs are related to each other. This reduces the above statement to one about vertex-colored graphs.

A graph ${\mathcal G}$ is locally X if the graphs induced on the neighbours of every vertex of ${\mathcal G}$ are isomorphic to the graph $X$. We prove that the infinite family of incidence graphs of the $r$-rank incidence geometries, $Γ(KG(n,k),r)$, constructed using the Kneser graphs $KG(n,k)$, are locally $X$ with $X$ being the incidence graphs of the rank $r-1$ residues of $Γ(KG(n,k),r)$.

A tetravalent $2$-arc-transitive graph of order $728$ is either the known $7$-arc-transitive incidence graph of the classical generalized hexagon $GH(3,3)$ or a normal cover of a $2$-transitive graph of order $182$ denoted $A[182,1]$ or $A[182,2]$ in the $2009$ list of Potočnik.

Given $m$ points and $n$ hyperplanes in $\mathbb{R}^d$, if there are many incidences, we expect to find a big cluster $K_{r,s}$ in their incidence graph. Apfelbaum and Sharir found lower and upper bounds for the largest size of $rs$, which only match in three dimensions. In this paper we close the gap in four and five dimensions, up to some logarithmic factors.