graph
34604 papers tagged with this keyword
A study of a combination of distance domination and resolvability in graphs
Published
• View Publication
• BIB
For $k \geq 1$, in a graph $G=(V,E)$, a set of vertices $D$ is a distance $k$-dominating set of $G$, if any vertex in $V\setminus D$ is at distance at most $k$ from some vertex in $D$. The minimum cardinality of a distance $k$-dominating set of $G$ is the distance $k$-domination number, denoted by $γ_k(G)$. An ordered set of vertices $W=\{w_1,w_2,\ldots,w_r\}$ is a resolving set of $G$, if for any two distinct vertices $x$ and $y$ in $V\setminus W$, there exists $1\leq i\leq r$, such that $d_G(x,w_i)\neq d_G(y,w_i)$. The minimum cardinality of a resolving set of $G$ is the metric dimension of the graph $G$, denoted by $dim(G)$. In this paper, we introduce the distance $k$-resolving dominating set, which is a subset of $V$ that is both a distance $k$-dominating set and a resolving set of $G$. The minimum cardinality of a distance $k$-resolving dominating set of $G$ is called the distance $k$-resolving domination number and is denoted by $γ^r_k(G)$. We give several bounds for $γ^r_k(G)$ some in terms of the metric dimension $dim(G)$ and the distance $k$-domination number $γ_k(G)$. We determine $γ^r_k(G)$ when $G$ is a path or a cycle. Afterwards, we characterize the connected graphs of order $n$ having $γ^r_k(G)$ equal to $1$, $n-2$, and $n-1$, for $k\geq 2$. Then, we construct graphs realizing all the possible triples $(dim(G),γ_k(G),γ^r_k (G))$, for all $k\geq 2$. Later, we determine the maximum order of a graph $G$ having distance $k$-resolving domination number $γ^r_k(G)=γ^r_k\geq 1$, we provide graphs achieving this maximum order for any positive integers $k$ and $γ^r_k$. Finally, we establish Nordhaus-Gaddum bounds for $γ^r_k(G)$, for $k\geq 2$.
Higher dimensional digraphs from cube complexes and their spectral theory
Published
• View Publication
• BIB
We define $k$-dimensional digraphs and initiate a study of their spectral theory. The $k$-dimensional digraphs can be viewed as generating graphs for small categories called $k$-graphs. Guided by geometric insight, we obtain several new series of $k$-graphs using cube complexes covered by Cartesian products of trees, for $k \geq 2$. These $k$-graphs can not be presented as virtual products, and constitute novel models of such small categories. The constructions yield rank-$k$ Cuntz-Krieger algebras for all $k\geq 2$. We introduce Ramanujan $k$-graphs satisfying optimal spectral gap property, and show explicitly how to construct the underlying $k$-digraphs.
The least doubling constant of a path graph
Published
• View Publication
• BIB
We study the least doubling constant $C_G$ among all possible doubling measures defined on a path graph $G$. We consider both finite and infinite cases and show that, if $G=\mathbb Z$, $C_{\mathbb Z}=3$, while for $G=L_n$, the path graph with $n$ vertices, one has $1+2\cos(\fracπ{n+1})\leq C_{L_n}<3$, with equality on the lower bound if and only if $n\le8$. Moreover, we analyze the structure of doubling minimizers on $L_n$ and $\mathbb Z$, those measures whose doubling constant is the smallest possible.
Doubling constants and spectral theory on graphs
Published
• View Publication
• BIB
We study the least doubling constant among all possible doubling measures defined on a (finite or infinite) graph $G$. We show that this constant can be estimated from below by $1+ r(A_G)$, where $r(A_G)$ is the spectral radius of the adjacency matrix of $G$, and study when both quantities coincide. We also illustrate how amenability of the automorphism group of a graph can be related to finding doubling minimizers. Finally, we give a complete characterization of graphs with doubling constant smaller than 3, in the spirit of Smith graphs.
Blow-up lemma for cycles in sparse random graphs
In a recent work, Allen, Böttcher, Hàn, Kohayakawa, and Person provided a first general analogue of the blow-up lemma applicable to sparse (pseudo)random graphs thus generalising the classic tool of Komlós, Sárközy, and Szemerédi. Roughly speaking, they showed that with high probability in the random graph $G_{n,p}$ for $p \geq C(\log n/n)^{1/Δ}$, sparse regular pairs behave similarly as complete bipartite graphs with respect to embedding a spanning graph $H$ with $Δ(H) \leq Δ$. However, this is typically only optimal when $Δ\in \{2,3\}$ and $H$ either contains a triangle ($Δ= 2$) or many copies of $K_4$ ($Δ= 3$). We go beyond this barrier for the first time and present a sparse blow-up lemma for cycles $C_{2k-1}, C_{2k}$, for all $k \geq 2$, and densities $p \geq Cn^{-(k-1)/k}$, which is in a way best possible. As an application of our blow-up lemma we fully resolve a question of Nenadov and Škorić regarding resilience of cycle factors in sparse random graphs.
The Polynomial Profile of Distance Games on Paths and Cycles
Distance games are games played on graphs in which the players alternately colour vertices, and which vertices can be coloured only depends on the distance to previously coloured vertices. The polynomial profile encodes the number of positions with a fixed number of vertices from each player. We extend previous work on finding the polynomial profile of several distance games (Col, Snort, and Cis) played on paths. We give recursions and generating functions for the polynomial profiles of generalizations of these three games when played on paths. We also find the polynomial profile of Cis played on cycles and the total number of positions of Col and Snort on cycles, as well as pose a conjecture about the number of positions when playing Col and Snort on complete bipartite graphs.
Bivariate Chromatic Polynomials of Mixed Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Combinatorics (November 17, 2023) dmtcs:9595
• View Publication
• BIB
The bivariate chromatic polynomial $χ_G(x,y)$ of a graph $G = (V, E)$, introduced by Dohmen-Pönitz-Tittmann (2003), counts all $x$-colorings of $G$ such that adjacent vertices get different colors if they are $\le y$. We extend this notion to mixed graphs, which have both directed and undirected edges. Our main result is a decomposition formula which expresses $χ_G(x,y)$ as a sum of bivariate order polynomials (Beck-Farahmand-Karunaratne-Zuniga Ruiz 2020), and a combinatorial reciprocity theorem for $χ_G(x,y)$.
On the number of non-isomorphic (simple) $k$-gonal biembeddings of complete multipartite graphs
Published
• View Publication
• BIB
This article aims to provide exponential lower bounds on the number of non-isomorphic $k$-gonal biembeddings of the complete multipartite graph into orientable surfaces.
For this purpose, we use the concept, introduced by Archdeacon in 2015, of Heffer array and its relations with graph embeddings. In particular we show that, under certain hypotheses, from a single Heffter array, we can obtain an exponential number of distinct graph embeddings. Exploiting this idea starting from the arrays constructed by Cavenagh, Donovan and Yazici in 2020, we obtain that, for infinitely many values of $k$ and $v$, there are at least $k^{\frac{k}{2}+o(k)} \cdot 2^{v\cdot \frac{H(1/4)}{(2k)^2}+o(v)}$ non-isomorphic $k$-gonal biembeddings of $K_v$, where $H(\cdot)$ is the binary entropy. Moreover about the embeddings of $K_{\frac{v}{t}\times t}$, for $t\in\{1,2,k\}$, we provide a construction of $2^{v\cdot \frac{H(1/4)}{2k(k-1)}+o(v,k)}$ non-isomorphic $k$-gonal biembeddings whenever $k$ is odd and $v$ belongs to a wide infinite family of values.
Adjoining edges to $G\mathbin{\square}H$ to construct a minimal dominating set of size $γ(G)γ(H)$
For graphs $G,H$ it is possible to add $(|V(G)|-γ(G))(|V(H)|-γ(H))$ edges to the Cartesian product $G\mathbin{\square}H$ such that a minimal dominating set $D$ of size $γ(G)γ(H)$ emerges. We hypothesize that $D$ is also a minimum dominating set for the resulting graph and show that this implies Vizing's conjecture.
Co-even Domination Number of a Modified Graph by Operations on a Vertex or an Edge
Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $D\subseteq V$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. A dominating set $D$ is called co-even dominating set if the degree of vertex $v$ is even number for all $v\in V-D$.
The cardinality of a smallest co-even dominating set of $G$, denoted by $γ_{coe}(G)$, is the co-even domination number of $G$. In this paper we study co-even domination number of graphs which constructed by some operations on a vertex or an edge of a graph.
The geometry of geometries: matroid theory, old and new
Published
• View Publication
• BIB
The theory of matroids or combinatorial geometries originated in linear algebra and graph theory, and has deep connections with many other areas, including field theory, matching theory, submodular optimization, Lie combinatorics, and total positivity. Matroids capture the combinatorial essence that these different settings share. In recent years, the (classical, polyhedral, algebraic, and tropical) geometric roots of the field have grown much deeper, bearing new fruits. We survey some recent successes, stemming from three geometric models of a matroid: the matroid polytope, the Bergman fan, and the conormal fan.
Sharp bound on the threshold metric dimension of trees
Published
• View Publication
• BIB
The threshold-$k$ metric dimension ($\mathrm{Tmd}_k$) of a graph is the minimum number of sensors -- a subset of the vertex set -- needed to uniquely identify any vertex in the graph, solely based on its distances from the sensors, when the measuring radius of a sensor is $k$. We give a sharp lower bound on the $\mathrm{Tmd}_k$ of trees, depending only on the number of vertices $n$ and the measuring radius $k$. This sharp lower bound grows linearly in $n$ with leading coefficient $3/(k^2+4k+3+\mathbf{1}\{k\equiv 1\pmod 3\})$, disproving earlier conjectures by Tillquist et al. in arXiv:2106.14314 that suspected $n/(\lfloor k^2/4\rfloor +2k)$ as main order term. We provide a construction for the largest possible trees with a given $\mathrm{Tmd}_k$ value. The proof that our optimal construction cannot be improved relies on edge-rewiring procedures of arbitrary (suboptimal) trees with arbitrary resolving sets, which reveal the structure of how small subsets of sensors measure and resolve certain areas in the tree that we call the attraction of those sensors. The notion of `attraction of sensors' might be useful in other contexts beyond trees to solve related problems. We also provide an improved lower bound on the $\mathrm{Tmd}_k$ of arbitrary trees that takes into account the structural properties of the tree, in particular, the number and length of simple paths of degree-two vertices terminating in leaf vertices. This bound complements arXiv:2106.14314, where only trees without degree-two vertices were considered, except the simple case of a single path.
The Lovász Local Lemma is Not About Probability
Given a collection of independent events each of which has strictly positive probability, the probability that all of them occur is also strictly positive. The Lovász local lemma (LLL) asserts that this remains true if the events are not too strongly negatively correlated. The formulation of the lemma involves a graph with one vertex per event, with edges indicating potential negative dependence. The word "Local" in LLL reflects that the condition for the negative correlation can be expressed solely in terms of the neighborhood of each vertex. In contrast to this local view, Shearer developed an exact criterion for the avoidance probability to be strictly positive, but it involves summing over all independent sets of the graph.
In this work we make two contributions. The first is to develop a hierarchy of increasingly powerful, increasingly non-local lemmata for bounding the avoidance probability from below, each lemma associated with a different set of walks in the graph. Already, at its second level, our hierarchy is stronger than all known local lemmata. To demonstrate its power we prove new bounds for the negative-fugacity singularity of the hard-core model on several lattices, a central problem in statistical physics.
Our second contribution is to prove that Shearer's connection between the probabilistic setting and the independent set polynomial holds for \emph{arbitrary supermodular} functions, not just probability measures. This means that all LLL machinery can be employed to bound from below an arbitrary supermodular function, based only on information regarding its value at singleton sets and partial information regarding their interactions. We show that this readily implies both the quantum LLL of Ambainis, Kempe, and Sattath~[JACM 2012], and the quantum Shearer criterion of Sattath, Morampudi, Laumann, and Moessner~[PNAS 2016].
Recognizing Series-Parallel Matrices in Linear Time
Published
• View Publication
• BIB
A series-parallel matrix is a binary matrix that can be obtained from an empty matrix by successively adjoining rows or columns that are parallel to an existing row/column or have at most one 1-entry. Equivalently, series-parallel matrices are representation matrices of graphic matroids of series-parallel graphs, which can be recognized in linear time. We propose an algorithm that, for an m-by-n matrix A with k nonzeros, determines in expected $\mathcal{O}(m + n + k)$ time whether A is series-parallel, or returns a minimal non-series-parallel submatrix of A. We complement the developed algorithm by an efficient implementation and report about computational results.
Improved Decoding of Expander Codes
Published
• View Publication
• BIB
We study the classical expander codes, introduced by Sipser and Spielman \cite{SS96}. Given any constants $0< α, \varepsilon < 1/2$, and an arbitrary bipartite graph with $N$ vertices on the left, $M < N$ vertices on the right, and left degree $D$ such that any left subset $S$ of size at most $αN$ has at least $(1-\varepsilon)|S|D$ neighbors, we show that the corresponding linear code given by parity checks on the right has distance at least roughly $\frac{αN}{2 \varepsilon }$. This is strictly better than the best known previous result of $2(1-\varepsilon ) αN$ \cite{Sudan2000note, Viderman13b} whenever $\varepsilon < 1/2$, and improves the previous result significantly when $\varepsilon $ is small. Furthermore, we show that this distance is tight in general, thus providing a complete characterization of the distance of general expander codes.
Next, we provide several efficient decoding algorithms, which vastly improve previous results in terms of the fraction of errors corrected, whenever $\varepsilon < \frac{1}{4}$. Finally, we also give a bound on the list-decoding radius of general expander codes, which beats the classical Johnson bound in certain situations (e.g., when the graph is almost regular and the code has a high rate).
Our techniques exploit novel combinatorial properties of bipartite expander graphs. In particular, we establish a new size-expansion tradeoff, which may be of independent interests.
Metric dimension on sparse graphs and its applications to zero forcing sets
Published
• View Publication
• BIB
The metric dimension dim(G) of a graph $G$ is the minimum cardinality of a subset $S$ of vertices of $G$ such that each vertex of $G$ is uniquely determined by its distances to $S$. It is well-known that the metric dimension of a graph can be drastically increased by the modification of a single edge. Our main result consists in proving that the increase of the metric dimension of an edge addition can be amortized in the sense that if the graph consists of a spanning tree $T$ plus $c$ edges, then the metric dimension of $G$ is at most the metric dimension of $T$ plus $6c$. We then use this result to prove a weakening of a conjecture of Eroh et al. The zero forcing number $Z(G)$ of $G$ is the minimum cardinality of a subset $S$ of black vertices (whereas the other vertices are colored white) of $G$ such that all the vertices will turned black after applying finitely many times the following rule: a white vertex is turned black if it is the only white neighbor of a black vertex. Eroh et al. conjectured that, for any graph $G$, $dim(G)\leq Z(G) + c(G)$, where $c(G)$ is the number of edges that have to be removed from $G$ to get a forest. They proved the conjecture is true for trees and unicyclic graphs. We prove a weaker version of the conjecture: $dim(G)\leq Z(G)+6c(G)$ holds for any graph. We also prove that the conjecture is true for graphs with edge disjoint cycles, widely generalizing the unicyclic result of Eroh et al.
$q$-Rationals and Finite Schubert Varieties
Published
• View Publication
• BIB
The classical $q$-analogue of the integers was recently generalized by Morier-Genoud and Ovsienko to give $q$-analogues of rational numbers. Some combinatorial interpretations are already known, namely as the rank generating functions for certain partially ordered sets. We review some of these interpretations, and additionally give a slightly novel approach in terms of planar graphs called snake graphs. Using the snake graph approach, we show that the numerators of $q$-rationals count the sizes of certain varieties over finite fields, which are unions of open Schubert cells in some Grassmannian.
On certain edge-transitive bicirculants of twice odd order
A graph admitting an automorphism with two orbits of the same length is called a bicirculant. Recently, Jajcay et al. initiated the investigation of the edge-transitive bicirculants with the properties that one of the subgraphs induced by the latter orbits is a cycle and the valence is at least $6$ (Electron. J. Combin., 2019). We show that the complement of the Petersen graph is the only such graph whose order is twice an odd number.
Minimal asymmetric hypergraphs
Published
• View Publication
• BIB
In this paper, we prove that for any $k\ge 3$, there exist infinitely many minimal asymmetric $k$-uniform hypergraphs. This is in a striking contrast to $k=2$, where it has been proved recently that there are exactly $18$ minimal asymmetric graphs.
We also determine, for every $k\ge 1$, the minimum size of an asymmetric $k$-uniform hypergraph.
Remarks on the Local Irregularity Conjecture
Published
• View Publication
• BIB
A locally irregular graph is a graph in which the end-vertices of every edge have distinct degrees. A locally irregular edge coloring of a graph G is any edge coloring of G such that each of the colors induces a locally irregular subgraph of G. A graph G is colorable if it admits a locally irregular edge coloring. The locally irregular chromatic index of a colorable graph G, denoted by CHI'irr(G), is the smallest number of colors used by a locally irregular edge coloring of G. The Local Irregularity Conjecture claims that all graphs, except odd length path, odd length cycle and a certain class of cacti, are colorable by 3 colors. As the conjecture is valid for graphs with large minimum degree and all non-colorable graphs are vertex disjoint cacti, we take direction to study rather sparse graphs. In this paper, we give a cactus graph B which contradicts this conjecture, i.e. CHI'irr(B) = 4. Nevertheless, we show that the conjecture holds for unicyclic graphs and cacti with vertex disjoint cycles.