graph
34516 papers tagged with this keyword
Random graphs, expanding families and the construction of noncompact hyperbolic surfaces with uniform spectral gaps
In this paper, we introduce and analyze a random graph model $\mathcal{F}_{χ,n}$, which is a configuration model consisting of interior and boundary vertices. We investigate the asymptotic behavior of eigenvalues for graphs in $\mathcal{F}_{χ,n}$ under various growth regimes of $χ$ and $n$. When $n = o\left(χ^{\frac{2}{3}}\right)$, we prove that almost every graph in the model is connected and forms an expander family. We also establish upper bounds for the first Steklov eigenvalue, identifying scenarios in which expanders cannot be constructed. Furthermore, we explicitly construct an expanding family in the critical regime $n \asymp g$, and apply it to build a sequence of complete, noncompact hyperbolic surfaces with uniformly positive spectral gaps.
Supersaturation via edge-gluing
In 1984, Erdős and Simonovits conjectured the following: given a bipartite graph $H$, there exist constants $β, C > 0$ such that any graph $G$ on $n$ vertices and $pn^2\geq C \mathrm{ex}(n, H)$ edges contains at least $βn^{\mathrm{v}(H)} p^{\mathrm{e}(H)}$ copies of $H$. We show that edge-gluing preserves the satisfiability of this conjecture under some mild symmetry conditions. Namely, if two graphs $H_1$ and $H_2$ satisfy this conjecture, and if furthermore, gluing them along a fixed edge produces a unique graph then the resulting graph satisfies the conjecture as well.
In the same paper, Erdős and Simonovits conjectured a weaker statement: for every $H$, there is some $α, β, C > 0$ such that any graph $G$ on $n$ vertices and $pn^2\geq C n^{1+ α}$ edges contains at least $βn^{\mathrm{v}(H)} p^{\mathrm{e}(H)}$ copies of $H$. We show that if $H$ satisfies this conjecture then by gluing several copies of labeled $H$ along the same copy of a subforest of $H$ produces a graph that also satisfies the conjecture.
Planar-Toroidal Decomposition of $K_{12}$
Published in Discrete Mathematics & Theoretical Computer Science, 28 2 (2026) #3
• View Publication
• BIB
In 1978, Anderson and White asked whether there is a decomposition of $K_{12}$ into two graphs, one planar and one toroidal. Using theoretical arguments and a computer search of all maximal planar graphs of order 12, we show that no such decomposition exists. We further show that if $G$ is planar of order 12 and $H\subseteq\overline{G}$ is toroidal, then $H$ has at least two fewer edges than $\overline{G}$. A computer search found all 123 unique pairs $\left(G,H\right)$ that make this an equality.
Subgroup Perfect Codes of $\mathcal{A}_t$-Groups and Their Applications
A subset $C$ of the vertex set of a graph $Γ$ is called a perfect code in $Γ$ if every vertex of $Γ$ is at distance no more than 1 to exactly one vertex of $C$. A subgroup $H$ of a group $G$ is called a subgroup perfect code of $G$ if $H$ is a perfect code in some Cayley graph of $G$. Recently, Zhang reveals that the study of subgroup perfect codes of finite groups naturally reduces to the case of $p$-groups, especially $2$-groups. Based on the combined works of Berkovich, Janko and Zhang, every $p$-group is an $\mathcal{A}_t$-group. In this work, we establish a complete classification of subgroup perfect codes of $\mathcal{A}_t$-groups for $t \in\{0, 1\}$. Moreover, subgroup perfect codes of finite groups with abelian Sylow $2$-subgroups are also characterized.
Signless Laplacian spectral analysis of a class of graph joins
A graph is said to be determined by its signless Laplacian spectrum (abbreviated as DQS) if no other non-isomorphic graph shares the same signless Laplacian spectrum. In this paper, we establish the following results:
(1). Every graph of the form $K_1 \vee (C_s \cup qK_2)$, where $q \ge 0$, $s \ge 3$, and the number of vertices is at least $16$, is DQS;
(2). Every graph of the form $K_1 \vee (C_{s_1} \cup C_{s_2} \cup \cdots \cup C_{s_t} \cup qK_2)$, where $t \ge 2$, $q \ge 0$, $s_i \ge 3$, and the number of vertices is at least $52$, is DQS.
Here, $K_n$ and $C_n$ denote the complete graph and the cycle of order $n$, respectively, while $\cup$ and $\vee$ represent the disjoint union and the join of graphs. Moreover, the signless Laplacian spectrum of the graphs under consideration is computed explicitly.
On Hamiltonian bypasses in digraphs and bipartite digraphs
A Hamiltonian path in a digraph $D$ in which the initial vertex dominates the terminal vertex is called a Hamiltonian bypass. Let $D$ be a 2-strong digraph of order $p\geq 3$ and let $z$ be some vertex of $D$. Suppose that every vertex of $D$ other than $z$ has degree at least $p$. We introduce and study a conjecture which claims that there exists a smallest integer $k$ such that if $d(z)\geq k$, then $D$ contains a Hamiltonian bypass. In this paper, we prove: (i) If $D$ is Hamiltonian or $z$ has a degree greater than $(p-1)/3$,
then $D$ contains a Hamiltonian bypass. (ii) If a strong balanced bipartite digraph $B$ of order $2a\geq 6$ satisfies the condition that $d^+(u)+d^-(v)\geq a+1$ for all vertices $u$ and $v$ from different partite sets such that $B$ does not contain the arc $uv$, then $B$ contains a Hamiltonian bypass. Furthermore, the lower bound $a+1$ is sharp. The first result improves a result of Benhocine (J. of Graph Theory, 8, 1984) and a result of the author (Math. Problems of Computer Science,
54, 2020)
We also suggest some conjectures and problems.
Paired many-to-many 2-disjoint path cover of Johnson graphs
Given two 2 disjoint vertex-sets $S=\{u,x\}$ and $T=\{v,y\}$, a paired many-to-many 2-disjoint path cover joining S and T, is a set of two vertex-disjoint paths with endpoints $u,v$ and $x,y$, respectively, that cover every vertex of the graph. If the graph has a many-to-many 2-disjoint path cover for any two disjoint vertex-sets $S$ and $T$, then it is called paired 2-coverable. It is known that if a graph is paired 2-coverable, then it must be Hamilton-connected, but the reverse is not true. It has been proved that Johnson graphs $J(n,k)$, $0\le k\le n$, are Hamilton-connected by Brian Alspach in [Ars Math. Contemp. 6 (2013) 21--23]. In this paper, we prove that Johnson graphs are paired 2-coverable. Moreover, we obtain that another family of graphs $QJ(n,k)$ constructed from Johnson graphs by Alspach are also paired 2-coverable.
Sidorenko-Type Inequalities for Even Subdivisions over Finite Abelian Groups
Sidorenko's conjecture asserts that every bipartite graph $H$ has the property that, for any host graph $G$, the homomorphism density from $H$ to $G$ is asymptotically at least as large as in a quasirandom graph with the same edge density as $G$. While the conjecture remains still very open, Szegedy showed that it suffices to verify the inequality when the host graph is a Cayley graph over a finite group.
In this paper, we prove that Sidorenko's conjecture holds for all even subdivisions of arbitrary graphs when the host graph is a Cayley graph over an abelian group. That is, if each edge of a graph is replaced by a path of even length (allowing different lengths for different edges), then the resulting graph satisfies the Sidorenko's inequality in any abelian Cayley host graph.
Our approach reduces the homomorphism count to the evaluation of certain averages over solution sets of linear systems over finite abelian groups, and proceeds using Fourier-analytic techniques.
Asymptotic normality of embedding distributions of some families of graphs
Computing the embedding distribution of a given graph is a fundamental question in topological graph theory. In this article, we extend our viewpoint to a sequence of graphs and consider their asymptotic embedding distributions, which are often the normal distribution. We establish the asymptotic normality of several families of graphs by developing adapted tools and frameworks. We expect that these tools and frameworks can be used on other families of graphs to establish the asymptotic normality of their embedding distributions. Several open questions and conjectures are also raised in our investigation.
Monotone Circuit Complexity of Matching
We show that the perfect matching function on $n$-vertex graphs requires monotone circuits of size $\smash{2^{n^{Ω(1)}}}$. This improves on the $n^{Ω(\log n)}$ lower bound of Razborov (1985). Our proof uses the standard approximation method together with a new sunflower lemma for matchings.
A note on $χ$-unbounded classes of geometric graphs
We show that there exist infinitely many classes of intersection graphs of geometric objects that are not $χ$-bounded -- namely, $d$-CBU graphs for $d\geq 3$ -- and each is incomparable with the class of Burling graphs. This answers a folklore open problem on whether Burling graphs are the sole source of unbounded chromatic number among geometric intersection classes.
Local (Outer) Multiset Dimensions of Graphs
Let $G$ be a finite, connected, undirected, and simple graph and $W$ be a set of vertices in $G$. A representation multiset of a vertex $u$ in $V(G)$ with respect to $W$ is defined as the multiset of distances between $u$ and the vertices in $W$. If every two adjacent vertices in $V(G)$ have a distinct multiset representation, the set $W$ is called a local multiset resolving set of $G$. If $G$ has a local multiset resolving set, then this set with the smallest cardinality is called the local multiset basis, and its cardinality is the local multiset dimension of $G$. Otherwise, $G$ is said to have an infinite local multiset dimension.
On the other hand, if every two adjacent vertices in $V(G) \backslash W$ have a distinct representation multiset, the set $W$ is called a local outer multiset resolving set of $G$. Such a set with the smallest cardinality is called the local outer multiset basis, and its cardinality is the local outer multiset dimension of $G$. Unlike the local multiset dimension, every graph has a finite local outer multiset dimension.
This paper presents some basic properties of local (outer) multiset dimensions, including lower bounds for the dimensions and a necessary condition for a finite local multiset dimension. We also determine local (outer) multiset dimensions for some graphs of small diameter.
Fair coalition in graphs
Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $D\subseteq V$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. For $k \geq 1$, a $k$-fair dominating set ($kFD$-set) in $G$, is a dominating set $S$ such that $|N(v) \cap D|=k$ for every vertex $ v \in V\setminus D$. A fair dominating set in $G$ is a $kFD$-set for some integer $k\geq 1$. We consider $1FD$-sets and define a fair coalition in a graph $G$ as a pair of disjoint subsets $A_1, A_2 \subseteq A$ that satisfy the following conditions: (a) neither $A_1$ nor $A_2$ constitutes a $1$-fair dominating set of $G$, and (b) $A_1\cup A_2$ constitutes a $1$-fair dominating set of $G$. A fair coalition partition of a graph $G$ is a partition $Υ= \{A_1,A_2,\ldots,A_k\}$ of its vertex set such that every set $A_i$ of $Υ$ is either a singleton $1$-fair dominating set of $G$, or is not a $1$-fair dominating set of $G$ but forms a fair coalition with another non-$1$-fair dominating set $A_j\in Υ$. We define the fair coalition number of $G$ as the maximum cardinality of a fair coalition partition of $G$, and we denote it by $\mathcal{C}_f(G)$. We initiate the study of the fair coalition in graphs and obtain $\mathcal{C}_f(G)$ for some specific graphs.
On rainbow caterpillars in elementary $p$-groups
Given a finite Abelian group $(A,+)$, consider a tree $T$ with $|A|$ vertices. The labeling $f \colon V (T) \rightarrow A$ of the vertices of some graph $G$ induces an edge labeling in $G$, thus the edge $uv$ receives the label $f (u) + f (v)$.
The tree $T$ is $A$-rainbow colored if $f$ is a bijection and edges have different colors. In this paper, we give necessary and sufficient conditions for a caterpillar with three spine vertices to be $A$-rainbow, when $A$ is an elementary $p$-group.
Convergent sequences of combinatorial submodular setfunctions
To illustrate that the notion of convergence of submodular function sequences fits reasonably into the limit theory of graphs, we describe several classes of matroids and other submodular setfunctions for which convergence of appropriate sequences can be proved. Some of the proofs are surprisingly nontrivial.
A result on spanning trees with bounded total excess
Let $G$ be a connected graph and $T$ a spanning tree of $G$. Let $ρ(G)$ denote the adjacency spectral radius of $G$. The $k$-excess of a vertex $v$ in $T$ is defined as $\max\{0,d_T(v)-k\}$. The total $k$-excess $\mbox{te}(T,k)$ is defined by $\mbox{te}(T,k)=\sum\limits_{v\in V(T)}{\max\{0,d_T(v)-k\}}$. A tree $T$ is said to be a $k$-tree if $d_T(v)\leq k$ for any $v\in V(T)$, that is to say, the maximum degree of a $k$-tree is at most $k$. In fact, $T$ is a spanning $k$-tree if and only if $\mbox{te}(T,k)=0$. This paper studies a generalization of spanning $k$-trees using a concept called total $k$-excess and proposes a lower bound for $ρ(G)$ in a connected graph $G$ to ensure that $G$ contains a spanning tree $T$ with $\mbox{te}(T,k)\leq b$, where $k$ and $b$ are two nonnegative integers with $k\geq\max\{5,b+3\}$ and $(b,k)\neq(2,5)$.
Pseudorandomness of Expander Walks via Fourier Analysis on Groups
One approach to study the pseudorandomness properties of walks on expander graphs is to label the vertices of an expander with elements from an alphabet $Σ$, and study the mean of functions over $Σ^n$. We say expander walks $\varepsilon$-fool a function if, for any unbiased labeling of the vertices, the expander walk mean is $\varepsilon$-close to the true mean. We show that:
- The class of symmetric functions is $O(|Σ|\cdotλ)$-fooled by expander walks over any generic $λ$-expander, and any alphabet $Σ$ . This generalizes the result of Cohen, Peri, Ta-Shma [STOC'21] which analyzes it for $|Σ| =2$, and exponentially improves the previous bound of $O(|Σ|^{O(|Σ|)}\cdot λ)$, by Golowich and Vadhan [CCC'22]. Additionally, if the expander is a Cayley graph over $\mathbb{Z}_{|Σ|}$, we get a further improved bound of $O(\sqrt{|Σ|}\cdotλ)$.
Morever, when $Σ$ is a finite group $G$, we show the following for functions over $G^n$:
- The class of symmetric class functions is $O\Big({\frac{\sqrt{|G|}}{D}\cdotλ}\Big)$-fooled by expander walks over "structured" $λ$-expanders, if $G$ is $D$-quasirandom.
- We show a lower bound of $Ω(λ)$ for symmetric functions for any finite group $G$ (even for "structured" $λ$-expanders).
- We study the Fourier spectrum of a class of non-symmetric functions arising from word maps, and show that they are exponentially fooled by expander walks.
Our proof employs Fourier analysis over general groups, which contrasts with earlier works that have studied either the case of $\mathbb{Z}_2$ or $\mathbb{Z}$. This enables us to get quantitatively better bounds even for unstructured sets.
Graphs With the Same Edge Count in Each Neighborhood
In a recent paper, Caro, Lauri, Mifsud, Yuster, and Zarb ask which parameters $r$ and $c$ admit the existence of an $r$-regular graph such that the neighborhood of each vertex induces exactly $c$ edges. They show that every $r$ with $c$ satisfying $0\leq c\leq {r\choose 2}-5r^{3/2}$ is achievable, but no $r$ with $c$ satisfying ${r\choose 2}-\lfloor\frac{r}{3}\rfloor\leq c\leq {r\choose 2}-1$ is. We strengthen the bound in their nonexistence result from ${r\choose 2}-\lfloor\frac{r}{3}\rfloor$ to ${r\choose 2}-\lfloor\frac{r-2}{2}\rfloor$. Additionally, when the graph is the Cayley graph of an abelian group, we obtain a much more fine-grained characterization of the achievable values of $c$ between $\binom{r}{2} - 5r^{3/2}$ and $\binom{r}{2} - \lfloor\frac{r-2}{2}\rfloor$, which we conjecture to be the correct answer for general graphs as well. That result relies on a lemma about approximate subgroups in the "99% regime," quantifying the extent to which nearly-additively-closed subsets of an abelian group must be close to actual subgroups. Finally, we consider a generalization to graphs with multiple types of edges and partially resolve several open questions of Caro et al. about $\textit{flip}$ colorings of graphs.
On the subdirect product of graph bundles
The subdirect product of two finite groups $A$ and $B$ is defined as a subgroup of the direct product $A \times B$, which is a well-known notion in finite group theory. While it is clear that, under appropriate choices of sets of generators $S$, $S_A$ and $S_B$, the Cayley graph $Cay(A \times B, S)$ corresponds to the Cartesian product $Cay(A, S_A) \square Cay(B, S_B)$ of two graphs, there is no analogue at the level of graph product that reflects the notion of subdirect product of groups. This is precisely the problem which we discuss here. By using the concept of graph bundles and the corresponding pullbacks, we introduce an operation on graph bundles such that the Cayley graph of the subdirect product of two groups can be described as the total space of the product of the Cayley graphs. This allows us to define the so-called ``network $K$-theory group of a graph'', inspired by the notion of topological $K$-theory, and we are able to investigate an interesting functor from the category of graphs to the category of abelian groups.
Extremal Degree Irregularity Bounds for Albertson and Sigma Indices in Trees and Bipartite Graphs
In this paper, the study of extreme value bounds for topological indices is crucial for understanding their influence on trees and bipartite graphs. For integers $α, p$ satisfying $1 \leq p \leq α\leq Δ- 3$, the minimum Albertson index $\operatorname{irr}_{\min}$ has the following lower bound: $$ \operatorname{irr}_{\min} \geq Δ^2 (Δ- 1) \frac{2^α}{(Δ- p)^2}. $$ This work examines the maximum and minimum values of the Albertson index in bipartite graphs, depending on the sizes of their bipartition sets. Utilizing a known corollary, explicit formulas and bounds are derived to characterize the irregularity measure under various vertex size conditions. Additionally, upper bounds for the Albertson and Sigma indices are established using graph parameters such as degrees and edge counts. The theoretical findings are illustrated with examples and inequalities involving degree sequences, advancing the understanding of extremal irregularity behavior in bipartite graphs.