graph
35299 papers tagged with this keyword
Domination of subcubic planar graphs with large girth
Published
• View Publication
• BIB
Since Reed conjectured in 1996 that the domination number of a connected cubic graph of order $n$ is at most $\lceil \frac13 n \rceil$, the domination number of cubic graphs has been extensively studied. It is now known that the conjecture is false in general, but Henning and Dorbec showed that it holds for graphs with girth at least $9$. Zhu and Wu stated an analogous conjecture for 2-connected cubic planar graphs.
In this paper, we present a new upper bound for the domination number of subcubic planar graphs: if $G$ is a subcubic planar graph with girth at least 8, then $γ(G) < n_0 + \frac{3}{4} n_1 + \frac{11}{20} n_2 + \frac{7}{20} n_3$, where $n_i$ denotes the number of vertices in $G$ of degree $i$, for $i \in \{0,1,2,3\}$. We also prove that if $G$ is a subcubic planar graph with girth at least 9, then $γ(G) < n_0 + \frac{13}{17} n_1 + \frac{9}{17} n_2 + \frac{6}{17} n_3$.
Connected Dominating Sets in Triangulations
We show that every $n$-vertex triangulation has a connected dominating set of size at most $10n/21$. Equivalently, every $n$ vertex triangulation has a spanning tree with at least $11n/21$ leaves. Prior to the current work, the best known bounds were $n/2$, which follows from work of Albertson, Berman, Hutchinson, and Thomassen (J. Graph Theory \textbf{14}(2):247--258). One immediate consequence of this result is an improved bound for the SEFENOMAP graph drawing problem of Angelini, Evans, Frati, and Gudmundsson (J. Graph Theory \textbf{82}(1):45--64). As a second application, we show that for every set $P$ of $\lceil 11n/21\rceil$ points in $\R^2$ every $n$-vertex planar graph has a one-bend non-crossing drawing in which some set of $11n/21$ vertices is drawn on the points of $P$. The main result extends to $n$-vertex triangulations of genus-$g$ surfaces, and implies that these have connected dominating sets of size at most $10n/21+O(\sqrt{gn})$.
A note on the chromatic number of the square of a sparse random graph
Published
• View Publication
• BIB
We show that w.h.p the list chromatic number $χ_\ell$ of the square of $G_{n,p}$ for $p=c/n$ is asymptotically equal to the maximum degree $Δ(G_{n,p})$. Since $χ(G^2_{n,p})\leq χ_\ell(G^2_{n,p})$, this also improves an earlier result of Garapaty et al \cite{KLMP} who proved that $χ(G^2_{n,p}) \leq 6 \cdot Δ(G_{n,p})$ w.h.p.
$H$-percolation with a random $H$
Published in Electron. Commun. Probab. 29, Paper No. 33, 5 p. (2024)
• View Publication
• BIB
In $H$-percolation, we start with an Erdős--Rényi graph ${\mathcal G}_{n,p}$ and then iteratively add edges that complete copies of $H$. The process percolates if all edges missing from ${\mathcal G}_{n,p}$ are eventually added. We find the critical threshold $p_c$ when $H={\mathcal G}_{k,1/2}$ is uniformly random, solving a problem of Balogh, Bollobás and Morris.
Multicolor bipartite Ramsey number of double stars
For positive integers $n, m$, the double star $S(n,m)$ is the graph consisting of the disjoint union of two stars $K_{1,n}$ and $K_{1,m}$ together with an edge joining their centers. Finding monochromatic copies of double stars in edge-colored complete bipartite graphs has attracted much attention. The $k$-color bipartite Ramsey number of $ S(n,m)$, denoted by $r_{bip}(S(n,m);k)$, is the smallest integer $N$ such that, in any $k$-coloring of the edges of the complete bipartite graph $K_{N,N}$, there is a monochromatic copy of $S(n,m)$. The study of bipartite Ramsey numbers was initiated in the early 1970s by Faudree and Schelp and, independently, by Gyárfás and Lehel. The exact value of $r_{bip}(S(n,m);k)$ is only known when $n=m=1$. Applying the Turán argument in the bipartite setting, here we prove that if $k=2$ and $n\ge m$, or $k\ge3$ and $n\ge 2m$, then \[ r_{bip}(S(n,m);k)=kn+1.\]
Twin-width of sparse random graphs
Published in Combinator. Probab. Comp. 34 (2025) 401-420
• View Publication
• BIB
We show that the twin-width of every $n$-vertex $d$-regular graph is at most $n^{\frac{d-2}{2d-2}+o(1)}$ and that almost all $d$-regular graphs attain this bound. More generally, we obtain bounds on the twin-width of sparse Erdős-Renyi and regular random graphs, complementing the bounds in the denser regime due to Ahn, Chakraborti, Hendrey, Kim and Oum.
Computing the Volume of a Restricted Independent Set Polytope Deterministically
We construct a quasi-polynomial time deterministic approximation algorithm for computing the volume of an independent set polytope with restrictions. Randomized polynomial time approximation algorithms for computing the volume of a convex body have been known now for several decades, but the corresponding deterministic counterparts are not available, and our algorithm is the first of this kind. The class of polytopes for which our algorithm applies arises as linear programming relaxation of the independent set problem with the additional restriction that each variable takes value in the interval $[0,1-α]$ for some $α<1/2$. (We note that the $α\ge 1/2$ case is trivial).
We use the correlation decay method for this problem applied to its appropriate and natural discretization. The method works provided $α> 1/2-O(1/Δ^2)$, where $Δ$ is the maximum degree of the graph. When $Δ=3$ (the sparsest non-trivial case), our method works provided $0.488<α<0.5$. Interestingly, the interpolation method, which is based on analyzing complex roots of the associated partition functions, fails even in the trivial case when the underlying graph is a singleton.
Orbits under Dual Symplectic Transvections
Consider an arbitrary field $K$ and a finite-dimensional vector space $X$ over $K$ equipped with a, possibly degenerate, symplectic form $ω$. Given a spanning subset $S$ of $X$, for each $k$ in $K$ and each vector $s$ in $S$, consider the symplectic transvection mapping a vector $x$ to $x+kω(x,s)s$. The group generated by these transvections has been extensively studied, and its orbit structure is known. In this paper, we obtain corresponding results for the orbits of the dual action on $X^\ast$. As for the non-dual case, the analysis gets harder when the field contains only two elements. For that field, the dual transvection group is equivalent to a game known as the lit-only sigma game, played on a graph. Our results provide a complete solution to the reachability problem of that game, previously solved only for some special cases.
Vertex stabilizers of locally $s$-arc transitive graphs of pushing up type
Published
• View Publication
• BIB
Suppose that $Δ$ a thick, locally finite and locally $s$-arc transitive $G$-graph with $s \ge 4$. For a vertex $z$ in $Δ$, let $G_z$ be the stabilizer of $z$ and $G_z^{[1]}$ be the kernel of the action of $G_z$ on the neighbours of $z$. We say $Δ$ is of pushing up type provided there exists a prime $p$ and a $1$-arc $(x,y)$ such that $C_{G_z}(O_p(G_z^{[1]})) \le O_p(G_z^{[1]})$ for $z \in \{x,y\}$ and $O_p(G_x^{[1]}) \le O_p(G_y^{[1]})$. We show that if $Δ$ is of pushing up type, then $O_p(G_x^{[1]})$ is elementary abelian and $G_x/G_x^{[1]}\cong X$ with ${\rm PSL}_2(p^a)\le X \le {\rm PΓL}_2(p^a)$.
Dominance complexes, neighborhood complexes and combinatorial Alexander duals
Published
• View Publication
• BIB
We show that the dominance complex $\mathcal{D}(G)$ of a graph $G$ coincides with the combinatorial Alexander dual of the neighborhood complex $\mathcal{N}(\overline{G})$ of the complement of $G$. Using this, we obtain a relation between the chromatic number $χ(G)$ of $G$ and the homology group of $\mathcal{D}(G)$. We also obtain several known results related to dominance complexes from well-known facts of neighborhood complexes. After that, we suggest a new method for computing the homology groups of the dominance complexes, using independence complexes of simple graphs. We show that several known computations of homology groups of dominance complexes can be reduced to known computations of independence complexes. Finally, we determine the homology group of $\mathcal{D}(P_n \times P_3)$ by determining the homotopy types of the independence complex of $P_n \times P_3 \times P_2$.
A locally $5$-arc transitive graph related to ${\rm PSU}_3(8)$
Published
• View Publication
• BIB
We construct a locally 5-arc transitive $G$-graph $Δ$, where $G \in \{ {\rm PSU}_3(8) \rtimes C_2, {\rm PSU}_3(8) \rtimes C_6\}$. The corresponding vertex stabilizer amalgams are of local characteristic $3$ but are not weak $(B,N)$-pairs. They are the first examples of this kind where there exists a vertex $z$ such that the extension of $G_z/O_p(G_z^{[1]})$ over $O_p(G_z^{[1]})$ is non-split.
The relationship between the negative inertia index of graph $G$ and its girth $g$ and diameter $d$
Let $G$ be a simple connected graph. We use $n(G)$, $p(G)$, and $η(G)$ to denote the number of negative eigenvalues, positive eigenvalues, and zero eigenvalues of the adjacency matrix $A(G)$ of $G$, respectively. In this paper, we prove that $2n(G)\geq d(G) + 1$ when $d(G)$ is odd, and $n(G) \geq \lceil \frac{g}{2}\rceil - 1$ for a graph containing cycles, where $d(G)$ and $g$ are the diameter and girth of the graph $G$, respectively. Furthermore, we characterize the extremal graphs for the cases of $2n(G) = d(G) + 1$, $n(G) = \lceil \frac{g}{2}\rceil$, and $n(G) = \lceil \frac{g}{2}\rceil - 1$.
On the Equality of Symbolic and Ordinary Powers of Binomial Edge Ideals
Published in Bulletin of the Brazilian Mathematical Society, New Series volume 54 (2023)
• View Publication
• BIB
In this paper, we investigate whether the symbolic and ordinary powers of a binomial edge ideal $J_{G}$ are equal. We show that the equality $J_{G}^{t}=J_{G}^{(t)}$ holds for every $t \geq 1$ when $|Ass(J_{G})|=2$. Moreover, if $G$ is a caterpillar tree, then one has the same equality. Finally, we characterize the generalized caterpillar graphs which the equality of symbolic and ordinary powers of $J_{G}$ occurs.
Edge coloring of products of signed graphs
Published
• View Publication
• BIB
In 2020, Behr defined the problem of edge coloring of signed graphs and showed that every signed graph $(G, σ)$ can be colored using exactly $Δ(G)$ or $Δ(G) + 1$ colors, where $Δ(G)$ is the maximum degree in graph $G$.
In this paper, we focus on products of signed graphs. We recall the definitions of the Cartesian, tensor, strong, and corona products of signed graphs and prove results for them. In particular, we show that $(1)$ the Cartesian product of $Δ$-edge-colorable signed graphs is $Δ$-edge-colorable, $(2)$ the tensor product of a $Δ$-edge-colorable signed graph and a signed tree requires only $Δ$ colors and $(3)$ the corona product of almost any two signed graphs is $Δ$-edge-colorable. We also prove some results related to the coloring of products of signed paths and cycles.
A model of random sequential adsorption on a ladder graph
Published
• View Publication
• BIB
In random sequential adsorption (RSA), objects are deposited on a substrate randomly, irreversibly, and sequentially. Attempts of deposition that lead to an overlap with previously deposited objects are discarded. The process continues until the system reaches a jammed state when no further additions are possible. We analyze a class of RSA models on a two-row square ladder graph in which landing on an empty site in a graph is allowed when at least $b$ neighboring sites in the graph are unoccupied ($b \in \mathbb{N}$). In this paper we complement this typical way of studying RSA models by analyzing also the structure of the set of all jammed states in a static way, disregarding the dynamics that led to a particular jammed state. In both considered settings (dynamic and static) we provide explicit expressions for key statistics that describe the average proportion of the substrate covered by deposited objects, and then we comment on significant differences between the two settings. We illustrate all of our findings through a toy model for ensembles of trapped Rydberg atoms with blockade range $b$.
Vanishing codegree Turán density implies vanishing uniform Turán density
For a $k$-uniform hypergraph (or simply $k$-graph) $F$, the codegree Turán density $π_{\mathrm{co}}(F)$ is the infimum over all $α$ such that any $n$-vertex $k$-graph $H$ with every $(k-1)$-subset of $V(H)$ contained in at least $αn$ edges has a copy of $F$. The uniform Turán density $π_{\therefore}(F)$ is the supremum over all $d$ such that there are infinitely many $F$-free $k$-graphs $H$ satisfying that any linear-size subhypergraph of $H$ has edge density at least $d$. Falgas-Ravry, Pikhurko, Vaughan and Volec [J. London Math. Soc., 2023] asked whether for every $3$-graph $F$, $π_{\therefore}(F)\leqπ_{\mathrm{co}}(F)$. We provide a positive answer to this question provided that $π_{\mathrm{co}}(F)=0$. Our proof relies on a random geometric construction and a new formulation of the characterization of $3$-graphs with vanishing uniform Turán density due to Reiher, R{ö}dl and Schacht [J. London Math. Soc., 2018]. Along the way, we answer a question of Falgas-Ravry, Pikhurko, Vaughan and Volec about subhypergraphs with linear minimum codegree in uniformly dense hypergraphs in the negative.
Some locally Kneser graphs
Published
• View Publication
• BIB
The Kneser graph $K(n,d)$ is the graph on the $d$-subsets of an $n$-set, adjacent when disjoint. Clearly, $K(n+d,d)$ is locally $K(n,d)$. Hall showed for $n \ge 3d+1$ that there are no further examples. Here we give other examples of locally $K(n,d)$ graphs for $n = 3d$, and some further sporadic examples. It follows that Hall's bound is best possible.
Higher-rank dimer models
Published
• View Publication
• BIB
Let $G$ be a bipartite planar graph with edges directed from black to white. For each vertex $v$ let $n_v$ be a positive integer. A multiweb in $G$ is a multigraph with multiplicity $n_v$ at vertex $v$. A connection is a choice of linear maps on edges $Φ=\{φ_{bw}\}_{bw\in E}$ where $φ_{bw}\in \mathrm{Hom}({\mathbb R}^{n_b},{\mathbb R}^{n_w})$. Associated to $Φ$ is a function on multiwebs, the trace $Tr_Φ$. We define an associated Kasteleyn matrix $K=K(Φ)$ in this setting and write $\det K$ as the sum of traces of all multiwebs. This generalizes Kasteleyn's theorem and the result of [Douglas, Kenyon, Shi: Dimers, webs, and local systems, Trans. AMS 2023].
We study connections with positive traces, and define the associated probability measure on multiwebs. By careful choice of connection we can thus encode the "free fermionic" subvarieties for vertex models such as the $6$-vertex model and $20$-vertex models, and in particular give determinantal solutions.
We also find for each multiweb system an equivalent scalar system, that is, a planar bipartite graph $H$ and a local measure-preserving mapping from dimer covers of $H$ to multiwebs on $G$. We identify a family of positive connections as those whose scalar versions have positive face weights.
Coloring Groups
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:2, Combinatorics (July 7, 2024) dmtcs:12753
• View Publication
• BIB
We introduce coloring groups, which are permutation groups obtained from a proper edge coloring of a graph. These groups generalize the generalized toggle groups of Striker (which themselves generalize the toggle groups introduced by Cameron and Fon-der-Flaass). We present some general results connecting the structure of a coloring group to the structure of its graph coloring, providing graph-theoretic characterizations of the centralizer and primitivity of a coloring group. We apply these results particularly to generalized toggle groups arising from trees as well as coloring groups arising from the independence posets introduced by Thomas and Williams.
A Note on the Asymptotic Value of the Isoperimetric Number of $J(n,2)$
Published
• View Publication
• BIB
Let $G$ be a graph on $n$ vertices and $S$ a subset of vertices of $G$; the boundary of $S$ is the set, $\partial S$, of edges of $G$ connecting $ S $ to its complement in $G$. The isoperimetric number of $G$, is the minimum of $\left| \partial S \right|/\left| S \right|$ overall $S \subset V(G)$ of at most $n/2$ vertices. Let $k \le n$ be positive integers. The Johnson graph is the graph, $J(n,k)$, whose vertices are all the subsets of size $k$ of $\{1,\dots,n\}$, two of which are adjacent if their intersection has cardinality equal to $k-1$. In this paper we show that the asymptotic value of the isoperimetric number of the Johnson graph $J(n,2)$ is equal to $ (2-\sqrt{2})n$.