Pith. sign in

REVIEW 5 minor 22 references

Finite Good Witnesses for Generalized Curve Projections at the Rectifiable Endpoint

T0 review · 0 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every admissible family of d nonlinear scalar maps on R^d has a finite witness for positive-length rectifiable curves.

desk verdict A genuine nonlinear finite-witness generalization of Federer's projection theorem with careful proofs and useful examples; worth a serious referee. read the letter →

arxiv 2608.10476 v1 pith:U7WJ2YC2 submitted 2026-08-11 math.CA math.MG

Caleb Marshall This is my paper · ORCID
classification math.CAmath.MG MSC 28A7528A78
keywords goodwitnessproperty1-rectifiablesetsgeneralizedcurveprojectionscriticalhypersurfacetangentialimmersionfoldnon-degeneracyexceptionalparameterpinneddistance
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves a finite-witness theorem for curve projections at the borderline dimension where classical methods had only partial information. For any admissible family of $d$ twice-differentiable scalar maps $\varphi_1,\dots,\varphi_d:\mathbb R^d\to\mathbb R$, every Borel 1-rectifiable set $E\subset\mathbb R^d$ with positive length has at least one map $\varphi_{j_E}$ whose image $\varphi_{j_E}(E)$ still has positive length. The two admissibility conditions—the critical set of the encoding map lying inside a $C^1$ hypersurface, and the encoding map having full rank on that hypersurface—are exactly what lets the proof continue through the critical region where the inverse function theorem would break. The paper also introduces a fold non-degeneracy condition that makes the witness conclusion stable under small perturbations of the maps, and it verifies the hypotheses for pinned squared distances, anisotropic distances, Bregman functionals, and prescribed critical geometries.

What carries the argument

The canonical encoding map $H(x)=(\varphi_1(x),\dots,\varphi_d(x))$ and its critical set $\Sigma=\{x:\operatorname{rank} DH(x)\le d-1\}$ carry the argument. When $\Sigma$ lies in a $C^1$ hypersurface $M$ and the restricted derivative $D_xH|_{T_xM}$ has rank $d-1$ everywhere on $M$, the restricted submap $H_I|_M$ for a suitable index set $I$ is a local bilipschitz diffeomorphism onto $\mathbb R^{d-1}$, which reduces the critical part of $E$ to Federer's theorem one dimension down. The fold non-degeneracy condition $D_xJ(x)[v]\ne0$ for every nonzero $v\in\ker D_xH(x)$ is the stability mechanism: it forces $\Sigma$ to be a genuine hypersurface and its kernel direction to be transverse to $\Sigma$, so the whole geometric configuration survives small perturbations of parameters.

What would settle it

To settle the claim, one could construct an admissible family—critical set a $C^1$ hypersurface with tangential rank $d-1$ throughout—together with a positive-length Borel 1-rectifiable set $E$ contained in that critical set, and compute $\mathcal H^1(\varphi_j(E))$ for each $j$. The theorem predicts at least one of these numbers is positive; if all were zero, the central claim would collapse. A concrete starting point is the prescribed-graph family $\varphi_\alpha^g(x',t)=\langle\alpha,x'\rangle+(t-g(x'))^2$: taking $E$ to be a curve inside the graph $\{t=g(x')\}$ and checking whether the linear forms $\langle\alpha_j,x'\rangle$ give positive length for some $j$ is a direct, finite-dimensional calculation.

Watch

Extended reading notes

Core claim

Theorem 1.4 is the central claim: if $\Phi=\{\varphi_1,\dots,\varphi_d\}$ is an admissible family of $C^2$ maps, then every Borel 1-rectifiable set $E$ with $\mathcal H^1(E)>0$ admits a good witness. The proof splits into the regular region, where the encoding map $H=(\varphi_1,\dots,\varphi_d)$ is locally bilipschitz and Federer's Projection Theorem applies directly, and the critical region, where the argument runs intrinsically along the $C^1$ hypersurface $M$ containing the critical set. There, the tangential-immersion hypothesis selects a subfamily of $d-1$ coordinates whose restriction to $M$ is locally bilipschitz, so Federer's theorem in $\mathbb R^{d-1}$ produces the witness. The accompanying fold condition, which demands that the Jacobian determinant $J=\det DH$ vanish transversely to the kernel direction, guarantees that this configuration persists under small parameter perturbations on compact sets.

Load-bearing premise

The load-bearing premise is the tangential-immersion condition: on the $C^1$ hypersurface containing the critical set, the restricted derivative $D_xH|_{T_xM}$ must have full rank $d-1$ at every point. If that rank drops, the intrinsic argument on $M$ fails, and the planar radial-projection example shows that the obstruction is real, not a technicality.

Editorial extensions

If this is right

  • For affinely independent pinned squared-distance maps, every positive-length rectifiable set has a pin whose distance set has positive length, and the set of bad pins is contained in an affine subspace of dimension at most $d-2$.
  • The planar radial angle pair fails the hypotheses precisely along the line through its two vantage points; positive-length sets lying on that line have no radial witness, while sets with positive length away from the line always do.
  • Under fold non-degeneracy, the good-witness property is open in parameter space on compact spatial regions: a successful index exists uniformly for all rectifiable sets in the region, with only the index depending on the set.
  • The same framework covers nonlinear anisotropic distances, Bregman functionals built from log-sum-exp regularizations of polyhedral norms, and families whose critical hypersurface is an arbitrary prescribed $C^2$ graph.
  • At the rectifiable endpoint the method gives deterministic finite witnesses, complementing exceptional-parameter dimension estimates that apply to fractal sets of Hausdorff dimension greater than one.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural extrapolation, which the author signals as forthcoming work, is to extend the encoding-plus-hypersurface strategy to $k$-rectifiable sets for $k\ge2$, replacing the $C^1$ hypersurface by a $(d-k)$-dimensional submanifold and requiring tangential rank $d-k$.
  • The affine-subspace bounds for bad parameters are stronger than dimension bounds; for parameter families where admissibility is open, one may expect similar thinness of exceptional sets in other projection problems.
  • Since fold non-degeneracy is often certified by a positive-definite Hessian, a testable extension is to verify the same two identities for other strictly convex potentials, beyond the log-sum-exp regularizations treated here.
  • The prescribed-$C^2$-graph example suggests the critical geometry itself is flexible; a plausible extension is to ask whether the conclusion persists for critical hypersurfaces that are only $C^1$ with Hölder tangent fields, though the proof as written needs only the bilipschitz parametrization.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper develops a deterministic finite-witness principle for generalized curve projections at the 1-rectifiable endpoint. Given d C^2 scalar maps φ_1,...,φ_d, it forms the canonical encoding map H=(φ_1,...,φ_d) and studies its critical set Σ. If a positive-length part of E lies away from Σ, a local bilipschitz change of variables plus Federer's projection theorem gives a good witness. If a positive-length part of E lies in Σ, the paper assumes that Σ is contained in a C^1 hypersurface M on which H retains full rank d-1 when restricted to tangent spaces; the proof then restricts a suitable (d-1)-component submap H_I to M, obtains a local bilipschitz diffeomorphism into R^{d-1}, and applies Federer's theorem there. The paper introduces a fold non-degeneracy condition as a parameter-stability mechanism and applies the framework to pinned squared distances, planar radial projections (where the hypotheses fail on the critical line), nonlinear anisotropic distances, Bregman functionals generated by log-sum-exp regularizations of polyhedral norms, and families with arbitrarily prescribed C^2 critical graphs.

Significance. If the main theorem is correct, it is a clean deterministic complement to Peres-Schlag exceptional-parameter theory at the endpoint s=1, where dimension bounds degenerate. The proof of Theorem 1.4 is coherent and the supporting determinant computations in Sections 2, 5.1, 5.2, and 5.3 are explicit and checkable; there are no fitted parameters and no circularity. The radial-projection example in Section 3 is especially valuable because it shows that the tangential-immersion condition is not vacuous and identifies the precise obstruction. The fold non-degeneracy framework provides a verifiable stability mechanism, and the examples give a useful library of admissible and non-admissible families.

minor comments (5)
  1. [Definition 1.3] The critical-hypersurface condition is stated as Σ_Φ⊆M, while several examples, such as Proposition 2.1, establish equality; please add a sentence clarifying that M may be strictly larger than Σ and that the proof of Theorem 1.4 only uses the inclusion E∩Σ⊆M.
  2. [Theorem 4.10] In the proof of Theorem 4.10, the phrase 'component neighbourhoods G_x' near the finite-subcover step should read 'open neighbourhoods G_x'; the notation L=overline{W} is introduced after being used implicitly, so a short preamble would improve readability.
  3. [Theorem 4.11] In the final paragraph of the proof of Theorem 4.11, the statement that Lemma 4.9 gives a C^1 critical hypersurface is abbreviated; since Lemma 4.9 is formulated on an open set, the argument should explicitly invoke the neighbourhood W supplied by Theorem 4.10(2) and localize to it.
  4. [Corollary 2.2] The equivalence between positive length of the distance set Δ_p(E) and of the squared-distance set is stated in one sentence; a two-line countable-localization argument would remove any doubt, since t↦t^2 is only locally bilipschitz on (0,∞).
  5. [Section 5.2.1] In Proposition 5.3, the line 'recall that dim L_α=d−1, by the assumption of affine independence' should explicitly mention that affine independence gives linear independence of the differences ξ_1−ξ_2,...,ξ_1−ξ_d.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 1.4 is a genuine reduction to Federer's projection theorem, with the admissibility conditions acting as explicit sufficient hypotheses rather than restatements of the conclusion.

full rationale

The derivation chain is self-contained and non-circular. In the regular case, Theorem 4.2 localizes away from Sigma_Phi and applies the Inverse Function Theorem to make H_Phi locally bilipschitz, then invokes Federer's Projection Theorem on the image; this is a standard reduction, not an assumption of the target result. In the critical case, the proof of Theorem 1.4 uses tangential immersion only to find an index subset I for which H_I|M is a local C^1 diffeomorphism, then applies Federer's theorem in R^{d-1} to the rectifiable image A = H_I(F). The conclusion that some phi_{i_l}(E) has positive length follows from the coordinate projection of A, so the target is genuinely derived from external classical theorems plus the stated hypotheses. The admissibility conditions (critical-hypersurface and tangential-immersion) are explicit geometric sufficient conditions: they are not defined in terms of the good witness property, and the radial-projection example in Section 3 shows they are not vacuous, since that family fails tangential immersion and indeed lacks the good witness property. Fold non-degeneracy is likewise an explicit infinitesimal condition, and Lemma 4.9 derives admissibility from it rather than assuming it. No fitted parameters are introduced, and no quantity called a prediction is constructed from the data used to fit anything else. The self-citation to the companion paper [3] is contextual: the observation that a radial pair fails for E contained in L_Q is also proved directly in Section 3, and no central theorem is imported from [3] or from any other work by the author. The exceptional-set estimates in Proposition 4.7 are corollaries of Theorem 1.4 and are explicitly labeled as such; they are re-statements of a proved implication, not a circular use of it. Overall, the paper's central claim is a genuine extension of Federer's finite-witness principle under explicitly verified nonlinear hypotheses.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No fitted constants occur in the central arguments. The constants c_P and c_Q are nonzero by affine independence and are not free parameters. The new conditions, such as admissibility and fold non-degeneracy, are definitions rather than invented entities. The central theorems rest on classical geometric measure theory theorems plus the domain assumptions listed above.

assumptions (7)
  • standard math Federer's Projection Theorem (Theorem 1.2 / [8, Theorem 3.2.27])
    Black-box theorem used in Theorem 4.2, Corollary 4.3, and Theorem 1.4 to extract a positive-length coordinate projection after a local bilipschitz change of variables.
  • standard math Inverse Function Theorem and its manifold version (Proposition A.1)
    Used to make the encoding H bilipschitz outside its critical set and to make H_I a local bilipschitz diffeomorphism on the critical hypersurface M.
  • standard math Regular Level Set Theorem
    Used in Lemma 4.9 and Proposition 5.3 to identify the critical locus {J=0} as a C^1 hypersurface when the derivative of J is nonzero.
  • standard math Area Formula for Lipschitz maps
    Used in Proposition 4.13 to show that the set of good parameters for a fixed set E is open; this is a supporting result, not part of the main theorem.
  • domain assumption Borel 1-rectifiable sets with positive and finite H^1 measure
    The theorem is stated specifically at the rectifiable endpoint; the conclusion is not claimed for purely unrectifiable or higher-dimensional fractal sets.
  • domain assumption C^2 regularity of the scalar maps, with joint C^2 regularity in parameters for stability results
    Determinant, rank, and fold-transversality arguments require C^2; the parameter-space openness results additionally require joint C^2 dependence.
  • domain assumption Structural hypothesis that Sigma_Phi lies in a C^1 hypersurface M on which D H has full tangential rank d-1
    This is Definition 1.3 and the load-bearing premise of Theorem 1.4; it is verified for the examples and fails for planar radial projections.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Finite Good Witnesses for Generalized Curve Projections at the Rectifiable Endpoint." pith.science (2026). https://pith.science/paper/U7WJ2YC2

@misc{pith2026260810476,
  author       = {Pith},
  title        = {Pith review of: Finite Good Witnesses for Generalized Curve Projections at the Rectifiable Endpoint},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/U7WJ2YC2}},
  note         = {Machine review of arXiv:2608.10476}
}
abstract

For a $1$-rectifiable set $E \subset \mathbb{R}^d$ of positive length, a theorem of Federer shows that, among any $d$ linearly independent orthogonal projections of $E$, at least one has positive length. We develop a version of this finite-witness principle for generalized curve projections. Given scalar-valued mappings $\varphi_1,\ldots,\varphi_d:\mathbb{R}^d\longrightarrow\mathbb{R}$, we introduce the canonical encoding map $\mathsf{H}:=(\varphi_1,\ldots,\varphi_d)$. Where $D\mathsf{H}$ is invertible, a local bilipschitz change of variables and Federer's theorem show that $\varphi_j(E)$ has positive length for some $j$. If a positive-length portion of $E$ lies in the critical set, we instead argue intrinsically on a $C^1$ hypersurface containing it, provided that $\mathsf{H}$ retains full tangential rank there. This yields an abundance of deterministic finite witnesses, as well as structural bounds for those exceptional parameters where the good witness property fails. A new fold non-degeneracy condition makes our constructions stable under perturbations of the underlying parameters. At this rectifiable endpoint, these conclusions complement work of Peres--Schlag, which developed exceptional set estimates for fractal sets of Hausdorff dimension strictly greater than one. We then apply our framework to several nonlinear projection families. Affinely independent pinned squared-distance maps satisfy the tangential and fold conditions, whereas two planar radial projections lose tangential rank along their critical line. We also verify the hypotheses for more exotic examples, including nonlinear anisotropic distances, Bregman functionals arising from smooth approximations of polyhedral norms, and families whose critical hypersurfaces have prescribed $C^2$ geometry.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 17 canonical work pages

  1. [3]

    Bongers, P

    R. Bongers, P. Bright, C. Marshall, and K. Taylor. Applications of nonlinear projections to rectifiable 1-sets. Unpublished manuscript, 2026

    work page 2026

  2. [1]

    H. H. Bauschke and J. M. Borwein. Legendre functions and the method of random Bregman projections. Journal of Convex Analysis, 4(1):27–67, 1997

    work page 1997

  3. [2]

    A. S. Besicovitch. On the fundamental geometrical properties of linearly measurable plane sets of points (III).Math. Ann., 116(1):349–357, 1939

    work page 1939

  4. [4]

    Bongers and K

    R. Bongers and K. Taylor. Transversal families of nonlinear projections and generalizations of Favard length.Anal. PDE, 16(1):279–308, 2023

    work page 2023

  5. [5]

    Boyd and L

    S. Boyd and L. Vandenberghe.Convex Optimization. Cambridge University Press, Cambridge, 2004

    2004

  6. [6]

    L. M. Bregman. The relaxation method of finding the common point of convex sets and its application to the solution of problems in convex programming.USSR Computational Mathematics and Mathematical Physics, 7(3):200–217, 1967

    work page 1967

  7. [7]

    L. C. Evans and R. F. Gariepy.Measure Theory and Fine Properties of Functions. Textbooks in Math- ematics. CRC Press, Boca Raton, FL, 2 edition, 2025

    work page 2025

  8. [8]

    Federer.Geometric Measure Theory

    H. Federer.Geometric Measure Theory. Classics in Mathematics. Springer, 1996. FINITE GOOD WITNESSES FOR GENERALIZED CUR VE PROJECTIONS 47

    work page 1996

Show all 22 references
  1. [9]

    J. M. Fraser. A nonlinear projection theorem for Assouad dimension and applications.J. Lond. Math. Soc. (2), 107(2):777–797, 2023

    2023

  2. [10]

    Golubitsky and V

    M. Golubitsky and V. Guillemin.Stable Mappings and Their Singularities, volume 14 ofGraduate Texts in Mathematics. Springer-Verlag, New York, 1973

    1973

  3. [11]

    Iosevich and I

    A. Iosevich and I. Laba.K-distance sets, falconer conjecture, and discrete analogs.Integers, 5(2):Paper A08, 11 pp., 2005

    2005

  4. [12]

    Koldobsky and V

    A. Koldobsky and V. Yaskin.The Interface between Convex Geometry and Harmonic Analysis, volume 108 ofCBMS Regional Conference Series in Mathematics. American Mathematical Society, Providence, RI, 2008

    2008

  5. [13]

    Konyagin and I

    S. Konyagin and I. Laba. Distance sets of well-distributed planar sets for polygonal norms.Israel Journal of Mathematics, 152:157–179, 2006

    2006

  6. [14]

    I. Laba, A. McDonald, and K. Taylor. Favard length and generalized projections, 2026. Preprint available at arXiv:2607.28793

    2026 arXiv

  7. [15]

    J. M. Lee.Introduction to Smooth Manifolds, volume 218 ofGraduate Texts in Mathematics. Springer, New York, 2 edition, 2013

    2013

  8. [16]

    Li and K

    Z. Li and K. Taylor. A quantified two-projection theorem for nonlinear projections, 2026. Preprint available at arXiv:2606.00381

    2026 arXiv

  9. [17]

    Mattila.Geometry of sets and measures in Euclidean spaces, volume 44 ofCambridge Studies in Advanced Mathematics

    P. Mattila.Geometry of sets and measures in Euclidean spaces, volume 44 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1995. Fractals and rectifiability

    1995

  10. [18]

    T. Orponen. Slicing sets and measures, and the dimension of exceptional parameters.J. Geom. Anal., 24(1):47–80, 2014

    2014

  11. [19]

    Orponen and T

    T. Orponen and T. Sahlsten. Radial projections of rectifiable sets.Ann. Acad. Sci. Fenn. Math., 36(2):677–681, 2011

    2011

  12. [20]

    Peres and W

    Y. Peres and W. Schlag. Smoothness of projections, bernoulli convolutions, and the dimension of ex- ceptions.Duke Mathematical Journal, 102(2):193–251, 2000

    2000

  13. [21]

    R. T. Rockafellar.Convex Analysis, volume 28 ofPrinceton Mathematical Series. Princeton University Press, Princeton, NJ, 1970

    1970

  14. [22]

    Schneider.Convex Bodies: The Brunn–Minkowski Theory, volume 151 ofEncyclopedia of Mathe- matics and its Applications

    R. Schneider.Convex Bodies: The Brunn–Minkowski Theory, volume 151 ofEncyclopedia of Mathe- matics and its Applications. Cambridge University Press, Cambridge, 2 edition, 2014. Department of Mathematics, The University of Toronto, St. George Campus, Toronto, ON, Canada Email a...

    2014

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.