arXiv++ Combinatorics

Extremal Graph Theory heavily relies on exploring bounds and inequalities between graph invariants, a task complicated by the rapid combinatorial explosion of graphs. Various tools have been developed to assist researchers in navigating this complexity, yet they typically rely on heuristic, probabilistic, or non-exhaustive methods, trading exactness for scalability. PHOEG takes a different stance: rather than approximating, it commits to an exact approach. PHOEG is an interactive online tool (https://phoeg.umons.ac.be) designed to assist researchers and educators in graph theory. Building upon the exact geometrical approach of its predecessor, GraPHedron, PHOEG embeds graphs into a two-dimensional invariant space and computes their convex hull, where facets represent inequalities and vertices correspond to extremal graphs. PHOEG modernizes and expands this approach by offering a comprehensive web interface and API, backed by an extensive database of pairwise non-isomorphic graphs including all graphs up to order 10. Users can intuitively define invariant spaces by selecting a pair of invariants, apply constraints and colorations, visualize resulting convex polytopes, and seamlessly inspect the corresponding drawn graphs. In this paper, we detail the software architecture and new web-based features of PHOEG. Furthermore, we demonstrate its practical value in two primary contexts: in research, by illustrating its ability to quickly identify conjectures or counterexamples to conjectures, and in education, by detailing its integration into university-level coursework to foster student discovery of classical graph theory principles. Finally, this paper serves as a brief survey of the extremal results and conjectures established over the past two decades using this geometric approach.

Let $G$ be a graph on $n$ vertices and $m$ edges. For $α\in [0,1]$, the $A_α$-matrix of $G$ is defined as $A_α(G) = αD(G) + (1- α) A(G)$, where $A(G)$ is the adjacency matrix and $D(G)$ is the degree diagonal matrix of $G$. If $ρ_1 \geq ρ_2 \ldots \geq ρ_n$ are the eigenvalues of $A_α(G)$, the $A_α$-energy of $G$ is defined as $E_{A_α}(G) = \sum_{i=1}^{n} |ρ_i -\frac{2αm}{n}|$. In this paper, we present novel upper and lower bounds for $E_{A_α}(G)$ in terms of standard graph invariants, showing that each bound is sharp and identifying the specific graphs attaining them. For selected bounds, we provide brief comparative analysis with existing results, observing improved estimates. Furthermore, we establish new relations between $E_{A_α}(G)$ and other well known graph energies, including adjacency, Laplacian, as well as the adjacency energy of the line graph.

The splitting graph $S(G)$ of a finite simple graph $G$ was introduced by Sampathkumar and Walikar in 1980~\cite{SW1980} and has been extensively studied in relation to graph invariants of $G$. In their original work, several formulas relating the independence number and the vertex cover number of $S(G)$ to the corresponding parameters of $G$ were stated and subsequently cited in the literature. In this paper, we show that some of these classical equalities do not hold in general. We present explicit counterexamples disproving the published results concerning independence and vertex cover numbers of splitting graphs. Moreover, we establish the correct formulas and precisely characterize the cases in which the original statements are valid and those in which they fail. These results correct an error that has remained unnoticed for more than four decades and provide a clearer understanding of splitting graphs from the perspective of independence and vertex cover number.

Let $R$ be a finite ring with identity. The idempotent graph $I(R)$ is the graph whose vertex set consists of the non-trivial idempotent elements of $R$, where two distinct vertices $x$ and $y$ are adjacent if and only if $xy = yx = 0$. The clean graph $Cl_2(R)$ is a graph whose vertices are of the form $(e, u)$, where $e$ is a nonzero idempotent element and $u$ is a unit of $R$. Two distinct vertices $(e,u)$ and $(f, v)$ are adjacent if and only if $ef = fe = 0$ or $uv = vu = 1$. The shuriken graph operation is an operation that arises from the structure of the clean graph and depends on the structure of the associated idempotent graph. In this paper, we study the graph obtained from the shuriken operation and examine how its properties depend on those of the base graph. In particular, we investigate several graph invariants, including the clique number, chromatic number, independence number, and domination number. Moreover, we analyze topological indices and characterize Eulerian and Hamiltonian properties of the resulting shuriken graphs in terms of the properties of the base graphs.

Seidel switching is a classical operation on graphs which plays a central role in the theory of two-graphs, signed graphs, and switching classes. In this paper we focus on those switches which leave a given graph invariant up to isomorphism. We call such subsets of the vertex set \emph{identity Seidel switches}. After recalling basic properties of Seidel switching and the associated abelian group structure, we introduce Seidel equivalence classes of graphs and then study the structure of the family of identity Seidel switches of a fixed graph. We show that this family forms a 14 pages; 2--group under composition, and we obtain structural constraints on graphs in which many vertices or edges give rise to identity switches. In particular, we derive necessary conditions in terms of degree parameters, and we characterize certain edge-identity switches via an automorphism of an induced subgraph. Several constructions and examples are presented, and some open problems are proposed.

We introduce a two-parameter framework that refines several classical graph invariants by imposing higher-order constraints along bounded-length geodesics. For integers $k,d\ge1$, a vertex set is called $k,d$-independent if every shortest path of length at most $d$ contains fewer than $k$ vertices of the set, giving rise to corresponding $k,d$-independence, chromatic, clique, and domination invariants. We develop a general framework for these parameters by associating each graph with a $k$-uniform hypergraph that encodes its geodesic structure. We then establish basic bounds and monotonicity properties, and introduce a notion of $k,d$-perfection extending the classical theory of perfect graphs. Exact formulas are obtained for the $k,d$-chromatic number of paths and cycles. In particular, all paths are $k,d$-perfect for all parameters, while cycles admit a complete classification of $k,d$-perfection that recovers the classical case when $k=2$ and exhibits new periodic and finite-exception behavior for $k\ge3$. We further investigate the interaction between $k,d$-invariants and graph powers, showing that while the $k=2$ case reduces to graph powers in a straightforward way, substantially different behavior arises for higher values of $k$, even for powers of paths.

The adjacency-diametrical matrix (AD matrix) of a connected graph $G$ with diameter $d$, denoted by $AD(G)$, is the matrix indexed by the vertices of $G$ in which the $(i,j)$-entry of $AD(G)$ is $1$ if $d_G(v_i,v_j)=1$, is $d$ if $d_G(v_i,v_j)=d$, and $0$ otherwise, where $d_G(v_i,v_j)$ denotes the distance between the vertices $v_i$ and $v_j$ in $G$. We determine the spectrum of the AD matrix for paths, cycles, and double star graphs and obtain its determinant for a connected graph. We characterize a class of bipartite graphs using the coefficients of the characteristic polynomial and the eigenvalues of the AD matrix. We establish bounds relating the eigenvalues of the AD matrix to various graph invariants, and we determine the spectrum of the AD matrix for graphs formed by the join, lexicographic product, and Cartesian product operations under certain conditions on the constituent graphs.

The symmetric edge polytope of a simple graph is a lattice polytope defined as the convex hull of a subset of the type A roots corresponding to the edges of the graph. In this article we prove a sharp lower bound for the number of edges of the symmetric edge polytope of a graph as a function of elementary graph invariants. Moreover, we characterize graphs attaining this bound. We highlight a connection with the h*-polynomial of such polytopes and, motivated by a conjecture of Ohsugi and Tsuchiya, we investigate the behaviour of such polynomial under edge-deletion in the graph.

The notion of resistance distance, introduced by Klein and Randić, has become a fundamental concept in spectral graph theory and network analysis, as it captures both the structural and electrical properties of a graph. The associated resistance spectrum serves as a graph invariant and plays an important role in problems related to graph isomorphism. For an undirected graph $G=(V,E)$, the resistance distance $R_G(u,v)$ between two distinct vertices $u$ and $v$ is defined as the effective resistance between them when each edge of $G$ is replaced by a $1\,Ω$ resistor. The multiset of all resistance distances over unordered pairs of distinct vertices is called the \emph{resistance spectrum} of $G$, denoted by $\operatorname{RS}(G)$. A graph $G$ is said to be \emph{determined by its resistance spectrum} if, for any graph $H$, the equality $\operatorname{RS}(H)=\operatorname{RS}(G)$ implies that $H$ is isomorphic to $G$. Complete bipartite graphs, denoted by $K_{m,n}$, are highly symmetric and constitute an important class of graphs in graph theory. In this paper, by exploiting properties of resistance distances, we prove that the complete bipartite graphs $K_{n,n}$, $K_{n,n+1}$, $K_{2,n}$, and $K_{m,n}$ with $m>3n+1$ are uniquely determined by their resistance spectra.

In a study, published in \emph{Nature}, researchers from DeepMind and mathematicians demonstrated a general framework using machine learning to make conjectures in pure mathematics. Their work uses neural networks and attribution techniques to guide human intuition towards making provable conjectures. Here, we build upon this framework to develop a method for identifying sufficient conditions that imply a given mathematical statement. Our approach trains neural networks with a custom loss function that prioritizes high precision. Then uses attribution techniques and exploratory data analysis to make conjectures. As a demonstration, we apply this process to Stanley's problem of $e$-positivity of graphs--a problem that has been at the center of algebraic combinatorics for the past three decades. Guided by AI, we rediscover that one sufficient condition for a graph to be $e$-positive is that it is co-triangle-free, and that the number of claws is the most important factor for $e$-positivity. Based on the most important factors in Saliency Map analysis of neural networks, we suggest that the classification of $e$-positive graphs is more related to continuous graph invariants rather than the discrete ones. Furthermore, using neural networks and exploratory data analysis, we show that the claw-free and claw-contractible-free graphs with $10$ and $11$ vertices are $e$-positive, resolving a conjecture by Dahlberg, Foley, and van Willigenburg.

We investigate machine learning approaches to approximating the \emph{domination number} of graphs, the minimum size of a dominating set. Exact computation of this parameter is NP-hard, restricting classical methods to small instances. We compare two neural paradigms: Convolutional Neural Networks (CNNs), which operate on adjacency matrix representations, and Graph Neural Networks (GNNs), which learn directly from graph structure through message passing. Across 2,000 random graphs with up to 64 vertices, GNNs achieve markedly higher accuracy ($R^2=0.987$, MAE $=0.372$) than CNNs ($R^2=0.955$, MAE $=0.500$). Both models offer substantial speedups over exact solvers, with GNNs delivering more than $200\times$ acceleration while retaining near-perfect fidelity. Our results position GNNs as a practical surrogate for combinatorial graph invariants, with implications for scalable graph optimization and mathematical discovery.

A graph $G=(V,E)$ on $n$ vertices is said to be \emph{distance exceptional} if the equation $D\vec{x} = \vec{1}$ admits no solution $\vec{x}\in\mathbb{R}^{n}$, where $D\in\mathbb{R}^{n\times n}$ is the shortest path distance matrix of $G$. These graphs were first studied by Steinerberger in the context of a notion of discrete curvature (``Curvature on graphs via equilibrium measures,'' \emph{Journal of Graph Theory}, 103(3), 2023). This work has led to several open questions about distance exceptional graphs, including: What is the structure of such graphs? How can they be characterized? How rare are they? In this paper, we investigate these questions through the lens of a graph invariant we term the \emph{curvature index}. We show that a graph is distance exceptional if and only if this invariant vanishes, and we develop a calculus for this invariant under graph operations including the Cartesian product and graph join. As a result, we recover and generalize a number of known results in this area. We show that any graph $G$ can be realized as an induced subgraph of a distance exceptional graph $G'$. Moreover, in many cases, this embedding is an isometry. In turn, this leads to a number of methods for constructing distance exceptional graphs.

We prove a conjecture of Fomichev and Karev [{European J. Combin.} 127 (2025) 104160] by showing the equality of two graph invariants: $\varphi$, defined via graph colorings, and $ψ$, derived from the $\mathfrak{sl}(2)$-weight system of its 2-dimensional irreducible representation.

Let ${\rm gp}_{\rm t}(G)$, ${\rm gp}_{\rm o}(G)$, and ${\rm gp}_{\rm d}(G)$ be the total, the outer, and the dual general position number of a graph $G$, respectively. This paper investigates how removing a vertex or removing an edge affects these graph invariants. It is proved that if $x$ is not a cut vertex, then ${\rm gp}_{\rm t}(G) -1 \le {\rm gp}_{\rm t}(G-x) \le {\rm gp}_{\rm t}(G) + {\rm deg}_G(x)$. On the other hand, ${\rm gp}_{\rm o}(G-x)$ and ${\rm gp}_{\rm d}(G-x)$ can be respectively arbitrarily larger/smaller than ${\rm gp}_{\rm o}(G)$ and ${\rm gp}_{\rm d}(G)$. On the positive side, it is proved that if $x$ lies in some ${\rm gp}_{\rm o}$-set, then ${\rm gp}_{\rm o}(G)-1 \le {\rm gp}_{\rm o}(G-x)$, and that if $x$ is not a cut vertex and lies in some ${\rm gp}_{\rm d}$-set of $G$, then $ {\rm gp}_{\rm d}(G)-1 \le {\rm gp}_{\rm d}(G-x)$. For the edge removal, it is proved that (i) ${\rm gp}_{\rm t}(G) -|S(G)_{e}| \le {\rm gp}_{\rm t}(G-e) \le {\rm gp}_{\rm t}(G) +2$, where $S(G)_{e}$ is the set of simplicial vertices adjacent to both endvertices of $e$, (ii) ${\rm gp}_{\rm o}(G)/2\le {\rm gp}_{\rm o}(G-e)\leq\ 2{\rm gp}_{\rm o}(G)$, and (iii) that ${\rm gp}_{\rm d}(G) - {\rm gp}_{\rm d}(G-e)$ can be arbitrarily large. All bounds are demonstrated to be sharp.

Generalized Sierpiński graphs constitute a distinctive class of fractal-like networks, whose self-similar properties have attracted growing attention. In particular, a number of graph invariants have been studied in generalized Sierpiński graphs. In this paper, we focus on injective colorings of this class of graphs, both the vertex and the edge version. The vertex version of injective colorings in generalized Sierpiński graphs was initiated in [Injective colorings of Sierpiński-like graphs and Kneser graphs,Graphs.\ Combin.\ 41 (2025) 83], where the authors determined the injective chromatic numbers of the standard Sierpiński graphs (which are those whose base graph is a clique) and asked about the values when the base graph is a cycle. We resolve this question by proving that $χ_i(S_{C_k}^n)=3$ for every $n\ge 2$ and every $k\ge 3$, which follows from a more general result on generalized Sierpi\' nski graphs $S_G^n$ with arbitrary base graphs $G$. Moreover, we prove (an almost conclusive result) that $χ_i(S_G^n)\in \{χ_i(G),χ_i(G)+1\}$ for any graph $G$ and any $n\ge 2$. Injective edge colorings appear to be more difficult, especially in graphs with triangles. On a positive note, we prove that $χ_i'(S_{K_3}^n)=5$ for all $n\ge 3$. Furthermore, if $G$ is a triangle-free graph, we prove that $χ_i'(S_G^n)\in \{χ_i'(S_G^3),χ_i'(S_G^3)+1\}$ for all $n\ge 4$, and provide some sufficient conditions on an injective edge coloring of the 3-dimensional Sierpiński graph over $G$, which ensure that $χ_i'(S_G^n)=χ_i'(S_G^3)$. In particular, the latter result enables us to establish that $χ_i'(S_{C_4}^n)=3$, $χ_i'(S_{C_5}^n)=4$ and $χ_i'(S_{C_6}^n)=3$ hold for any $n\ge 2$.

The domatic number of a graph is the maximum number of pairwise disjoint dominating sets admitted by the graph. We introduce a game based around this graph invariant. The domatic number game is played on a graph $G$ by two players, Alice and Bob, who take turns selecting a vertex and placing it into one of $k$ sets. Alice is trying to make each of these sets into a dominating set of $G$ while Bob's goal is to prevent this from being accomplished. The maximum $k$ for which Alice can achieve her goal when both players are playing optimal strategies, is called the game domatic number of $G$. There are two versions of the game and two resulting invariants depending on whether Alice or Bob is the first to play. We prove several upper bounds on these game domatic numbers of arbitrary graphs and find the exact values for several classes of graphs including trees, complete bipartite graphs, cycles and some narrow grid graphs. We pose several open problems concerning the effect of standard graph operations on the game domatic number as well as a vexing question related to the monotonicity of the number of sets available to Alice.

In this paper, the investigates Adriatic indices, specifically the sum lordeg index where it defined as $SL(G) = \sum_{u \in V(G)} °_G(u) \sqrt{\ln °_G(u)}$ and the variable sum exdeg index $SEI_a(G)$ for $a>0$, $a\neq 1$. We present several sharp bounds and characterizations of these and related topological indices on specialized graph classes, including regular graphs, thorny graphs, and chemical trees. Using the strict convexity of function $f$, inequalities for degree-based graph invariants $H_f(T)$ are derived under structural constraints on trees such as branching vertices and maximum degree. Examples on caterpillar trees illustrate the computation of indices like $^{m}M_2(G)$, $F(G)$, $M_2(G)$, and others, revealing the interplay between degree sequences and index values. Additionally, upper and lower bounds on the Sombor index $SO(G^*)$ of thorny graphs $G^*$ are established as \[ \operatorname{SO} \leqslant \sum_{uv\in E(G)}\sqrt{\frac{1}{°_{G}(u)^2+°_{G}(v)^2}+°_{G}(u)+°_{G}(v)}, \] including criteria for equality, with implications for regular and thorn-regular graphs. The treatment includes detailed formulas, constructive examples, and inequalities critical for understanding the relationship between graph topology and vertex-degree-based descriptors.

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.

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.

For a fixed graph $H$, in the List $H$-Coloring problem, we are given a graph $G$ along with list $L(v) \subseteq V(H)$ for every $v \in V(G)$, and we have to determine if there exists a list homomorphism $\varphi$ from $(G,L)$ to $H$, i.e., an edge preserving mapping $\varphi: V(G)\to V(H)$ that satisfies $\varphi(v)\in L(v)$ for every $v\in V(G)$. Note that if $H$ is the complete graph on $q$ vertices, the problem is equivalent to List $q$-Coloring. We investigate the kernelization properties of List $H$-Coloring parameterized by the vertex cover number of $G$: given an instance $(G,L)$ and a vertex cover of $G$ of size $k$, can we reduce $(G,L)$ to an equivalent instance $(G',L')$ of List $H$-Coloring where the size of $G'$ is bounded by a low-degree polynomial $p(k)$ in $k$? This question has been investigated previously by Jansen and Pieterse [Algorithmica 2019], who provided an upper bound, which turns out to be optimal if $H$ is a complete graph, i.e., for List $q$-Coloring. This result was one of the first applications of the method of kernelization via bounded-degree polynomials. We define two new integral graph invariants, $c^*(H)$ and $d^*(H)$, with $d^*(H) \leq c^*(H) \leq d^*(H)+1$, and show that for every graph $H$, List $H$-Coloring -- has a kernel with $\mathcal{O}(k^{c^*(H)})$ vertices, -- admits no kernel of size $\mathcal{O}(k^{d^*(H)-\varepsilon})$ for any $\varepsilon > 0$, unless the polynomial hierarchy collapses. -- Furthermore, if $c^*(H) > d^*(H)$, then there is a kernel with $\mathcal{O}(k^{c^*(H)-\varepsilon})$ vertices where $\varepsilon \geq 2^{1-c^*(H)}$. Additionally, we show that for some classes of graphs, including powers of cycles and graphs $H$ where $Δ(H) \leq c^*(H)$ (which in particular includes cliques), the bound $d^*(H)$ is tight, using the polynomial method. We conjecture that this holds in general.