graph
34516 papers tagged with this keyword
Optimal Small Set Expanders and Their Codes
A left-regular bipartite graph $G$ of degree $d$ is called a $(t,α)$-small-set-expander if every subset $X$ of left vertices of size at most $t$ has at least $α|X|$ neighbors. Such a graph is an optimal small-set expander if small subsets have as many neighbors as possible. We characterize optimal expanders combinatorially via girth and prove the existence of $s$-optimal expanders for every $s$. We also prove that $s$-optimality yields new "transfer" lower bounds on the number of neighbors of sets of size $h\geq s$. Finally, as an application, we discuss the use of optimal small-set expanders in building good codes for key exchange protocols in post-quantum cryptography.
Spectral Radius, Vertex Deletion, and Chromatic Number of Signed Graphs
A signed graph $Σ=(G,σ)$ is a graph $G$ with edges given signs $1$ or $-1$ defined by the function $σ$. The adjacency matrix of $Σ$ is defined as per these signs. The relation between the largest eigenvalue of $G$ and $G-v$ has been studied in recent years, where $G-v$ is the graph obtained from $G$ by deleting the vertex $v$. In 2020, Sun and Das proved that the difference of the squares of the largest eigenvalues of the graphs $G$ and $G-v$ is bounded above by $2d(v)-1$ where $d(v)$ is the degree of $v$. A similar result need not be true for the largest eigenvalues of signed graphs. In this paper, we prove that the result is valid for the spectral radius of signed graphs. On the other hand, the signed graph version of Hoffman's chromatic number bound and Cvetkovic's lower bound was proved by Wang et al. in 2021. They also discussed the difficulty in proving the extended version encompassing all eigenvalues of $Σ$ as was done for unsigned graphs by Wocjan et al. We give a lower bound for the chromatic number in terms of all the eigenvalues of $Σ$ and $Σ_-$, where $Σ_-$ is the spanning subgraph induced by the negative edges.
Height functions on the $m \times n$ Miura-ori flip graph: degree sequence and diameter
The state space of an origami crease pattern forms a flip graph, whose vertices are the flat-foldable mountain-valley assignments and whose edges join assignments differing by a single face flip. For the $m \times n$ Miura-ori, the degree sequence and diameter of this graph are known only for two rows. Each assignment maps to an integer height function on the grid, under which a vertex's degree equals its number of local extrema. In this model the vertices of each degree up to five are counted by an explicit polynomial in $m$ and $n$, valid once both exceed a bound that grows with the degree, and the height functions realizing those degrees are described explicitly. A closed-form lower bound for the diameter holds for all $m$ and $n$, and the matching upper bound reduces to an extremal inequality for $1$-Lipschitz functions on the grid, recovering the two-row distance at $m=2$. Since each invariant is read from the extrema or height differences of a grid function, the same reduction applies to any flip-graph quantity expressible in those terms.
Finite-Kernel Extremizers in Sparse Extremal Graph Counting
We develop a finite-kernel framework for sparse extremal graph counting. The problems considered here ask for the maximum number of copies or homomorphisms of a fixed graph under sparse edge constraints. In this regime, the leading term need not be governed by a single dense block. Instead, the extremal mass may be supported on several interacting asymptotic scales. Our framework identifies these scales via a finite-dimensional linear program, separates the leading contributions through a finite state decomposition, and synchronizes or realizes them inside a finite kernel.
We apply this framework in three settings. First, we prove the sparse threshold conjecture of Day and Sarkar for graphons. For every fixed graph $H$ without isolated vertices, we prove that \[ \sup_{t(K_2,W)\le β} t(H,W)=β^{|V(H)|-α^*(H)}(C_T(H)+o(1)) \] as $β\to0$, where $α^*(H)$ is the fractional independence number of $H$ and $C_T(H)$ is an explicit sharp constant attained by a three-step threshold graphon. Second, we affirmatively answer a question of Blekherman and Patel by showing that, for every graph $H$, whenever $m\to\infty$ and $m=o(n^{3/2})$, threshold graphs asymptotically maximize $\hom(H,G)$ among all graphs with at most $n$ vertices and at most $m$ edges. Third, Gerbner, Nagy, Patkós, and Vizer conjectured that, among all bipartite graphs with $n$ vertices and $m$ edges, the quasi-complete bipartite graph asymptotically maximizes the number of copies of every fixed bipartite graph $H$ whenever $m=ω(n)$ and $m\le n^2/4$. We disprove this conjecture in the subquadratic range and give the correct order of magnitude in terms of $κ_H(n,m)$, a finite-kernel scale defined by a finite-dimensional variational problem.
On The Number of Irreducible FAT Colorings
A vertex coloring of a graph $G$ with nonempty color classes $V_1,V_2,\dots,V_k$ is called a \emph{FAT $k$-coloring} if there exist real numbers $α,β\in[0,1]$ such that for every vertex $v$ and every color class $V_i \in \left\{ V_1,V_2,\dots,V_k \right\} $ we have $$ \bigl| N(v) \cap V_i \bigr|= \begin{cases}
α°(v) & \text{if } v\notin V_i,\\[4pt]
β°(v) & \text{if } v\in V_i . \end{cases} $$
\noindent The FAT coloring concept was originally proposed and thoroughly studied by Beers and Mulas. The set of all FAT colorings of a graph is naturally ordered by the coarsening relation, in which finer partitions are larger in the order. The maximal elements of this poset, called \emph{irreducible FAT colorings}, form a generating set: every FAT coloring of the graph can be obtained by merging color classes of some irreducible one. Beers and Mulas raised the compelling question whether, for every positive integer $s$, there exists a graph that admits exactly $s$ irreducible FAT colorings. In this paper we settle this question affirmatively by exhibiting, for any given $s$, a graph possessing precisely $s$ such colorings.
On $k$-limited domination in graphs
In this work, we introduce and study the notion of $k$-limited domination in graphs, motivated by applications where dominating vertices have bounded capacity and cannot be overloaded by too many external neighbors. Formally, given an integer $k \le Δ(G)$, a set of vertices $D \subseteq V(G)$ is called a $k$-limited dominating set if it is a dominating set and, in addition, each vertex of $D$ has at most $k$ neighbors outside $D$. The minimum cardinality of such a set is the $k$-limited domination number, denoted by $γ_k^{\mathrm{L}}(G)$. Since $Δ(G)$-limited domination coincides with the classical domination, we restrict our attention to the nontrivial range $1 \le k < Δ(G)$, where the degree limitation becomes meaningful and leads to new combinatorial phenomena.
In this paper, we initiate the study of this concept by deriving sharp general bounds for $γ_k^{\mathrm{L}}(G)(G)$ and identifying conditions under which these bounds can be further improved. We establish a connection between $k$-limited domination and $(1,t)$-domination. In particular, for $d$-regular graphs we prove that $γ_k^{\mathrm{L}}(G)(G)=γ_{1,d-k}(G)$. In the special case $k=1$, we show that $1$-limited domination is tightly linked to graph packings, yielding the bound $γ^{\mathrm L}_1(G) \le n - ρ(G)$ and its characterization.
The study reveals several natural open questions and indicates that limited domination provides a rich ground for further research.
On $k$-limited domination: complexity and Cartesian products
A dominating set is called $k$-limited if every vertex in the set has at most $k$ neighbors outside it. The minimum cardinality of a $k$-limited dominating set is the $k$-limited domination number, denoted by $γ_k^{\mathrm{L}}(G)$. We prove that, for every fixed integer $k\ge 2$, deciding whether a graph admits a $k$-limited dominating set of size at most $\ell$ is $\mathsf{NP}$-complete. In addition, a systematic study of $k$-limited domination in Cartesian products is initiated. In particular, we establish general lower and upper bounds for $γ_k^{\mathrm{L}}(G\square H)$, show that both are sharp, and derive exact values for several natural families of graph products. Among others, we obtain exact results for rook graphs, Cartesian products of $k$-coronas, certain grid graphs, and several cases involving prisms and hypercubes.
Betti Numbers of Sequentially Cohen-Macaulay Co-Chordal Graphs and Their Applications
We study sequentially Cohen-Macaulay co-chordal graphs through the glued clique complexes of their chordal complements. Using the characterization of these complements as $(d_1,\ldots,d_q)$-trees, we derive explicit formulas for the graded Betti numbers of the associated edge ideals, yielding a complete homological characterization of sequentially Cohen-Macaulay co-chordal graphs. As applications, we determine exact homological invariants for several important graph families, including split graphs, threshold graphs, and prime ideal graphs, and classify their Cohen-Macaulay cases. We further characterize the sequentially Cohen-Macaulay nilpotent graphs of finite direct products of Artinian chain rings and establish a closed formula for their graded Betti numbers in terms of local nilpotency indices and residue field cardinalities. Finally, we classify the zero-divisor graphs of $\mathbb{Z}_n$, proving that they are sequentially Cohen-Macaulay if and only if $n=2p$ or $n=p^a$, where $p$ is a prime.
Proof of the Finiteness of the Chromatic Number of Two-Dimensional Lacunary Distance Graphs
We extend the one-dimensional lonely set method to two dimensions for the purpose of studying the chromatic number of integer distance graphs in two dimensions. Given a lacunary sequence of displacement vectors in $Z^{2}$, we use a lacunary matrix theorem given by Broderick, Fishman and Kleinbock, to prove the existence of a satisfactory multiplier vector. We then give an explicit geometric colouring argument. This proves that any integer distance graph generated by a lacunary sequence of vectors in two dimensions has finite chromatic number.
Excluding an induced star in dense random graphs
For fixed $k\geq3$, we study the asymptotic number and typical structure of dense graphs with no induced copy of the star $K_{1,k}$. We solve the associated graphon variational problems both at fixed constant edge density $γ$ and for the conditioned Erdős--Rényi random graph $G(n,p)$ for constant $p$. As consequences, we obtain explicit formulas for the entropy density of induced-$K_{1,k}$-free graphs with $Θ(n^2)$ edges and for the large deviation rate function for the event that $G(n,p)$ is induced-$K_{1,k}$-free. The entropy density exhibits a second-order phase transition at an explicit critical density $γ_k$, while the rate function exhibits a first-order phase transition at a critical parameter $p_k$. We completely characterize the optimizers of both variational problems. Both models have parameter values for which there are infinitely many optimal graphons, but there is always a unique graphon that represents the typical structure in cut metric. We refine the graphon-level results by giving a detailed structural description of both models. For supercritical parameters, each random graph model is the complement of a $(k-1)$-partite graph with high probability. In the subcritical regime of the fixed-density model, the typical structure is the disjoint union of the complement of a $(k-1)$-partite graph, and a sparse remainder. In the subcritical regime of the conditioned Erdős--Rényi random graph, a typical sample has $o(n^2)$ edges.
Intersecting Families of Spanning Trees of $K_{n,n}$
A family of spanning trees of a graph is $t$-intersecting if any pair of spanning trees in the family has $t$ or more edges in common. For sufficiently large $n$ and $t \leq n/C\log_2 n$ for some absolute constant $C>0$, we give a nearly complete characterization of the extremal $t$-intersecting families of spanning trees in balanced complete bipartite graphs with parts of order $n$. In particular, for $t=1$, we give exact bounds and a full characterization of the extremal families. For $t \geq 2$, our bounds are tight up to lower-order terms, and we show that any extremal $t$-intersecting family is of the form $\mathcal{F} \cup \mathcal{S}'$ where $\mathcal{F}$ is a family of all trees containing a fixed $t$-matching, and $\mathcal{S}'$ is a distinguished set of exceptional trees of size $|\mathcal{S}'| = o(|\mathcal{F}|)$.
Saturation numbers of some joins of graphs
Let $H$ be a graph. A graph $G$ is $H$-saturated if $G$ is $H$-free, but adding any edge between two non-adjacent vertices of $G$ yields an $H$-copy as a subgraph. The saturation number $\mathrm{sat}(n, H)$ is the minimum number of edges in an $H$-saturated graph on $n$ vertices. The saturation number for the join of a vertex and a graph $F$, denoted by $K_1\vee F$, has attracted considerable attention. Cameron and Puleo [Discrete Math. 345 (2022), 112867] proved that $\mathrm{sat}(n,K_1 \vee F)\le n-1+\mathrm{sat}(n-1, F)$ for $n > |V(F)|$. A natural question is when the above equality holds. Most existing results impose conditions on $F$ and assume that $F$ has no isolated vertices. Let $K_p^-$ be the graph obtained by deleting one edge from the complete graph $K_p$. In this paper, we investigate the saturation number of $K_1\vee F$ when $F$ contains isolated vertices, and determine the exact value of $\mathrm{sat}(n, K_1\vee F)$ when $F=K^-_{3}\cup sK_1(s\ge 1)$ or $F=K^-_{p-1}\cup K_1(p\ge 5)$. In our results, $\mathrm{sat}(n,K_1 \vee F)= n-1+\mathrm{sat}(n-1, F)$ holds when $F=K^-_{3}\cup sK_1$ for any $s\ge 1$, but fails when $F=K^-_{p-1}\cup K_1$ for $p\ge 5$.
Saturation numbers for joins of graphs and characterization of extremal graphs
A graph $G$ is $H$-saturated if $G$ contains no $H$-copy as a subgraph, but adding any edge between two non-adjacent vertices in $G$ creates a copy of $H$. The saturation number $\mathrm{sat}(n,H)$ is the minimum number of edges in an $n$-vertex $H$-saturated graph. Saturation number for the join of a vertex and a graph $F$, denoted by $K_1\vee F$, has received considerable attention. Cameron and Puleo [Discrete Math. 345 (2022), 112867] showed that $\mathrm{sat}(n,K_1 \vee F)\le n-1+\mathrm{sat}(n-1, F)$ for all $n > |V(F)|$. A natural question is to ask when the above equality holds. Existing results for $\mathrm{sat}(n,K_1 \vee F)$ always constrain that a non-empty graph $F$ contains no isolated vertex. In this paper, we investigate the saturation number of $K_1\vee F$ when a non-empty graph $F$ contains an isolated vertex. We first determine the saturation number for $K_1\vee F$ when $F=K_{p-1}\cup K_1$. When $p=3$, we extend the result to any number of isolated vertices, and determine the saturation number for $K_1\vee F$ when $F=K_{2}\cup qK_1$, or $F=2K_{2}\cup qK_1$ for any $q\ge 1$. Moreover, all minimum saturated graphs are fully characterized. In our results, $\mathrm{sat}(n,K_1 \vee F)= n-1+\mathrm{sat}(n-1, F)$ holds when $F=K_2\cup qK_1$, or $F=2K_2\cup qK_1$ for any $q\ge 1$; but fails when $F=K_{p-1}\cup K_1$ for $p\ge 4$.
Transmission Zero Forcing
We initiate the study of transmission zero forcing, a variant of the well-studied zero forcing graph parameter. In this variant, a subset of vertices is assigned an initial unit weight, and these vertices can increase the weight of a neighbor subject to the zero forcing color change rule at a rate determined by the transmission proportion. A vertex is considered filled when its weight exceeds the transmission threshold, at which point the process can continue. The transmission zero forcing number of a graph is the minimum cardinality of the initial set that results in all vertices exceeding the transmission threshold. This iterative graph coloring process is a generalization of zero forcing that allows for a vertex to be forced by multiple neighbors. We develop tools for studying this graph parameter, determine its value on some common classes of graphs, and investigate its behavior under various graph operations.
On determinants of resistance matrices
We prove a new combinatorial identity for the determinant of the resistance matrix of a finite graph, which involves counts of spanning trees and forests. This generalizes a result of Graham and Pollak on distances matrices of trees. We make use of Bapat's expression of the resistance matrix determinant as a linear algebraic quantity.
Higher $q$-Continued Fractions and Dimers on Band Graphs
In this paper, we explore the theory of higher dimers on band graphs. First, we provide a combinatorial interpretation for the trace of the $q$-deformed higher continued fraction matrices, by showing that with respect to a $q$-weighting on edges, the trace gives the dimer partition function on the set of good higher dimers, which generalizes the notion of good perfect matchings. We also show that the set of good higher dimer covers form a distributive lattice with respect to face flips on square faces. Finally, we attempt to generalize the symmetry result on circular fence posets to the case of good higher dimers, by showing that the dimer partition on a certain family of band graphs are palindromic, in particular, through an approach fitting in the context of dimer theory.
Some Symmetric Sign Patterns Requiring Full $P$-vertices
A sign pattern is a matrix whose entries belong to $\{+, -, 0\}$. Let $\mathcal{P}$ be a symmetric sign pattern and $A$ a real symmetric matrix in its qualitative class. A vertex $v_j$ of the underlying graph of $\mathcal{P}$ is called a $P$-vertex if $ m_{A(j)}(0)-m_A(0)=1,$ where $A(j)$ is the principal submatrix obtained by deleting the $j$-th row and column of $A$, and $m_A(0), ~m_{A(j)}(0)$ denotes the algebraic multiplicity of the eigenvalue $0$ of $A, ~A(j)$, respectively. We say that $\mathcal{P}$ requires full $P$-vertices if every symmetric matrix in its qualitative class has all vertices as $P$-vertices. In this paper, we investigate structural conditions under which symmetric sign patterns require full $P$-vertices. We establish necessary and sufficient conditions for several classes of sign patterns to require full $P$-vertices. In particular, we prove that a tree sign pattern with a $0$-diagonal requires full $P$-vertices if and only if its underlying graph admits a perfect matching. We also derive necessary and sufficient conditions for sign patterns whose underlying graphs contain cycles but no loops to require full $P$-vertices.
Computing the Hamiltonian compression factors of cubic graphs
We present an algorithm for computing Hamiltonian cycles that are invariant under a graph automorphism acting on them as a rotation. We also present an application of this algorithm for computing the Hamiltonian compression factor of a graph, that is, the largest order of an automorphism preserving some Hamiltonian cycle and acting on it as a rotation. As an example, we compute the Hamiltonian compression factors of all cubic edge-transitive graphs on up to $10{,}000$ vertices, with the exception of two graphs, which are not Hamiltonian, and $98$ graphs (the smallest having $2304$ vertices) for which only a lower bound for the compression factor is given. As a byproduct, we obtain shortest LCF codes for each of these graphs (except for the two non-Hamiltonian ones; for the $98$ unresolved graphs, the codes obtained are the shortest among those we found).
Rainbow triangles in edge-colored graphs with large minimum color degree
Let $G$ be an edge-colored graph on $n$ vertices, and let $\deltac(G)$ denote its minimum color degree. Li and, independently Li, Ning, Xu, and Zhang, proved that every edge-colored graph on $n$ vertices with $\deltac(G) \ge \frac{n+1}{2}$ contains a rainbow triangle. Let $\rt(G)$ denote the number of rainbow triangles in $G$, and define \[ f(n) = \min\{ \rt(G) : |V(G)| = n,\ \deltac(G) \ge (n+1)/2 \}. \] In \cite{LiNingShiZhang2024}, the following open problem was posed: determine all the values of $f(n)$. In this paper, we determine $f(n)$ completely: $f(n) = (n^2-1)/8$ for odd $n\geq 3$, $f(n) = \frac{n^2}{4} - 1$ for all even $n \ge 6,$ and $f(4) = 4$. This resolves an open problem raised in \cite{LiNingShiZhang2024}.
On the number of perfect matchings in planar graphs
We investigate the minimum non-zero number of perfect matchings in planar graphs. We prove that this is a constant for 2-connected planar graphs of minimum degree 3 and 3-connected planar graphs. In the former case, the constant is 4 and this is best possible. In the 3-connected case, we give several infinite families, including nearly 3-regular graphs and triangulations with a constant number of perfect matchings. In contrast, it was known that in the 4-connected case the minimum non-zero number of perfect matchings is at least linear. For 5-connected triangulations, it follows from a result of Alahmadi, Aldred, and Thomassen that there must be exponentially many perfect matchings. The families of planar graphs we investigate here are classified by connectivity. We conclude the article with an infinite family of counterexamples to a conjecture published by Zaks; these are not planar, but very much concern connectivity constraints.