graph
34516 papers tagged with this keyword
The intersection densities of transitive actions of $\operatorname{PSL}_{2}(q)$ with cyclic point stabilizers
Given a finite transitive group $G\leq \operatorname{Sym}Ω$, the {intersection density} of $G$ is defined as the ratio between the size of the largest subsets of $G$ in which any two permutations agree on at least one element of $Ω$, and the order of a point stabilizer of $G$.
In this paper, we completely determine the intersection densities of the permutation groups $\operatorname{PSL}_{2}(q)$, where $q$ is a power of an odd prime $p$, acting transitively with point stabilizers conjugate to $\mathbb{Z}_p$. Our proof uses an auxiliary graph, which is a $\operatorname{PGL}_{2}{q}$-vertex-transitive graph, in which a clique corresponds to an intersecting set of $\operaotnrame{PSL}_{2}(q)$. For the transitive action of $\psl{2}{q}$ with point stabilizers conjugate to $\mathbb{Z}_r$, where $r\mid \frac{q-1}{2}$ is an odd prime, we show that the auxiliary graph is not regular, and we construct an intersecting set which is sometimes of maximum size.
Extending the symbolic method in enumerative combinatorics. I
We use our extension of the symbolic method in enumerative combinatorics (we extend finite sums defining coefficients in generating functions to infinite series) to generalize Pólya's theorem. This theorem determines the limits of probabilities that walks in the grid graph $\mathbb{Z}^d$, starting at the origin, visit the given vertex. We replace the grid graph with weighted countable complete graphs $K_{\mathbb{N}}$ such that the edge weights with values in $\mathbb{C}$ satisfy a convergence condition. Thus general Pólya's theorems are results in enumerative combinatorics.
Robustness for expander graphs
We study robust versions of properties of $(n,d,λ)$-graphs, namely, the property of a random sparsification of an $(n,d,λ)$-graph, where each edge is retained with probability $p$ independently. We prove such results for the containment problem of perfect matchings, Hamiltonian cycles, and triangle factors. These results address a series of problems posed by Frieze and Krivelevich.
First we prove that given $γ>0$, for sufficient large $n$, any $(n,d,λ)$-graph $G$ with $λ=o(d)$, $d=Ω(\log n)$ and $p\ge\frac{(1+γ)\log n}{d}$, $G\cap G(n,p)$ contains a Hamiltonian cycle (and thus a perfect matching if $n$ is even) with high probability. This result is asymptotically optimal.
Moreover, we show that for sufficient large $n$, any $(n,d,λ)$-graph $G$ with $λ=o(\frac{d^2}{n})$, $d=Ω(n^{\frac{5}{6}}\log^{\frac{1}{2}}n)$ and $p\gg d^{-1}n^{\frac{1}{3}}\log^{\frac{1}{3}} n$, $G\cap G(n,p)$ contains a triangle factor with high probability. Here, the restrictions on $p$ and $λ$ are asymptotically optimal.
Our proof for the triangle factor problem uses the iterative absorption approach to build a spread measure on the triangle factors, and we also prove and use a coupling result for triangles in the random subgraph of an expander $G$ and the hyperedges in the random subgraph of the triangle-hypergraph of $G$.
On Perrin Cordial Labeling: A New Approach in Graph Labeling Theory
In this paper, we introduce the concept of \emph{Perrin cordial labeling}, a novel vertex labeling scheme inspired by the Perrin number sequence and situated within the broader framework of graph labeling theory. The Perrin numbers are defined recursively by the relation \( P_n = P_{n-2} + P_{n-3} \), with initial values \( P_0 = 0 \), \( P_1 = 3 \), and \( P_2 = 0 \). A Perrin cordial labeling of a graph \( G = (V, E) \) is an injective function \( f : V(G) \rightarrow \{P_0, P_1, \dots, P_n\} \), where the induced edge labeling \( f^* : E(G) \rightarrow \{0,1\} \) is given by \( f^*(uv) = (f(u) + f(v)) \pmod 2 \). The labeling is said to be cordial if the number of edges labeled \( 0 \), denoted \( e_f(0) \), and the number labeled \( 1 \), denoted \( e_f(1) \), satisfy the condition \( |e_f(0) - e_f(1)| \leq 1 \). A graph that admits such a labeling is called a \emph{Perrin cordial graph}. This study investigates the existence of Perrin cordial labelings in various families of graphs by analyzing their structural properties and compatibility with the proposed labeling scheme. Our results aim to enrich the theory of graph labelings and highlight a new connection between number theory and graph structures.
Bipartite holes, degree sums and Hamilton cycles
The {\em bipartite-hole-number} of a graph $G$, denoted as $\widetildeα(G)$, is the minimum number $k$ such that there exist integers $a$ and $b$ with $a + b = k+1$ such that for any two disjoint sets $A, B \subseteq V(G)$, there is an edge between $A$ and $B$.
McDiarmid and Yolov initiated research on bipartite holes by extending Dirac's classical theorem on minimum degree and Hamiltonian cycles.
They showed that a graph on at least three vertices with $δ(G) \ge \widetildeα(G)$ is Hamiltonian.
Later, Draganić, Munhá Correia and Sudakov proved that $δ\ge \widetildeα(G)$ implies that $G$ is pancyclic, unless $G = K_{\frac n2, \frac n2}$. This extended the result of McDiarmid and Yolov and generalized a theorem of Bondy on pancyclicity.
In this paper, we show that a $2$-connected graph $G$ is Hamiltonian if $σ_2(G) \ge 2 \widetildeα(G) - 1$, and that a connected graph $G$ contains a cycle through all vertices of degree at least $\widetildeα(G)$.
Both results extended McDiarmid and Yolov's result.
As a step toward proving pancyclicity, we show that if an $n$-vertex graph $G$ satisfies $σ_2(G) \ge 2 \widetildeα(G) - 1$, then it either contains a triangle or it is $K_{\frac n2, \frac n2}$.
Finally, we discuss the relationship between connectivity and the bipartite hole number.
Labeled Chip-Firing on Star Graphs
We study the stable configurations of the labeled chip-firing game on an infinitely subdivided $k$-star graph starting with $km$ chips on the center vertex. We prove a sorting property of this game and analyze special stable configurations corresponding to standard Young tableaux.
A decomposition formula for the Bartholdi zeta function of a hypergraph covering
It is shown by Mizuno and Sato that the Bartholdi zeta function of a covering graph is decomposed as a product of Bartholdi zeta functions of a base graph that are associated with representations. In this paper, we extend their result to the case of a hypergraph covering.
Rooted $C_5$-Minors
Let $G$ be a graph and $x_1, x_2, \ldots, x_k$ be distinct vertices of $G$. We say $(G,x_1x_2\ldots x_k)$ has a $C_k$-minor or $G$ has a $C_k$-minor rooted at $x_1x_2\ldots x_k$, if there exist pairwise disjoint sets $X_1, X_2, \ldots, X_k\subseteq V(G)$, such that for all $i\in [k]$, $G[X_i]$ is connected, $x_i\in X_i$, and $G$ has an edge between $X_i$ and $X_{i+1}$, where $X_{k+1}=X_k$. When $k=3$ it is easy to determine when $(G,x_1x_2x_3)$ contains a $C_3$-minor. For $k=4$, Robertson, Seymour and Thomas gave a characterization of $(G,x_1x_2x_3x_4)$ with no $C_4$-minor, which, in particular, implies that such $G$ has connectivity at most 5. In this paper, we apply a method of Thomas and Wollan to prove a result, which implies that if $G$ is $10$-connected then, for all distinct vertices $x_1,x_2,x_3,x_4,x_5$ of $G$, $(G,x_1x_2x_3x_4x_5)$ has a $C_5$-minor.
Proof of a conjecture of Fomichev and Karev
We prove a conjecture of Fomichev and Karev [{European J. Combin.} 127 (2025) 104160] by showing the equality of two graph invariants: $\varphi$, defined via graph colorings, and $ψ$, derived from the $\mathfrak{sl}(2)$-weight system of its 2-dimensional irreducible representation.
Borel Combinatorics of Schreier Graphs of $\mathbb{Z}$-actions
In this paper we consider the Borel combinatorics of Schreier graphs of $\mathbb{Z}$-actions with arbitrary finite generating sets. We formulate the Borel combinatorics in terms of existence of Borel equivariant maps from $F(2^{\mathbb{Z}})$ to subshifts of finite type. We then show that the Borel combinatorics and the continuous combinatorics coincide, and both are decidable. This is in contrast with the case of $\mathbb{Z}^2$-actions. We then turn to the problem of computing Borel chromatic numbers for such graphs. We give an algorithm for this problem which runs in exponential time. We then prove some bounds for the Borel chromatic numbers and give a formula for the case where the generating set has size 4.
A Lovász-Kneser theorem for triangulations
We show that the Kneser graph of triangulations of a convex $n$-gon has chromatic number $n-2$.
Sufficient conditions for bipartite rigidity, symmetric completability and hyperconnectivity of graphs
We consider three matroids defined by Kalai in 1985: the symmetric completion matroid $\mathcal{S}_d$ on the edge set of a looped complete graph; the hyperconnectivity matroid $\mathcal{H}_d$ on the edge set of a complete graph; and the birigidity matroid $\mathcal{B}_d$ on the edge set of a complete bipartite graph. These matroids arise in the study of low rank completion of partially filled symmetric, skew-symmetric and rectangular matrices, respectively. We give sufficient conditions for a graph $G$ to have maximum possible rank in these matroids. For $\mathcal{S}_d$ and $\mathcal{H}_d$, our conditions are in terms of the minimum degree of $G$ and are best possible. For $\mathcal{B}_d$, our condition is in terms of the connectivity of $G$. Our results are analogous to recent results for rigidity matroids due to Krivelevich, Lew and Michaeli, and Villányi, respectively, but our proofs require new techniques and structural results. In particular, we give an almost tight lower bound on the vertex cover number in critically $k$-connected graphs.
Obtaining the Chamanara Surface from the van der Corput sequence
We investigate a family of $4$-regular graphs constructed to test for the presence of combinatorial structure in a sequence of distinct real numbers. We show that the graphs constructed from the Kronecker sequence can be embedded into the torus, while the graphs constructed from the binary van der Corput sequence can be embedded into the Chamanara surface, in both cases with the possible removal of one edge. These results allude to a general theory of sequence graphs which can be embedded into particular translation surfaces coming from interval exchange transformations.
GUE Correlators and Large Genus Asymptotics
In this paper, we use a formula obtained in [8] to study certain asymptotic behaviors of GUE (Gaussian unitary ensemble) correlators. More precisely, we obtain large genus asymptotics of enumerations of ordinary graphs and ribbon graphs with 1 face.
Minimum spectral radius of graphs of fixed order and dissociation number and its connection to Turán problems
Let $\mathcal{D}_{n,τ}$ be the set of all simple connected graphs of order $n$ and dissociation number $τ.$ In this paper, we study the minimum size and the minimum spectral radius of graphs in $\mathcal{D}_{n,τ}$ in connection with Turán-type problems for complete multipartite graphs. We characterize the Tur\' an graphs for several complete multipartite graphs where the size of one of the partite sets is much smaller than the size of the remaining partites. This extends a result of Erdős and Simonovits [16]. Additionally, we prove some stability results to get the structure of graphs without such a forbidden complete multipartite subgraph, and close to Turán number of edges. As an application, we show that a graph with the minimum spectral radius in $\mathcal{D}_{n,τ}$ must be a graph with the minimum size in $\mathcal{D}_{n, τ}$ when $n$ is sufficiently large and satisfies some parity conditions. We then describe a few structural properties of graphs with the minimum spectral radius in $\mathcal{D}_{n,τ}$. For even dissociation numbers and any order $n$, we compute the minimum size of a graph in $\mathcal{D}_{n,τ}$ and use it to characterize the graphs in $\mathcal{D}_{n, 4}$ that attain the minimum size and the minimum spectral radius. We also apply the stability results to upper bound the minimum number of edges and spectral radius for connected graphs with a given $d$-independence number when the order of the graph is sufficiently large. Finally, we derive two new bounds on the value of $τ(G)$ for a given graph $G$.
The Morse complex of the wedge of two extended star graphs and a path
In the work of C. Donovan and N. A. Scoville, the homotopy type of the Morse complex of the extended star graph which is obtained as the one-point union of n paths of length 2 was determined by using star clusters and Cluster Lemma. In this paper, we determine the homotopy type of the Morse complex of extended star graph consisting of a path of length 1 and n paths of length 2 by using strong collapses and Hasse diagram. Furthermore, we compute the homotopy type of the graph obtained by attaching the center vertices of two extended star graphs to different endpoints of a path by using star clusters and the Cluster Lemma.
The circumference of a graph with given minimum degree and clique number
The circumference denoted by $c(G)$ of a graph $G$ is the length of its longest cycle. Let $δ(G)$ and $ω(G)$ denote the minimum degree and the clique number of a graph $G$, respectively. In [\emph{Electron. J. Combin.} 31(4)(2024) $\#$P4.65], Yuan proved that if $G$ is a 2-connected graph of order $n$, then $c(G)\geq \min\{n,ω(G)+δ(G)\}$ unless $G$ is one of two specific graphs. In this paper, we prove a stability result for the theorem of Erd\H os and Gallai, thereby helping us to characterize all $2$-connected non-hamiltonian graphs whose circumference equals the sum of their clique number and minimum degree. Combining this with Yuan's result, one can deduce that if $G$ is a $2$-connected graph of order $n$, then $c(G)\geq \min\{n,ω(G)+δ(G)+1\}$, unless $G$ belongs to certain specified graph classes.
Strict monotonicity of critical points in independent long-range percolation models
We consider independent long-range percolation models on locally finite vertex-transitive graphs. Using coupling ideas we prove strict monotonicity of the critical points with respect to local perturbations in the connection function, thereby improving upon previous results obtained via the classical essential enhancement method of Aizenman and Grimmett in several ways. In particular, our approach allows us to work under minimal assumptions, namely shift-invariance and summability of the connection function, and it applies to both undirected and directed bond percolation models.
A new spectral Turán theorem for weighted graphs and consequences
Confirming a conjecture of Elphick and Edwards and strengthening a spectral theorem of Wilf, Nikiforov proved that for any $K_{r+1}$-free graph $G$, $λ(G)^2 \leq 2 (1 - 1/r) m$, where $λ(G)$ is the spectral radius of $G$, and $m$ is the number of edges of $G$. This result was later improved in \cite{LiuN26}, where it was shown that for any graph $G$, $λ(G)^2 \leq 2 \sum_{e \in E(G)} \frac{\mathrm{cl}(e) - 1}{\mathrm{cl}(e)}$, where $\mathrm{cl}(e)$ denotes the order of the largest clique containing the edge $e$. In this paper, we further extend this inequality to weighted graphs, proving that \[ λ(G)^2 \leq 2 \sum_{e \in E(G)} \frac{\mathrm{cl}(e) - 1}{\mathrm{cl}(e)} w(e)^2, \] and we characterize all extremal graphs attaining this bound. Our main theorem yields several new consequences, including two vertex-based and vertex-degree-based local versions of Turán's theorem, as well as weighted generalizations of the Edwards--Elphick theorem and the Cvetković theorem, and two localized versions of Wilf's theorems. One of these localized Wilf's theorem confirms a conjecture that originates from Probability and Operator Algebras and was proposed by R. Tripathi independently of us. Moreover, our main result unifies and implies numerous earlier ones from spectral graph theory and extremal graph theory, including Stanley's spectral inequality, Hong's inequality, a localized Turán-type theorem, and a recent extremal theorem by Adak and Chandran. Notably, while Nikiforov's earlier spectral inequality implied Stanley's bound, it did not imply Hong's inequality -- a gap that is now bridged by our result. As a key tool, we establish the inequality $\sum_{e \in E(G)} \frac{2}{\mathrm{cl}(e)} \geq n-1$, which complements an upper bound $\sum_{e \in E(G)} \frac{2}{\mathrm{cl}(e)-1} \leq n^2 - 2m$ due to Bradač, and Malec and Tompkins, independently.
Bijections Between Smirnov Words and Hamiltonian Cycles in Complete Multipartite Graphs
We establish a bijective correspondence between Smirnov words with balanced letter multiplicities and Hamiltonian paths in complete $m$-partite graphs $K_{n,n,\ldots,n}$. This bijection allows us to derive closed inclusion-exclusion formulas for the number of Hamiltonian cycles in such graphs. We further extend the enumeration to the generalized nonuniform case $K_{n_1,n_2,\ldots,n_m}$. We also provide an asymptotic analysis based on Stirling's approximation, which yields compact factorial expressions and logarithmic expansions describing the growth of the number of Hamiltonian cycles in the considered graphs. Our approach unifies the combinatorial study of adjacency-constrained words and the enumeration of Hamiltonian cycles within a single analytical framework.