Positive Criticality and Optimal Hardy Inequality for Fractional Laplacians
Pith reviewed 2026-05-20 02:35 UTC · model grok-4.3
The pith
Positive critical Hardy weights for Laplacians on weighted graphs can be characterized and applied to identify an optimal Hardy weight for fractional Laplacians.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We characterize positive critical Hardy weights for general Laplacians on weighted graphs. We then apply this result to fractional Laplacians on general graphs and use the characterization to identify an optimal Hardy weight under suitable assumptions. We finally illustrate our results with examples of graphs which arise as Cayley graphs of groups, satisfy curvature assumptions or are fractal graphs.
What carries the argument
The characterization of positive critical Hardy weights for Laplacians on weighted graphs, which provides the criterion to select the optimal weight in the fractional case.
If this is right
- An explicit optimal Hardy weight is available for fractional Laplacians on any graph meeting the stated assumptions.
- The same characterization produces concrete optimal weights for Cayley graphs, curvature-bounded graphs, and fractal graphs.
- Positive criticality serves as the precise condition that guarantees the Hardy inequality cannot be improved further.
- The method first solves the problem on ordinary graph Laplacians before transferring the answer to the nonlocal fractional setting.
Where Pith is reading between the lines
- The graph-based characterization may supply limiting cases or approximations for the corresponding optimal weights in continuous fractional Hardy inequalities on Euclidean domains.
- Explicit optimal weights on fractal graphs could be used to test scaling laws or dimension-dependent constants that are harder to access in the continuum.
- The approach suggests a route to compare criticality thresholds across different nonlocal operators by varying the fractional parameter on the same underlying graph.
Load-bearing premise
The characterization of positive critical Hardy weights developed for general Laplacians on weighted graphs extends without obstruction to fractional Laplacians on the same graphs.
What would settle it
On a specific fractal graph satisfying the paper's assumptions, compute the Rayleigh quotient infimum using the identified optimal weight and check whether the value is exactly zero, confirming criticality.
Figures
read the original abstract
We characterize positive critical Hardy weights for general Laplacians on weighted graphs. We then apply this result to fractional Laplacians on general graphs and use the characterization to identify an optimal Hardy weight under suitable assumptions. We finally illustrate our results with examples of graphs which arise as Cayley graphs of groups, satisfy curvature assumptions or are fractal graphs.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper characterizes positive critical Hardy weights for general Laplacians on weighted graphs. It then applies the characterization to fractional Laplacians on general graphs to identify an optimal Hardy weight under suitable assumptions. The results are illustrated with examples on Cayley graphs of groups, graphs satisfying curvature assumptions, and fractal graphs.
Significance. If the central claims hold, the work provides a unified quadratic-form framework for positive criticality that extends Hardy inequalities to non-local fractional operators on discrete structures. The explicit examples on Cayley, curvature, and fractal graphs offer verifiable test cases and strengthen the applicability of the characterization.
major comments (2)
- [§3] §3 (characterization for general weighted-graph Laplacians): the proof that the constructed weight is positive critical relies on the quadratic form being closed and the graph being connected; these hypotheses should be stated explicitly at the beginning of the section, as they are load-bearing for the subsequent specialization to fractional Laplacians.
- [§4] §4 (application to fractional Laplacians): the optimality claim for the identified Hardy weight is stated under 'suitable assumptions' that are not listed in a single place; without an enumerated list of these assumptions (e.g., on the fractional order, the measure, or the graph's volume growth), it is unclear whether the optimality is unconditional or requires post-hoc restrictions that could affect the central application.
minor comments (2)
- [§5] Notation for the fractional Laplacian (e.g., the symbol used for the quadratic form) should be introduced once and used consistently; occasional switches between L^α and (-Δ)^α/2 appear in the examples section.
- [§5.3] In the fractal-graph example, the numerical verification of the Hardy constant would benefit from an explicit statement of the truncation radius or mesh size used in the computation.
Simulated Author's Rebuttal
We thank the referee for the positive assessment and the constructive comments that will improve the clarity of the presentation. We address each major comment below.
read point-by-point responses
-
Referee: [§3] §3 (characterization for general weighted-graph Laplacians): the proof that the constructed weight is positive critical relies on the quadratic form being closed and the graph being connected; these hypotheses should be stated explicitly at the beginning of the section, as they are load-bearing for the subsequent specialization to fractional Laplacians.
Authors: We agree that the closedness of the quadratic form and connectedness of the graph are essential hypotheses for the characterization and its later use. We will revise the opening of §3 to state these assumptions explicitly before the main statements. revision: yes
-
Referee: [§4] §4 (application to fractional Laplacians): the optimality claim for the identified Hardy weight is stated under 'suitable assumptions' that are not listed in a single place; without an enumerated list of these assumptions (e.g., on the fractional order, the measure, or the graph's volume growth), it is unclear whether the optimality is unconditional or requires post-hoc restrictions that could affect the central application.
Authors: We acknowledge that the assumptions are dispersed through §4. We will add a consolidated, enumerated list of the assumptions on the fractional order, the measure, and volume growth conditions at the beginning of the section. revision: yes
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper establishes a characterization of positive critical Hardy weights for general Laplacians on weighted graphs via quadratic forms, then applies the same characterization directly to fractional Laplacians to obtain an optimal weight under stated assumptions. This is a standard general-to-specific mathematical structure with verification on Cayley, curvature, and fractal examples. No equation reduces to a self-definition, no fitted parameter is relabeled as a prediction, and no load-bearing step relies on self-citation chains or imported uniqueness theorems. The argument remains independent of its own outputs.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard properties of weighted graphs and their associated Laplacians hold.
- domain assumption Fractional Laplacians on graphs are well-defined under the paper's setting.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1 (Positive critical Hardy weights). Let w be a function. Then the following are equivalent: (i) w is a positive-critical non-trivial Hardy weight. (ii) w = Lv/v for some strictly positive, superharmonic and non-harmonic v ∈ D0 with Lv² ∈ ℓ¹(X,m).
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 3 ... w_σ,α ≍ |x|^{-βσ} ... (a) positive critical for σ < α < α0, (b) null-critical for α = α0 under (A) and (HB).
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.
Reference graph
Works this paper leans on
-
[1]
Shmuel Agmon. Lectures on exponential decay of solutions of second-order elliptic equations: bounds on eigenfunctions of N -body S chr\"odinger operators , volume 29 of Mathematical Notes . Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1982
work page 1982
-
[2]
Martin T. Barlow. Random walks and heat kernels on graphs , volume 438 of London Mathematical Society Lecture Note Series . Cambridge University Press, Cambridge, 2017
work page 2017
-
[3]
Martin T. Barlow and Richard F. Bass. Random walks on graphical S ierpinski carpets. In Random walks and discrete potential theory ( C ortona, 1997) , volume XXXIX of Sympos. Math. , pages 26--55. Cambridge Univ. Press, Cambridge, 1999
work page 1997
-
[4]
Martin T. Barlow and Xinxing Chen. Gaussian bounds and parabolic H arnack inequality on locally irregular graphs. Math. Ann. , 366(3-4):1677--1720, 2016
work page 2016
-
[5]
The best constant in a fractional H ardy inequality
Krzysztof Bogdan and Bart omiej Dyda. The best constant in a fractional H ardy inequality. Math. Nachr. , 284(5-6):629--638, 2011
work page 2011
-
[6]
Sharp D avies- G affney- G rigor'yan lemma on graphs
Frank Bauer, Bobo Hua, and Shing-Tung Yau. Sharp D avies- G affney- G rigor'yan lemma on graphs. Math. Ann. , 368(3-4):1429--1437, 2017
work page 2017
-
[7]
Poincar\'e and H ardy inequalities on homogeneous trees
Elvise Berchio, Federico Santagati, and Maria Vallarino. Poincar\'e and H ardy inequalities on homogeneous trees. In Geometric properties for parabolic and elliptic PDE s , volume 47 of Springer INdAM Ser. , pages 1--22. Springer, Cham, [2021] 2021
work page 2021
-
[8]
Hardy's inequality and G reen function on metric measure spaces
Jun Cao, Alexander Grigor'yan, and Liguang Liu. Hardy's inequality and G reen function on metric measure spaces. J. Funct. Anal. , 281(3):Paper No. 109020, 78, 2021
work page 2021
-
[9]
Hardy's inequality for the fractional powers of a discrete L aplacian
\'Oscar Ciaurri and Luz Roncal. Hardy's inequality for the fractional powers of a discrete L aplacian. J. Anal. , 26(2):211--225, 2018
work page 2018
-
[10]
\'O scar Ciaurri, Luz Roncal, Pablo R. Stinga, Jos \'e L. Torrea, and Juan L. Varona. Nonlocal discrete diffusion equations and the fractional discrete Laplacian, regularity and applications . Advances in Mathematics , 330:688--738, 2018
work page 2018
-
[11]
Isop\'erim\'etrie pour les groupes et les vari\'et\'es
Thierry Coulhon and Laurent Saloff-Coste. Isop\'erim\'etrie pour les groupes et les vari\'et\'es. Rev. Mat. Iberoamericana , 9(2):293--314, 1993
work page 1993
-
[12]
E. B. Davies. A review of Hardy inequalities . Operator theory , 110:55--67, 1998
work page 1998
-
[13]
An optimal fractional H ardy inequality on the discrete half-line
Ujjal Das and Rub\'en de la Fuente-Fern\'andez. An optimal fractional H ardy inequality on the discrete half-line. Calc. Var. Partial Differential Equations , 65(2):Paper No. 46, 2026
work page 2026
-
[14]
Parabolic H arnack inequality and estimates of M arkov chains on graphs
Thierry Delmotte. Parabolic H arnack inequality and estimates of M arkov chains on graphs. Rev. Mat. Iberoamericana , 15(1):181--232, 1999
work page 1999
-
[15]
Optimal Hardy weight for second-order elliptic operator: an answer to a problem of Agmon
Baptiste Devyver, Martin Fraas, and Yehuda Pinchover. Optimal Hardy weight for second-order elliptic operator: an answer to a problem of Agmon . J. Funct. Anal. , 266:4422--4489, 2014
work page 2014
-
[16]
The space of H ardy weights for quasilinear operators on discrete graphs
Ujjal Das, Matthias Keller, and Yehuda Pinchover. The space of H ardy weights for quasilinear operators on discrete graphs. J. Differential Equations , 457:Paper No. 114057, 28, 2026
work page 2026
-
[17]
Decay of the G reen's function of the fractional A nderson model and connection to long-range SAW
Margherita Disertori, Roberto Maturana Escobar, and Constanza Rojas-Molina. Decay of the G reen's function of the fractional A nderson model and connection to long-range SAW . J. Stat. Phys. , 191(3):Paper No. 33, 25, 2024
work page 2024
-
[18]
Optimal L^p H ardy-type inequalities
Baptiste Devyver and Yehuda Pinchover. Optimal L^p H ardy-type inequalities. Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire , 33(1):93--118, 2016
work page 2016
-
[19]
A fractional order H ardy inequality
Bart omiej Dyda. A fractional order H ardy inequality. Illinois J. Math. , 48(2):575--588, 2004
work page 2004
-
[20]
On (global) unique continuation properties of the fractional discrete L aplacian
Aingeru Fern\'andez-Bertolin, Luz Roncal, and Angkana R\"uland. On (global) unique continuation properties of the fractional discrete L aplacian. J. Funct. Anal. , 286(9):Paper No. 110375, 64, 2024
work page 2024
-
[21]
On the optimality and decay of p - H ardy weights on graphs
Florian Fischer. On the optimality and decay of p - H ardy weights on graphs. Calc. Var. Partial Differential Equations , 63(7):Paper No. 162, 37, 2024
work page 2024
-
[22]
Riesz decompositions for S chr\"odinger operators on graphs
Florian Fischer and Matthias Keller. Riesz decompositions for S chr\"odinger operators on graphs. J. Math. Anal. Appl. , 495(1):Paper No. 124674, 22, 2021
work page 2021
-
[23]
An improved discrete p - H ardy inequality
Florian Fischer, Matthias Keller, and Felix Pogorzelski. An improved discrete p - H ardy inequality. Integral Equations Operator Theory , 95(4):Paper No. 24, 17, 2023
work page 2023
-
[24]
Rupert L. Frank, Elliott H. Lieb, and Robert Seiringer. Hardy- L ieb- T hirring inequalities for fractional S chr\"odinger operators. J. Amer. Math. Soc. , 21(4):925--950, 2008
work page 2008
-
[25]
Gaussian upper bounds for heat kernels of continuous time simple random walks
Matthew Folz. Gaussian upper bounds for heat kernels of continuous time simple random walks. Electron. J. Probab. , 16:no. 62, 1693--1722, 2011
work page 2011
-
[26]
Optimal P oincar \'e - H ardy-type inequalities on manifolds and graphs
Florian Fischer and Christian Rose. Optimal P oincar \'e - H ardy-type inequalities on manifolds and graphs. to appear in Indag. Math. , 2025
work page 2025
-
[27]
R. L. Frank, B. Simon, and T. Weidl. Eigenvalue Bounds for Perturbations of Schr\"odinger Operators and Jacobi Matrices With Regular Ground States . Comm. Math. Phys. , 282:199--208, 2008
work page 2008
-
[28]
An improved discrete R ellich inequality on the half-line
Borbala Gerhat, David Krej c i r \' i k, and Franti s ek S tampach. An improved discrete R ellich inequality on the half-line. Israel J. Math. , 268(1):45--72, 2025
work page 2025
-
[29]
Li- Y au inequality for unbounded L aplacian on graphs
Chao Gong, Yong Lin, Shuang Liu, and Shing-Tung Yau. Li- Y au inequality for unbounded L aplacian on graphs. Adv. Math. , 357:106822, 23, 2019
work page 2019
-
[30]
Hardy inequality and asymptotic eigenvalue distribution for discrete L aplacians
Sylvain Gol\'enia. Hardy inequality and asymptotic eigenvalue distribution for discrete L aplacians. J. Funct. Anal. , 266(5):2662--2688, 2014
work page 2014
-
[31]
Introduction to analysis on graphs , volume 71 of University Lecture Series
Alexander Grigor'yan. Introduction to analysis on graphs , volume 71 of University Lecture Series . American Mathematical Society, Providence, RI, 2018
work page 2018
-
[32]
Lifshitz tails for the fractional A nderson model
Martin Gebert and Constanza Rojas-Molina. Lifshitz tails for the fractional A nderson model. J. Stat. Phys. , 179(2):341--353, 2020
work page 2020
-
[33]
Groups of polynomial growth and expanding maps
Mikhael Gromov. Groups of polynomial growth and expanding maps. Inst. Hautes \'Etudes Sci. Publ. Math. , (53):53--73, 1981
work page 1981
-
[34]
Harnack inequalities and sub- G aussian estimates for random walks
Alexander Grigor'yan and Andr\'as Telcs. Harnack inequalities and sub- G aussian estimates for random walks. Math. Ann. , 324(3):521--556, 2002
work page 2002
-
[35]
Hardy and R ellich inequality on lattices
Shubham Gupta. Hardy and R ellich inequality on lattices. Calc. Var. Partial Differential Equations , 62(3):Paper No. 81, 18, 2023
work page 2023
-
[36]
One-dimensional discrete H ardy and R ellich inequalities on integers
Shubham Gupta. One-dimensional discrete H ardy and R ellich inequalities on integers. J. Fourier Anal. Appl. , 30(2):Paper No. 15, 22, 2024
work page 2024
-
[37]
Optimal Hardy inequalities on lattices in stratified groups
Philipp Hake. Optimal Hardy inequalities on lattices in stratified groups . PhD thesis, Universit\"at Leipzig, October 2025
work page 2025
-
[38]
Ira W. Herbst. Spectral theory of the operator (p^2+m^2)^ 1/2 -Ze^2/r . Comm. Math. Phys. , 53:285--294, 1977
work page 1977
-
[39]
Geometric analysis aspects of infinite semiplanar graphs with nonnegative curvature II
Bobo Hua and J\"urgen Jost. Geometric analysis aspects of infinite semiplanar graphs with nonnegative curvature II . Trans. Amer. Math. Soc. , 367(4):2509--2526, 2015
work page 2015
-
[40]
Optimal H ardy I nequality for F ractional L aplacians on the L attice
Philipp Hake, Matthias Keller, and Felix Pogorzelski. Optimal H ardy I nequality for F ractional L aplacians on the L attice. arXiv preprint 2601.00902 , 2026
-
[41]
Paul Horn, Yong Lin, Shuang Liu, and Shing-Tung Yau. Volume doubling, P oincar\'e inequality and G aussian heat kernel estimate for non-negatively curved graphs. J. Reine Angew. Math. , 757:89--130, 2019
work page 2019
-
[42]
Transition probabilities for the simple random walk on the S ierpi\'nski graph
Owen Dafydd Jones. Transition probabilities for the simple random walk on the S ierpi\'nski graph. Stochastic Process. Appl. , 61(1):45--69, 1996
work page 1996
-
[43]
On continuous and discrete H ardy inequalities
Lev Kapitanski and Ari Laptev. On continuous and discrete H ardy inequalities. J. Spectr. Theory , 6(4):837--858, 2016
work page 2016
-
[44]
Optimal H ardy weights on the E uclidean lattice
Matthias Keller and Marius Lemm. Optimal H ardy weights on the E uclidean lattice. Trans. Amer. Math. Soc. , 376(9):6033--6062, 2023
work page 2023
-
[45]
A new proof of G romov's theorem on groups of polynomial growth
Bruce Kleiner. A new proof of G romov's theorem on groups of polynomial growth. J. Amer. Math. Soc. , 23(3):815--829, 2010
work page 2010
-
[46]
Note on short-time behavior of semigroups associated to self-adjoint operators
Matthias Keller, Daniel Lenz, Florentin M\"unch, Marcel Schmidt, and Andr\'as Telcs. Note on short-time behavior of semigroups associated to self-adjoint operators. Bull. Lond. Math. Soc. , 48(6):935--944, 2016
work page 2016
-
[47]
Matthias Keller, Daniel Lenz, Marcel Schmidt, and Rados aw K. Wojciechowski. Note on uniformly transient graphs. Rev. Mat. Iberoam. , 33(3):831--860, 2017
work page 2017
-
[48]
Matthias Keller, Daniel Lenz, and Rados aw K. Wojciechowski. Graphs and discrete D irichlet spaces , volume 358 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer, Cham, 2021
work page 2021
- [49]
-
[50]
Optimal H ardy inequality for fractional L aplacians on the integers
Matthias Keller and Marius Nietschmann. Optimal H ardy inequality for fractional L aplacians on the integers. Ann. Henri Poincar\'e , 24(8):2729--2741, 2023
work page 2023
-
[51]
On minimal decay at infinity of H ardy-weights
Hynek Kova r \' k and Yehuda Pinchover. On minimal decay at infinity of H ardy-weights. Commun. Contemp. Math. , 22(5):1950046, 18, 2020
work page 2020
-
[52]
An Improved Discrete Hardy Inequality
Matthias Keller, Yehuda Pinchover, and Felix Pogorzelski. An Improved Discrete Hardy Inequality . Amer. Math. Monthly , 125(4):347--350, 2018
work page 2018
-
[53]
Optimal Hardy inequalities for Schr\"odinger operators on graphs
Matthias Keller, Felix Pogorzelski, and Yehuda Pinchover. Optimal Hardy inequalities for Schr\"odinger operators on graphs . Comm. Math. Phys. , 358:767--790, 2018
work page 2018
-
[54]
Critical Hardy Inequalities on Manifolds and Graphs , pages 172--202
Matthias Keller, Yehuda Pinchover, and Felix Pogorzelski. Critical Hardy Inequalities on Manifolds and Graphs , pages 172--202. Cambridge University Press , 2020
work page 2020
-
[55]
Criticality theory for Schr\"o\-din\-ger operators on graphs
Matthias Keller, Felix Pogorzelski, and Yehuda Pinchover. Criticality theory for Schr\"o\-din\-ger operators on graphs . J. Spectr. Theory , 10:73--114, 2020
work page 2020
-
[56]
Gaussian upper bounds, volume doubling and sobolev inequalities on graphs
Matthias Keller and Christian Rose. Gaussian upper bounds, volume doubling and sobolev inequalities on graphs. arXiv:2406.19879 , 2024
-
[57]
A sharp form of the discrete H ardy inequality and the K eller- P inchover- P ogorzelski inequality
David Krej c i r \'i k and Franti s ek S tampach. A sharp form of the discrete H ardy inequality and the K eller- P inchover- P ogorzelski inequality. Amer. Math. Monthly , 129(3):281--283, 2022
work page 2022
-
[58]
A short direct proof of the discrete H ardy inequality
Pascal Lef\`evre. A short direct proof of the discrete H ardy inequality. Arch. Math. (Basel) , 114(2):195--198, 2020
work page 2020
-
[59]
Weighted discrete H ardy's inequalities
Pascal Lef\`evre. Weighted discrete H ardy's inequalities. Ukrainian Math. J. , 75(7):1153--1157, 2023. Reprint of Ukra\"in. Mat. Zh. 75 (2023), no. 7, 1009--1012
work page 2023
-
[60]
On the spectral estimates for the S chr\"odinger operator on Z^d,\ d 3
Grigori Rozenblum and Michael Solomyak. On the spectral estimates for the S chr\"odinger operator on Z^d,\ d 3 . volume 159, pages 241--263. 2009. Problems in mathematical analysis. No. 41
work page 2009
-
[61]
On spectral estimates for the S chr\"odinger operators in global dimension 2
Grigori Rozenblum and Michael Solomyak. On spectral estimates for the S chr\"odinger operators in global dimension 2. Algebra i Analiz , 25(3):185--199, 2013
work page 2013
-
[62]
Improvement of the discrete H ardy inequality
Prasun Roychowdhury and Durvudkhan Suragan. Improvement of the discrete H ardy inequality. Bull. Sci. Math. , 195:Paper No. 103468, 12, 2024
work page 2024
-
[63]
Critical exponents for long-range O(n) models below the upper critical dimension
Gordon Slade. Critical exponents for long-range O(n) models below the upper critical dimension. Comm. Math. Phys. , 358(1):343--436, 2018
work page 2018
-
[64]
Sharp Constants in the Hardy-Rellich Inequalities
Dimitri Yafaev. Sharp Constants in the Hardy-Rellich Inequalities . J. Funct. Anal. , 168(1):121--144, 1999
work page 1999
-
[65]
Spectral analysis of L aplacians on the V icsek set
Denglin Zhou. Spectral analysis of L aplacians on the V icsek set. Pacific J. Math. , 241(2):369--398, 2009
work page 2009
-
[66]
Fractional L aplace operator and related S chr\"odinger equations on locally finite graphs
Mengjie Zhang, Yong Lin, and Yunyan Yang. Fractional L aplace operator and related S chr\"odinger equations on locally finite graphs. Calc. Var. Partial Differential Equations , 64(7):Paper No. 227, 27, 2025
work page 2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.