graph
34665 papers tagged with this keyword
An inverse problem for the collapsing sum
Published in Australasian Journal of Combinatorics 79 (2021): 183--192
• Search Publication
Gaussian filters have applications in a variety of areas in computer science, from computer vision to speech recognition. The collapsing sum is a matrix operator that was recently introduced to study Gaussian filters combinatorially. In this paper, we view the collapsing sum from a discrete tomographical perspective and examine the recoverability of its preimages as a matrix completion problem. Using bipartite graphs, we derive a necessary and sufficient condition for a partial matrix to be extended to a preimage of a given matrix.
Biconed graphs, weighted forests, and h-vectors of matroid complexes
Published in Electron. J. Combin. 28 Issue 4 (2021), P4.31
• View Publication
• BIB
A well-known conjecture of Richard Stanley posits that the $h$-vector of the independence complex of a matroid is a pure ${\mathcal O}$-sequence. The conjecture has been established for various classes but is open for graphic matroids. A biconed graph is a graph with two specified `coning vertices', such that every vertex of the graph is connected to at least one coning vertex. The class of biconed graphs includes coned graphs, Ferrers graphs, and complete multipartite graphs. We study the $h$-vectors of graphic matroids arising from biconed graphs, providing a combinatorial interpretation of their entries in terms of `$2$-weighted forests' of the underlying graph. This generalizes constructions of Kook and Lee who studied the Möbius coinvariant (the last nonzero entry of the $h$-vector) of graphic matroids of complete bipartite graphs. We show that allowing for partially $2$-weighted forests gives rise to a pure multicomplex whose face count recovers the $h$-vector, establishing Stanley's conjecture for this class of matroids. We also discuss how our constructions relate to a combinatorial strengthening of Stanley's Conjecture (due to Klee and Samper) for this class of matroids.
Improved bounds for anti-Ramsey numbers of matchings in outerplanar graphs
Published
• View Publication
• BIB
Let $\mathcal{O}_n$ be the set of all maximal outerplanar graphs of order $n$. Let $ar(\mathcal{O}_n,F)$ denote the maximum positive integer $k$ such that $T\in \mathcal{O}_n$ has no rainbow subgraph $F$ under a $k$-edge-coloring of $T$. Denote by $M_k$ a matching of size $k$. In this paper, we prove that $ar(\mathcal{O}_n,M_k)\le n+4k-9$ for $n\ge3k-3$, which expressively improves the existing upper bound for $ar(\mathcal{O}_n,M_k)$. We also prove that $ar(\mathcal{O}_n,M_5)=n+4$ for all $n\ge 15$.
Configuration polynomials under contact equivalence
Published
• View Publication
• BIB
Configuration polynomials generalize the classical Kirchhoff polynomial defined by a graph. Their study sheds light on certain polynomials appearing in Feynman integrands. Contact equivalence provides a way to study the associated configuration hypersurface. In the contact equivalence class of any configuration polynomial we identify a polynomial with minimal number of variables; it is a configuration polynomial. This minimal number is bounded by $r+1\choose 2$, where $r$ is the rank of the underlying matroid. We show that the number of equivalence classes is finite exactly up to rank $3$ and list explicit normal forms for these classes.
A Practical Algorithm for the Computation of the Genus
Published
• View Publication
• BIB
We describe a practical algorithm to compute the (oriented) genus of a graph, give results of the program implementing this algorithm, and compare the performance to existing algorithms. The aim of this algorithm is to be fast enough for many applications instead of focusing on the theoretical asymptotic complexity. Apart from the specific problem and the results, the article can also be seen as an example how some design principles used to carefully develop and implement standard backtracking algorithms can still result in very competitive programs.
Bipartite graphs with close domination and k-domination numbers
Published
• View Publication
• BIB
Let $k$ be a positive integer and let $G$ be a graph with vertex set $V(G)$. A subset $D \subseteq V(G)$ is a $k$-dominating set if every vertex outside $D$ is adjacent to at least $k$ vertices in $D$. The $k$-domination number $γ_k(G)$ is the minimum cardinality of a $k$-dominating set in $G$. For any graph $G$, we know that $γ_k(G) \geq γ(G)+k-2$ where $ Δ(G)\geq k\geq 2$ and this bound is sharp for every $k\geq 2$. In this paper, we characterize bipartite graphs satisfying the equality for $k\geq 3$ and present a necessary and sufficient condition for a bipartite graph to satisfy the equality hereditarily when $k=3$. We also prove that the problem of deciding whether a graph satisfies the given equality is NP-hard in general.
Circulant almost cross intersecting families
Published
• View Publication
• BIB
Let $\mathcal{F}$ and $\mathcal{G}$ be two $t$-uniform families of subsets over $[k] = \{1,2,...,k\}$, where $|\mathcal{F}| = |\mathcal{G}|$, and let $C$ be the adjacency matrix of the bipartite graph whose vertices are the subsets in $\mathcal{F}$ and $\mathcal{G}$, and there is an edge between $A\in \mathcal{F}$ and $B \in \mathcal{G}$ if and only if $A \cap B \neq \emptyset$. The pair $(\mathcal{F},\mathcal{G})$ is $q$-almost cross intersecting if every row and column of $C$ has exactly $q$ zeros.
We consider $q$-almost cross intersecting pairs that have a circulant intersection matrix $C_{p,q}$, determined by a column vector with $p > 0$ ones followed by $q > 0$ zeros. This family of matrices includes the identity matrix in one extreme, and the adjacency matrix of the bipartite crown graph in the other extreme.
We give constructions of pairs $(\mathcal{F},\mathcal{G})$ whose intersection matrix is $C_{p,q}$, for a wide range of values of the parameters $p$ and $q$, and in some cases also prove matching upper bounds. Specifically, we prove results for the following values of the parameters: (1) $1 \leq p \leq 2t-1$ and $1 \leq q \leq k-2t+1$. (2) $2t \leq p \leq t^2$ and any $q> 0$, where $k \geq p+q$. (3) $p$ that is exponential in $t$, for large enough $k$.
Using the first result we show that if $k \geq 4t-3$ then $C_{2t-1,k-2t+1}$ is a maximal isolation submatrix of size $k\times k$ in the $0,1$-matrix $A_{k,t}$, whose rows and columns are labeled by all subsets of size $t$ of $[k]$, and there is a one in the entry on row $x$ and column $y$ if and only if subsets $x,y$ intersect.
Bounding the $k$-Steiner Wiener and Wiener-type indices of trees in terms of eccentric sequence
Published
• View Publication
• BIB
The eccentric sequence of a connected graph $G$ is the nondecreasing sequence of the eccentricities of its vertices. The Wiener index of $G$ is the sum of the distances between all unordered pairs of vertices of $G$. The unique trees that minimise the Wiener index among all trees with a given eccentric sequence were recently determined by the present authors. In this paper we show that these results hold not only for the Wiener index, but for a large class of distance-based topological indices which we term Wiener-type indices. Particular cases of this class include the hyper-Wiener index, the Harary index, the generalised Wiener index $W^λ$ for $λ>0$ and $λ<0$, and the reciprocal complementary Wiener index. Our results imply and unify known bounds on these Wiener-type indices for trees of given order and diameter.
We also present similar results for the $k$-Steiner Wiener index of trees with a given eccentric sequence. The Steiner distance of a set $A\subseteq V(G)$ is theminimum number of edges in a subtree of $G$ whose vertex set contains $A$, and the $k$-Steiner Wiener index is the sum of distances of all $k$-element subsets of $V(G)$. As a corollary, we obtain a sharp lower bound on the $k$-Steiner Wiener index of trees with given order and diameter, and determine in which cases the extremal tree is unique, thereby correcting an error in the literature.
The edge metric dimension of the generalized Petersen graph $P(n,3)$ is 4
Published
• View Publication
• BIB
It is known that the problem of computing the edge dimension of a graph is NP-hard, and that the edge dimension of any generalized Petersen graph $P(n,k)$ is at least 3. We prove that the graph $P(n,3)$ has edge dimension 4 for $n\ge 11$, by showing semi-combinatorially the nonexistence of an edge resolving set of order 3 and by constructing explicitly an edge resolving set of order 4.
A Linear Time Algorithm for Computing the Eternal Vertex Cover Number of Cactus Graphs
The eternal vertex cover problem is a dynamic variant of the classical vertex cover problem. It is NP-hard to compute the eternal vertex cover number of graphs and known algorithmic results for the problem are very few. This paper presents a linear time recursive algorithm for computing the eternal vertex cover number of cactus graphs. Unlike other graph classes for which polynomial time algorithms for eternal vertex cover number are based on efficient computability of a known lower bound directly derived from minimum vertex cover, we show that it is a certain substructure property that helps the efficient computation of eternal vertex cover number of cactus graphs. An extension of the result to graphs in which each block is an edge, a cycle or a biconnected chordal graph is also presented.
Mostar index of graph operations
Published
• View Publication
• BIB
Very recently, a bond-additive topological descriptor, known as the Mostar index, has been proposed as a measure of peripherality in graphs and networks. In this article, we compute the Mostar index of corona product, Cartesian product, join, lexicographic product, Indu-Bala product and subdivision vertex-edge join of graphs and apply these results to find the Mostar index of various classes of chemical graphs and nanostructures.
The generalised rainbow Turán problem for cycles
Published in SIAM J. Discrete Math. 36 (2022), 436-448
• View Publication
• BIB
Given an edge-coloured graph, we say that a subgraph is rainbow if all of its edges have different colours. Let $\operatorname{ex}(n,H,$rainbow-$F)$ denote the maximal number of copies of $H$ that a properly edge-coloured graph on $n$ vertices can contain if it has no rainbow subgraph isomorphic to $F$. We determine the order of magnitude of $\operatorname{ex}(n,C_s,$rainbow-$C_t)$ for all $s,t$ with $s\not =3$. In particular, we answer a question of Gerbner, Mészáros, Methuku and Palmer by showing that $\operatorname{ex}(n,C_{2k},$rainbow-$C_{2k})$ is $Θ(n^{k-1})$ if $k\geq 3$ and $Θ(n^2)$ if $k=2$. We also determine the order of magnitude of $\operatorname{ex}(n,P_\ell,$rainbow-$C_{2k})$ for all $k,\ell\geq 2$, where $P_\ell$ denotes the path with $\ell$ edges.
On the size Ramsey number of all cycles versus a path
Published
• View Publication
• BIB
We say $G\to (\mathcal{C}, P_n)$ if $G-E(F)$ contains an $n$-vertex path $P_n$ for any spanning forest $F\subset G$. The size Ramsey number $\hat{R}(\mathcal{C}, P_n)$ is the smallest integer $m$ such that there exists a graph $G$ with $m$ edges for which $G\to (\mathcal{C}, P_n)$. Dudek, Khoeini and Prałat proved that for sufficiently large $n$, $2.0036n \le \hat{R}(\mathcal{C}, P_n)\le 31n$. In this note, we improve both the lower and upper bounds to $2.066n\le \hat{R}(\mathcal{C}, P_n)\le 5.25n+O(1).$ Our construction for the upper bound is completely different than the one considered by Dudek, Khoeini and Prałat. We also have a computer assisted proof of the upper bound $\hat{R}(\mathcal{C}, P_n)\le \frac{75}{19}n +O(1) < 3.947n $.
Spectral preorder and perturbations of discrete weighted graphs
Published in Mathematische Annalen 382 (2022) 1775 - 1823
• View Publication
• BIB
In this article, we introduce a geometric and a spectral preorder relation on the class of weighted graphs with a magnetic potential. The first preorder is expressed through the existence of a graph homomorphism respecting the magnetic potential and fulfilling certain inequalities for the weights. The second preorder refers to the spectrum of the associated Laplacian of the magnetic weighted graph. These relations give a quantitative control of the effect of elementary and composite perturbations of the graph (deleting edges, contracting vertices, etc.) on the spectrum of the corresponding Laplacians, generalising interlacing of eigenvalues.
We give several applications of the preorders: we show how to classify graphs according to these preorders and we prove the stability of certain eigenvalues in graphs with a maximal d-clique. Moreover, we show the monotonicity of the eigenvalues when passing to spanning subgraphs and the monotonicity of magnetic Cheeger constants with respect to the geometric preorder. Finally, we prove a refined procedure to detect spectral gaps in the spectrum of an infinite covering graph.
General $d$-position sets
The general $d$-position number ${\rm gp}_d(G)$ of a graph $G$ is the cardinality of a largest set $S$ for which no three distinct vertices from $S$ lie on a common geodesic of length at most $d$. This new graph parameter generalizes the well studied general position number. We first give some results concerning the monotonic behavior of ${\rm gp}_d(G)$ with respect to the suitable values of $d$. We show that the decision problem concerning finding ${\rm gp}_d(G)$ is NP-complete for any value of $d$. The value of ${\rm gp}_d(G)$ when $G$ is a path or a cycle is computed and a structural characterization of general $d$-position sets is shown. Moreover, we present some relationships with other topics including strong resolving graphs and dissociation sets. We finish our exposition by proving that ${\rm gp}_d(G)$ is infinite whenever $G$ is an infinite graph and $d$ is a finite integer.
On the second eigenvalue of random bipartite biregular graphs
Published in Journal of Theoretical Probability 36,1269-1303 (2023)
• View Publication
• BIB
We consider the spectral gap of a uniformly chosen random $(d_1,d_2)$-biregular bipartite graph $G$ with $|V_1|=n, |V_2|=m$, where $d_1,d_2$ could possibly grow with $n$ and $m$. Let $A$ be the adjacency matrix of $G$. Under the assumption that $d_1\geq d_2$ and $d_2=O(n^{2/3}),$ we show that $λ_2(A)=O(\sqrt{d_1})$ with high probability. As a corollary, combining the results from Tikhomirov and Youssef (2019), we showed that the second singular value of a uniform random $d$-regular digraph is $O(\sqrt{d})$ for $1\leq d\leq n/2$ with high probability. Assuming $d_2$ is fixed and $d_1=O(n^2)$, we further prove that for a random $(d_1,d_2)$-biregular bipartite graph, $|λ_i^2(A)-d_1|=O(\sqrt{d_1})$ for all $2\leq i\leq n+m-1$ with high probability. The proofs of the two results are based on the size biased coupling method introduced in Cook, Goldstein, and Johnson (2018) for random $d$-regular graphs and several new switching operations we defined for random bipartite biregular graphs.
Broadcast Dimension of Graphs
In this paper we initiate the study of broadcast dimension, a variant of metric dimension. Let $G$ be a graph with vertex set $V(G)$, and let $d(u,w)$ denote the length of a $u-w$ geodesic in $G$. For $k \ge 1$, let $d_k(x,y)=\min \{d(x,y), k+1\}$. A function $f: V(G) \rightarrow \mathbb{Z}^+ \cup \{0\}$ is called a resolving broadcast of $G$ if, for any distinct $x,y \in V(G)$, there exists a vertex $z \in V(G)$ such that $f(z)=i>0$ and $d_{i}(x,z) \neq d_{i}(y,z)$. The broadcast dimension, $bdim(G)$, of $G$ is the minimum of $c_f(G)=\sum_{v \in V(G)} f(v)$ over all resolving broadcasts of $G$, where $c_f(G)$ can be viewed as the total cost of the transmitters (of various strength) used in resolving the entire network described by the graph $G$. Note that $bdim(G)$ reduces to $adim(G)$ (the adjacency dimension of $G$, introduced by Jannesari and Omoomi in 2012) if the codomain of resolving broadcasts is restricted to $\{0,1\}$. We determine its value for cycles, paths, and other families of graphs. We prove that $bdim(G) = Ω(\log{n})$ for all graphs $G$ of order $n$, and that the result is sharp up to a constant factor. We show that $\frac{adim(G)}{bdim(G)}$ and $\frac{bdim(G)}{dim(G)}$ can both be arbitrarily large, where $dim(G)$ denotes the metric dimension of $G$. We also examine the effect of vertex deletion on the adjacency dimension and the broadcast dimension of graphs.
Propagation time for weighted zero forcing
Zero forcing is a graph coloring process that was defined as a tool for bounding the minimum rank and maximum nullity of a graph. It has also been used for studying control of quantum systems and monitoring electrical power networks. One of the problems from the 2017 AIM workshop "Zero forcing and its applications" was to explore edge-weighted probabilistic zero forcing, where edges have weights that determine the probability of a successful force if forcing is possible under the standard zero forcing coloring rule.
In this paper, we investigate the expected time to complete the weighted zero forcing coloring process, known as the expected propagation time, as well as the time for the process to be completed with probability at least $α$, known as the $α$-confidence propagation time. We demonstrate how to find the expected and confidence propagation times of any edge-weighted graph using Markov matrices. We also determine the expected and confidence propagation times for various families of edge-weighted graphs including complete graphs, stars, paths, and cycles.
Spanning trees in random regular uniform hypergraphs
Published in Combinator. Probab. Comp. 31 (2022) 29-53
• View Publication
• BIB
Let $\mathcal{G}_{n,r,s}$ denote a uniformly random $r$-regular $s$-uniform hypergraph on the vertex set $\{1,2,\ldots, n\}$. We establish a threshold result for the existence of a spanning tree in $\mathcal{G}_{n,r,s}$, restricting to $n$ satisfying the necessary divisibility conditions. Specifically, we show that when $s\geq 5$, there is a positive constant $ρ(s)$ such that for any $r\geq 2$, the probability that $\mathcal{G}_{n,r,s}$ contains a spanning tree tends to 1 if $r > ρ(s)$, and otherwise this probability tends to zero. The threshold value $ρ(s)$ grows exponentially with $s$. As $\mathcal{G}_{n,r,s}$ is connected with probability which tends to 1, this implies that when $r \leq ρ(s)$, most $r$-regular $s$-uniform hypergraphs are connected but have no spanning tree. When $s=3,4$ we prove that $\mathcal{G}_{n,r,s}$ contains a spanning tree with probability which tends to 1, for any $r\geq 2$. Our proof also provides the asymptotic distribution of the number of spanning trees in $\mathcal{G}_{n,r,s}$ for all fixed integers $r,s\geq 2$. TPreviously, this asymptotic distribution was only known in the trivial case of 2-regular graphs, or for cubic graphs.
On the asymptotic enumeration of Cayley graphs
Published
• View Publication
• BIB
In this paper we are interested in the asymptotic enumeration of Cayley graphs. It has previously been shown that almost every Cayley digraph has the smallest possible automorphism group: that is, it is a digraphical regular representation (DRR). In this paper, we approach the corresponding question for undirected Cayley graphs. The situation is complicated by the fact that there are two infinite families of groups that do not admit any graphical regular representation (GRR).
The strategy for digraphs involved analysing separately the cases where the regular group $R$ has a nontrivial proper normal subgroup $N$ with the property that the automorphism group of the digraph fixes each $N$-coset setwise, and the cases where it does not. In this paper, we deal with undirected graphs in the case where the regular group has such a nontrivial proper normal subgroup.