graph
34516 papers tagged with this keyword
Bipartite $q$-Kneser graphs and two-generated irreducible linear groups
Published
• View Publication
• BIB
Let $V:=(\mathbb{F}_q)^d$ be a $d$-dimensional vector space over the field $\mathbb{F}_q$ of order $q$. Fix positive integers $e_1,e_2$ satisfying $e_1+e_2=d$. Motivated by analysing a fundamental algorithm in computational group theory for recognising classical groups, we consider a certain quantity $P(e_1,e_2)$ which arises in both graph theory and group representation theory: $P(e_1,e_2)$ is the proportion of $3$-walks in the `bipartite $q$-Kneser graph' $Γ_{e_1,e_2}$ that are closed $3$-arcs. We prove that, for a group $G$ satisfying ${\rm SL}_d(q)\leqslant G\leqslant{\rm GL}_d(q)$, the proportion of certain element-pairs in $G$ called `$(e_1,e_2)$-stingray duos' which generate an irreducible subgroup is also equal to $P(e_1,e_2)$. We give an exact formula for $P(e_1,e_2)$, and prove that $1-q^{-1}-q^{-2}< P(e_1,e_2)< 1-q^{-1}-q^{-2}+2q^{-3}-2q^{-5}$ for $2\leqslant e_2\leqslant e_1$ and $q\geqslant2$.These bounds have implications for the complexity analysis of the state-of-the-art algorithms to recognise classical groups, which we discuss in the final section.
Majority distinguishing edge coloring
We consider edge colorings of graphs. An edge coloring is a majority coloring if for every vertex at most half of the edges incident with it are in one color. And edge coloring is a distinguishing coloring if for every non-trivial automorphism at least one edge changes its color. We consider these two notions together. We show that every graph without pendant edges has a majority distinguishing edge coloring with at most $\lceil\sqrtΔ\rceil+5$ colors. Moreover, we show results for some classes of graphs and a~general result for symmetric digraphs.
On the (non-)existence of tight distance-regular graphs: a local approach
Published in Electron. J. Combin. 31(2) (2024), #P2.25
• View Publication
• BIB
Let $Γ$ denote a distance-regular graph with diameter $D\geq 3$. Jurišić and Vidali conjectured that if $Γ$ is tight with classical parameters $(D,b,α,β)$, $b\geq 2$, then $Γ$ is not locally the block graph of an orthogonal array nor the block graph of a Steiner system. In the present paper, we prove this conjecture and, furthermore, extend it from the following aspect. Assume that for every triple of vertices $x, y, z$ of $Γ$, where $x$ and $y$ are adjacent, and $z$ is at distance $2$ from both $x$ and $y$, the number of common neighbors of $x$, $y$, $z$ is constant. We then show that if $Γ$ is locally the block graph of an orthogonal array (resp. a Steiner system) with smallest eigenvalue $-m$, $m\geq 3$, then the intersection number $c_2$ is not equal to $m^2$ (resp. $m(m+1)$). Using this result, we prove that if a tight distance-regular graph $Γ$ is not locally the block graph of an orthogonal array or a Steiner system, then the valency (and hence diameter) of $Γ$ is bounded by a function in the parameter $b=b_1/(1+θ_1)$, where $b_1$ is the intersection number of $Γ$ and $θ_1$ is the second largest eigenvalue of $Γ$.
Geometric constructions of small regular graphs with girth 7
Published
• View Publication
• BIB
We present simple, geometric constructions for small regular graphs of girth 7 from the incidence graphs of some generalized quadrangles. We obtain infinite families of (q-1)-regular, q-regular and (q + 1)-regular graphs of girth 7, for q a prime power. Some of them have the smallest order known so far.
Distribution of signless Laplacian eigenvalues and graph invariants
Published
• View Publication
• BIB
For a simple graph on $n$ vertices, any of its signless Laplacian eigenvalues is in the interval $[0, 2n-2]$. In this paper, we give relationships between the number of signless Laplacian eigenvalues in specific intervals in $[0, 2n-2]$ and graph invariants including matching number and diameter.
The inertia bound is far from tight
Published
• View Publication
• BIB
The inertia bound and ratio bound (also known as the Cvetković bound and Hoffman bound) are two fundamental inequalities in spectral graph theory, giving upper bounds on the independence number $α(G)$ of a graph $G$ in terms of spectral information about a weighted adjacency matrix of $G$. For both inequalities, given a graph $G$, one needs to make a judicious choice of weighted adjacency matrix to obtain as strong a bound as possible.
While there is a well-established theory surrounding the ratio bound, the inertia bound is much more mysterious, and its limits are rather unclear. In fact, only recently did Sinkovic find the first example of a graph for which the inertia bound is not tight (for any weighted adjacency matrix), answering a longstanding question of Godsil. We show that the inertia bound can be extremely far from tight, and in fact can significantly underperform the ratio bound: for example, one of our results is that for infinitely many $n$, there is an $n$-vertex graph for which even the unweighted ratio bound can prove $α(G)\leq 4n^{3/4}$, but the inertia bound is always at least $n/4$. In particular, these results address questions of Rooney, Sinkovic, and Wocjan--Elphick--Abiad.
Mean distance on metric graphs
Published
• View Publication
• BIB
We introduce a natural notion of mean (or average) distance in the context of compact metric graphs, and study its relation to geometric properties of the graph. We show that it exhibits a striking number of parallels to the reciprocal of the spectral gap of the graph Laplacian with standard vertex conditions: it is maximised among all graphs of fixed length by the path graph (interval), or by the loop in the restricted class of doubly connected graphs, and it is minimised among all graphs of fixed length and number of edges by the equilateral flower graph. We also establish bounds for the correctly scaled product of the spectral gap and the square of the mean distance which depend only on combinatorial, and not metric, features of the graph. This raises the open question whether this product admits absolute upper and lower bounds valid on all compact metric graphs.
Ramsey goodness of $k$-uniform paths, or the lack thereof
Published
• View Publication
• BIB
Given a pair of $k$-uniform hypergraphs $(G,H)$, the Ramsey number of $(G,H)$, denoted by $R(G,H)$, is the smallest integer $n$ such that in every red/blue-colouring of the edges of $K_n^{(k)}$ there exists a red copy of $G$ or a blue copy of $H$. Burr showed that, for any pair of graphs $(G,H)$, where $G$ is large and connected, $R(G,H) \geq (v(G)-1)(χ(H)-1)+σ(H)$, where $σ(H)$ stands for the minimum size of a colour class over all proper $χ(H)$-colourings of $H$. We say that $G$ is $H$-good if $R(G,H)$ is equal to the general lower bound. Burr showed that, for any graph~$H$, every sufficiently long path is $H$-good.
Our goal is to explore the notion of Ramsey goodness in the setting of $k$-uniform hypergraphs. We demonstrate that, in stark contrast to the graph case, $k$-uniform $\ell$-paths are not $H$-good for a large class of $k$-graphs. On the other hand, we prove that long loose paths are always at least asymptotically $H$-good for every $H$ and derive lower and upper bounds that are best possible in a certain sense.
In the 3-uniform setting, we complement our negative result with a positive one, in which we determine the Ramsey number asymptotically for pairs containing a long tight path and a 3-graph $H$ when $H$ belongs to a certain family of hypergraphs. This extends a result of Balogh, Clemen, Skokan, and Wagner for the Fano plane asymptotically to a much larger family of 3-graphs.
The infinite Fibonacci cube and its generalizations
The Fibonacci cube $Γ_n$ is is the graph whose vertices are independent subsets of the path graph of length $n$, where two such vertices are considered adjacent if they differ by the addition or removal of a single element. Klavžar [1] suggested considering the infinite Fibonacci cube $Γ_\infty$ whose vertices are independent subsets of the one-way infinite path graph with the same adjacency condition. We show that every connected component of $Γ_\infty$ is asymmetric (has no nontrivial automorphism) and no two connected components of $Γ_\infty$ are isomorphic. This follows from our results on a further generalization $Γ_G$ where $G$ is a simple, locally finite hypergraph with no isolated vertices.
Graph Polynomials for the Numbers of Independent Sets and Bipartite Cuts for Undirected Graphs
The graph polynomial for the number of independent sets of size $k$ in a general undirected graph is shown to be equal to an elementary symmetric polynomial of the vertex monomials, which are determined by the edges incident at the vertices. The edge variables that comprise the vertex monomials are shown to be nilpotent of degree two. The index of nilpotency of the algebra generated by the graph's vertex monomials is the order of a maximum independent set of the graph. Graph polynomials for the number of cliques and vertex covers are derived from the graph polynomial for independent sets. The graph polynomial for the number of bipartite cuts is given as a coefficient of a multivariate Laurent polynomial.
Realizing abstract simplicial complexes with specified edge lengths
For finite abstract simplicial complex $Σ$, initial realization $α$ in $\mathbb{E}^d$, and desired edge lengths $L$, we give practical sufficient conditions for the existence of a non-self-intersecting perturbation of $α$ realizing the lengths $L$. We provide software to verify these conditions by computer and optionally assist in the creation of an initial realization from abstract simplicial data. Applications include proving the existence of a planar embedding of a graph with specified edge lengths or proving the existence of polyhedra (or higher-dimensional polytopes) with specified edge lengths.
Irreducible pairings and indecomposable tournaments
We only consider finite structures. With every totally ordered set $V$ and a subset $P$ of $\binom{V}{2}$, we associate the underlying tournament ${\rm Inv}(\underline{V}, P)$ obtained from the transitive tournament $\underline{V}:=(V, \{(x,y) \in V \times V : x < y \})$ by reversing $P$, i.e., by reversing the arcs $(x,y)$ such that $\{x,y\} \in P$. The subset $P$ is a pairing (of $\cup P$) if $|\cup P| = 2|P|$, a quasi-pairing (of $\cup P$) if $|\cup P| = 2|P|-1$; it is irreducible if no nontrivial interval of $\cup P$ is a union of connected components of the graph $(\cup P, P)$. In this paper, we consider pairings and quasi-pairings in relation to tournaments. We establish close relationships between irreducibility of pairings (or quasi-pairings) and indecomposability of their underlying tournaments under modular decomposition. For example, given a pairing $P$ of a totally ordered set $V$ of size at least $6$, the pairing $P$ is irreducible if and only if the tournament ${\rm Inv}(\underline{V}, P)$ is indecomposable. This is a consequence of a more general result characterizing indecomposable tournaments obtained from transitive tournaments by reversing pairings. We obtain analogous results in the case of quasi-pairings.
On The Maximum Linear Arrangement Problem for Trees
Linear arrangements of graphs are a well-known type of graph labeling and are found in many important computational problems, such as the Minimum Linear Arrangement Problem ($\texttt{minLA}$). A linear arrangement is usually defined as a permutation of the $n$ vertices of a graph. An intuitive geometric setting is that of vertices lying on consecutive integer positions in the real line, starting at 1; edges are often drawn as semicircles above the real line. In this paper we study the Maximum Linear Arrangement problem ($\texttt{MaxLA}$), the maximization variant of $\texttt{minLA}$. We devise a new characterization of maximum arrangements of general graphs, and prove that $\texttt{MaxLA}$ can be solved for cycle graphs in constant time, and for $k$-linear trees ($k\le2$) in time $O(n)$. We present two constrained variants of $\texttt{MaxLA}$ we call $\texttt{bipartite MaxLA}$ and $\texttt{1-thistle MaxLA}$. We prove that the former can be solved in time $O(n)$ for any bipartite graph; the latter, by an algorithm that typically runs in time $O(n^4)$ on unlabelled trees. The combination of the two variants has two promising characteristics. First, it solves $\texttt{MaxLA}$ for almost all trees consisting of a few tenths of nodes. Second, we prove that it constitutes a $3/2$-approximation algorithm for $\texttt{MaxLA}$ for trees. Furthermore, we conjecture that $\texttt{bipartite MaxLA}$ solves $\texttt{MaxLA}$ for at least $50\%$ of all free trees.
Coxeter interchange graphs
Published in Ann. Comb. (2025)
• View Publication
• BIB
Brualdi and Li introduced tournament interchange graphs. In such a graph, each vertex represents a tournament. Traversing an edge corresponds to reversing a cyclically directed triangle. Such a triangle is neutral, in that its reversal does not affect the score sequence. An interchange graph encodes the combinatorics of the set of tournaments with a given score sequence, or equivalently, of a given fiber of the classical permutahedron from discrete geometry.
Coxeter tournaments were introduced by the first author and Sanchez, in relation to the Coxeter permutahedra in Ardila, Castillo, Eur and Postnikov. Coxeter tournaments have collaborative and solitaire games, in addition to the usual competitive games in classical tournaments.
We introduce Coxeter interchange graphs. These graphs are more intricate, as there are multiple neutral structures at play, which interact with one another. Our main result shows that the Coxeter interchange graphs are regular, and we describe the degree geometrically, in terms of distances in the Coxeter permutahedra. We also characterize the set of score sequences of Coxeter tournaments, generalizing a classical result of Landau.
The Gonality of Queen's Graphs
In this paper we study queen's graphs, which encode the moves by a queen on an $n\times m$ chess board, through the lens of chip-firing games. We prove that their gonality is equal to $nm$ minus the independence number of the graph, and give a one-to-one correspondence between maximum independent sets and classes of positive rank divisors achieving gonality. We also prove an identical result for toroidal queen's graphs.
On the oriented diameter of near planar triangulations
In this paper, we show that the oriented diameter of any $n$-vertex $2$-connected near triangulation is at most $\lceil{\frac{n}{2}}\rceil$ (except for seven small exceptions), and the upper bound is tight. This extends a result of Wang et.al. on the oriented diameter of maximal outerplanar graphs, and improves an upper bound of $n/2+O(\sqrt{n})$ on the oriented diameter of planar triangulations by Mondal, Parthiban and Rajasingh.
Connectivity Preserving Hamiltonian Cycles in $k$-Connected Dirac Graphs
We show that for $k \geq 2$, there exists a function $f(k) = O(k)$ such that every $k$-connected graph $G$ of order $n \geq f(k)$ with minimum degree at least $\frac{n}{2}$ contains a Hamiltonian cycle $H$ such that $G-E(H)$ is $k$-connected. Applying Nash-Williams' result on edge-disjoint Hamiltonian cycles, we also show that for $k \geq 2$ and $\ell \geq 2$, there exists a function $g(k,\ell) = O(k\ell)$ such that every $k$-connected graph $G$ of order $n \geq g(k,\ell)$ with minimum degree at least $\frac{n}{2}$ contains $\ell$ edge-disjoint Hamiltonian cycles $H_1,H_2,\ldots,H_\ell$ such that $G-\cup_{1 \leq i \leq \ell}E(H_i)$ is $k$-connected. As a corollary, we have a statement that refines the result of Nash-Williams for $k$-connected graphs with $k \leq 8$. Moreover, when the connectivity of $G$ is exactly $k$, a similar result with an improved lower bound on $n$ can be shown, which does not depend on the result of Nash-Williams.
Non-backtracking eigenvalues and eigenvectors of random regular graphs and hypergraphs
The non-backtracking operator of a graph is a powerful tool in spectral graph theory and random matrix theory. Most existing results for the non-backtracking operator of a random graph concern only eigenvalues or top eigenvectors. In this paper, we take the first step in analyzing its bulk eigenvector behaviors. We demonstrate that for the non-backtracking operator $B$ of a random $d$-regular graph, its eigenvectors corresponding to nontrivial eigenvalues are completely delocalized with high probability. Additionally, we show complete delocalization for a reduced $2n \times 2n$ non-backtracking matrix $\tilde{B}$. By projecting all eigenvalues of $\tilde{B}$ onto the real line, we obtain an empirical measure that converges weakly in probability to the Kesten-McKay law for fixed $d\geq 3$ and to a semicircle law as $d \to\infty$ with $n \to\infty$. We extend our analysis to random regular hypergraphs, including the limiting measure of the real part of the spectrum for $\tilde{B}$, $\ell_{\infty}$-norm bounds for the eigenvectors of $\tilde{B}$ and $B$, and a deterministic relation between eigenvectors of $B$ and the eigenvectors of the adjacency matrix.
As an application, we analyze the non-backtracking spectrum of the regular stochastic block model (RSBM) and provide a spectral method based on eigenvectors of $\tilde{B}$ to recover the community structure exactly. We also show that there exists an isolated real eigenvalue with an informative eigenvector inside the circle of radius $\sqrt{d_1+d_2-1}$ in the spectrum of $B$, analogous to the "eigenvalue insider" phenomenon for the Erdős-Rényi stochastic block model conjectured in Dall'Amico et al. (2019).
Domination of subcubic planar graphs with large girth
Since Reed conjectured in 1996 that the domination number of a connected cubic graph of order $n$ is at most $\lceil \frac13 n \rceil$, the domination number of cubic graphs has been extensively studied. It is now known that the conjecture is false in general, but Henning and Dorbec showed that it holds for graphs with girth at least $9$. Zhu and Wu stated an analogous conjecture for 2-connected cubic planar graphs.
In this paper, we present a new upper bound for the domination number of subcubic planar graphs: if $G$ is a subcubic planar graph with girth at least 8, then $γ(G) < n_0 + \frac{3}{4} n_1 + \frac{11}{20} n_2 + \frac{7}{20} n_3$, where $n_i$ denotes the number of vertices in $G$ of degree $i$, for $i \in \{0,1,2,3\}$. We also prove that if $G$ is a subcubic planar graph with girth at least 9, then $γ(G) < n_0 + \frac{13}{17} n_1 + \frac{9}{17} n_2 + \frac{6}{17} n_3$.
Connected Dominating Sets in Triangulations
We show that every $n$-vertex triangulation has a connected dominating set of size at most $10n/21$. Equivalently, every $n$ vertex triangulation has a spanning tree with at least $11n/21$ leaves. Prior to the current work, the best known bounds were $n/2$, which follows from work of Albertson, Berman, Hutchinson, and Thomassen (J. Graph Theory \textbf{14}(2):247--258). One immediate consequence of this result is an improved bound for the SEFENOMAP graph drawing problem of Angelini, Evans, Frati, and Gudmundsson (J. Graph Theory \textbf{82}(1):45--64). As a second application, we show that for every set $P$ of $\lceil 11n/21\rceil$ points in $\R^2$ every $n$-vertex planar graph has a one-bend non-crossing drawing in which some set of $11n/21$ vertices is drawn on the points of $P$. The main result extends to $n$-vertex triangulations of genus-$g$ surfaces, and implies that these have connected dominating sets of size at most $10n/21+O(\sqrt{gn})$.