14,067 research outputs found
Quantum graphs whose spectra mimic the zeros of the Riemann zeta function
One of the most famous problems in mathematics is the Riemann hypothesis:
that the non-trivial zeros of the Riemann zeta function lie on a line in the
complex plane. One way to prove the hypothesis would be to identify the zeros
as eigenvalues of a Hermitian operator, many of whose properties can be derived
through the analogy to quantum chaos. Using this, we construct a set of quantum
graphs that have the same oscillating part of the density of states as the
Riemann zeros, offering an explanation of the overall minus sign. The smooth
part is completely different, and hence also the spectrum, but the graphs pick
out the low-lying zeros.Comment: 8 pages, 8 pdf figure
Crossing the Logarithmic Barrier for Dynamic Boolean Data Structure Lower Bounds
This paper proves the first super-logarithmic lower bounds on the cell probe
complexity of dynamic boolean (a.k.a. decision) data structure problems, a
long-standing milestone in data structure lower bounds.
We introduce a new method for proving dynamic cell probe lower bounds and use
it to prove a lower bound on the operational
time of a wide range of boolean data structure problems, most notably, on the
query time of dynamic range counting over ([Pat07]). Proving an
lower bound for this problem was explicitly posed as one of
five important open problems in the late Mihai P\v{a}tra\c{s}cu's obituary
[Tho13]. This result also implies the first lower bound for the
classical 2D range counting problem, one of the most fundamental data structure
problems in computational geometry and spatial databases. We derive similar
lower bounds for boolean versions of dynamic polynomial evaluation and 2D
rectangle stabbing, and for the (non-boolean) problems of range selection and
range median.
Our technical centerpiece is a new way of "weakly" simulating dynamic data
structures using efficient one-way communication protocols with small advantage
over random guessing. This simulation involves a surprising excursion to
low-degree (Chebychev) polynomials which may be of independent interest, and
offers an entirely new algorithmic angle on the "cell sampling" method of
Panigrahy et al. [PTW10]
Sparse Allreduce: Efficient Scalable Communication for Power-Law Data
Many large datasets exhibit power-law statistics: The web graph, social
networks, text data, click through data etc. Their adjacency graphs are termed
natural graphs, and are known to be difficult to partition. As a consequence
most distributed algorithms on these graphs are communication intensive. Many
algorithms on natural graphs involve an Allreduce: a sum or average of
partitioned data which is then shared back to the cluster nodes. Examples
include PageRank, spectral partitioning, and many machine learning algorithms
including regression, factor (topic) models, and clustering. In this paper we
describe an efficient and scalable Allreduce primitive for power-law data. We
point out scaling problems with existing butterfly and round-robin networks for
Sparse Allreduce, and show that a hybrid approach improves on both.
Furthermore, we show that Sparse Allreduce stages should be nested instead of
cascaded (as in the dense case). And that the optimum throughput Allreduce
network should be a butterfly of heterogeneous degree where degree decreases
with depth into the network. Finally, a simple replication scheme is introduced
to deal with node failures. We present experiments showing significant
improvements over existing systems such as PowerGraph and Hadoop
Minimum rank and zero forcing number for butterfly networks
The minimum rank of a simple graph is the smallest possible rank over all
symmetric real matrices whose nonzero off-diagonal entries correspond to
the edges of . Using the zero forcing number, we prove that the minimum rank
of the butterfly network is and
that this is equal to the rank of its adjacency matrix
Supersaturation and stability for forbidden subposet problems
We address a supersaturation problem in the context of forbidden subposets. A
family of sets is said to contain the poset if there is an
injection such that implies . The poset on four elements with is
called butterfly. The maximum size of a family
that does not contain a butterfly is as proved by De Bonis, Katona, and
Swanepoel. We prove that if contains
sets, then it has to contain at least copies of the butterfly provided for some positive . We show by a
construction that this is asymptotically tight and for small values of we
show that the minimum number of butterflies contained in is
exactly
- …