English

On the Packing Functions of some Linear Sets of Lebesgue Measure Zero

Classical Analysis and ODEs 2025-06-26 v3 Metric Geometry

Abstract

We use a characterization of Minkowski measurability to study the asymptotics of best packing on cut-out subsets of the real line with Minkowski dimension d(0,1)d\in(0,1). Our main result is a proof that Minkowski measurability is a sufficient condition for the existence of best packing asymptotics on monotone rearrangements of these sets. For each such set, the main result provides an explicit constant of proportionality pd,p_d, depending only on the Minkowski dimension d,d, that relates its packing limit and Minkowski content. We later use the Digamma function to study the limiting value of pdp_d as d1.d\to 1^-. For sharpness, we use renewal theory to prove that the packing constant of the (1/2,1/3)(1/2,1/3) Cantor set is less than the product of its Minkowski content and pdp_d. We also show that the measurability hypothesis of the main theorem is necessary by demonstrating that a monotone rearrangement of the complementary intervals of the 1/3 Cantor set has Minkowski dimension d=log2/log3(0,1),d=\log2/\log3\in(0,1), is not Minkowski measurable, and does not have convergent first-order packing asymptotics. The aforementioned characterization of Minkowski measurability further motivates the asymptotic study of an infinite multiple subset sum problem.

Keywords

Cite

@article{arxiv.2408.07634,
  title  = {On the Packing Functions of some Linear Sets of Lebesgue Measure Zero},
  author = {Austin Anderson and Steven Damelin},
  journal= {arXiv preprint arXiv:2408.07634},
  year   = {2025}
}

Comments

Version 3: 40 pages. 2 figures. Contains added reference materials and some changes to the mathematical content stemming from Inequality (16)