graph
34516 papers tagged with this keyword
Independent Set Enumeration in King Graphs by Tensor Network Contractions
This paper discusses the enumeration of independent sets in king graphs of size $m \times n$, based on the tensor network contractions algorithm given in reference~\cite{tilEnum}. We transform the problem into Wang tiling enumeration within an $(m+1) \times (n+1)$ rectangle and compute the results for all cases where $m + n \leq 79$ using tensor network contraction algorithm, and provided an approximation for larger $m, n$.
Using the same algorithm, we also enumerated independent sets with vertex number restrictions. Based on the results, we analyzed the vertex number that maximize the enumeration for each pair $(m, n)$. Additionally, we compute the corresponding weighted enumeration, where each independent set is weighted by the number of its vertices (i.e., the total sum of vertices over all independent sets). The approximations for larger $m, n$ are given as well.
Our results have added thousands of new items to the OEIS sequences A089980 and A193580. In addition, the combinatorial problems above are closely related to the hard-core model in physics. We estimate some important constants based on the existing results, and the relative error between our estimation of the entropy constant and the existing results is less than $10^{-9}$.
$λ$-matchability in cubic graphs
A vertex $v$ of a 2-connected cubic graph $G$ is $λ$-matchable if $G$ has a spanning subgraph in which $v$ has degree three whereas every other vertex has degree one, and we let $λ(G)$ denote the number of such vertices. Clearly, $λ=0$ for bipartite graphs; ergo, we define $λ$-matchable pairs analogously, and we let $ρ(G)$ denote the number of such pairs.
We improve the constant lower bounds on both $λ$ and $ρ$ established recently by Chen, Lu and Zhang [Discrete Math., 2025] using matching-theoretic parameters arising from the seminal work of Lovász [J. Combin. Theory Ser. B, 1987], and we characterize all of the tight examples. We also solve the problem posed by Chen, Lu and Zhang: characterize 2-connected cubic graphs that satisfy $λ=n$.
Treewidth versus clique number. V. Further connections with tree-independence number
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
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
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$
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
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
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.
Peak state transfer in continuous quantum walks
We introduce and study peak state transfer, a notion of high state transfer in qubit networks modeled by continuous-time quantum walks. Unlike perfect or pretty good state transfer, peak state transfer does not require fidelity arbitrarily close to 1, but crucially allows for an explicit determination of the time at which transfer occurs. We provide a spectral characterization of peak state transfer, which allows us to find many examples of peak state transfer, and we also establish tight lower bounds on fidelity and success probability. As a central example, we construct a family of weighted path graphs that admit peak state transfer over arbitrarily long distances with transfer probability approaching $π/4 \approx 0.78$. These graphs offer exponentially improved sensitivity over known perfect state transfer examples such as the weighted paths related to hypercubes, making them practical candidates for efficient quantum wires.
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
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.