arXiv++ Combinatorics

We study the class of real-valued functions on convex subsets of R^n which are computed by the maximum of finitely many affine functionals with integer slopes. We prove several results to the effect that this property of a function can be detected by sampling on small subsets of the domain. In so doing, we recover in a unified way some prior results of the first author (some joint with Liang Xiao). We also prove that a function on R^2 is a tropical polynomial if and only if its restriction to each translate of a generic tropical line is a tropical polynomial.

For any group G of order n, a subset A of G is said to be product-free if there is no solution of the equation ab=c with a,b,c in A. Previous results of Gowers showed that the size of any product-free subset of G is at most n/d^(1/3), where d is the smallest dimension of a nontrivial representation of G. However, this upper bound does not match the best lower bound. We will generalize the upper bound to the case of product-poor subsets A, in which the equation ab=c is allowed to have a few solutions with a,b,c in A. We prove that the upper bound for the size of product-poor subsets matches the best lower bound in many families of groups. We will also generalize the concept of product-free to the case in which we have many subsets of a group, and different constraints about products of the elements in the subsets.

A subset of a group is product-free if it does not contain elements a, b, c such that ab = c. We review progress on the problem of determining the size of the largest product-free subset of an arbitrary finite group, including a lower bound due to the author, and a recent upper bound due to Gowers. The bound of Gowers is more general; it allows three different sets A, B, C such that one cannot solve ab = c with a in A, b in B, c in C. We exhibit a refinement of the lower bound construction which shows that for this broader question, the bound of Gowers is essentially optimal.

We speculate on whether a certain p-adic stability phenomenon, observed by David Robbins empirically for Dodgson condensation, appears in other nonlinear recurrence relations that "unexpectedly" produce integer or nearly-integer sequences. We exhibit an example (number friezes) where this phenomenon provably occurs.

We present a variation and generalization of a determinant evaluation of Wilf (math.CO/9809120). His result concerns a matrix whose entries are the coefficients of powers of a given power series; we replace the powers by repeated compositions and obtain similar results.