graph
35150 papers tagged with this keyword
Some New Bounds For Cover-Free Families Through Biclique Cover
Published
• View Publication
• BIB
An $(r,w;d)$ cover-free family $(CFF)$ is a family of subsets of a finite set such that the intersection of any $r$ members of the family contains at least $d$ elements that are not in the union of any other $w$ members. The minimum number of elements for which there exists an $(r,w;d)-CFF$ with $t$ blocks is denoted by $N((r,w;d),t)$.
In this paper, we show that the value of $N((r,w;d),t)$ is equal to the $d$-biclique covering number of the bipartite graph $I_t(r,w)$ whose vertices are all $w$- and $r$-subsets of a $t$-element set, where a $w$-subset is adjacent to an $r$-subset if their intersection is empty. Next, we introduce some new bounds for $N((r,w;d),t)$. For instance, we show that for $r\geq w$ and $r\geq 2$
$$ N((r,w;1),t) \geq c{{r+w\choose w+1}+{r+w-1 \choose w+1}+ 3 {r+w-4 \choose w-2} \over \log r} \log (t-w+1),$$ where $c$ is a constant satisfies the well-known bound $N((r,1;1),t)\geq c\frac{r^2}{\log r}\log t$. Also, we determine the exact value of $N((r,w;d),t)$ for some values of $d$. Finally, we show that $N((1,1;d),4d-1)=4d-1$ whenever there exists a Hadamard matrix of order 4d.
A construction of cospectral graphs for the normalized Laplacian
Published in S. Butler and J. Grout, A construction of cospectral graphs for the normalized Laplacian, Electronic Journal of Combinatorics 18 (2011), #231, 20pp
• View Publication
• BIB
We give a method to construct cospectral graphs for the normalized Laplacian by a local modification in some graphs with special structure. Namely, under some simple assumptions, we can replace a small bipartite graph with a cospectral mate without changing the spectrum of the entire graph. We also consider a related result for swapping out biregular bipartite graphs for the matrix $A+tD$.
We produce (exponentially) large families of non-bipartite, non-regular graphs which are mutually cospectral, and also give an example of a graph which is cospectral with its complement but is not self-complementary.
Sums of squares and negative correlation for spanning forests of series parallel graphs
We provide new evidence that spanning forests of graphs satisfy the same negative correlation properties as spanning trees, derived from Lord Rayleigh's monotonicity property for electrical networks. The main result of this paper is that the Rayleigh difference for the spanning forest generating polynomial of a series parallel graph can be expressed as a certain positive sum of monomials times squares of polynomials. We also show that every regular matroid is independent-set-Rayleigh if and only if every basis-Rayleigh binary matroid is also independent-set-Rayleigh.
Partitions and Coverings of Trees by Bounded-Degree Subtrees
This paper addresses the following questions for a given tree $T$ and integer $d\geq2$: (1) What is the minimum number of degree-$d$ subtrees that partition $E(T)$? (2) What is the minimum number of degree-$d$ subtrees that cover $E(T)$? We answer the first question by providing an explicit formula for the minimum number of subtrees, and we describe a linear time algorithm that finds the corresponding partition. For the second question, we present a polynomial time algorithm that computes a minimum covering. We then establish a tight bound on the number of subtrees in coverings of trees with given maximum degree and pathwidth. Our results show that pathwidth is the right parameter to consider when studying coverings of trees by degree-3 subtrees. We briefly consider coverings of general graphs by connected subgraphs of bounded degree.
Measure preserving homomorphisms and independent sets in tensor graph powers
Published in Discrete Mathematics. Vol. 309, Issue 4 (2009) pp. 955-958
• View Publication
• BIB
In this note, we study the behavior of independent sets of maximum probability measure in tensor graph powers. To do this, we introduce an upper bound using measure preserving homomorphisms. This work extends some previous results about independence ratios of tensor graph powers.
A Dirac type condition for properly coloured paths and cycles
Published
• View Publication
• BIB
Let $c$ be an edge-colouring of a graph $G$ such that for every vertex $v$ there are at least $d \ge 2$ different colours on edges incident to $v$. We prove that $G$ contains a properly coloured path of length 2d or a properly coloured cycle of length at least $d+1$. Moreover, if $G$ does not contain any properly coloured cycle, then there exists a properly coloured path of length $3 \times 2^{d-1}-2$.
Graph Coloring and Function Simulation
Published
• View Publication
• BIB
We prove that every partial function with finite domain and range can be effectively simulated through sequential colorings of graphs. Namely, we show that given a finite set $S=\{0,1,\ldots,m-1\}$ and a number $n \geq \max\{m,3\}$, any partial function $\varphi:S^{^p} \to S^{^q}$ (i.e. it may not be defined on some elements of its domain $S^{^p}$) can be effectively (i.e. in polynomial time) transformed to a simple graph $\matr{G}_{_{\varphi,n}}$ along with three sets of specified vertices $$X = \{x_{_{0}},x_{_{1}},\ldots,x_{_{p-1}}\}, \ \ Y = \{y_{_{0}},y_{_{1}},\ldots,y_{_{q-1}}\}, \ \ R = \{\Kv{0},\Kv{1},\ldots,\Kv{n-1}\},$$ such that any assignment $σ_{_{0}}: X \cup R \to \{0,1,\ldots,n-1\} $ with $σ_{_{0}}(\Kv{i})=i$ for all $0 \leq i < n$, is {\it uniquely} and {\it effectively} extendable to a proper $n$-coloring $σ$ of $\matr{G}_{_{\varphi,n}}$ for which we have $$\varphi(σ(x_{_{0}}),σ(x_{_{1}}),\ldots,σ(x_{_{p-1}}))=(σ(y_{_{0}}),σ(y_{_{1}}),\ldots,σ(y_{_{q-1}})),$$ unless $(σ(x_{_{0}}),σ(x_{_{1}}),\ldots,σ(x_{_{p-1}}))$ is not in the domain of $\varphi$ (in which case $σ_{_{0}}$ has no extension to a proper $n$-coloring of $\matr{G}_{_{\varphi,n}}$).
Planar flows and Plücker's type quadratic relations over semirings
It is well known, due to Lindström, that the minors of a (real or complex) matrix can be expressed in terms of weights of flows in a planar directed graph. Another classical fact is that there are plenty of homogeneous quadratic relations involving flag minors, or Plücker coordinates of the corresponding flag manifold. Generalizing and unifying these facts and their tropical counterparts, we consider a wide class of functions on $2^{[n]}$ that are generated by flows in a planar graph and take values in an arbitrary commutative semiring, where $[n]=\{1,2,\ldots,n\}$. We show that the ``universal'' homogeneous quadratic relations fulfilled by such functions can be described in terms of certain matchings, and as a consequence, give combinatorial necessary and sufficient conditions on the collections of subsets of $[n]$ determining these relations.
Minimal Diagrams of Free Knots
Published in Journal of Knot Theory and Its Ramifications Vol. 23, No. 06 (2014)
• View Publication
• BIB
Manturov recently introduced the idea of a free knot, i.e. an equivalence class of virtual knots where equivalence is generated by crossing change and virtualization moves. He showed that if a free knot diagram is associated to a graph that is irreducibly odd, then it is minimal with respect to the number of classical crossings. Not all minimal diagrams of free knots are associated to irreducibly odd graphs, however. We introduce a family of free knot diagrams that arise from certain permutations that are minimal but not irreducibly odd.
Decomposition theorem on matchable distributive lattices
Published in Discrete Applied Mathematics 166 (2014) 239--248
• View Publication
• BIB
A distributive lattice structure ${\mathbf M}(G)$ has been established on the set of perfect matchings of a plane bipartite graph $G$. We call a lattice {\em matchable distributive lattice} (simply MDL) if it is isomorphic to such a distributive lattice. It is natural to ask which lattices are MDLs. We show that if a plane bipartite graph $G$ is elementary, then ${\mathbf M}(G)$ is irreducible. Based on this result, a decomposition theorem on MDLs is obtained: a finite distributive lattice $\mathbf{L}$ is an MDL if and only if each factor in any cartesian product decomposition of $\mathbf{L}$ is an MDL. Two types of MDLs are presented: $J(\mathbf{m}\times \mathbf{n})$ and $J(\mathbf{T})$, where $\mathbf{m}\times \mathbf{n}$ denotes the cartesian product between $m$-element chain and $n$-element chain, and $\mathbf{T}$ is a poset implied by any orientation of a tree.
Very Well-Covered Graphs of Girth at least Four and Local Maximum Stable Set Greedoids
Published
• View Publication
• BIB
A \textit{maximum stable set} in a graph $G$ is a stable set of maximum cardinality. $S$ is a \textit{local maximum stable set} of $G$, and we write $S\inΨ(G)$, if $S$ is a maximum stable set of the subgraph induced by $S\cup N(S)$, where $N(S)$ is the neighborhood of $S$. Nemhauser and Trotter Jr. (1975), proved that any $S\inΨ(G)$ is a subset of a maximum stable set of $G$. In (Levit & Mandrescu, 2002) we have shown that the family $Ψ(T)$ of a forest $T$ forms a greedoid on its vertex set. The cases where $G$ is bipartite, triangle-free, well-covered, while $Ψ(G)$ is a greedoid, were analyzed in (Levit & Mandrescu, 2002),(Levit & Mandrescu, 2004),(Levit & Mandrescu, 2007), respectively. In this paper we demonstrate that if $G$ is a very well-covered graph of girth $\geq4$, then the family $Ψ(G)$ is a greedoid if and only if $G$ has a unique perfect matching.
Independence number of generalized Petersen graphs
Determining the size of a maximum independent set of a graph $G$, denoted by $α(G)$, is an NP-hard problem. Therefore, many attempts are made to find upper and lower bounds, or exact values of $α(G)$ for special classes of graphs.
This paper is aimed toward studying this problem for the class of generalized Petersen graphs. We find new upper and lower bounds and some exact values for $α(P(n,k))$. With a computer program we have obtained exact values for each $n<78$. In \cite{MR2381433} it is conjectured that $β(P(n, k)) \leq n + \lceil\frac{n}{5}\rceil $, for all $n$ and $k$. We prove this conjecture for some cases. In particular, we show that if $ n> 3k$, the conjecture is valid. We checked the conjecture with our table for $n < 78$ and it had no inconsistency. Finally, we show that for every fix $k$, $α(P(n, k))$ can be computed using an algorithm with running time O(n).
On the unimodality of independence polynomials of some graphs
Published
• View Publication
• BIB
In this paper we study unimodality problems for the independence polynomial of a graph, including unimodality, log-concavity and reality of zeros. We establish recurrence relations and give factorizations of independence polynomials for certain classes of graphs. As applications we settle some unimodality conjectures and problems.
The critical group of $K_m\vee P_n$ and $P_m\vee P_n$
Let $G_1\sq G_2$ denote the graph obtained from $G_1+G_2$ by adding new edges from each vertex of $G_1$ to every vertex of $G_2$. In this paper, the critical groups of the graphs $K_m\sq P_n$$(n\geq4)$ and $P_m\sq P_n$$(m\geq4,n\geq5)$ are determined.
On the Orchard crossing number of complete bipartite graphs
Published
• View Publication
• BIB
We compute the Orchard crossing number, which is defined in a similar way to the rectilinear crossing number, for the complete bipartite graphs K_{n,n}.
A Note on the Critical Group of a Line Graph
Published
• View Publication
• BIB
This note answers a question posed by Levine in arkiv:math.CO/0906.2809. The main result is Theorem 1 which shows that under certain circumstances a critical group of a directed graph is the quotient of a critical group of its directed line graph.
Symmetry properties of subdivision graphs
Published
• View Publication
• BIB
The subdivision graph $S(Σ)$ of a graph $Σ$ is obtained from $Σ$ by `adding a vertex' in the middle of every edge of $\Si$. Various symmetry properties of $§(Σ)$ are studied. We prove that, for a connected graph $Σ$, $S(Σ)$ is locally $s$-arc transitive if and only if $Σ$ is $\lceil\frac{s+1}{2}\rceil$-arc transitive. The diameter of $S(Σ)$ is $2d+δ$, where $Σ$ has diameter $d$ and $0\leqslant δ\leqslant 2$, and local $s$-distance transitivity of $§(Σ)$ is defined for $1\leqslant s\leqslant 2d+δ$. In the general case where $s\leqslant 2d-1$ we prove that $S(Σ)$ is locally $s$-distance transitive if and only if $Σ$ is $\lceil\frac{s+1}{2}\rceil$-arc transitive. For the remaining values of $s$, namely $2d\leqslant s\leqslant 2d+δ$, we classify the graphs $Σ$ for which $S(Σ)$ is locally $s$-distance transitive in the cases, $s\leqslant 5$ and $s\geqslant 15+δ$. The cases $\max\{2d, 6\}\leqslant s\leqslant \min\{2d+δ, 14+δ\}$ remain open.
Random Information Spread in Networks
Let G=(V,E) be an undirected loopless graph with possible parallel edges and s and t be two vertices of G. Assume that vertex s is labelled at the initial time step and that every labelled vertex copies its labelling to neighbouring vertices along edges with one labelled endpoint independently with probability p in one time step. In this paper, we establish the equivalence between the expected s-t first arrival time of the above spread process and the notion of the stochastic shortest s-t path. Moreover, we give a short discussion of analytical results on special graphs including the complete graph and s-t series-parallel graphs. Finally, we propose some lower bounds for the expected s-t first arrival time.
Small covers and the equivariant bordism classification of 2-torus manifolds
Published in International Mathematics Research Notices, Vol. 2014, No. 24, pp. 6756--6797
• View Publication
• BIB
Associated with the Davis-Januszkiewicz theory of small covers, this paper deals with the theory of 2-torus manifolds from the viewpoint of equivariant bordism. We define a differential operator on the "dual" algebra of the unoriented $G_n$-representation algebra introduced by Conner and Floyd, where $G_n=(\Z_2)^n$. With the help of $G_n$-colored graphs (or mod 2 GKM graphs), we may use this differential operator to give a very simple description of tom Dieck-Kosniowski-Stong localization theorem in the setting of 2-torus manifolds. We then apply this to study the $G_n$-equivariant unoriented bordism classification of $n$-dimensional 2-torus manifolds. We show that the $G_n$-equivariant unoriented bordism class of each $n$-dimensional 2-torus manifold contains an $n$-dimensional small cover as its representative, solving the conjecture posed in [19]. In addition, we also obtain that the graded noncommutative ring formed by the equivariant unoriented bordism classes of 2-torus manifolds of all possible dimensions is generated by the classes of all generalized real Bott manifolds (as special small covers over the products of simplices). This gives a strong connection between the computation of $G_n$-equivariant bordism groups or ring and the Davis-Januszkiewicz theory of small covers. As a computational application, with the help of computer, we completely determine the structure of the group formed by equivariant bordism classes of all 4-dimensional 2-torus manifolds. Finally, we give some essential relationships among 2-torus manifolds, coloring polynomials, colored simple convex polytopes, colored graphs.
Hamilton cycles in dense vertex-transitive graphs
Published in J. Combin. Theory Ser. B 109 (2014), 34-72
• View Publication
• BIB
A famous conjecture of Lovász states that every connected vertex-transitive graph contains a Hamilton path. In this article we confirm the conjecture in the case that the graph is dense and sufficiently large. In fact, we show that such graphs contain a Hamilton cycle and moreover we provide a polynomial time algorithm for finding such a cycle.