graph
35175 papers tagged with this keyword
On $k$-coalition in graphs: bounds and exact values
Given a graph $G=\big{(}V(G),E(G)\big{)}$, a set $S\subseteq V(G)$ is called a $k$-dominating set if every vertex in $V(G)\setminus S$ has at least $k$ neighbors in $S$. Two disjoint sets $A,B\subset V(G)$ form a $k$-coalition in $G$ if neither set is a $k$-dominating set in $G$ but their union $A\cup B$ is a $k$-dominating set. A partition $Ω$ of $V(G)$ is a $k$-coalition partition if each set in $Ω$ is either a $k$-dominating set of cardinality $k$ or forms a $k$-coalition with another set in $Ω$. The $k$-coalition number $C_{k}(G)$ equals the maximum cardinality of a $k$-coalition partition of $G$. In this work, we give general upper and lower bounds on this parameter. In particular, we show that if $G$ has minimum degree $δ\ge 2$ and maximum degree $Δ\ge 4 \lfloor δ/2 \rfloor$, then $C_{2}(G) \leq (Δ-2\lfloor δ/2 \rfloor+1)(\lfloor δ/2 \rfloor+1) + \lceil δ/2 \rceil+1$, and this bound is sharp. If $T$ is a tree of order~$n \ge 2$, then we prove the upper bound $C_{2}(T) \leq \big\lfloor \frac{n}{2}\big\rfloor+1$ and we characterize the extremal trees achieving equality in this bound. We determine the exact value of $C_{k}(G)$ for any cubic graph $G$ and $k\geq2$. Finally, we give the exact value of $C_{k}$ for any complete bipartite graph, which completes a partial result and resolves an issue from an earlier paper.
Web Diagrams of Cluster Variables for Grassmannian Gr(4,8)
Gaetz, Pechenik, Pfannerer, Striker, and Swanson introduced the concept of hourglass plabic graphs and provided a method for computing web diagrams and invariants corresponding to $4\times n$ Young tableaux, while Elkin, Musiker, and Wright applied Lam's method to explicitly compute the webs compatible with cluster variables in Gr(3,n) and their twists, namely, the preimages of the immanant map introduced by Fraser, Lam, and Le. In this paper, we use these two methods to compute both the web diagrams and the dual webs corresponding to quadratic and cubic cluster variables in the Grassmannian cluster algebra C[Gr(4,8)].
Perfect divisions in ($P_2 \cup P_4$, bull)-free graphs
A graph $G$ has a perfect division if its vertex set can be partitioned into two sets $A$, $B$ such that $G[A]$ is perfect and $ω(G[B]) < ω(G)$. We call $G$ perfectly divisible if every induced subgraph of $G$ admits a perfect division. We prove that every ($P_2 \cup P_4$, bull)-free graph $G$ with $ω(G) \geq 3$ has a perfect division if $G$ contains no homogeneous set. The clique-number condition is tight: a counterexample exists for $ω(G) = 2$. Additionally, we present a short proof of the perfect divisibility of ($P_5$, bull)-free graphs, originally established by Chudnovsky and Sivaraman [J. Graph Theory 90 (2019), 54-60.].
Stability of $2$-domination number of a graph
This paper delves into the stability of the $2$-domination number in simple undirected graphs. The $2$-domination number of a graph $G$, $γ_2(G)$, represents the minimum size of a vertex subset where every other vertex in the graph is adjacent to at least two members of the subset. We define the $2$-domination stability, $st_{γ_2}(G)$, as the smallest number of vertices whose removal causes a change in $γ_2(G)$. Our primary contributions include computing this parameter for specific graphs, establishing various bounds for this stability and determining its behavior under certain graph operations combining two graphs.
Characterizing semi-directed phylogenetic networks and their multi-rootable variants
Published
• View Publication
• BIB
In evolutionary biology, phylogenetic networks are graphs that provide a flexible framework for representing complex evolutionary histories that involve reticulate evolutionary events. Recently phylogenetic studies have started to focus on a special class of such networks called semi-directed networks. These graphs are defined as mixed graphs that can be obtained by de-orienting some of the arcs in some rooted phylogenetic network, that is, a directed acyclic graph whose leaves correspond to a collection of species and that has a single source or root vertex. However, this definition of semi-directed networks is implicit in nature since it is not clear when a mixed-graph enjoys this property or not. In this paper, we introduce novel, explicit mathematical characterizations of semi-directed networks, and also multi-semi-directed networks, that is, mixed graphs that can be obtained from directed phylogenetic networks that may have more than one root. In addition, through extending foundational tools from the theory of rooted networks into the semi-directed setting - such as cherry picking sequences, omnians, and path partitions - we characterize when a (multi-)semi-directed network can be obtained by de-orienting some rooted network that is contained in one of the well-known classes of tree-child, orchard, tree-based or forest-based networks. These results address structural aspects of (multi-)semi-directed networks and pave the way to improved theoretical and computational analyses of such networks, for example, within the development of algebraic evolutionary models that are based on such networks.
Regular $K_3$-irregular graphs
We address the problem proposed by Chartrand, Erdős and Oellermann (1988) about the existence of regular $K_3$-irregular graphs. We first establish bounds on the $K_3$-degrees of such graphs and use them to prove that there are no such graphs with regularities at most $7$. For the regularity $8$, we narrow down the bounds on the order of such graphs to six possible values. We then present an explicit example of a $9$-regular $K_3$-irregular graph. Finally, we discuss an evolutionary algorithm developed to discover more examples of $r$-regular $K_3$-irregular graphs for consecutive values $r \in \{9, \dots, 30\}$.
Largest planar graphs of diameter $3$ and fixed maximum degree -- connection with fractional matchings
The degree diameter problem asks for the maximum possible number of vertices in a graph of maximum degree $Δ$ and diameter $D$. In this paper, we focus on planar graphs of diameter $3$. Fellows, Hell and Seyffarth (1995) proved that for all $Δ\geq 8$, the maximum number $\mathrm{np}_{Δ, D}$ of vertices of a planar graph with maximum degree at most $Δ$ and diameter at most 3 satisfies $\frac{9}{2}Δ- 3 \leq \mathrm{np}_{Δ,3} \leq 8 Δ+ 12$. We show that the lower bound they gave is optimal, up to an additive constant, by proving that there exists $c>0$ such that $\mathrm{np}_{Δ,3} \leq \frac{9}{2}Δ+ c$ for every $Δ\geq 0$. Our proof consists in a reduction to the fractional maximum matching problem on a specific class of planar graphs, for which we show that the optimal solution is $\tfrac{9}{2}$, and characterize all graphs attaining this bound.
Unitary actions and equivariant volumes of symmetric edge polytopes
The symmetric edge polytope ($\mathrm{SEP}$) of a finite simple graph $G$ is a centrally symmetric lattice polytope whose vertices are defined by the edges of the graph. Among the information encoded by these polytopes are the symmetries of the graph, which appear as symmetries of the polytope. We describe the rigid symmetries of these polytopes, and show that $\mathrm{SEP}$s are unitarily equivalent exactly when their associated graphs are isomorphic. We then find an explicit relationship between the relative volumes of the subsets of the symmetric edge polytope $\mathrm{SEP}$ fixed by the natural action of symmetric group elements and the symmetric edge polytopes of smaller graphs to which the subsets are linearly equivalent. We also provide a vertex description of the fixed polytopes and find a description of the symmetric edge polytopes to which they are equivalent, in terms of contractions of the graph $G$ induced by the cycle decompositions of the permutations under which the subsets are fixed. Specializations of our results provide equivalence and volume relationships for fixed polytopes of symmetric edge polytopes of complete graphs (equivalently, for fixed polytopes of root polytopes of type $A_n$), and describe the symmetry group of this family of polytopes.
In Reverie Together: Ten Years of Mathematical Discovery with a Machine Collaborator
We present four open conjectures in graph theory generated by the automated conjecturing system \texttt{TxGraffiti}. Each conjecture is concise, grounded in natural graph invariants, and empirically validated across hundreds of graphs. Despite extensive effort, these statements remain unresolved--defying both proof and counterexample. They are not only mathematical challenges but creative expressions--born of symbolic pattern recognition and mathematician-defined heuristics, refined through years of human dialogue, and now offered back to the community as collaborative artifacts. These conjectures invite not only formal proof, but also reflection on how machines can evoke wonder, spark curiosity, and contribute to the raw material of discovery. By highlighting these problems, we aim to inspire both human mathematicians and AI systems to engage with them--not only to solve them, but to reflect on what it means when machines participate meaningfully in the creative process of mathematical thought.
Resolving Open Problems on the Euler Sombor Index
Published
• View Publication
• BIB
Recently, the Euler Sombor index $(EUS)$ was introduced as a novel degree-based topological index. For a graph $G$, the Euler Sombor index is defined as $$EUS(G) = \sum_{v_i v_j \in E(G)} \sqrt{d_i^2 + d_j^2 + d_i d_j},$$ where $d_i$ and $d_j$ denote the degrees of the vertices $v_i$ and $v_j$, respectively. Very recently, Khanra and Das \textbf{\bf [Euler Sombor index of trees, unicyclic and chemical graphs, \emph{MATCH Commun. Math. Comput. Chem.} \textbf{94} (2025) 525--548]} proposed several open problems concerning the Euler Sombor index. This paper completely resolves two of the most challenging problems posed therein. First, we determine the minimum value of the $EUS$ index among all unicyclic graphs of a fixed order and prescribed girth, and we characterize the extremal graphs that attain this minimum. Building on this result, we further establish the minimum $EUS$ index within the broader class of connected graphs of the same order and girth, and identify the corresponding extremal structures. In addition, we classify all connected graphs that attain the maximum Euler Sombor index $(EUS)$ when both the order and the number of leaves are fixed.
Bipartite graphs with minimum degree at least 15 are antimagic
Published
• View Publication
• BIB
An antimagic {labeling} of a graph $G=(V,E)$ is a one-to-one mapping $f: E\rightarrow\{1,2,\ldots,|E|\}$, ensuring that the vertex sums in $V$ are pairwise distinct, where a vertex sum of a vertex $v$ is defined as the sum of the labels of the edges incident to $v$. A graph is called antimagic if it admits an antimagic labeling. The Antimagic Labeling Conjecture, proposed by Hartsfield and Ringel in 1990, posits that every connected graph other than $K_2$ is antimagic. The conjecture was confirmed for graphs of average degree at least 4,182 in 2016 by Eccles, where it was stated that a similar approach could not reduce the bound below 1,000 from 4,182.
This paper shows that every bipartite graph with minimum degree at least 15 is antimagic. Our approach relies on three tools: a consequence of König's Theorem, the existence of a subgraph of a specific size that avoids Eulerian components, and a labeling lemma that ensures some vertex sums are divisible by three while others are not.
Maker-Breaker total domination number
The Maker-Breaker total domination number, $γ_{\rm MBT}(G)$, of a graph $G$ is introduced as the minimum number of moves of Dominator to win the Maker-Breaker total domination game, provided that he has a winning strategy and is the first to play. The Staller-start Maker-Breaker total domination number, $γ_{\rm MBT}'(G)$, is defined analogously for the game in which Staller starts. Upper and lower bounds on $γ_{\rm MBT}(G)$ and on $γ_{\rm MBT}'(G)$ are provided and demonstrated to be sharp. It is proved that for any pair of integers $(k,\ell)$ with $2\leq k\leq \ell$, (i) there exists a connected graph $G$ with $γ_{\rm MB}(G)=k$ and $γ_{\rm MBT}(G)=\ell$, (ii) there exists a connected graph $G'$ with $γ_{\rm MB}'(G')=k$ and $γ_{\rm MBT}'(G')=\ell$, and (iii) there there exists a connected graph $G''$ with $γ_{\rm MBT}(G'')=k$ and $γ_{\rm MBT}'(G'')=\ell$. Here, $γ_{\rm MB}$ and $γ_{\rm MB}'$ are corresponding invariants for the Maker-Breaker domination game.
Non-isomorphic $d$-integral circulant graphs
The algebraic degree $Deg(G)$ of a graph $G$ is the dimension of the splitting field of the adjacency polynomial of $G$ over the field $\mathbb{Q}$. It can be shown that for every positive integer $d$, there exists a circulant graph with algebraic degree $d$. Let $C(d)$ be the least positive integer such that there exists a circulant graph of order $C(d)$ having algebraic degree $d$. A graph $G$ is called $d$-integral if $Deg(G)=d$. We call a $d$-integral circulant graph \textit{minimal} if order of that graph equals $C(d)$. Let $\mathcal{F}_{n,d}$ denote the collection of isomorphism classes of connected, $d$-integral circulant graphs of some given possible order $n$. In this paper we compute the exact value of $C(d)$ and provide some bounds on $|\mathcal{F}_{n,d}|$, thereby showing that the minimal $d$-integral circulant graph is not unique. Moreover, we find the exact value of $|\mathcal{F}_{p,d}|$ where both $p$ and $d$ are prime.
On the sum of the largest and smallest eigenvalues of odd-cycle free graphs
Published
• View Publication
• BIB
Let $G$ be a graph with adjacency eigenvalues $λ_1 \geq \cdots \geq λ_n$. Both $λ_1 + λ_n$ and the odd girth of $G$ can be seen as measures of the bipartiteness of $G$. Csikvári proved in 2022 that for odd girth 5 graphs (triangle-free) it holds that $(λ_1+λ_n)/n \le (3-2\sqrt 2) < 0.1716$. In this paper we extend Csikvári's result to general odd girth $k$ proving that $(λ_1+λ_n)/n = O(k^{-1})$. In the case of odd girth 7, we prove a stronger upper bound of $(λ_1+λ_n)/n < 0.0396$.
Approximating temporal modularity on graphs of small underlying treewidth
Published
• View Publication
• BIB
Modularity is a very widely used measure of the level of clustering or community structure in networks. Here we consider a recent generalisation of the definition of modularity to temporal graphs, whose edge-sets change over discrete timesteps; such graphs offer a more realistic model of many real-world networks in which connections between entities (for example, between individuals in a social network) evolve over time. Computing modularity is notoriously difficult: it is NP-hard even to approximate in general, and only admits efficient exact algorithms in very restricted special cases. Our main result is that a multiplicative approximation to temporal modularity can be computed efficiently when the underlying graph has small treewidth. This generalises a similar approximation algorithm for the static case, but requires some substantially new ideas to overcome technical challenges associated with the temporal nature of the problem.
On Maker-Breaker domination game critical graphs
The Maker-Breaker domination game is played on a graph $G$ by Dominator and Staller who alternate turns selecting an unplayed vertex of $G$. The goal of Dominator is that the vertices he selected during the game form a dominating set while Staller's goal is to prevent this from happening. The graph invariant $γ_{\rm MB}'(G)$ is the number of Dominator's moves in the game played on $G$ in which he can achieve his goal when Staller makes the first move and both players play optimally. In this paper, we continue the investigation of $2$-$γ_{\rm MB}'$-critical graphs, initiated in [Divarakan et al., Maker--Breaker domination game critical graphs, Discrete Appl.\ Math. 368 (2025) 126--134], which are defined as the graphs $G$ with $γ_{\rm MB}'(G)=2$ and $γ_{\rm MB}'(G-e)>2$ for every edge $e$ in $G$. The authors characterized bipartite $2$-$γ_{\rm MB}'$-critical graphs, and found an example of a non-bipartite $2$-$γ_{\rm MB}'$-critical graph. In this paper, we characterize the $2$-$γ_{\rm MB}'$-critical graphs that have a cut-vertex, which are represented by two infinite families. In addition, we prove that $C_5$ is the only non-bipartite, triangle-free $2$-$γ_{\rm MB}'$-critical graph.
A simple proof that the edge density of Fon-der-Flaass $(3,4)$-graph is $\geq\frac{7}{16}(1-o(1))$
In 2018, Alexander A. Razborov proved that the edge density of Fon-der-Flaass $(3,4)$-graph is $\geq\frac{7}{16}(1-o(1))$, using flag algebras. In this paper, we give an elementary proof of this result.
Optimal stability results on color-biased Hamilton cycles
We investigate Hamilton cycles in edge-colored graphs with \( r \) colors, focusing on the notion of color-bias (discrepancy), the maximum deviation from uniform color frequencies along a cycle. Foundational work by Balogh, Csaba, Jing, and Pluhár, and the later generalization by Freschi, Hyde, Lada, and Treglown, as well as an independent work by Gishboliner, Krivelevich, and Michaeli, established that any \(n\)-vertex graph with minimum degree exceeding \( \frac{(r+1)n}{2r} + \frac{m}{2}\) contains a Hamilton cycle with color-bias at least \(m\), and characterized the extremal graphs with minimum degree \(\frac{(r+1)n}{2r}\) in which all Hamilton cycles are perfectly balanced.
We prove the optimal stability results: for any positive integers \(r\ge 2\) and \( m < 2^{-6} r^{2} n,\) if every Hamilton cycle in an \( n \)-vertex graph with minimum degree exceeding \( \frac{n}{2} + 6r^{2}m \) has color-bias less than \( m \), then the graph must closely resemble the extremal constructions of Freschi, Hyde, Lada, and Treglown. The leading term \( \frac{n}{2} \) in the degree condition is optimal, as it is the sharp threshold for guaranteeing Hamiltonicity. Moreover, we show the additive error term \(Θ(m)\) is also best possible when \(m\) is large and \(r=2\), since weaker condition \(\frac{n}{2}+o(m)\) allow for a counterexample. Notably, the structural stability threshold \( \frac{1}{2} \) lies strictly below the extremal threshold \( \frac{1}{2} + \frac{1}{2r} \) required to force color imbalance. Our proof leverages local configurations to deduce global structure, revealing a rigid combinatorial dichotomy.
Metric Dimension of a Direct Product of Three Complete Graphs: The Middle Cone Family
Published
• View Publication
• BIB
In previous work, we determined the metric dimension for a direct product of three isomorphic complete graphs. Turning to the case where the complete graphs may have different orders, there are three families we refer to as the upper, lower, and middle cones. We determine the metric dimension and location-total-domination number for a family of direct products of three complete graphs stemming from the middle cone. We explicitly describe minimum resolving sets. To verify the sets are resolving, we define a basic landmark system and show it will be a resolving set if and only if its associated 3-edge-colored hypergraph avoids three types of forbidden subgraphs. This generalizes the technique used for three isomorphic factors.
On distinguishing coloring and some variants of proper coloring of graphs derived from subdivision operations
Let G be a simple, finite, connected, and undirected graph, and T be a finite tree. The middle graph M(G) of G is obtained from the subdivision graph S(G) after joining pairs of subdivided vertices that lie on adjacent edges of G and the central graph C(G) of G is obtained from S(G) after joining all non-adjacent vertices of G.
We show that if the order of G is at least 4, then Aut(G), Aut(C(G)), and Aut(M(G)) are isomorphic (as abstract groups) and apply these results to obtain new sharp upper bounds of the distinguishing number and the distinguishing index of C(G) and M(G) inspired by an algorithm due to Kalinowski, Pilsniak, and Wozniak from 2016.
Furthermore, we study the total distinguishing chromatic number of C(G) and S(G), use Latin squares to verify the AVD-total coloring conjecture for central graphs of regular graphs and some other classes of graphs (which is a partial progress towards answering an open question of Panda, Verma, and Keerti from 2020), and obtain new bounds of the total dominator chromatic number of C(G) and C(T).