A dyadic construction of a three-dimensional attractive point interaction Markov family

Barkat Mian

arxiv: 2605.09706 · v2 · pith:FEIULSPCnew · submitted 2026-05-10 · 🧮 math.PR · math-ph· math.MP

A dyadic construction of a three-dimensional attractive point interaction Markov family

Barkat Mian This is my paper

Pith reviewed 2026-05-12 03:36 UTC · model grok-4.3

classification 🧮 math.PR math-phmath.MP

keywords Markov processespoint interactionsDoob transformsdyadic partitionssingular heat equationcàdlàg processescemetery statetime-inhomogeneous

0 comments

The pith

Iterated Doob transforms along dyadic partitions construct a Markov family for three-dimensional attractive point interactions.

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

The paper develops a probabilistic framework for three-dimensional attractive point interactions under a survival constraint on a punctured domain. It applies iterated Doob transforms to the fundamental solution of the associated singular heat equation to produce sub-probability kernels for finite partitions. Refinement of these kernels along global dyadic partitions produces a limiting sub-probability kernel. Extending the limit by adjoining a cemetery state yields a transition probability kernel that defines a time-inhomogeneous Markov process on dyadic times. Step-function interpolations of this process give càdlàg trajectories with consistent finite-dimensional distributions and partial tightness properties.

Core claim

By iterating the Doob-transforms of the fundamental solution of the corresponding singular heat equation on the punctured domain E_ε, sub-probability kernels are obtained along finite partitions. Refinement along global dyadic partitions produces a limiting sub-probability kernel, which is extended to a transition probability kernel on an enlarged space obtained by adjoining a cemetery state. These kernels determine a time-inhomogeneous Markov process on the set of dyadic times, and its step-function interpolations yield càdlàg processes with consistent finite-dimensional distributions and partial tightness properties.

What carries the argument

Iterated Doob-transforms of the fundamental solution to the singular heat equation on the punctured domain, refined along global dyadic partitions to a limiting kernel.

If this is right

The kernels determine a time-inhomogeneous Markov process on the set of dyadic times.
Step-function interpolations of the process are càdlàg.
The interpolated processes have consistent finite-dimensional distributions.
The processes satisfy partial tightness properties.
The construction respects the survival constraint on the punctured domain.

Where Pith is reading between the lines

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

The dyadic construction supplies the necessary kernels for analyzing the continuous-time limit of the interpolated processes.
Adjoining the cemetery state encodes the effect of the attractive interaction as possible killing or absorption.
The partial tightness may be used as a starting point for proving convergence in the Skorokhod topology once the mesh tends to zero.

Load-bearing premise

The fundamental solution to the singular heat equation on the punctured domain exists and is regular enough that the iterated Doob-transformed kernels converge under dyadic refinement as the partition mesh tends to zero.

What would settle it

If the iterated sub-probability kernels fail to converge to a non-trivial limit when the global dyadic partitions are refined to mesh zero, the claimed limiting kernel and the resulting Markov family do not exist.

Figures

Figures reproduced from arXiv: 2605.09706 by Barkat Mian.

read the original abstract

We discuss a probabilistic approximation framework for the three-dimensional attractive point interaction on a finite time horizon. By iterating the Doob transforms of the explicit heat kernel associated with the singular Schr\"odinger operator formally given by \[ \frac12\Delta \,+\, \frac{\beta}{2}\, \delta_0(\cdot), \qquad \beta>0, \] we obtain sub-probability kernels along finite partitions on the punctured domain \[ E_\varepsilon=\{x\in\mathbb R^3:\ |x|>\varepsilon\}, \] which yield a limiting sub-probability kernel via refinement along global dyadic partitions, and we extend this limit to a transition probability kernel on an enlarged space obtained by adjoining a cemetery state. These kernels determine a time-inhomogeneous Markov process on the set of dyadic times, and its step-function interpolations yield c\`adl\`ag processes with consistent finite-dimensional distributions and partial tightness properties. The present work may also be viewed as an alternative direct probabilistic approximation scheme for the three-dimensional zero-range homopolymer measure constructed in the work of Cranston, Koralov, Molchanov, and Vainberg, which is constructed as a weak limit of Gibbs measures associated with regularized Schr\"odinger operators.

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

This paper builds a dyadic-time Markov process on the punctured 3D domain via iterated Doob transforms but defers the continuous-time and ε→0 limits that would reach the actual point interaction.

read the letter

The main takeaway is that the authors construct sub-probability kernels on dyadic time partitions for the attractive point interaction on E_ε by iterating Doob transforms of the singular heat kernel, pass to a limit under global dyadic refinement, adjoin a cemetery state to get a transition kernel, and verify consistent finite-dimensional distributions plus partial tightness for the cadlag step-function interpolations. All of this is done for fixed ε without circularity in the steps described. They then explicitly set aside the continuous-time limit of the interpolated processes and the ε↓0 limit that would recover the target point-interaction process. That deferral is stated plainly in the abstract. What the paper does well is carry out the fixed-ε dyadic construction with standard tools and direct kernel estimates. The use of global dyadic partitions to control the mesh-zero limit looks concrete and avoids reducing the target to a fitted parameter. The resulting objects satisfy the Markov property on the discrete times and produce consistent f.d.d.s, which is solid groundwork. The soft spot is that the title and abstract position the work as a construction for the three-dimensional attractive point interaction, yet the two load-bearing limits remain unproven here. Without them it is difficult to judge how much the dyadic objects actually advance the singular-interaction theory or whether the partial tightness suffices for the limits. The argument as written shows no internal contradictions or unsupported assumptions in the fixed-ε part. This is for researchers already working on probabilistic constructions of Markov processes with singular potentials or on quantum-mechanical point interactions. A reader focused on approximation schemes or Doob-transform techniques might extract a reusable method. I would send it to peer review. The dyadic construction is substantial enough to be checked and critiqued, and referees can assess whether the deferred limits are reachable or require separate treatment.

Referee Report

1 major / 2 minor

Summary. The manuscript constructs a time-inhomogeneous Markov process on dyadic times for the three-dimensional attractive point interaction under a survival constraint on the punctured domain E_ε. It proceeds by iterating Doob transforms of the fundamental solution to the singular heat equation to produce sub-probability kernels on finite partitions, obtains a limiting sub-probability kernel by refinement along global dyadic partitions, adjoins a cemetery state to yield a transition probability kernel, and verifies that the resulting process has step-function interpolations with consistent finite-dimensional distributions and partial tightness properties. The continuous-time limit of the interpolations and the limit ε↓0 are explicitly deferred to future work.

Significance. If the dyadic construction holds, the work supplies a concrete, explicit probabilistic approximation scheme for singular attractive interactions in three dimensions via iterated Doob transforms and dyadic refinement. This is a useful intermediate step toward rigorous Markov processes for point interactions, with potential applications in stochastic analysis and quantum mechanics. The explicit use of global dyadic partitions and the verification of f.d.d. consistency plus partial tightness are concrete strengths that could support the deferred limits.

major comments (1)

The convergence of the iterated Doob-transformed kernels to a limiting sub-probability kernel as the mesh of the global dyadic partitions tends to zero is load-bearing for the central construction. The manuscript invokes direct estimates on the kernels for this step; explicit bounds or a reference to the precise lemma establishing the limit (including any dependence on ε) should be highlighted to confirm the argument does not rely on unstated regularity of the fundamental solution beyond what is assumed.

minor comments (2)

The abstract and introduction should clarify the precise meaning of 'partial tightness' for the step-function interpolations, as this property is invoked to support the dyadic-time process but its relation to standard tightness criteria is not immediately transparent.
Notation for the sub-probability kernels, the Doob-transformed objects, and the cemetery-augmented space should be checked for consistency across sections; minor inconsistencies in the use of P versus sub-probability symbols could confuse readers.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive evaluation and for identifying a point that will improve the clarity of the central argument. We address the major comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: The convergence of the iterated Doob-transformed kernels to a limiting sub-probability kernel as the mesh of the global dyadic partitions tends to zero is load-bearing for the central construction. The manuscript invokes direct estimates on the kernels for this step; explicit bounds or a reference to the precise lemma establishing the limit (including any dependence on ε) should be highlighted to confirm the argument does not rely on unstated regularity of the fundamental solution beyond what is assumed.

Authors: We agree that the convergence under dyadic refinement is load-bearing. The manuscript establishes this limit via direct estimates on the iterated kernels that follow from the properties of the fundamental solution to the singular heat equation on the punctured domain (as stated in the setup). We will revise the relevant section to explicitly reference the precise lemma or proposition containing these estimates, state the resulting bounds, and note their dependence on ε. This will make clear that the argument uses only the regularity already assumed for the fundamental solution and does not invoke additional unstated properties. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction is self-contained

full rationale

The paper builds the dyadic-time Markov kernels explicitly from the fundamental solution of the singular heat equation on E_ε via iterated Doob transforms, obtains the mesh-zero limit along global dyadic partitions by direct kernel estimates, adjoins a cemetery state to produce a transition kernel, and verifies consistency of finite-dimensional distributions plus partial tightness for the step-function interpolations. These steps rest on the stated assumptions of heat-kernel existence/regularity and kernel convergence under refinement, without any reduction of the target objects to fitted parameters, self-definitions, or load-bearing self-citations. The continuous-time and ε↓0 limits are explicitly deferred, so the claims made here remain independent of the deferred parts.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The abstract relies on standard results from stochastic analysis (existence of fundamental solutions to parabolic PDEs and properties of Doob h-transforms) and domain assumptions about the singular heat equation on punctured space. No free parameters or new postulated entities are introduced.

axioms (2)

domain assumption Existence and positivity properties of the fundamental solution to the singular heat equation on E_ε
Invoked as the starting point for the Doob-transform iteration.
standard math Doob transforms preserve the sub-Markov property and allow consistent refinement
Standard tool in conditioned diffusion theory used without further justification in the abstract.

pith-pipeline@v0.9.0 · 5456 in / 1688 out tokens · 84603 ms · 2026-05-12T03:36:09.388796+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

By iterating the Doob-transforms of the fundamental solution of the corresponding singular heat equation, we obtain sub-probability kernels along finite partitions which yield a limiting sub-probability kernel via refinement along global dyadic partitions
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

p_{T,β}^{s,t}(x,y) := [1+Q^β_{T-t}(y)]/[1+Q^β_{T-s}(x)] P^β_{t-s}(x,y)

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.