I’ve gathered some problems I haven’t been able to completely resolve.

If you decide to try these, or if you find that they’ve been solved in literature somewhere, I’d be interested to hear about them. I’ll include a brief summary of progress.


Problem 1

Suppose you have two sets A and B of natural numbers.
Write AB if the sets b1Ab2A have zero natural density, whenever b1,b2 are different elements of B. In other words, A has nearly disjoint B-dilations.
Then the upper density of A is at most

d(A)(1b)1

See the following posts for context: 1 2

The first post basically proves it for nice B for which there exist A such that the dilations bA are disjoint and such that A×B=N. Erdős and Saffari call these “direct factors”.
This case extends to B=N by a limiting argument.

The second post proves it for the case in which 1b= and such that the elements of B are pairwise coprime. This contains the case B=P being the set of primes.

I’ve proved it by a few arguments for the cases (for example)

B={1,2,3}B={1,2,5}B={1,2,3,4}B={1,p,q} when p<q<p2

The general case, as well as the special case B={1,p,q}, remain open.


Problem 2

Fix a base b>1 and a natural number x1.
Let xn+1=xn+f(xn) where f(x) is the sum of the base-b digits of x.
Similarly create the sequence yn starting from a natural number y1.
Then there exists an integer i such that xn=yn+i for all large n iff gcd(x1,b1)=gcd(y1,b1).
In the binary case, there always exists such an integer i.

It seems like there’s some simple proof that I’m just totally overlooking here.

Let tetration be written as na=aaa, where there are n levels in the tower.

Here’s a proof (minus computer calculation) that, in the binary case, any starting values a1,b1<20002 will both eventually be mapped to the same value.

Fix K and initialize the range [1,K21].
Any integer in this range will eventually be mapped to the range [K2,K2+K121], since the max bit count in the first range is K12.

From there it gets a little uglier, this range maps into [K2+K12,K2+K121+1+K22].
Continuing on, you get ranges of the form [K2+K12++J2+U,K2+K12++J12+V] which get successively narrower, and you stop once the value of V exceeds J12. That only realistically happens for J14, since 52 is astronomically big.

Now, that doesn’t reduce the problem to one integer, rather a small range (seemingly linear in K) which we can manually test to ensure they all converge to one trajectory. To do that we separate off the sum of powers of two down to 52 and treat the bit count of those separately.

My super old Facebook post on this says that every starting value under 20002 is eventually mapped to 20002+19992++52+838365944.


Problem 3

Say α is an algebraic number.
Is there always a finite sequence of polynomials f1,f2,,fk all of which having integer coefficients and rational zeros1 which, when composed, has f1(f2(fk(α)))=0?

If α=pq is rational, the length one sequence f1(x)=qxp works.

What if α is a quadratic irrational, say Aα2+Bα+C=0?

Then the sequence f1(x)=x+C and f2(x)=x(Ax+B) works.

I posted this some years ago on the actually good math problems Facebook group. There, Jordi Ribes provided a working sequence for the cubic case:

Any cubic x^3+ax^2+bx+c divides the polynomial (x+a/3)^2((x+a/3)^2-(a^2-3b)/3)^2-((2a^3-9ab+27c)/27)^2. This comes from computing the depressed cubic t^3+dt+e (where d,e depend on a,b,c) through the change t=x+a/3, and noting that t^3+dx+e divides t^2(t^2+d)^2-e^2. So f_1(x)=(x+a/3)^2, f_2(x)=x*(x-(a^2-3b)/3)^2, f_3(x)=x-((2a^3-9ab+27c)/27)^2.

Seems interesting. The cases with degree 4 are open.

  1. Edit added 7/3/2024. Oops!