graph
35175 papers tagged with this keyword
Chromatic numbers with open and nonzero local modular constraints
In this paper, we explore chromatic numbers subject to various local modular constraints. For fixed $n$, we consider proper integer colorings of a graph $G$ for which the closed and open neighborhood sums have nonzero remainders modulo $n$ and provide bounds for the associated chromatic numbers $χ_n(G)$ and $χ_{(n)}(G)$, respectively. In addition, we provide bounds for $χ_{(n,k)}(G)$, the minimal order of a proper integer coloring of $G$ with open neighborhood sums congruent to $k\mod n$ (when such a coloring exists) as well as precise values for certain families of graphs.
A scheme-theoretic interpretation of generalized splines
Classical splines feature prominently in approximation theory and numerical analysis, while GKM theory arises in the study of equivariant cohomology. More recently, generalized splines have been studied which simultaneously generalize both classical splines and GKM theory. We show that generalized splines can be understood as a scheme-theoretic phenomenon, and establish the foundations for working with generalized splines via scheme theory. To do this, we first prove that the ring of generalized splines over an edge-labeled graph is isomorphic to the limit of a diagram associated to the edge-labeled graph. This is used to establish the connection to scheme theory, and in particular to secure a local--global principle for generalized splines.
The secondary aim of the paper is to catalog a variety of initial local--global results. We prove a module of multivariate generalized splines over $k[x,y]$ is free when an edge-labeled graph is locally trivial or determined by a cycle on a standard cover, provide criteria for generalized splines over UFDs to be finite projective, for multivariate generalized splines to be free, along with other results. The appendix includes a variety of examples which demonstrate precise experimental control over when a module of splines is free, with computer verification by Macaulay2. We conclude with an account of how deletion and contraction affect the spectrum of a ring of splines.
Golden Ratio Growth and Phase Transitions in Chromatic Counts of Circular Chord Graphs
We study generalized circular chord graphs $\mathcal C^{(k)}_n$, formed from a cycle $C_n$ by adding fixed-offset chords of length $k$ and, for even $n$, diameters. Using transfer matrix methods, we derive exact formulas for 3-colorings when $k=3$: for odd $n$, we obtain \[ P(\mathcal{C}_n^{(3)},3) = L_n + 2\cos\left(\frac{2πn}{3}\right) + 2s_n + 2 \] where $L_n$ is the Lucas sequence and $(s_n)$ satisfies $s_{n+3} = -s_{n+2} - s_n$, yielding golden-ratio asymptotic growth $\varphi^n + O(ρ^n)$ along odd indices. For even $n$, we construct a paired-window transfer matrix that exactly enumerates $P(\mathcal{C}_{2m}^{(3)},3)$ while capturing diameter constraints. The chromatic counts exhibit pronounced modular patterns across residue classes without universal vanishing rules (see OEIS A383733). We provide efficient algorithms for exact enumeration and demonstrate applications to cyclic scheduling problems where these results serve as feasibility engines for airline gate assignment, wireless sensor networks, and multiprocessor task coordination.
A graph theoretic proof of Cramer's rule
Published in Communications in Combinatorics and Optimization, 2025
• View Publication
• BIB
This note contains a new combinatorial proof of Cramer's rule based on the Gessel-Viennot-Lindstrom Lemma.
Low degree sum-of-squares bounds for the stability number: a copositive approach
The stability number of a graph $G$, denoted as $α(G)$, is the maximum size of an independent (stable) set in $G$. Semidefinite programming (SDP) methods, which originated from Lovász's theta number and expanded through lift-and-project hierarchies as well as sums of squares (SOS) relaxations, provide powerful tools for approximating $α(G)$.
We build upon the copositive formulation of $α(G)$ and introduce a novel SDP-based hierarchy of inner approximations to the copositive cone COP$_n$, which is derived from structured SOS representations. This hierarchy preserves essential structural properties that are missing in existing approaches, offers an SDP feasibility formulation at each level despite its non-convexity, and converges finitely to $α(G)$. Our results include examples of graph families that require at least $α(G) - 1$ levels for related hierarchies, indicating the tightness of the de Klerk-Pasechnik conjecture. Notably, on those graph families, our hierarchy achieves $α(G)$ in a single step.
Capturing an Invisible Robber using Separators
Published
• View Publication
• BIB
We study the zero-visibility cops and robbers game, where the robber is invisible to the cops until they are caught. This differs from the classic game where full information about the robber's location is known at any time. A previously known solution for capturing a robber in the zero-visibility case is based on the pathwidth decomposition. We provide an alternative solution based on a separation hierarchy, improving capture time and space complexity without asymptotically increasing the zero-visibility cop number in most cases. In addition, we provide a better bound on the approximate zero-visibility cop number for various classes of graphs, where approximate refers to the restriction to polynomial time computable strategies.
Ramsey numbers of digraphs with local edge structure
One of the classical topics in graph Ramsey theory is the study of which $n$-vertex graphs have Ramsey numbers that are linear in $n$. In this paper, we consider this problem in the context of directed graphs. The oriented Ramsey number of a digraph $G$ is the smallest integer $N$ such that every $N$-vertex tournament contains a copy of $G$. We prove that every bounded-degree acyclic digraph with a ``local edge structure'' has a linear oriented Ramsey number.
More precisely, we say that a digraph $G$ has graded bandwidth $w$ if its vertices can be partitioned into sets $V_1, \dots, V_H$ such that all edges $uv \in E(G)$ with $u \in V_i$ and $v \in V_j$ satisfy $1 \leq j - i \leq w$. We prove that $\vec{r}(G) \leq 3^{57Δw} |V(G)|$ for any acyclic $G$ with graded bandwidth $w$ and maximum degree $Δ$.
This provides a common generalization of several prior results, including on digraphs of bounded height, of digraphs of bounded bandwidth, and blowups of bounded-degree oriented trees. This notion also captures a wide variety of natural digraphs, such as oriented grids and hypercubes.
The Game of Graph Nim on graphs with four edges
This work is concerned with the study of the Game of Graph Nim -- a class of two-player combinatorial games -- on graphs with $4$ edges. To each edge of such a graph is assigned a positive-integer-valued edge-weight, and during each round of the game, the player whose turn it is to make a move selects a vertex, and removes a non-negative integer edge-weight from each of the edges incident on that vertex, such that the remaining edge-weight on each of these edges is a non-negative integer, and the total edge-weight removed during a round is strictly positive. The game continues for as long as the sum of the edge-weights remaining on all edges of the graph is strictly positive, and the player who plays the last round wins. An initial configuration of edge-weights is considered winning if the player who plays the first round wins the game, whereas it is defined as losing if the player who plays the second round wins. In this paper, we characterize, almost entirely, all winning and losing configurations for this game on all graphs with precisely $4$ edges each. Only one such graph defies our attempt to fully characterize the winning and losing configurations of edge-weights on its edges -- we are still able to provide a significant set of partial results pertaining to this graph.
Subgroup perfect codes of $S_n$ in Cayley sum graphs
A perfect code in a graph $Γ= (V, E)$ is a subset $C$ of $V$ such that no two vertices in $C$ are adjacent, and every vertex in $V \setminus C$ is adjacent to exactly one vertex in $C$. Let $ G $ be a finite group, and let $ S $ be a square-free normal subset of $ G $. The Cayley sum graph of $ G $ with respect to $ S $ is a simple graph with vertex set $ G $ and two vertices $ x $ and $ y $ are adjacent if $ xy\in S .$ A subset $ C $ of $ G $ is called perfect code of $ G $ if there exists a Cayley sum graph of $ G $ that admits $ C $ as a perfect code. In particular, if a subgroup of $ G $ is a perfect code of $ G $, then the subgroup is called a subgroup perfect code of $ G $. In this work, we prove that there does not exist any proper perfect subgroup code of symmetric group $ S_n $. Using this result, we provide a complete characterization of the perfect subgroup code of the alternating group $A_n$.
Spectrum and local weak convergence of sparse random uniform hypergraphs
The notion of local weak convergence, or Benjamini--Schramm convergence, was introduced by Benjamini and Schramm. The local weak limit of sparse Erd\H os--Rényi graphs is the Galton--Watson measure with Poisson offspring almost surely. Recently, Adhikari, Kumar, and Saha showed that the line graph of sparse Linial--Meshulam complexes converges to the $d$-block Galton--Watson measure. We study a unified model: weighted line graphs of sparse $k$-uniform random hypergraphs on $n$ vertices. Let $H(n,k,p)$ be the $k$-uniform random hypergraph where each $k$-subset of $[n]$ is included as a hyperedge independently with probability $p$. For a $k$-uniform hypergraph $H=(V,E)$ and $1\le r\le k-1$, define the $r$-set weighted line graph $G_r(H)=(\mathcal V_r,\mathcal E_r,w_H)$ by $$ \mathcal V_r=\bigl[\tbinom{n}{r}\bigr],\quad \mathcal E_r=\bigl\{\{τ_1,τ_2\}:τ_1,τ_2\in\mathcal V_r,\ \exists e\in E\text{ s.t. }τ_1,τ_2\subset e\bigr\}, $$ with weight $w_H(\{τ_1,τ_2\})=\bigl|\{e\in E:τ_1,τ_2\subset e\}\bigr|$. In particular, $G_1(H_n)$ generalizes Erd\H os--Rényi graphs and $G_{k-1}(H_n)$ is the line graph of the Linial--Meshulam complex. We show that if $\tbinom{n-r}{k-r}\to λ$ as $n\to\infty$, then $G_r(H_n)$ converges locally to the $(\tbinom{k}{r}-1)$-block Galton--Watson measure with $\operatorname{Poisson}(λ)$ offspring almost surely. As a consequence, we obtain the limiting spectral distribution of the adjacency matrices of $G_r(H_n)$.
Color-avoiding connected colorings and orientations
We study network robustness under correlated failures modeled by colors, where each color represents a class of edges or vertices that may fail simultaneously. An edge-colored graph is said to be edge-color-avoiding $k$-edge-connected if it remains $k$-edge-connected after the removal of all edges of any single color. We characterize the graphs that admit such a coloring and show that, when $k = 1$, one can determine in polynomial time both the minimum number of colors required and a coloring achieving it; while the problem becomes NP-hard for $k \ge 2$. We also investigate the problem of orienting the edges of a graph so that the resulting digraph remains strongly or rooted connected even after the removal of all arcs of any single color. In addition, we explore generalizations involving vertex-colorings, $k$-vertex-connectivity, simultaneous failures of multiple colors and matroids.
Limited-visibility Cops and Robbers on Hamming graphs
In the classic game of Cops and Robbers, a team of cops pursues a robber through a graph. The traditional model of Cops and Robbers operates under the assumption that the cops know the robber's location at all times. Recently, however, there has been growing interest in models wherein the cops have only partial information about the robber's location. In this paper, we study the limited-visibility variant of Cops and Robbers, in which the cops only know the robber's position if some cop is within a fixed distance of the robber. For this variant of the game, we give bounds on the number of cops needed to capture a robber on Hamming graphs, and we use these results to settle several open problems posed by Clarke et al.
Vertex-ordering and arc-partitioning problems
We study vertex-ordering problems in loop-free digraphs subject to constraints on the left-going arcs, focusing on existence conditions and computational complexity. As an intriguing special case, we explore vertex-specific lower and upper bounds on the left-outdegrees and right-indegrees. We show, for example, that deciding whether the left-going arcs can form an in-branching is solvable in polynomial time and provide a necessary and sufficient condition, while the analogous problem for an in-arborescence turns out to be NP-complete. We also consider a weighted variant that enforces vertex-specific lower and upper bounds on the weighted left-outdegrees, which is particularly relevant in applications. Furthermore, we investigate the connection between ordering problems and their arc-partitioning counterparts, where one seeks to partition the arcs into a subgraph from a specific digraph family and an acyclic subgraph -- equivalently, one seeks to cover all directed cycles with a subgraph belonging to a specific family. For the family of in-branchings, unions of disjoint dipaths, and matchings, the two formulations coincide, whereas for in-arborescences, dipaths, Hamiltonian dipaths, and perfect matchings the formulations diverge. Our results yield a comprehensive complexity landscape, unify diverse special cases and variants, clarify the algorithmic boundaries of ordered digraphs, and relate them to broader topics including graph degeneracy, acyclic orientations, influence propagation, and rank aggregation.
On the Graham--Sloane harmonious labelling conjecture
Consider an order $n$ abelian group $G$ and a tree $T$ on $n$ vertices. When is it possible to (bijectively) label $V(T)$ by $G$ so that along all edges $xy$ of $T$, the sums $x+y$ are distinct? This problem can be traced back to the work of Graham and Sloane on the harmonious labelling conjecture, and has been studied extensively since its introduction in 1980. We give a precise characterisation that holds for all bounded degree trees. In particular, our characterisation implies that if $G=\mathbb{Z}/n\mathbb{Z}$ and $T$ is a bounded degree tree, the desired labelling exists. This confirms a conjecture of Graham and Sloane from 1980, and another conjecture of Chang, Hsu, and Rogers from 1987, for bounded degree trees. Our results also have further applications for the study of graph coverings.
Continuous-Time Quantum State Transfer with a Generalized Laplacian
Quantum walks generated by the adjacency matrix or the Laplacian are known to exhibit low transfer fidelity on general graphs. In this paper, we study continuous-time quantum walks governed by the generalized Laplacian operator L_k = A+kD, where A is the adjacency matrix, D is the degree matrix, and k is a real-valued parameter. Recent work of Duda, McLaughlin, and Wong showed that in the single-excitation Heisenberg (XYZ) spin model, one can realize walks generated by this family of operators on signed weighted graphs. Motivated by earlier studies on vertex-weighted graphs, we demonstrate that for certain graphs, tuning the parameter k can significantly enhance the fidelity of state transfer between endpoints.
On covering cubic graphs with 3 perfect matchings
For a bridgeless cubic graph $G$, $m_3(G)$ is the ratio of the maximum number of edges of $G$ covered by the union of $3$ perfect matchings to $|E(G)|$. We prove that for any $r\in [4/5, 1)$, there exist infinitely many cubic graphs $G$ such that $m_3(G) = r$. For any $r\in [9/10, 1)$, there exist infinitely many cyclically $4$-connected cubic graphs $G$ with $m_3(G) = r$.
New bounds for some small multicolor Ramsey numbers
The Ramsey number $R(G_1,\dots,G_k)$ is the smallest $n$ such that every $k$-coloring of the edges of $K_n$ contains a monochromatic copy of $G_i$ in color $i$. Ramsey numbers are challenging to compute, and few are known exactly. We use Boolean satisfiability (SAT) solvers to search for structured colorings that give lower bounds, and we show $R(K_4,K_4-e,K_4-e) \ge 35$ and $R(K_3,K_4,C_4,C_4) \ge 49$. Moreover, we tighten some recent upper bounds for multicolor Ramsey numbers for cycles and show $R(C_3,C_6,C_6) = R(C_5,C_6,C_6) = 15$. Finally, we enumerate critical graphs for the numbers $R(C_4,K_{1,s})$ and $R(C_6,K_{1,s})$.
Structural properties and characterizations of $\mathbf{W}_{p}$ class
Published
• View Publication
• BIB
We establish new characterizations of graphs belonging to the $\mathbf{W}_p$ class. In addition, we characterize locally triangle-free $α$-critical graphs in this class. As a consequence, our results yield a partial answer to a question raised by Plummer \cite{Plum93} in the case $p=2$.
The generalized Turán number for K_3 in graphs without suspensions of a path on five vertices
Published
• View Publication
• BIB
Given graphs $H$ and $F$, the generalized Turán number $\ex(n, H, F)$ is defined as
the maximum number of copies of $H$ in an $n$-vertex graph that contains no copy of $F$.
The suspension $\widehat{F}$ of a graph $F$ is
obtained by adding a new vertex that is adjacent to every vertex of $F$.
Mubayi and Mukherjee (2023, DM) conjectured that $\ex(n, K_3, \widehat{P_k})=\left\lfloor \frac{k-2}{2}\right\rfloor \cdot \frac{n^2}{8}+o(n^2)$, where $P_k$ is a
path on $k\ge 4$ vertices. Using the triangle removal
lemma, they verified this conjecture for $k=4,5,6$.
Later, Mukherjee (2024, DM) established the exact value $\ex(n, K_3, \widehat{P_4})=\left\lfloor n^2/8\right\rfloor$.
In this paper, using the stability method, we determine the exact value of $\ex(n, K_3, \widehat{P_5})$ by showing that for sufficiently large $n$, $\ex(n,K_3, \widehat{P_5})=\left\lfloor n^2/8\right\rfloor.$
On the difference of the intersection power graph and the power graph of a finite group
Published
• View Publication
• BIB
The two graphs of the title both have vertex set G. In the intersection power graph, x and y are joined if some non-identity element is a power of both; in the power graph, x and y joined if one is a power of the other. Thus the power graph is a spanning subgraph of the intersection power graph, and we define the edges of the difference graph to be the difference of these edge sets. In this paper, we give a number of results about the difference graph. We examine groups whose power graph and intersection power graph coincide. In addition, we make some observations on isolated vertices in difference graphs. We study the connectedness and perfectness of difference graph with respect to various properties of the underlying group G. Furthermore, we investigate the operation of twin reduction on graphs, a technique that yields smaller graphs which may be easier to analyze.