graph
35299 papers tagged with this keyword
Edge-connectivity keeping trees in $k$-edge-connected graphs
Mader [J. Combin. Theory Ser. B 40 (1986) 152-158] proved that every $k$-edge-connected graph $G$ with minimum degree at least $k+1$ contains a vertex $u$ such that $G-\{u\}$ is still $k$-edge-connected. In this paper, we prove that every $k$-edge-connected graph $G$ with minimum degree at least $k+2$ contains an edge $uv$ such that $G-\{u,v\}$ is $k$-edge-connected for any positive integer $k$. In addition, we show that for any tree $T$ of order $m$, every $k$-edge-connected graph $G$ with minimum degree greater than $4(k+m)^2$ contains a subtree $T'$ isomorphic to $T$ such that $G-V(T')$ is $k$-edge-connected.
Ordered structures with no finite monomorphic decomposition. Application to the profile of hereditary classes
Published
• View Publication
• BIB
We present a structural approach of some results about jumps in the behavior of the profile (alias generating function) of hereditary classes of finite structures. We consider the following notion due to N.Thiéry and the second author. A \emph{monomorphic decomposition} of a relational structure $R$ is a partition of its domain $V(R)$ into a family of sets $(V_x)_{x\in X}$ such that the restrictions of $R$ to two finite subsets $A$ and $A'$ of $V(R)$ are isomorphic provided that the traces $A\cap V_x$ and $A'\cap V_x$ have the same size for each $x\in X$. Let $\mathscr S_μ$ be the class of relational structures of signature $μ$ which do not have a finite monomorphic decomposition. We show that if a hereditary subclass $\mathscr D$ of $\mathscr S_μ$ is made of ordered relational structures then it contains a finite subset $\mathfrak A$ such that every member of $\mathscr D$ embeds some member of $\mathfrak A$. Furthermore, for each $R\in \mathfrak A$ the profile of the age $\age(R)$ of $R$ (made of finite substructures of $R$) is at least exponential. We deduce that if the profile of a hereditary class of finite ordered structures is not bounded above by a polynomial then it is at least exponential. For ordered graphs, this result is a part of classification obtained by Balogh, Bollobás and Morris (2006).
4-Chromatic Graphs Have At Least 4 Cycles of Length $0 \bmod 3$
Published
• View Publication
• BIB
A 2018 conjecture of Brewster, McGuinness, Moore, and Noel asserts that for $k \ge 3$, if a graph has chromatic number greater than $k$, then it contains at least as many cycles of length $0 \bmod k$ as the complete graph on $k+1$ vertices. Our main result confirms this in the $k=3$ case by showing every $4$-critical graph contains at least $4$ cycles of length $0 \bmod 3$, and that $K_4$ is the unique such graph achieving the minimum.
We make progress on the general conjecture as well, showing that $(k+1)$-critical graphs with minimum degree $k$ have at least as many cycles of length $0\bmod r$ as $K_{k+1}$, provided $k+1 \ne 0 \bmod r$. We also show that $K_{k+1}$ uniquely minimizes the number of cycles of length $1\bmod k$ among all $(k+1)$-critical graphs, strengthening a recent result of Moore and West and extending it to the $k=3$ case.
A note on forcing triples with no forcing pairs
Chung, Graham and Wilson defined a set of graphs $\mathcal{H}$ to be forcing, if any sequence of graphs $\{G_n\}_{n \geq 0}$ with $|G_n| = n$ must be quasirandom, whenever $hom(H, G_n)= (p^{|E(H)|}+o(1))n^{|V(H)|}$ for every $H \in \mathcal{H}$ and some constant $p \in (0, 1)$. Answering a question of Horn, attributed to Graham, a forcing set of three graphs is constructed such that no two of the three graphs are forcing as a pair.
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
Published
• View Publication
• BIB
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.
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.