graph
35150 papers tagged with this keyword
Spanning trees with many leaves: new lower bounds in terms of number of vertices of degree~3 and at least~4
Published in Journal of Mathematical Sciences, Volume 196, Issue 6 (2014), pp 747-767
• View Publication
• BIB
We prove, that every connected graph with $s$ vertices of degree 3 and $t$ vertices of degree at least~4 has a spanning tree with at least ${2\over 5}t +{1\over 5}s+α$ leaves, where $α\ge {8\over 5}$. Moreover, $α\ge 2$ for all graphs besides three exclusions. All exclusion are regular graphs of degree~4, they are explicitly described in the paper.
We present infinite series of graphs, containing only vertices of degrees~3 and~4, for which the maximal number of leaves in a spanning tree is equal for ${2\over 5}t +{1\over 5}s+2$. Therefore we prove that our bound is tight.
Determinants of weighted path matrices
We find rational expressions for all minors of the weighted path matrix of a directed graph, generalizing the classical Lindstrom/Gessel-Viennot result for acyclic directed graphs. The formulas are given in terms of certain flows in the graph.
Communication-Optimal Parallel Algorithm for Strassen's Matrix Multiplication
Published
• View Publication
• BIB
Parallel matrix multiplication is one of the most studied fundamental problems in distributed and high performance computing. We obtain a new parallel algorithm that is based on Strassen's fast matrix multiplication and minimizes communication. The algorithm outperforms all known parallel matrix multiplication algorithms, classical and Strassen-based, both asymptotically and in practice.
A critical bottleneck in parallelizing Strassen's algorithm is the communication between the processors. Ballard, Demmel, Holtz, and Schwartz (SPAA'11) prove lower bounds on these communication costs, using expansion properties of the underlying computation graph. Our algorithm matches these lower bounds, and so is communication-optimal. It exhibits perfect strong scaling within the maximum possible range.
Benchmarking our implementation on a Cray XT4, we obtain speedups over classical and Strassen-based algorithms ranging from 24% to 184% for a fixed matrix dimension n=94080, where the number of nodes ranges from 49 to 7203.
Our parallelization approach generalizes to other fast matrix multiplication algorithms.
Large feedback arc sets, high minimum degree subgraphs, and long cycles in Eulerian digraphs
Published
• View Publication
• BIB
A minimum feedback arc set of a directed graph $G$ is a smallest set of arcs whose removal makes $G$ acyclic. Its cardinality is denoted by $β(G)$. We show that an Eulerian digraph with $n$ vertices and $m$ arcs has $β(G) \ge m^2/2n^2+m/2n$, and this bound is optimal for infinitely many $m, n$. Using this result we prove that an Eulerian digraph contains a cycle of length at most $6n^2/m$, and has an Eulerian subgraph with minimum degree at least $m^2/24n^3$. Both estimates are tight up to a constant factor. Finally, motivated by a conjecture of Bollobás and Scott, we also show how to find long cycles in Eulerian digraphs.
A linear-time algorithm for finding a complete graph minor in a dense graph
Published in SIAM Journal on Discrete Mathematics, 27/4:1770--1774, 2013
• View Publication
• BIB
Let g(t) be the minimum number such that every graph G with average degree d(G) \geq g(t) contains a K_{t}-minor. Such a function is known to exist, as originally shown by Mader. Kostochka and Thomason independently proved that g(t) \in Θ(t*sqrt{log t}). This article shows that for all fixed ε> 0 and fixed sufficiently large t \geq t(ε), if d(G) \geq (2+ε)g(t) then we can find this K_{t}-minor in linear time. This improves a previous result by Reed and Wood who gave a linear-time algorithm when d(G) \geq 2^{t-2}.
A combinatorial decomposition of higher level Fock spaces
We give a simple characterization of the highest weight vertices in the crystal graph of the level l Fock spaces. This characterization is based on the notion of totally periodic symbols viewed as affine analogues of reverse lattice words classically used in the decomposition of tensor products of fundamental $\mathfrak{sl}_{n}$-modules. This yields a combinatorial decomposition of the Fock spaces in their irreducible components and the branching law for the restriction of the irreducible highest weight $\mathfrak{sl}_{\infty}$-modules to $\hat{\mathfrak{sl}_{e}}$.
Edge-isoperimetric problem for Cayley graphs and generalized Takagi function
Published
• View Publication
• BIB
Let $G$ be a finite abelian abelian group of exponent $m\ge 2$. For subsets $A,S\subset G$, denote by $\partial_S(A)$ the number of edges from $A$ to its complement $G\setminus A$ in the directed Cayley graph, induced by $S$ on $G$. We show that if $S$ generates $G$, and $A$ is non-empty, then
$$ \partial_S(A) \ge \frac{e}m\,|A|\ln\frac{|G|}{|A|}. $$
Here the coefficient $e=2.718...$ is best possible and cannot be replaced with a number larger than $e$.
For homocyclic groups $G$ of exponent $m$, we find an explicit closed-form expression for $\partial_S(A)$ in the case where $S$ is a "standard" generating subset of $G$, and $A$ is an initial segment of $G$ with respect to the lexicographic order, induced by $S$ on $G$. Namely, we show that in this situation
$$ \partial_S(A) = |G|\,ω_m(|A|/|G|), $$ where $ω_2$ is the Takagi function, and $ω_m$ for $m\ge 3$ is an appropriate generalization thereof. This particular case is of special interest, since for $m\in\{2,3,4\}$ it is known to yield the smallest possible value of $\partial_S(A)$, over all sets $A\subset G$ of given size. We give this classical result a new proof, somewhat different from the standard one.
We also give a new, short proof of the Boros-Pales inequality $$ω_2(\frac{x+y}2) \le \frac{ω_2(x) + ω_2(y)}2 + \frac12\,|y-x|, $$ establish an extremal characterization of the Takagi function as the (pointwise) maximal function, satisfying this inequality and the boundary condition $\max\{ω_2(0),ω_2(1)\}\le 0$, and obtain similar results for the 3-adic analog $ω_3$ of the Takagi function.
Toward a graph version of Rado's theorem
Published
• View Publication
• BIB
An equation is called graph-regular if it always has monochromatic solutions under edge-colorings of the complete graph on the naturals. We present two Rado-like conditions which are respectively necessary and sufficient for an equation to be graph-regular.
An additive version of Ramsey's theorem
Published
• View Publication
• BIB
We show that, for every $r, k$, there is an $n = n(r,k)$ so that any $r$-coloring of the edges of the complete graph on $[n]$ will yield a monochromatic complete subgraph on vertices ${a + \sum_{i \in I} d_i \mid I \subseteq [k]}$ for some choice of $a, d_1,..., d_k$. In particular, there is always a solution to $x_1 + ... + x_\ell = y_1 + ... + y_\ell$ whose induced subgraph is monochromatic.
The number of Euler tours of a random directed graph
Published
• View Publication
• BIB
In this paper we obtain the expectation and variance of the number of Euler tours of a random Eulerian directed graph with fixed out-degree sequence. We use this to obtain the asymptotic distribution of the number of Euler tours of a random $d$-in/$d$-out graph and prove a concentration result. We are then able to show that a very simple approach for uniform sampling or approximately counting Euler tours yields algorithms running in expected polynomial time for almost every $d$-in/$d$-out graph. We make use of the BEST theorem of de Bruijn, van Aardenne-Ehrenfest, Smith and Tutte, which shows that the number of Euler tours of an Eulerian directed graph with out-degree sequence $\mathbf{d}$ is the product of the number of arborescences and the term $\frac{1}{n}[\prod_{v \in V}(d_v-1)!]$. Therefore most of our effort is towards estimating the moments of the number of arborescences of a random graph with fixed out-degree sequence.
An odd characterization of the generalized odd graphs
Published in Journal of Combinatorial Theory, Series B 101 (2011), 486-489
• View Publication
• BIB
We show that any connected regular graph with $d+1$ distinct eigenvalues and odd-girth $2d+1$ is distance-regular, and in particular that it is a generalized odd graph.
Trivalent expanders and hyperbolic surfaces
We introduce a family of trivalent expanders which tessellate compact hyperbolic surfaces with large isometry groups. We compare this family with Platonic graphs and modifications of them and prove topological and spectral properties of these families.
The thickness of cartesian product $K_n \Box P_m$
The thickness $θ(G)$ of a graph $G$ is the minimum number of planar spanning subgraphs into which the graph $G$ can be decomposed. It is a topological invariant of a graph, which was defined by W.T. Tutte in 1963 and also has important applications to VLSI design. But comparing with other topological invariants, e.g. genus and crossing number, results about thickness of graphs are few. The only types of graphs whose thicknesses have been obtained are complete graphs, complete bipartite graphs and hypercubes. In this paper, by operations on graphs, the thickness of the cartesian product $K_n \Box P_m$, $n,m \geq 2$ are obtained.
Secure Frameproof Code Through Biclique Cover
Published
• View Publication
• BIB
For a binary code $Γ$ of length $v$, a $v$-word $w$ produces by a set of codewords $\{w^1,...,w^r\} \subseteq Γ$ if for all $i=1,...,v$, we have $w_i\in \{w_i^1, ..., w_i^r\}$ . We call a code $r$-secure frameproof of size $t$ if $|Γ|=t$ and for any $v$-word that is produced by two sets $C_1$ and $C_2$ of size at most $r$ then the intersection of these sets is nonempty. A $d$-biclique cover of size $v$ of a graph $G$ is a collection of $v$-complete bipartite subgraphs of $G$ such that each edge of $G$ belongs to at least $d$ of these complete bipartite subgraphs. In this paper, we show that for $t\geq 2r$, an $r$-secure frameproof code of size $t$ and length $v$ exists if and only if there exists a 1-biclique cover of size $v$ for the Kneser graph ${\rm KG}(t,r)$ whose vertices are all $r$-subsets of a $t$-element set and two $r$-subsets are adjacent if their intersection is empty. Then we investigate some connection between the minimum size of $d$-biclique covers of Kneser graphs and cover-free families, where an $(r,w; d)$ cover-free family 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. Also, we present an upper bound for 1-biclique covering number of Kneser graphs.
A Classification of Orientable Regular Embeddings of Complete Multipartite Graphs
Published
• View Publication
• BIB
Let $K_{m[n]}$ be the complete multipartite graph with $m$ parts, while each part contains $n$ vertices. The orientably-regular embeddings of complete graphs $K_{m[1]}$ have been determined by Biggs (1971) \cite{Big1}, James and Jones (1985) \cite{JJ}. During the past twenty years, several papers such as Du et al.(2007, 2010) \cite{DJKNS1,DJKNS2}, Jones et al. (2007, 2008) \cite{JNS1,JNS2}, Kwak and Kwon (2005, 2008) \cite{KK1,KK2} and Nedela et al. (1997, 2002)\cite{NS,NSZ} contributed to the orientably-regular embeddings of complete bipartite graphs $K_{2[n]}$ and the final classification was given by Jones \cite{Jon1} in 2010. Based on our former paper \cite{ZD}, this paper gives a complete classification of orientably-regular embeddings of graphs $K_{m[n]}$ for the general cases $m\ge 3$ and $n\ge 2$.
Compositions constrained by graph Laplacian minors
Published
• View Publication
• BIB
Motivated by examples of symmetrically constrained compositions, super convex partitions, and super convex compositions, we initiate the study of partitions and compositions constrained by graph Laplacian minors. We provide a complete description of the multivariate generating functions for such compositions in the case of trees. We answer a question due to Corteel, Savage, and Wilf regarding super convex compositions, which we describe as compositions constrained by Laplacian minors for cycles; we extend this solution to the study of compositions constrained by Laplacian minors of leafed cycles. Connections are established and conjectured between compositions constrained by Laplacian minors of leafed cycles of prime length and algebraic/combinatorial properties of reflexive simplices.
Nonrepetitive Colourings of Planar Graphs with $O(\log n)$ Colours
Published in Electronic Journal of Combinatorics, 20/1:P51, 2013
• View Publication
• BIB
A vertex colouring of a graph is \emph{nonrepetitive} if there is no path for which the first half of the path is assigned the same sequence of colours as the second half. The \emph{nonrepetitive chromatic number} of a graph $G$ is the minimum integer $k$ such that $G$ has a nonrepetitive $k$-colouring. Whether planar graphs have bounded nonrepetitive chromatic number is one of the most important open problems in the field. Despite this, the best known upper bound is $O(\sqrt{n})$ for $n$-vertex planar graphs. We prove a $O(\log n)$ upper bound.
Linear embeddings of $K_9$ are triple linked
Published in J. Knot Theory Ramifications 23, 1420001 (2014)
• View Publication
• BIB
We use the theory of oriented matroids to show that any linear embedding of $K_9$, the complete graph on nine vertices, contains a non-split link with three components.
Maximal $m$-distance sets containing the representation of the Johnson graph $J(n, m)$
Published in Discrete Math., 312(2012) 3283-3292
• View Publication
• BIB
We classify the maximal $m$-distance sets in $\mathbb{R}^{n-1}$ which contain the representation of the Johnson graph $J(n, m)$ for $m = 2, 3$. Furthermore, we determine the necessary and sufficient condition for $n$ and $m$ such that the representation of the Johnson graph $J(n, m)$ is not maximal as an $m$-distance set. Also, we classify the maximal two-distance sets in $\mathbb{R}^{n-1}$ which contain the representation of $J(n - 1, 2)$.
Stochastic Block Models and Reconstruction
The planted partition model (also known as the stochastic blockmodel) is a classical cluster-exhibiting random graph model that has been extensively studied in statistics, physics, and computer science. In its simplest form, the planted partition model is a model for random graphs on $n$ nodes with two equal-sized clusters, with an between-class edge probability of $q$ and a within-class edge probability of $p$. Although most of the literature on this model has focused on the case of increasing degrees (ie.\ $pn, qn \to \infty$ as $n \to \infty$), the sparse case $p, q = O(1/n)$ is interesting both from a mathematical and an applied point of view.
A striking conjecture of Decelle, Krzkala, Moore and Zdeborová based on deep, non-rigorous ideas from statistical physics gave a precise prediction for the algorithmic threshold of clustering in the sparse planted partition model. In particular, if $p = a/n$ and $q = b/n$, then Decelle et al.\ conjectured that it is possible to cluster in a way correlated with the true partition if $(a - b)^2 > 2(a + b)$, and impossible if $(a - b)^2 < 2(a + b)$. By comparison, the best-known rigorous result is that of Coja-Oghlan, who showed that clustering is possible if $(a - b)^2 > C (a + b)$ for some sufficiently large $C$.
We prove half of their prediction, showing that it is indeed impossible to cluster if $(a - b)^2 < 2(a + b)$. Furthermore we show that it is impossible even to estimate the model parameters from the graph when $(a - b)^2 < 2(a + b)$; on the other hand, we provide a simple and efficient algorithm for estimating $a$ and $b$ when $(a - b)^2 > 2(a + b)$. Following Decelle et al, our work establishes a rigorous connection between the clustering problem, spin-glass models on the Bethe lattice and the so called reconstruction problem. This connection points to fascinating applications and open problems.