An improved bound on the packing dimension of Furstenberg sets in the plane (Q2302848)

The main results of the paper are the following. Theorem 1. Suppose \(\tfrac12 < s < 1\). Then there exists a constant \(\epsilon = \epsilon (s) > 0\) such that every Furstenberg \(s\)-set \(K\) has packing dimension \(\dim_P K \geq 2s + \epsilon\). Theorem 2. Let \(\tfrac12 < s < 1\). If \(K\subset \mathbb{R}^2\) is an \(\mathcal{H}^1\)-measurable set with \(\mathcal{H}^1 (K) > 0\), then \[ \dim_H \left\{e\in S^1 : \dim_P \pi_e (K)\leq s\right\} \leq s - \epsilon, \] for some \(\epsilon = \epsilon(s) > 0\). Above, \(S^1\) denotes the unit circle in the plane and \(\pi_e:\mathbb{R}^2\to \mathbb{R}\) the orthogonal projection \(\pi_e (x) := x\cdot e\).