pith. sign in

arxiv: 2606.17517 · v1 · pith:MMAAGPWNnew · submitted 2026-06-16 · 🧮 math.PR

Killed resolvents and measure-valued stopping gains for reflected optimal stopping with max-type rewards

Pith reviewed 2026-06-26 23:05 UTC · model grok-4.3

classification 🧮 math.PR
keywords optimal stoppingreflected diffusionsigned measurekilled resolventmax-type rewardobstacle problemverification theorem
0
0 comments X

The pith

The stopping gain for reflected optimal stopping with max-type rewards is a signed measure generated by the kink, and its potential representation requires the killed reflected resolvent.

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

The paper studies an infinite-horizon optimal stopping problem for a normally reflected two-dimensional diffusion in the positive quadrant with reward G equal to the maximum of x1 and alpha times x2. It establishes that the stopping gain Gamma equals c plus rG minus the generator applied to G forms a signed measure rather than a function, because the kink of G produces an explicit negative surface measure along the line where x1 equals alpha x2. The correct representation of the value then employs the resolvent of the reflected diffusion killed at first entry into the stopping set. Under explicit monotonicity, regularity, and measure-superharmonicity assumptions, this yields an epigraph representation of the value, a boundary-trace condition on the continuation side, and a verification theorem. The construction clarifies regularity and uniqueness issues that arise in multidimensional problems with nonsmooth rewards.

Core claim

The stopping gain Gamma = c + rG - LG is a signed measure, not a function: the kink of G generates an explicit negative surface measure on Delta = {x1 = alpha x2}. The correct potential representation uses the resolvent of the reflected diffusion killed on first entry into the stopping set, rather than the unrestricted reflected resolvent.

What carries the argument

The signed-measure stopping gain Gamma together with the killed reflected resolvent, which together produce the potential representation of the value function.

If this is right

  • The value function admits an epigraph representation under the stated measure-superharmonicity.
  • A continuation-side boundary-trace condition holds for the candidate solution.
  • A verification theorem identifies the optimal stopping set for the problem.
  • Standard regularity and uniqueness assumptions in multidimensional nonsmooth optimal stopping are made explicit.

Where Pith is reading between the lines

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

  • The signed-measure treatment may extend to other optimal stopping problems whose rewards possess derivative discontinuities along lower-dimensional sets.
  • Numerical schemes based on resolvents would need to incorporate the surface measure contribution along the kink to maintain accuracy.
  • The framework suggests that uniqueness proofs for related obstacle problems must track the negative measure component explicitly.

Load-bearing premise

Explicit monotonicity, regularity, and measure-superharmonicity assumptions are needed to obtain the epigraph representation, the boundary-trace condition, and the verification theorem.

What would settle it

An explicit example of a reflected diffusion and max-type reward where the value function fails to equal the integral against the killed resolvent of the signed measure Gamma.

read the original abstract

We study an infinite-horizon optimal stopping problem for a normally reflected two-dimensional diffusion in the positive quadrant with nonsmooth max-type reward \(G(x_1,x_2)=x_1\vee \alpha x_2\). The paper develops a conditional measure-theoretic framework for the associated reflected obstacle problem. The main innovation is to show that the stopping gain \(\Gamma=c+rG-\mathcal LG\) is a signed measure, not a function: the kink of \(G\) generates an explicit negative surface measure on \(\Delta=\{x_1=\alpha x_2\}\). We then prove that the correct potential representation uses the resolvent of the reflected diffusion killed on first entry into the stopping set, rather than the unrestricted reflected resolvent. Under explicit monotonicity, regularity, and measure-superharmonicity assumptions, we derive an epigraph representation, a continuation-side boundary-trace condition, and a candidate verification theorem. The framework clarifies hidden regularity and uniqueness assumptions in multidimensional nonsmooth optimal stopping.

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 manuscript develops a measure-theoretic framework for an infinite-horizon optimal stopping problem involving a normally reflected two-dimensional diffusion in the positive quadrant with nonsmooth reward G(x1,x2)=x1∨αx2. It shows that the stopping gain Γ=c+rG−ℒG is a signed measure containing an explicit negative surface measure supported on the kink line Δ={x1=αx2}, and establishes that the correct potential representation employs the resolvent of the reflected process killed on first entry to the stopping set. Under explicit hypotheses of monotonicity, regularity, and measure-superharmonicity, the paper derives an epigraph representation of the value function, a continuation-region boundary-trace condition, and a candidate verification theorem, while clarifying hidden regularity assumptions in multidimensional nonsmooth optimal stopping.

Significance. If the explicit surface-measure construction and killed-resolvent representation can be verified under the stated hypotheses, the work supplies a concrete technical device for treating kinks in reflected obstacle problems that is not available from standard variational or viscosity approaches. The explicit negative surface term on Δ and the shift to the killed resolvent constitute a genuine advance in handling nonsmooth max-type rewards; the framework also makes transparent several regularity and uniqueness conditions that are often left implicit in the literature.

major comments (1)
  1. [Assumptions and verification sections] The measure-superharmonicity assumption is imposed as an explicit hypothesis rather than derived from the specific form G=x1∨αx2 and normal reflection. Because this property is load-bearing for both the epigraph representation and the verification theorem, its independent verification (or a concrete test that can be checked a priori) is required; without it the applicability of the framework remains conditional on a property whose validity may be entangled with the unknown stopping set.
minor comments (2)
  1. Notation for the surface measure on Δ and the killed resolvent should be introduced with a short display equation immediately after the definition of Γ to improve readability.
  2. The abstract states that the framework 'clarifies hidden regularity and uniqueness assumptions'; a brief comparison table or paragraph contrasting the present conditions with those appearing in the classical variational literature would strengthen this claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive major comment. We respond point by point below.

read point-by-point responses
  1. Referee: [Assumptions and verification sections] The measure-superharmonicity assumption is imposed as an explicit hypothesis rather than derived from the specific form G=x1∨αx2 and normal reflection. Because this property is load-bearing for both the epigraph representation and the verification theorem, its independent verification (or a concrete test that can be checked a priori) is required; without it the applicability of the framework remains conditional on a property whose validity may be entangled with the unknown stopping set.

    Authors: We agree that measure-superharmonicity is a load-bearing hypothesis whose verification is generally entangled with the unknown stopping set, which is why the manuscript states it explicitly rather than attempting a derivation from the specific form of G and the normal reflection. The framework is intentionally conditional on this (and the other listed) assumptions in order to isolate the novel measure-theoretic and killed-resolvent contributions. We will add a short paragraph in the assumptions section noting that, in concrete applications, the property can be checked a posteriori by verifying that the candidate value function satisfies the measure-superharmonicity inequality on the continuation region once the stopping set has been identified numerically or analytically. revision: partial

Circularity Check

0 steps flagged

No significant circularity detected; claims rest on explicit external assumptions

full rationale

The derivation chain relies on stated hypotheses of monotonicity, regularity, and measure-superharmonicity to obtain the epigraph representation, boundary-trace condition, and verification theorem. The core claims (Γ as signed measure with surface term on Δ, and killed-resolvent representation) are presented as constructions under these assumptions rather than self-referential definitions or fitted inputs renamed as predictions. No self-citation chains, uniqueness theorems imported from prior author work, or ansatzes smuggled via citation appear in the abstract or described framework. The paper is therefore self-contained against external benchmarks once the assumptions are granted, yielding only a minor score for the conditional nature of the results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract only; the paper invokes monotonicity, regularity, and measure-superharmonicity as standing assumptions for the derivations but provides no further detail on free parameters or invented entities.

axioms (1)
  • domain assumption explicit monotonicity, regularity, and measure-superharmonicity assumptions
    Required to obtain the epigraph representation, continuation-side boundary-trace condition, and candidate verification theorem.

pith-pipeline@v0.9.1-grok · 5704 in / 1237 out tokens · 33367 ms · 2026-06-26T23:05:52.799616+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

66 extracted references

  1. [1]

    Mathematical Finance7(3), 241–286 (1997)

    Broadie, M., Detemple, J.: The valuation of American options on multiple assets. Mathematical Finance7(3), 241–286 (1997)

  2. [2]

    Finance and Stochastics3(3), 295–322 (1999) 20

    Villeneuve, S.: Exercise regions of American options on several assets. Finance and Stochastics3(3), 295–322 (1999) 20

  3. [3]

    Quantitative Finance20(11), 1749–1760 (2020)

    Bayer, C., Tempone, R., Wolfers, S.: Pricing American options by exercise rate optimization. Quantitative Finance20(11), 1749–1760 (2020)

  4. [4]

    Management Science61(5), 1094–1107 (2015)

    Battauz, A., De Donno, M., Sbuelz, A.: Real options and American derivatives: The double continuation region. Management Science61(5), 1094–1107 (2015)

  5. [5]

    SIAM Journal on Applied Mathematics66(1), 206–227 (2005)

    Dai, M., Kwok, Y.K.: American options with lookback payoff. SIAM Journal on Applied Mathematics66(1), 206–227 (2005)

  6. [6]

    Detemple, J.: Optimal exercise for derivative securities. Annu. Rev. Financ. Econ. 6(1), 459–487 (2014)

  7. [7]

    SIAM Journal on Control and Optimization63(4), 2835–2855 (2025)

    Soner, H.M., Tissot-Daguette, V.: Stopping times of boundaries: Relaxation and continuity. SIAM Journal on Control and Optimization63(4), 2835–2855 (2025)

  8. [8]

    Results in Applied Mathematics27, 100621 (2025)

    Wang, L.S., Yu, J.: Analysis framework for stochastic predator–prey model with demographic noise. Results in Applied Mathematics27, 100621 (2025)

  9. [9]

    Journal of Computational Finance 15(3), 33 (2012)

    Whitehead, T., Mark Reesor, R., Davison, M.: A bias-reduction technique for Monte Carlo pricing of early-exercise options. Journal of Computational Finance 15(3), 33 (2012)

  10. [10]

    Hiroshima Math

    Tanaka, H.: Stochastic differential equations with reflecting boundary condition in convex regions. Hiroshima Math. J.9(3), 163–177 (1979)

  11. [11]

    Communications on pure and applied Mathematics37(4), 511–537 (1984)

    Lions, P.-L., Sznitman, A.-S.: Stochastic differential equations with reflecting boundary conditions. Communications on pure and applied Mathematics37(4), 511–537 (1984)

  12. [12]

    Probability Theory and Related Fields74(3), 455–477 (1987)

    Saisho, Y.: Stochastic differential equations for multi-dimensional domain with reflecting boundary. Probability Theory and Related Fields74(3), 455–477 (1987)

  13. [13]

    The Annals of Probability9(2), 302–308 (1981)

    Harrison, J.M., Reiman, M.I.: Reflected Brownian motion on an orthant. The Annals of Probability9(2), 302–308 (1981)

  14. [14]

    The annals of Probability, 554–580 (1993)

    Dupuis, P., Ishii, H.: Sdes with oblique reflection on nonsmooth domains. The annals of Probability, 554–580 (1993)

  15. [15]

    Journal of Theoretical Probability34(4), 2166–2191 (2021)

    Hino, M., Matsuura, K., Yonezawa, M.: Pathwise uniqueness and non-explosion property of Skorohod SDEs with a class of non-Lipschitz coefficients and non- smooth domains. Journal of Theoretical Probability34(4), 2166–2191 (2021)

  16. [16]

    Stochastic Processes and their Applications 129(4), 1097–1131 (2019) 21

    Lundstr¨ om, N.L., ¨Onskog, T.: Stochastic and partial differential equations on non-smooth time-dependent domains. Stochastic Processes and their Applications 129(4), 1097–1131 (2019) 21

  17. [17]

    Mathematics13(17), 2898 (2025)

    Wang, L.S., Yu, J., Li, S., Liu, Z.: Analysis and mean-field limit of a hybrid PDE- ABM modeling angiogenesis-regulated resistance evolution. Mathematics13(17), 2898 (2025)

  18. [18]

    Potential Analysis65(1), 14 (2026)

    Li, H., Yang, S., Zhang, T.: Wong-Zakai approximations for reflected SDEs in non-smooth time-dependent domains. Potential Analysis65(1), 14 (2026)

  19. [19]

    The Annals of Applied Probability28(2), 688–750 (2018)

    Lipshutz, D., Ramanan, K.: On directional derivatives of Skorokhod maps in convex polyhedral domains. The Annals of Applied Probability28(2), 688–750 (2018)

  20. [20]

    The Annals of Probability24(1), 148–181 (1996)

    DeBlassie, R.D.: Brownian motion in a wedge with variable reflection: Existence and uniqueness. The Annals of Probability24(1), 148–181 (1996)

  21. [21]

    Journal of Mathematical Analysis and Applications480(1), 123356 (2019)

    Duan, J., Peng, J.: White noise driven SPDEs with oblique reflection: Exis- tence and uniqueness. Journal of Mathematical Analysis and Applications480(1), 123356 (2019)

  22. [22]

    The Annals of Applied Probability33(3), 1904–1960 (2023)

    Leimkuhler, B., Sharma, A., Tretyakov, M.V.: Simplest random walk for approx- imating Robin boundary value problems and ergodic limits of reflected diffusions. The Annals of Applied Probability33(3), 1904–1960 (2023)

  23. [23]

    Mathematics (2026)

    Cai, J., Chen, X., Gu, L., Chen, J., Chu, N., Wang, L.S., Liang, Y., Yu, J.: Optimal harvesting for nonlinear size-structured populations with nonlocal environmental feedback. Mathematics (2026)

  24. [24]

    Springer, Basel (2006)

    Peskir, G., Shiryaev, A.: Optimal Stopping and Free-boundary Problems. Springer, Basel (2006)

  25. [25]

    In: ´Ecole D’´ et´ e de Probabilit´ es de Saint-Flour IX-1979, pp

    El Karoui, N.: Les aspects probabilistes du contrˆ ole stochastique. In: ´Ecole D’´ et´ e de Probabilit´ es de Saint-Flour IX-1979, pp. 73–238. Springer, Berlin, Heidelberg (1981)

  26. [26]

    Bensoussan, A., Lions, J.-L.: Applications of Variational Inequalities in Stochastic Control vol. 12. Elsevier, Amsterdam (1982)

  27. [27]

    (No Title) (1982)

    Friedman, A.: Variational principles and free-boundary problems. (No Title) (1982)

  28. [28]

    SIAM Journal on control and optimization57(3), 1869–1889 (2019)

    Jacka, S.D., Norgilas, D.: On the compensator in the Doob–Meyer decomposition of the Snell envelope. SIAM Journal on control and optimization57(3), 1869–1889 (2019)

  29. [29]

    Mathematics of Operations Research41(4), 1432–1447 (2016)

    Martyr, R.: Finite-horizon optimal multiple switching with signed switching costs. Mathematics of Operations Research41(4), 1432–1447 (2016)

  30. [30]

    Advances in Applied Probability53(2), 22 400–424 (2021)

    Christensen, S.,et al.: A class of solvable multidimensional stopping problems in the presence of knightian uncertainty. Advances in Applied Probability53(2), 22 400–424 (2021)

  31. [31]

    Operations Research69(5), 1591–1607 (2021)

    Ma, Q., Stachurski, J.: Dynamic programming deconstructed: Transformations of the Bellman equation and computational efficiency. Operations Research69(5), 1591–1607 (2021)

  32. [32]

    Applied Mathematics & Optimization 79(1), 145–177 (2019)

    Ankirchner, S., Klein, M., Kruse, T.: A verification theorem for optimal stopping problems with expectation constraints. Applied Mathematics & Optimization 79(1), 145–177 (2019)

  33. [33]

    Bioengineering12(10), 1097 (2025)

    Liu, Z., Wang, L.S., Yu, J., Zhang, J., Martel, E., Li, S.: Bidirectional endothelial feedback drives turing-vascular patterning and drug-resistance niches: a hybrid PDE-agent-based study. Bioengineering12(10), 1097 (2025)

  34. [34]

    Automatica184, 112723 (2026)

    Lv, S., Wu, Z., Xiong, J., Zhang, X.: Robust optimal stopping with regime switching. Automatica184, 112723 (2026)

  35. [35]

    Journal of Inequalities and Applications2023(1), 99 (2023)

    Jeon, J., Kim, G.: Variational inequality arising from variable annuity with mean reversion environment. Journal of Inequalities and Applications2023(1), 99 (2023)

  36. [36]

    Journal of Fourier Analysis and Applications4(4), 383–402 (1998)

    Caffarelli, L.A.: The obstacle problem revisited. Journal of Fourier Analysis and Applications4(4), 383–402 (1998)

  37. [37]

    Inventiones mathematicae171(2), 425–461 (2008)

    Caffarelli, L.A., Salsa, S., Silvestre, L.: Regularity estimates for the solution and the free boundary of the obstacle problem for the fractional Laplacian. Inventiones mathematicae171(2), 425–461 (2008)

  38. [38]

    PLoS One21(5), 0350127 (2026)

    Yu, J., Wang, L.S.: Beyond diagonal noise: A better predator-prey modeling framework with cross-covariance. PLoS One21(5), 0350127 (2026)

  39. [39]

    Figalli et al

    Figalli, A., Kim, S., Shahgholian, H.: Constraint maps with free boundaries: the obstacle case: A. Figalli et al. Archive for Rational Mechanics and Analysis 248(5), 79 (2024)

  40. [40]

    Mathematics13(22), 3583 (2025)

    Liang, Y., Wang, L.S., Yu, J., Liu, Z.: Global well-posedness and stability of nonlocal damage-structured lineage model with feedback and dedifferentiation. Mathematics13(22), 3583 (2025)

  41. [41]

    Advances in Calculus of Variations15(3), 323–349 (2022)

    Focardi, M., Spadaro, E.: The local structure of the free boundary in the fractional obstacle problem. Advances in Calculus of Variations15(3), 323–349 (2022)

  42. [42]

    Duke Mathematical Journal173(12), 2259–2313 (2024)

    Huang, G., Tang, L., Wang, X.-J.: Regularity of free boundary for the Monge– Amp` ere obstacle problem. Duke Mathematical Journal173(12), 2259–2313 (2024)

  43. [43]

    Mathematische Annalen395(3), 75 (2026) 23

    Du, L., Zhou, Y.: The free boundary for the singular obstacle problem with logarithmic forcing term. Mathematische Annalen395(3), 75 (2026) 23

  44. [44]

    Archive for Rational Mechanics and Analysis248(5), 71 (2024)

    Aleksanyan, G., Kuusi, T.: Quantitative homogenization for the obstacle problem and its free boundary. Archive for Rational Mechanics and Analysis248(5), 71 (2024)

  45. [45]

    Journal of Differential Equations377, 873–887 (2023)

    Eberle, S., Shahgholian, H., Weiss, G.S.: The structure of the regular part of the free boundary close to singularities in the obstacle problem. Journal of Differential Equations377, 873–887 (2023)

  46. [46]

    Mathematical Methods in the Applied Sciences (2026)

    Yu, J., Wang, L.S., Liang, Y.: Rigorous analysis of a nonlocal transport–renewal system for physiologically structured populations. Mathematical Methods in the Applied Sciences (2026)

  47. [47]

    Plos one21(2), 0335163 (2026)

    Wang, L.S., Yu, J., Liu, Z.: A damage-structured PDE model of stem cell hier- archies: The dual role of dedifferentiation in tissue homeostasis and aging. Plos one21(2), 0335163 (2026)

  48. [48]

    Bulletin of the American mathematical society 27(1), 1–67 (1992)

    Crandall, M.G., Ishii, H., Lions, P.-L.: User’s guide to viscosity solutions of second order partial differential equations. Bulletin of the American mathematical society 27(1), 1–67 (1992)

  49. [49]

    SIAM Journal on Control and Optimization62(2), 903–923 (2024)

    Soner, H.M., Yan, Q.: Viscosity solutions for McKean–Vlasov control on a torus. SIAM Journal on Control and Optimization62(2), 903–923 (2024)

  50. [50]

    Journal of Functional Analysis289(5), 110936 (2025)

    Cheng, J., Xu, Y.: Viscosity solution to complex hessian equations on compact Hermitian manifolds. Journal of Functional Analysis289(5), 110936 (2025)

  51. [51]

    Electronic Research Archive34(1), 251–290 (2026)

    Wang, L.S., Yu, J.: Algebraic–spectral thresholds and discrete–continuous stabil- ity transfer in Leslie–Gower systems. Electronic Research Archive34(1), 251–290 (2026)

  52. [52]

    Electronic Journal of Probability18(34), 1–49 (2013)

    Lamberton, D., Zervos, M.: On the optimal stopping of a one-dimensional diffusion. Electronic Journal of Probability18(34), 1–49 (2013)

  53. [53]

    SIAM Journal on Control and Optimization53(1), 167–184 (2015)

    De Angelis, T.: A note on the continuity of free-boundaries in finite-horizon opti- mal stopping problems for one-dimensional diffusions. SIAM Journal on Control and Optimization53(1), 167–184 (2015)

  54. [54]

    The Annals of Applied Probability29(1), 505–530 (2019)

    Peskir, G.: Continuity of the optimal stopping boundary for two-dimensional diffusions. The Annals of Applied Probability29(1), 505–530 (2019)

  55. [55]

    SIAM Journal on Control and Optimization57(1), 402–436 (2019)

    De Angelis, T., Stabile, G.: On lipschitz continuous optimal stopping boundaries. SIAM Journal on Control and Optimization57(1), 402–436 (2019)

  56. [56]

    De Angelis, T., Peskir, G.: GlobalC 1 regularity of the value function in optimal stopping problems (2020)

  57. [57]

    24 Electronic Research Archive34(6), 4248–4289 (2026)

    Wang, L.S., Yu, J., Liang, Y., Zhang, J.: The breakdown of linear quasi-cycles: Demographic noise and absorbing boundaries in finite predator–prey systems. 24 Electronic Research Archive34(6), 4248–4289 (2026)

  58. [58]

    Springer, Berlin, Heidelberg (2013)

    Revuz, D., Yor, M.: Continuous Martingales and Brownian Motion. Springer, Berlin, Heidelberg (2013)

  59. [59]

    Fukushima, M., Oshima, Y., Takeda, M.: Dirichlet Forms and Symmetric Markov Processes vol. 19. Walter de Gruyter, Berlin (2011)

  60. [60]

    Transport Phenomena (0) (2026)

    Yu, J., Wang, L.S., Liu, Z., Liu, J.: Pattern suppression and recovery under one- way versus two-way chemotactic coupling in hybrid partial differential equation– ordinary differential equation models. Transport Phenomena (0) (2026)

  61. [61]

    Theory of Probability & Its Applications31(4), 604–626 (1987)

    Krylov, N.: An approach to controlled diffusion processes. Theory of Probability & Its Applications31(4), 604–626 (1987)

  62. [62]

    the Annals of Probability25(2), 702–737 (1997)

    El Karoui, N., Kapoudjian, C., Pardoux, E., Peng, S., Quenez, M.-C.: Reflected solutions of backward SDE’s, and related obstacle problems for PDE’s. the Annals of Probability25(2), 702–737 (1997)

  63. [63]

    Information Technology and Control54(2), 413–438 (2025)

    Wang, Z., Wang, D., Yu, J.: Multi-strategy hybrid improved intelligent algorithm for solving UAV-MTSP. Information Technology and Control54(2), 413–438 (2025)

  64. [64]

    In: 2022 International Conference on Data Analytics, Computing and Artificial Intelligence (ICDACAI), pp

    Gao, Y., Li, L., Yu, J.: Rolling prediction model of closing price based on EEMD data noise reduction and HGS-DELM. In: 2022 International Conference on Data Analytics, Computing and Artificial Intelligence (ICDACAI), pp. 255–260 (2022). IEEE

  65. [65]

    Transport Phenomena 1(2), 20260037 (2026)

    Yu, J., Wang, L.S., Ban, S., Liang, Y.: From microscopic damage to macroscopic games: a dimensionality reduction of stem cell homeostasis. Transport Phenomena 1(2), 20260037 (2026)

  66. [66]

    springer, New York (2014) 25

    Karatzas, I., Shreve, S.: Brownian Motion and Stochastic Calculus. springer, New York (2014) 25