27,349 research outputs found
Phenomenology of Neutrino Oscillations
We review the status of several phenomenological topics of current interest
in neutrino oscillations: (i) Solar neutrino oscillations after the first
Sudbury Neutrino Observatory measurements, including both model-independent and
model-dependent results; (ii) Dominant nu_mu-->nu_tau oscillations of
atmospheric and K2K neutrinos, and possible subdominant oscillations induced by
either extra states or extra interactions; and (iii) Four-neutrino scenarios
embedding the controversial LSND evidence for oscillations.Comment: 9 pages, including 12 figures. Presented at TAUP 2001: Topics in
Astroparticle and Underground Physics, Assergi, Italy, 8-12 Sep. 200
A constructive commutative quantum Lovasz Local Lemma, and beyond
The recently proven Quantum Lovasz Local Lemma generalises the well-known
Lovasz Local Lemma. It states that, if a collection of subspace constraints are
"weakly dependent", there necessarily exists a state satisfying all
constraints. It implies e.g. that certain instances of the kQSAT quantum
satisfiability problem are necessarily satisfiable, or that many-body systems
with "not too many" interactions are always frustration-free.
However, the QLLL only asserts existence; it says nothing about how to find
the state. Inspired by Moser's breakthrough classical results, we present a
constructive version of the QLLL in the setting of commuting constraints,
proving that a simple quantum algorithm converges efficiently to the required
state. In fact, we provide two different proofs, one using a novel quantum
coupling argument, the other a more explicit combinatorial analysis. Both
proofs are independent of the QLLL. So these results also provide independent,
constructive proofs of the commutative QLLL itself, but strengthen it
significantly by giving an efficient algorithm for finding the state whose
existence is asserted by the QLLL. We give an application of the constructive
commutative QLLL to convergence of CP maps.
We also extend these results to the non-commutative setting. However, our
proof of the general constructive QLLL relies on a conjecture which we are only
able to prove in special cases.Comment: 43 pages, 2 conjectures, no figures; unresolved gap in the proof; see
arXiv:1311.6474 or arXiv:1310.7766 for correct proofs of the symmetric cas
On the minimum degree of minimal Ramsey graphs for multiple colours
A graph G is r-Ramsey for a graph H, denoted by G\rightarrow (H)_r, if every
r-colouring of the edges of G contains a monochromatic copy of H. The graph G
is called r-Ramsey-minimal for H if it is r-Ramsey for H but no proper subgraph
of G possesses this property. Let s_r(H) denote the smallest minimum degree of
G over all graphs G that are r-Ramsey-minimal for H. The study of the parameter
s_2 was initiated by Burr, Erd\H{o}s, and Lov\'{a}sz in 1976 when they showed
that for the clique s_2(K_k)=(k-1)^2. In this paper, we study the dependency of
s_r(K_k) on r and show that, under the condition that k is constant, s_r(K_k) =
r^2 polylog r. We also give an upper bound on s_r(K_k) which is polynomial in
both r and k, and we determine s_r(K_3) up to a factor of log r
On k-Column Sparse Packing Programs
We consider the class of packing integer programs (PIPs) that are column
sparse, i.e. there is a specified upper bound k on the number of constraints
that each variable appears in. We give an (ek+o(k))-approximation algorithm for
k-column sparse PIPs, improving on recent results of and
. We also show that the integrality gap of our linear programming
relaxation is at least 2k-1; it is known that k-column sparse PIPs are
-hard to approximate. We also extend our result (at the loss
of a small constant factor) to the more general case of maximizing a submodular
objective over k-column sparse packing constraints.Comment: 19 pages, v3: additional detail
Algorithms to Approximate Column-Sparse Packing Problems
Column-sparse packing problems arise in several contexts in both
deterministic and stochastic discrete optimization. We present two unifying
ideas, (non-uniform) attenuation and multiple-chance algorithms, to obtain
improved approximation algorithms for some well-known families of such
problems. As three main examples, we attain the integrality gap, up to
lower-order terms, for known LP relaxations for k-column sparse packing integer
programs (Bansal et al., Theory of Computing, 2012) and stochastic k-set
packing (Bansal et al., Algorithmica, 2012), and go "half the remaining
distance" to optimal for a major integrality-gap conjecture of Furedi, Kahn and
Seymour on hypergraph matching (Combinatorica, 1993).Comment: Extended abstract appeared in SODA 2018. Full version in ACM
Transactions of Algorithm
Amortized Dynamic Cell-Probe Lower Bounds from Four-Party Communication
This paper develops a new technique for proving amortized, randomized
cell-probe lower bounds on dynamic data structure problems. We introduce a new
randomized nondeterministic four-party communication model that enables
"accelerated", error-preserving simulations of dynamic data structures.
We use this technique to prove an cell-probe
lower bound for the dynamic 2D weighted orthogonal range counting problem
(2D-ORC) with updates and queries, that holds even
for data structures with success probability. This
result not only proves the highest amortized lower bound to date, but is also
tight in the strongest possible sense, as a matching upper bound can be
obtained by a deterministic data structure with worst-case operational time.
This is the first demonstration of a "sharp threshold" phenomenon for dynamic
data structures.
Our broader motivation is that cell-probe lower bounds for exponentially
small success facilitate reductions from dynamic to static data structures. As
a proof-of-concept, we show that a slightly strengthened version of our lower
bound would imply an lower bound for the
static 3D-ORC problem with space. Such result would give a
near quadratic improvement over the highest known static cell-probe lower
bound, and break the long standing barrier for static data
structures
- …