arxiv: 2605.05864 · v1 · submitted 2026-05-07 · 🧮 math.PR · math.FA

Recognition: unknown

Classification and Metrization of Classes of Smooth measures

Takumu Ooi , Kaneharu Tsuchida , Toshihiro Uemura

Authors on Pith no claims yet

Pith reviewed 2026-05-08 06:33 UTC · model grok-4.3

classification 🧮 math.PR math.FA

keywords smooth measuresKato classRadon measuresfinite energy integralsDynkin classMiyadera metricRevuz correspondenceDirichlet forms

0 comments

The pith

Smooth measures are classified by denseness and locality, equating the Kato class with Radon measures of finite energy integrals.

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

The paper classifies different classes of smooth measures based on their denseness and locality properties. It examines how these classes relate to each other, with a focus on showing that the Kato class matches the set of Radon measures having finite energy integrals. The work also defines a Miyadera metric on the Dynkin class and proves that the Revuz correspondence is continuous when this metric is used.

Core claim

We classify the several classes of the set of smooth measures from the perspective of the denseness and the locality, and consider their relationships, in particular, that of the Kato class and Radon measures of finite energy integrals. We also introduce the Miyadera metric on the Dynkin class, and obtain the continuity of the Revuz correspondence.

What carries the argument

The classification of smooth measures by denseness and locality together with the Miyadera metric on the Dynkin class, which is used to establish continuity of the Revuz correspondence.

If this is right

The Kato class coincides with the Radon measures of finite energy integrals.
Various classes of smooth measures are ordered by their denseness and locality properties.
The Revuz correspondence is continuous when the Dynkin class is equipped with the Miyadera metric.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The metrization opens the possibility of studying sequential compactness and limits within the space of measures tied to Dirichlet forms.
The classification scheme may extend to related settings such as quasi-regular Dirichlet forms on non-locally-compact spaces.

Load-bearing premise

The classification and continuity results rest on the standard framework of Dirichlet forms and the Revuz correspondence for the underlying Markov process.

What would settle it

A concrete counterexample of a smooth measure that is Kato-class but not a Radon measure of finite energy integral, or a sequence of Dynkin-class measures where the Revuz map fails to be continuous in the Miyadera metric.

read the original abstract

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.

Desk Editor's Note private letter to a colleague

The paper classifies smooth measures by denseness and locality then adds the Miyadera metric to make the Revuz correspondence continuous, all inside the standard Dirichlet form axioms.

read the letter

The main takeaway is that this paper sorts out classes of smooth measures according to how dense and how local they are, then equips the Dynkin class with a metric that turns the Revuz map into a continuous operation. The relationships between the Kato class and Radon measures of finite energy integrals are laid out with the usual inclusions and a few counterexamples drawn from the literature. That is the concrete new material on offer. The classification perspective and the specific metric choice are not already stated in the references they cite, so the work does extend the existing organization of these objects. The proofs stay within the regular Dirichlet form setting on a locally compact separable metric space and rely on the standard nest and capacity machinery, which keeps the arguments self-contained. The continuity statement follows directly once the metric is defined to respect the Revuz correspondence. Soft spots are modest and mostly about scope. Everything remains inside the usual axiomatic framework, so the paper does not test or relax any background assumptions on the underlying Markov process. The metric is introduced for the purpose of this continuity result, and it is not yet clear how often it will be applied in concrete calculations outside this classification. No load-bearing gaps appear in the logic once the full text is read. This is written for specialists who already work with Dirichlet forms, smooth measures, and positive continuous additive functionals. A reader who needs a compact reference for the denseness-locality hierarchy and a metric on the Dynkin class will get direct value. It is too narrow for a general probability audience. The claims are precise enough and the new metric is a verifiable addition, so the paper deserves a serious referee even if revisions will be needed to tighten the exposition around the counterexamples.

Referee Report

0 major / 3 minor

Summary. The manuscript classifies classes of smooth measures on a locally compact separable metric space with a regular Dirichlet form, using denseness and locality as organizing principles. It examines inclusions and distinctions among these classes, with special focus on the Kato class versus Radon measures of finite energy integrals. The authors introduce the Miyadera metric on the Dynkin class and establish continuity of the Revuz correspondence with respect to this metric.

Significance. If the stated classification and continuity hold, the work supplies a coherent taxonomy and a metrizable topology on a key subclass of smooth measures. This can support approximation arguments and stability results for additive functionals in the theory of Markov processes and Dirichlet forms. The results operate inside the standard axiomatic setting (regular Dirichlet forms, nests, capacity, Revuz bijection) without introducing new free parameters or ad-hoc axioms.

minor comments (3)

§2.3: The definition of the Miyadera metric d_M uses a supremum over a countable dense set of functions; it would help to state explicitly that this set is independent of the choice of nest.
Theorem 3.5: The inclusion diagram for the Kato class and finite-energy Radon measures is presented without a reference to the counter-example already in the literature; adding one sentence would clarify the sharpness.
Notation: The symbol for the Dynkin class is sometimes D and sometimes D_0; a single consistent symbol throughout would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and for recommending minor revision. The referee's summary accurately reflects the main results on the classification of smooth measures via denseness and locality, the comparison between the Kato class and Radon measures of finite energy integrals, and the introduction of the Miyadera metric together with the continuity of the Revuz correspondence.

Circularity Check

0 steps flagged

No significant circularity detected in classification or metrization

full rationale

The paper classifies smooth measures by denseness and locality properties and introduces the Miyadera metric on the Dynkin class to establish continuity of the Revuz correspondence. All steps operate inside the standard axiomatic setting of regular Dirichlet forms on locally compact separable metric spaces, using the usual nest, capacity, and Revuz bijection. No equation or claim reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the relationships between the Kato class and Radon measures of finite energy integrals follow from established inclusions and counter-examples already in the literature. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract provides no explicit free parameters, invented entities, or new axioms; all results are stated to rest on the existing theory of smooth measures, Kato class, and Revuz correspondence.

axioms (1)

domain assumption Standard definitions and properties of Dirichlet forms, smooth measures, Kato class, and Revuz correspondence hold in the underlying setting.
The classification and continuity claims presuppose this established framework without re-deriving it.

pith-pipeline@v0.9.0 · 5342 in / 1224 out tokens · 41214 ms · 2026-05-08T06:33:30.471703+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

22 extracted references · 7 canonical work pages

[1]

Albeverio, P

S. Albeverio, P. Blanchard, and Z. Ma, Feynman-Kac semigroups in terms of signed smooth measures , Random Partial Differential Equations, 1-31, 1991

1991
[2]

Albeverio and Z

S. Albeverio and Z. Ma, Additive functionals, nowhere Radon and Kato class smooth measures associated with Dirichlet forms , Osaka J. Math. 29 (2) 247 -- 265, 1992

1992
[3]

Aizenman and B

M. Aizenman and B. Simon, Brownian motion and harnack inequality for Schr\" o dinger operators, Commun. Pure Appl. Math., 35 (1982), 209 -- 273, https://doi.org/10.1002/cpa.3160350206

work page doi:10.1002/cpa.3160350206 1982
[4]

Ben Amor, Trace inequalities for operators associated to regular Dirichlet forms , Forum Math., 16 (2004), 417–429

A. Ben Amor, Trace inequalities for operators associated to regular Dirichlet forms , Forum Math., 16 (2004), 417–429

2004
[5]

A. N. Borodin and P. Salminen, Handbook of Brownian Motion - Facts and Formulae , Birkh\" a user Basel, 2002

2002
[6]

K. L. Chung, Doubly-Feller process with multiplicative functional , Progr. Probab. Statist. 12, Birkh\" a user, Boston, 1986, 63 -- 78

1986
[7]

Chen and M

Z.-Q. Chen and M. Fukushima, Symmetric Markov Processes, Time Change, and Boundary Theory , Princeton University Press, 2012

2012
[8]

Folland, Real analysis

G.B. Folland, Real analysis. Modern techniques and their applications. Second edition , Pure and Applied Mathematics (New York). A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 1999

1999
[9]

Fukushima, Y

M. Fukushima, Y. Oshima and M. Takeda, Dirichlet Forms and Symmetric Markov Processes , 2nd rev.\ and ext.\ ed., Walter de Gruyter, 2011

2011
[10]

Kallenberg, Foundations of Modern Probability , 2nd ed., Springer New York, NY, 2002

O. Kallenberg, Foundations of Modern Probability , 2nd ed., Springer New York, NY, 2002

2002
[11]

Kuwae and M

K. Kuwae and M. Takahashi, Kato class measures of symmetric Markov processes under heat kernel estimates , J. Funct. Anal. 250 (2007), 86–113

2007
[12]

Kurniawaty., K

M. Kurniawaty., K. Kuwae and K. Tsuchida. On the doubly Feller property of resolvent , Kyoto J. Math. 57 (3) 637 - 654, September 2017. https://doi.org/10.1215/21562261-2017-0009

work page doi:10.1215/21562261-2017-0009 2017
[13]

Nishimori, M

Y. Nishimori, M. Tomisaki, K. Tsuchida and T. Uemura, On a convergence of positive continuous additive functionals in terms of the smooth measures , Canadian J. Math. (Online first), https://doi.org/10.4153/S0008414X25000173

work page doi:10.4153/s0008414x25000173
[14]

Noda, Convergence of space-time occupation measures of stochastic processes and its application to collisions , preprint, arXiv:2510.19936

R. Noda, Convergence of space-time occupation measures of stochastic processes and its application to collisions , preprint, arXiv:2510.19936

work page arXiv
[15]

Ooi, Homeomorphism of the Revuz correspondence for finite energy integrals , Stoch

T. Ooi, Homeomorphism of the Revuz correspondence for finite energy integrals , Stoch. Proc. Their Appl., 191 , no. 104787, (2026), https://doi.org/10.1016/j.spa.2025.104787

work page doi:10.1016/j.spa.2025.104787 2026
[16]

T. Ooi, K. Tsuchida and T. Uemura, Smooth measures and positive continuous additive functionals attached to a compact nest , preprint, arXiv:2509.23060

work page arXiv
[17]

Ouhabaz, P

E.-M. Ouhabaz, P. Stollmann, K.-T. Sturm and J. Voigt, The Feller property for absorption semigroups , J. Funct. Anal. 138 (1996), no. 2, 351–378

1996
[18]

Rudin Real and complex analysis

W. Rudin Real and complex analysis. Third edition, McGraw-Hill Book Co., New York, 1987

1987
[19]

Shiozawa and M

Y. Shiozawa and M. Takeda, Variational Formula for Dirichlet Forms and Estimates of Principal Eigenvalues for Symmetric \( \)-stable Processes , Potential Anal 23, 135–151 (2005). https://doi.org/10.1007/s11118-004-5392-7

work page doi:10.1007/s11118-004-5392-7 2005
[20]

Stollmann and J

P. Stollmann and J. Voigt, Perturbation of Dirichlet forms by measures , Potential Anal., 109-138, 1996

1996
[21]

Teschl, Ordinary differential equations and dynamical systems , Graduate Studies in Mathematics, 140

G. Teschl, Ordinary differential equations and dynamical systems , Graduate Studies in Mathematics, 140. American Mathematical Society, Providence, RI, 2012

2012
[22]

Voigt, Absorption Semigroups, Feller Property, and Kato Class , Partial Differential Operators and Mathematical Physics

J. Voigt, Absorption Semigroups, Feller Property, and Kato Class , Partial Differential Operators and Mathematical Physics. Operator Theory Advances and Applications, vol 78. Birkhäuser Basel, 1995

1995