REVIEW 2 major objections 1 minor
Finite relaxed Willmore energy does not force BV graphs into SBV: continuous functions with nonzero Cantor derivative can still have finite energy.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-15 02:28 UTC pith:CVQITSCI
load-bearing objection Clean counterexample: finite relaxed 1D Willmore need not kill Cantor parts, so SBV is not forced. the 2 major comments →
Regular Curves, Singular Graphs: Cantor Parts and the Relaxed Willmore Energy
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
There exists a continuous function u belonging to BV((0,1)) with nonzero Cantor part of Du and with finite relaxed Willmore energy; consequently finiteness of the relaxed energy does not imply that u lies in SBV((0,1)). The same construction can be rescaled so that the energy becomes arbitrarily small and extends to relaxed L^{p}-curvature energies for every p > 1.
What carries the argument
The concentration of the Cantor part of Du exactly where the absolutely continuous slope blows up: this single placement simultaneously satisfies the blow-up hypothesis of the known relaxation theorem and keeps the weighted curvature term integrable.
Load-bearing premise
That placing the Cantor mass precisely at the blow-up of the absolutely continuous slope still meets the relaxation theorem’s blow-up condition while leaving the weighted curvature integrand finite.
What would settle it
Either produce a continuous BV function with nonzero Cantor derivative whose relaxed Willmore energy is finite (confirming the claim) or prove that every such function must have infinite energy (refuting it); the explicit construction given in the paper can be checked by direct computation of the measures and the integral.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that finite relaxed one-dimensional Willmore energy does not force a function into SBV. Concretely, it asserts the existence of a continuous u ∈ BV((0,1)) with D^c u ≠ 0 yet W-bar(u) < ∞. The stated construction concentrates the Cantor part of Du precisely where the absolutely continuous slope blows up, so that the singular diffuse measure satisfies the blow-up hypothesis of an existing relaxation theorem while the weighted curvature integrand remains integrable. A geometric reinterpretation is offered: after a suitable rotation the graph admits a C^1 ∩ W^{2,2} arc-length parametrization and becomes a Lipschitz graph free of singular derivative parts. The same construction is said to rescale so that the relaxed energy can be made arbitrarily small, and to extend to relaxed L^p-curvature energies for every p > 1.
Significance. If the construction is correct, the result supplies a sharp counter-example clarifying the relationship between relaxed Willmore-type energies and SBV regularity in one dimension. It shows that Cantor parts of BV-graph derivatives need not be intrinsic geometric singularities of the underlying curve, and that the energy can be driven to zero while retaining a non-trivial Cantor mass. The extension to all p > 1 further broadens the scope. These points would be of genuine interest to the free-discontinuity and geometric-measure-theory communities. Because only the abstract is available, however, the technical hinge (simultaneous satisfaction of the blow-up condition and integrability) cannot be audited, so the significance remains conditional on verification of that hinge.
major comments (2)
- The central claim rests on a concrete construction that concentrates Cantor mass exactly where the absolutely continuous slope blows up, thereby meeting the blow-up hypothesis of the cited relaxation theorem while keeping the weighted curvature integrand finite. With only the abstract available, neither the explicit definition of u, the verification of the blow-up condition, nor the integrability estimate can be inspected. This single hinge is load-bearing: if it fails for every sequence realizing the Cantor mass, the counter-example collapses. A full manuscript is required before the claim can be assessed.
- The geometric reinterpretation (existence of a C^1 ∩ W^{2,2} arc-length parametrization after rotation that eliminates the singular part) is asserted without any supporting argument or reference to a precise statement of the relaxation theorem. Again, the absence of the body of the paper prevents any check that the rotation preserves the relaxed energy and removes the Cantor part.
minor comments (1)
- The abstract is clearly written and self-contained as a statement of intent; no typographical or notational issues are visible at this level of detail.
Circularity Check
No circularity: pure existence/counterexample construction relying on an external relaxation theorem; abstract-only review finds no self-definitional or fitted steps.
full rationale
The paper is a pure mathematical existence construction: it claims a continuous u in BV((0,1)) with nonzero Cantor part yet finite relaxed Willmore energy, thereby showing that finite relaxed Willmore energy does not force SBV. The abstract presents this as a counterexample obtained by concentrating the Cantor part where the absolutely continuous slope blows up, so that an existing (external) relaxation theorem applies while the weighted curvature integrand remains integrable. No parameters are fitted to data; no quantity is defined in terms of the target conclusion; no uniqueness theorem or ansatz is imported from the authors' prior work as a load-bearing premise; and no known empirical pattern is merely renamed. The geometric reinterpretation (C^1 ∩ W^{2,2} arc-length parametrization after rotation) is a consequence of the construction, not a circular redefinition of the energy. Because only the abstract is available, the technical hinge cannot be audited for correctness, but correctness risk is distinct from circularity. On the material given, the derivation chain is self-contained against the external relaxation theorem and contains no circular steps of any of the enumerated kinds. Score 0 is therefore the honest finding.
Axiom & Free-Parameter Ledger
axioms (3)
- standard math Standard theory of BV, SBV, Cantor parts of derivatives, and Sobolev spaces W^{2,2} on intervals.
- domain assumption Existence of a relaxation theorem for the one-dimensional Willmore energy that supplies a blow-up condition under which singular measures are admissible.
- domain assumption Arc-length reparametrization and planar rotation preserve the geometric Willmore energy while changing the graph representation.
read the original abstract
One might expect that finite relaxed elastic energy rules out diffuse singularities in the derivative, leaving only absolutely continuous and jump parts. This is suggested by the role of $SBV$ in free-discontinuity problems and by interpreting jumps as vertical segments of limiting graphs. We show that it fails for the relaxed one-dimensional Willmore energy. We construct a continuous function $u\in BV((0,1))$ with $D^c u\neq0$ and $\overline{\mathcal{W}}(u)<\infty $, so finite relaxed Willmore energy does not imply $u\in SBV((0,1))$. The idea is to concentrate the Cantor part exactly where the absolutely continuous slope blows up. There the singular diffuse measure meets the blow-up condition of the relaxation theorem, while the weighted curvature term stays integrable. Geometrically, the example shows that Cantor parts of $BV$-graph derivatives need not be intrinsic singularities of the underlying curve. The graph has an arc-length parametrization of class $C^1\cap W^{2,2}$, and a suitable rotation turns it into a Lipschitz graph whose derivative has no singular part. The construction also rescales to make the relaxed Willmore energy arbitrarily small, and it extends to relaxed $L^p$-curvature energies for all $p>1$.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.