Anisotropic Minkowski Content for Countably $\mathcal{H}^k$-rectifiable Sets

Filip Fry\v{s}

arxiv: 2601.22681 · v2 · submitted 2026-01-30 · 🧮 math.CA

Anisotropic Minkowski Content for Countably mathcal{H}^k-rectifiable Sets

Filip Fry\v{s} This is my paper

Pith reviewed 2026-05-16 10:00 UTC · model grok-4.3

classification 🧮 math.CA

keywords anisotropic Minkowski contentrectifiable setscountably rectifiable setsgeometric measure theoryAFP-conditionMinkowski contentHausdorff rectifiability

0 comments

The pith

The C-anisotropic k-dimensional Minkowski content exists for every k-rectifiable compact set and equals a functional that depends on C.

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

The paper proves that anisotropic Minkowski content is well-defined in the lower-dimensional case. For any compact k-rectifiable set the limit that defines the C-anisotropic k-dimensional content always exists and equals a concrete functional built from C and the set. The same conclusion is shown to hold for countably H^k-rectifiable compact sets once an auxiliary AFP-condition is assumed. The work also examines how different choices of the anisotropy C can affect existence for the countably rectifiable case.

Core claim

The C-anisotropic k-dimensional Minkowski content of a k-rectifiable compact set always exists and coincides with a specific functional that depends naturally on C. The same conclusion holds for countably H^k-rectifiable compact sets provided the AFP-condition is satisfied. Existence for countably rectifiable sets can further depend on the particular choice of C.

What carries the argument

The C-anisotropic k-dimensional Minkowski content, obtained as a limit of normalized anisotropic volumes of tubular neighborhoods around the set, which serves as the measure of k-dimensional size under direction-dependent scaling.

If this is right

The content can be computed directly from the functional without taking limits for every k-rectifiable compact set.
Different anisotropies C produce different values of the content, all of which are guaranteed to exist under the stated hypotheses.
The AFP-condition is sufficient to guarantee existence even when the set is only countably rectifiable rather than rectifiable.
Existence may fail for some choices of C even when the AFP-condition holds.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The functional representation may let anisotropic versions of classical rectifiability theorems be checked by direct calculation rather than by limit arguments.
The dependence on C suggests that existence questions in anisotropic geometric measure theory split into regimes governed by the convexity or regularity properties of C.
Sets that barely satisfy the AFP-condition could serve as test cases for whether the content remains stable under small perturbations of C.

Load-bearing premise

The AFP-condition must hold in order for the existence result to carry over from k-rectifiable sets to countably H^k-rectifiable sets.

What would settle it

A countably H^k-rectifiable compact set that satisfies the AFP-condition yet for which the limit defining the C-anisotropic k-dimensional Minkowski content fails to exist would disprove the main extension.

read the original abstract

This paper investigates the existence of the anisotropic lower-dimensional Minkowski content. We establish that the $C$-anisotropic $k$-dimensional Minkowski content of a $k$-rectifiable compact set always exists and coincides with a specific functional that depends naturally on $C$. We further show that the same conclusion holds for countably $\mathcal{H}^k$-rectifiable compact sets, provided that the so-called \emph{AFP-condition} is satisfied. In addition, we discuss how the existence of the $C$-anisotropic $k$-dimensional Minkowski content for a countably $\mathcal{H}^k$-rectifiable compact set depends on the choice of $C$.

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.

Desk Editor's Note private letter to a colleague

The paper proves existence of C-anisotropic k-Minkowski content for k-rectifiable compact sets and extends it to countably rectifiable ones under the AFP-condition, but that condition's scope is the main open question.

read the letter

The core result is that the C-anisotropic k-dimensional Minkowski content exists for every k-rectifiable compact set and equals a natural functional of C. The same holds for countably H^k-rectifiable compact sets when the AFP-condition is met, and the paper notes that existence in the countable case can also hinge on the specific choice of C. This is a direct extension of the isotropic theory to the anisotropic setting, which is useful for variational problems that care about direction. The identification with an explicit functional is the cleanest part and gives a concrete object to work with rather than just an abstract limit. The handling of the countable case shows they addressed the technical gap between rectifiable and countably rectifiable sets. The AFP-condition is the soft spot. The abstract treats it as a sufficient extra assumption for the countable case, but does not say whether it holds automatically for all compact countably rectifiable sets or only for a subclass. If AFP imposes something like uniform approximate flatness on the tangent planes, then the headline claim for the broader class is conditional rather than unconditional, and the dependence on C might hide cases where the limit fails. Without the full proofs it is hard to judge how restrictive this is in practice. The paper is aimed at people working in geometric measure theory on rectifiable sets and anisotropic functionals. A reader who already knows the isotropic Minkowski content literature will see the precise extension and the role of AFP. It is worth sending to a serious referee because the existence statements are stated cleanly, the circularity burden looks low, and the claims are falsifiable once the proofs are checked.

Referee Report

2 major / 1 minor

Summary. The paper establishes that the C-anisotropic k-dimensional Minkowski content of a k-rectifiable compact set always exists and equals a specific functional depending naturally on C. It further proves the same conclusion for countably H^k-rectifiable compact sets provided the AFP-condition holds, and discusses how existence for the countably rectifiable case depends on the choice of C.

Significance. If the proofs hold, the unconditional existence result for k-rectifiable sets is a clear advance in anisotropic geometric measure theory, extending classical Minkowski content results to a setting with natural applications in anisotropic variational problems. The explicit dependence on C and the identification with a functional are useful for computations; the AFP-condition for the countably rectifiable extension is a technically honest restriction rather than a hidden assumption.

major comments (2)

[Main existence theorem for countably rectifiable sets] The statement that existence for countably H^k-rectifiable sets holds 'provided the AFP-condition is satisfied' (abstract) requires an explicit clarification in the main theorem statement: does AFP hold automatically for every compact countably H^k-rectifiable set, or is it a genuine restriction? If the latter, the headline claim for the broader class is conditional and the dependence on C may hide cases where the limit fails.
[Theorem for k-rectifiable compact sets] The proof that the anisotropic content coincides with the indicated functional for k-rectifiable sets (abstract) should include a brief verification that the functional is independent of the particular rectifiable parametrization; otherwise the 'natural dependence on C' claim risks being parametrization-dependent.

minor comments (1)

[Notation and abstract] Notation for the anisotropic content (e.g., the precise symbol for the C-anisotropic content) should be introduced once in the introduction and used uniformly; minor inconsistencies appear in the abstract versus later statements.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the precise comments. We address the two major comments point by point below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Main existence theorem for countably rectifiable sets] The statement that existence for countably H^k-rectifiable sets holds 'provided the AFP-condition is satisfied' (abstract) requires an explicit clarification in the main theorem statement: does AFP hold automatically for every compact countably H^k-rectifiable set, or is it a genuine restriction? If the latter, the headline claim for the broader class is conditional and the dependence on C may hide cases where the limit fails.

Authors: The AFP-condition is a genuine restriction and does not hold automatically for every compact countably H^k-rectifiable set; its validity depends on the choice of the anisotropy C as well as on the geometry of the set. The manuscript already discusses this dependence in the final section. To make the conditional nature fully transparent, we will add an explicit sentence in the statement of the main theorem clarifying that the result requires the AFP-condition. revision: yes
Referee: [Theorem for k-rectifiable compact sets] The proof that the anisotropic content coincides with the indicated functional for k-rectifiable sets (abstract) should include a brief verification that the functional is independent of the particular rectifiable parametrization; otherwise the 'natural dependence on C' claim risks being parametrization-dependent.

Authors: We agree that an explicit verification of parametrization independence strengthens the argument. The functional is defined via the k-dimensional Hausdorff measure on the rectifiable set and the pointwise action of C, both of which are intrinsically independent of any particular Lipschitz parametrization. We will insert a short remark immediately after the definition of the functional to record this independence. revision: yes

Circularity Check

0 steps flagged

No circularity: existence theorem is independent of fitted inputs or self-citations

full rationale

The paper states an unconditional existence result for the C-anisotropic k-dimensional Minkowski content on k-rectifiable compact sets, claiming it coincides with a natural functional of C. This is presented as a direct theorem without any reduction to fitted parameters, self-defined quantities, or load-bearing self-citations. The AFP-condition is introduced explicitly as an additional hypothesis required only for the countably rectifiable extension, rather than being derived from the result itself or smuggled in via prior work by the same author. No equations or definitions in the abstract or described claims collapse the existence statement to an input by construction, so the derivation chain remains self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard definitions and properties of rectifiability, Hausdorff measure, and Minkowski content from geometric measure theory; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (2)

standard math Standard definition of k-rectifiability and countable H^k-rectifiability via Lipschitz images and Hausdorff measure
Invoked as background for the sets under consideration.
standard math Existence of the isotropic Minkowski content for rectifiable sets (classical result)
Used as the isotropic baseline that the anisotropic version extends.

pith-pipeline@v0.9.0 · 5400 in / 1318 out tokens · 34821 ms · 2026-05-16T10:00:37.436422+00:00 · methodology