469 research outputs found
Enumeration of three term arithmetic progressions in fixed density sets
Additive combinatorics is built around the famous theorem by Szemer\'edi
which asserts existence of arithmetic progressions of any length among the
integers. There exist several different proofs of the theorem based on very
different techniques. Szemer\'edi's theorem is an existence statement, whereas
the ultimate goal in combinatorics is always to make enumeration statements. In
this article we develop new methods based on real algebraic geometry to obtain
several quantitative statements on the number of arithmetic progressions in
fixed density sets. We further discuss the possibility of a generalization of
Szemer\'edi's theorem using methods from real algebraic geometry.Comment: 62 pages. Update v2: Corrected some references. Update v3:
Incorporated feedbac
Rado Numbers and SAT Computations
Given a linear equation , the -color Rado number
is the smallest integer such that every -coloring of
contains a monochromatic solution to . The
degree of regularity of , denoted , is the largest
value such that is finite. In this article we present new
theoretical and computational results about the Rado numbers
and the degree of regularity of three-variable equations .
% We use SAT solvers to compute many new values of the three-color Rado
numbers for fixed integers and . We also give a
SAT-based method to compute infinite families of these numbers. In particular,
we show that the value of is equal to for
. This resolves a conjecture of Myers and implies the conjecture that
the generalized Schur numbers
equal for . Our SAT solver computations, combined with
our new combinatorial results, give improved bounds on and
exact values for . We also give counterexamples to a
conjecture of Golowich
Generalised Rado and Roth criteria
We study the Ramsey properties of equations , where are integers, and is an integer polynomial of
degree . Provided there are at least variables, we show that
Rado's criterion and an intersectivity condition completely characterise which
equations of this form admit monochromatic solutions with respect to an
arbitrary finite colouring of the positive integers. Furthermore, we obtain a
Roth-type theorem for these equations, showing that they admit non-constant
solutions over any set of integers with positive upper density if and only if
. In addition, we establish sharp asymptotic lower
bounds for the number of monochromatic/dense solutions (supersaturation).Comment: 36 page
A new four parameter q-series identity and its partition implications
We prove a new four parameter q-hypergeometric series identity from which the
three parameter key identity for the Goellnitz theorem due to Alladi, Andrews,
and Gordon, follows as a special case by setting one of the parameters equal to
0. The new identity is equivalent to a four parameter partition theorem which
extends the deep theorem of Goellnitz and thereby settles a problem raised by
Andrews thirty years ago. Some consequences including a quadruple product
extension of Jacobi's triple product identity, and prospects of future research
are briefly discussed.Comment: 25 pages, in Sec. 3 Table 1 is added, discussion is added at the end
of Sec. 5, minor stylistic changes, typos eliminated. To appear in
Inventiones Mathematica
Distributed PCP Theorems for Hardness of Approximation in P
We present a new distributed model of probabilistically checkable proofs
(PCP). A satisfying assignment to a CNF formula is
shared between two parties, where Alice knows , Bob knows
, and both parties know . The goal is to have
Alice and Bob jointly write a PCP that satisfies , while
exchanging little or no information. Unfortunately, this model as-is does not
allow for nontrivial query complexity. Instead, we focus on a non-deterministic
variant, where the players are helped by Merlin, a third party who knows all of
.
Using our framework, we obtain, for the first time, PCP-like reductions from
the Strong Exponential Time Hypothesis (SETH) to approximation problems in P.
In particular, under SETH we show that there are no truly-subquadratic
approximation algorithms for Bichromatic Maximum Inner Product over
{0,1}-vectors, Bichromatic LCS Closest Pair over permutations, Approximate
Regular Expression Matching, and Diameter in Product Metric. All our
inapproximability factors are nearly-tight. In particular, for the first two
problems we obtain nearly-polynomial factors of ; only
-factor lower bounds (under SETH) were known before
- …