Pith. sign in

REVIEW 3 major objections 5 minor 35 references

Nonlinear resistance forms

T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read Nonlinear resistance forms define a one-parameter family of t-resistances that are additive extended pseudometrics, and they include both classical resistance forms and p-resistance forms as special cases.

desk verdict A genuinely unifying convex-analysis framework for resistance forms, with two load-bearing imports from unrefereed preprints that should be pinned down before the paper is used as a black box. read the letter →

arxiv 2507.03426 v1 pith:W47OKQ5H submitted 2025-07-04 math.FA

Simon Puchert , Marcel Schmidt This is my paper · ORCID
classification math.FA MSC 46N1031C2531C4528A80
keywords nonlinearresistanceformst-resistancep-resistancenormalcontractionsconvexfunctionalslowersemicontinuityserialcircuitsfractalp-energy
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

Resistance forms are energy functionals used to put Laplacians and Brownian motion on fractal spaces, and p-resistance forms are their p-homogeneous nonlinear analogues tied to p-Laplacians. This paper claims that both are instances of one broader class, called nonlinear resistance forms, built from four mild axioms on a convex functional on all real-valued functions on a set. For every such form it defines a one-parameter family of t-resistances and proves each is an extended pseudometric that is additive over serial circuits, the qualitative behavior expected of electrical resistance. A single definition matters because it transfers tools and results across quadratic, p-homogeneous, and fully nonlinear regimes, and it brings the p = 1 case, excluded from earlier p-resistance theory, inside the same framework.

What carries the argument

The central object is the $t$-resistance $R_t(x,y)=E^*(t(\delta_x-\delta_y))$, the convex conjugate of the energy evaluated at the difference of point-evaluation functionals; the parameter $t$ rescales the potential drop. The key mechanism is compatibility of $E$ with normal contractions, meaning 1-Lipschitz functions $C:\mathbb{R}\to\mathbb{R}$ with $C(0)=0$ acting by composition, in the symmetrized inequality $E(f+Cg)+E(f-Cg)\le E(f+g)+E(f-g)$. This single condition supplies the triangle inequality for $R_t$: the proof cuts a function at a middle level and splits the energy using a suitable contraction, and the paper shows this compatibility is equivalent to checking only the truncation functions $x\mapsto x\wedge\alpha$ and $x\mapsto |x-\beta|-|\beta|$. For $p$-homogeneous energies the machinery yields the exact identity $R_t(x,y)=(p-1)(t/p)^q R(x,y)^q$, where $q$ is the conjugate exponent, so the whole one-parameter family is a deterministic power of the elementary resistance. Lower semicontinuity, needed for approximation by finite sets and for admitting p-resistance forms, is handled through the Luxemburg functional $\|f\|_L=\inf\{\lambda>0:E(f/\lambda)\le 1\}$ and the conjugate Orlicz functional, together with a completeness criterion for the modular space of $E$.

What would settle it

One concrete check: look for a p-resistance form whose energy space modulo constants is not reflexive; the reflexivity cited from the other preprint is exactly what closes the proof of lower semicontinuity, so such an example would show the inclusion statement needs an extra hypothesis. The paper's own Example 3.13 shows that without reflexivity, completeness of the energy space does not force lower semicontinuity.

Watch

Extended reading notes

Core claim

The central discovery is that the good notion of resistance for a nonlinear convex energy $E$ on $\mathcal{F}(X)$ is not the naive elementary resistance $R(x,y)=\sup\{f(x)-f(y): E(f)\le 1\}$, but the $t$-dependent conjugate resistance $R_t(x,y)=\sup\{t(f(x)-f(y))-E(f)\}$, because $R_t$ satisfies the triangle inequality and is additive over serial circuits while $R$ need not be. Under axioms called nRF1--nRF4, namely convexity with $E(0)=0$, pointwise lower semicontinuity, finiteness of the elementary resistance, and compatibility with all normal contractions, the authors prove that $R_t$ is an extended pseudometric for each $t>0$, symmetric when $E$ is symmetric, and finite when $E$ satisfies a $\nabla_2$-condition. They prove additivity over two serial-circuit constructions, and they prove that every classical quadratic resistance form and every p-resistance form with $1<p<\infty$ satisfies the axioms, so the $t$-resistance specializes to the usual resistance in the quadratic case and to a power of the elementary resistance in the $p$-homogeneous case. The $p=1$ homogeneous case is also covered by the axioms, although it is excluded from the existing p-resistance theory.

Load-bearing premise

The load-bearing premise is that every p-resistance form has a reflexive energy space (roughly, the space of finite-energy functions modulo constants is the dual of its own dual space); the paper cites this from another preprint rather than proving it, and the proof that p-resistance forms satisfy the lower-semicontinuity axiom depends on it.

Editorial extensions

If this is right

  • For every nonlinear resistance form, the $t$-resistance $R_t$ is an extended pseudometric for each $t>0$, and finite whenever the energy satisfies the $\nabla_2$-condition; in symmetric cases it is a genuine pseudometric.
  • Serial additivity holds in both circuit constructions: identifying the two contact points in disjoint forms adds their $t$-resistances, and joining them through a small resistor adds $\varepsilon t^2$.
  • In the $p$-homogeneous case, $R_t(x,y)=(p-1)(t/p)^q R(x,y)^q$ with $q=p/(p-1)$, so the classical quadratic resistance and the p-resistance are special cases of one formula.
  • The $p=1$ homogeneous case, excluded from existing p-resistance theory, is covered: its resistance is either zero or infinite depending on whether the elementary resistance exceeds $1/t$.
  • Weighted graph p-energies and hypergraph energies are nonlinear resistance forms exactly when their supporting graph is connected, which assigns a resistance metric and serial additivity to these nonlinear networks.

Reading between the lines

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

  • The paper leaves implicit that serial additivity together with the triangle inequality should let one reduce arbitrary finite networks of nonlinear resistance forms to a single effective $t$-resistance; testing whether the series and parallel laws hold for non-homogeneous energies is a direct extension of the two circuit theorems.
  • A scale-dependent reading of $R_t$ suggests a family of $t$-parametrized distance-like quantities; whether $R_t$ is monotone in $t$ or has a stable growth rate as $t\to\infty$ for non-homogeneous forms is not settled here and could be checked numerically on a weighted graph example.
  • The boundary resistance $R_{t,\infty}$ may provide a nonlinear analogue of the Martin boundary; one could test whether the set of points with finite $R_{t,\infty}$ carries a boundary measure for p-energies on self-similar fractals.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper introduces a class of convex functionals on F(X), called nonlinear resistance forms, and develops for them a notion of t-resistance. The main results are: characterizations of lower semicontinuity via completeness of the modular space under a reflexivity assumption (Theorems 3.10, 3.11, 2.12); a triangle inequality for the t-resistance under compatibility with normal contractions (Theorem 4.13); additivity of the t-resistance over two types of serial circuits (Theorems 4.17, 4.20); and a set of examples in Section 5, culminating in the claim that the p-resistance forms of Kajino and Shimizu are nonlinear resistance forms (Proposition 5.11). The framework is built from convex analysis, using Luxemburg and Orlicz functionals, and the paper emphasizes that it does not require homogeneity except in special cases.

Significance. If the main claims hold, the paper provides a genuinely unifying framework: it contains Kigami resistance forms and Kajino-Shimizu p-resistance forms as special cases, it gives a new proof of the triangle inequality for the resistance, and it establishes serial additivity for a large class of nonlinear functionals. A notable strength is that the paper is mostly self-contained: Theorems 4.13, 4.17, and 4.20 are proved from the definitions, and the convex-analytic machinery in Sections 2--3 is developed in detail. The main qualification is that two load-bearing steps are imported from external preprints: the reflexivity statement used in Proposition 5.11 and the equivalence of normal-contraction conditions used in Theorem 4.9. These dependencies make the central inclusion claim conditional as the paper currently stands.

major comments (3)
  1. [§5.3, Proposition 5.11] The proof of (nRF2) is not contained in the manuscript: it invokes [19, Proposition 6.4] to obtain reflexivity of (D(E)/R·1, E^{1/p}), and this is the only route to applying Theorem 3.10. Example 3.13 shows that completeness alone is insufficient for lower semicontinuity without reflexivity, so this is not a harmless technicality. Please either prove the needed reflexivity statement, or state [19, Proposition 6.4] explicitly and verify that every p-resistance form in the sense of Definition 5.8 satisfies its hypotheses. As written, the assertion that every p-resistance form is a nonlinear resistance form is conditional on an external result.
  2. [§4.2, Theorem 4.9] The equivalence (i)⇔(ii) is delegated to [27, Theorem 2], a preprint by the first author, and the proof in the manuscript only reduces the statement to the finite/L2 setting. This theorem is used in Remark 4.14 to justify the claim that compatibility with all normal contractions is the minimal assumption needed for the triangle inequality, and in Remark 4.12 for the reduction to C_alpha in the quadratic case. Please include a proof or a precise statement of the imported theorem and explain why its hypotheses are satisfied in the present setting. As written, this is an external dependency at a load-bearing point of the paper's conceptual claims.
  3. [§4.2, Remark 4.12(a)] The statement that Kigami resistance forms are nonlinear resistance forms is only sketched: the lower semicontinuity is asserted to follow from Theorem 3.10 without a detailed verification. Since this is one of the advertised consequences of the framework, please spell out the verification, including the symmetry, reflexivity, and left-continuity steps.
minor comments (5)
  1. [Title and abstract] The title contains a spacing error: 'RESIST ANCE FORMS' should read 'RESISTANCE FORMS'.
  2. [Introduction] In the first paragraph, 'which are ap-homogeneous version' should read 'which are a p-homogeneous version'.
  3. [Theorem 4.6] In the p=1 case, the threshold is typeset ambiguously as '1 t' in the displayed formula; it should be written as 1/t to avoid confusion.
  4. [Section 5.3, Definition 5.8 and Remark 5.9] The notation RE from [19] is introduced in Remark 5.9 but is not used later; please either use it consistently or remove the remark to keep the presentation streamlined.
  5. [Section 5.1, Proposition 5.3] The proof of part (a) uses the Orlicz functional of wxy and the inequality ∥f(x)-f(y)∥_{L,wxy} ≤ 1; this is correct but somewhat compressed, and a sentence explaining the role of the Luxemburg seminorm on R would improve readability.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction found; only a minor same-author citation in Theorem 4.9 that is not load-bearing for the central claims.

full rationale

The paper's core derivation is self-contained. The Luxemburg/Orlicz duality, lower-semicontinuity criteria (Theorems 3.10 and 3.11), the triangle inequality for t-resistances (Theorem 4.13), and serial additivity (Theorems 4.17 and 4.20) are proved from convex analysis and from the definition of normal contractions. No fitted parameter is renamed as a prediction, and no quantity is defined in terms of the conclusion it is used to establish. The proof of Theorem 4.9 imports the equivalence of all normal contractions with the one-parameter C_alpha family on L2 from the same author's preprint [27]; this is a dependency, not a feedback loop, and it is not used in the p-resistance inclusion or in the triangle-inequality/additivity arguments. Proposition 5.11's proof of lower semicontinuity for p-resistance forms cites [19, Proposition 6.4] for reflexivity of (D(E)/R·1, E^{1/p}); that is an external result from Kajino and Shimizu, not a self-citation, and the paper explicitly identifies it as the needed input. The inclusion would be conditional on that result, but this is ordinary reliance on prior work rather than circularity. The score reflects one minor same-author citation that is not load-bearing.

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

The central claim rests on classical convex analysis plus two theorems from same-author or coauthor preprints ([27], [19]). These are explicit citations, not hidden assumptions, but they mean the framework is not fully self-contained. No free parameters or invented entities.

assumptions (5)
  • standard math Fenchel-Moreau duality and Hahn-Banach separation in locally convex spaces (ϱ** = ϱ for lower semicontinuous convex ϱ)
    Used in Section 2 to derive the fundamental inequalities, the duality of Luxemburg and Orlicz seminorms, and the homogeneous-case formulas (Propositions 2.4, 2.8).
  • standard math Open mapping theorem for complete metrizable topological vector spaces
    Used in the proof of Theorem 2.14 to deduce continuity of the inverse embedding.
  • domain assumption Theorem 2 of [27] (nonlinear Beurling-Deny criteria for convex functionals on L2)
    In Theorem 4.9, after reducing to finite X and counting measure, the equivalence of all normal contractions with C_α is cited from this same-author preprint; the proof is not included.
  • domain assumption Reflexivity of the quotient modular space for p-resistance forms ([19, Proposition 6.4])
    Proposition 5.11 uses this to apply Theorem 3.10 and obtain lower semicontinuity for p-resistance forms. The result is cited from [19], not proved here.
  • domain assumption Clarkson-type inequalities for p-energies ([19, Proposition 2.3])
    These underlie the reflexivity statement in [19, Proposition 6.4]; they are not reproved in this paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nonlinear resistance forms." pith.science (2026). https://pith.science/paper/W47OKQ5H

@misc{pith2026250703426,
  author       = {Pith},
  title        = {Pith review of: Nonlinear resistance forms},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/W47OKQ5H}},
  note         = {Machine review of arXiv:2507.03426}
}
abstract

In this paper we introduce the notion of nonlinear resistance forms. We define a $1$-parameter family of nonlinear resistance metrics and show their additivity over serial circuits. Moreover, we prove that resistance forms and $p$-resistance forms fall into our framework.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

35 extracted references · 32 canonical work pages

  1. [27]

    Nonlinear Beurling-Deny criteria

    Simon Puchert. Nonlinear Beurling-Deny criteria. Preprint. arXiv:2502.03691v2 , 2025

    work page Pith review arXiv 2025

  2. [19]

    Contraction properties and differentiability of p-energy forms with applications to nonlinear potential theory on self-similar sets

    Naotaka Kajino and Ryosuke Shimizu. Contraction properties and differentiability of p-energy forms with applications to nonlinear potential theory on self-similar sets. Preprint. arXiv:2404.13668v2, 2025

    arXiv 2025

  3. [1]

    A new transport distance and its associated Ricci curvature of hypergraphs

    Tomoya Akamatsu. A new transport distance and its associated Ricci curvature of hypergraphs. Anal. Geom. Metr. Spaces , 10(1):90–108, 2022

    work page 2022

  4. [2]

    Korevaar-Schoen p-energies and their Γ- limits on Cheeger spaces

    Patricia Alonso Ruiz and Fabrice Baudoin. Korevaar-Schoen p-energies and their Γ- limits on Cheeger spaces. Nonlinear Anal., 256:Paper No. 113779, 22, 2025

    work page 2025

  5. [3]

    Korevaar-Schoen-Sobolev spaces and critical exponents in metric measure spaces

    Fabrice Baudoin. Korevaar-Schoen-Sobolev spaces and critical exponents in metric measure spaces. Ann. Fenn. Math. , 49(2):487–527, 2024

    work page 2024

  6. [4]

    Sobolev spaces and Poincar´ e inequalities on the Vicsek fractal

    Fabrice Baudoin and Li Chen. Sobolev spaces and Poincar´ e inequalities on the Vicsek fractal. Ann. Fenn. Math. , 48(1):3–26, 2023

    work page 2023

  7. [5]

    p-energies on p.c.f

    Shiping Cao, Qingsong Gu, and Hua Qiu. p-energies on p.c.f. self-similar sets. Adv. Math., 405:Paper No. 108517, 58, 2022

    work page 2022

  8. [6]

    Weak monotonicity property of Korevaar-Schoen norms on nested fractals

    Diwen Chang, Jin Gao, Zhenyu Yu, and Junda Zhang. Weak monotonicity property of Korevaar-Schoen norms on nested fractals. J. Math. Anal. Appl. , 540(1):Paper No. 128623, 11, 2024

    work page 2024

Show all 35 references
  1. [7]

    De Michele and P

    L. De Michele and P. M. Soardi. A Thomson’s principle for infinite, nonlinear resistive networks. Proc. Amer. Math. Soc. , 109(2):461–468, 1990

    1990

  2. [8]

    Leonede De-Michele and Paolo M. Soardi. Nonlinear infinite networks with nonsym- metric resistances. In Partial differential equations and applications , volume 177 of Lecture Notes in Pure and Appl. Math. , pages 85–101. Dekker, New York, 1996

    1996

  3. [9]

    Springer, Heidelberg, 2011

    Lars Diening, Petteri Harjulehto, Peter H¨ ast¨ o, and Michael R ˚ uˇ ziˇ cka.Lebesgue and Sobolev spaces with variable exponents, volume 2017 of Lecture Notes in Mathematics. Springer, Heidelberg, 2011

    2017

  4. [10]

    Doyle and J

    Peter G. Doyle and J. Laurie Snell. Random walks and electric networks, volume 22 of Carus Mathematical Monographs. Mathematical Association of America, Washington, DC, 1984

    1984

  5. [11]

    Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, english edition, 1999

    Ivar Ekeland and Roger T´ emam.Convex analysis and variational problems, volume 28 of Classics in Applied Mathematics . Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, english edition, 1999. Translated from the French

    1999

  6. [12]

    Convergence of p-energy forms on homoge- neous p.c.f self-similar sets

    Jin Gao, Zhenyu Yu, and Junda Zhang. Convergence of p-energy forms on homoge- neous p.c.f self-similar sets. Potential Anal., 59(4):1851–1874, 2023

    2023

  7. [13]

    Some function theoretic properties of nonlinear resistive networks

    Tae Hattori, Atsushi Kasue, and Motoki Ohkubo. Some function theoretic properties of nonlinear resistive networks. Hokkaido Math. J. , 50(3):409–454, 2021

    2021

  8. [14]

    Edward Herman, Roberto Peirone, and Robert S

    P. Edward Herman, Roberto Peirone, and Robert S. Strichartz. p-energy and p- harmonic functions on Sierpinski gasket type fractals. Potential Anal., 20(2):125–148, 2004

    2004

  9. [15]

    Hubert Chan, Zhihao Gavin Tang, Xiaowei Wu, and Chenzi Zhang

    T.-H. Hubert Chan, Zhihao Gavin Tang, Xiaowei Wu, and Chenzi Zhang. Diffusion operator and spectral analysis for directed hypergraph Laplacian. Theoret. Comput. Sci., 784:46–64, 2019

    2019

  10. [16]

    The open mapping and closed graph theorems in topological vector spaces

    Taqdir Husain. The open mapping and closed graph theorems in topological vector spaces. Clarendon Press, Oxford, 1965

    1965

  11. [17]

    Finding Cheeger cuts in hypergraphs via heat equation

    Masahiro Ikeda, Atsushi Miyauchi, Yuuki Takai, and Yuichi Yoshida. Finding Cheeger cuts in hypergraphs via heat equation. Theoret. Comput. Sci. , 930:1–23, 2022

    2022

  12. [18]

    Nonlinear evolution equation associated with hy- pergraph Laplacian

    Masahiro Ikeda and Shun Uchida. Nonlinear evolution equation associated with hy- pergraph Laplacian. Math. Methods Appl. Sci. , 46(8):9463–9476, 2023

    2023

  13. [20]

    A Thomson’s principle and a Rayleigh’s monotonicity law for nonlin- ear networks

    Atsushi Kasue. A Thomson’s principle and a Rayleigh’s monotonicity law for nonlin- ear networks. Potential Anal., 45(4):655–701, 2016

    2016

  14. [21]

    Resolutive ideal boundaries of nonlinear resistive networks

    Atsushi Kasue. Resolutive ideal boundaries of nonlinear resistive networks. Positivity, 24(1):151–196, 2020

    2020

  15. [22]

    Analysis on fractals , volume 143 of Cambridge Tracts in Mathematics

    Jun Kigami. Analysis on fractals , volume 143 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 2001

    2001

  16. [23]

    Harmonic analysis for resistance forms

    Jun Kigami. Harmonic analysis for resistance forms. J. Funct. Anal., 204(2):399–444, 2003. NONLINEAR RESISTANCE FORMS 33

    2003

  17. [24]

    Conductive homogeneity of compact metric spaces and construction of p- energy, volume 5 of Memoirs of the European Mathematical Society

    Jun Kigami. Conductive homogeneity of compact metric spaces and construction of p- energy, volume 5 of Memoirs of the European Mathematical Society. European Math- ematical Society (EMS), Berlin, 2023

    2023

  18. [25]

    Cheng’s maximal diameter theorem for hyper- graphs

    Yu Kitabeppu and Erina Matsumoto. Cheng’s maximal diameter theorem for hyper- graphs. Tohoku Math. J. (2) , 75(1):119–130, 2023

    2023

  19. [26]

    First-order sobolev spaces, self-similar en- ergies and energy measures on the sierpi´ nski carpet

    Mathav Murugan and Ryosuke Shimizu. First-order sobolev spaces, self-similar en- ergies and energy measures on the sierpi´ nski carpet. Communications on Pure and Applied Mathematics, to appear

  20. [28]

    Schaefer

    Helmut H. Schaefer. Topological vector spaces, volume Vol. 3 of Graduate Texts in Mathematics. Springer-Verlag, New York-Berlin, 1971. Third printing corrected

    1971

  21. [29]

    Energy forms

    Marcel Schmidt. Energy forms. Dissertation, arXiv:1703.04883 , 2017

    2017 arXiv

  22. [30]

    The extended Dirichlet space and criticality theory for nonlinear Dirichlet forms

    Marcel Schmidt and Ian Zimmermann. The extended Dirichlet space and criticality theory for nonlinear Dirichlet forms. Preprint. arXiv:2501.18391v2, 2025

    2025 arXiv

  23. [31]

    Construction of p-energy and associated energy measures on Sierpi´ nski carpets.Trans

    Ryosuke Shimizu. Construction of p-energy and associated energy measures on Sierpi´ nski carpets.Trans. Amer. Math. Soc. , 377(2):951–1032, 2024

    2024

  24. [32]

    Paolo M. Soardi. Approximation of currents in infinite nonlinear resistive networks. Circuits Systems Signal Process. , 12(4):603–612, 1993

    1993

  25. [33]

    Paolo M. Soardi. Morphisms and currents in infinite nonlinear resistive networks. Potential Anal., 2(4):315–347, 1993

    1993

  26. [34]

    Paolo M. Soardi. Potential theory on infinite networks , volume 1590 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1994

    1994

  27. [35]

    Z˘ alinescu.Convex analysis in general vector spaces

    C. Z˘ alinescu.Convex analysis in general vector spaces . World Scientific Publishing Co., Inc., River Edge, NJ, 2002. S. Puchert, Mathematisches Institut, Friedrich-Schiller-Universit¨at Jena, 07743 Jena, Germany Email address : simon.puchert@uni-jena.de M. Schmidt, Mathemati...

    2002

Pith tools

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