10,415 research outputs found
A transfer principle and applications to eigenvalue estimates for graphs
In this paper, we prove a variant of the Burger-Brooks transfer principle
which, combined with recent eigenvalue bounds for surfaces, allows to obtain
upper bounds on the eigenvalues of graphs as a function of their genus. More
precisely, we show the existence of a universal constants such that the
-th eigenvalue of the normalized Laplacian of a graph
of (geometric) genus on vertices satisfies where denotes the maximum valence of
vertices of the graph. This result is tight up to a change in the value of the
constant , and improves recent results of Kelner, Lee, Price and Teng on
bounded genus graphs.
To show that the transfer theorem might be of independent interest, we relate
eigenvalues of the Laplacian on a metric graph to the eigenvalues of its simple
graph models, and discuss an application to the mesh partitioning problem,
extending pioneering results of Miller-Teng-Thurston-Vavasis and Spielman-Tang
to arbitrary meshes.Comment: Major revision, 16 page
Rounding Algorithms for a Geometric Embedding of Minimum Multiway Cut
The multiway-cut problem is, given a weighted graph and k >= 2 terminal
nodes, to find a minimum-weight set of edges whose removal separates all the
terminals. The problem is NP-hard, and even NP-hard to approximate within
1+delta for some small delta > 0.
Calinescu, Karloff, and Rabani (1998) gave an algorithm with performance
guarantee 3/2-1/k, based on a geometric relaxation of the problem. In this
paper, we give improved randomized rounding schemes for their relaxation,
yielding a 12/11-approximation algorithm for k=3 and a 1.3438-approximation
algorithm in general.
Our approach hinges on the observation that the problem of designing a
randomized rounding scheme for a geometric relaxation is itself a linear
programming problem. The paper explores computational solutions to this
problem, and gives a proof that for a general class of geometric relaxations,
there are always randomized rounding schemes that match the integrality gap.Comment: Conference version in ACM Symposium on Theory of Computing (1999). To
appear in Mathematics of Operations Researc
Fault-tolerant meshes and hypercubes with minimal numbers of spares
Many parallel computers consist of processors connected in the form of a d-dimensional mesh or hypercube. Two- and three-dimensional meshes have been shown to be efficient in manipulating images and dense matrices, whereas hypercubes have been shown to be well suited to divide-and-conquer algorithms requiring global communication. However, even a single faulty processor or communication link can seriously affect the performance of these machines.
This paper presents several techniques for tolerating faults in d-dimensional mesh and hypercube architectures. Our approach consists of adding spare processors and communication links so that the resulting architecture will contain a fault-free mesh or hypercube in the presence of faults. We optimize the cost of the fault-tolerant architecture by adding exactly k spare processors (while tolerating up to k processor and/or link faults) and minimizing the maximum number of links per processor. For example, when the desired architecture is a d-dimensional mesh and k = 1, we present a fault-tolerant architecture that has the same maximum degree as the desired architecture (namely, 2d) and has only one spare processor. We also present efficient layouts for fault-tolerant two- and three-dimensional meshes, and show how multiplexers and buses can be used to reduce the degree of fault-tolerant architectures. Finally, we give constructions for fault-tolerant tori, eight-connected meshes, and hexagonal meshes
Fault-tolerant meshes with minimal numbers of spares
This paper presents several techniques for adding fault-tolerance to distributed memory parallel computers. More formally, given a target graph with n nodes, we create a fault-tolerant graph with n + k nodes such that given any set of k or fewer faulty nodes, the remaining graph is guaranteed to contain the target graph as a fault-free subgraph. As a result, any algorithm designed for the target graph will run with no slowdown in the presence of k or fewer node faults, regardless of their distribution. We present fault-tolerant graphs for target graphs which are 2-dimensional meshes, tori, eight-connected meshes and hexagonal meshes. In all cases our fault-tolerant graphs have smaller degree than any previously known graphs with the same properties
Superexpanders from group actions on compact manifolds
It is known that the expanders arising as increasing sequences of level sets
of warped cones, as introduced by the second-named author, do not coarsely
embed into a Banach space as soon as the corresponding warped cone does not
coarsely embed into this Banach space. Combining this with non-embeddability
results for warped cones by Nowak and Sawicki, which relate the
non-embeddability of a warped cone to a spectral gap property of the underlying
action, we provide new examples of expanders that do not coarsely embed into
any Banach space with nontrivial type. Moreover, we prove that these expanders
are not coarsely equivalent to a Lafforgue expander. In particular, we provide
infinitely many coarsely distinct superexpanders that are not Lafforgue
expanders. In addition, we prove a quasi-isometric rigidity result for warped
cones.Comment: 16 pages, to appear in Geometriae Dedicat
- …