graph
34516 papers tagged with this keyword
Treewidth of Outer $k$-Planar Graphs
Published
• View Publication
• BIB
Treewidth is an important structural graph parameter that quantifies how closely a graph resembles a tree-like structure. It has applications in many algorithmic and combinatorial problems. In this paper, we study the treewidth of outer $k$-planar graphs, that is, graphs admitting a convex drawing (a straight-line drawing where all vertices lie on a circle) in which every edge crosses at most $k$ other edges. We also consider the more general class of outer min-$k$-planar graphs, which are graphs admitting a convex drawing where for every crossing of two edges at least one of these edges is crossed at most $k$ times.
Firman, Gutowski, Kryven, Okada and Wolff [GD 2024] proved that every outer $k$-planar graph has treewidth at most $1.5k+2$ and provided a lower bound of $k+2$ for even $k$. We establish a lower bound of $1.5k+0.5$ for every odd $k$. Additionally, they showed that every outer min-$k$-planar graph has treewidth at most $3k+1$. We improve this upper bound to $3 \cdot \lfloor k/2 \rfloor+4$.
Our approach also allows us to upper bound the separation number, a parameter closely related to treewidth, of outer min-$k$-planar graphs by $2 \cdot \lfloor k/2 \rfloor+4$. This improves upon the previous bound of $2k+1$ and achieves a bound with an optimal multiplicative constant.
Degree Sequence of Albertson and $σ$-Indices on Trees of Order $n\geqslant 3$
In this paper, we presented a study of topological indices on trees, where we show a relationship with irregularity of Albertson index and minimum, maximum degrees $δ,Δ$ of graph $G$, where contribute vital roles in determining connection, shading, component incorporation, and realisability where well-known Albertson index as: $\operatorname{irr}(G)=\sum_{uv\in E(G)}\lvert d_u(G)-d_v(G) \rvert$. The sigma index on trees that we introduced as $σ(T)=(d_1-1)^3+\sum_{i=1}^{3}(d_i-1)(d_i-2)+(d_3-1)^3$.
Finding the Cores of Higher Graphs Using Geometric and Topological Means: A Survey
In this survey, we explore recent literature on finding the cores of higher graphs using geometric and topological means. We study graphs, hypergraphs, and simplicial complexes, all of which are models of higher graphs. We study the notion of a core, which is a minimalist representation of a higher graph that retains its geometric or topological information. We focus on geometric and topological methods based on discrete curvatures, effective resistance, and persistent homology. We aim to connect tools from graph theory, discrete geometry, and computational topology to inspire new research on the simplification of higher graphs.
The $k$-Total Bondage Number of a Graph
Let $G=(V,E)$ be a connected, finite undirected graph. A set $S \subseteq V$ is said to be a total dominating set of $G$ if every vertex in $V$ is adjacent to some vertex in $S$. The total domination number, $γ_{t}(G)$, is the minimum cardinality of a total dominating set in $G$. We define the $k$-total bondage of $G$ to be the minimum number of edges to remove from $G$ so that the resulting graph has a total domination number at least $k$ more than $γ_{t}(G)$. We establish general properties of $k$-total bondage and find exact values for certain graph classes including paths, cycles, wheels, complete and complete bipartite graphs.
Characteristic polynomials of semimatroids and their connections to matroids, hyperplane arrangements and graph colorings
We primarily investigate the properties of characteristic polynomials of semimatroids. In particular, we provide a combinatorial interpretation of their coefficients, generalizing the Whitney's Broken Circuit Theorem. We also prove that the unsigned coefficients of the characteristic polynomial form a unimodal and log-concave sequence, extending the Rota-Heron-Welsh Conjecture to semimatroids. Furthermore, we present convolution identities for the multiplicative characteristic and Tutte polynomials of semimatroids using the Möbius conjugation. Finally, motivated by Kochol's work, we introduce assigning matroids to establish connections among semimatroids, hyperplane arrangements, and graph colorings, with a particular focus on their characteristic polynomials.
New Bounds on the Anti-Ramsey Number of Independent Triangles
An edge-colored graph is called \textit{rainbow graph} if all the colors on its edges are distinct. Given a positive integer $n$ and a graph $G$, the \textit{anti-Ramsey number} $ar(n,G)$ is defined to be the minimum number of colors $r$ such that there exists a rainbow copy of $G$ in any exactly $r$-edge-coloring of $K_n$.
Wu et al. (Anti-Ramsey numbers for vertex-disjoint triangles, \emph{Discrete. Math.}, \textbf{346} (2022), 113123) determined the anti-Ramsey number $ar(n, kK_3)$ for $n\geq 2k^2-k+2 $. In this paper, we extend this result by improving the lower bound on $n$ to $n\geq 15k+57$.
Packing tetrahedrons in edge-weighted graphs
We prove that for all $μ>0, t\in (0,1)$ and sufficiently large $n\in 4\mathbb{N}$, if $G$ is an edge-weighted complete graph on $n$ vertices with a weight function $w: E(G)\rightarrow [0,1]$ and the minimum weighted degree $δ^w(G)\geq (\tfrac{1+3t}{4}+μ)n$, then $G$ contains a $K_4$-factor where each copy of $K_4$ has total weight more than $6t$. This confirms a conjecture of Balogh--Kemkes--Lee--Young for the tetrahedron case.
Extending the Affirmative Action Problem: mixing numbers and integrated colorings of graphs
Consider a graph whose vertices are colored in one of two colors, say black or white. A white vertex is called integrated if it has at least as many black neighbors as white neighbors, and similarly for a black vertex. The coloring as a whole is integrated if every vertex is integrated. A classic exercise in graph theory, known as the Affirmative Action Problem, is to prove that every finite simple graph admits an integrated coloring. The solution can be neatly summarized with the one-liner: "maximize the number of balanced edges," that is, the edges that connect neighbors of different colors. However, not all integrated colorings advertise the maximum possible number of balanced edges.
In this paper, we characterize and enumerate the integrated colorings for complete graphs, bicliques, paths, and cycles. We also derive the distributions and extremal values for the mixing numbers (the number of balanced edges) across all integrated colorings over these families of graphs. For paths and cycles in particular, we use the quasi-powers framework for probability generating functions to prove a central limit theorem for the mixing number of random integrated colorings. Lastly, we obtain an upper bound for the number of integrated colorings over any fixed graph via the second-moment method. A specialized bound for the number of integrated colorings over a regular graph is also obtained.
Sperner's colorings of hypergraphs arising from edgewise triangulations
We investigate Sperner's labelings of $H^π_{k,q}$, the hypergraph whose hyperedges are facets of the edgewise triangulation of a $(k-1)$-simplex defined by a permutation $π\in \mathbb{S}_{k-1}$. Mirzakhani and Vondr\' ak showed that the greedy coloring of $H^{\mathrm{Id}}_{k,q}$ produces the maximal number of monochromatic hyperedges. The line graph of $H_{k,q}^π$ is built from the copies of the graph $G_π$ that represents which subsets of consecutive numbers of $[k-1]$ are contiguous in $π$. We characterize these graphs in terms of dissections a regular $k$-gon and also show how they encode the adjacency relation between a hypersimplex and the facets of its alcoved triangulation. The natural action of the dihedral group $D_k$ on a regular $k$-gon and graphs $G_π$ extends on the group of permutations $\mathbb S_{k-1}$. Independent sets of the graphs $G_π$ of the permutations that are not invariant under the rotation are used to define a class of Sperner's colorings that produce more monochromatic hyperedges then the greedy colorings. This colorings are also optimal for a certain permutations.
Refinement of a conjecture on positive square energy of graphs
Let $G$ be a simple graph of order $n$ with eigenvalues $λ_1(G)\geq \cdots \geq λ_n(G)$. Define \[s^+(G)=\sum_{λ_i >0} λ_i^2(G), \quad s^-(G)=\sum_{λ_i<0} λ_i^2(G).\] It was conjectured by Elphick, Farber, Goldberg and Wocjan that for every connected graph $G$ of order $n$, $s^+(G) \ge n-1.$ We verify this conjecture for graphs with domination number at most 2. We then strengthen the conjecture as follows: if $G$ is a connected graph of order $n$ and size $m \geq n+1$, then $s^+(G) \geq n$. We prove this conjecture for claw-free graphs and graphs with diameter 2.
Ramsey goodness of stars and fans for the Hajós graph
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Graph Theory (September 20, 2025) dmtcs:15817
• View Publication
• BIB
Given two graphs $G_1$ and $G_2$, the Ramsey number $R(G_1,G_2)$ denotes the smallest integer $N$ such that any red-blue coloring of the edges of $K_N$ contains either a red $G_1$ or a blue $G_2$. Let $G_1$ be a graph with chromatic number $χ$ and chromatic surplus $s$, and let $G_2$ be a connected graph with $n$ vertices. The graph $G_2$ is said to be Ramsey-good for the graph $G_1$ (or simply $G_1$-good) if, for $n \ge s$, \[R(G_1,G_2)=(χ-1)(n-1)+s.\]
The $G_1$-good property has been extensively studied for star-like graphs when $G_1$ is a graph with $χ(G_1)\ge 3$, as seen in works by Burr-Faudree-Rousseau-Schelp (J. Graph Theory, 1983), Li-Rousseau (J. Graph Theory, 1996), Lin-Li-Dong (European J. Combin., 2010), Fox-He-Wigderson (Adv. Combin., 2023), and Liu-Li (J. Graph Theory, 2025), among others. However, all prior results require $G_1$ to have chromatic surplus $1$. In this paper, we extend this investigation to graphs with chromatic surplus 2 by considering the Hajós graph $H_a$. For a star $K_{1,n}$, we prove that $K_{1,n}$ is $H_a$-good if and only if $n$ is even. For a fan $F_n$ with $n\ge 111$, we prove that $F_n$ is $H_a$-good.
A characterization of all graphs cospectral to the double star $P_2(1,n)$
We examine the adjacency spectrum of trees with diameter three, also referred to as double stars. Using $P_2(a,b)$ to denote a double star with $ a$ and $b$ leaves at its respective endpoints, we discuss graphs which are cospectral to double stars for various parameters $a$ and $b$. In particular, we give constructions for graphs cospectral to $P_2(1,2k)$ for integers $k$. Lastly, we show that the double star $P_2(1,n)$ is determined by its spectrum when $n$ is odd. That is, if a graph $G$ cospectral to $P_2(1,n)$ for odd $n$, then $G$ is isomorphic to $P_2(1,n)$.
Finite $s$-geodesic transitive graphs under certain girths
For an integer $s\geq1$ and a graph $Γ$, a path $(u_0, u_1, \ldots, u_{s})$ of vertices of $Γ$ is called an {\em $s$-geodesic} if it is a shortest path from $u_0$ to $u_{s}$. We say that $Γ$ is {\em $s$-geodesic transitive} if, for each $i\leq s$, $Γ$ has at least one $i$-geodesic, and its automorphism group is transitive on the set of $i$-geodesics. In 2021, Jin and Praeger [J. Combin. Theory Ser. A 178 (2021) 105349] have studied $3$-geodesic transitive graphs of girth $5$ or $6$, and they also proposed to the problem that to classify $s$-geodesic transitive graphs of girth $2s-1$ or $2s-2$ for $s=4, 5, 6, 7, 8$. The case of $s = 4$ was investigated in [J. Algebra Combin. 60 (2024) 949--963]. In this paper, we study such graphs with $s\geq5$. More precisely, it is shown that a connected $(G,s)$-geodesic transitive graph $Γ$ with a nontrivial intransitive normal subgroup $N$ of $G$ which has at least $3$ orbits, where $G$ is an automorphism group of $Γ$ and $s\geq 5$, either $Γ$ is the Foster graph and $Γ_N$ is the Tutte's $8$-cage, or $Γ$ and $Γ_N$ have the same girth and $Γ_N$ is $(G/N,s)$-geodesic transitive. Moreover, it is proved that if $G$ acts quasiprimitively on its vertex set, then $G$ is an almost simple group, and if $G$ acts biquasiprimitively, the stabilizer of biparts of $Γ$ in $G$ is an almost simple quasiprimitive group on each of biparts. In addition, $G$ cannot be primitive or biprimitive.
Cubic graphs with no eigenvalues in the interval (-2,0)
We give a complete characterisation of the cubic graphs with no eigenvalues in the interval $(-2,0)$. There is one thin infinite family consisting of a single graph on $6n$ vertices for each $n \geqslant 2$, and five ``sporadic'' graphs, namely the $3$-prism $K_3 \mathbin{\square} K_2$, the complete bipartite graph $K_{3,3}$, the Petersen graph, the dodecahedron and Tutte's $8$-cage. The proof starts by observing that if a cubic graph has no eigenvalues in $(-2,0)$ then its local structure around a girth-cycle is very constrained. Then a separate case analysis for each possible girth shows that these constraints can be satisfied only by the known examples. All but one of these case analyses can be completed by hand, but for girth five there are sufficiently many cases that it is necessary to use a computer for the analysis.
Enumerating planar stuffed maps as hypertrees of mobiles
A planar stuffed map is an embedding of a graph into the 2-sphere $S^{2}$, considered up to orientation-preserving homeomorphisms, such that the complement of the graph is a collection of disjoint topologically connected components that are each homeomorphic to $S^{2}$ with multiple boundaries. This is a generalization of planar maps whose complement of the graph is a collection of disjoint topologically connected components that are each homeomorphic to a disc. The main goal of this work is to construct a bijection between bipartite planar stuffed maps and collections of integer-labelled trees connected by hyperedges such that they form a hypertree, called hypermobiles. This bijection directly generalizes the Bouttier-Di Franceso-Guitter bijection between bipartite planar maps and mobiles. Additionally, we show that the generating functions of these trees of mobiles satisfy both an algebraic equation, generalizing the case of ordinary planar maps, and a new functional equation. As an example, we explicitly enumerate a class of stuffed quadrangulations.
Geodesic transitive graphs of small valency
For a graph $Γ$, the {\em distance} $d_Γ(u,v)$ between two distinct vertices $u$ and $v$ in $Γ$ is defined as the length of the shortest path from $u$ to $v$, and the {\em diameter} $\mathrm{diam}(Γ)$ of $Γ$ is the maximum distance between $u$ and $v$ for all vertices $u$ and $v$ in the vertex set of $Γ$. For a positive integer $s$, a path $(u_0,u_1,\ldots,u_{s})$ is called an {\em $s$-geodesic} if the distance of $u_0$ and $u_s$ is $s$. The graph $Γ$ is said to be {\em distance transitive} if for any vertices $u,v,x,y$ of $\Ga$ such that $d_\Ga(u,v)=d_\Ga(x,y)$, there exists an automorphism of $Γ$ that maps the pair $(u,v)$ to the pair $(x,y)$. Moreover, $Γ$ is said to be {\em geodesic transitive} if for each $i\leq \mathrm{diam}(\Ga)$, the full automorphism group acts transitively on the set of all $i$-geodesics. In the monograph [Distance-Regular Graphs, Section 7.5], the authors listed all distance transitive graphs of valency at most $13$. By using this classification, in this paper, we provide a complete classification of geodesic transitive graphs with valency at most $13$. As a result, there are exactly seven graphs of valency at most $13$ that are distance transitive but not geodesic transitive.
Spectral Turán problem of non-bipartite graphs: Forbidden books
Published in European Journal of Combinatorics 126 (2025) 104136
• View Publication
• BIB
A book graph $B_{r+1}$ is a set of $r+1$ triangles with a common edge, where $r\geq0$ is an integer. Zhai and Lin [J. Graph Theory 102 (2023) 502-520] proved that for $n\geq\frac{13}{2}r$, if $G$ is a $B_{r+1}$-free graph of order $n$, then $ρ(G)\leqρ(T_{n,2})$, with equality if and only if $G\cong T_{n,2}$. Note that the extremal graph $T_{n,2}$ is bipartite. Motivated by the above elegant result, we investigate the spectral Turán problem of non-bipartite $B_{r+1}$-free graphs of order $n$. For general $r\geq1$, let $K_{\lfloor\frac{n-1}{2}\rfloor,\lceil\frac{n-1}{2}\rceil}^{r, r}$ be the graph obtained from $K_{\lceil\frac{n-1}{2}\rceil,\lfloor\frac{n-1}{2}\rfloor}$ by adding a new vertex $v_{0}$ such that $v_{0}$ has exactly $r$ neighbours in each part of $K_{\lceil\frac{n-1}{2}\rceil,\lfloor\frac{n-1}{2}\rfloor}$. By adopting a different technique named the residual index, Chvátal-Hanson theorem and typical spectral extremal methods, we in this paper prove that: If $G$ is a non-bipartite $B_{r+1}$-free graph of order $n$, then $ρ(G)\leqρ\Big(K_{\lfloor\frac{n-1}{2}\rfloor,\lceil\frac{n-1}{2}\rceil}^{r, r}\Big)$ , with equality if and only if $G\cong K_{\lfloor\frac{n-1}{2}\rfloor,\lceil\frac{n-1}{2}\rceil}^{r, r}$. An interesting phenomenon is that the spectral extremal graphs are completely different for $r=0$ and general $r\geq1$.
An improved bound for strongly regular graphs with smallest eigenvalue $-m$
In 1979, Neumaier gave a bound on $λ$ in terms of $m$ and $μ$, where $-m$ is the smallest eigenvalue of a primitive strongly regular graph, unless the graph in question belongs to one of the two infinite families of strongly regular graphs. We improve this result. We also indicate how our methods can be used to give an alternate derivation of Bruck's Completion Theorem for orthogonal arrays.
Well-hued graphs with first difference two
A graph $G$ is said to be well-hued if every maximal $k$-colorable subgraph of $G$ has the same order $a_k$. Therefore, if $G$ is well-hued, we can associate with $G$ a sequence $\{a_k\}$. Necessary and sufficient conditions were given as to when a sequence $\{a_k\}$ is realized by a well-hued graph. Further, it was conjectured there is only one connected well-hued graph with $a_2 = a_1 + 2$ for every $a_1 \ge 4$. In this paper, we prove this conjecture as well as characterize nearly all well-hued graphs with $a_1=2$. We also investigate when both $G$ and its complement are well-hued.
Star decompositions via orientations
A $k$-star decomposition of a graph is a partition of its edges into $k$-stars (i.e., $k$ edges with a common vertex). The paper studies the following problem: given $k \leq d/2$, does the random $d$-regular graph have a $k$-star decomposition (asymptotically almost surely, provided that the number of edges is divisible by $k$)? Delcourt, Greenhill, Isaev, Lidický, and Postle proved the a.a.s. existence for every odd $k$ using earlier results regarding orientations satisfying certain degree conditions modulo $k$.
In this paper we give a direct, self-contained proof that works for every $d$ and every $k<d/2-1$. In fact, we prove stronger results. Let $s\geq 1$ denote the integer part of $d/(2k)$. We show that the random $d$-regular graph a.a.s. has a $k$-star decomposition such that the number of stars centered at each vertex is either $s$ or $s+1$. Moreover, if $k < d/3$ or $k \leq d/2 - 2.6 \log d$, we can even prescribe the set of vertices with $s$ stars, as long as it is of the appropriate size.