graph
35175 papers tagged with this keyword
Treewidth versus clique number. V. Further connections with tree-independence number
Published
• View Publication
• BIB
We continue the study of $(tw,ω)$-bounded graph classes, that is, hereditary graph classes in which large treewidth is witnessed by the presence of a large clique, and the relation of this property to boundedness of the tree-independence number, a graph parameter introduced independently by Yolov in 2018 and by Dallard, Milanič, and Štorgel in 2024. Dallard et al. showed that bounded tree-independence number is sufficient for $(tw,ω)$-boundedness, and conjectured that the converse holds. While this conjecture has been recently disproved, it is still interesting to determine classes where the conjecture holds; for example, the conjecture is still open for graph classes excluding an induced star, as well as for finitely many forbidden induced subgraphs. In this paper, we identify further families of graph classes where $(tw,ω)$-boundedness is equivalent to bounded tree-independence number. We settle a number of cases of finitely many forbidden induced subgraphs, obtain several equivalent characterizations of $(tw, ω)$-boundedness in subclasses of the class of complements of line graphs, and give a short proof of a recent result of Ahn, Gollin, Huynh, and Kwon [SODA 2025] establishing bounded tree-independence number for graphs excluding a fixed induced star and a fixed number of independent cycles.
A generalization of the Chvátal-Erdős theorem
Published
• View Publication
• BIB
A well-known result of Chvátal and Erdős from 1972 states that a graph with connectivity not less than its independence number plus one is hamiltonian-connected. A graph $G$ is called an $[s,t]$-graph if any induced subgraph of $G$ of order $s$ has size at least $t.$ We prove that every $k$-connected $[k+1,2]$-graph is hamiltonian-connected except $kK_1\vee G_{k},$ where $k\ge 2$ and $G_{k}$ is an arbitrary graph of order $k.$ This generalizes the Chvátal-Erdős theorem.
A Necessary Condition for Connectedness of Solutions to Integer Linear Systems
Published
• View Publication
• BIB
An integer linear system is a set of inequalities with integer constraints. The solution graph of an integer linear system is an undirected graph defined on the set of feasible solutions to the integer linear system. In this graph, a pair of feasible solutions is connected by an edge if the Hamming distance between them is one. In this paper, we consider a condition under which the solution graph is connected for any right-hand side vector. First, we prove that if the solution graph is connected for any right-hand side vector, then the coefficient matrix of the system does not contain some forbidden pattern as a submatrix. Next, we prove that if at least one of (i) the number of rows is at most 3, (ii) the number of columns is at most 2, (iii) the number of rows is 4 and the number of columns is 3 holds, then the condition that the coefficient matrix of the system does not contain the forbidden pattern is a sufficient condition under which the solution graph is connected for any right-hand side vector. This result is stronger than a known necessary and sufficient condition since the set of coefficient matrix dimensions is strictly larger.
The minimum number of distinct eigenvalues of a threshold graph is at most $4$
Published
• View Publication
• BIB
In this note we show that the minimum number of distinct eigenvalues of a threshold graph is at most $4$. Moreover, given any threshold graph $G$ and any nonzero real number $λ$, we explicitly construct a matrix $M$ associated with $G$ such that DSpec$(M)\subseteq\{-λ,0,λ,2λ\}$.
On some classes of bivalent and trivalent planar graphs
A graph is called bivalent or trivalent if there exists an eigenvector of the graph Laplacian composed from {-1,1} or {-1,0,1}, respectively. These bivalent and trivalent eigenvectors are important for engineering applications, in particular for vibrating systems. In this article, we determine the structure of bivalent and trivalent graphs in the following planar graph families: trees, unicyclic, bicyclic, and cactus.
On expectations and variances in the hard-core model on bounded degree graphs
We extend the study of the occupancy fraction of the hard-core model in two novel directions. One direction gives a tight lower bound in terms of individual vertex degrees, extending work of Sah, Sawhney, Stoner and Zhao which bounds the partition function. The other bounds the variance of the size of an independent set drawn from the model, which is strictly stronger than bounding the occupancy fraction.
In the setting of triangle-free graphs, we make progress on a recent conjecture of Buys, van den Heuvel and Kang on extensions of Shearer's classic bounds on the independence number to the occupancy fraction of the hard-core model. Sufficiently strong lower bounds on both the expectation and the variance in triangle-free graphs have the potential to improve the known bounds on the off-diagonal Ramsey number $R(3,t)$, and to shed light on the algorithmic barrier one observes for independent sets in sparse random graphs.
Rainbow triangles and the Erdős-Hajnal problem in projective geometries
We formulate a geometric version of the Erdős-Hajnal conjecture that applies to finite projective geometries rather than graphs, in both its usual 'induced' form and the multicoloured form. The multicoloured conjecture states, roughly, that a colouring $c$ of the points of $\mathsf{PG}(n-1,q)$ containing no copy of a fixed colouring $c_0$ of $\mathsf{PG}(k-1,q)$ for small $k$ must contain a subspace of dimension polynomial in $n$ that avoids some colour.
If $(k,q) = (2,2)$, then $c_0$ is a colouring of a three-element 'triangle', and there are three essentially different cases, all of which we resolve. We derive both the cases where $c_0$ assigns the same colour to two different elements from a recent breakthrough result in additive combinatorics due to Kelley and Meka. We handle the case that $c_0$ is a 'rainbow' colouring by proving that rainbow-triangle-free colourings of projective geometries are exactly those that admit a certain decomposition into two-coloured pieces. This is closely analogous to a theorem of Gallai on rainbow-triangle-free coloured complete graphs. We also show that existing structure theorems resolve certain two-coloured cases where $(k,q) = (2,3)$, and $(k,q) = (3,2)$.
Iwasawa theory for vertex-weighted graphs
Published
• View Publication
• BIB
Chung-Langlands established a matrix-tree theorem for positive-real valued vertex-weighted graphs, and Wu-Feng-Sato developed a theory of Ihara zeta functions for those graphs. In this paper, generalizing and refining these previous works, we initiate the Iwasawa theory for vertex-weighted graphs, which is a generalization of the Iwasawa theory for graphs initiated by Gonet and Vallières independently. First, we generalize the matrix-tree theorem by Chung-Langlands to arbitrary field-valued vertex-weighted graphs. Second, we refine and prove the so-called decomposition formula for vertex-weighted graphs and edge-weighted graphs without any assumption. Applying these results, we prove the Iwasawa-type formula and Kida's formula for $\mathbb{Z}_p^d$-towers of vertex-weighted graphs. Our refinement of the decomposition formulas allows us to estimate the root-wise growth of weighted complexities in $\mathbb{Z}_p^d$-towers. We also provide several numerical examples.
Generalized spectral characterization of signed bipartite graphs
Published
• View Publication
• BIB
Let $Σ$ be an $n$-vertex controllable or almost controllable signed bipartite graph, and let $Δ_Σ$ denote the discriminant of its characteristic polynomial $χ(Σ; x)$. We prove that if (\rmnum{1}) the integer $2^{ -\lfloor n/2 \rfloor }\sqrt{Δ_Σ}$ is squarefree, and (\rmnum{2}) the constant term (even $n$) or linear coefficient (odd $n$) of $χ(Σ; x)$ is $\pm 1$, then $Σ$ is determined by its generalized spectrum. This result extends a recent theorem of Ji, Wang, and Zhang [Electron. J. Combin. 32 (2025), \#P2.18], which established a similar criterion for signed trees with irreducible characteristic polynomials.
Multiplicative and mining property for stability numbers of graphs
$f$-vertex stability number $vs_f(G)=\min\{|X|: X\subseteq V(G) \enspace \text{and} \enspace f(G-X)\neq f(G)\}$, and $f$-edge stability number is defined similarly by setting $X\subseteq E(G)$. In this paper, for multiplicative and mining invariant $f$, we give some general bounds for $f$-vertex/edge stability numbers of graphs and some results about the relations between the $f$-vertex/edge stability numbers of graphs and their components.
An Ore-type theorem for $[3]$-graphs
Ore's Theorem states that if $G$ is an $n$-vertex graph and every pair of non-adjacent vertices has degree sum at least $n$, then $G$ is Hamiltonian.
A $[3]$-graph is a hypergraph in which every edge contains at most $3$ vertices. In this paper, we prove an Ore-type result on the existence of Hamiltonian Berge cycles in $[3]$-graph $\cH$, based on the degree sum of every pair of non-adjacent vertices in the $2$-shadow graph $\partial \cH$ of $\cH$. Namely, we prove that there exists a constant $d_0$ such that for all $n \geq 6$, if a $[3]$-graph $\cH$ on $n$ vertices satisfies that every pair $u,v \in V(\cH)$ of non-adjacent vertices has degree sum $d_{\partial \cH}(u) + d_{\partial \cH}(v) \geq n+d_0$, then $\cH$ contains a Hamiltonian Berge cycle. Moreover, we conjecture that $d_0=1$ suffices.
Connected dom-forcing sets in graphs
In a graph G, a dominating set Df subset of V (G) is called a dom-forcing set if the sub-graph induced by Df must form a zero forcing set. The minimum cardinality of such a set is known as the dom-forcing number of the graph G, denoted by Fd(G). A connected dom-forcing forcing set of a graph G, is a dom-forcing set of G that induces a sub graph of G which is connected. The connected dom-forcing number of G, Fcd(G), is the minimum size of a connected dom-forcing set. This study delves into the concept of the connected dom-forcing number Fcd(G), examining its properties and characteristics. Furthermore, it seeks to accurately determine Fcd(G) for several well-known graphs and their graph products.
Sufficient conditions for $t$-tough graphs to be Hamiltonian and pancyclic or bipartite
The toughness of graph $G$, denoted by $τ(G)$, is $τ(G)=\min\{\frac{|S|}{c(G-S)}:S\subseteq V(G),c(G-S)\geq2\}$ for every vertex cut $S$ of $V(G)$ and the number of components of $G$ is denoted by $c(G)$. Bondy in 1973, suggested the ``metaconjecture" that almost any nontrivial condition on a graph which implies that the graph is Hamiltonian also implies that the graph is pancyclic. Recently, Benediktovich [Discrete Applied Mathematics. 365 (2025) 130--137] confirmed the Bondy's metaconjecture for $t$-tough graphs in the case when $t\in\{1;2;3\}$ in terms of the size, the spectral radius and the signless Laplacian spectral radius of the graph. In this paper, we will confirm the Bondy's metaconjecture for $t$-tough graphs in the case when $t\geq4$ in terms of the size, the spectral radius, the signless Laplacian spectral radius, the distance spectral radius and the distance signless Laplacian spectral radius of graphs.
On the Turán number of the expansion of the $t$-fan
The $t$-fan is the graph on $2t+1$ vertices consisting of $t$ triangles which intersect at exactly one common vertex. For a given graph $F$, the $r$-expansion $F^r$ of $F$ is the $r$-uniform hypergraph obtained from $F$ by adding $r-2$ distinct new vertices to each edge of $F$. We determine the Turán number of the 3-expansion of the $t$-fan for sufficiently large $n$.
Separability Properties of Monadically Dependent Graph Classes
A graph class $\mathcal C$ is monadically dependent if one cannot interpret all graphs in colored graphs from $\mathcal C$ using a fixed first-order interpretation. We prove that monadically dependent classes can be exactly characterized by the following property, which we call flip-separability: for every $r\in \mathbb{N}$, $\varepsilon>0$, and every graph $G\in \mathcal{C}$ equipped with a weight function on vertices, one can apply a bounded (in terms of $\mathcal{C},r,\varepsilon$) number of flips (complementations of the adjacency relation on a subset of vertices) to $G$ so that in the resulting graph, every radius-$r$ ball contains at most an $\varepsilon$-fraction of the total weight. On the way to this result, we introduce a robust toolbox for working with various notions of local separations in monadically dependent classes.
Trees with proper thinness 2
Published
• View Publication
• BIB
The proper thinness of a graph is an invariant that generalizes the concept of a proper interval graph. Every graph has a numerical value of proper thinness and the graphs with proper thinness~1 are exactly the proper interval graphs. A graph is proper $k$-thin if its vertices can be ordered in such a way that there is a partition of the vertices into $k$ classes satisfying that for each triple of vertices $r < s < t$, such that there is an edge between $r$ and $t$, it is true that if $r$ and $s$ belong to the same class, then there is an edge between $s$ and $t$, and if $s$ and $t$ belong to the same class, then there is an edge between $r$ and $s$. The proper thinness is the smallest value of $k$ such that the graph is proper $k$-thin. In this work we focus on the calculation of proper thinness for trees. We characterize trees of proper thinness~2, both structurally and by their minimal forbidden induced subgraphs. The characterizations obtained lead to a polynomial-time recognition algorithm. We furthermore show why the structural results obtained for trees of proper thinness~2 cannot be straightforwardly generalized to trees of proper thinness~3.
A Multigraph Characterization of Permutiple Strings
Published in Integers 25 (2025), #A111
• View Publication
• BIB
A permutiple is a natural number whose representation in some base is an integer multiple of a number whose representation has the same collection of digits. A previous paper utilizes a finite-state-machine construction and its state graph to recognize permutiples and to generate new examples. Permutiples are associated with walks on the state graph which necessarily satisfy certain conditions. However, the above effort does not provide sufficient conditions for the existence of permutiples. In this paper, we provide such a condition which we will state using the language of multigraphs.
On null completely regular codes in Manhattan metric
We investigate the class of completely regular codes in graphs with a distance partition C_0,..., C_ρ, where each set C_i, for 0<=i<=r-1, is an independent set. This work focuses on the existence problem for such codes in the n-dimensional infinite grid. We demonstrate that several parameter families of such codes necessarily arise from binary or ternary Hamming graphs or do not exist. Furthermore, employing binary linear programming techniques, we explore completely regular codes in infinite grids of dimensions 3 and 4 for the cases r=1 and r=2.
A generalization of Ramanujan's sum over finite rings
Let $R$ be a finite ring with unity. In general, the eigenvalues of the unitary Cayley graph $\text{Cay}(R, R^{\times})$ are not known when $R$ is a non-commutative. In this paper, we present an explicit formula for the eigenvalues of $\text{Cay}(R, R^{\times})$ for any finite ring $R$. However, our focus is on a more general case of the unitary Cayley graph. It is well known that the classical Ramanujan's sum represents the eigenvalues of $\text{Cay}(\mathbb{Z}_n, \mathbb{Z}_n^{\times})$. Consequently, the eigenvalues of $\text{Cay}(R, R^{\times})$ can be view as a generalization of classical Ramanujan's sum in the context of finite rings. Interestingly, the formula we derive for the eigenvalues of $\text{Cay}(R, R^{\times})$ extends the known formula of classical Ramanujan's sum to the context of finite rings.
Sombor index of clean graphs
Let $G = (V, E)$ be a graph with the vertex set $V (G)$ and edge set $E(G)$. The Sombor index of $G$, $SO(G)$, is defined as $\sum_{uv\in E(G)} \sqrt{deg(u)^2 + deg(v)^2}$, where $deg(u)$ is the degree of vertex $u$ in $V (G)$. The clean graph of a ring R, denoted by $Cl(R)$, is a graph with vertex set $\{(e, u) : e \in Id(R), u \in U(R)\}$ and two distinct vertices $(e, u)$ and$(f, v)$ are adjacent if and only if $ef = 0$ or $uv = 1$ ($Id(R)$ and $U(R)$ are the sets of idempotents and unit elements of R, respectively). The induced subgraph on $\{(e, u) : e \in Id^{*}(R), u \in U(R)\}$ is denoted by $Cl_2(R)$. In this paper, $SO(Cl2(\mathbb{Z}_n))$, for different values of the positive integer $n$, is investigated.