graph
35175 papers tagged with this keyword
Edge open packing: further characterizations
Published
• View Publication
• BIB
Let $G=(V, E)$ be a graph where $V(G)$ and $E(G)$ are the vertex and edge sets, respectively. In a graph $G$, two edges $e_1, e_2\in E(G)$ are said to have \emph{common edge} $e\neq e_1, e_2$ if $e$ joins an endpoint of $e_1$ to an endpoint of $e_2$ in $G$. A subset $D\subseteq E(G)$ is called an \emph{edge open packing set} in $G$ if no two edges in $D$ share a common edge in $G$, and the largest size of such a set in $G$ is known as \emph{edge open packing number}, represented by $ρ_{e}^o(G)$. In the introductory paper (Chelladurai et al. (2022)), necessary and sufficient conditions for $ρ_{e}^o(G)=1, 2$ were provided, and the graphs $G$ with $ρ_{e}^o(G)\in \{m-2, m-1, m\}$ were characterized, where $m$ is the number of edges of $G$. In this paper, we further characterize the graphs $G$. First, we show necessary and sufficient conditions for $ρ_{e}^o(G)=t$, for any integer $t\geq 3$. Finally, we characterize the graphs with $ρ_{e}^o(G)=m-3$.
A new conjecture on the inertia of graphs
Published
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A(G)$. We conjecture that \[2n^+(G) \le n^-(G)(n^-(G) + 1),\] where $n^+(G)$ and $n^-(G)$ denote the number of positive and negative eigenvalues of $A(G)$, respectively. This conjecture generalizes to all graphs the well-known absolute bound for strongly regular graphs. The conjecture also relates to a question posed by Torgašev. We prove the conjecture for special graph families, including line graphs and planar graphs, and provide examples where the conjecture is exact. We also conjecture that for any connected graph $G$, its line graph $L(G)$ satisfies $n^+(L(G)) \le n^-(L(G)) + 1$, and obtain partial results.
Spectral extremal problem of the $p$th power of cycles
Published
• View Publication
• BIB
For a cycle $C_k$ on $k$ vertices, its $p$-th power, denoted $C_k^p$, is the graph obtained by adding edges between all pairs of vertices at distance at most $p$ in $C_k$. Let $\ex(n, F)$ and $\spex(n, F)$ denote the maximum possible number of edges and the maximum possible spectral radius, respectively, among all $n$-vertex $F$-free graphs. In this paper, we determine precisely the unique extremal graph achieving $\ex(n, C_k^p)$ and $\spex(n, C_k^p)$ for sufficiently large $n$.
Toroidal involutory Cayley graphs
Suppose that $R$ is a finite commutative ring with identity. The involutory Cayley graph $\G(R)$ of $R$ is the graph whose vertices are the elements of $R$, and two distinct vertices $x$ and $y$ are adjacent if and only if $(x-y)^2=1$. In this paper, we classify all rings $R$ for which $\G(R)$ is a toroidal graph, that is, a graph that can be embedded on a torus.
Involutory Cayley graphs of polynomial and power series rings over the ring of integers modulo $n$
Published
• View Publication
• BIB
Let $R$ be a commutative ring with identity. The involutory Cayley graph $\mathcal{G}(R)$ of $R$ is defined as the graph whose vertex set is the set of elements of $R$, where two vertices $a$ and $b$ are adjacent exactly when $(a-b)^2=1$. This paper investigates the properties of involutory Cayley graphs associated with polynomial and power series rings over the ring of integers modulo $n$.
Classification of polyhedral graphs by numbers of common neighbours
Published
• View Publication
• BIB
We propose a classification of polyhedra (planar, $3$-connected graphs) according to their type i.e., their set of quantities of common neighbours for each pair of distinct vertices.
For every (finite) set of non-negative integers, we either classify all the polyhedra of that type, or construct infinitely many polyhedra of that type, or prove that none exist.
This problem is related to the theory of strongly regular and Deza graphs, distances in graphs, and degree sequences. There is potential for application to complex networks and data science.
Singular values of sparse random rectangular matrices: Emergence of outliers at criticality
Consider the random bipartite Erdős-Rényi graph $\mathbb{G}(n, m, p)$, where each edge with one vertex in $V_{1}=[n]$ and the other vertex in $V_{2} =[m]$ is connected with probability $p$, and $n=\lfloor γm\rfloor$ for a constant aspect ratio $γ\geq 1$. It is well known that the empirical spectral measure of its centered and normalized adjacency matrix converges to the Marčenko-Pastur (MP) distribution. However, largest and smallest singular values may not converge to the right and left edges, respectively, especially when $p = o(1)$. Notably, it was proved by Dumitriu and Zhu (2024) that there are almost surely no singular value outside the compact support of the MP law when $np = ω(\log(n))$. In this paper, we consider the critical sparsity regime where $p = b\log(n)/\sqrt{mn}$ for some constant $b>0$. We quantitatively characterize the emergence of outlier singular values as follows. For explicit $b_{*}$ and $b^{*}$ as functions of $γ$, we prove that when $b > b_{*}$, there is no outlier outside the bulk; when $b^{*}< b < b_{*}$, outliers are present only outside the right edge of the MP law; and when $b < b^{*}$, outliers are present on both sides, all with high probability. Moreover, the locations of those outliers are precisely characterized by a function depending on the largest and smallest degree vertices of the random graph. We estimate the number of outliers as well. Our results follow the path forged by Alt, Ducatez and Knowles (2021), and can be extended to sparse random rectangular matrices with bounded entries.
chipfiring: A Python Package for Efficient Mathematical Analysis of Chip-Firing Games on Multigraphs
This paper presents `chipfiring`, a comprehensive Python package for the mathematical analysis of chip-firing games on finite graphs. The package provides a robust toolkit for defining graphs and chip configurations (divisors), performing chip-firing operations, and analyzing fundamental properties such as winnability, linear equivalence, and divisor rank. We detail the core components of the library, including its object-oriented graph and divisor implementations, integrated Laplacian matrix computations, and an efficient implementation of Dhar's algorithm for determining the solvability of the dollar game. The `chipfiring` package is designed for researchers and students in graph theory, combinatorics, and algebraic geometry, providing essential algorithms and data structures for exploring these rich mathematical models. We describe the library's architecture, illustrate its usage with comprehensive examples, and highlight its specialized contributions compared to general-purpose graph libraries.
The net-regular strongly regular signed graphs with degree 6
Published
• View Publication
• BIB
In this paper, we study the net-regular strongly regular signed graphs with degree 6 and determine all connected 6-regular and net-regular strongly regular signed graphs. There are three, six and four 6-regular strongly regular signed graphs with net-degree 4, 2 and 0, respectively.
On the Equivalence of the Graph-Structural and Optimization-Based Characterizations of Popular Matchings
Popular matchings provide a model of matching under preferences in which a solution corresponds to a Condorcet winner in voting systems. In a bipartite graph in which the vertices have preferences over their neighbours, a matching is defined to be popular if it does not lose in a majority vote against any matching. In this paper, we study the following three primary problems: only the vertices on one side have preferences; a generalization of this problem allowing ties in the preferences; and the vertices on both sides have preferences. A principal issue in the algorithmic aspects of popular matchings is how to determine the popularity of a matching, because it requires exponential time if the definition is simply applied. In the literature, we have the following two types of characterizations: a graph-structural characterization; and an optimization-based characterization described by maximum-weight matchings. The graph-structural characterizations are specifically designed for each problem and provide a combinatorial structure of the popular matchings. The optimization-based characterizations work in the same manner for all problems, while they do not reveal the structure of the popular matchings. A main contribution of this paper is to provide a direct connection of the above two types of characterizations for all of the three problems. Specifically, we prove that each characterization can be derived from the other, without relying on the fact that they characterize popular matchings. Our proofs offer a comprehensive understanding of the equivalence of the two types of characterizations, and suggest a new interpretation of the graph-structural characterization in terms of the dual optimal solution for the maximum-weight matching problem.
Packing subdivisions into regular graphs
Published
• View Publication
• BIB
We show that, for any graph $F$ and $η>0$, there exists a $d_0=d_0(F,η)$ such that every $n$-vertex $d$-regular graph with $d \geq d_0$ has a collection of vertex-disjoint $F$-subdivisions covering at least $(1-η)n$ vertices. This verifies a conjecture of Verstraëte from 2002 and improves a recent result of Letzter, Methuku and Sudakov which additionally required $d$ to be at least polylogarithmic in $n$.
Generalized Turan number with given size
Generalized Turán problem with given size, denoted as $\mathrm{mex}(m,K_r,F)$, determines the maximum number of $K_r$-copies in an $F$-free graph with $m$ edges. We prove that for $r\ge 3$ and $α\in(\frac 2 r,1]$, any graph $G$ with $m$ edges and $Ω(m^{\frac{αr}{2}})$ $K_r$-copies has a subgraph of order $n_0=Ω(m^\fracα{2})$, which contains $Ω(n_0^{\frac{i(r-2)α}{(2-α)r-2}})$ $K_i$-copies for each $i = 2, \ldots, r$. This implies an upper bound of $\mathrm{mex}(m, K_r, F)$ when an upper bound of $\mathrm{ex}(n,K_r,F)$ is known. Furthermore, we establish an improved upper bound of $\mathrm{mex}(m, K_r, F)$ by $\mathrm{ex}(n, F)$ and $\min_{v_0 \in V(F)} \mathrm{ex}(n, K_r, F - v_0)$. As a corollary, we show $\mathrm{mex}(m, K_r, K_{s,t}) = Θ( m^{\frac{rs - \binom{r}{2}}{2s-1}} )$ for $r \geq 3$, $s \geq 2r-2$ and $t \geq (s-1)! + 1$, and obtain non-trivial bounds for other graph classes such as complete $r$-partite graphs and $K_s \vee C_\ell$, etc.
Multivariate Tutte polynomials of semimatroids
We introduce and investigate multivariate Tutte polynomials, dichromatic polynomials, subset-corank polynomials, size-corank polynomials, and rank generating polynomials of semimatroids, which generalize the corresponding polynomial invariants of graphs and matroids. We primarily establish their deletion-contraction recurrences, basis activities expansions, and various convolution identities. These findings naturally extend Kook-Reiner-Stanton's convolution formula and Kung's convolution-multiplication identities for the Tutte polynomials of graphs and matroids to semimatroids.
Persistent Quantum Memory in Iterated Lifts
We study quantum coherence in continuous-time quantum walks on perfect graphs generated by the symmetric lift ${\mathrm{HL}}'_2(G)$, a canonical, unweighted, undirected construction defined as the line graph of a bipartite double cover of $G$. This lift acts as both a coherence-preserving and coherence-inducing transformation: it preserves and scales structured quantum interference in highly symmetric base graphs, and induces sustained coherence in random or weakly structured ones.
In small graphs such as $K_4$, $K_5$, and the Petersen graph, where quantum walks exhibit sharp revivals and high return probability, repeated $\mathrm{HL}'_2$ lifting produces towers of perfect graphs with thousands to tens of thousands of vertices that retain periodic or quasi-periodic coherence. When applied to random regular or Erdős--Rényi graphs with flat or decaying return behavior, the lift introduces structured interference and significant amplification of mean and peak return probabilities.
To quantify these effects, we evaluate standard coherence metrics from quantum resource theory, including inverse participation ratio (IPR), purity, relative entropy of coherence, and the logarithmic coherence number. These measures confirm that $\mathrm{HL}'_2$ lifting delocalizes eigenstates, increases coherence entropy, and expands the basis support of quantum states. These results demonstrate that $\mathrm{HL}'_2$ is a scalable and structurally grounded mechanism for organizing quantum interference, and introduce a new family of perfect graphs that support long-time quantum coherence without spectral tuning or engineered weights.
Domination numbers and homotopy in certain ternary graphs
A ternary graph is a graph with no induced cycles of length $0$ modulo $3$. It was recently shown that, if the independence complex of a ternary graph is not contractible, then it is homotopy equivalent to a sphere. When a ternary graph also does not contain induced cycles of length $1$ modulo $3$, we prove that the dimension of the sphere is equal to the dimension of a minimum maximal simplex of the independence complex, or equivalently, to the value obtained by subtracting $1$ from the independent domination number of the graph. The same statement holds if we replace the independent domination number with the domination number. We also give a hypergraph analogue of the statement above.
Graphs with tree decompositions of small graphs and realizing them as the Reeb graphs of real algebraic functions
We have been interested in graphs and realizing them as Reeb graphs of explicit real algebraic functions.
The Reeb graph of a differentiable function is the quotient space of the manifold of the domain, regarded as the space consisting of all components of preimages of all single points. Reeb graphs have been fundamental and strong tools in geometry of manifolds since the birth of theory of Morse functions, in the former half of the 20th century. We can easily see that the Reeb graph of the natural height of the unit sphere whose dimension is at least $2$ is a graph with exactly one edge and two edges.
We are concerned with realizations of graphs decomposed into trees nicely, each vertex of which corresponds to a graph with exactly one edge and two edges or a graph with exactly two edges homeomorphic to a circle.
A family of regular integral graphs and its application to the $n$-Queens' graph
A family of regular integral graphs introduced in [I.F.S. Costa, The $n$-Queens graph and its generalizations, Ph.D. Thesis, University of Aveiro 2024], denoted by ${\cal T}(n)$ and herein called triangular graphs, is analysed. In this analysis, the consistent structure of the graph spectra and the patterns of the corresponding eigenvectors are highlighted. The properties of these graphs are examined and applied to the decomposition of the $n$-Queens' graph into three distinct families: a family of a single graph whose components are two triangular graphs, ${\cal T}(n)$ and ${\cal T}(n-1)$, a family of a single graph whose components are cliques and a family of complete bipartite graphs. Finally, using Weyl's inequalities, we introduce some techniques to establish lower and upper bounds on the eigenvalues of the $n$-Queens' graph.
Binary matroids and degree-boundedness for pivot-minors
We prove that for every bipartite graph $H$ and positive integer $s$, the class of $K_{s,s}$-subgraph-free graphs excluding $H$ as a pivot-minor has bounded average degree. Our proof relies on the announced binary matroid structure theorem of Geelen, Gerards, and Whittle.
Along the way, we also prove that every $K_{s,t}$-free bipartite circle graph with $s\le t$ has a vertex of degree at most $\max\{2s-2, t-1\}$ and provide examples showing that this is tight.
Perfecting the Line Graph
This paper introduces two canonical constructions that transform arbitrary finite graphs into perfect graphs: the symmetric lift $\mathrm{HL}'_2(G)$, which is purely structural and label-invariant, and the ordered lift $\mathrm{HL}_2(G)$, which depends explicitly on vertex labeling and encodes directional information. Both lifts arise as line graphs of bipartite double covers and are box-perfect.
The symmetric lift $\mathrm{HL}'_2(G)$ forms a canonical 2-cover of the line graph $L(G)$. This involution decomposes $\mathrm{HL}'_2(G)$ into symmetric and antisymmetric components: the symmetric part recovers $L(G)$, while the antisymmetric part yields a signed graph $L^-(G)$, the antisymmetric line graph, with +1/-1 edges encoding consistent vs. crossed overlaps. Thus, all adjacency and Laplacian eigenvalues of $L(G)$, with multiplicities, appear within those of $\mathrm{HL}'_2(G)$, despite $L(G)$ typically not being a subgraph.
For regular graphs such as Paley graphs, this yields infinite families of sparse, highly structured regular and box-perfect expanders that also retain large cliques. The lift retains much of the spectral expansion of the base while improving the combinatorial expansion. Much the same behavior is observed with random regular base graphs, allowing for the possibility of the study of box-perfect random regular graphs.
Finally, we generalize these constructions to parameterized lifts $\mathrm{HL}_{r,d}(G)$ and $\mathrm{HL}_{r,d}'(G)$ defined on ordered $r$-tuples connected by Hamming distance constraints, which structurally encode the base graph and remain box-perfect.
Notes on the cohomology of partial Hessenberg varieties
Hessenberg varieties are a family of subvarieties of full flag varieties. This family contains well-known varieties such as Springer fibers, Peterson varieties, and permutohedral varieties. It was introduced by De Mari-Procesi-Shayman in 1992 and has been actively studied in this decade. In particular, unexpected relations to hyperplane arrangements and the Stanley-Stembridge conjecture in graph theory have been discovered. Hessenberg varieties can be defined in partial flag varieties. In this paper, we study their cohomology by relating them to the cohomology of Hessenberg varieties in the full flag varieties.