pith. sign in

arxiv: 2507.13696 · v2 · submitted 2025-07-18 · 🧮 math.FA · math.DG

Characterizations of p-Parabolicity on Graphs

Andrea Adriani , Florian Fischer , Alberto G. Setti This is my paper

Pith reviewed 2026-05-19 04:38 UTC · model grok-4.3

classification 🧮 math.FA math.DG
keywords p-parabolicityinfinite graphsp-energy functionallocally summable graphsp-Laplacianobstacle problemcharacterizationspotential theory
0
0 comments X

The pith

Many classical characterizations of parabolicity hold for p-energy on infinite locally summable graphs.

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

The paper shows that properties used to identify parabolic spaces in continuous settings, like the absence of certain harmonic functions or integral tests, also apply to p-energy functionals on graphs. This is done for graphs that are infinite and locally summable, which is a weaker condition than being locally finite. The result extends tools from potential theory to discrete non-local and non-linear cases. Applications include solving obstacle problems via approximations by finite graphs.

Core claim

For p-energy functionals on infinite locally summable graphs with p between 1 and infinity, the space is p-parabolic precisely when it satisfies an Ahlfors-type characterization, a Kelvin-Nevanlinna-Royden-type characterization, a Khas'minskii-type characterization, and a Poincare-type characterization. The authors prove these equivalences and provide an alternative proof for the Khas'minskii characterization using the obstacle problem solved by finite graph approximations.

What carries the argument

The p-energy functional on the graph, with equivalences proved via approximations by finite subgraphs to handle the infinite and non-locally-finite case.

Load-bearing premise

The graphs are infinite and locally summable with finite sum of incident weights at each vertex, and the p-energy functional is convex and lower-semicontinuous to permit limits from finite approximations.

What would settle it

An explicit infinite locally summable graph where p-parabolicity fails to match one of the Ahlfors, Kelvin-Nevanlinna-Royden, Khas'minskii, or Poincare conditions would disprove the claimed equivalences.

read the original abstract

We study $p$-energy functionals on infinite locally summable graphs for $p\in (1,\infty)$ and show that many well-known characterizations for a parabolic space are also true in this discrete, non-local and non-linear setting. Among the characterizations are an Ahlfors-type, a Kelvin-Nevanlinna-Royden-type, a Khas'minski\u{\i}-type and a Poincar\'{e}-type characterization. We also illustrate some applications and describe examples of graphs which are locally summable but not locally finite. Finally, we study the obstacle problem for the $p$-Laplacian using an approximation procedure by finite graphs in the summable, not necessarily locally finite, case. This is then utilized to give an alternative proof of the Khas'minski\u{\i}-type characterization.

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

1 major / 2 minor

Summary. The paper studies p-energy functionals on infinite locally summable graphs for p in (1, ∞) and establishes that several standard characterizations of parabolicity—Ahlfors-type, Kelvin-Nevanlinna-Royden-type, Khas'minskii-type, and Poincaré-type—extend to this discrete, non-local, nonlinear setting. Proofs rely on exhaustion by finite subgraphs, minimization of the p-energy, and passage to the limit; an alternative proof of the Khas'minskii characterization is supplied via finite-graph approximation of the obstacle problem for the p-Laplacian. The manuscript also supplies examples of locally summable but not locally finite graphs and discusses applications.

Significance. If the derivations are complete, the work provides a useful extension of nonlinear potential theory and parabolicity characterizations beyond locally finite graphs or continuous settings, with the obstacle-problem route supplying an independent verification of one key equivalence. The explicit treatment of locally summable (but possibly infinite-degree) graphs broadens the class of admissible discrete structures while preserving the usual convexity and lower-semicontinuity properties of the energy.

major comments (1)
  1. [obstacle-problem approximation] Obstacle-problem section (the approximation procedure used for the alternative Khas'minskii proof): the argument that minimizers on finite subgraphs converge to a solution on the infinite graph invokes convexity and lower-semicontinuity of the p-energy, but does not supply a uniform-integrability or monotone-convergence control on the tails of the infinite sums that define the p-Laplacian at vertices of infinite degree. Without such a tail estimate, it is not immediate that the limit of the approximating energies equals the energy of the limit function when the vertex degree is infinite.
minor comments (2)
  1. [definitions] Notation for the p-Laplacian at infinite-degree vertices should be clarified (e.g., whether the sum is understood as a limit of finite partial sums or via a principal-value convention).
  2. [preliminaries] A brief remark on how local summability interacts with the lower-semicontinuity of the energy under pointwise convergence would help readers follow the limit passages.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. We address the sole major comment below and outline the revisions we will make.

read point-by-point responses

  1. Referee: Obstacle-problem section (the approximation procedure used for the alternative Khas'minskii proof): the argument that minimizers on finite subgraphs converge to a solution on the infinite graph invokes convexity and lower-semicontinuity of the p-energy, but does not supply a uniform-integrability or monotone-convergence control on the tails of the infinite sums that define the p-Laplacian at vertices of infinite degree. Without such a tail estimate, it is not immediate that the limit of the approximating energies equals the energy of the limit function when the vertex degree is infinite.

    Authors: We appreciate the referee's identification of this technical point concerning convergence when vertices have infinite degree. The p-energy is well-defined and convex on the space of locally summable functions by the local summability assumption, and lower semicontinuity follows from Fatou's lemma applied termwise to the series. Nevertheless, we agree that an explicit uniform tail control on the infinite sums is not spelled out in the current argument. In the revised version we will insert a short auxiliary lemma (placed immediately before the obstacle-problem theorem) that extracts a uniform-integrability estimate for the tails from the local summability condition together with the uniform p-energy bound on the approximating minimizers. This lemma will guarantee that the energy of the limit equals the limit of the energies, thereby completing the passage to the limit and confirming the alternative Khas'minskii characterization. revision: yes

Circularity Check

0 steps flagged

No circularity: equivalences derived via independent variational approximations

full rationale

The paper proves equivalence of Ahlfors-type, Kelvin-Nevanlinna-Royden-type, Khas'minskii-type and Poincaré-type characterizations for p-parabolicity on infinite locally summable graphs. All steps rely on exhaustion by finite subgraphs, p-energy minimization, and passage to the limit under the stated local summability and convexity assumptions. The alternative obstacle-problem proof supplies a separate route that does not reduce any characterization to another by construction or by self-citation. No fitted parameters are renamed as predictions, no ansatz is smuggled, and no uniqueness theorem is imported from overlapping prior work to force the result. The derivation chain remains self-contained against standard variational methods on graphs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard definition of locally summable graphs, the convexity and lower semicontinuity of the p-energy, and the existence of minimizers for the obstacle problem on finite subgraphs; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The p-energy functional is convex, lower semicontinuous, and coercive on the appropriate function space.
    Invoked to guarantee existence of minimizers and passage to limits in the approximation procedure.
  • standard math Standard graph-theoretic notions (edge weights, vertex degrees, summability) behave as in the locally finite case when restricted to finite subgraphs.
    Background assumption from discrete analysis used throughout the characterizations.

pith-pipeline@v0.9.0 · 5669 in / 1419 out tokens · 27517 ms · 2026-05-19T04:38:30.917437+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A Volume-Growth Criterion for the p-Laplace Inequality on Weighted Graphs

    math.AP 2026-05 unverdicted novelty 7.0

    Nonnegative solutions to -Δ_p u ≥ u^σ on non-p-parabolic weighted graphs are zero whenever the divergent sum condition on weighted ball volumes holds.

  2. A Wiener criterion at infinity for $p$-massiveness on weighted graphs

    math.AP 2026-03 unverdicted novelty 7.0

    Under volume doubling and weak (1,p)-Poincaré inequalities, p-massiveness of infinite connected sets on weighted graphs is equivalent to a dyadic relative p-capacity condition in nested balls.

Reference graph

Works this paper leans on

6 extracted references · 6 canonical work pages · cited by 2 Pith papers · 1 internal anchor

  1. [1]

    On the characterization of hyperbolic Riemann surfaces

    [Ahl52] L. V. Ahlfors. “On the characterization of hyperbolic Riemann surfaces”. In: Ann. Acad. Sci. Fennicae Ser. A. I. Math.-Phys. 1952.125 (1952), page 5 (cited on pages 3, 20). [BB11] A. Bj¨ orn and J. Bj¨ orn. Nonlinear potential theory on metric spaces . Volume

    work page 1952

  2. [2]

    Spectral clustering based on the graph p-Laplacian

    EMS Tracts in Mathematics. European Mathematical Society (EMS), Z¨ urich, 2011, pages xii+403 (cited on page 31). [BH09] T. B¨ uhler and M. Hein. “Spectral clustering based on the graph p-Laplacian”. In: Proceedings of the 26th Annual International Conference on Machine Learning . ICML ’09. New York, NY, USA: Association for Computing Machinery, 2009, 81–...

    work page 2011

  3. [3]

    A non-local quasi-linear ground state representation and criticality theory

    arXiv:2207.05445 [math-ph] (cited on pages 3, 37, 41). [Fis23] F. Fischer. “A non-local quasi-linear ground state representation and criticality theory”. In: Calc. Var. Partial Differential Equations 62.5 (2023), Paper No. 163 (cited on pages 3, 7, 16). [Fis24] F. Fischer. “On the optimality and decay of p-Hardy weights on graphs”. In: Calc. Var. Partial ...

    work page arXiv 2023

  4. [4]

    The limit of first eigenfunctions of the p-Laplacian on graphs

    de Gruyter Studies in Mathematics. Walter de Gruyter & Co., Berlin, 2011, pages x+489 (cited on page 16). [FR25] F. Fischer and C. Rose. Optimal Poincar´ e-Hardy-type Inequalities on Manifolds and Graphs . Preprint, arXiv:2501.18379 [math.AP] (2025). To appear in Indagationes Mathematicae. 2025 (cited on page 40). [GHJ21] H. Ge, B. Hua, and W. Jiang. “The...

    work page arXiv 2011

  5. [5]

    Weak convergence in uniformly convex spaces

    url: https://www.mat. tuhh.de/veranstaltungen/isem26/_media/solution10.pdf (visited on 05/14/2024) (cited on page 37). [Kak38] S. Kakutani. “Weak convergence in uniformly convex spaces.” English. In: Tˆ ohoku Math. J.45 (1938), pages 188–193 (cited on page 15). [KC10] J.-H. Kim and S.-Y. Chung. “Comparison principles for the p-Laplacian on nonlinear netwo...

    work page 2024

  6. [6]

    Energy forms

    Ensaios Matem´ aticos [Mathematical Surveys]. Sociedade Brasileira de Matem´ atica, Rio de Janeiro, 2014, pages ii+77 (cited on pages 19, 20). [PST14] S. Pigola, A. G. Setti, and M. Troyanov. “The connectivity at infinity of a manifold and Lq,p- Sobolev inequalities”. In: Expo. Math. 32.4 (2014), pages 365–383 (cited on page 20). [Sch17] M. Schmidt. “Ener...

    work page internal anchor Pith review Pith/arXiv arXiv 2014