5,177 research outputs found
Clustered Integer 3SUM via Additive Combinatorics
We present a collection of new results on problems related to 3SUM,
including:
1. The first truly subquadratic algorithm for
1a. computing the (min,+) convolution for monotone increasing
sequences with integer values bounded by ,
1b. solving 3SUM for monotone sets in 2D with integer coordinates
bounded by , and
1c. preprocessing a binary string for histogram indexing (also
called jumbled indexing).
The running time is:
with
randomization, or deterministically. This greatly improves the
previous time bound obtained from Williams'
recent result on all-pairs shortest paths [STOC'14], and answers an open
question raised by several researchers studying the histogram indexing problem.
2. The first algorithm for histogram indexing for any constant alphabet size
that achieves truly subquadratic preprocessing time and truly sublinear query
time.
3. A truly subquadratic algorithm for integer 3SUM in the case when the given
set can be partitioned into clusters each covered by an interval
of length , for any constant .
4. An algorithm to preprocess any set of integers so that subsequently
3SUM on any given subset can be solved in
time.
All these results are obtained by a surprising new technique, based on the
Balog--Szemer\'edi--Gowers Theorem from additive combinatorics
When Can You Fold a Map?
We explore the following problem: given a collection of creases on a piece of
paper, each assigned a folding direction of mountain or valley, is there a flat
folding by a sequence of simple folds? There are several models of simple
folds; the simplest one-layer simple fold rotates a portion of paper about a
crease in the paper by +-180 degrees. We first consider the analogous questions
in one dimension lower -- bending a segment into a flat object -- which lead to
interesting problems on strings. We develop efficient algorithms for the
recognition of simply foldable 1D crease patterns, and reconstruction of a
sequence of simple folds. Indeed, we prove that a 1D crease pattern is
flat-foldable by any means precisely if it is by a sequence of one-layer simple
folds.
Next we explore simple foldability in two dimensions, and find a surprising
contrast: ``map'' folding and variants are polynomial, but slight
generalizations are NP-complete. Specifically, we develop a linear-time
algorithm for deciding foldability of an orthogonal crease pattern on a
rectangular piece of paper, and prove that it is (weakly) NP-complete to decide
foldability of (1) an orthogonal crease pattern on a orthogonal piece of paper,
(2) a crease pattern of axis-parallel and diagonal (45-degree) creases on a
square piece of paper, and (3) crease patterns without a mountain/valley
assignment.Comment: 24 pages, 19 figures. Version 3 includes several improvements thanks
to referees, including formal definitions of simple folds, more figures,
table summarizing results, new open problems, and additional reference
Feat: Functional Enumeration of Algebraic Types
In mathematics, an enumeration of a set S is a bijective function from (an initial segment of) the natural numbers to S. We define "functional enumerations" as efficiently computable such bijections. This paper describes a theory of functional enumeration and provides an algebra of enumerations closed under sums, products, guarded recursion and bijections. We partition each enumerated set into numbered, finite subsets.
We provide a generic enumeration such that the number of each part corresponds to the size of its values (measured in the number of constructors). We implement our ideas in a Haskell library called testing-feat, and make the source code freely available. Feat provides efficient "random access" to enumerated values. The primary application is property-based testing, where it is used to define both random sampling (for example QuickCheck generators) and exhaustive enumeration (in the style of SmallCheck). We claim that functional enumeration is the best option for automatically generating test cases from large groups of mutually recursive syntax tree types. As a case study we use Feat to test the pretty-printer of the Template Haskell library (uncovering several bugs)
Positroid Stratification of Orthogonal Grassmannian and ABJM Amplitudes
A novel understanding of scattering amplitudes in terms of on-shell diagrams
and positive Grassmannian has been recently established for four dimensional
Yang-Mills theories and three dimensional Chern-Simons theories of ABJM type.
We give a detailed construction of the positroid stratification of orthogonal
Grassmannian relevant for ABJM amplitudes. On-shell diagrams are classified by
pairing of external particles. We introduce a combinatorial aid called `OG
tableaux' and map each equivalence class of on-shell diagrams to a unique
tableau. The on-shell diagrams related to each other through BCFW bridging are
naturally grouped by the OG tableaux. Introducing suitably ordered BCFW bridges
and positive coordinates, we construct the complete coordinate charts to cover
the entire positive orthogonal Grassmannian for arbitrary number of external
particles. The graded counting of OG tableaux suggests that the positive
orthogonal Grassmannian constitutes a combinatorial polytope.Comment: 32 pages, 23 figures; v2. minor corrections; v3. several
clarifications and minor improvement
On block coherence of frames
Block coherence of matrices plays an important role in analyzing the
performance of block compressed sensing recovery algorithms (Bajwa and Mixon,
2012). In this paper, we characterize two block coherence metrics: worst-case
and average block coherence. First, we present lower bounds on worst-case block
coherence, in both the general case and also when the matrix is constrained to
be a union of orthobases. We then present deterministic matrix constructions
based upon Kronecker products which obtain these lower bounds. We also
characterize the worst-case block coherence of random subspaces. Finally, we
present a flipping algorithm that can improve the average block coherence of a
matrix, while maintaining the worst-case block coherence of the original
matrix. We provide numerical examples which demonstrate that our proposed
deterministic matrix construction performs well in block compressed sensing
- …