Sum-product phenomena for Ahlfors-regular sets

William O'Regan

2025-01-04

Abstract:We utilise the recent work of Orponen to yield a result of sum and product for Ahlfors-regular sets. The result is sharp up to constants. As a corollary, we obtain the fractal analogue of the Solymosi $4/3$-bound for finite subsets of $\mathbb{R}.$

Classical Analysis and ODEs,Metric Geometry

What problem does this paper attempt to address?

The problem that this paper attempts to solve is related to the sum - product phenomena of Ahlfors regular sets. Specifically, the author aims to improve the previous existing results on the discretized sum - product problems for Ahlfors regular sets. The core objective of the paper is to prove a lower bound estimate of the Shannon entropy of Ahlfors regular measures and thereby derive inequalities regarding the covering numbers of Ahlfors regular sets.

### Specific Problem Description

1. **Sum - Product Phenomena**: This problem studies the phenomenon that the additive structure and the multiplicative structure are difficult to co - exist. For example, the results of Erdős and Szemerédi show that for a sufficiently large set of integers \( A\subseteq\mathbb{Z}\), there exists \(\epsilon > 0\) such that:
\[
|A + A|+|A\cdot A| > |A|^{1 +\epsilon}
\]
This means that a finite subset \( A\) cannot have rich additive and multiplicative structures simultaneously.

2. **Ahlfors Regular Sets**: For an Ahlfors regular set \( A\subseteq\mathbb{R}\), if its "dimension" is \( s\), then the "dimension" of \( A + A\) or \( A\cdot A\) will be significantly greater than \( s\). This problem was introduced by Katz and Tao and is related to the Erdős - Volkmann ring problem.

3. **Main Results**: The author uses the latest work of Orponen to obtain new results on the sum - product phenomena of Ahlfors regular sets. Specifically, the author proves the following theorems:

- **Theorem 1.1**: Let \(0 < s,\eta < 1\) and \(C > 0\). There exists \(\delta_0=\delta_0(C, s,\eta)> 0\) such that for any Ahlfors \((s,C)\)-regular measure \(\mu\) and independent and identically distributed random variables \(X,Y\) distributed according to \(\mu\), we have:
\[
H_\delta(X + Y)+2H_\delta(XY)> (\min\{2s + 1,4s\}-\eta)\log(1/\delta)
\]
where \(H_\delta\) represents the Shannon entropy of an interval of length \(\delta\).

- **Theorem 1.2**: Let \(0 < s,\eta < 1\) and \(C > 0\). There exists \(\delta_0=\delta_0(C, s,\eta)> 0\) such that for any Ahlfors \((s,C)\)-regular compact set \(A\subseteq\mathbb{R}\), we have:
\[
N_\delta(A + A)N_\delta(A\cdot A)^2>\delta^{-\min\{2s + 1,4s\}+\eta}
\]
and
\[
N_\delta(A + A)+N_\delta(A\cdot A)>\delta^{-\frac{\min\{2s + 1,4s\}}{3}+\eta}
\]
where \(N_\delta\) represents the minimum number of closed intervals required to cover the set.

### Solution

The author successfully proves the above theorems by combining the latest results of Orponen and using the submodularity of Shannon entropy and the independence of random variables. In addition, the author also shows the sharpness of these results, that is, the exponential parts of these inequalities.