graph
35273 papers tagged with this keyword
A complete classification of perfect unitary Cayley graphs
Published
• View Publication
• BIB
Due to their elegant and simple nature, unitary Cayley graphs have been an active research topic in the literature. These graphs are naturally connected to several branches of mathematics, including number theory, finite algebra, representation theory, and graph theory. In this article, we study the perfectness property of these graphs. More precisely, we provide a complete classification of perfect unitary Cayley graphs associated with finite rings.
The maximum index of signed complete graphs whose negative edges induce a bicyclic graph
Published
• View Publication
• BIB
Let $Γ=(K_n,H)$ be a signed complete graph whose negative edges induce a subgraph $H$. Let $A(Γ)$ be the adjacency matrix of the signed graph $Γ$. The largest eigenvalue of $A(Γ)$ is called the index of $Γ$. In this paper, the index of all the signed complete graphs whose negative edges induce a bicyclic graph $B$ is investigated. Specifically, the structure of the bicyclic graph $B$ such that $Γ=(K_n,B)$ has the maximum index is determined.
On the gcd graphs over polynomial rings
Gcd-graphs over the ring of integers modulo $n$ are a natural generalization of unitary Cayley graphs. The study of these graphs has foundations in various mathematical fields, including number theory, ring theory, and representation theory. Using the theory of Ramanujan sums, it is known that these gcd-graphs have integral spectra; i.e., all their eigenvalues are integers. In this work, inspired by the analogy between number fields and function fields, we define and study gcd-graphs over polynomial rings with coefficients in finite fields. We establish some fundamental properties of these graphs, emphasizing their analogy to their counterparts over $\mathbb{Z}.$
Orthogonal roots, Macdonald representations, and quasiparabolic sets
Published in Forum of Mathematics, Sigma 13 (2025) e110
• View Publication
• BIB
Let $W$ be a simply laced Weyl group of finite type and rank $n$. If $W$ has type $E_7$, $E_8$, or $D_n$ for $n$ even, then the root system of $W$ has subsystems of type $nA_1$. This gives rise to an irreducible Macdonald representation of $W$ spanned by $n$-roots, which are products of $n$ orthogonal roots in the symmetric algebra of the reflection representation. We prove that in these cases, the set of all maximal sets of orthogonal positive roots has the structure of a quasiparabolic set in the sense of Rains--Vazirani. The quasiparabolic structure can be described in terms of certain quadruples of orthogonal positive roots which we call crossings, nestings, and alignments. This leads to nonnesting and noncrossing bases for the Macdonald representation, as well as some highly structured partially ordered sets. We use the $8$-roots in type $E_8$ to give a concise description of a graph that is known to be non-isomorphic but quantum isomorphic to the orthogonality graph of the $E_8$ root system.
A Study On The Graph Formulation Of Union Closed Sets Conjecture
The Union Closed Sets Conjecture is one of the most renowned problems in combinatorics. Its appeal lies in the simplicity of its statement contrasted with the potential complexity of its resolution. The conjecture posits that, in any union closed family of sets, there exists at least one element that appears in at least half of the sets within the family.
We establish the graph-theoretic version of certain set-theoretic results by connecting the set-based and graph-based formulations. We then prove a theorem in which we investigate the conjecture for graphs, focusing on their decompositions and the position of certain pendant vertices. As a result, we extend the validity of the conjecture to a broader class of graph structures.
Limits and Periodicity of Metamour $2$-Distance Graphs
Given a finite simple graph $G$, let $\operatorname{M}(G)$ denote its 2-distance graph, in which two vertices are adjacent if and only if they have distance 2 in $G$. In this paper, we consider the periodic behavior of the sequence $G, \operatorname{M}(G), \operatorname{M}^2(G), \operatorname{M}^3(G), \ldots$ obtained by iterating the 2-distance operation. In particular, we classify the connected graphs with period 3, and we partially characterize those with period 2. We then study two families of graphs whose 2-distance sequence is eventually periodic: namely, generalized Petersen graphs and complete $m$-ary trees. For each family, we show that the eventual period is 2, and we determine the pre-period and the two limit graphs of the sequence.
A lower bound on the number of edges in DP-critical graphs
Published
• View Publication
• BIB
A graph $G$ is $k$-critical (list $k$-critical, DP $k$-critical) if $χ(G)= k$ ($χ_\ell(G)= k$, $χ_\mathrm{DP}(G)= k$) and for every proper subgraph $G'$ of $G$, $χ(G')<k$ ($χ_\ell(G')< k$, $χ_\mathrm{DP}(G')<k$). Let $f(n, k)$ ($f_\ell(n, k), f_\mathrm{DP}(n,k)$) denote the minimum number of edges in an $n$-vertex $k$-critical (list $k$-critical, DP $k$-critical) graph. Our main result is that if $k\geq 5$ and $n\geq k+2$, then $$f_\mathrm{DP}(n,k)>\left(k - 1 + \left \lceil \frac{k^2 - 7}{2k-7} \right \rceil^{-1}\right)\frac{n}{2}.$$ This is the first bound on $f_\mathrm{DP}(n,k)$ that is asymptotically better than the well-known bound on $f(n,k)$ by Gallai from 1963. The result also yields a slightly better bound on $f_{\ell}(n,k)$ than the ones known before.
Schur-positivity for generalized nets
Published
• View Publication
• BIB
A graph is Schur-positive if its chromatic symmetric function expands nonnegatively in the Schur basis. All claw-free graphs are conjectured to be Schur-positive. We introduce a combinatorial object corresponding to a graph G, called a special rim hook G-tabloid, which is a variation on the special rim hook tabloid. These objects can be employed to compute any Schur coefficient of the chromatic symmetric function of a graph. We construct sign-reversing maps on these special rim hook G-tabloids to obtain a recurrence relation for the Schur coefficients of a family of claw-free graphs called generalized nets, then we prove the entire family is Schur-positive. We subsequently determine an analogous recurrence relation for another, similar family of claw-free graphs. Thus, we demonstrate a new method for proving Schur-positivity of chromatic symmetric functions, which has the potential to be applied to make further progress toward the aforementioned conjecture.
On forbidden configurations in point-line incidence graphs
Published
• View Publication
• BIB
The celebrated Szemerédi--Trotter theorem states that the maximum number of incidences between $n$ points and $n$ lines in the plane is $O(n^{4/3})$, which is asymptotically tight. Solymosi (2005) conjectured that for any set of points $P_0$ and for any set of lines $\mathcal{L}_0$ in the plane, the maximum number of incidences between $n$ points and $n$ lines in the plane whose incidence graph does not contain the incidence graph of $(P_0,\mathcal{L}_0)$ is $o(n^{4/3})$. This conjecture is mentioned in the book of Brass, Moser, and Pach (2005). Even a stronger conjecture, which states that the bound can be improved to $O(n^{4/3-\varepsilon})$ for some $\varepsilon = \varepsilon(P_0,\mathcal{L}_0)>0$, was introduced by Mirzaei and Suk (2021). We disprove both of these conjectures. We also introduce a new approach for proving the upper bound $O(n^{4/3-\varepsilon})$ on the number of incidences for configurations $(P,\mathcal{L})$ that avoid certain subconfigurations.
The planar Turán number of double star $S_{2,4}$
Published
• View Publication
• BIB
Planar Turán number $ex_{\mathcal{P}}(n,H)$ of $H$ is the maximum number of edges in an $n$-vertex planar graph which does not contain $H$ as a subgraph. Ghosh, Győri, Paulos and Xiao initiated the topic of the planar Turán number for double stars. In this paper, we prove that $ex_{\mathcal{P}}(n,S_{2,4})\leq \frac{31}{14}n$ for $n\geq 1$, and show that equality holds for infinitely many integers $n$.
Cycle-Star Motifs: Network Response to Link Modifications
Published in J Nonlinear Sci 34, 60 (2024)
• View Publication
• BIB
Understanding efficient modifications to improve network functionality is a fundamental problem of scientific and industrial interest. We study the response of network dynamics against link modifications on a weakly connected directed graph consisting of two strongly connected components: an undirected star and an undirected cycle. We assume that there are directed edges starting from the cycle and ending at the star (master-slave formalism). We modify the graph by adding directed edges of arbitrarily large weights starting from the star and ending at the cycle (opposite direction of the cutset). We provide criteria (based on the sizes of the star and cycle, the coupling structure, and the weights of cutset and modification edges) that determine how the modification affects the spectral gap of the Laplacian matrix. We apply our approach to understand the modifications that either enhance or hinder synchronization in networks of chaotic Lorenz systems as well as Rössler. Our results show that the hindrance of collective dynamics due to link additions is not atypical as previously anticipated by modification analysis and thus allows for better control of collective properties.
Optimal $L(d,1)$-labeling of certain direct graph bundles cycles over cycles and Cartesian graph bundles cycles over cycles
Published
• View Publication
• BIB
An $L(d,1)$-labeling of a graph $G$ is an assignment of nonnegative integers to the vertices such that adjacent vertices receive labels that differ by at least $d$ and those at a distance of two receive labels that differ by at least one, where $d\geq 1$. Let $λ^d_1 (G)$ denote the least $λ$ such that $G$ admits an $L(d,1)$-labeling using labels from $\{0,1,\ldots , λ\}$. We prove that $λ^d_1(X)\leq 2d+2$ for certain direct graph bundle $X= C_m\times^{σ_\ell} C_n$ and certain Cartesian graph bundle $X= C_m\Box^{σ_\ell} C_n$, where $σ_\ell$ is a cyclic $\ell$-shift, with equality if $1\leq d\leq 4$.
On the second largest adjacency eigenvalue of trees with given diameter
Published
• View Publication
• BIB
For a graph $G$, let $λ_2(G)$ denote the second largest eigenvalue of the adjacency matrix of $G$. We determine the extremal trees with maximum/minimum adjacency eigenvalue $λ_2$ in the class $\mathcal{T}(n,d)$ of $n$-vertex trees with diameter $d$. This contributes to the literature on $λ_2$-extremization over different graph families. We also revisit the notion of the spectral center of a tree and the proof of $λ_2$ maximization over trees.
Off-diagonal Ramsey numbers for slowly growing hypergraphs
Published
• View Publication
• BIB
For a $k$-uniform hypergraph $F$ and a positive integer $n$, the Ramsey number $r(F,n)$ denotes the minimum $N$ such that every $N$-vertex $F$-free $k$-uniform hypergraph contains an independent set of $n$ vertices. A hypergraph is $\textit{slowly growing}$ if there is an ordering $e_1,e_2,\dots,e_t$ of its edges such that $|e_i \setminus \bigcup_{j = 1}^{i - 1}e_j| \leq 1$ for each $i \in \{2, \ldots, t\}$. We prove that if $k \geq 3$ is fixed and $F$ is any non $k$-partite slowly growing $k$-uniform hypergraph, then for $n\ge2$, \[ r(F,n) = Ω\Bigl(\frac{n^k}{(\log n)^{2k - 2}}\Bigr).\] In particular, we deduce that the off-diagonal Ramsey number $r(F_5,n)$ is of order $n^{3}/\mbox{polylog}(n)$, where $F_5$ is the triple system $\{123, 124, 345\}$. This is the only 3-uniform Berge triangle for which the polynomial power of its off-diagonal Ramsey number was not previously known. Our constructions use pseudorandom graphs, martingales, and hypergraph containers.
On isomorphisms of $m$-Cayley digraphs
Published
• View Publication
• BIB
The isomorphism problem for digraphs is a fundamental problem in graph theory. This problem for Cayley digraphs has been extensively investigated over the last half a century. In this paper, we consider this problem for $m$-Cayley digraphs which are generalization of Cayley digraphs. Let $m$ be a positive integer. A digraph admitting a group $G$ of automorphisms acting semiregularly on the vertices with exactly $m$ orbits is called an $m$-Cayley digraph of $G$. In particular, $1$-Cayley digraph is just the Cayley digraph. We first characterize the normalizer of $G$ in the full automorphism group of an $m$-Cayley digraph of a finite group $G$. This generalizes a similar result for Cayley digraph achieved by Godsil in 1981. Then we use this to study the isomorphisms of $m$-Cayley digraphs. The CI-property of a Cayley digraph (CI stands for `Cayley isomorphism') and the DCI-groups (whose Cayley digraphs are all CI-digraphs) are two key topics in the study of isomorphisms of Cayley digraphs. We generalize these concepts into $m$-Cayley digraphs by defining $m$CI- and $m$PCI-digraphs, and correspondingly, $m$DCI- and $m$PDCI-groups. Analogues to Babai's criterion for CI-digraphs are given for $m$CI- and $m$PCI-digraphs, respectively. With these we then classify finite $m$DCI-groups for each $m\geq 2$, and finite $m$PDCI-groups for each $m\geq 4$. Similar results are also obtained for $m$-Cayley graphs. Note that 1DCI-groups are just DCI-groups, and the classification of finite DCI-groups is a long-standing open problem that has been worked on a lot.
Higher Order Bipartiteness vs Bi-Partitioning in Simplicial Complexes
Bipartite graphs are a fundamental concept in graph theory with diverse applications. A graph is bipartite iff it contains no odd cycles, a characteristic that has many implications in diverse fields ranging from matching problems to the construction of complex networks. Another key identifying feature is their Laplacian spectrum as bipartite graphs achieve the maximum possible eigenvalue of graph Laplacian. However, for modeling higher-order connections in complex systems, hypergraphs and simplicial complexes are required due to the limitations of graphs in representing pairwise interactions. In this article, using simple tools from graph theory, we extend the cycle-based characterization from bipartite graphs to those simplicial complexes that achieve the maximum Hodge Laplacian eigenvalue, known as disorientable simplicial complexes. We show that a $N$-dimensional simplicial complex is disorientable if its down dual graph contains no simple odd cycle of distinct edges and no twisted even cycle of distinct edges. Furthermore, we see that in a $N$-simplicial complex without twisting cycles, the fewer the number of (non-branching) simple odd cycles in its down dual graph, the closer is its maximum eigenvalue to the possible maximum eigenvalue of Hodge Laplacian. Similar to the graph case, the absence of odd cycles plays a crucial role in solving the bi-partitioning problem of simplexes in higher dimensions.
Every nonsymmetric $4$-class association scheme can be generated by a digraph
Published
• View Publication
• BIB
A (di)graph $Γ$ generates a commutative association scheme $\mathfrak{X}$ if and only if the adjacency matrix of $Γ$ generates the Bose-Mesner algebra of $\mathfrak{X}$. In [17, Theorem 1.1], Monzillo and Penjić proved that, except for amorphic symmetric association schemes, every $3$-class association scheme can be generated by the adjacency matrix of a (di)graph. In this paper, we characterize when a commutative association scheme with exactly one pair of nonsymmetric relations can be generated by a digraph under certain assumptions. As an application, we show that each nonsymmetric $4$-class association scheme can be generated by a digraph.
Grundy Packing Coloring of Graphs
A map $c:V(G)\rightarrow\{1,\dots,k\}$ of a graph $G$ is a packing $k$-coloring if every two different vertices of the same color $i\in \{1,\dots,k\}$ are at distance more than $i$. The packing chromatic number $χ_ρ(G)$ of $G$ is the smallest integer $k$ such that there exists a packing $k$-coloring. In this paper we introduce the notion of \textit{Grundy packing chromatic number}, analogous to the Grundy chromatic number of a graph. We first present a polynomial-time algorithm that is based on a greedy approach and gives a packing coloring of $G$. We then define the Grundy packing chromatic number $Γ_ρ(G)$ of a graph $G$ as the maximum value that this algorithm yields in a graph $G$. We present several properties of $Γ_ρ(G)$, provide results on the complexity of the problem as well as bounds and some exact results for $Γ_ρ(G)$.
On asymptotically tight bound for the conflict-free chromatic index of nearly regular graphs
Published
• View Publication
• BIB
Let $G$ be a graph of maximum degree $Δ$ which does not contain isolated vertices. An edge coloring $c$ of $G$ is called conflict-free if each edge's closed neighborhood includes a uniquely colored element. The least number of colors admitting such $c$ is called the conflict-free chromatic index of $G$ and denoted $χ'_{\rm CF}(G)$. It is known that in general $χ'_{\rm CF}(G)\leq 3 \lceil \log_2Δ\rceil+1$, while there is a family of graphs, e.g. the complete graphs, for which $χ'_{\rm CF}(G)\geq (1-o(1))\log_2Δ$. In the present paper we provide the asymptotically tight upper bound $χ'_{\rm CF}(G)\leq (1+o(1))\log_2Δ$ for regular and nearly regular graphs, which in particular implies that the same bound holds a.a.s. for a random graph $G=G(n,p)$ whenever $p\gg n^{-\varepsilon}$ for any fixed constant $\varepsilon\in (0,1)$. Our proof is probabilistic and exploits classic results of Hall and Berge. This was inspired by our approach utilized in the particular case of complete graphs, for which we give a more specific upper bound. We also observe that almost the same bounds hold in the open neighborhood regime.
Self-Reachable Chip Configurations on Trees
In this paper, we explore the notion of a \emph{self-reachable} chip configuration on a simple graph, that is a chip configuration which can be re-obtained from itself after a (nonempty) sequence of vertex firings. In particular, we focus on the case of trees and provide a characterization for such configurations, as well as show that all self-reachable configurations with the same number of chips on a tree are reachable from one another. We conclude with a recursive enumeration formula for the number of self-reachable configurations.