Triangle Free Sets and Arithmetic Progressions – Two Pisier Type Problems

New bounds on the number of similar or directly similar copies of a pattern within a finite subset of the line or the plane are proved. The number of equilateral triangles whose vertices all lie within an $n$-point subset of the plane is shown to be no more than $\lfloor{(4 n-1)(n-1)/18}\rfloor$. The number of $k$-term arithmetic progressions that lie within an $n$-point subset of the line is shown to be at most $(n-r)(n+r-k+1)/(2 k-2)$, where $r$ is the remainder when $n$ is divided by $k-1$. This upper bound is achieved when the $n$ points themselves form an arithmetic progression, but for some values of $k$ and $n$, it can also be achieved for other configurations of the $n$ points, and a full classification of such optimal configurations is given. These results are achieved using a new general method based on ordering relations.

We study the equation (x−4r)3+(x−3r)3+(x−2r)3+(x−r)3+x3+(x+r)3+(x+2r)3+(x+3r)3+(x+4r)3=yp, which is a natural continuation of previous works carried out by A. Argáez-García and the fourth author (perfect powers that are sums of cubes of a three, five and seven term arithmetic progression). Under the assumptions 0<r≤106, p≥5 a prime and gcd(x,r)=1, we show that solutions must satisfy xy=0. Moreover, we study the equation for prime exponents 2 and 3 in greater detail. Under the assumptions r>0 a positive integer and gcd(x,r)=1 we show that there are infinitely many solutions for p=2 and p=3 via explicit constructions using integral points on elliptic curves. We use an amalgamation of methods in computational and algebraic number theory to overcome the increased computational challenge. Most notable is a significant computational efficiency obtained through appealing to Bilu, Hanrot and Voutier’s Primitive Divisor Theorem and the method of Chabauty, as well as employing a Thue equation solver earlier on.

On hyperspaces of generalized metric spaces

Chebyshev approximation on an interval and closed subsets by a Haar subspace are considered. The closeness of best approximations on subsets to the best approximation on the interval is examined. It is shown that under favorable conditions the difference is O ((density of the subset) 2 ), making it unnecessary to use very large finite subsets to get good approximations on the interval.

A kind of fixed-point problem in the area of discrete tomography is proposed and investigated.Our chief concern in this paper is the case of square windows in the plane.Dealing with the arrays which are bounded, of polynomial growth, and finite-ring-valued, one comes across several interesting phenomena of combinatorial and arithmetic nature.

The Ehrenfeucht Conjecture [5] states that if Μ is a finitely generated free monoid with nonempty subset S, then there is a finite subset T⊂S (a “test set”) such that given two endomorphisms f and g on Μ, f and g agree on S if and only if they agree on T. In[4], the authors prove that the above conjecture is equivalent to the following conjecture: a system of equations in a finite number of unknowns in Μ is equivalent to a finite subsystem. Since a finitely generated free monoid embeds naturally into the free group with the same number of generators, it is natural to ask whether a free group of finite rank has the above property on systems of equations. A restatement of the question motivates the following.

Two well-studied Ramsey-theoretic problems consider subsets of the natural numbers which either contain no three elements in arithmetic progression or in geometric progression. We study generalizations of this problem by varying the kinds of progressions to be avoided and the metrics used to evaluate the density of the resulting subsets. One can view a 3-term arithmetic progression as a sequence \(x, f_n(x), f_n(f_n(x))\), where \(f_n(x) = x + n\), n a nonzero integer. Thus, avoiding 3-term arithmetic progressions are equivalent to containing no three elements of the form \(x, f_n(x), f_n(f_n(x))\) with \(f_n \in \mathscr {F}_\mathrm{t}\), the set of integer translations. One can similarly construct related progressions using different families of functions. We investigate several such families, including geometric progressions (\(f_n(x) = nx\) with \(n > 1\) a natural number) and exponential progressions (\(f_n(x) = x^n\)). Progression-free sets are often constructed “greedily,” including every number so long as it is not in progression with any of the previous elements. Rankin characterized the greedy geometric-progression-free set in terms of the greedy arithmetic set. We characterize the greedy exponential set and prove that it has asymptotic density 1 and then discuss how the optimality of the greedy set depends on the family of functions used to define progressions. Traditionally, the size of a progression-free set is measured using the (upper) asymptotic density; however, we consider several different notions of density, including the uniform and exponential densities.

Given an abelian group G of order n, and a finite non-empty subset A of integers, the Davenport constant of G with weightA, denoted by DA(G), is defined to be the least positive integer t such that, for every sequence (x1,..., xt) with xi ∈ G, there exists a non-empty subsequence \((x_{j_1},\ldots, x_{j_l})\) and ai ∈ A such that \(\sum_{i=1}^{l}a_ix_{j_i} = 0\). Similarly, for an abelian group G of order n, EA(G) is defined to be the least positive integer t such that every sequence over G of length t contains a subsequence \((x_{j_1} ,\ldots, x_{j_n})\) such that \(\sum_{i=1}^{n}a_ix_{j_i} = 0\), for some ai ∈ A. When G is of order n, one considers A to be a non-empty subset of {1,..., n − 1 }. If G is the cyclic group \({\Bbb Z}/n{\Bbb Z}\), we denote EA(G) and DA(G) by EA(n) and DA(n) respectively.

It is shown that there is a subsetS of integers containing no (k+1)-term arithmetic progression such that if the elements ofS are arbitrarily colored (any number of colors),S will contain ak-term arithmetic progression for which all of its terms have the same color, or all have distinct colors.

We introduce the notion of constructive suprema and of constructively directed sets. The Axiom of Choice turns out to be equivalent to the postulate that every supremum is constructive, but also to the hypothesis that every directed set admits a function assigning to each finite subset an upper bound. The Axiom of Multiple Choice (which is known to be weaker than the full Axiom of Choice in set theory without foundation) implies a simple set-theoretical induction principle (SIP), stating that any system of sets that is closed under unions of well-ordered subsystems and contains all finite subsets of a given set must also contain that set itself. This is not provable without choice principles but equivalent to the statement that the existence of joins for constructively directed subsets of a poset follows from the existence of joins for nonempty well-ordered subsets. Moreover, we establish the equivalence of SIP with several other fundamental statements concerning inductivity, compactness, algebraic closure systems, and the exchange between chains and directed sets.

G. J. M. H. Buskes [2] investigated a series of completeness properties for an archimedean Riesz space E. Each of these properties can be applied also in a more general setting, i.e., for the case when E is a lattice ordered group.If a is one of the properties under consideration, then we denote by Ga the class of all lattice ordered groups G which have the property a.The notion of radical class of lattice ordered groups was introduced in [8]; cf. also [16].The relations between this notion and the classes Ga will be dealt with in the present paper.We are mainly interested in the question whether Ga (or some reasonably large subclass of Ga) is a radical class.This question is related to the problem of existence of a-kernels.For some properties defined by means of sequences similar considerations were established in [10] and [11]. PRELIMINARIESThe standard notation for lattice ordered groups will be applied (cf.[3] and [6]).The group operation will be written additively.We denote by G the class of all lattice ordered groups.For G e G let c(G) be the system of all convex ^-subgroups of G\ this system is partially ordered by inclusion. c c cThe lattice operations in c(G) will be denoted by /\ and V-I n fact.A coincides with the set-theoretical intersection.Let {Ai} ie i be a nonempty subset of c(G) and c let H = V H{.It is well-known that H is the set of all g e G having the property iei that there is a finite subset {i(l),i(2),... ,i(n)} of I such that there exist elements hi e Hi(i),..., h n e Hi( n ) with g = hi + h 2 + ... + h n .

Chang's Lemma is a widely employed result in additive combinatorics. It gives bounds on the dimension of the large spectrum of probability distributions on finite abelian groups. Recently, Bloom (2016) presented a powerful variant of Chang's Lemma that yields the strongest known quantitative version of Roth's theorem on 3-term arithmetic progressions in dense subsets of the integers. In this note, we show how such theorems can be derived from the approximation of probability measures via entropy maximization.

Fix integers $r \ge 2$ and $1\le s_1\le \cdots \le s_{r-1}\le t$ and set $s=\prod _{i=1}^{r-1}s_i$ . Let $K=K(s_1, \ldots , s_{r-1}, t)$ denote the complete $r$ -partite $r$ -uniform hypergraph with parts of size $s_1, \ldots , s_{r-1}, t$ . We prove that the Zarankiewicz number $z(n, K)= n^{r-1/s-o(1)}$ provided $t\gt 3^{s+o(s)}$ . Previously this was known only for $t \gt ((r-1)(s-1))!$ due to Pohoata and Zakharov. Our novel approach, which uses Behrend’s construction of sets with no 3-term arithmetic progression, also applies for small values of $s_i$ , for example, it gives $z(n, K(2,2,7))=n^{11/4-o(1)}$ where the exponent 11/4 is optimal, whereas previously this was only known with 7 replaced by 721.

Given a set of integers containing no 3-term arithmetic progressions, one constructs a Stanley sequence by choosing integers greedily without forming such a progression. Independent Stanley sequences are a well-structured class of Stanley sequences with two main parameters: the character $\lambda(A)$ and the repeat factor $\rho(A)$. Rolnick conjectured that for every $\lambda \in \mathbb{N}_0\backslash\{1, 3, 5, 9, 11, 15\}$, there exists an independent Stanley sequence $S(A)$ such that $\lambda(A) =\lambda$. This paper demonstrates that $\lambda(A) \not\in \{1, 3, 5, 9, 11, 15\}$ for any independent Stanley sequence $S(A)$.

The pattern avoidance problem seeks to construct a set with large fractal dimension that avoids a prescribed pattern, such as three term arithmetic progressions, or more general patterns, such as finding a set whose Cartesian product avoids the zero set of a given function. Previous work on the subject has considered patterns described by polynomials, or functions satisfying certain regularity conditions. We provide an exposition of some results in this setting, as well as considering new strategies to avoid what we call `rough patterns'. This thesis contains an expanded description of a method described in a previous paper by the author and his collaborators Malabika Pramanik and Joshua Zahl, as well as new results in the rough pattern avoidance setting. There are several problems that fit into the pattern of rough pattern avoidance. For instance, we prove that for any set $X$ with lower Minkowski dimension $s$, there exists a set $Y$ with Hausdorff dimension $1-s$ such that for any rational numbers $a_1, \dots, a_N$, the set $a_1 Y + \dots + a_N Y$ is disjoint from $X$, or intersects with $X$ solely at the origin. As a second application, we construct subsets of Lipschitz curves with dimension $1/2$ not containing the vertices of any isosceles triangle.