connected graph
2651 papers tagged with this keyword
Storage codes and recoverable systems on lines and grids
Published
• View Publication
• BIB
A storage code is an assignment of symbols to the vertices of a connected graph $G(V,E)$ with the property that the value of each vertex is a function of the values of its neighbors, or more generally, of a certain neighborhood of the vertex in $G$. In this work we introduce a new construction method of storage codes, enabling one to construct new codes from known ones via an interleaving procedure driven by resolvable designs. We also study storage codes on $\mathbb Z$ and ${\mathbb Z}^2$ (lines and grids), finding closed-form expressions for the capacity of several one and two-dimensional systems depending on their recovery set, using connections between storage codes, graphs, anticodes, and difference-avoiding sets.
Sufficient conditions for $k$-factors and spanning trees of graphs
Published
• View Publication
• BIB
For any integer $k\geq1,$ a graph $G$ has a $k$-factor if it contains a $k$-regular spanning subgraph. In this paper we prove a sufficient condition in terms of the number of $r$-cliques to guarantee the existence of a $k$-factor in a graph with minimum degree at least $δ$, which improves the sufficient condition of O \cite{O2021} based on the number of edges. For any integer $k\geq2,$ a spanning $k$-tree of a connected graph $G$ is a spanning tree in which every vertex has degree at most $k$. Motivated by the technique of Li and Ning \cite{Li2016}, we present a tight spectral condition for an $m$-connected graph to have a spanning $k$-tree, which extends the result of Fan, Goryainov, Huang and Lin \cite{Fan2021} from $m=1$ to general $m$. Let $T$ be a spanning tree of a connected graph. The leaf degree of $T$ is the maximum number of leaves adjacent to $v$ in $T$ for any $v\in V(T)$. We provide a tight spectral condition for the existence of a spanning tree with leaf degree at most $k$ in a connected graph with minimum degree $δ$, where $k\geq1$ is an integer.
The critical group of a combinatorial map
Published
• View Publication
• BIB
Motivated by the appearance of embeddings in the theory of chip firing and the critical group of a graph, we introduce a version of the critical group (or sandpile group) for combinatorial maps, that is, for graphs embedded in orientable surfaces. We provide several definitions of our critical group, by approaching it through analogues of the cycle-cocycle matrix, the Laplacian matrix, and as the group of critical states of a chip firing game (or sandpile model) on the edges of a map.
Our group can be regarded as a perturbation of the classical critical group of its underlying graph by topological information, and it agrees with the classical critical group in the plane case. Its cardinality is equal to the number of spanning quasi-trees in a connected map, just as the cardinality of the classical critical group is equal to the number of spanning trees of a connected graph.
Our approach exploits the properties of principally unimodular matrices and the methods of delta-matroid theory.
Decreasing the mean subtree order by adding $k$ edges
Published
• View Publication
• BIB
The mean subtree order of a given graph $G$, denoted $μ(G)$, is the average number of vertices in a subtree of $G$. Let $G$ be a connected graph. Chin, Gordon, MacPhee, and Vincent [J. Graph Theory, 89(4): 413-438, 2018] conjectured that if $H$ is a proper spanning supergraph of $G$, then $μ(H) > μ(G)$. Cameron and Mol [J. Graph Theory, 96(3): 403-413, 2021] disproved this conjecture by showing that there are infinitely many pairs of graphs $H$ and $G$ with $H\supset G$, $V(H)=V(G)$ and $|E(H)|= |E(G)|+1$ such that $μ(H) < μ(G)$. They also conjectured that for every positive integer $k$, there exists a pair of graphs $G$ and $H$ with $H\supset G$, $V(H)=V(G)$ and $|E(H)| = |E(G)| +k$ such that $μ(H) < μ(G)$. Furthermore, they proposed that $μ(K_m+nK_1) < μ(K_{m, n})$ provided $n\gg m$. In this note, we confirm these two conjectures.
The direct product of a star and a path is antimagic
Published
• View Publication
• BIB
A graph $G$ is antimagic if there exists a bijection $f$ from $E(G)$ to $\left\{1,2, \dots,|E(G)|\right\}$ such that the vertex sums for all vertices of $G$ are distinct, where the vertex sum is defined as the sum of the labels of all incident edges. Hartsfield and Ringel conjectured that every connected graph other than $K_2$ admits an antimagic labeling. It is still a challenging problem to address antimagicness in the case of disconnected graphs. In this paper, we study antimagicness for the disconnected graph that is constructed as the direct product of a star and a path.
Lifted Inference beyond First-Order Logic
Published in Artificial Intelligence,Volume 342,2025
• View Publication
• BIB
Weighted First Order Model Counting (WFOMC) is fundamental to probabilistic inference in statistical relational learning models. As WFOMC is known to be intractable in general ($\#$P-complete), logical fragments that admit polynomial time WFOMC are of significant interest. Such fragments are called domain liftable. Recent works have shown that the two-variable fragment of first order logic extended with counting quantifiers ($\mathrm{C^2}$) is domain-liftable. However, many properties of real-world data, like acyclicity in citation networks and connectivity in social networks, cannot be modeled in $\mathrm{C^2}$, or first order logic in general. In this work, we expand the domain liftability of $\mathrm{C^2}$ with multiple such properties. We show that any $\mathrm{C^2}$ sentence remains domain liftable when one of its relations is restricted to represent a directed acyclic graph, a connected graph, a tree (resp. a directed tree) or a forest (resp. a directed forest). All our results rely on a novel and general methodology of "counting by splitting". Besides their application to probabilistic inference, our results provide a general framework for counting combinatorial structures. We expand a vast array of previous results in discrete mathematics literature on directed acyclic graphs, phylogenetic networks, etc.
The degree threshold for covering with all the connected $3$-graphs with $3$ edges
Published
• View Publication
• BIB
Given two $r$-uniform hypergraphs $F$ and $H$, we say that $H$ has an $F$-covering if every vertex in $H$ is contained in a copy of $F$. Let $c_{i}(n,F)$ be the least integer such that every $n$-vertex $r$-graph $H$ with $δ_{i}(H)>c_i(n,F)$ has an $F$-covering. Falgas-Ravry, Markstöm and Zhao (Combin. Probab. Comput., 2021) asymptotically determined $c_1(n,K_{4}^{(3)-})$, where $K_{4}^{(3)-}$ is obtained by deleting an edge from the complete $3$-graph on $4$ vertices. Later, Tang, Ma and Hou (arXiv, 2022) asymptotically determined $c_1(n,C_{6}^{(3)})$, where $C_{6}^{(3)}$ is the linear triangle, i.e. $C_{6}^{(3)}=([6],\{123,345,561\})$. In this paper, we determine $c_1(n,F_5)$ asymptotically, where $F_5$ is the generalized triangle, i.e. $F_5=([5],\{123,124,345\})$. We also determine the exact values of $c_1(n,F)$, where $F$ is any connected $3$-graphs with $3$ edges and $F\notin\{K_4^{(3)-}, C_{6}^{(3)}, F_5\}$.
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.
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.
Uniquely Distinguishing Colorable Graphs
Published
• View Publication
• BIB
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$.
Local antimagic chromatic number of partite graphs
Let $G$ be a connected graph with $|V| = n$ and $|E| = m$. A bijection $f:E\rightarrow \{1,2,...,m\}$ is called a local antimagic labeling of $G$ if for any two adjacent vertices $u$ and $v$, $w(u) \neq w(v)$, where $w(u) = \sum_{e \in E(u)}f(e)$, and $E(u)$ is the set of edges incident to $u$. Thus, any local antimagic labeling induces a proper vertex coloring of $G$ where the vertex $v$ is assigned the color $w(v)$. The local antimagic chromatic number is the minimum number of colors taken over all colorings induced by local antimagic labelings of $G$. Let $m,n > 1$. In this paper, the local antimagic chromatic number of a complete tripartite graph $K_{1,m,n}$, and $r$ copies of a complete bipartite graph $K_{m,n}$ where $m \not \equiv n \bmod 2$ are determined.
Shared ancestry graphs and symbolic arboreal maps
Published
• View Publication
• BIB
A network $N$ on a finite set $X$, $|X|\geq 2$, is a connected directed acyclic graph with leaf set $X$ in which every root in $N$ has outdegree at least 2 and no vertex in $N$ has indegree and outdegree equal to 1; $N$ is arboreal if the underlying unrooted, undirected graph of $N$ is a tree. Networks are of interest in evolutionary biology since they are used, for example, to represent the evolutionary history of a set $X$ of species whose ancestors have exchanged genes in the past. For $M$ some arbitrary set of symbols, $d:{X \choose 2} \to M \cup \{\odot\}$ is a symbolic arboreal map if there exists some arboreal network $N$ whose vertices with outdegree two or more are labelled by elements in $M$ and so that $d(\{x,y\})$, $\{x,y\} \in {X \choose 2}$, is equal to the label of the least common ancestor of $x$ and $y$ in $N$ if this exists and $\odot$ else. Important examples of symbolic arboreal maps include the symbolic ultrametrics, which arise in areas such as game theory, phylogenetics and cograph theory. In this paper we show that a map $d:{X \choose 2} \to M \cup \{\odot\}$ is a symbolic arboreal map if and only if $d$ satisfies certain 3- and 4-point conditions and the graph with vertex set $X$ and edge set consisting of those pairs $\{x,y\} \in {X \choose 2}$ with $d(\{x,y\}) \neq \odot$ is Ptolemaic. To do this, we introduce and prove a key theorem concerning the shared ancestry graph for a network $N$ on $X$, where this is the graph with vertex set $X$ and edge set consisting of those $\{x,y\} \in {X \choose 2}$ such that $x$ and $y$ share a common ancestor in $N$. In particular, we show that for any connected graph $G$ with vertex set $X$ and edge clique cover $K$ in which there are no two distinct sets in $K$ with one a subset of the other, there is some network with $|K|$ roots and leaf set $X$ whose shared ancestry graph is $G$.
Spectral multiplicity functions of adjacency operators of graphs and cospectral infinite graphs
Published
• View Publication
• BIB
The adjacency operator of a graph has a spectrum and a class of scalar-valued spectral measures which have been systematically analyzed; it also has a spectral multiplicity function which has been less studied. The first purpose of this article is to review some examples of infinite graphs for which the spectral multiplicity function of the adjacency operator has been determined. The second purpose of this article is to show explicit examples of infinite connected graphs which are cospectral, i.e., which have unitarily equivalent adjacency operators, and explicit examples of infinite connected graphs which are uniquely determined by their spectrum.
Burning a binary tree and its generalization
Graph burning is a graph process that models the spread of social contagion. Initially, all the vertices of a graph $G$ are unburnt. At each step, an unburnt vertex is put on fire and the fire from burnt vertices of the previous step spreads to their adjacent unburnt vertices. This process continues till all the vertices are burnt. The burning number $b(G)$ of the graph $G$ is the minimum number of steps required to burn all the vertices in the graph. The burning number conjecture by Bonato et al. states that for a connected graph $G$ of order $n$, its burning number $b(G) \leq \lceil \sqrt{n} \rceil$. It is easy to observe that in order to burn a graph it is enough to burn its spanning tree. Hence it suffices to prove that for any tree $T$ of order $n$, its burning number $b(T) \leq \lceil \sqrt{n} \rceil$ where $T$ is the spanning tree of $G$. It was proved in 2018 that $b(T) \leq \lceil \sqrt{n + n_2 + 1/4} +1/2 \rceil$ for a tree $T$ where $n_2$ is the number of degree $2$ vertices in $T$. In this paper, we provide an algorithm to burn a tree and we improve the existing bound using this algorithm. We prove that $b(T)\leq \lceil \sqrt{n + n_2 + 8}\rceil -1$ which is an improved bound for $n\geq 50$. We also provide an algorithm to burn some subclasses of the binary tree and prove the burning number conjecture for the same.
Classifying character degree graphs with seven vertices
We study here the graphs with seven vertices in an effort to classify which of them appear as the prime character degree graphs of finite solvable groups. This classification is complete for the disconnected graphs. Of the 853 non-isomorphic connected graphs, we were able to demonstrate that twenty-two occur as prime character degree graphs. Two are of diameter three, while the remaining are constructed as direct products. Forty-four graphs remain unclassified.
New results on the 1-isolation number of graphs without short cycles
Published
• View Publication
• BIB
Let $G$ be a graph. A subset $D \subseteq V(G)$ is called a 1-isolating set of $G$ if $Δ(G-N[D]) \leq 1$, that is, $G-N[D]$ consists of isolated edges and isolated vertices only. The $1$-isolation number of $G$, denoted by $ι_1(G)$, is the cardinality of a smallest $1$-isolating set of $G$. In this paper, we prove that if $G \notin \{P_3,C_3,C_7,C_{11}\}$ is a connected graph of order $n$ without $6$-cycles, or without induced 5- and 6-cycles, then $ι_1(G) \leq \frac{n}{4}$. Both bounds are sharp.
Catching a robber on a random $k$-uniform hypergraph
Published
• View Publication
• BIB
The game of \emph{Cops and Robber} is usually played on a graph, where a group of cops attempt to catch a robber moving along the edges of the graph. The \emph{cop number} of a graph is the minimum number of cops required to win the game. An important conjecture in this area, due to Meyniel, states that the cop number of an $n$-vertex connected graph is $O(\sqrt{n})$. In 2016, Prałat and Wormald [Meyniel's conjecture holds for random graphs, Random Structures Algorithms. 48 (2016), no. 2, 396-421. MR3449604] showed that this conjecture holds with high probability for random graphs above the connectedness threshold. Moreoever, Łuczak and Prałat [Chasing robbers on random graphs: Zigzag theorem, Random Structures Algorithms. 37 (2010), no. 4, 516-524. MR2760362] showed that on a $\log$-scale the cop number demonstrates a surprising \emph{zigzag} behaviour in dense regimes of the binomial random graph $G(n,p)$. In this paper, we consider the game of Cops and Robber on a hypergraph, where the players move along hyperedges instead of edges. We show that with high probability the cop number of the $k$-uniform binomial random hypergraph $G^k(n,p)$ is $O\left(\sqrt{\frac{n}{k}}\, \log n \right)$ for a broad range of parameters $p$ and $k$ and that on a $\log$-scale our upper bound on the cop number arises as the minimum of \emph{two} complementary zigzag curves, as opposed to the case of $G(n,p)$. Furthermore, we conjecture that the cop number of a connected $k$-uniform hypergraph on $n$ vertices is $O\left(\sqrt{\frac{n}{k}}\,\right)$.
Disproof of a conjecture on the minimum spectral radius and the domination number
Published
• View Publication
• BIB
Let $G_{n,γ}$ be the set of all connected graphs on $n$ vertices with domination number $γ$. A graph is called a minimizer graph if it attains the minimum spectral radius among $G_{n,γ}$. Very recently, Liu, Li and Xie [Linear Algebra and its Applications 673 (2023) 233--258] proved that the minimizer graph over all graphs in $\mathbb{G}_{n,γ}$ must be a tree. Moreover, they determined the minimizer graph among $G_{n,\lfloor\frac{n}{2}\rfloor}$ for even $n$, and posed the conjecture on the minimizer graph among $G_{n,\lfloor\frac{n}{2}\rfloor}$ for odd $n$. In this paper, we disprove the conjecture and completely determine the unique minimizer graph among $G_{n,\lfloor\frac{n}{2}\rfloor}$ for odd $n$.
Graphs with isolation number equal to one third of the order
Published in Discrete Mat. 347 (2024) 113903
• View Publication
• BIB
A set $D$ of vertices of a graph $G$ is isolating if the set of vertices not in $D$ or with no neighbor in $D$ is independent. The isolation number of $G$, denoted by $ι(G)$, is the minimum cardinality of an isolating set of $G$. It is known that $ι(G)\le n/3$, if $G$ is a connected graph of order $n$, $n\ge 3$, distinct from $C_5$. The main result of this work is the characterisation of unicyclic and block graphs of order $n$ with isolating number equal to $n/3$. Moreover, we provide a family of general graphs attaining this upper bound on the isolation number.
The Containment Game in the plane: between the Firefighter Problem and Conway's Angel Problem
The containment game is a full information game for two players, initialised with a set of occupied vertices in an infinite connected graph $G$. On the $t$-th turn, the first player, called Spreader, extends the occupied set to $g(t)$ adjacent vertices, and then the second player, called Container, removes $q$ unoccupied vertices from the graph. If the spreading process continues perpetually -- Spreader wins, and otherwise -- Container wins. For $g=\infty$ this game reduces to a solitaire game for Container, known as the Firefighter Problem. On $\mathbb{Z}^2$, for $q=1/k$ and $g\equiv 1$ it is equivalent to Conway's Angel Problem.
We introduce the game, and writing $q(G,g)$ for the set of $q$ values for which Container wins against a given $g(t)$, we study the minimal asymptotics of $g(t)$ such that $q(G,g)=q(G,\infty)$, i.e. for which defeating Spreader is as hard as winning the Firefighter Problem solitaire. We show, by providing explicit winning strategies, a sub-linear upper bound $g(t)=O(t^{6/7})$ and a lower bound of $g(t)=Ω(t^{1/2})$.