connected graph
2650 papers tagged with this keyword
The Diametral Metric Dimension of Generalized Corona Graph
This study investigates the diametral metric dimension of generalized corona graphs, where the main graph is connected graph and the branch graphs form a sequence of connected graphs. The concept of diametral metric dimension is an extension of the metric dimension concept, requiring the resolving set to contain all diametral vertices. To determine the diametral metric dimension of a generalized corona graph, one must first identify the distance of each vertex in the graph and the graph's diametral set. Subsequently, a resolving set containing the diametral set is determined. The results show that the diametral metric dimension of the generalized corona graph depends on the diameter of the main graph and the metric dimensions of the graphs in the sequence. These concepts provide theoretical insights into resolving structures in the planning infrastructure and motivate further studies on other graph families and graph operations.
A note on generating polyhedra and quadrangulations
A polyhedron is a planar, $3$-connected graph. We iteratively construct all polyhedra (save for pyramids) from a unique starting graph, namely the square pyramid, via two graph transformations. This builds upon a previous construction, that starts from the full class of pyramids, and applies the same transformations.
In a related result, we iteratively construct all quadrangulations of the sphere where all $4$-cycles are facial, i.e., the class of radial graphs of the polyhedra (save for antibipyramids), from a unique starting graph, namely the square antibipyramid, via a unique graph transformation. This builds upon a previous construction, that starts from the full class of antibipyramids, and applies the same transformation.
Longest cycles intersect linearly in highly connected graphs
A longstanding conjecture attributed to Smith (1984) asserts that for every $k\ge2$, any two longest cycles in a $k$-connected graph share at least $k$ vertices. In this paper, we prove the first linear lower bound, showing that any two longest cycles in a $k$-connected graph share at least $k/600$ vertices. Departing from previous Turán-type extremal arguments, we develop a novel structural approach that also yields applications to related problems on longest cycles and paths.
Arboricity and Simplicial Geometric Category of Wedges and Joins of Graphs
We investigate the behavior of arboricity under two fundamental graph operations, namely wedges and joins, proving an exact formula for wedges and establishing general upper and lower bounds for joins. Using the characterization of the simplicial geometric category of connected graphs in terms of arboricity, we derive a wedge formula for simplicial geometric category and obtain corresponding estimates for graph joins. Finally, we illustrate these results through explicit computations for several classes of graphs by constructing forest decompositions and the associated covers by strongly collapsible subcomplexes.
The Outer Multiset Dimension of Toroidal Grids
Let $S$ be a set of vertices in a connected graph $G$. A vertex outside $S$ is represented by the multiset of its distances to the vertices of $S$. The outer multiset dimension $\operatorname{odim}(G)$ is the minimum cardinality of an $S$ for which these representations distinguish all vertices outside $S$. We determine $\operatorname{odim}(C_s \square C_t)$ for all $s,t\geq 3$, answering a problem of Klavžar, Kuziak, and Yero. The values range from $3$ to $8$. The proof combines a half-turn argument giving a universal four-landmark lower bound when both factors have length at least four, explicit three- and four-landmark constructions for the infinite families, and exact finite enumeration on the remaining strip. The collision classification behind the infinite four-landmark construction is certified by exact quantifier elimination in linear integer arithmetic; source code and all finite upper certificates accompany the paper.
So's Conjecture for Integral Circulant Graphs of Order p^aq
So conjectured that, for a fixed positive integer n, the ordinary adjacency spectrum of an integral circulant graph of order n determines its divisor set. We prove this for graphs of order p to the power a times q, where p and q are primes with p less than q and a is at least one. To handle coincident eigenvalues arising from distinct greatest-common-divisor classes, we use a spectral counting measure. For connected graphs, an exact identity recovers the part of the divisor set consisting of one and q, when present, together with the counting measure for a graph of order p to the power a minus one times q. Strong induction and decomposition into connected components then recover the full divisor set, including the case p equals two and disconnected graphs.
Improved Bounds on the Szeged-Wiener Gap and the BKLPS Conjecture
Bonamy-Knor-Lužar-Pinlou-Škrekovski (2017) define $K_n^t$ to be the complete graph of $n-1$ vertices but with an extra vertex that's adjacent to $t$ vertices of the complete graph part. They propose a stronger conjecture which asserts that if $G$ is a finite simple $2$-connected graph of order $n \ge 10$ not isomorphic to $K_n$, $K_n^2$, nor $K_n^{n-2}$, then the Szeged-Wiener gap of $G$ is $η(G) \ge 2n$. We improve upon their work to tighten the bounds on the Szeged-Wiener gap, allowing us to prove this conjecture in the affirmative. Afterwards, we construct graphs attaining equality for each $n \ge 10$ and pose a problem for interested readers to determine a necessary and sufficient condition for equality.
Paths maximize the expected range of graph-indexed random walks
We prove that a path maximizes the expected range of a uniformly chosen graph homomorphism into the integers, with one vertex pinned at zero, among all connected bipartite graphs of the same order. This establishes the expectation form of the Benjamini--Häggström--Mossel conjecture. The proof restricts and rescales a homomorphism on each bipartition class, then contracts the edges on which the resulting height function is constant. A quantitative estimate for the rank of these zero edges compensates for a parity term in the expected range of a simple random walk, allowing an induction on the number of vertices. We then prove that the BHM inequality implies the Loebl--Ne\v set\v ril--Reed inequality for uniformly chosen integer 1-Lipschitz functions on arbitrary connected graphs, and hence obtain the LNR conjecture as a corollary of BHM. The proof was obtained through interaction with OpenAI GPT-6 Astra and verified by the author. The main results have also been formalized and checked in Lean~4.
Maximum and Minimum Spectral Radii in an Exceptional Family for Edge-Disjoint Spanning Trees
For a connected graph $G$, let $τ(G)$ denote the maximum number of pairwise edge-disjoint spanning trees, and let $ρ(G)$ be its adjacency spectral radius. For integers $n\ge1$, $k\ge2$, and $k\leδ\le2k-1$, let $\mathcal{G}_{n,δ}$ be the class of connected $n$-vertex graphs with minimum degree $δ$, and let $\mathcal{L}_{\mathcal{H}}^{2}(n,k,δ)\subseteq\mathcal{G}_{n,δ}$ be the exceptional family introduced by Chang, Li, and Zhang. For sufficiently large $n$, the sharp adjacency-spectral threshold for $τ(G)\ge k$ is determined by maximizing $ρ(G)$ over this family.
Set $h=δ-k$. For each fixed admissible pair $(k,δ)$ and all sufficiently large $n$, we determine the maximum and minimum adjacency spectral radii in $\mathcal{L}_{\mathcal{H}}^{2}(n,k,δ)$. In the core--placement representation, let $M$ be the missing-edge graph of the bounded core. For $h\ge2$, the unique maximizer, up to isomorphism, satisfies $M\cong K_{1,h}\cup(h+1)K_1$, with the exceptional edges nested on the large-clique side. Hence the matching configuration proposed in Conjecture~2 of Chang--Li--Zhang is not extremal. For every $h\ge1$, the unique minimizer satisfies $M\cong hK_2\cup2K_1$, with the $2h$ exceptional edges having distinct endpoints on the large-clique side. We also settle the cases $h=0,1$ and all equality cases.
The proof combines an exact core--placement parametrization with a uniform Schur-complement resolvent expansion. The first candidate-dependent coefficient is affine in $\sum_{x\in V(M)}d_M(x)^2$, while the first placement-sensitive coefficient is a squared-load functional. Equitable quotient matrices yield the two extremal radii, and the maximizing graph gives the sharp global adjacency-spectral threshold.
Hamiltonicity of graphs of acyclic orientations and acyclic polynomials
We study the graph $\mathcal{AO}(G)$ of acyclic orientations of a graph $G$. Two acyclic orientations are adjacent in this graph if they disagree on the orientation of a single arc. In particular, we focus on the Hamiltonicity of the graphs $\mathcal{AO}(G)$.
Using two methods of pattern lacing which generalize the zig-zag method of Brenner, Cardinal, McConville, Merino and Mütze, we characterize which multipaths are $\mathcal{AO}$-Hamiltonian. Moreover, we give a criterion for the gluing of a multipath on a given graph to preserve $\mathcal{AO}$-Hamiltonicity. Building towards an inductive certification of $\mathcal{AO}$-Hamiltonicity via the (open) ear decomposition of 2-connected graphs, we propose three ways of gluing several multipaths to a given graph.
In addition, we define the acyclic polynomials to encapsulate both the number of acyclic orientations of a graph and the "parity problem" proposed by Savage, Squire and West: if $-1$ is not a root of the acyclic polynomial of $G$, then $G$ is not $\mathcal{AO}$-Hamiltonian. We explore numerous properties of the acyclic polynomials, proving that they are not instances of the famous Tutte-Whitney polynomials, but that they too exhibit a partial deletion-contraction phenomenon.
Counting five-node subgraphs
For a simple undirected graph $G$, we derive exact formulae for the number of copies of each of the 21 non-isomorphic connected graphs on five vertices. For nine of these graphs (the stingray, spinning top, kite, ufo, crown, envelope, lamp, arrowhead, and cat's cradle) the resulting analytical formulae appear to provide substantially new formulations; we also identify and correct five erroneous published formulae for the 5-path, banner, and lollipop. The proofs use elementary combinatorial arguments, organized around recurring constructions based on incident structures, walks, common neighbourhoods, and neighbourhood subgraphs, several of which extend naturally to larger subgraphs. We illustrate the formulae by deriving analytical results for several regular graphs and by applying them to a real-world network, where induced five-node subgraph counts, obtained as linear combinations of general counts, are compared with Erdős-Rényi and degree-preserving null ensembles.
Ramsey numbers of sparse graphs versus disjoint books
Let $B_k$ denote a book on $k+2$ vertices and $tB_k$ be $t$ vertex-disjoint $B_k$'s. For any integers $k\ge2$ and $t\ge1$, there exists a positive constant $ε=ε(k,t)$ such that every connected graph $G$ with $n\ge111t^3k^3$ vertices and at most $n(1+ε)$ edges satisfies $$r(G,tB_k)=2n+t-2.$$ Our result extends the work of Erdős, Faudree, Rousseau, and Schelp (1988), who established the corresponding result for $G$ being a tree and $t=1$.
Fan-goodness of sparse graphs
Let $G$ be a connected graph of order $n$, $F_k$ be a fan consisting of $k$ triangles sharing a common vertex, and $tF_k$ be $t$ vertex-disjoint copies of $F_k$. Brennan (2017) showed the Ramsey number $r(G,F_k)=2n-1$ for $G$ being a unicyclic graph for $n \geq k^2-k+1$ and $k\ge 18$, and asked the threshold $c(n)$ for which $r(G,F_k) \geq 2n$ holds for any $G$ containing at least $c(n)$ cycles and $n$ being large. In this paper, we consider fan-goodness of general sparse graphs and show that if $G$ has at most $n(1+ε(k))$ edges, where $ε(k)$ is a constant depending on $k$, then $$r(G,F_k)=2n-1$$ for $n\ge 36k^4$, which implies that $c(n)$ is greater than $ε(k) n$. Moreover, if $G$ has at most $n(1+ε(k,t))$ edges, where $ε(k,t)$ is a constant depending on $k,t$, then $$r(G,tF_k)=2n+t-2$$ provided $n\ge 161t^2k^4$.
A Complete Proof of the Strong Conjecture about $F$-Irregular Graphs
A graph $G$ is called $F$-irregular if all its vertices have distinct $F$-degrees, defined as the number of subgraphs of $G$ isomorphic to a given graph $F$ and containing the respective vertex. We prove the Strong Conjecture about $F$-irregular graphs (Dovzhenok, Filuta, and Chuhai, 2024), which states that for every connected graph $F$ of order at least three, there exist infinitely many $F$-irregular graphs. Fundamentally generalizing the classical existence conjecture by Chartrand et al. (1987), this work presents an authorized English translation of our original February 2024 manuscript, which was publicly presented in full at two scientific conferences the same year.
An inequality for the number of independent sets of matroids with an application to the forest-tree ratio of graphs
Let $M=(E,\mathcal{I})$ be a matroid of rank $r$. Let $\mathcal{I}_k$ be the independent sets of size $k$, and let $I_k=|\mathcal{I}_k|$ and $I=|\mathcal{I}|$. We show that if every set $F\in \mathcal{I}_{r-1}$ is contained in at least $δ$ bases, then $$\ln \left(\frac{I}{I_r}\right)\geqslant \frac{I_{r-1}}{I_r}\cdot δ\ln \left(1+\frac{1}δ\right).$$ In particular, we have $$\frac{I}{I_r}\geqslant 2^{I_{r-1}/I_r}.$$ By combining this result with several other ideas, we prove that if $G$ is a simple connected graph on $n$ vertices, and $F(G)$ and $T(G)$ denote its numbers of spanning forests and spanning trees, respectively, then $$\frac{F(G)}{T(G)}\geqslant \frac{F(K_n)}{T(K_n)},$$ where $K_n$ is the complete graph on $n$ vertices. Equality holds if and only if $G=K_n$.
Reduction Operations and Characterizations of $S^1$-Flows in Graphs
Thomassen (J. Combin. Theory Ser. B 108 (2014), 81-91) showed that every graph admitting a nowhere-zero $3$-flow also admits an $S^1$-flow. He also proved that the converse holds for cubic graphs, but constructed counterexamples showing it fails in general. Wang et al. (SIAM J. Discrete Math. 29 (2015), 2166-2178) presented a couple of sufficient conditions under which the existence of an $S^1$-flow guarantees the existence of a nowhere-zero 3-flow. In this paper, we first prove that a graph with maximum degree at most four admits a nowhere-zero $3$-flow if and only if it admits an $S^1$-flow. We then develop some reduction techniques for $S^1$-flows based on graph operations including bull-growth, $2$-sums, and contractions. Finally, we apply those techniques to characterize triangularly connected graphs and graphs containing a spanning triangle-tree that admit $S^1$-flows, respectively.
Minimum degree and sparse connected spanning subgraphs
Let $G$ be a connected graph on $n$ vertices and at most $n(1+ε)$ edges with bounded maximum degree, and $F$ a graph on $n$ vertices with minimum degree at least $n-k$, where $ε$ is a constant depending on $k$. In this paper, we prove that $F$ contains $G$ as a spanning subgraph provided $n\ge 6k^3$, by establishing tight bounds for the Ramsey number $r(G,K_{1,k})$, where $K_{1,k}$ is a star on $k+1$ vertices. Our result generalizes and refines the work of Erdős, Faudree, Rousseau, and Schelp (JCT-B, 1982), who established the corresponding result for $G$ being a tree. Moreover, the tight bound for $r(G,tK_{1,k})$ is also obtained.
On the extrema of the mean subtree order of graphs
It has been conjectured that the minimum and maximum of the mean subtree order among connected graphs of order $n$ are attained by the path $P_n$ and clique $K_n$, respectively. Extending ideas due to Haslegrave and Vince, we confirm that the minimum is indeed attained by $P_n$. We also show that the maximum is attained by $K_n$ by proving that the ratio between spanning and almost spanning trees is maximised by the clique and applying a double-counting argument.
Lean-Certified Infinite Counterexamples to Written on the Wall II Conjecture 194
For a finite simple graph G, let alpha(G) denote its independence number and let
l_avg(G) = (1 / |V(G)|) sum_{v in V(G)} alpha(G[N_G(v)])
be the average independence number of its open neighbourhoods. Written on the Wall II Conjecture 194 asserts that every simple connected graph on n > 1 vertices satisfying alpha(G) <= 1 + l_avg(G) has a Hamiltonian path. We give a four-parameter family of counterexamples. Its principal two-parameter subfamily satisfies the proposed inequality with equality: for every pair of integers s >= 1 and t >= 3 it has (s + 1)t^2 vertices, independence number t + 1, l_avg(G) = t, and minimum degree s, but has no Hamiltonian path. This entire infinite subfamily is machine-checked in Lean 4: one universally quantified theorem certifies its order, connectivity, independence number, average neighbourhood independence, minimum degree, conjecture hypothesis, and failure of traceability. Thus no fixed lower bound on the minimum degree repairs the conjecture. The case (s,t) = (1,3) has 18 vertices, but the formal certificate is parametric rather than a verification of that one graph alone.
On the gonality of Kneser graphs
The Kneser graphs $\text{KG}(n,k)$ are a classically studied family of graphs. One known invariant of graphs is gonality (also called divisorial gonality), which is the minimum degree of a rank 1 divisor on the graph. Using known bounds on gonality of simple, connected graphs, one may obtain that the gonality of $\text{KG}(n,k)$ is bounded above by $\binom{n-1}{k}$. In 2014, Harvey and Wood showed that the treewidth (a lower bound on gonality) for $\text{KG}(n,k)$ is $\binom{n-1}{k}-1$ for $n\geq 4k^2-3k+2$. In this paper, using scramble number, another lower bound on gonality, we improve this polynomial bound and show that the gonality of $\text{KG}(n,k)$ is exactly $\binom{n-1}{k}$ for $n\geq \frac{3k^2+k+2}{2}$, and conjecture an even stricter polynomial bound using the uniform edge scramble. We then extend our argument to the family of generalized Kneser Graphs, computing the scramble number and gonality using the same polynomial bound.