arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35299 papers tagged with this keyword
2015-08-03
Generalized power domination in WK-Pyramid Networks
The notion of power domination arises in the context of monitoring an electric power system with as few phase measurement units as possible. The $k-$power domination number of a graph $G$ is the minimum cardinality of a $k-$power dominating set ($k-$PDS) of $G$. In this paper, we determine the $k-$power domination number of WK-Pyramid networks, $WKP_{(C,L)}$, for all positive values of $k$ except for $k=C-1, C \geq 2$, for which we give an upper bound. The $k-$propagation radius of a graph $G$ is the minimum number of propagation steps needed to monitor the graph $G$ over all minimum $k-$PDS. We obtain the $k-$propagation radius of $WKP_{(C,L)}$ in some cases.
2015-08-03 v2
Novel Bounds for the Normalized Laplacian Estrada and Normalized Energy Index of Graphs
Published in MATCH, Commun. Math. Comput. Chem. 77(3), 673-690 (2017) • Search Publication
For a simple and connected graph, several lower and upper bounds of graph invariants expressed in terms of the eigenvalues of the normalized Laplacian matrix have been proposed in literature. In this paper, through a unified approach based on majorization techniques, we provide some novel inequalities depending on additional information on the localization of the eigenvalues of the normalized Laplacian matrix. Some numerical examples show how sharper results can be obtained with respect to those existing in literature.
2015-08-03
New Bounds for the Sum of Powers of Normalized Laplacian Eigenvalues of Graphs
Published in Ars Matematica Contemporanea (2016) Vol.11 (2): 403-414 • View Publication • BIB
For a simple and connected graph, a new graph invariant $s_α^{*}(G)$, defined as the sum of powers of the eigenvalues of the normalized Laplacian matrix, has been introduced by Bozkurt and Bozkurt in [7]. Lower and upper bounds have been proposed by the authors. In this paper, we localize the eigenvalues of the normalized Laplacian matrix by adapting a theoretical method, proposed in Bianchi and Torriero ([5]), based on majorization techniques. Through this approach we derive upper and lower bounds of $s_α^{*}(G)$. Some numerical examples show how sharper results can be obtained with respect to those existing in literature.
2015-08-03
On the Existence of $t$-Identifying Codes in Undirected De Bruijn Graphs
This paper proves the existence of $t$-identifying codes on the class of undirected de Bruijn graphs with string length $n$ and alphabet size $d$, referred to as $\mathcal{B}(d,n)$. It is shown that $\mathcal{B}(d,n)$ is $t$-identifiable whenever $d \geq 3$ and $n \geq 2t$, and $t \geq 1$. We also show that $\mathcal{B}(d,n)$ is $t$-identifiable if either $d \geq 3$, $n \geq 3$, and $t=2$, or if $d = 2$, $n \geq 3$, and $t=1$. The remaining cases remain open. Additionally, we show that the eccentricity of the undirected non-binary de Bruijn graph is $n$.
The Waldschmidt constant for squarefree monomial ideals
Published • View Publication • BIB
Given a squarefree monomial ideal $I \subseteq R =k[x_1,\ldots,x_n]$, we show that $\widehatα(I)$, the Waldschmidt constant of $I$, can be expressed as the optimal solution to a linear program constructed from the primary decomposition of $I$. By applying results from fractional graph theory, we can then express $\widehatα(I)$ in terms of the fractional chromatic number of a hypergraph also constructed from the primary decomposition of $I$. Moreover, expressing $\widehatα(I)$ as the solution to a linear program enables us to prove a Chudnovsky-like lower bound on $\widehatα(I)$, thus verifying a conjecture of Cooper-Embree-Hà-Hoefel for monomial ideals in the squarefree case. As an application, we compute the Waldschmidt constant and the resurgence for some families of squarefree monomial ideals. For example, we determine both constants for unions of general linear subspaces of $\mathbb{P}^n$ with few components compared to $n$, and we find the Waldschmidt constant for the Stanley-Reisner ideal of a uniform matroid.
2015-08-03 v4
Local geometry of the k-curve graph
Published • View Publication • BIB
Let $S$ be an orientable surface with negative Euler characteristic. For $k \in \mathbb{N}$, let $\mathcal{C}_{k}(S)$ denote the $\textit{k-curve graph}$, whose vertices are isotopy classes of essential simple closed curves on $S$, and whose edges correspond to pairs of curves that can be realized to intersect at most $k$ times. The theme of this paper is that the geometry of Teichmüller space and of the mapping class group captures local combinatorial properties of $\mathcal{C}_{k}(S)$. Using techniques for measuring distance in Teichmüller space, we obtain upper bounds on the following three quantities for large $k$: the clique number of $\mathcal{C}_{k}(S)$ (exponential in $k$, which improves on all previously known bounds and which is essentially sharp); the maximum size of the intersection, whenever it is finite, of a pair of links in $\mathcal{C}_{k}$ (quasi-polynomial in $k$); and the diameter in $\mathcal{C}_{0}(S)$ of a large clique in $\mathcal{C}_{k}(S)$ (uniformly bounded). As an application, we obtain quasi-polynomial upper bounds, depending only on the topology of $S$, on the number of short simple closed geodesics on any square-tiled surface homeomorphic to $S$.
Graph realizations constrained by skeleton graphs
Published in The Electronic Journal of Combinatorics, 24 (2) (2017), #P2.47 • Search Publication
In 2008 Amanatidis, Green and Mihail introduced the Joint Degree Matrix (JDM) model to capture the fundamental difference in assortativity of networks in nature studied by the physical and life sciences and social networks studied in the social sciences. In 2014 Czabarka proposed a direct generalization of the JDM model, the Partition Adjacency Matrix (PAM) model. In the PAM model the vertices have specified degrees, and the vertex set itself is partitioned into classes. For each pair of vertex classes the number of edges between the classes in a graph realization is prescribed. In this paper we apply the new {\em skeleton graph} model to describe the same information as the PAM model. Our model is more convenient for handling problems with low number of partition classes or with special topological restrictions among the classes. We investigate two particular cases in detail: (i) when there are only two vertex classes and (ii) when the skeleton graph contains at most one cycle.
2015-08-02 v3
The numbers of edges of the order polytope and the chain poyltope of a finite partially ordered set
Published • View Publication • BIB
Let $P$ be an arbitrary finite partially ordered set. It will be proved that the number of edges of the order polytope ${\mathcal O}(P)$ is equal to that of the chain polytope ${\mathcal C}(P)$. Furthermore, it will be shown that the degree sequence of the finite simple graph which is the $1$-skeleton of ${\mathcal O}(P)$ is equal to that of ${\mathcal C}(P)$ if and only if ${\mathcal O}(P)$ and ${\mathcal C}(P)$ are unimodularly equivalent.
2015-08-01
Multi-Switch: a Tool for Finding Potential Edge-Disjoint $1$-factors
Published • View Publication • BIB
Let $n$ be even, let $π= (d_1, \ldots, d_n)$ be a graphic degree sequence, and let $π- k = (d_1 - k, \ldots, d_n - k)$ also be graphic. Kundu proved that $π$ has a realization $G$ containing a $k$-factor, or $k$-regular graph. Another way to state the conclusion of Kundu's theorem is that $π$ \emph{potentially} contains a $k$-factor. Busch, Ferrara, Hartke, Jacobsen, Kaul, and West conjectured that more was true: $π$ potentially contains $k$ edge-disjoint $1$-factors. Along these lines, they proved $π$ would potentially contain edge-disjoint copies of a $(k-2)$-factor and two $1$-factors. We follow the methods of Busch et al.\ but introduce a new tool which we call a multi-switch. Using this new idea, we prove that $π$ potentially has edge-disjoint copies of a $(k-4)$-factor and four $1$-factors. We also prove that $π$ potentially has ($\lfloor k/2 \rfloor + 2$) edge-disjoint $1$-factors, but in this case cannot prove the existence of a large regular graph.
2015-08-01
Interval edge-colorings of composition of graphs
Published • View Publication • BIB
An edge-coloring of a graph $G$ with consecutive integers $c_{1},\ldots,c_{t}$ is called an \emph{interval $t$-coloring} if all colors are used, and the colors of edges incident to any vertex of $G$ are distinct and form an interval of integers. A graph $G$ is interval colorable if it has an interval $t$-coloring for some positive integer $t$. The set of all interval colorable graphs is denoted by $\mathfrak{N}$. In 2004, Giaro and Kubale showed that if $G,H\in \mathfrak{N}$, then the Cartesian product of these graphs belongs to $\mathfrak{N}$. In the same year they formulated a similar problem for the composition of graphs as an open problem. Later, in 2009, the first author showed that if $G,H\in \mathfrak{N}$ and $H$ is a regular graph, then $G[H]\in \mathfrak{N}$. In this paper, we prove that if $G\in \mathfrak{N}$ and $H$ has an interval coloring of a special type, then $G[H]\in \mathfrak{N}$. Moreover, we show that all regular graphs, complete bipartite graphs and trees have such a special interval coloring. In particular, this implies that if $G\in \mathfrak{N}$ and $T$ is a tree, then $G[T]\in \mathfrak{N}$.
Lower Bounds on the Distance Domination Number of a Graph
Published • View Publication • BIB
For an integer $k \ge 1$, a (distance) $k$-dominating set of a connected graph $G$ is a set $S$ of vertices of $G$ such that every vertex of $V(G) \setminus S$ is at distance at most~$k$ from some vertex of $S$. The $k$-domination number, $γ_k(G)$, of $G$ is the minimum cardinality of a $k$-dominating set of $G$. In this paper, we establish lower bounds on the $k$-domination number of a graph in terms of its diameter, radius and girth. We prove that for connected graphs $G$ and $H$, $γ_k(G \times H) \ge γ_k(G) + γ_k(H) -1$, where $G \times H$ denotes the direct product of $G$ and $H$.
2015-07-31 v2
Large butterfly Cayley graphs and digraphs
Published in Discrete Math., 340(10):2432-2436, 2017 • View Publication • BIB
We present families of large undirected and directed Cayley graphs whose construction is related to butterfly networks. One approach yields, for every large $k$ and for values of $d$ taken from a large interval, the largest known Cayley graphs and digraphs of diameter $k$ and degree $d$. Another method yields, for sufficiently large $k$ and infinitely many values of $d$, Cayley graphs and digraphs of diameter $k$ and degree $d$ whose order is exponentially larger in $k$ than any previously constructed. In the directed case, these are within a linear factor in $k$ of the Moore bound.
2015-07-31
Adjacency relationships forced by a degree sequence
Published in Graphs and Combinatorics, vol. 34 (2018), no. 6, pp. 1411-1427 • View Publication • BIB
There are typically several nonisomorphic graphs having a given degree sequence, and for any two degree sequence terms it is often possible to find a realization in which the corresponding vertices are adjacent and one in which they are not. We provide necessary and sufficient conditions for two vertices to be adjacent (or nonadjacent) in every realization of the degree sequence. These conditions generalize degree sequence and structural characterizations of the threshold graphs, in which every adjacency relationship is forcibly determined by the degree sequence. We further show that degree sequences for which adjacency relationships are forced form an upward-closed set in the dominance order on graphic partitions of an even integer.
Computing the strong alliance polynomial of a graph
We introduce the strong alliance polynomial of a graph. The strong alliance polynomial of a graph $G$ with order n and strong defensive alliance number $a(G)$ is the polynomial $a(G;x):=\sum_{i=a(G)}^{n}\, a_i(G)\ x^i$, where $a_{k}(G)$ is the number of strong defensive alliances with cardinality $k$ in $G$. We obtain some properties of $a(G; x)$ and its coefficients. In particular, we compute strong alliance polynomial for path, cycle, complete, start, complete bipartite and double star graphs; some of them verify unimodality.
2015-07-30 v2
Convolution Preserves Partial Synchronicity of Log-concave Sequences
Published • View Publication • BIB
In a recent proof of the log-concavity of genus polynomials of some families of graphs, Gross et al. defined the weakly synchronicity relation between log-concave sequences, and conjectured that the convolution operation by any log-concave sequence preserves weakly synchronicity. We disprove it by providing a counterexample. Furthermore, we find the so-called partial synchronicity relation between log-concave sequences, which is (i) weaker than the synchronicity, (ii) stronger than the weakly synchronicity, and (iii) preserved by the convolution operation.
2015-07-30
On The Chromatic Number of Matching Graphs
Published • View Publication • BIB
In an earlier paper, the present authors (2013) introduced the altermatic number of graphs and used Tucker's Lemma, an equivalent combinatorial version of the Borsuk-Ulam Theorem, to show that the altermatic number is a lower bound for the chromatic number. A matching graph has the set of all matchings of a specified size of a graph as vertex set and two vertices are adjacent if the corresponding matchings are edge-disjoint. It is known that the Kneser graphs, the Schrijver graphs, and the permutation graphs can be represented by matching graphs. In this paper, as a generalization of the well-known result of Schrijver about the chromatic number of Schrijver graphs, we determine the chromatic number of a large family of matching graphs by specifying their altermatic number. In particular, we determine the chromatic number of these matching graphs in terms of the generalized Turan number of matchings.
2015-07-30 v2
Asymptotics for the determinant of the combinatorial Laplacian on hypercubic lattices
Published • View Publication • BIB
In this paper, we compute asymptotics for the determinant of the combinatorial Laplacian on a sequence of $d$-dimensional orthotope square lattices as the number of vertices in each dimension grows at the same rate. It is related to the number of spanning trees by the well-known matrix tree theorem. Asymptotics for $2$ and $3$ component rooted spanning forests in these graphs are also derived. Moreover, we express the number of spanning trees in a $2$-dimensional square lattice in terms of the one in a $2$-dimensional discrete torus and also in the quartered Aztec diamond. As a consequence, we find an asymptotic expansion of the number of spanning trees in a subgraph of $\mathbb{Z}^2$ with a triangular boundary.
Bounding the gap between the McCormick relaxation and the convex hull for bilinear functions
Published in Mathematical Programming, 2017, Volume 162, Issue 1, pp 523-535 • View Publication • BIB
We investigate how well the graph of a bilinear function $b:[0,1]^n\to\mathbb{R}$ can be approximated by its McCormick relaxation. In particular, we are interested in the smallest number $c$ such that the difference between the concave upper bounding and convex lower bounding functions obtained from the McCormick relaxation approach is at most $c$ times the difference between the concave and convex envelopes. Answering a question of Luedtke, Namazifar and Linderoth, we show that this factor $c$ cannot be bounded by a constant independent of $n$. More precisely, we show that for a random bilinear function $b$ we have asymptotically almost surely $c\geqslant\sqrt n/4$. On the other hand, we prove that $c\leqslant 600\sqrt{n}$, which improves the linear upper bound proved by Luedtke, Namazifar and Linderoth. In addition, we present an alternative proof for a result of Misener, Smadbeck and Floudas characterizing functions $b$ for which the McCormick relaxation is equal to the convex hull.
A modified bootstrap percolation on a random graph coupled with a lattice
Published • View Publication • BIB
In this paper a random graph model $G_{\mathbb{Z}^2_N,p_d}$ is introduced, which is a combination of fixed torus grid edges in $(\mathbb{Z}/N \mathbb{Z})^2$ and some additional random ones. The random edges are called long, and the probability of having a long edge between vertices $u,v\in(\mathbb{Z}/N \mathbb{Z})^2$ with graph distance $d$ on the torus grid is $p_d=c/Nd$, where $c$ is some constant. We show that, {\em whp}, the diameter $D(G_{\mathbb{Z}^2_N,p_d})=Θ(\log N)$. Moreover, we consider non-monotonous bootstrap percolation on $G_{\mathbb{Z}^2_N,p_d}$. We prove the presence of phase transitions in mean-field approximation and provide fairly sharp bounds on the error of the critical parameters. Our model addresses interesting mathematical questions of non-monotonous bootstrap percolation, and it is motivated by recent results of brain research.
2015-07-29 v3
Expression for the Number of Spanning Trees of Line Graphs of Arbitrary Connected Graphs
Published in J.Graph Theory 85 (2017) 74-93 • View Publication • BIB
For any graph $G$, let $t(G)$ be the number of spanning trees of $G$, $L(G)$ be the line graph of $G$ and for any non-negative integer $r$, $S_r(G)$ be the graph obtained from $G$ by replacing each edge $e$ by a path of length $r+1$ connecting the two ends of $e$. In this paper we obtain an expression for $t(L(S_r(G)))$ in terms of spanning trees of $G$ by a combinatorial approach. This result generalizes some known results on the relation between $t(L(S_r(G)))$ and $t(G)$ and gives an explicit expression $t(L(S_r(G)))=k^{m+s-n-1}(rk+2)^{m-n+1}t(G)$ if $G$ is of order $n+s$ and size $m+s$ in which $s$ vertices are of degree $1$ and the others are of degree $k$. Thus we prove a conjecture on $t(L(S_1(G)))$ for such a graph $G$.