27
$\begingroup$

Introduction:

Let A be a subset of the naturals such that $\sum_{n\in A}\frac{1}{n}=\infty$. The Erdos Conjecture states that A must have arithmetic progressions of arbitrary length.

Question:

I was wondering how one might go about categorizing or generating the divergent series of the form in the introduction above. I'm interested in some particular techniques and I list some examples below:

If we let $S$ be the set of such divergent series: $S=\left[ A: \sum_{n\in A}\frac{1}{n}=\infty, \ A\in\mathbb{N} \right]$, what kind of operations are there that would make S a group, or at the very least a semigroup? I'm rather vague on what the operatons should be for a reason, because although I presume trivial operations exist, their usefulness in understanding the members of $S$ would be questionable.

Alternately, can one look at these divergent sums through the technique of Ramanujan summation (think: $1+2+3+\ldots =^R -\frac{1}{12}$, $R$ emphasizing Ramanujan summation)? The generalizations of Ramanujan summation (a good reference here ) allow one to assign values to some of these series and give some measure of what kind of divergence is occurring. Moreover, basic series manipulations that hold for convergent series tend to carry over to Ramanujan summation, so can one perhaps look at the set $S$ above as a set of equivalence classes in the sense of two elements being equivalent if they share the same Ramanujan summation constant.

Thanks in advance for any input!

$\endgroup$
3

5 Answers 5

14
$\begingroup$

Most of the point of this answer is to promote a piece of terminology:

Three years ago I first taught a number theory course at UGA in which I made the following definition: a subset $A$ of the positive integers is substantial if

$\sum_{n \in A} \frac{1}{n} = \infty$.

A little bit of discussion of this concept occurs in Section 4 of

http://alpha.math.uga.edu/~pete/4400primes.pdf

I do mention the Erdos(-Turan?) conjecture about arithmetic progressions in substantial sets. For the purpose of constructing examples, possibly the remark I make about any set with positive upper density being substantial will be of most use to you.

Those notes don't contain a proof of that, but a proof of this and more can be found in a very (very!) nice final project done in this class by (then) undergraduate Alex Rice. Sadly he never gave me an electronic copy in a form that I was able to upload to my webpage. If you want to see his writeup, let me know and I'll bug him about this again: the winds of fate have blown him around a bit, but he is now again a UGA (graduate) student taking a number theory course from me.

Finally, to answer one of your questions in a cheap way: yes, the set of substantial subsets of $\mathbb{Z}^+$ certainly forms a semigroup under union. This seems like a completely unhelpful observation, but who knows...

$\endgroup$
6
  • $\begingroup$ Sure, I would be interested in the write-up. $\endgroup$ May 20, 2010 at 20:03
  • $\begingroup$ Great, I'll contact Alex about it. $\endgroup$ May 20, 2010 at 22:31
  • $\begingroup$ I'm interested in seeing what your disciple came up with, too... $\endgroup$ May 20, 2010 at 23:07
  • $\begingroup$ @PeteL.Clark Sorry to bother you with such old matters, but did anything happen with the write-up you mentioned? (I would still be interested.) $\endgroup$ Jul 17, 2013 at 1:35
  • 1
    $\begingroup$ (The note, "Density and substance", can be found at Alex's page, here.) $\endgroup$ Oct 22, 2019 at 17:14
41
$\begingroup$

I've never much liked Erdős's conjecture. Of course, I don't mean by that that I wouldn't love to solve it, or that I wouldn't be fascinated to know the answer. However, I think the precise form in which it is stated, with sums of reciprocals, gives it a mystique it doesn't quite deserve. The real question, it seems to me, is this: how large a subset of {1,2,...,n} can you have if it is to contain no arithmetic progression of length k? Erdős's conjecture is roughly equivalent to the statement that the best density you can get is no more than n/logn. (I won't bother to say what I mean by "roughly equivalent", but if you think about it you will see that a set with reasonably smoothly decreasing density can get up to a little bit less than n/logn before the sum of its reciprocals starts to diverge.)

Now there doesn't seem to be a strong heuristic argument that the right bound for this problem is about n/logn. Indeed, many people think that it is probably quite a lot lower than that. So there is something a bit arbitrary about Erdős's conjecture: it has a memorable statement, but there is no particular reason to think that it is a natural statement in the context of this problem. By contrast, if you ask what the correct density is in order to guarantee a progression of length k, then it's trivially a natural question, since it is asking for the best possible bound.

One could perhaps defend the conjecture as being the weakest neat conjecture of its kind that would imply that the primes contain arbitrarily long arithmetic progressions. And that would still be an extremely interesting consequence of a proof of the conjecture (or rather, the fact that there could be a purely combinatorial proof of the Green-Tao theorem would be an extremely interesting consequence).

$\endgroup$
4
  • 10
    $\begingroup$ Erdos heard the infinity of primes from his father. Then he independently discovered the statement that the sum of the reciprocals of primes is divergent still as a teen, and could not prove it, although worked on it diligently. The older Erdos could not help on this. When Erdos then went to the university and met there the 3 years older Turan (whose name he had been familiar with from the KOMAL) this was his first question, which, of course, was promptly answered. $\endgroup$ Jun 13, 2010 at 6:31
  • 5
    $\begingroup$ I suppose that we could strengthen (superficially) the conjecture by letting $M_k$ be the supremum of the sum-of-reciprocals of sets of positive integers that do not have $k$-term APs. If the Erdős conjecture is right, then $M_k$ is finite. Now the by-definition-natural question is how fast $M_k$ grows. I suppose this must have been calculated for the obvious examples, but I've never seen it. $\endgroup$ Nov 21, 2010 at 5:31
  • 1
    $\begingroup$ @KevinO'Bryant: I just saw your comment now. Given $k$, how does Erdős imply that there cannot be arbitrarily (but not infinitely) large $k$-term-AP free sets? I don't see a way that a sequence of such sets can be "combined" without possibly creating new APs... $\endgroup$ Apr 12, 2018 at 13:54
  • 3
    $\begingroup$ @YaakovBaruch: Suppose $M_k=\infty$. Let $A_1$ be a nonempty, finite, $k$-AP-free subset of the positive integers. Let $r(A_1)=\sum_{a \in A_1} a^{-1}$. Let $N=2+(k-1)(\max(A_1)-1)$, and let $C$ be a finite, $k$-AP-free subset of the positive integers with $r(C) \ge N$, and let $A_2=A_1 \cup NC$. Then $A_2$ is finite, $k$-AP-free, $A_1 \subset A_2$, and $r(A_2)=r(A_1)+\frac{r(C)}{N} \ge r(A_1)+1$. Using the same method, we can construct $A_1 \subset A_2 \subset A_3 \subset \dots$ such that $r(A_{i+1}) \ge r(A_i)+1$ for every $i$. Then $A=\bigcup_i A_i$ is $k$-AP-free and $r(A) = \infty$. $\endgroup$
    – user42355
    Jul 20, 2019 at 18:30
25
$\begingroup$

For those interested, here is the most elementary proof that sets of the natural numbers of positive upper density necessarily have divergent reciprocal sums, r.e. Pete's discussion above.

Suppose $A \subset \mathbf{N}$ and $\displaystyle\limsup_{N \to \infty} \frac{|A\cap [1,N]|}{N} = \alpha > 0$.

Let $N_0=1$, and choose a sequence $N_k$ such that $N_k \geq \frac{4N_{k-1}}{\alpha}$ and $|A \cap [1,N_k)| \geq \frac{\alpha}{2}N_k$ for all $k \in \mathbf{N}$. $$\sum_{n \in A}\frac{1}{n}= \sum_{k=1}^{\infty}\sum_{n \in A\cap [N_{k-1},N_k)}\frac{1}{n} \geq \sum_{k=1}^{\infty}(|A\cap [1,N_k)|-N_{k-1})\frac{1}{N_k}$$ $$ \geq \sum_{k=1}^{\infty}(\frac{\alpha}{2}N_k - \frac{\alpha}{4}N_k) \frac{1}{N_k}=\sum_{k=1}^{\infty}\frac{\alpha}{4} \to \infty.$$ This is really just a generalization of the classical proof of the divergence of the harmonic series, where you group together progressively larger collections of consecutive terms that add to at least one-half. Hope this helps!

$\endgroup$
16
$\begingroup$

There is a way you can recast Erdős conjecture into a statement about certain inclusions among various compact left and two-sided ideals. Such topological-algebraic statements, and a few combinatorial statements, are proved by Neil Hindman in

"Some Equivalents of the Erdős Sum of Reciprocals Conjecture." European Journal of Combinatorics (1988) 9, no. 1, 39 -- 47.

Here is a brief sample of one of these topological-algebraic statements. Let $\beta\mathbb{N}$ denote the Stone-Čech compactification of the discrete space $\mathbb{N}$. We can extend the usual addition and multiplication operations on $\mathbb{N}$ to $\beta\mathbb{N}$ to make $(\beta\mathbb{N}, +)$ and $(\beta\mathbb{N}, \cdot)$ both into compact right-topological semigroups. (Right topological semigroup means that $(\beta\mathbb{N}, +)$ and $(\beta\mathbb{N}, \cdot)$ are both semigroups and for all $p$, $q \in \beta\mathbb{N}$ the maps $p \mapsto p+q$ and $p \mapsto p\cdot q$ are continuous.) To see how to actually perform this extension you can read section 3, pgs. 23-28, of this pdf document by Vitaly Bergelson. (However, Bergelson's construction makes $(\beta\mathbb{N}, +)$ into a compact left-topological semigroup.)

Let $L \subseteq \beta\mathbb{N}$. We say $L$ is a left ideal of $(\beta\mathbb{N}, +)$ if $L$ is nonempty and $\beta\mathbb{N} + L \subseteq L$. We define a right ideal of $(\beta\mathbb{N}, +)$ dually, and a (two-sided) ideal is both a left and right ideal. We define left, right, and two-sided ideals of $(\beta\mathbb{N}, \cdot)$ by simply replacing "$+$" with "$\cdot$" above.

Now define the following two subsets of $\beta\mathbb{N}$:

  • $\mathcal{AP} = \{p \in \beta\mathbb{N} : A \hbox{ contains APs of arbitrary length for all } A \in p \}$
  • $\mathcal{D} = \{p \in \beta\mathbb{N} : \sum_{n\in A} 1/n = \infty \hbox{ for all } A \in p\}$

It's known that $\mathcal{AP}$ is a compact two-sided ideal of $(\beta\mathbb{N}, +)$ and $(\beta\mathbb{N}, \cdot)$, and that $\mathcal{D}$ is a compact left ideal of $(\beta\mathbb{N}, +)$ and $(\beta\mathbb{N}, \cdot)$. Therefore (part of) the main result of Hindman's paper is the

Theorem. The following statements are equivalent.

(a) If $A\subseteq \mathbb{N}$ and $\sum_{n \in A} 1/n = \infty$, then A contains APs of arbitrary length.

(b) $\mathcal{D} \subseteq \mathcal{AP}$.

Of course the point here is that since $\mathcal{D}$ is a left ideal and $\mathcal{AP}$ is a two-sided ideal you would hope to have some nice theorems about inclusion relationships among various compact left, right, and two-sided ideals in $\beta\mathbb{N}$ to lean on. As far as I know, no one has attempted to attack Erdős conjecture from this topological-algebraic viewpoint.

Just to further illustrate the difficulties involved, let me mention that currently there is not even a "purely" topological-algebraic proof of Szemerédi's Theorem yet!

Let $\Delta = \{p \in \beta\mathbb{N} : \overline{d}(A) > 0 \hbox{ for all } A \in p\}$ and let $\Delta^* = \{p \in \beta\mathbb{N} : d^*(A) > 0 \hbox{ for all } A \in p\}$. Here $\overline{d}$ and $d^*$ are the upper asymptotic density and Banach Density. It's known that $\Delta$ is a compact left ideal of $(\beta\mathbb{N},+)$, and $\Delta^*$ is a compact two-sided ideal of $(\beta\mathbb{N}, +)$ and a compact left ideal of $(\beta\mathbb{N}, \cdot)$. In the above paper, Hindman shows that Szemerédi's Theorem is equivalent to each of the inclusions $\Delta \subseteq \mathcal{AP}$ and $\Delta^* \subseteq \mathcal{AP}$.

However, one possible approach to show Szemerédi's Theorem in a topological-algebraic "way" was shown not to work in the paper "Subprincipal Closed Ideals in $\beta\mathbb{N}$" by Dennis Davenport and Hindman. In this paper, they show that $\Delta^*$ intersects every closed ideal of $(\beta\mathbb{N},+)$; but, beyond that, not enough is known about inclusions among compact ideals to prove, algebraically, that $\Delta^* \subseteq \mathcal{AP}$.

$\endgroup$
3
$\begingroup$

An idea that I came up with is that if the conjecture is true, then there would be a finite upper bound on how big the sum could be if the set had no arithmetic progression of length k, lets call this upper bound f(k). Obviously f(1)=0, as if there are any members then there is an arithmetic progression of that length. f(2)=1 (using the set {1}), as adding more numbers would result in an arithmetic progression of length two or more. I am currently working on f(3)

$\endgroup$
1
  • 2
    $\begingroup$ See Kevin O'Bryant's comment from 21 Nov 2010 on gowers' answer. $\endgroup$ Jan 29, 2012 at 8:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.