356 research outputs found
On the van der Waerden numbers w(2;3,t)
We present results and conjectures on the van der Waerden numbers w(2;3,t)
and on the new palindromic van der Waerden numbers pdw(2;3,t). We have computed
the new number w(2;3,19) = 349, and we provide lower bounds for 20 <= t <= 39,
where for t <= 30 we conjecture these lower bounds to be exact. The lower
bounds for 24 <= t <= 30 refute the conjecture that w(2;3,t) <= t^2, and we
present an improved conjecture. We also investigate regularities in the good
partitions (certificates) to better understand the lower bounds.
Motivated by such reglarities, we introduce *palindromic van der Waerden
numbers* pdw(k; t_0,...,t_{k-1}), defined as ordinary van der Waerden numbers
w(k; t_0,...,t_{k-1}), however only allowing palindromic solutions (good
partitions), defined as reading the same from both ends. Different from the
situation for ordinary van der Waerden numbers, these "numbers" need actually
to be pairs of numbers. We compute pdw(2;3,t) for 3 <= t <= 27, and we provide
lower bounds, which we conjecture to be exact, for t <= 35.
All computations are based on SAT solving, and we discuss the various
relations between SAT solving and Ramsey theory. Especially we introduce a
novel (open-source) SAT solver, the tawSolver, which performs best on the SAT
instances studied here, and which is actually the original DLL-solver, but with
an efficient implementation and a modern heuristic typical for look-ahead
solvers (applying the theory developed in the SAT handbook article of the
second author).Comment: Second version 25 pages, updates of numerical data, improved
formulations, and extended discussions on SAT. Third version 42 pages, with
SAT solver data (especially for new SAT solver) and improved representation.
Fourth version 47 pages, with updates and added explanation
Enumerative Galois theory for cubics and quartics
We show that there are monic, cubic
polynomials with integer coefficients bounded by in absolute value whose
Galois group is . We also show that the order of magnitude for
quartics is , and that the respective counts for , ,
are , , . Our work establishes
that irreducible non- cubic polynomials are less numerous than reducible
ones, and similarly in the quartic setting: these are the first two solved
cases of a 1936 conjecture made by van der Waerden
Approximating the Permanent with Fractional Belief Propagation
We discuss schemes for exact and approximate computations of permanents, and
compare them with each other. Specifically, we analyze the Belief Propagation
(BP) approach and its Fractional Belief Propagation (FBP) generalization for
computing the permanent of a non-negative matrix. Known bounds and conjectures
are verified in experiments, and some new theoretical relations, bounds and
conjectures are proposed. The Fractional Free Energy (FFE) functional is
parameterized by a scalar parameter , where
corresponds to the BP limit and corresponds to the exclusion
principle (but ignoring perfect matching constraints) Mean-Field (MF) limit.
FFE shows monotonicity and continuity with respect to . For every
non-negative matrix, we define its special value to be the
for which the minimum of the -parameterized FFE functional is
equal to the permanent of the matrix, where the lower and upper bounds of the
-interval corresponds to respective bounds for the permanent. Our
experimental analysis suggests that the distribution of varies for
different ensembles but always lies within the interval.
Moreover, for all ensembles considered the behavior of is highly
distinctive, offering an emprirical practical guidance for estimating
permanents of non-negative matrices via the FFE approach.Comment: 42 pages, 14 figure
On the number of matrices and a random matrix with prescribed row and column sums and 0-1 entries
We consider the set Sigma(R,C) of all mxn matrices having 0-1 entries and
prescribed row sums R=(r_1, ..., r_m) and column sums C=(c_1, ..., c_n). We
prove an asymptotic estimate for the cardinality |Sigma(R, C)| via the solution
to a convex optimization problem. We show that if Sigma(R, C) is sufficiently
large, then a random matrix D in Sigma(R, C) sampled from the uniform
probability measure in Sigma(R,C) with high probability is close to a
particular matrix Z=Z(R,C) that maximizes the sum of entropies of entries among
all matrices with row sums R, column sums C and entries between 0 and 1.
Similar results are obtained for 0-1 matrices with prescribed row and column
sums and assigned zeros in some positions.Comment: 26 pages, proofs simplified, results strengthene
- β¦