{"id":"arxiv/2611.00257","url":"https://arxiv.org/abs/2611.00257","tags":["math.NT","math.DS"],"score":0,"title":"Porosity in Diophantine approximation","domain":"math.NT","source":"arxiv","authors":["Henna Koivusalo","Benjamin Ward"],"reviews":0,"subject":"math.NT","summary":"We provide a general framework for obtaining upper bounds on the packing dimension of certain sets arising from Diophantine approximation using the notion of porosity from geometric measure theory. In particular, the framework relies on showing that such sets are mean porous, as introduced by Koskela and Rohde (Math. Ann., 1997). As applications of our framework we show that: For $\\varepsilon>0$ sufficiently small, the set of $d$-dimensional $\\varepsilon$-badly approximable points has packing codimension comparable to $\\varepsilon^{d}$ up to multiplicative constant. Any $C^{2}$ submanifold…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-30","reactions":{}}