322 research outputs found
A Tverberg type theorem for matroids
Let b(M) denote the maximal number of disjoint bases in a matroid M. It is
shown that if M is a matroid of rank d+1, then for any continuous map f from
the matroidal complex M into the d-dimensional Euclidean space there exist t
\geq \sqrt{b(M)}/4 disjoint independent sets \sigma_1,\ldots,\sigma_t \in M
such that \bigcap_{i=1}^t f(\sigma_i) \neq \emptyset.Comment: This article is due to be published in the collection of papers "A
Journey through Discrete Mathematics. A Tribute to Jiri Matousek" edited by
Martin Loebl, Jaroslav Nesetril and Robin Thomas, due to be published by
Springe
On the optimality of gluing over scales
We show that for every , there exist -point metric spaces
(X,d) where every "scale" admits a Euclidean embedding with distortion at most
, but the whole space requires distortion at least . This shows that the scale-gluing lemma [Lee, SODA 2005] is tight,
and disproves a conjecture stated there. This matching upper bound was known to
be tight at both endpoints, i.e. when and , but nowhere in between.
More specifically, we exhibit -point spaces with doubling constant
requiring Euclidean distortion ,
which also shows that the technique of "measured descent" [Krauthgamer, et.
al., Geometric and Functional Analysis] is optimal. We extend this to obtain a
similar tight result for spaces with .Comment: minor revision
Prodsimplicial-Neighborly Polytopes
Simultaneously generalizing both neighborly and neighborly cubical polytopes,
we introduce PSN polytopes: their k-skeleton is combinatorially equivalent to
that of a product of r simplices. We construct PSN polytopes by three different
methods, the most versatile of which is an extension of Sanyal and Ziegler's
"projecting deformed products" construction to products of arbitrary simple
polytopes. For general r and k, the lowest dimension we achieve is 2k+r+1.
Using topological obstructions similar to those introduced by Sanyal to bound
the number of vertices of Minkowski sums, we show that this dimension is
minimal if we additionally require that the PSN polytope is obtained as a
projection of a polytope that is combinatorially equivalent to the product of r
simplices, when the dimensions of these simplices are all large compared to k.Comment: 28 pages, 9 figures; minor correction
Metric structures in L_1: Dimension, snowflakes, and average distortion
We study the metric properties of finite subsets of L_1. The analysis of such
metrics is central to a number of important algorithmic problems involving the
cut structure of weighted graphs, including the Sparsest Cut Problem, one of
the most compelling open problems in the field of approximation algorithms.
Additionally, many open questions in geometric non-linear functional analysis
involve the properties of finite subsets of L_1.Comment: 9 pages, 1 figure. To appear in European Journal of Combinatorics.
Preliminary version appeared in LATIN '0
Quantum Algorithms for Matrix Products over Semirings
In this paper we construct quantum algorithms for matrix products over
several algebraic structures called semirings, including the (max,min)-matrix
product, the distance matrix product and the Boolean matrix product. In
particular, we obtain the following results.
We construct a quantum algorithm computing the product of two n x n matrices
over the (max,min) semiring with time complexity O(n^{2.473}). In comparison,
the best known classical algorithm for the same problem, by Duan and Pettie,
has complexity O(n^{2.687}). As an application, we obtain a O(n^{2.473})-time
quantum algorithm for computing the all-pairs bottleneck paths of a graph with
n vertices, while classically the best upper bound for this task is
O(n^{2.687}), again by Duan and Pettie.
We construct a quantum algorithm computing the L most significant bits of
each entry of the distance product of two n x n matrices in time O(2^{0.64L}
n^{2.46}). In comparison, prior to the present work, the best known classical
algorithm for the same problem, by Vassilevska and Williams and Yuster, had
complexity O(2^{L}n^{2.69}). Our techniques lead to further improvements for
classical algorithms as well, reducing the classical complexity to
O(2^{0.96L}n^{2.69}), which gives a sublinear dependency on 2^L.
The above two algorithms are the first quantum algorithms that perform better
than the -time straightforward quantum algorithm based on
quantum search for matrix multiplication over these semirings. We also consider
the Boolean semiring, and construct a quantum algorithm computing the product
of two n x n Boolean matrices that outperforms the best known classical
algorithms for sparse matrices. For instance, if the input matrices have
O(n^{1.686...}) non-zero entries, then our algorithm has time complexity
O(n^{2.277}), while the best classical algorithm has complexity O(n^{2.373}).Comment: 19 page
Rigid ball-polyhedra in Euclidean 3-space
A ball-polyhedron is the intersection with non-empty interior of finitely
many (closed) unit balls in Euclidean 3-space. One can represent the boundary
of a ball-polyhedron as the union of vertices, edges, and faces defined in a
rather natural way. A ball-polyhedron is called a simple ball-polyhedron if at
every vertex exactly three edges meet. Moreover, a ball-polyhedron is called a
standard ball-polyhedron if its vertex-edge-face structure is a lattice (with
respect to containment). To each edge of a ball-polyhedron one can assign an
inner dihedral angle and say that the given ball-polyhedron is locally rigid
with respect to its inner dihedral angles if the vertex-edge-face structure of
the ball-polyhedron and its inner dihedral angles determine the ball-polyhedron
up to congruence locally. The main result of this paper is a Cauchy-type
rigidity theorem for ball-polyhedra stating that any simple and standard
ball-polyhedron is locally rigid with respect to its inner dihedral angles.Comment: 11 pages, 2 figure
Approximating Tverberg Points in Linear Time for Any Fixed Dimension
Let P be a d-dimensional n-point set. A Tverberg-partition of P is a
partition of P into r sets P_1, ..., P_r such that the convex hulls conv(P_1),
..., conv(P_r) have non-empty intersection. A point in the intersection of the
conv(P_i)'s is called a Tverberg point of depth r for P. A classic result by
Tverberg implies that there always exists a Tverberg partition of size n/(d+1),
but it is not known how to find such a partition in polynomial time. Therefore,
approximate solutions are of interest.
We describe a deterministic algorithm that finds a Tverberg partition of size
n/4(d+1)^3 in time d^{O(log d)} n. This means that for every fixed dimension we
can compute an approximate Tverberg point (and hence also an approximate
centerpoint) in linear time. Our algorithm is obtained by combining a novel
lifting approach with a recent result by Miller and Sheehy (2010).Comment: 14 pages, 2 figures. A preliminary version appeared in SoCG 2012.
This version removes an incorrect example at the end of Section 3.
On Compact Routing for the Internet
While there exist compact routing schemes designed for grids, trees, and
Internet-like topologies that offer routing tables of sizes that scale
logarithmically with the network size, we demonstrate in this paper that in
view of recent results in compact routing research, such logarithmic scaling on
Internet-like topologies is fundamentally impossible in the presence of
topology dynamics or topology-independent (flat) addressing. We use analytic
arguments to show that the number of routing control messages per topology
change cannot scale better than linearly on Internet-like topologies. We also
employ simulations to confirm that logarithmic routing table size scaling gets
broken by topology-independent addressing, a cornerstone of popular
locator-identifier split proposals aiming at improving routing scaling in the
presence of network topology dynamics or host mobility. These pessimistic
findings lead us to the conclusion that a fundamental re-examination of
assumptions behind routing models and abstractions is needed in order to find a
routing architecture that would be able to scale ``indefinitely.''Comment: This is a significantly revised, journal version of cs/050802
Statistical mechanics of budget-constrained auctions
Finding the optimal assignment in budget-constrained auctions is a
combinatorial optimization problem with many important applications, a notable
example being the sale of advertisement space by search engines (in this
context the problem is often referred to as the off-line AdWords problem).
Based on the cavity method of statistical mechanics, we introduce a message
passing algorithm that is capable of solving efficiently random instances of
the problem extracted from a natural distribution, and we derive from its
properties the phase diagram of the problem. As the control parameter (average
value of the budgets) is varied, we find two phase transitions delimiting a
region in which long-range correlations arise.Comment: Minor revisio
Tverberg-type theorems for intersecting by rays
In this paper we consider some results on intersection between rays and a
given family of convex, compact sets. These results are similar to the center
point theorem, and Tverberg's theorem on partitions of a point set
- …