graph
34516 papers tagged with this keyword
A Brualdi-Hoffman-Turán problem for friendship graph
A graph is said to be $H$-free if it does not contain $H$ as a subgraph. Brualdi-Hoffman-Turán type problem is to determine the maximum spectral radius of an $H$-free graph $G$ with give size $m$. The $F_k$ is the graph consisting of $k$ triangles that intersect in exactly one common vertex, which is known as the friendship graph. In this paper, we resolve a conjecture (the Brualdi-Hoffman-Turán-type problem for $F_k$) of Li, Lu and Peng [Discrete Math. 346 (2023) 113680] by using the $k$-core technique presented in Li, Zhai and Shu [European J. Combin, 120 (2024) 103966].
Isolation game on graphs
Given a graph $G$ and a family of graphs $\cal F$, an $\cal F$-isolating set, as introduced by Caro and Hansberg, is any set $S\subset V(G)$ such that $G - N[S]$ contains no member of $\cal F$ as a subgraph. In this paper, we introduce a game in which two players with opposite goals are together building an $\cal F$-isolating set in $G$. Following the domination games, Dominator (Staller) wants that the resulting $\cal F$-isolating set obtained at the end of the game, is as small (as big) as possible, which leads to the graph invariant called the game $\cal F$-isolation number, denoted $ι_{\rm g}(G,\cal F)$. We prove that the Continuation Principle holds in the $\cal F$-isolation game, and that the difference between the game $\cal F$-isolation numbers when either Dominator or Staller starts the game is at most $1$. Considering two arbitrary families of graphs $\cal F$ and $\cal F'$, we find relations between them that ensure $ι_{\rm g}(G,{\cal{F}}') \leq ι_{\rm g}(G,{\cal{F}})$ for any graph $G$. A special focus is given on the isolation game, which takes place when ${\cal F}=\{K_2\}$. We prove that $ι_{\rm g}(G,\{K_2\})\le |V(G)|/2$ for any graph $G$, and conjecture that $\lceil 3|V(G)|/7\rceil$ is the actual (sharp) upper bound. We prove that the isolation game on a forest when Dominator has the first move never lasts longer than the one in which Staller starts the game. Finally, we prove good lower and upper bounds on the game isolation numbers of paths $P_n$, which lead to the exact values $ι_{\rm g}(P_n,\{K_2\})=\left\lfloor\frac{2n+2}{5}\right\rfloor$ when $n \equiv i \pmod 5$ and $i \in \{1,2,3\}$.
Graphs with single interval Cayley configuration spaces in 3-dimensions
We prove a conjectured graph theoretic characterization of a geometric property of 3 dimensional linkages posed 15 years ago by Sitharam and Gao, motivated by their equivalent characterization for $d\le 2$ that does not generalize to $d\ge 3$. A linkage $(G,\ell)$ contains a finite simple undirected graph $G$ and a map $\ell$ that assigns squared Euclidean lengths to the edges of $G$. A \emph{$d$-realization} of $(G,\ell)$ is an assignment of points in $\mathbb{R}^d$ to the vertices of $G$ for which pairwise squared distances between points agree with $\ell$. For any positive integer $d \leq 3$, we characterize pairs $(G,f)$, where $f$ is a nonedge of $G$, such that, for any linkage $(G,\ell)$, the lengths attained by $f$ form a single interval - over the (typically a disconnected set of) $d$-realizations of $(G,\ell)$.
Although related to the minor closed class of $d$-flattenable graphs, the class of pairs $(G,f)$ with the above property is not closed under edge deletions, has no obvious well quasi-ordering, and there are infinitely many minimal graph-nonedge pairs - with respect to edge contractions - in the complement class. Our characterization overcomes these obstacles, is based on the forbidden minors for $d$-flattenability for $d \leq 3$, and contributes to the theory of Cayley configurations with many applications. Helper results and corollaries provide new tools for reasoning about configuration spaces and completions of partial 3-tree linkages, (non)convexity of Euclidean measurement sets in $3$-dimensions, their projections, fibers and sections. Generalizations to higher dimensions and efficient algorithmic characterizations are conjectured.
The Hypergraph Turán Densities of Tight Cycles Minus an Edge
A tight $\ell$-cycle minus an edge $C_\ell^-$ is the $3$-graph on the vertex set $[\ell]$, where any three consecutive vertices in the string $123\ldots\ell 1$ form an edge. We show that for every $\ell\ge 5$, $\ell$ not divisible by $3$, the extremal number is
$
ex\left(C_\ell^-,n\right)=\tfrac1{24}n^3+O(n\ln n)=\left(\tfrac14+o(1)\right){n\choose 3}.
$
We determine the extremal graph up to $O(n)$ edge edits.
Frozen colourings in $2K_2$-free graphs
Published in Electronic Journal of Combinatorics 32(2), 2025
• View Publication
• BIB
The \emph{reconfiguration graph of the $k$-colourings} of a graph $G$, denoted $\mathcal{R}_k(G)$, is the graph whose vertices are the $k$-colourings of $G$ and two vertices of $\mathcal{R}_k(G)$ are joined by an edge if the colourings of $G$ they correspond to differ in colour on exactly one vertex. A $k$-colouring of a graph $G$ is called \emph{frozen} if it is an isolated vertex in $\mathcal{R}_k(G)$; in other words, for every vertex $v \in V(G)$, $v$ is adjacent to a vertex of every colour different from its colour.
A clique partition is a partition of the vertices of a graph into cliques. A clique partition is called a $k$-clique-partition if it contains at most $k$ cliques. Clearly, a $k$-colouring of a graph $G$ corresponds precisely to a $k$-clique-partition of its complement, $\overline{G}$. A $k$-clique-partition $\mathcal{Q}$ of a graph $H$ is called \emph{frozen} if for every vertex $v \in V(H)$, $v$ has a non-neighbour in each of the cliques of $\mathcal{Q}$ other than the one containing $v$.
The cycle on four vertices, $C_4$, is sometimes called the \emph{square}; its complement is called $2K_2$.
We give several infinite classes of $2K_2$-free graphs with frozen colourings. We give an operation which transforms a $k$-chromatic graph with a frozen $(k+1)$-colouring into a $(k+1)$-chromatic graph with a frozen $(k+2)$-colouring. Our operation preserves being $2K_2$-free. It follows that for all $k \ge 4$, there is a $k$-chromatic $2K_2$-free graph with a frozen $(k+1)$-colouring. We prove these results by studying frozen clique partitions in $C_4$-free graphs.
We say a graph $G$ is \emph{recolourable} if $R_{\ell}(G)$ is connected for all $\ell$ greater than the chromatic number of $G$. We prove that every 3-chromatic $2K_2$-free graph is recolourable.
Eccentricity Spectra and Integral Eigenvalues of Zero Divisor Graphs
In this work, we study the eccentricity spectra of zero divisor graphs (ZDGs) associated with the ring $\mathbb{Z}_n.$ While previous studies have examined the Laplacian and distance Laplacian spectra of ZDGs, the eccentricity spectra have remained largely unknown due to the unique features of the eccentricity matrix. More specifically, we prove that for a prime $p$, the ZDG and extended ZDG of $\mathbb{Z}_{p^t}$ have integral eccentricity eigenvalues for $t \geq 3$ and $t \geq 2$, respectively. We also find the eccentricity spectra for specific classes of ZDGs and the relationship between the eccentricity matrix of these ZDGs and their tree structures using matrix analysis tools. In addition, for the usefulness of the energy gap in applications, we have calculated the eccentricity energy gap of ZDGs. These findings reveal interesting behaviours of the eccentricity matrix and may contribute to a more profound understanding of the structural properties of ZDGs.
Ramanujan graphs with diameter at most three
For a simple graph $G$, the complement and the line graph of $G$ are denoted by $G^c$ and $L(G)$, respectively. In this paper, we show that for every simple connected regular graph $G$ with at least $5$ vertices, the graph $\mathcal{R}(G):=L(L(G)^c)^c$ is a Ramanujan graph with diameter at most three.
Proper Minor-Closed Classes in Blowups of Fans
Dujmović et al. [arXiv:2407.05936] showed that any $n$-vertex planar graph is contained in a $O(\sqrt{n}\log^2(n))$-blowup of a fan, and asked if the same holds for any $n$-vertex $K_t$-minor-free graph. We answer this in the positive, showing that such a graph is contained in a $O_t(\sqrt{n}\log^2(n))$-blowup of a fan.
Cyclic Subgroup Graph of a Group
A cyclic subgroup graph of a group $G$ is a graph whose vertices are cyclic subgroups of $G$ and two distinct vertices $H_1$ and $H_2$ are adjacent if $H_1\leq H_2$, and there is no subgroup $K$ such that $H_1<K<H_2$. M.Tărnăuceanu gave the formula to count the number of edges of these graphs. In this paper, we explore various properties of these graphs.
Expectation and Variance of the Degree of a Node in Random Spanning Trees
We consider a Gibbs distribution over all spanning trees of an undirected, edge weighted finite graph, where, up to normalization, the probability of each tree is given by the product of its edge weights. Defining the weighted degree of a node as the sum of the weights of its incident edges, we present analytical expressions for the expectation, variance and covariance of the weighted degree of a node across the Gibbs distribution. To generalize our approach, we distinguish between two types of weight: probability weights, which regulate the distribution of spanning trees, and degree weights, which define the weighted degree of nodes. This distinction allows us to define the weighted degree of nodes independently of the probability weights. By leveraging the Matrix Tree Theorem, we show that these degree moments ultimately depend on the inverse of a submatrix of the graph Laplacian. While our focus is on undirected graphs, we demonstrate that our results can be extended to the directed setting by considering incoming directed trees instead.
Closures and heavy pairs for hamiltonicity
We say that a graph $G$ on $n$ vertices is $\{H,F\}$-$o$-heavy if every induced subgraph of $G$ isomorphic to $H$ or $F$ contains two nonadjacent vertices with degree sum at least $n$. Generalizing earlier sufficient forbidden subgraph conditions for hamiltonicity, in 2012, Li, Ryjáček, Wang and Zhang determined all connected graphs $R$ and $S$ of order at least 3 other than $P_3$ such that every 2-connected $\{R,S\}$-$o$-heavy graph is hamiltonian. In particular, they showed that, up to symmetry, $R$ must be a claw and $S\in\{P_4,P_5,C_3,Z_1,Z_2,B,N,W\}$. In 2008, Čada extended Ryjáček's closure concept for claw-free graphs by introducing what we call the $c$-closure for claw-$o$-heavy graphs. We apply it here to characterize the structure of the $c$-closure of 2-connected $\{R,S\}$-$o$-heavy graphs, where $R$ and $S$ are as above. Our main results extend or generalize several earlier results on hamiltonicity involving forbidden or $o$-heavy subgraphs.
On graphs isomorphic with their conduction graph
Published
• View Publication
• BIB
Conduction graphs are defined here in order to elucidate at a glance the often complicated conduction behaviour of molecular graphs as ballistic molecular conductors. The graph $G^{\mathrm C}$ describes all possible conducting devices associated with a given base graph $G$ within the context of the Source-and-Sink-Potential model of ballistic conduction. The graphs $G^{\mathrm C}$ and $G$ have the same vertex set, and each edge $xy$ in $G^{\mathrm C}$ represents a conducting device with graph $G$ and connections $x$ and $y$ that conducts at the Fermi level. If $G^{\mathrm C}$ is isomorphic with the simple graph $G$ (in which case we call $G$ conduction-isomorphic), then $G$ has nullity $η(G)=0$ and is an ipso omni-insulator. Motivated by this, examples are provided of ipso omni-insulators of odd order, thereby answering a recent question. For $η(G)=0$, $G^{\mathrm C}$ is obtained by 'booleanising' the inverse adjacency matrix $A^{-1}(G)$, to form $A(G^{\mathrm C})$, i.e. by replacing all non-zero entries $(A(G)^{-1})_{xy}$ in the inverse by $1+δ_{xy}$ where $δ_{xy}$ is the Kronecker delta function. Constructions of conduction-isomorphic graphs are given for the cases of $G$ with minimum degree equal to two or any odd integer. Moreover, it is shown that given any connected non-bipartite conduction-isomorphic graph $G$, a larger conduction-isomorphic graph $G'$ with twice as many vertices and edges can be constructed. It is also shown that there are no 3-regular conduction-isomorphic graphs. A census of small (order $\leq 11$) connected conduction-isomorphic graphs and small (order $\leq 22$) connected conduction-isomorphic graphs with maximum degree at most three is given. For $η(G)=1$, it is shown that $G^{\mathrm C}$ is connected if and only if $G$ is a nut graph (a singular graph of nullity one that has a full kernel vector).
On the size of outerplanar graphs with positive Lin-Lu-Yau Ricci curvature
In this paper, extending a result of Brooks et.al. [arXiv:2403.04110], we show that if an outerplanar graph $G$ with minimum degree at least $2$ has positive Lin-Lu-Yau curvature on every vertex pair, then $G$ has at most $10$ vertices, and this upper bound is sharp.
The First Zagreb Index, the Forgotten Topological Index, the Inverse Degree and Some Hamiltonian Properties of Graphs
Let $G = (V, E)$ be a graph. The first Zagreb index and the forgotten topological index of a graph $G$ are defined respectively as $\sum_{u \in V} d^2(u)$ and $\sum_{u \in V} d^3(u)$, where $d(u)$ is the degree of vertex $u$ in $G$. If the minimum degree of $G$ is at least one, the inverse degree of $G$ is defined as $\sum_{u \in V} \frac{1}{d(u)}$. In this paper, we, for a graph with minimum degree at least one, present an upper bound for the first Zagreb index of the graph and lower bounds for the forgotten topological index and the inverse degree of the graph. We also present sufficient conditions involving the first Zagreb index, the forgotten topological index, or the inverse degree for some Hamiltonian properties of a graph.
Cuts, Cats, and Complete Graphs
We introduce the game of Cat Herding, where an omnipresent herder slowly cuts down a graph until an evasive cat player has nowhere to go. The number of cuts made is the score of a game, and we study the score under optimal play. In this paper, we begin by deriving some general results, and then we determine the precise cat number for paths, cycles, stars, and wheels. Finally, we identify an optimal Cat and Herder strategy on complete graphs, while providing both a recurrence and closed form for $cat(K_n)$.
Detachable pairs in $3$-connected matroids and simple $3$-connected graphs
Let $M$ be a $3$-connected matroid. A pair $\{e,f\}$ in $M$ is detachable if $M \backslash e \backslash f$ or $M / e / f$ is $3$-connected. Williams (2015) proved that if $M$ has at least 13 elements, then at least one of the following holds: $M$ has a detachable pair, $M$ has a $3$-element circuit or cocircuit, or $M$ is a spike. We address the case where $M$ has a $3$-element circuit or cocircuit, to obtain a characterisation of when a matroid with at least 13 elements has a detachable pair. As a consequence, we characterise when a simple $3$-connected graph $G$ with $|E(G)| \ge 13$ has a pair of edges $\{e,f\}$ such that $G/e/f$ or $G \backslash e\backslash f$ is simple and $3$-connected.
On the zero-free region for the chromatic polynomial of graphs with maximum degree $Δ$ and girth $g$
The purpose of the present paper is to provide, for all pairs of integers $(Δ,g)$ with $\D\ge 3$ and $g\ge 3$, a positive number $C(Δ, g)$ such that chromatic polynomial $P_G(q)$ of a graph $G$ with maximum degree $Δ$ and finite girth $g$ is free of zero if $|q|\ge C(Δ, g)$. Our bounds enlarge the zero-free region in the complex plane of $P_G(q)$ in comparison to previous bounds. In particular, for small values of $\D$ our estimates yield a sensible improvement on the bounds recently obtained by Jenssen, Patel and Regts in \cite{JPR}, while they coincide with those of \cite{JPR} when $Δ\to \infty$.
Maximal chains in lattices from graph associahedra: Tamari to the weak order
In this paper, we study the maximal chains of lattices which generalizes both the weak order and the Tamari lattice: certain lattices of maximal tubings. A maximal tubing poset $\mathfrak{L}(G)$ is defined for any graph $G$, but for the graphs we consider in this paper, the poset is a lattice. Just as the weak order is an orientation of the $1$-skeleton of the permutahedron and the Tamari of the associahedron, each tubing lattice is an orientation of the $1$-skeleton of a graph associahedron. The partial order on $\mathfrak{L}(G)$ is given by a projection from $\mathfrak{S}_n$ to $\mathfrak{L}(G)$. In particular, when the graph is the complete graph, the graph associahedron is the the permutahedron, and when it is the path graph, it is the Stasheff associahedron.
Our main results are for lollipop graphs, graphs that ``interpolate'' between the path and the complete graphs. For lollipop graphs, the lattices consist of permutations which satisfy a generalization of $312$-avoiding. The maximum length chains correspond to partially shiftable tableaux under the Edelman-Greene's Coxeter-Knuth bijection. We also consider functions defined analogously to Stanley's symmetric function for the maximum length chains and find their expansion in terms of Young quasisymmetric Schur functions.
Polynomials Counting Group Colorings in Graphs
Jaeger et al. in 1992 introduced group coloring as the dual concept to group connectivity in graphs. Let $A$ be an additive Abelian group, $ f: E(G)\to A$ and $D$ an orientation of a graph $G$. A vertex coloring $c:V(G)\to A$ is an $(A, f)$-coloring if $c(v)-c(u)\ne f(e)$ for each oriented edge $e=uv$ from $u$ to $v$ under $D$. Kochol recently introduced the assigning polynomial to count nowhere-zero chains in graphs--nonhomogeneous analogues of nowhere-zero flows in \cite{Kochol2022}, and later extended the approach to regular matroids in \cite{Kochol2024}. Motivated by Kochol's work, we define the $α$-compatible graph and the cycle-assigning polynomial $P(G, α; k)$ at $k$ in terms of $α$-compatible spanning subgraphs, where $α$ is an assigning of $G$ from its cycles to $\{0,1\}$. We prove that $P(G,α;k)$ evaluates the number of $(A,f)$-colorings of $G$ for any Abelian group $A$ of order $k$ and $f:E(G)\to A$ such that the assigning $α_{D,f}$ given by $f$ equals $α$. Such an assigning is admissible. Based on Kochol's work, we derive that $k^{-c(G)}P(G,α;k)$ is a polynomial enumerating $(A,f)$-tensions and counting specific nowhere-zero chains.
Furthermore, by extending Whitney's broken cycle concept to broken compatible cycles, we show that the absolute value of the coefficient of $k^{|V(G)|-i}$ in $P(G,α;k)$ associated with admissible assignings $α$ equals the number of $α$-compatible spanning subgraphs that have $i$ edges and contain no broken $α$-compatible cycles. According to the combinatorial explanation, we establish a unified order-preserving relation from admissible assignings to cycle-assigning polynomials, and further show that for any admissible assigning $α$ of $G$ with $α(e)=1$ for every loop $e$, the coefficients of $P(G,α;k)$ are nonzero and alternate in sign.
A topological proof of the Hell-Nešetřil dichotomy
Published in Proc. ACM-SIAM Symp. on Discr. Alg. (SODA 2025), pp. 4507--4519, SIAM
• View Publication
• BIB
We provide a new proof of a theorem of Hell and Nešetřil [J. Comb. Theory B, 48(1):92-110, 1990] using tools from topological combinatorics based on ideas of Lovász [J. Comb. Theory, Ser. A, 25(3):319-324, 1978]. The Hell-Nešetřil Theorem provides a dichotomy of the graph homomorphism problem. It states that deciding whether there is a graph homomorphism from a given graph to a fixed graph $H$ is in P if $H$ is bipartite (or contains a self-loop), and is NP-complete otherwise. In our proof we combine topological combinatorics with the algebraic approach to constraint satisfaction problem.