graph
34516 papers tagged with this keyword
Unbent collections of non-planar $s$-grid-drawing
In a recent paper, Antić et al.~studied collections of planar orthogonal drawings of a graph where every edge is unbent in at least one drawing. This paper generalizes this concept to non-planar drawings, and shows that then two drawings always suffice (for planar drawings three drawings are sometimes needed). The results can also be generalized to $s$-grid drawings for $s\geq 3$.
Structural Properties and Applications of the Augmented Sombor Index
Topological indices are key quantitative descriptors in mathematical chemistry, unchanged under symmetry operations and retaining graph connectivity; they capture molecular structural features to provide insights into molecular stability and chemical properties, becoming indispensable in cheminformatics and theoretical chemistry. Among degree-based indices, the \textbf{Sombor index} is widely concerned for capturing structural information, and motivated by enhanced structural discrimination, the \textbf{augmented Sombor index} ($ASO$) is defined for a connected graph $Ω$ with $|V(Ω)|\geq 3$ as $$ASO(Ω) = \sum_{v_iv_j\in E(Ω)} \sqrt{\frac{d_i^2 + d_j^2}{d_i + d_j - 2}},$$ where $d_i$ and $d_j$ are the degrees of vertices $v_i$ and $v_j$, respectively. Within the scope of this study, we first establish several sharp bounds for the augmented Sombor index and characterize the extremal graphs attaining these bounds. In particular, we determine the minimum value of the $ASO$ index for unicyclic graphs with a prescribed girth and characterize all graphs achieving this minimum. We also identify the second maximum $ASO$ value among trees and characterize the corresponding extremal tree structures. Furthermore, the minimum and maximum values of the $ASO$ index for bipartite graphs and chemical graphs are obtained, together with a complete characterization of the associated extremal graphs. In addition, we characterize the chemical trees that maximize the $ASO$ index. The chemical applicability of the $ASO$ index is investigated through quantitative structure-property relationship (QSPR) analysis, supported by a comparative assessment of several variants of the Sombor index. Finally, we present concluding remarks and outline potential directions for future research on the augmented Sombor index of graphs.
On the sum of the two largest eigenvalues of the curl-curl operator on graphs
The Grone--Merris conjecture, proved by Bai in~2011, states that the spectrum of the graph Laplacian $Δ_0 = -\operatorname{div}\operatorname{grad}$ is majorized by the conjugate of the vertex degree sequence. Duval and Reiner proposed a simplicial complex analogue of this statement. On a graph, where triangles serve as $2$-simplices, their conjecture reduces to the assertion that the spectrum of $\operatorname{curl}^*\operatorname{curl}$ is majorized by the conjugate of the second-order degree sequence, which records the number of triangles containing each vertex.
We prove that the sum of the two largest eigenvalues of $\operatorname{curl}^*\operatorname{curl}$ does not exceed the sum of the first two entries of that conjugate sequence. This confirms the first two majorization inequalities predicted by Duval and Reiner for $\operatorname{curl}^*\operatorname{curl}$. As a corollary, we obtain upper bounds for the two largest eigenvalues of the full graph Helmholtzian $Δ_1 = -\operatorname{grad}\operatorname{div} + \operatorname{curl}^*\operatorname{curl}$. The same result extends to the up-Laplacian of any $3$-family, yielding a concrete step towards the Duval--Reiner conjecture in dimension~$1$.
Bricks in which every vertex is incident with a forcing edge
An edge of a matching covered graph G is a forcing edge if it lies in precisely one perfect matching of G. A matching covered graph is a brick if and only if it is 3-connected and bicritical (the deletion of each pair of distinct vertices results in a graph with a perfect matching). In this paper, we prove that every vertex of a brick is incident with a forcing edge if and only if the brick is an odd wheel up to multiple edges.
Fast Enumeration of Minimal Removable Sets in Monotone Systems with Application to Core Collapse Analysis
In network vulnerability analysis, it is crucial to evaluate the robustness of $k$-cores against vertex removals. A $k$-core is often fragile since removing a few vertices can trigger a large reduction in the core size, a phenomenon known as core collapse. In this paper, we study the problem of enumerating all minimal removable sets (MinRSs) of a given $k$-core, where a MinRS is a minimal nonempty set of vertices whose removal results in a smaller $k$-core graph. We consider this problem within a general mathematical framework based on monotone systems. We show that, for a monotone system that is given with an underlying graph $G=(V,E)$, all MinRSs of a solution can be enumerated in $O((n+m)nτ_ω)$ time, where $n=|V|$, $m=|E|$ and $τ_ω$ denotes the computation time of evaluating the monotone function of the system. Furthermore, if the system satisfies the newly defined in-dominating seed property, the complexity drops to $O((n+m) \log n \cdot τ_ω)$ time. We prove that standard $k$-cores in undirected graphs satisfy this property, enabling MinRS enumeration in $O((n+m)\log n)$ time, a significant improvement over the baseline. We also extend our framework to enumerate all solutions in a given monotone system. This yields an $O((n+m)\log n)$-delay algorithm for all $k$-core subgraphs, outperforming an algorithm given by [Boley et al., Theoretical Computer Science, 2010]. Our framework is applicable to various $k$-core extensions, including weighted $k$-cores, multi-layer $\boldsymbol{k}$-cores, and $(k,\ell)$-cores.
An algebraic study of ideals of weak graph homomorphisms
Let $G$ and $H$ be finite simple graphs and assume that either both are undirected or both are directed. We introduce and study the ideal of weak graph homomorphisms $I_{G\to H}$. We characterize all graphs $G$ and $H$ for which every (equivalently, some) power of $I_{G\to H}$ has a linear resolution. Moreover, unmixedness, Cohen-Macaulayness, projective dimension and Castelnuovo-Mumford regularity of these ideals are studied.
Maximum Forest Number of General Bipartite Graphs: Structural and Complexity Results
Recent results established the maximum forest number $f(B)$ for balanced bipartite graphs under Ore-type degree sum conditions. In this paper, we extend these results by determining the exact value of the maximum forest number as a closed-form formula for general bipartite graphs under Ore-type conditions, answering an open question posed by Yu. We prove that the maximum forest number is bounded by a discrete optimization over at most six critical structural coordinate points dictated by hyperbolic density constraints. Furthermore, we establish that deciding whether a specific balanced bipartite graph on $2n$ vertices has a forest number of at least $n+2$ is NP-complete. This implies that while the maximum possible forest number can be exactly bounded, computing the exact forest number for a given graph remains computationally intractable, and a simple structural characterization via finite forbidden induced subgraphs cannot exist unless P = NP.
Avalanche homology of digraphs via sandpile dynamics
We introduce avalanche homology as a new (di)graph homology theory, based on the dynamics of the sandpile model. Avalanche homology is the simplicial homology of the avalanche complex generated from the sets of unstable vertices at the time steps of the sandpile dynamics. In this work we focus on digraphs, and our main results give the homotopy types of the avalanche complex for directed paths and directed cycles for certain initial configurations of the sandpile dynamics. Even for such simple digraphs a wide range of topologies can arise, and we compare this to the directed flag complex and to the recently introduced burning homology. Furthermore, the dynamics yields very naturally a filtered simplicial complex, and hence persistent avalanche homology.
Hidden critical and Morse equivalence behind duality: Theory and Applications
The aim of this paper is to establish critical duality theory for ratios of nonnegative homogeneous convex functions (shorten for RC functions) and differences of convex functions (abbreviated as DC functions) on Banach spaces. Specifically, we establish a series of duality results on critical point theory and Morse theory for RC functions, including the homotopy type of sublevel sets, the Morse critical points and their Rothe critical groups, Lagrange critical points and their multiplicities, Lusternik-Schnirelman min-max critical values, Poincare polynomials, as well as the structure of handlebody decompositions, all of which are proved to be preserved under polarity dual. Moreover, we obtain the first critical duality theory of DC functions which does not depend on the DC decomposition. This answers a question left open from the work of Toland on DC functions and the work of Le-Pham on DC programming.
We apply these results to provide a reformulation of the graph Cheeger constant using zonotopes; we introduce the contact data which serves as a geometric characterization of Lagrange criticality; and we show that the eigenproblems for 1-Laplacian and $\infty$-Laplacian on hypergraphs are equivalent to the contact problems of zonotopes, which indeed establishes a new characterization of zonotopes. We also prove a duality equivalence for certain nonlinear eigenvalue problems and bifurcation problems. Our study here reveals an intricate interaction of critical point theory with other fields such as convex analysis, combinatorial geometry, and nonlinear eigenproblems on graphs.
On Meyniel's Conjecture in Random Hypergraphs
The game of \emph{Cops and Robbers} is a two player pursuit game on graphs where a team of cops attempts to catch a robber. The cop number $c(G)$ of a graph $G$ is the minimum number of cops needed to guarantee a winning strategy in $G$. A famous conjecture of Meyniel says that if $G$ is connected, then $c(G)=O(\sqrt{n})$. Erde, Kang, Lehner, Mohar and Schmid considered its generalization to $k$-uniform hypergraphs and conjectured that the cop number of such hypergraphs is $O(\sqrt{n/k})$. This may be understood as a hypergraph version of Meyniel's conjecture. In this paper we prove this conjecture for a class of \textit{expanding} hypergraphs and show that with high probability the conjecture holds for random hypergraphs $H^k(n,p))$ provided $k\geq \log^3n$ and the typical degree, $p\binom{n-1}{k-1}$, is $ω(\log^3n)$.
Results on Cartesian $1$-capacity of graphs
The concept of graph capacity extends graph span by considering the maximum number of agents that can simultaneously traverse a graph while preserving a prescribed minimum distance. We study the Cartesian $1$-capacity, corresponding to the movement in which exactly one agent moves at each step. We establish general lower and upper bounds based on structural graph properties and derive exact results for trees. Our work highlights the role of branching and bridge structures in determining the Cartesian $1$-capacity and provides new insights into collision-free multi-agent motion on graphs.
Discrete Space-Time Wave Kernels and Trace Identities on Regular Graphs
We study the discrete space-time wave equation on a $(q+1)$-regular graph $X$ associated with the affine Laplace-type operator. For the forward time-difference scheme we derive explicit formulas for the two fundamental solutions (wave kernels) in terms of discrete modified Bessel functions and the non-backtracking walk counts on $X$ thus providing a direct and explicit link between wave propagation and combinatorial graph data. Utilizing uniqueness property of the wave kernel, we prove a new trace-type formula associated to the affine Laplace-type operator on $X$ and apply it to deduce many combinatorial identities. For example, we derive a closed-form expression for evaluation of some trigonometric sums twisted by an additive character as well as evaluations of finite sums of Chebyshev polynomials twisted by binomial coefficients.
Maker-Breaker Sabotage Game
The Maker-Breaker sabotage game is played on a graph $G$ by Runner and Blocker. They play in turns, Runner first moves along a not yet traversed edge from her current position, afterwards Blocker removes one edge. The goal of Runner is to visit as many vertices of $G$ as possible, Blocker's goal is opposite. Assuming that both players use optimal strategies, the number of vertices visited by Runner determines an invariant called the sabotage number ${\rm sab}(G)$ of $G$. A formula for the sabotage number of an arbitrary tree is proved which can be evaluated in polynomial time. For a unicyclic graph $G$ it is proved that ${\rm sab}(G)\in \{{\rm sab}^-(G), {\rm sab}^-(G)+1\}$, where ${\rm sab}^-(G)$ is the lower sabotage number of $G$. The sabotage number of a bridgeless subcubic graph is sharply bounded from the above by the maximum girth. The sabotage number is also bounded for complete bipartite graphs and generalized Sierpiński graphs, and determined exactly in some special cases.
Exploring the world of edge-chromatic 3-critical graphs
A graph $G$ with maximum degree $Δ$ is $Δ$-critical if it is connected, satisfies $χ'(G)=Δ+1$, and the deletion of any edge reduces its chromatic index to $Δ$. A $Δ$-critical graph $G$ is called nontrivial if it contains no $Δ$-overfull subgraph; that is, no $H \subseteq G$ such that $|E(H)| > Δ\lfloor |V(H)| /2 \rfloor$. There are no $1$-critical graphs, and the $2$-critical graphs are exactly the odd cycles. By work of Chetwynd and Yap from 1983, there is a unique nontrivial $3$-critical graph of order $9$, and exactly two nontrivial $3$-critical graphs of order $11$. In 2005, Bokal, Brinkmann, and Grünewald showed that there are exactly fourteen nontrivial $3$-critical graphs of order $13$. For even orders, Brinkmann and Steffen proved in 1997 that no $3$-critical graphs of even order exist below order $22$, there is exactly one 3-critical graph of order $22$, and that there are exactly nine $3$-critical graphs of order $24$.
To the best of our knowledge, there has been no further progress on the existence of nontrivial $3$-critical graphs of odd orders beyond the cases established two decades ago. In this paper, using computer-assisted search techniques, we determine the exact numbers of nontrivial $3$-critical graphs of odd orders from $15$ to $21$. The same data pipeline also reproduces the known order-$22$ count of Brinkmann and Steffen, with one nontrivial $3$-critical graph. Beyond enumeration, we prove a characterization theorem for all nontrivial 3-critical graphs, with one case based on snarks. We also provide an analysis of our search algorithm.
Counting equitable $k$-colorings in graphs of bounded clique-width
For a graph $G$, a proper $k$-coloring of $G$ is \emph{equitable} if the sizes of any two color classes differ by at most one. The \textsc{Equitable $k$-Coloring} problem asks, for a given graph $G$ and integer $k$, whether $G$ admits an equitable $k$-coloring. Bodlaender and Fomin showed that it is polynomial-time solvable on graphs of bounded treewidth, while it remains $\NP$-hard on cographs, and thus on graphs of constant clique-width. Fellows et al. showed that the problem becomes $\mathsf{W[1]}$-hard when parameterized by tree-width (and hence clique-width) plus the number of colors~$k$. We first show that, for every fixed $k$, counting equitable $k$-colorings is polynomial-time solvable on graph classes of bounded clique-width, given a clique-width expression. We then show that, under $\mathsf{SETH}$, the dependence on clique-width in this algorithm is essentially optimal. As a consequence, our results provide a fairly tight picture of the complexity of \textsc{Equitable $k$-Coloring} with respect to the combined parameter $k$+clique-width. Second, we refine our clique-width algorithm for the linear setting. We show that there exists an algorithm, given an integer $k\ge 1$ and an $n$-vertex graph $G$ together with a linear $w$-expression constructing $G$, computes the number of equitable $k$-colorings of $G$ in time $\max\{1,2^k-2\}^w\cdot n^{k+O(1)}$. Third, we consider a different structural restriction, namely the class of $P_t$-free graphs. A graph is called $P_t$-free if it does not contain the path on $t$ vertices as an induced subgraph. This is a different setting from bounded clique-width; in particular, already $P_5$-free graphs have unbounded clique-width. Nevertheless, we show that for every $P_t$-free graph $G$, the number of equitable list $3$-colorings of $G$ can be computed in subexponential time.
Signed Total Roman Domination and Domatic Numbers: Degree Three and Complete Multipartite Graphs
Signed total Roman domination is a variant of the classic Roman domination-problem in graphs. A signed total Roman dominating function (STRD function) on a graph $G=(V,E)$ is a function $f: V \to \{-1,1,2\}$ such that (i) $\sum_{u \in N(v)} f(u) \geq 1$ for all $v \in V$, where $N(v)$ denotes the neighborhood of $v$, and (ii) every vertex $v$ with $f(v) = -1$ is adjacent to a vertex $u$ with $f(u) = 2$. The weight of $f$ is $\sum_{v \in V} f(v)$. The signed total Roman domination number of $G$ is the minimum weight among all its STRD functions. A signed total Roman dominating family (STRD family) on $G$ is a family $\{f_1, \ldots, f_d\}$ of pairwise distinct STRD functions such that $\sum_{i=1}^{d} f_i(v) \leq 1$ for all $v \in V$. The signed total Roman domatic number of $G$ is the maximum size among all its STRD families.
In this paper, we relate the signed total Roman domination number of a cubic graph to its open packing number, 2-tuple total domination number, and signed total domination number, allowing us to derive sharp bounds on the first invariant and to establish new $\mathcal{NP}$-completeness results for all four invariants. We demonstrate that having a degree-3 vertex determines a graph's signed total Roman domatic number. Combined with known results this implies that the associated decision problem is easy for graphs with maximum degree at most three and $\mathcal{NP}$-complete otherwise. To contrast these general hardness results, we determine signed total Roman domination and domatic numbers in complete multipartite graphs. Despite their simple structure, this is a non-trivial task.
On the homology groups of clique complexes of strongly regular graphs
In this paper, we study the first homology groups of clique complexes of strongly regular graphs over arbitrary fields and prove that most of these graphs have trivial first clique homology groups. Using Neumaier's classification of strongly regular graphs with smallest integral eigenvalue, we show that a non-vanishing first homology group may occur only in a short collection of cases: the Petersen graph, the Shrikhande graph, the complete bipartite graphs, the conference graphs on at most $255$ vertices, the lattice graphs, and the exceptional families $E_m$ in Neumaier's classification of strongly regular graphs with smallest adjacency eigenvalue $-m$, for some integer $m \geq 3$. Let $\text{Cl}(G)$ denote the clique complex of a graph $G$, $H_i(\text{Cl}(G),\mathbb{F})$ be the $i$-th homology group of $\text{Cl}(G)$ over the field $\mathbb{F}$, for some $i\geq 1$, and $λ_{min}(G)$ denote the smallest eigenvalue of the adjacency matrix of $G$. We prove that if $(G_n)_{n\geq 1}$ is an infinite family of pairwise distinct strongly regular graphs and $(\mathbb{F}_n)_{n\geq 1}$ is a sequence of fields such that $H_1(\text{Cl}(G_n), \mathbb{F}_n)\not=0$ for every $n$, then either $G_n$ is a lattice graph for infinitely many $n$, or $\lim_{n\rightarrow +\infty} λ_{\min}(G_n)=-\infty$.
For Latin square graphs, we determine the clique homologies over arbitrary fields and show that if $G$ is the strongly regular graph associated with a Latin square $M$ of order $n \geq 5$ and $\mathbb{F}$ is any field, then $H_i(\text{Cl}(G),\mathbb{F})=0$ for $i=1$ or $i \geq 3$, and $\dim H_2(\text{Cl}(G),\mathbb{F})=(n-1)^3-I(M),$ where $I(M)$ is the number of $2 \times 2$ Latin subsquares or intercalates in $M$.
A lifting theorem for generalized Turán numbers of triangles
For graphs $H$ and $F$, the generalized Turán number $\operatorname{ex}(n,H,F)$ denotes the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. We prove a general lifting principle for the case $H=K_3$ and the forbidden graph is a vertex-disjoint union of several copies of a graph. The key hypothesis is a local neighborhood-forcing condition: there is a graph $R$ with $\operatorname{ex}(n,R)=o(n^2)$ such that $F\subseteq K_1\nabla R$. Under this condition, the corresponding single-forbidden-graph asymptotics, together with a construction attaining the relevant extremal triangle and edge densities simultaneously, lift to an asymptotic value for \(\operatorname{ex}(n,K_3,(s+1)F)\) for every integer \(s \). We also prove an exact version in terms of the maximum value of a weighted expression over all graphs of a given size that avoid the forbidden graph. As applications, we obtain exact or asymptotic results for disjoint unions of suspensions of paths and stars. We also recover known exact results for disjoint odd cycles.
Graph Isomorphism and Representation Theory
We introduce an approach to distinguishing isomorphism types of graphs based on vector spaces of polynomials that are set-wise invariant under permutations ("separating modules," which are representations of the symmetric group), inspired by the Geometric Complexity Theory approach to separating complexity classes (Mulmuley & Sohoni, SIAM J. Comput., 2001). We characterize the power of this method for distinguishing non-isomorphic graphs under several different complexity measures:
- We show that separating modules of "support-degree" $k$ (each monomial touches at most $k$ vertices) are equivalent to the counts of $O(k)$-vertex subgraphs. This is strictly weaker than $O(k)$-dimensional Weisfeiler--Leman (Fürer, ICALP '01).
- We show that separating modules of symmetric circuit size $n^{Θ(k)}$ are equivalent to $Θ(k)$-WL. This generalizes and strengthens a result of Dawar & Wilsenach (CSL '18; ICALP '20; ACM Trans. Comput. Log., 2022; Theory Comput., 2025): they proved one direction of this equivalence for invariant polynomials; we generalize to separating modules and prove both directions.
- When considering only the multiplicities of separating modules (as was proposed in GCT by Mulmuley & Sohoni, ibid., rather than the polynomials themselves), we show that two graphs are separated by multiplicities if and only if their automorphism groups have different cycle indices.
The latter result is notable in the analogy with GCT, as it is the only result we are aware of in which the multiplicity approach to separating isomorphism types of objects has been given an "intrinsic" characterization in terms of the objects themselves. We use this to show that for graphs, multiplicity obstructions are stronger than occurrence obstructions. We also connect invariant polynomials to the Graph Reconstruction Conjectures and Forman's "invariants of finite type" (Adv. Math., 2004).
Bounded Treewidth and Complete Monotonicity for Scott-Sokal Spanning-Tree Polynomials
Scott and Sokal asked for a structural description of the finite graphs \(G\) for which inverse powers \(T_G^{-β}\) of the spanning-tree polynomial are completely monotone. We prove the following bounded-treewidth criterion: if \(G\) is a finite connected simple graph with \(\operatorname{tw}(G)\le k\), then \(T_G^{-β}\) is completely monotone for every \(β>(k-1)/2\). Consequently, every partial \(3\)-tree is covered throughout the first Scott--Sokal open interval \(1<β<3/2\), including finite Apollonian networks, \(K_5-e\), and the four-spoke wheel \(W_4\). The proof combines the real Riesz/Wishart integral for determinants, star--mesh elimination of simplicial vertices, and a Gaussian Laplace kernel for the degree-\(d\) star. General bounded-treewidth graphs follow by chordal completion and monotone deletion of completion edges.