Results 1  10
of
14
Approximation algorithms via contraction decomposition
 Proc. 18th Ann. ACMSIAM Symp. Discrete Algorithms ACMSIAM symposium on Discrete algorithms
, 2007
"... We prove that the edges of every graph of bounded (Euler) genus can be partitioned into any prescribed number k of pieces such that contracting any piece results in a graph of bounded treewidth (where the bound depends on k). This decomposition result parallels an analogous, simpler result for edge ..."
Abstract

Cited by 28 (11 self)
 Add to MetaCart
We prove that the edges of every graph of bounded (Euler) genus can be partitioned into any prescribed number k of pieces such that contracting any piece results in a graph of bounded treewidth (where the bound depends on k). This decomposition result parallels an analogous, simpler result for edge deletions instead of contractions, obtained in [Bak94, Epp00, DDO + 04, DHK05], and it generalizes a similar result for “compression ” (a variant of contraction) in planar graphs [Kle05]. Our decomposition result is a powerful tool for obtaining PTASs for contractionclosed problems (whose optimal solution only improves under contraction), a much more general class than minorclosed problems. We prove that any contractionclosed problem satisfying just a few simple conditions has a PTAS in boundedgenus graphs. In particular, our framework yields PTASs for the weighted Traveling Salesman Problem and for minimumweight cedgeconnected submultigraph on boundedgenus graphs, improving and generalizing previous algorithms of [GKP95, AGK + 98, Kle05, Gri00, CGSZ04, BCGZ05]. We also highlight the only main difficulty in extending our results to general Hminorfree graphs.
Expander graphs, gonality and variation of Galois representations, arXiv:1008.3675 [EMV
 Duke Math. J
"... Abstract. We show that families of coverings of an algebraic curve where the associated CayleySchreier graphs form an expander family exhibit strong forms of geometric growth. Combining this general result with finiteness statements for rational points under such conditions, we derive results conce ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
Abstract. We show that families of coverings of an algebraic curve where the associated CayleySchreier graphs form an expander family exhibit strong forms of geometric growth. Combining this general result with finiteness statements for rational points under such conditions, we derive results concerning the variation of Galois representations in oneparameter families of abelian varieties. 1.
On the blackbox complexity of Sperner’s Lemma
 In FCT 2005
, 2005
"... We present several results on the complexity of various forms of Sperner’s Lemma. In the blackbox model of computing, we exhibit a deterministic algorithm for Sperner problems over pseudomanifolds of arbitrary dimension. The query complexity of our algorithm is essentially linear in the separation ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
We present several results on the complexity of various forms of Sperner’s Lemma. In the blackbox model of computing, we exhibit a deterministic algorithm for Sperner problems over pseudomanifolds of arbitrary dimension. The query complexity of our algorithm is essentially linear in the separation number of the skeleton graph of the manifold and the size of its boundary. As a corollary we get an O ( √ n) deterministic query algorithm for the blackbox version of the problem 2DSPERNER, a well studied member of Papadimitriou’s complexity class PPAD. This upper bound matches the Ω ( √ n) deterministic lower bound of Crescenzi and Silvestri. In another blackbox result we prove for the same problem an Ω ( 4 √ n) lower bound for its probabilistic, and an Ω ( 8 √ n) lower bound for its quantum query complexity, showing that all these measures are polynomially related. Finally we explicit Sperner problems on a 2dimensional pseudomanifold and prove that they are complete respectively for the classes PPAD, PPADS and PPA. This is the first time that a 2dimensional Sperner problem is proved to be complete for any of the polynomial parity argument classes. 1
Spectral algorithms
, 2009
"... Summary. Spectral methods refer to the use of eigenvalues, eigenvectors, singular values and singular vectors. They are widely used in Engineering, Applied Mathematics and Statistics. More recently, spectral methods have found numerous applications in Computer Science to “discrete ” as well “continu ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
Summary. Spectral methods refer to the use of eigenvalues, eigenvectors, singular values and singular vectors. They are widely used in Engineering, Applied Mathematics and Statistics. More recently, spectral methods have found numerous applications in Computer Science to “discrete ” as well “continuous” problems. This book describes modern applications of spectral methods, and novel algorithms for estimating spectral parameters. In the first part of the book, we present applications of spectral methods to problems from a variety of topics including combinatorial optimization, learning and clustering. The second part of the book is motivated by efficiency considerations. A feature of many modern applications is the massive amount of input data. While sophisticated algorithms for matrix computations have been developed over a century, a more recent development is algorithms based on “sampling on the fly ” from massive matrices. Good estimates of singular values and low rank approximations of the whole matrix can be provably derived from a sample. Our
Higher eigenvalues of graphs
"... We present a general method for proving upper bounds on the eigenvalues of the graph Laplacian. In particular, we show that for any positive integer k, the k th smallest eigenvalue of the Laplacian on a boundeddegree planar graph is O(k/n). This bound is asymptotically tight for every k, as it is ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
We present a general method for proving upper bounds on the eigenvalues of the graph Laplacian. In particular, we show that for any positive integer k, the k th smallest eigenvalue of the Laplacian on a boundeddegree planar graph is O(k/n). This bound is asymptotically tight for every k, as it is easily seen to be achieved for planar grids. We also extend this spectral result to graphs with bounded genus, graphs which forbid fixed minors, and other natural families. Previously, such spectral upper bounds were only known for k = 2, i.e. for the Fiedler value of these graphs. In addition, our result yields a new, combinatorial proof of the celebrated result of Korevaar in differential geometry.
Combinatorial and algebraic tools for optimal multilevel algorithms
, 2007
"... This dissertation presents combinatorial and algebraic tools that enable the design of the first linear work parallel iterative algorithm for solving linear systems involving Laplacian matrices of planar graphs. The major departure of this work from prior suboptimal and inherently sequential approac ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
This dissertation presents combinatorial and algebraic tools that enable the design of the first linear work parallel iterative algorithm for solving linear systems involving Laplacian matrices of planar graphs. The major departure of this work from prior suboptimal and inherently sequential approaches is centered around: (i) the partitioning of planar graphs into fixed size pieces that share small boundaries, by means of a local ”bottomup ” approach that improves the customary ”topdown ” approach of recursive bisection, (ii) the replacement of monolithic global preconditioners by graph approximations that are built as aggregates of miniature preconditioners. In addition, we present extensions to the theory and analysis of Steiner tree preconditioners. We construct more general Steiner graphs that lead to natural linear time solvers for classes of graphs that are known a priori to have certain structural properties. We also present a graphtheoretic approach to classical algebraic multigrid algorithms. We show that their design can be
Spectral Graph Theory Lecture 25 Planar Graphs, part 1
, 2009
"... In this and the next lecture, we will explore spectral properties of planar graphs. I’ll also spend some time telling you other important facts about planar graphs. Planar graphs relate to some of the most exciting parts of graph theory, and it would be a shame for you not to know something about th ..."
Abstract
 Add to MetaCart
In this and the next lecture, we will explore spectral properties of planar graphs. I’ll also spend some time telling you other important facts about planar graphs. Planar graphs relate to some of the most exciting parts of graph theory, and it would be a shame for you not to know something about them.