graph
34516 papers tagged with this keyword
The planar Turán number of $\{K_4,C_5\}$ and $\{K_4,C_6\}$
Let $\mathcal{H}$ be a set of graphs. The planar Turán number, $ex_\mathcal{P}(n,\mathcal{H})$, is the maximum number of edges in an $n$-vertex planar graph which does not contain any member of $\mathcal{H}$ as a subgraph. When $\mathcal{H}=\{H\}$ has only one element, we usually write $ex_\mathcal{P}(n,H)$ instead. The topic of extremal planar graphs was initiated by Dowden (2016). He obtained sharp upper bound for both $ex_\mathcal{P}(n,C_5)$ and $ex_\mathcal{P}(n,K_4)$. Later on, we obtained sharper bound for $ex_\mathcal{P}(n,\{K_4,C_7\})$. In this paper, we give upper bounds of $ex_\mathcal{P}(n,\{K_4,C_5\})\leq {15\over 7}(n-2)$ and $ex_\mathcal{P}(n,\{K_4,C_6\})\leq {7\over 3}(n-2)$. We also give constructions which show the bounds are tight for infinitely many graphs.
On graphs with no induced $P_5$ or $K_5-e$
In this paper, we are interested in some problems related to chromatic number and clique number for the class of $(P_5,K_5-e)$-free graphs, and prove the following. $(a)$ If $G$ is a connected ($P_5,K_5-e$)-free graph with $ω(G)\geq 7$, then either $G$ is the complement of a bipartite graph or $G$ has a clique cut-set. Moreover, there is a connected ($P_5,K_5-e$)-free imperfect graph $H$ with $ω(H)=6$ and has no clique cut-set. This strengthens a result of Malyshev and Lobanova [Disc. Appl. Math. 219 (2017) 158--166]. $(b)$ If $G$ is a ($P_5,K_5-e$)-free graph with $ω(G)\geq 4$, then $χ(G)\leq \max\{7, ω(G)\}$. Moreover, the bound is tight when $ω(G)\notin \{4,5,6\}$. This result together with known results partially answers a question of Ju and Huang [arXiv:2303.18003 [math.CO] 2023], and also improves a result of Xu [Manuscript 2022].
While the "Chromatic Number Problem" is known to be $NP$-hard for the class of $P_5$-free graphs, our results together with some known results imply that the "Chromatic Number Problem" can be solved in polynomial time for the class of ($P_5,K_5-e$)-free graphs which may be independent interest.
Boundes for Boxicity of some classes of graphs
Let $box(G)$ be the boxicity of a graph $G$, $G[H_1,H_2,\ldots, H_n]$ be the $G$-generalized join graph of $n$-pairwise disjoint graphs $H_1,H_2,\ldots, H_n$, $G^d_k$ be a circular clique graph (where $k\geq 2d$) and $Γ(R)$ be the zero-divisor graph of a commutative ring $R$. In this paper, we prove that $χ(G^d_k)\geq box(G^d_k)$, for all $k$ and $d$ with $k\geq 2d$. This generalizes the results proved in \cite{Aki}. Also we obtain that $box(G[H_1,H_2,\ldots,H_n])\leq \mathop\sum\limits_{i=1}^nbox(H_i)$. As a consequence of this result, we obtain a bound for boxicity of zero-divisor graph of a finite commutative ring with unity. In particular, if $R$ is a finite commutative non-zero reduced ring with unity, then $χ(Γ(R))\leq box(Γ(R))\leq 2^{χ(Γ(R))}-2$. where $χ(Γ(R))$ is the chromatic number of $Γ(R)$. Moreover, we show that if $N= \prod\limits_{i=1}^{a}p_i^{2n_i} \prod\limits_{j=1}^{b}q_j^{2m_j+1}$ is a composite number, where $p_i$'s and $q_j$'s are distinct prime numbers, then $box(Γ(\mathbb{Z}_N))\leq \big(\mathop\prod\limits_{i=1}^{a}(2n_i+1)\mathop\prod\limits_{j=1}^{b}(2m_j+2)\big)-\big(\mathop\prod\limits_{i=1}^{a}(n_i+1)\mathop\prod\limits_{j=1}^{b}(m_j+1)\big)-1$, where $\mathbb{Z}_N$ is the ring of integers modulo $N$. Further, we prove that, $box(Γ(\mathbb{Z}_N))=1$ if and only if either $N=p^n$ for some prime number $p$ and some positive integer $n\geq 2$ or $N=2p$ for some odd prime number $p$.
From Combinatorics to Geometry: The Dynamics of Graph Gradient Diffusion
We discuss a link between graph theory and geometry that arises when considering graph dynamical systems with odd interactions. The equilibrium set in such systems is not a collection of isolated points, but rather a union of manifolds, which may intersect creating singularities and may vary in dimension. We prove that geometry and stability of such manifolds are governed by combinatorial properties of the underlying graph. In particular, we derive an upper bound on the dimension of the equilibrium set using graph homology and a lower bound using graph coverings. Moreover, we show how graph automorphisms relate to geometric singularities and prove that the decomposition of a graph into $2$-vertex-connected components induces a decomposition of the equilibrium set that preserves three notions of stability.
Asymptotic behavior of Laplacian eigenvalues of subspace inclusion graphs
Let $\text{Fl}_{n,q}$ be the simplicial complex whose vertices are the non-trivial subspaces of $\mathbb{F}_q^n$ and whose simplices correspond to families of subspaces forming a flag. Let $Δ^{+}_k(\text{Fl}_{n,q})$ be the $k$-dimensional weighted upper Laplacian on $ \text{Fl}_{n,q}$. The spectrum of $Δ^{+}_k(\text{Fl}_{n,q})$ was first studied by Garland, who obtained a lower bound on its non-zero eigenvalues. Here, we focus on the $k=0$ case. We determine the asymptotic behavior of the eigenvalues of $Δ_{0}^{+}(\text{Fl}_{n,q})$ as $q$ tends to infinity. In particular, we show that for large enough $q$, $Δ_{0}^{+}(\text{Fl}_{n,q})$ has exactly $\left\lfloor n^2/4\right\rfloor+2$ distinct eigenvalues, and that every eigenvalue $λ\neq 0,n-1$ of $Δ_{0}^{+}(\text{Fl}_{n,q})$ tends to $n-2$ as $q$ goes to infinity. This solves the $0$-dimensional case of a conjecture of Papikian.
Bounds for Characters of the Symmetric Group: A Hypercontractive Approach
Finding upper bounds for character ratios is a fundamental problem in asymptotic group theory. Previous bounds in the symmetric group have led to remarkable applications in unexpected domains. The existing approaches predominantly relied on algebraic methods, whereas our approach combines analytic and algebraic tools. Specifically, we make use of a tool called `hypercontractivity for global functions' from the theory of Boolean functions. By establishing sharp upper bounds on the $L^p$-norms of characters of the symmetric group, we improve existing results on character ratios from the work of Larsen and Shalev [Larsen M., Shalev A. Characters of the symmetric group: sharp bounds and applications. Invent. math. 174 645-687 (2008)]. We use our norm bounds to bound Kronecker coefficients, Fourier coefficients of class functions, product mixing of normal sets, and mixing time of normal Cayley graphs. Our approach bypasses the need for the $S_n$-specific Murnaghan--Nakayama rule. Instead we leverage more flexible representation theoretic tools, such as Young's branching rule, which potentially extend the applicability of our method to groups beyond $S_n$.
The $α$-index of graphs without intersecting triangles/quadrangles as a minor
The $A_α$-matrix of a graph $G$ is the convex linear combination of the adjacency matrix $A(G)$ and the diagonal matrix of vertex degrees $D(G)$, i.e., $A_α(G) = αD(G) + (1 - α)A(G)$, where $0\leqα\leq1$. The $α$-index of $G$ is the largest eigenvalue of $A_α(G)$. Particularly, the matrix $A_0(G)$ (resp. $2A_{\frac{1}{2}}(G)$) is exactly the adjacency matrix (resp. signless Laplacian matrix) of $G$. He, Li and Feng [arXiv:2301.06008 (2023)] determined the extremal graphs with maximum adjacency spectral radius among all graphs of sufficiently large order without intersecting triangles and quadrangles as a minor, respectively. Motivated by the above results of He, Li and Feng, in this paper we characterize the extremal graphs with maximum $α$-index among all graphs of sufficiently large order without intersecting triangles and quadrangles as a minor for any $0<α<1$, respectively. As by-products, we determine the extremal graphs with maximum signless Laplacian radius among all graphs of sufficiently large order without intersecting triangles and quadrangles as a minor, respectively.
Extremal problems for disjoint graphs
For a simple graph $F$, let $\mathrm{EX}(n, F)$ and $\mathrm{EX_{sp}}(n,F)$ be the set of graphs with the maximum number of edges and the set of graphs with the maximum spectral radius in an $n$-vertex graph without any copy of the graph $F$, respectively. Let $F$ be a graph with $\mathrm{ex}(n,F)=e(T_{n,r})+O(1)$. In this paper, we show that $\mathrm{EX_{sp}}(n,kF)\subseteq \mathrm{EX}(n,kF)$ for sufficiently large $n$. This generalizes a result of Wang, Kang and Xue [J. Comb. Theory, Ser. B, 159(2023) 20-41]. We also determine the extremal graphs of $kF$ in term of the extremal graphs of $F$.
Connectivity Graph-Codes
The symmetric difference of two graphs $G_1,G_2$ on the same set of vertices $V$ is the graph on $V$ whose set of edges are all edges that belong to exactly one of the two graphs $G_1,G_2$. For a fixed graph $H$ call a collection ${\cal G}$ of spanning subgraphs of $H$ a connectivity code for $H$ if the symmetric difference of any two distinct subgraphs in ${\cal G}$ is a connected spanning subgraph of $H$. It is easy to see that the maximum possible cardinality of such a collection is at most $2^{k'(H)} \leq 2^{δ(H)}$, where $k'(H)$ is the edge-connectivity of $H$ and $δ(H)$ is its minimum degree. We show that equality holds for any $d$-regular (mild) expander, and observe that equality does not hold in several natural examples including any large cubic graph, the square of a long cycle and products of a small clique with a long cycle.
Ramsey-type results on parameters related to domination
The following inequality chain $$ ir(G)\le γ(G)\le i(G)\le α(G) \le Γ(G) \le I\!R(G)$$ is known as a domination chain, where $ir(G), γ(G), i(G), α(G), Γ(G)$, and $I\!R(G)$ are the lower irredundance number, the domination number, the independence domination number, the independence number, the upper domination number and the upper irredundance number of $G$, respectively. The Ramsey-type problem seeks to characterize the family $\mathcal H$ of graphs such that every $\mathcal H$-free graph $G$ has a bounded parameter $μ$. The classical Ramsey's theorem states that every $\{K_n, E_n\}$-free graph has a bounded number of vertices. Furuya (Discrete Math.Theor 2018) characterized $\mathcal H$ such that every connected $\mathcal H$-free graph $G$ has a bounded domination number. The characterization of the graph family $\mathcal H$ for which every connected $\mathcal H$-free graph $G$ has a bounded independence number was due to Choi, Furuya, Kim, Park~(Discrete math. 2020) and Chiba, Furuya (Electron. J. Combin., 2022). In this paper, we further characterize $\mathcal H$ such that every connected $\mathcal H$-free graph $G$ has bounded $μ(G)$ for $μ$ belonging to the set $\{ir(G), i(G), Γ(G), \text{IR}(G)\}$. This completes the characterization of $\mathcal H$ for which every connected $\mathcal H$-free graph $G$ has bounded $μ(G)$ for $μ(G)$ along the domination chain. Additionally, we characterize $\mathcal H$ such that every connected $\mathcal H$-free graph $G$ has bounded $μ(G)$ for $μ$ related to the domination number. Specifically, we consider the parameters $O\!I\!R(G)$, $I\!S(G)$, or $I\!R\!S(G)\}$, where $O\!I\!R(G)$, $I\!S(G)$, and $I\!R\!S(G)$ are the open irredundance number, the independence saturation number, and the irredundance saturation number of graph $G$, respectively.
Uniquely Distinguishing Colorable Graphs
A graph is called uniquely distinguishing colorable if there is only one partition of vertices of the graph that forms distinguishing coloring with the smallest possible colors. In this paper, we study the unique colorability of the distinguishing coloring of a graph and its applications in computing the distinguishing chromatic number of disconnected graphs. We introduce two families of uniquely distinguishing colorable graphs, namely type 1 and type 2, and show that every disconnected uniquely distinguishing colorable graph is the union of two isomorphic graphs of type 2. We obtain some results on bipartite uniquely distinguishing colorable graphs and show that any uniquely distinguishing $n$-colorable tree with $ n \geq 3$ is a star graph. For a connected graph $G$, we prove that $χ_D(G\cup G)=χ_D(G)+1$ if and only if $G$ is uniquely distinguishing colorable of type 1. Also, a characterization of all graphs $G$ of order $n$ with the property that $χ_{D}(G\cup G) = χ_{D}(G) = k$, where $k=n-2, n-1, n$, is given in this paper. Moreover, we determine all graphs $G$ of order $n$ with the property that $χ_{D}(G\cup G) = χ_{D}(G)+1 = \ell$, where $\ell=n-1, n, n+1$. Finally, we investigate the family of connected graphs $G$ with $χ_{D}(G\cup G) = χ_{D}(G)+1 = 3$.
Transitive path decompositions of Cartesian products of complete graphs
An $H$-decomposition of a graph $Γ$ is a partition of its edge set into subgraphs isomorphic to $H$. A transitive decomposition is a special kind of $H$-decomposition that is highly symmetrical in the sense that the subgraphs (copies of $H$) are preserved and transitively permuted by a group of automorphisms of $Γ$. This paper concerns transitive $H$-decompositions of the graph $K_n \Box K_n$ where $H$ is a path. When $n$ is an odd prime, we present a construction for a transitive path decomposition where the paths in the decomposition are considerably large compared to the number of vertices. Our main result supports well-known Gallai's conjecture and an extended version of Ringel's conjecture.
New constructions of non-regular cospectral graphs
We consider two types of joins of graphs $G_{1}$ and $G_{2}$, $G_{1}\veebar G_{2}$ - the Neighbors Splitting Join and $G_{1}\underset{=}{\lor}G_{2}$ - the Non Neighbors Splitting Join, and compute the adjacency characteristic polynomial, the Laplacian characteristic polynomial and the signless Laplacian characteristic polynomial of these joins. When $G_{1}$ and $G_{2}$ are regular, we compute the adjacency spectrum, the Laplacian spectrum, the signless Laplacian spectrum of $G_{1}\underset{=}{\lor}G_{2}$ and the normalized Laplacian spectrum of $G_{1}\veebar G_{2}$ and $G_{1}\underset{=}{\lor}G_{2}$. We use these results to construct non regular, non isomorphic graphs that are cospectral with respect to the four matrices: adjacency, Laplacian , signless Laplacian and normalized Laplacian.
Combinatorial QFT on graphs: first quantization formalism
We study a combinatorial model of the quantum scalar field with polynomial potential on a graph. In the first quantization formalism, the value of a Feynman graph is given by a sum over maps from the Feynman graph to the spacetime graph (mapping edges to paths). This picture interacts naturally with Atiyah-Segal-like cutting-gluing of spacetime graphs. In particular, one has combinatorial counterparts of the known gluing formulae for Green's functions and (zeta-regularized) determinants of Laplacians.
An imperceptible connection between the Clebsch--Gordan coefficients of $U_q(\mathfrak{sl}_2)$ and the Terwilliger algebras of Grassmann graphs
Published in Journal of Combinatorial Theory, Series A 214 (2025) 106028
• View Publication
• BIB
The Clebsch--Gordan coefficients of $U(\mathfrak{sl}_2)$ are expressible in terms of Hahn polynomials. The phenomenon can be explained by an algebra homomorphism $\natural$ from the universal Hahn algebra $\mathcal H$ into $U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$. Let $Ω$ denote a finite set of size $D$ and $2^Ω$ denote the power set of $Ω$. It is generally known that $\mathbb C^{2^Ω}$ supports a $U(\mathfrak{sl}_2)$-module. Let $k$ denote an integer with $0\leq k\leq D$ and fix a $k$-element subset $x_0$ of $Ω$. By identifying $\mathbb C^{2^Ω}$ with $\mathbb C^{2^{Ω\setminus x_0}}\otimes \mathbb C^{2^{x_0}}$ this induces a $U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$-module structure on $\mathbb C^{2^Ω}$ denoted by $\mathbb C^{2^Ω}(x_0)$. Pulling back via $\natural$ the $U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$-module $\mathbb C^{2^Ω}(x_0)$ forms an $\mathcal H$-module. When $1\leq k\leq D-1$ the $\mathcal H$-module $\mathbb C^{2^Ω}(x_0)$ enfolds the Terwilliger algebra of the Johnson graph $J(D,k)$ with respect to $x_0$. This result connects these two seemingly irrelevant topics: The Clebsch--Gordan coefficients of $U(\mathfrak{sl}_2)$ and the Terwilliger algebras of Johnson graphs. Unfortunately some steps break down in the $q$-analog case. By making detours, the imperceptible connection between the Clebsch--Gordan coefficients of $U_q(\mathfrak{sl}_2)$ and the Terwilliger algebras of Grassmann graphs is successfully disclosed in this paper.
On a specific problem of partition of graph
In this short article, we consider a problem about $2$-partition of the vertices of a graph. If a graph admits such a partition into some 'small' graphs, then the number of edges cross an arbitrary cut of the graph $e(S,S^{c})$ has a nice lower bound.
Powers of planar graphs, product structure, and blocking partitions
We prove that the $k$-power of any planar graph $G$ is contained in $H\boxtimes P\boxtimes K_{f(Δ(G),k)}$ for some graph $H$ with bounded treewidth, some path $P$, and some function $f$. This resolves an open problem of Ossona de Mendez. In fact, we prove a more general result in terms of shallow minors that implies similar results for many `beyond planar' graph classes, without dependence on $Δ(G)$. For example, we prove that every $k$-planar graph is contained in $H\boxtimes P\boxtimes K_{f(k)}$ for some graph $H$ with bounded treewidth and some path $P$, and some function $f$. This resolves an open problem of Dujmović, Morin and Wood. We generalise all these results for graphs of bounded Euler genus, still with an absolute bound on the treewidth.
At the heart of our proof is the following new concept of independent interest. An $\ell$-blocking partition of a graph $G$ is a partition of $V(G)$ into connected sets such that every path of length greater than $\ell$ in $G$ contains at least two vertices in one part. We prove that for some constant $\ell \ge 1$ every graph of Euler genus $g$ has an $\ell$-blocking partition with parts of size bounded by a function of $Δ(G)$ and $g$. Motivated by this result, we study blocking partitions in their own right. We show that every graph $G$ has a $2$-blocking partition with parts of size bounded by a function of $Δ(G)$ and $\textrm{tw}(G)$. On the other hand, we show that 4-regular graphs do not have $\ell$-blocking partitions with bounded size parts.
Budget-constrained cut problems
The minimum and maximum cuts of an undirected edge-weighted graph are classic problems in graph theory. While the Min-Cut Problem can be solved in P, the Max-Cut Problem is NP-Complete. Exact and heuristic methods have been developed for solving them. For both problems, we introduce a natural extension in which cutting an edge induces a cost. Our goal is to find a cut that minimizes the sum of the cut weights but, at the same time, restricts its total cut cost to a given budget. We prove that both restricted problems are NPComplete and we also study some of its properties. Finally, we develop exact algorithms to solve both as well as a non-exact algorithm for the min-cut case based on a Lagreangean relaxation that generally provides optimal solutions. Their performance is reported by an extensive computational experience.
Diameter of classical groups generated by transvections
Published
• View Publication
• BIB
Let $G$ be a finite classical group generated by transvections, i.e., one of $\operatorname{SL}_n(q)$, $\operatorname{SU}_n(q)$, $\operatorname{Sp}_{2n}(q)$, or $\operatorname{O}^\pm_{2n}(q)$ ($q$ even), and let $X$ be a generating set for $G$ containing at least one transvection. Building on work of Garonzi, Halasi, and Somlai, we prove that the diameter of the Cayley graph $\operatorname{Cay}(G, X)$ is bounded by $(n \log q)^C$ for some constant $C$. This confirms Babai's conjecture on the diameter of finite simple groups in the case of generating sets containing a transvection.
By combining this with a result of the author and Jezernik it follows that if $G$ is one of $\operatorname{SL}_n(q)$, $\operatorname{SU}_n(q)$, $\operatorname{Sp}_{2n}(q)$ and $X$ contains three random generators then with high probability the diameter $\operatorname{Cay}(G, X)$ is bounded by $n^{O(\log q)}$. This confirms Babai's conjecture for non-orthogonal classical simple groups over small fields and three random generators.
Star-critical Ramsey numbers and regular Ramsey numbers for stars
Let $G$ be a graph, $H$ be a subgraph of $G$, and let $G- H$ be the graph obtained from $G$ by removing a copy of $H$. Let $K_{1, n}$ be the star on $n+ 1$ vertices. Let $t\geq 2$ be an integer and $H_{1}, \dots, H_{t}$ and $H$ be graphs, and let $H\rightarrow (H_{1}, \dots, H_{t})$ denote that every $t$ coloring of $E(H)$ yields a monochromatic copy of $H_{i}$ in color $i$ for some $i\in [t]$. Ramsey number $r(H_{1}, \dots, H_{t})$ is the minimum integer $N$ such that $K_{N}\rightarrow (H_{1}, \dots, H_{t})$. Star-critical Ramsey number $r_{*}(H_{1}, \dots, H_{t})$ is the minimum integer $k$ such that $K_{N}- K_{1, N- 1- k}\rightarrow (H_{1}, \dots, H_{t})$ where $N= r(H_{1}, \dots, H_{t})$. Let $rr(H_{1}, \dots, H_{t})$ be the regular Ramsey number for $H_{1}, \dots, H_{t}$, which is the minimum integer $r$ such that if $G$ is an $r$-regular graph on $r(H_{1}, \dots, H_{t})$ vertices, then $G\rightarrow (H_{1}, \dots, H_{t})$. Let $m_{1}, \dots, m_{t}$ be integers larger than one, exactly $k$ of which are even. In this paper, we prove that if $k\geq 2$ is even, then $r_{*}(K_{1, m_{1}}, \dots, K_{1, m_{t}})= \sum_{i= 1}^{t} m_{i}- t+ 1- \frac{k}{2}$ which disproves a conjecture of Budden and DeJonge in 2022. Furthermore, we prove that if $k\geq 2$ is even, then $rr(K_{1, m_{1}}, \dots, K_{1, m_{t}})= \sum_{i= 1}^{t} m_{i}- t$. Otherwise, $rr(K_{1, m_{1}}, \dots, K_{1, m_{t}})= \sum_{i= 1}^{t} m_{i}- t+ 1$.