connected graph
2678 papers tagged with this keyword
Classifying Prime Character Degree Graphs With Eight Vertices
Published in journal of Groups, complexity, cryptology, Volume 18 Issue 2 (October 9, 2026) gcc:18044
• View Publication
• BIB
In this paper, an effort is made to classify which prime character degree graphs having eight vertices occur for some finite solvable group. To approach this, we compile known results and constructions from the literature which are used to develop a general algorithm to begin classifying graphs of any order. We then apply the algorithm to the graphs of order eight. Of the 12,346 non-isomorphic graphs with eight vertices, 1,229 are disconnected and are fully classified. Meanwhile, thirty-seven of the 11,117 non-isomorphic connected graphs are shown to occur; thirty-four of which are constructed via joins of smaller graphs and three of which have diameter three. Fifty-eight graphs are shown not to occur, several of which fall into previously studied families, while the classification of 204 graphs is still unknown.
On the existence of $F$-irregular graphs for disconnected graphs $F$
For a given graph $F$, a graph $G$ is $F$-irregular if all its vertices have pairwise distinct $F$-degrees, where the $F$-degree of a vertex $v$ is the number of subgraphs of $G$ containing $v$ and isomorphic to $F$. While the existence of $F$-irregular graphs has been actively studied for connected graphs $F$, the case where $F$ is disconnected remains entirely unexplored. In this paper, we provide a complete solution to this problem. We prove that for every disconnected graph $F$ with $|E(F)| \ge 2$, there exist infinitely many $F$-irregular graphs. Conversely, if $|E(F)| \le 1$, we show that no non-trivial $F$-irregular graph exists.
Connectivity and Diameter of Friends and Strangers Graphs Using Minimum Degree
Given graphs $X,Y$ on $n$ vertices, Defant and Kravitz defined the friends and strangers graph, denoted $\mathrm{FS}(X,Y)$. The vertices of $\mathrm{FS}(X,Y)$ are bijections $σ:V(X)\to V(Y)$, and two bijections $σ$ and $σ'$ are adjacent in $\mathrm{FS}(X,Y)$ if they differ by a transposition $(ab)$ such that $a$ and $b$ are adjacent in $X$ and $σ(a)$ and $σ(b)$ are adjacent in $Y$. Our main result resolves a conjecture of Bangachev that if $X,Y$ are connected graphs and $2\min\{δ(X),δ(Y)\}+3\max\{δ(X),δ(Y)\}\ge 3n$, then $\mathrm{FS}(X,Y)$ is connected. The main step in the proof is showing that there exists an absolute constant $C$ such that for any adjacent vertices $a,b\in V(X)$ and any vertex $σ\in V(\mathrm{FS}(X,Y))$, $a$ and $b$ can swap positions in at most $C$ moves. Furthermore, we prove that if $X,Y$ are connected graphs satisfying the above minimum degree condition, then the diameter of $\mathrm{FS}(X,Y)$ is $O(n^2/\min\{δ(X),δ(Y)\})$, and that this is sharp as a bound on the maximum diameter of $\mathrm{FS}(X,Y)$ in this regime. This work improves the diameter results of Akella and Li, and resolves many of their questions. Moreover, we show that even for disconnected graphs $X$ and $Y$, the same minimum degree condition implies that the diameter of any connected component of $\mathrm{FS}(X,Y)$ is $O(n^2)$.
Sustainable trees
Let $X$ be a connected graph and let $λ_1(X)$ denote the spectral radius of its adjacency matrix. An edge $e$ of $X$ is sustainable if it can be deleted and replaced by a non-edge so that the resulting graph is connected and its spectral radius does not decrease; $X$ is sustainable if every edge is. We study this edgewise notion of spectral robustness for trees, where each replacement is an elementary exchange between trees on the same vertex set. We establish basic properties of sustainability and exhibit infinite families of sustainable and non-sustainable trees. Our main results concern trees with a vertex of large degree: if $T$ is a tree on $n$ vertices with $Δ(T)\geq n/2$, then every vertex of maximum degree is a principal vertex, that is, a vertex at which the Perron vector is maximal. Building on this, we prove that every tree with $Δ(T)\geq n/2+1$ is non-sustainable, and we classify the sustainable trees in the boundary case $Δ(T)=n/2$: for $n\geq 4$, the only such trees are the double broom $B(2,n/2,n/2-1)$ and one exceptional tree on eight vertices. We conclude with open problems on the generalized tree-shift order and the asymptotic proportion of sustainable trees.
Graph Distortion Distances, Gromov-Hausdorff and the Hardness of Gromov-Wasserstein
We study the computational complexity of graph distortion distances, a family of graph metrics measuring how vertex distances differ between two graphs. Formally, these distances are defined in terms of standard matrix norms on the difference of distance matrices under an optimal vertex alignment. The resulting metrics have natural interpretations, corresponding to three ways of measuring the distortion of shortest-path distances: the maximum distortion among all vertex pairs (entrywise maximum norm), global aggregation (entrywise $p$-norms), and local aggregation (operator $p$-norms) of distortions.
For maximum distortion, we show that approximation below a factor of two is NP-hard even for highly restricted trees. Due to the close connection to the Gromov-Hausdorff distance, we obtain a similar hardness result for the latter. In both cases, we show essentially optimal additive inapproximability. On the algorithmic side, we give a subcubic-time algorithm for optimal embeddings of connected graphs into paths, based on a structural decomposition along a diametral path. Additionally, we give a simple approximation algorithm when one input graph has a "relatively path-like" metric structure, i.e. has bounded pathlength.
For local and global distortion, we derive various hardness results even for restricted inputs. Making use of a close connection between the global distortion distances and Gromov-Wasserstein distances, we give the first formal proof of NP-hardness of the latter, which has been claimed in the literature many times but has, to the best of our knowledge, never been correctly proven.
Spectral extremal problems on $[a,b]$-factors in binding graphs, and beyond
The binding number $b(G)$ of a graph $G$ is the minimum value of $|N_{G}(X)|/|X|$ taken over all nonempty sets $X\subseteq V(G)$ such that $N_{G}(X)\neq V(G)$. A graph $G$ is 1-binding if $b(G)\geq 1$. Fan and Lin [Electron. J. Combin. 31 (2024) P1.30] characterized the unique spectral extremal graphs among 1-binding graphs with $δ(G)\geq k$ that contain no $k$-factor for $k=1$, $2$. Subsequently, Tang and Zhang solved the problem for $k\geq 3$. Note that $δ(G)\geq a$ is a necessary condition for the existence of an $[a,b]$-factor in a graph $G$. For $1\leq a<b$, Fan et al. [Discrete Math. 349 (2026) 115103] determined the unique spectral extremal graph $H_n^{a,b}$ among connected graphs with $δ(G)\geq a$ that contain no $[a,b]$-factor. Note that $b(H_n^{a,b})<1$. This motivates the corresponding spectral extremal problem for 1-binding graphs. Note that every 1-binding graph with $δ(G)\geq 1$ contains a $[1,b]$-factor for $b>1$. For $2\leq a<b$, we in this paper determine the unique extremal graph $\mathcal{B}_n^{a,b}$ with the maximum spectral radius among 1-binding graphs of order $n$ with $δ(G)\geq a$ that contain no $[a,b]$-factor.
The toughness of a non-complete graph $G$ is $t(G)=\min\{\frac{|X|}{c(G-X)}\mid X\subseteq V(G)\, \text{and}\, c(G-X)\geq 2\}$. A graph $G$ is 1-tough if $c(G-X)\leq |X|$ for every $X\subseteq V(G)$ with $c(G-X)\geq 2$. Every 1-tough graph of order $n\geq2$ is 1-binding. Note that $t(\mathcal{B}_n^{a,b})<1$. This leads us to investigate the corresponding spectral extremal problem for 1-tough graphs. Note that every 1-tough graph with $δ(G)\geq 1$ contains a $[1,b]$-factor for $b>1$. For $2\leq a<b$, we in this paper characterize the unique extremal graph with the maximum spectral radius among 1-tough graphs of order $n$ with $δ(G)\geq a$ containing no $[a,b]$-factor.
Perfect matchings in planar 3-connected graphs: girth five and minimum degree five
Let $Φ(G)$ denote the number of perfect matchings of a graph $G$. Goedgebeur et al. posted two questions about the perfect matchings of planar 3-connected graphs: does there exist an infinite family of matchable planar 3-connected graphs of girth 5 with a constant number of perfect matchings? Whether there exist infinitely many planar 3-connected graphs with minimum degree 5 which have a constant number of perfect matchings.
We present answers to those questions. First, we construct, for every even $n\ge196$, a simple planar 3-connected graph of order $n$ and girth five with exactly $c$ perfect matchings, where $c$ is a fixed positive integer. Second, for a simple planar 3-connected graph $G$ with a perfect matching and minimum degree at least five, we show that $Φ(G)\ge2^{\lceil(|V(G)|+20)/22\rceil}$. This implies that, for each positive integer $t$, only finitely many such graphs, up to isomorphism, have at most $t$ perfect matchings.
The Negami Polynomial and Broken-Circuit Stanley--Reisner Rings
We summarize the classical passage from the chromatic specialization of Negami's polynomial to the Hilbert series of a broken-circuit Stanley--Reisner ring, and record formulas for several graph families with their connectivity hypotheses made explicit. Our main construction in this revision is the associated graded algebra of the squarefree edge algebra under the graphic-matroid rank filtration, for an arbitrary finite loopless graph. Its basis is indexed by all edge subsets, and its multiplication is governed by disjointness and rank additivity. Its bigraded Hilbert polynomial recovers the full three-variable Negami polynomial. We prove that its socle has a basis indexed by edge subsets of full matroid rank; for a connected graph, these are precisely the connected spanning subgraphs. A vertex-degree refinement counts connected regular spanning subgraphs. This finite-dimensional algebra is distinct from a broken-circuit Stanley--Reisner ring. We distinguish these elementary structural results from the unresolved question of whether abstract algebra isomorphism can distinguish graphs with the same Negami polynomial; no priority claim is made for the construction or its Hilbert identity.
A chain theorem for planar PM-compact bricks
A connected graph $G$ is matching covered if it contains at least one edge and every edge belongs to some perfect matching of $G$. A matching covered graph is a brick if it is 3-connected and after removing any two vertices, the resulting graph has a perfect matching. Bricks are the building blocks of matching covered graphs.
A brick $G$ is extremal if the incidence vectors of all perfect matchings are linearly independent over $\mathbb{R}$. Zhou et al. [On planar extremal nonsolid bricks, J. Graph Theory, 2026] proved that for every planar extremal brick $G$, there exists a sequence of planar extremal bricks $G_0,G_1,\dots,G_n$ such that the underlying graph of $G_n$ is an odd wheel, $G_0=G$, and each $G_i$ $(0\leq i < n)$ has a triangle $T_i$ such that $G_i/T_i = G_{i+1}$, where $G_i/T_i$ means contracting the triangle $T_i$ into a single vertex.
In this paper, the result of Zhou et al. is generalized to planar PM-compact bricks, a larger class of bricks including extremal bricks. We present a chain theorem for planar PM-compact bricks: for every planar PM-compact brick $G$, there exists a sequence of planar PM-compact bricks $G_0,G_1,\dots,G_n$ such that the underlying graph of $G_n$ is an odd wheel, $G_0=G$, and each $G_i$ $(0\leq i < n)$ contains a triangle $T_i$ such that $G_i/T_i = G_{i+1}$.
Connectivity keeping trees in triangle-free graphs
In 2012, Mader conjectured that for any tree $T$ of order $m$, every $k$-connected graph $G$ with minimum degree at least $\lfloor \frac{3k}{2}\rfloor+m-1$ contains a subtree $T'\cong T$ such that $G-V(T')$ remains $k$-connected. In 2022, Luo, Tian, and Wu considered an analogous problem for bipartite graphs and conjectured that for any tree $T$ with bipartition $(X,Y)$, every $k$-connected bipartite graph $G$ with minimum degree at least $k+\max\{|X|,|Y|\}$ contains a subtree $T'\cong T$ such that $G-V(T')$ remains $k$-connected. In this paper, we relax the bipartite assumption by considering triangle-free graphs and prove that for any tree $T$ of order $m$, every $k$-connected triangle-free graph $G$ with minimum degree at least $2k+3m-4$ contains a subtree $T' \cong T$ such that $G-V(T')$ remains $k$-connected. Furthermore, we establish refined results for specific subclasses such as bipartite graphs or graphs with girth at least five.
Local Antimagic Chromatic Number of Middle Graph and Direct Product of Graphs
An edge labeling of a connected graph $G=(V, E)$ is called a local antimagic labeling if it is a bijection $f: E\rightarrow \{1, 2, \cdots, \left | E \right | \}$ such that for any pair of adjacent vertices $u$ and $v$, $f^{+}(u)\neq f^{+}(v)$ where $f^{+}(x)=\sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted $χ_{la}(G)$, is the minimum number of distinct induced vertex labels across all possible local antimagic labelings of $G$. This paper investigates two families of graphs $G(m^{[n]})$ (a graph class constructed by augmenting a bipartite structure $B(m^{[n]})$ with cyclic edges) and $K_{1,s}\times C_n$ (the direct product of a star $K_{1,s}$ and a cycle $C_n$). Under the conditions odd integer $m\ge 1$ and even integer $n\ge 4$, we establish the exact values of $χ_{la}(G(m^{[n]}))$ and $χ_{la}(K_{1,s}\times C_n)$ for various $s$. Furthermore, we characterize several graph families achieving $χ_{la}(G)=2$ or $3$.
Random $3$-regular graphs are not globally synchronizing
We study the homogeneous Kuramoto model on random 3-regular graphs. A connected graph $G$ is globally synchronizing if, for almost every initial condition, the gradient flow converges to a fully synchronized state, in which all phases coincide. It has been conjectured by Bandeira [Oberwolfach Rep. 21 (2024) 1163-1226] that a random 3-regular graph $G_{2n,3}$ is globally synchronizing with high probability. We disprove this conjecture in a strong way: $G_{2n,3}$ is not globally synchronizing with probability tending to 1.
Reconstruction and Symmetry of Two-Token Graphs
We present a proof of the two-token graph reconstruction conjecture. Every finite simple graph $G,H$ of order at least three, $F_2(G) \cong F_2(H)$ if and only if $G \cong H$. We also classify the automorphism groups of two-token graphs whose connected roots have order at least five. Combining these results, we show that, for connected graphs $G,H$ of order at least five, every isomorphism $ϕ:F_2(G)\to F_2(H)$ admits a factorization $ϕ=η\circσ^{(2)}$, where $σ^{(2)}$ is induced by a graph isomorphism $σ:G\to H$, and $η\in \operatorname{Aut}(F_2(H))$ is a product of twin-cut switches or Cartesian exchanges.
Disjoint unions and fixed-parameter algorithms for chromatic villainy
Chromatic villainy is the maximum, over rearrangements of optimal graph colorings, of the minimum Hamming distance to a proper coloring with the same color multiplicities. Weak villainy allows the repair to change these multiplicities. We give exact composition laws for disjoint unions and determine the eventual growth under repetition. Write $mG$ for the disjoint union of $m$ copies of $G$. For every graph $G$, with $k=χ(G)$, weak villainy satisfies $B_{\mathrm w}(mG)=mF_k(G)$ whenever $k\mid m$, where $F_k(G)$ is the maximum distance to a proper $k$-coloring over all assignments of $k$ color labels to vertices. Its bounded defect from $mF_k(G)$ is eventually periodic; we give an explicit stabilization bound and identify the least period, which divides $k$. For ordinary villainy, we obtain a computable rational slope $Λ(G)\ge F_k(G)$ such that $B(mG)=mΛ(G)+O_G(1)$, where the error is bounded independently of $m$ and eventually periodic, with a computable period and threshold. Consequently the difference between the two values is bounded exactly when $Λ(G)=F_k(G)$, and otherwise grows linearly. The slope is determined by a finite optimization using at most $k$ source assignments. We also answer the unrestricted superadditivity questions negatively: for every $C>0$, a connected graph can lose more than $C$ in weak villainy after union with a triangle, and some connected $3$-chromatic graph $G$ satisfies $B(G\sqcup G)<2B(G)-C$. Finally, both exact values on an $n$-vertex graph can be computed in time $f(B_{\mathrm w}(G))(n+1)^{O(1)}$, without either value being supplied. Threshold recognition is fixed-parameter tractable as well.
Completely mobile robots in graphs with a resolving property
This work extends the study of mobile resolvability in connected graphs by introducing completely mobile resolving sets. As with mobile resolving sets, we consider stationing a collection of robots at the vertices in a resolving set of a graph. Robots may move one at a time to any adjacent vertex as long as set of occupied vertices remains a resolving set. In this new variant, we ask that every robot can traverse every vertex in the graph through a sequence of permitted moves. Graphs possessing at least one completely mobile resolving set are termed mobile-resolvable. We completely characterise the non-mobile-resolvable graphs as paths of order at least three and subdivided stars with three or more leaves and at most two subdivided edges. For trees, we explicitly determine the completely mobile metric dimension, showing that it exceeds the classical metric dimension by one for most mobile-resolvable trees, and by two for certain subdivided stars. Furthermore, we evaluate this parameter across fundamental graph classes-including cycles, complete bipartite graphs, grid graphs, and circulant graphs.
Degree Adjacency Diametrical Matrix of Graphs Spectral Properties and Energy Bounds
Graph matrices that combine structural and metric information have attracted considerable attention in spectral graph theory. In this paper, we introduce the \emph{Degree--Adjacency--Diametrical (DAD) matrix} of a connected graph $G$. The DAD matrix is defined by
\[
(DAD(G))_{ij}=
\begin{cases}
d(v_i), & \text{if } i=j,
1, & \text{if } v_i\sim v_j,
\operatorname{diam}(G), & \text{if } d(v_i,v_j)=\operatorname{diam}(G),
0, & \text{otherwise},
\end{cases}
\]
where $d(v_i)$ denotes the degree of the vertex $v_i$. We establish fundamental spectral properties of the DAD matrix by deriving trace identities, characteristic polynomials, and spectra for several classes of graphs. Furthermore, we obtain a spectral expression for the Wiener index of graphs with diameter two, derive upper bounds for the largest DAD eigenvalue, and establish lower bounds for the DAD energy. Explicit spectral characterizations are also obtained for complete multipartite graphs. The proposed matrix provides a unified spectral framework that simultaneously incorporates degree, adjacency, and diametrical information, thereby enriching the study of graph spectra and introducing a new graph matrix for spectral graph theory.
Minimal examples of Cohen-Macaulay independence complexes that fail to be shellable or vertex decomposable
We report on an exhaustive census of all 1,006,700,565 connected graphs on $11$ vertices to find the minimal examples of graphs whose independence complexes are Cohen-Macaulay but not shellable, or shellable but not vertex decomposable. In particular, there are exactly two graphs $G$ where ${\rm Ind}(G)$ is Cohen-Macaulay but not shellable, when the characteristic is not two, and exactly six graphs where ${\rm Ind}(G)$ is shellable but not vertex decomposable.
A linear bound for a connectivity partition in graphs
Kühn and Osthus proved that, for every positive integer $\ell$, every $2^{16}\ell^2$-connected graph $G$ has a partition $V(G)=S\cup T$ such that $G[S]$ and $G[T]$ are $\ell$-connected and $d_T(v)\geq \ell$ for every $v\in S$. And they asked whether the quadratic bound can be replaced by a linear bound. In this paper, we answer this question in the affirmative by proving that every $641\ell$-connected graph $G$ has a partition $V(G)=S\cup T$ such that $G[S]$ and $G[T]$ are $\ell$-connected and $d_T(v)\ge \ell$ for every $v\in S$. The proof integrates the Moser-Tardos resampling algorithm.
Metric dimension and maximum eigenvalue multiplicity of graph Laplacians
We study equality between metric dimension and the maximum eigenvalue multiplicity of the Laplacian and signless Laplacian matrices. These quantities are not ordered in general. Using the standard decomposition associated with twin classes, we separate forced multiplicities from quotient-spectrum contributions. We give complete equality classifications for complete multipartite graphs and core--satellite graphs, and enumerate the multipartite equality graphs by order. For graphs formed by attaching at least two leaves to every vertex of a connected core, the metric dimension and the multiplicity of the eigenvalue $ 1 $ are known; we show that this multiplicity is maximal for both matrices, and uniquely maximal except for $ P_3 $. We enumerate this core--leaf family up to isomorphism and obtain a uniform asymptotic formula by order and metric dimension, together with the quadratic exponential growth rate $ 1/18 $. An exact census of connected graphs of orders two through seven identifies the first separating examples and examples without twins. Finally, for every odd $ r \in \mathbb{Z}_{\geq 3} $, we study $ Θ_{2, 2, r} $ and determine both maximum multiplicities: the two equality properties alternate with $ r $ modulo four, producing infinite separating families in both directions.
The maximum size of simple solid matching covered graphs
A connected graph with at least two vertices is matching covered if each of its edges is contained in a perfect matching. A matching covered graph is solid if every separating cut in it is a tight cut. A matching covered graph which is free of nontrivial tight cuts is a brick if it is nonbipartite. Every bipartite matching covered graph is solid. Lucchesi and Murty conjectured that there exists a positive integer $N$ such that, for every integer $n\ge N$, the maximum number of edges in a simple solid matching covered graph on $2n$ vertices is $n^2$. In this paper, we disprove this Conjecture, and show that the maximum number of edges of a simple solid matching covered graph on $2n$ ($n\ge2$) vertices is $n^2+2$. Moreover, we characterize the graphs attaining this bound. In addition, we prove that every simple solid brick of order $2n$ has at most $n^2$ edges for $n\ge4$.