graph
35299 papers tagged with this keyword
Improved bounds for embedding certain configurations in subsets of vector spaces over finite fields
The fourth listed author and Hans Parshall (\cite{IosevichParshall}) proved that if $E \subset {\mathbb F}_q^d$, $d \ge 2$, and $G$ is a connected graph on $k+1$ vertices such that the largest degree of any vertex is $m$, then if $|E| \ge C q^{m+\frac{d-1}{2}}$, for any $t>0$, there exist $k+1$ points $x^1, \dots, x^{k+1}$ in $E$ such that $||x^i-x^j||=t$ if the $i$'th vertex is connected to the $j$'th vertex by an edge in $G$. In this paper, we give several indications that the maximum degree is not always the right notion of complexity and prove several concrete results to obtain better exponents than the Iosevich-Parshall result affords. This can be viewed as a step towards understanding the right notion of complexity for graph embeddings in subsets of vector spaces over finite fields.
Hypergraphs with irrational Turán density and many extremal configurations
Unlike graphs, determining Turán densities of hypergraphs is known to be notoriously hard in general. The essential reason is that for many classical families of $r$-uniform hypergraphs $\mathcal{F}$, there are perhaps many near-extremal $\mathcal{M}_t$-free configurations with very different structure. Such a phenomenon is called not stable, and Liu and Mubayi gave a first not stable example. Another perhaps reason is that little is known about the set consisting of all possible Turán densities which has cardinality of the continuum. Let $t\ge 2$ be an integer. In this paper, we construct a finite family $\mathcal{M}_t$ of 3-uniform hypergraphs such that the Turán density of $\mathcal{M}_t$ is irrational, and there are $t$ near-extremal $\mathcal{M}_t$-free configurations that are far from each other in edit-distance. This is the first not stable example that has an irrational Turán density. It also provides a new phenomenon about feasible region functions.
More on the $2$-restricted optimal pebbling number
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph. A function $f:V\rightarrow \mathbb{N}\cup \{0\}$ is called a configuration of pebbles on the vertices of $G$ and the weight of $f$ is $w(f)=\sum_{u\in V}f(u)$ which is just the total number of pebbles assigned to vertices. A pebbling step from a vertex $u$ to one of its neighbors $v$ reduces $f(u)$ by two and increases $f(v)$ by one. A pebbling configuration $f$ is said to be solvable if for every vertex $ v $, there exists a sequence (possibly empty) of pebbling moves that results in a pebble on $v$. A pebbling configuration $f$ is a $t$-restricted pebbling configuration (abbreviated $t$RPC) if $f(v)\leq t$ for all $v\in V$. The $t$-restricted optimal pebbling number $π_t^*(G)$ is the minimum weight of a solvable $t$RPC on $G$. Chellali et.al. [Discrete Appl. Math. 221 (2017) 46-53] characterized connected graphs $G$ having small $2$-restricted optimal pebbling numbers and characterization of graphs $G$ with $π_2^*(G)=5$ stated as an open problem. In this paper, we solve this problem. We improve the upper bound of the $2$-restricted optimal pebbling number of trees of order $n$. Also, we study $2$-restricted optimal pebbling number of some grid graphs, corona and neighborhood corona of two specific graphs.
A note on removable edges in near-bricks
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:2, Graph Theory (June 19, 2024) dmtcs:11747
• View Publication
• BIB
An edge $e$ of a matching covered graph $G$ is removable if $G-e$ is also matching covered. Carvalho, Lucchesi, and Murty showed that every brick $G$ different from $K_4$ and $\overline{C_6}$ has at least $Δ-2$ removable edges, where $Δ$ is the maximum degree of $G$. In this paper, we generalize the result to irreducible near-bricks, where a graph is irreducible if it contains no single ear of length three or more.
Bounding Clique Size in Squares of Planar Graphs
Published in European Journal of Combinatorics. Vol. 120. August 2024. Article 103960
• View Publication
• BIB
Wegner conjectured that if $G$ is a planar graph with maximum degree $Δ\ge 8$, then $χ(G^2)\le \left\lfloor \frac32Δ\right\rfloor +1$. This problem has received much attention, but remains open for all $Δ\ge 8$. Here we prove an analogous bound on $ω(G^2)$: If $G$ is a plane graph with $Δ(G)\ge 36$, then $ω(G^2)\le \lfloor\frac32Δ(G)\rfloor+1$. In fact, this is a corollary of the following lemma, which is our main result. If $G$ is a plane graph with $Δ(G)\ge 19$ and $S$ is a maximal clique in $G^2$ with $|S|\ge Δ(G)+20$, then there exist $x,y,z\in V(G)$ such that $S=\{w:|N[w]\cap\{x,y,z\}|\ge 2\}$.
The damage number of the Cartesian product of graphs
We consider a variation of Cops and Robber, introduced in [D. Cox and A. Sanaei, The damage number of a graph, [Aust. J. of Comb. 75(1) (2019) 1-16] where vertices visited by a robber are considered damaged and a single cop aims to minimize the number of distinct vertices damaged by a robber. Motivated by the interesting relationships that often emerge between input graphs and their Cartesian product, we study the damage number of the Cartesian product of graphs. We provide a general upper bound and consider the damage number of the product of two trees or cycles. We also consider graphs with small damage number.
Exploring Metric and Strong Metric Dimensions in Inclusion Ideal Graphs of Commutative Rings
Published
• View Publication
• BIB
The inclusion ideal graph of a commutative unitary ring $R$ is the (undirected) graph $In(R)$ whose vertices all non-trivial ideals of $R$ and two distinct vertices are adjacent if and only if one of them is a proper subset of the other one. In this paper, the metric dimension of $In(R)$ is discussed. Moreover, the structure of the resolving graph of $In(R)$ is characterized and as an application, we compute the strong metric dimension of $In(R)$.
On diversifying stable assignments
We consider the stable assignment problem on a graph with nonnegative real capacities on the edges and quotas on the vertices, in which the preferences of agents are given via diversifying choice functions. We prove that for any input of the problem, there exists exactly one stable assignment, and propose a polynomial time algorithm to find it.
A tight linear chromatic bound for ($P_3\cup P_2, W_4$)-free graphs
For two vertex disjoint graphs $H$ and $F$, we use $H\cup F$ to denote the graph with vertex set $V(H)\cup V(F)$ and edge set $E(H)\cup E(F)$, and use $H+F$ to denote the graph with vertex set $V(H)\cup V(F)$ and edge set $E(H)\cup E(F)\cup\{xy\;|\; x\in V(H), y\in V(F)$$\}$. A $W_4$ is the graph $K_1+C_4$. In this paper, we prove that $χ(G)\le 2ω(G)$ if $G$ is a ($P_3\cup P_2, W_4$)-free graph. This bound is tight when $ω=2$ and $3$, and improves the main result of Wang and Zhang. Also, this bound partially generalizes some results of Prashant {\em et al.}.
Slitherlink Signatures
Let $G$ be a planar graph and let $C$ be a cycle in $G$. Inside of each finite face of $G$, we write down the number of edges of that face which belong to $C$. This is the signature of $C$ in $G$. The notion of a signature arises naturally in the context of Slitherlink puzzles. The signature of a cycle does not always determine it uniquely. We focus on the ambiguity of signatures in the case when $G$ is a rectangular grid of unit square cells. We describe all grids which admit an ambiguous signature. For each such grid, we then determine the greatest possible difference between two cycles with the same signature on it. We also study the possible values of the total number of cycles which fit a given signature. We discuss various related questions as well.
Maximum chordal subgraphs of random graphs
Published in Combinator. Probab. Comp. 33 (2024) 611-623
• View Publication
• BIB
We find asymptotics of the maximum size of a chordal subgraph in a binomial random graph $G(n,p)$, for $p=\mathrm{const}$ and $p=n^{-α+o(1)}$.
Weakly and Strongly Fan-Planar Graphs
Published
• View Publication
• BIB
We study two notions of fan-planarity introduced by (Cheong et al., GD22), called weak and strong fan-planarity, which separate two non-equivalent definitions of fan-planarity in the literature. We prove that not every weakly fan-planar graph is strongly fan-planar, while the upper bound on the edge density is the same for both families.
Geodetic Graphs: Experiments and New Constructions
Published
• View Publication
• BIB
In 1962 Ore initiated the study of geodetic graphs. A graph is called geodetic if the shortest path between every pair of vertices is unique. In the subsequent years a wide range of papers appeared investigating their peculiar properties. Yet, a complete classification of geodetic graphs is out of reach.
In this work we present a program enumerating all geodetic graphs of a given size. Using our program, we succeed to find all geodetic graphs with up to 25 vertices and all regular geodetic graphs with up to 32 vertices. This leads to the discovery of two new infinite families of geodetic graphs.
Characterizing bipartite distance-regularized graphs with vertices of eccentricity 4
The characterization of bipartite distance-regularized graphs, where some vertices have eccentricity less than four, in terms of the incidence structures of which they are incidence graphs, is known. In this paper we prove that there is a one-to-one correspondence between the incidence graphs of quasi-symmetric SPBIBDs with parameters $(v,b,r,k, λ_1,0)$ of type $(k-1,t)$ with intersection numbers $x=0$ and $y>0$, where $0< y\leq t<k$ , and bipartite distance-regularized graphs with $D=D'=4$.
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$
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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$.