graph
35299 papers tagged with this keyword
Asymptotic normality of pattern counts in conjugacy classes
We prove, under mild conditions on fixed points and two cycles, the asymptotic normality of vincular pattern counts for a permutation chosen uniformly at random in a conjugacy class.Additionally, we prove that the limiting variance is always non-degenerate for classical pattern counts. The proof uses weighted dependency graphs.
$χ$-binding functions for squares of bipartite graphs and its subclasses
Published
• View Publication
• BIB
A class of graphs $\mathcal{G}$ is $χ$-bounded if there exists a function $f$ such that $χ(G) \leq f(ω(G))$ for each graph $G \in \mathcal{G}$, where $χ(G)$ and $ω(G)$ are the chromatic and clique number of $G$, respectively. The square of a graph $G$, denoted as $G^2$, is the graph with the same vertex set as $G$ in which two vertices are adjacent when they are at a distance at most two in $G$. In this paper, we study the $χ$-boundedness of squares of bipartite graphs and its subclasses. Note that the class of squares of graphs, in general, admit a quadratic $χ$-binding function. Moreover there exist bipartite graphs $B$ for which $χ\left(B^2\right)$ is $Ω\left(\frac{\left(ω\left(B^2\right)\right)^2 }{\log ω\left(B^2\right)}\right)$. We first ask the following question: "What sub-classes of bipartite graphs have a linear $χ$-binding function?" We focus on the class of convex bipartite graphs and prove the following result: for any convex bipartite graph $G$, $χ\left(G^2\right) \leq \frac{3 ω\left(G^2\right)}{2}$. Our proof also yields a polynomial-time $3/2$-approximation algorithm for coloring squares of convex bipartite graphs. We then introduce a notion called "partite testable properties" for the squares of bipartite graphs. We say that a graph property $P$ is partite testable for the squares of bipartite graphs if for a bipartite graph $G=(A,B,E)$, whenever the induced subgraphs $G^2[A]$ and $G^2[B]$ satisfies the property $P$ then $G^2$ also satisfies the property $P$. Here, we discuss whether some of the well-known graph properties like perfectness, chordality, (anti-hole)-freeness, etc. are partite testable or not. As a consequence, we prove that the squares of biconvex bipartite graphs are perfect.
A Connection between Metric Dimension and Distinguishing Number of Graphs
In this paper, we introduce a connection between two classical concepts of graph theory: \; metric dimension and distinguishing number. For a given graph $G$, let ${\rm dim}(G)$ and $D(G)$ represent its metric dimension and distinguishing number, respectively. We show that in connected graphs, any resolving set breaks the symmetry in the graphs. Precisely, if $G$ is a connected graph with a resolving set $S=\{v_1, v_2, \ldots, v_n \}$, then $\{\{v_1\}, \{v_2\}, \ldots, \{v_n\}, V(G)\setminus S \}$ is a partition of $V(G)$ into a distinguishing coloring, and as a consequence $D(G)\leq {\rm dim}(G)+1$. Furthermore, we construct graphs $G$ such that $D(G)=n$ and ${\rm dim}(G)=m$ for all values of $n$ and $m$, where $1\leq n< m$. Using this connection, we have characterized all graphs $G$ of order $n$ with $D(G) \in \{n-1, n-2\}$. For any graph $G$, let $G_c = G$ if $G$ is connected, and $G_c = \overline{G}$ if $G$ is disconnected. Let $G^{\ast}$ denote the twin graph obtained from $G$ by contracting any maximal set of vertices with the same open or close neighborhood into a vertex. Let {\rsfs F} be the set of all graphs except graphs $G$ with the property that ${\rm dim}(G_c)=|V(G)|-4$, ${\rm diam}(G_c) \in \{2, 3\}$ and $5\leq |V(G_{c}^{\ast})| \leq 9$. We characterize all graphs $G \in$ {\rsfs F} of order $n$ with the property that $D(G)= n-3$.
Flip colouring of graphs
Published
• View Publication
• BIB
It is proved that for integers $b, r$ such that $3 \leq b < r \leq \binom{b+1}{2} - 1$, there exists a red/blue edge-colored graph such that the red degree of every vertex is $r$, the blue degree of every vertex is $b$, yet in the closed neighborhood of every vertex there are more blue edges than red edges. The upper bound $r \le \binom{b+1}{2}-1$ is best possible for any $b \ge 3$. We further extend this theorem to more than two colours, and to larger neighbourhoods.
A useful result required in some of our proofs, of independent interest, is that for integers $r,t$ such that $0 \leq t \le \frac{r^2}{2} - 5r^{3/2}$, there exists an $r$-regular graph in which each open neighborhood induces precisely $t$ edges.
Several explicit constructions are introduced and relationships with constant linked graphs, $(r,b)$-regular graphs and vertex transitive graphs are revealed.
Coarse geometry of quasi-transitive graphs beyond planarity
Published in Electronic Journal of Combinatorics 31(2) (2024), P2.41
• View Publication
• BIB
We study geometric and topological properties of infinite graphs that are quasi-isometric to a planar graph of bounded degree. We prove that every locally finite quasi-transitive graph excluding a minor is quasi-isometric to a planar graph of bounded degree. We use the result to give a simple proof of the result that finitely generated minor-excluded groups have Assouad-Nagata dimension at most 2 (this is known to hold in greater generality, but all known proofs use significantly deeper tools). We also prove that every locally finite quasi-transitive graph that is quasi-isometric to a planar graph is $k$-planar for some $k$ (i.e. it has a planar drawing with at most $k$ crossings per edge), and discuss a possible approach to prove the converse statement.
On the Complexity of Simultaneous Geometric Embedding for Edge-Disjoint Graphs
Simultaneous Geometric Embedding (SGE) asks whether, for a given collection of graphs on the same vertex set V, there is an embedding of V in the plane that admits a crossing-free drawing with straightline edges for each of the given graphs. It is known that SGE is $\exists\mathbb{R}$-complete, that is, the problem is polynomially equivalent to deciding whether a system of polynomial equations and inequalities with integer coefficients has a real solution. We prove that SGE remains $\exists\mathbb{R}$-complete for edge-disjoint input graphs, that is, for collections of graphs without so-called public edges.
As an intermediate result, we prove that it is $\exists\mathbb{R}$-complete to decide whether a directional walk without repeating edges is realizable. Here, a directional walk consists of a sequence of not-necessarily distinct vertices (a walk) and a function prescribing for each inner position whether the walk shall turn left or shall turn right. A directional walk is realizable, if there is an embedding of its vertices in the plane such that the embedded walk turns according to the given directions. Previously it was known that realization is $\exists\mathbb{R}$-complete to decide for directional walks repeating each edge at most 336 times.
This answers two questions posed by Schaefer ["On the Complexity of Some Geometric Problems With Fixed Parameters", JGAA 2021].
On the evolution of structure in triangle-free graphs
Published
• View Publication
• BIB
We study the typical structure and the number of triangle-free graphs with $n$ vertices and $m$ edges where $m$ is large enough so that a typical triangle-free graph has a cut containing nearly all of its edges, but may not be bipartite.
Erdős, Kleitman, and Rothschild showed that almost every triangle-free graph is bipartite. Osthus, Prömel, and Taraz later showed that for $m \ge (1+ε)\frac{\sqrt{3}}{4}n^{3/2}\sqrt{\log n}$, almost every triangle-free graph on $n$ vertices and $m$ edges is bipartite. Here we give a precise characterization of the distribution of edges within each part of the max cut of a uniformly chosen triangle-free graph $G$ on $n$ vertices and $m$ edges, for a larger range of densities with $m=Θ(n^{3/2} \sqrt{\log n})$. Using this characterization, we describe the evolution of the structure of typical triangle-free graphs as the density changes. We show that as the number of edges decreases below $\frac{\sqrt{3}}{4} n^{3/2}\sqrt{\log n}$, the following structural changes occur in $G$:
-Isolated edges, then trees, then more complex subgraphs emerge as `defect edges', edges within parts of a max cut of $G$. The distribution of defect edges is first that of independent Erdős-Rényi random graphs, then that of independent exponential random graphs, conditioned on a small maximum degree and no triangles.
-There is a sharp threshold for $3$-colorability at $m \sim \frac{\sqrt{2}}{4} n^{3/2}\sqrt{\log n}$ and a sharp threshold between $4$-colorability and unbounded chromatic number at $m\sim\frac{1}{4}n^{3/2}\sqrt{\log n}$.
-Giant components emerge in the defect edges at $m\sim\frac{1}{4} n^{3/2}\sqrt{\log n}$. We use these results to prove asymptotic formulas for the number of triangle-free graphs at these densities. We likewise prove analogous results for the random graph $G(n,p)$ conditioned on triangle-freeness.
On the domination number of the cartesian product of the path graph and any pair of graphs
It is known that for any graph $G,$ $γ(G\square P_2)\geq γ(G)$ where $γ$ stands for the domination number, $\square$ for the cartesian product and $P_2$ is the path graph on two vertices. In an attempt to prove Vizing's conjecture, Clark and Suen proved in $2000$ that $γ(X\square Y)\geq \frac{1}{2}γ(X)γ(Y)$ for any pair of graphs $X$ and $Y.$ Combining these two inequalities, we have $γ(X\square Y\square P_2)\geq \frac{1}{2}γ(X)γ(Y).$ In this paper, we use space projections to improve this lower bound and show that $γ(X\square Y\square P_2)\geq \frac{2}{3}γ(X)γ(Y)$ for any pair of graphs $X$ and $Y.$ In addition, we prove that $γ(X\square Y\square P_{n})\geq c_nγ(X)γ(Y)γ(P_{n}),$ where $c_n$ is almost $\frac{3}{4}$ when $n$ is big enough.
Shannon capacity, Lovász theta number and the Mycielski construction
Published
• View Publication
• BIB
We investigate the effect of the well-known Mycielski construction on the Shannon capacity of graphs and on one of its most prominent upper bounds, the (complementary) Lovász theta number. We prove that if the Shannon capacity of a graph, the distinguishability graph of a noisy channel, is attained by some finite power, then its Mycielskian has strictly larger Shannon capacity than the graph itself. For the complementary Lovász theta function we show that its value on the Mycielskian of a graph is completely determined by its value on the original graph, a phenomenon similar to the one discovered for the fractional chromatic number by Larsen, Propp and Ullman. We also consider the possibility of generalizing our results on the Sperner capacity of directed graphs and on the generalized Mycielsky construction. Possible connections with what Zuiddam calls the asymptotic spectrum of graphs are discussed as well.
Uniformly resolvable decompositions of $K_v-I$ into $5$-stars
We consider the existence problem of uniformly resolvable decompositions of $K_v$ into subgraphs such that each resolution class contains only blocks isomorphic to the same graph. We give a complete solution for the case in which one resolution class is $K_2$ and the rest are $K_{1,5}$.
A Linear Kernel for Planar Vector Domination
Given a graph $G$, an integer $k\geq 0$, and a non-negative integral function $f:V(G) \rightarrow \mathcal{N}$, the Vector Domination problem asks whether a set $S$ of vertices, of cardinality $k$ or less, exists in $G$ so that every vertex $v \in V(G)\setminus S$ has at least $f(v)$ neighbors in $S$. The problem generalizes several domination problems and it has also been shown to generalize Bounded-Degree Vertex Deletion (BDVD). In this paper, the parameterized version of Vector Domination is studied when the input graph is planar. A linear problem kernel is presented. A direct consequence is a kernel bound for BDVD that is linear in the parameter $k$ only. Previously known bounds are functions of both the target degree and the input parameter.
Fundamental domain for the Markoff-Hurwitz equation
For integers $a\neq0$, $k$, and $n\geq3$, we consider the Markoff-Hurwitz equation given by $x_1^1+\cdots+x_n^2-ax_1\cdots x_n=k$. By defining graphs associated with a height function and by using their properties, we find an exact fundamental domain for a symmetric group generated by involution maps sending $(x_1,\dots,x_n)$ to $(x_1,\dots,ax_1\cdots x_{i-1}x_{i+1}\cdots x_n-x_i,\dots,x_n)$, permutations, and double sign changes on the set of integral solutions for the Markoff-Hurwitz equation.
Connectivity keeping paths for k-connected bipartite graphs
Published
• View Publication
• BIB
Luo, Tian and Wu [Discrete Math. 345 (4) (2022) 112788] conjectured that for any tree $T$ with bipartition $(X,Y)$, every $k$-connected bipartite graph $G$ with minimum degree at least $k+w$, where $w=\max\{|X|,|Y|\}$, contains a tree $T'\cong T$ such that $κ(G-V(T'))\geq k$. In the paper, we confirm the conjecture when $T$ is an odd path on $m$ vertices. We remind that Yang and Tian \cite{YT2} also prove the same result by a different way.
Treewidth is Polynomial in Maximum Degree on Weakly Sparse Graphs Excluding a Planar Induced Minor
A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ after vertex deletions and edge contractions. We show that for every $k$-vertex planar graph $H$, every graph $G$ excluding $H$ as an induced minor and $K_{t,t}$ as a subgraph has treewidth at most $Δ(G)^{f(k,t)}$ where $Δ(G)$ denotes the maximum degree of $G$. Without requiring the absence of a $K_{t,t}$ subgraph, Korhonen [JCTB '23] has shown the upper bound of $k^{O(1)} 2^{Δ(G)^5}$ whose dependence in $Δ(G)$ is exponential. Our result partially answers a question of Chudnovsky [Dagstuhl seminar '23] asking whether the treewidth of graphs with $Δ(G)=O(\log{|V(G)|})$ excluding both a $k$-vertex planar graph as an induced minor and the biclique $K_{t,t}$ as a subgraph is in $O_{k,t}(\log |V(G)|)$. We confirm that the treewidth is in this case polylogarithmic in $|V(G)|$.
On the correspondence between perfect matchings and compatible pairs for affine cluster algebra
We study cluster algebra of affine type $A_1^{(1)}$ by using two methods including counting the numbers of perfect matchings on snake graphs and compatible pairs on maximal Dyck paths. We find that the sum of coefficients of the terms in the Laurent polynomials of these cluster variables are odd-indexed Fibonacci numbers. In addition, we prove that the numbers of non-decreasing Dyck paths of even lengths are also odd-indexed Fibonacci numbers. As a consequence, we define explicit bijective correspondences among three combinatorial models, including perfect matchings on the snake graph, compatible pairs on the maximal Dyck path, and non-decreasing Dyck paths of even lengths.
The Four-Color Ramsey Multiplicity of Triangles
Published
• View Publication
• BIB
We study a generalization of a famous result of Goodman and establish that asymptotically at least a $1/256$ fraction of all triangles needs to be monochromatic in any four-coloring of the edges of a complete graph. We also show that any large enough extremal construction must be based on a blow-up of one of the two $R(3,3,3)$ Ramsey-colorings of $K_{16}$. This result is obtained through an efficient flag algebra formulation by exploiting problem-specific combinatorial symmetries that also allows us to study some related problems.
Graph operations and a unified method for kinds of Turán-type problems on paths, cycles and matchings
Published
• View Publication
• BIB
Let $G$ be a connected graph and $\mathcal{P}(G)$ a graph parameter. We say that $\mathcal{P}(G)$ is feasible if $\mathcal{P}(G)$ satisfies the following properties: (I) $\mathcal{P}(G)\leq \mathcal{P}(G_{uv})$, if $G_{uv}=G[u\to v]$ for any $u,v$, where $G_{uv}$ is the graph obtained by applying Kelmans operation from $u$ to $v$; (II) $\mathcal{P}(G) <\mathcal{P}(G+e)$ for any edge $e\notin E(G)$. Let $P_k$ be a path of order $k$, $\mathcal{C}_{\geq k}$ the set of all cycles of length at least $k$ and $M_{k+1}$ a matching containing $k+1$ independent edges. In this paper, we mainly prove the following three results: (i) Let $n\geq k\geq 5$ and let $t=\left\lfloor\frac{k-1}{2}\right\rfloor$. Let $G$ be a $2$-connected $n$-vertex $\mathcal{C}_{\geq k}$-free graph with the maximum $\mathcal{P}(G)$ where $\mathcal{P}(G)$ is feasible. Then, $G\in \mathcal{G}^1_{n,k}=\{W_{n,k,s}=K_{s}\vee ((n-k+s)K_1\cup K_{k-2s}): 2\leq s\leq t\}$. (ii) Let $n\geq k\geq 4$ and let $t=\left\lfloor\frac{k}{2}\right\rfloor-1$. Let $G$ be a connected $n$-vertex $P_{k}$-free graph with the maximum $\mathcal{P}(G)$ where $\mathcal{P}(G)$ is feasible. Then, $G\in \mathcal{G}^2_{n,k}=\{W_{n,k-1,s}=K_{s}\vee ((n-k+s+1)K_1\cup K_{k-2s-1}): 1\leq s\leq t\}.$ (iii) Let $G$ be a connected $n$-vertex $M_{k+1}$-free graph with the maximum $\mathcal{P}(G)$ where $\mathcal{P}(G)$ is feasible. Then, $G\cong K_n$ when $n=2k+1$ and $G\in \mathcal{G}^3_{n,k}=\{K_s\vee ((n-2k+s-1)K_1\cup K_{2k-2s+1}):1\leq s\leq k\}$ when $n\geq 2k+2$. Directly derived from these three main results, we obtain a series of applications in Turán-type problems, generalized Turán-type problems, powers of graph degrees in extremal graph theory, and problems related to spectral radius, and signless Laplacian spectral radius in spectral graph theory.
The Leaf Function of Penrose P2 Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Discrete Algorithms (September 20, 2025) dmtcs:13662
• View Publication
• BIB
We study a graph-theoretic problem in the Penrose P2-graphs which are the dual graphs of Penrose tilings by kites and darts. Using substitutions, local isomorphism and other properties of Penrose tilings, we construct a family of arbitrarily large induced subtrees of Penrose graphs with the largest possible number of leaves for a given number $n$ of vertices. These subtrees are called fully leafed induced subtrees. We denote their number of leaves $L_{P2}(n)$ for any non-negative integer $n$, and the sequence $\left(L_{P2}(n)\right)_{n\in\mathbb{N}}$ is called the leaf function of Penrose P2-graphs. We present exact and recursive formulae for $L_{P2}(n)$, as well as an infinite sequence of fully leafed induced subtrees, which are caterpillar graphs. In particular, our proof relies on the construction of a finite graded poset of 3-internal-regular subtrees.
Clique Supersaturation
Published
• View Publication
• BIB
We study how many copies of a graph $F$ that another graph $G$ with a given number of cliques is guaranteed to have. For example, one of our main results states that for all $t\ge 2$, if $G$ is an $n$ vertex graph with $kn^{3/2}$ triangles and $k$ is sufficiently large in terms of $t$, then $G$ contains at least
\[Ω(\min\{k^t n^{3/2},k^{\frac{2t^2}{3t-1}}n^{\frac{5t-2}{3t-1}}\})\]
copies of $K_{2,t}$, and furthermore, we show these bounds are essentially best-possible provided either $k\ge n^{1/2t}$ or if certain bipartite-analogues of well known conjectures for Turán numbers hold.
Staircase graph words
Published
• View Publication
• BIB
Generalizing the notion of staircase words, introduced by Knopfmacher et.\ al, we define staircase graph words. These are functions $w$ from the vertex set $V$ of a graph into the set $\{1,2,\ldots,k\}$, such that $|w(x)-w(y)|\leq 1$, for every adjacent $x,y\in V$. We find the explicit generating functions for the number of staircase graph words for the grid graph, the rectangle-triangular graph and the king's graph, all of size $2\times n$.