pith. sign in

arxiv: 1907.05227 · v1 · pith:JOZ4DYCInew · submitted 2019-07-11 · 🧮 math.MG · math.CA

Box-counting by H\"older's traveling salesman

Zolt\'an Balogh , Roger Z\"ust This is my paper

Pith reviewed 2026-05-24 22:38 UTC · model grok-4.3

classification 🧮 math.MG math.CA
keywords box-counting dimensionHölder curvequasiconvex metric spaceDini conditiontraveling salesman
0
0 comments X

The pith

If the upper box-counting dimension of a set is at most d in a quasiconvex metric space, then the set lies on an α-Hölder curve for every α less than 1/d.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper supplies a Dini-type integrability condition on the box-counting numbers of a set that is sufficient to guarantee the set is the image of an α-Hölder map defined on the unit interval. This condition holds automatically whenever the upper box-counting dimension is bounded by d, yielding the stated covering result in any complete quasiconvex metric space. The authors also construct a compact planar set whose upper box dimension equals d, whose lower box dimension is zero, and which fails the Dini condition, so that it cannot be covered by any countable collection of curves with the critical exponent 1/d.

Core claim

A Dini-type condition on the growth of the box-counting function is sufficient for a set in a complete quasiconvex metric space to be covered by an α-Hölder curve; this condition is satisfied as soon as the upper box-counting dimension is at most d and α is strictly less than 1/d, while the critical exponent 1/d is shown to be sharp by an explicit counterexample in the plane.

What carries the argument

The Dini-type integrability condition on the box-counting function that enables the Hölder traveling-salesman covering

Load-bearing premise

The ambient metric space must be complete and quasiconvex.

What would settle it

Exhibit a set in a complete quasiconvex space whose upper box-counting dimension equals d yet which cannot be covered by any α-Hölder curve for some α strictly less than 1/d.

read the original abstract

We provide a sufficient Dini-type condition for a subset of a complete, quasiconvex metric space to be covered by a H\"older curve. This implies in particular that if the upper box-counting dimension of a set in a quasiconvex metric space is less or equal to $d \geq 1$, then for any $\alpha < \frac{1}{d}$ the set can be covered by an $\alpha$-H\"older curve. On the other hand, for each $1\leq d <2$ we give an example of a compact set $K$, in the plane, just failing the above Dini-type condition, with lower box-counting dimension equal to zero and upper box-counting dimension equal to $d$ that can not be covered by a countable collection of $\frac{1}{d}$-H\"older curves.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript establishes a Dini-type sufficient condition under which a subset of a complete quasiconvex metric space admits a covering by an α-Hölder curve. As a consequence, any set whose upper box-counting dimension is at most d ≥ 1 can be covered by an α-Hölder curve whenever α < 1/d. The paper also constructs, for each 1 ≤ d < 2, a compact planar set K with lower box-counting dimension 0 and upper box-counting dimension d that satisfies the Dini condition only marginally and cannot be covered by any countable collection of (1/d)-Hölder curves.

Significance. If the central claims hold, the work supplies a concrete, checkable criterion linking box-counting dimension to the existence of Hölder parametrizations in a broad class of metric spaces. The explicit counterexample demonstrates sharpness at the critical exponent and thereby clarifies the boundary between dimension-controlled covering results and their failure. Both the positive theorem and the counterexample are of interest to researchers working at the interface of geometric measure theory and metric geometry.

minor comments (2)
  1. [Abstract] The abstract states the Dini-type condition only by name; a one-sentence description of its form (e.g., an integral or series involving the covering numbers) would improve immediate readability.
  2. [Introduction / Main Theorem] The statement that the ambient space is complete and quasiconvex appears in the abstract but should be repeated verbatim at the beginning of the main theorem (presumably Theorem 1.1 or equivalent) so that the hypotheses are self-contained.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript, the clear summary of its contributions, and the recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper proves a Dini-type sufficient condition for α-Hölder curve covering in complete quasiconvex metric spaces, then separately verifies that upper box-counting dimension ≤ d implies the condition for α < 1/d via direct estimates. The counterexample construction for sharpness is independent. No self-definitional reductions, fitted parameters renamed as predictions, or load-bearing self-citations appear; all steps are explicit theorems with external metric-space assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the standard domain assumption that the space is complete and quasiconvex; no free parameters or invented entities are visible from the abstract.

axioms (1)
  • domain assumption The metric space is complete and quasiconvex.
    Explicitly required in the abstract for the covering result to hold.

pith-pipeline@v0.9.0 · 5673 in / 1183 out tokens · 33736 ms · 2026-05-24T22:38:32.873208+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

  1. [1]

    Azzam, Hausdorff dimension of wiggly metric spaces, Ar k

    J. Azzam, Hausdorff dimension of wiggly metric spaces, Ar k. Mat. 53 no.1 (2015), 1–36

    work page 2015

  2. [2]

    Badger, L

    M. Badger, L. Naples, V. Vellis, H¨ older curves and param etrizations in the analyst’s traveling salesman theorem, Advances in Math. 349 (2019), 564–647

    work page 2019

  3. [3]

    Badger, V

    M. Badger, V. Vellis, Geometry of measures in real dimens ions via H¨ older parameterizations, J. Geom. Anal. 29 no.2 (2019), 1153–1192

    work page 2019

  4. [4]

    C. J. Bishop, P. W. Jones, Wiggly sets and limit sets, Ark. Mat. 35 no.2 (1997), 201–224

    work page 1997

  5. [5]

    C. J. Bishop, Y. Peres, Fractals in probability and analy sis, volume 162 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, Camb ridge, 2017

    work page 2017

  6. [6]

    Burago, Y

    D. Burago, Y. Burago, S. Ivanov, A Course in Metric Geomet ry, AMS, 2001

    work page 2001

  7. [7]

    Falconer, Fractal Geometry - Mathematical foundatio ns and applications, John Wiley, Third edition, 2014

    K. Falconer, Fractal Geometry - Mathematical foundatio ns and applications, John Wiley, Third edition, 2014

    work page 2014

  8. [8]

    Federer, Geometric measure theory

    H. Federer, Geometric measure theory. Die Grundlehren d er mathematischen Wissenschaften, Band 153, Springer, 1969

    work page 1969

  9. [9]

    P. W. Jones, Rectifiable sets and the Traveling Salesman P roblem, Invent. Math. 102 (1990), 1–15

    work page 1990

  10. [10]

    Konyagin, On the level sets of Lipschitz functions , Tatra Mt

    S.V. Konyagin, On the level sets of Lipschitz functions , Tatra Mt. Math. Publ. 2 (1993), 51–59

    work page 1993

  11. [11]

    Okikiolu, Characterization of subsets of rectifiabl e curves in Rn, J

    K. Okikiolu, Characterization of subsets of rectifiabl e curves in Rn, J. London Math. Soc. 46 no.2 (1992), 336–348

    work page 1992

  12. [12]

    Schul, Subsets of rectifiable curves in Hilbert space – the analyst’s TSP, J

    R. Schul, Subsets of rectifiable curves in Hilbert space – the analyst’s TSP, J. Anal. Math. 103 (2007), 331–375. University of Bern, Mathematical Institute, Sidlerstrasse 5, 301 2 Bern, Switzerland zoltan.balogh@math.unibe.ch roger.zuest@math.unibe.ch

    work page 2007