pith. sign in

arxiv: 2606.19070 · v1 · pith:6OJF3I3Tnew · submitted 2026-06-17 · 🧮 math.AP

A Measure-Valued Obstacle Problem for an Obliquely Reflected Diffusion with a Max-Type Payoff

Louis Shuo Wang , Jiguang Yu , Ye Liang This is my paper

Pith reviewed 2026-06-26 19:58 UTC · model grok-4.3

classification 🧮 math.AP
keywords optimal stoppingobstacle problemreflected diffusionmeasure-valued potentialfree boundaryverification theoremmax-type payoff
0
0 comments X

The pith

Any admissible epigraph candidate satisfying contact, strict continuation, reflected Neumann compatibility, growth, trace condition, and measure-superharmonicity coincides with the value function of the reflected optimal stopping problem.

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

The paper formulates an obliquely reflected optimal stopping problem in the nonnegative quadrant whose payoff has a kink along the diagonal. It introduces a total signed stopping measure that accounts for the continuous gain, a singular surface measure at the kink, and boundary local-time terms from the oblique reflection. A killed-resolvent representation is derived for the value function in the continuation region. Under a vertical monotonicity assumption the stopping set takes epigraph form, and a verification theorem shows that any candidate meeting the six listed conditions equals the value function with the first entry time being optimal.

Core claim

The value function equals any admissible epigraph candidate that satisfies contact, strict continuation, reflected Neumann compatibility, growth, the trace condition, and measure-superharmonicity; its first entry time into the stopping set is optimal.

What carries the argument

The total signed stopping measure Gtot that assembles the absolutely continuous stopping gain, the singular surface measure generated by the kink of G, and the boundary local-time contributions from oblique reflection.

If this is right

  • The first entry time into the epigraph stopping set is optimal.
  • The value function admits a killed-resolvent representation inside the continuation region.
  • The free boundary is characterized by a continuation-side trace condition on the killed potential.
  • The unrestricted reflected resolvent cannot be used because the process is not absorbed upon hitting the stopping set.

Where Pith is reading between the lines

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

  • The measure-valued formulation may apply to other payoffs whose kinks produce surface measures under reflection.
  • Numerical approximation of the stopping set could be attempted by enforcing measure-superharmonicity on candidate epigraphs.
  • Similar singular-measure techniques might handle kinks in payoffs for other classes of reflected processes.

Load-bearing premise

The vertical monotonicity hypothesis on V minus G is needed to prove that the stopping set has epigraph form.

What would settle it

An explicit epigraph function that meets contact, strict continuation, reflected Neumann compatibility, growth, the trace condition, and measure-superharmonicity yet whose first entry time fails to achieve the value of the stopping problem.

read the original abstract

We study an obliquely reflected optimal stopping problem in the nonnegative quadrant with nonsmooth max-type payoff \(G(x)=x_1\vee\alpha x_2\), and we develop a measure-valued potential-theoretic formulation of the associated obstacle problem. The kink of \(G\) on the diagonal \(x_1=\alpha x_2\) produces a singular surface measure in the distributional generator, while the oblique reflection directions generate boundary local-time contributions on the coordinate faces. Together with the absolutely continuous stopping gain, these terms define a total signed stopping measure \(\Gtot\). We derive the corresponding reflected It\^{o}--Tanaka identity, prove a killed-resolvent representation of the value function in the continuation region, and show that the unrestricted reflected resolvent is generally incorrect because the process is not absorbed on the stopping set. The free boundary is formulated through a continuation-side trace condition for the killed potential. Under a vertical monotonicity hypothesis on \(V-G\), the stopping set is shown to have an epigraph form. We finally prove a verification theorem: any admissible epigraph candidate satisfying contact, strict continuation, reflected Neumann compatibility, growth, the trace condition, and measure-superharmonicity coincides with the value function, and its first entry time is optimal.

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

2 major / 1 minor

Summary. The manuscript develops a measure-valued potential-theoretic formulation for an obliquely reflected optimal stopping problem in the nonnegative quadrant with nonsmooth max-type payoff G(x)=x1∨αx2. It derives a reflected Itô-Tanaka identity, establishes a killed-resolvent representation of the value function in the continuation region (noting that the unrestricted reflected resolvent is generally incorrect), formulates the free boundary via a continuation-side trace condition, invokes a vertical monotonicity hypothesis on V-G to conclude that the stopping set has an epigraph form, and proves a verification theorem: any admissible epigraph candidate satisfying contact, strict continuation, reflected Neumann compatibility, growth, the trace condition, and measure-superharmonicity coincides with the value function, with its first entry time optimal.

Significance. If the results hold, the work supplies a rigorous framework for optimal stopping problems whose payoffs induce singular surface measures and whose dynamics involve oblique reflections generating boundary local-time terms. The killed-resolvent representation and verification theorem provide concrete tools for characterizing the value function without direct solution of the obstacle PDE, and the total signed stopping measure Gtot unifies the absolutely continuous, singular, and boundary contributions.

major comments (2)
  1. [Abstract / free-boundary formulation] Abstract and free-boundary section: the vertical monotonicity hypothesis on V-G is assumed (rather than derived) in order to conclude that the stopping set has an epigraph form. This hypothesis is load-bearing for the verification theorem, because the theorem only characterizes epigraph candidates; without a proof that the actual value function satisfies the hypothesis, it is not guaranteed that the value function lies among the admissible epigraph candidates to which the theorem applies.
  2. [Killed-resolvent representation] Killed-resolvent representation paragraph: the claim that the unrestricted reflected resolvent is incorrect because the process is not absorbed on the stopping set is central to the representation, yet the manuscript provides no explicit comparison (e.g., via an equation showing the difference between the killed and unrestricted resolvents) or counter-example illustrating the absorption failure under oblique reflection.
minor comments (1)
  1. [Measure-valued formulation] The components of the total signed stopping measure Gtot (absolutely continuous stopping gain, singular surface measure from the kink of G, and boundary local-time terms) should be written out explicitly with their respective supports.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. Below we respond point by point to the major comments.

read point-by-point responses

  1. Referee: [Abstract / free-boundary formulation] Abstract and free-boundary section: the vertical monotonicity hypothesis on V-G is assumed (rather than derived) in order to conclude that the stopping set has an epigraph form. This hypothesis is load-bearing for the verification theorem, because the theorem only characterizes epigraph candidates; without a proof that the actual value function satisfies the hypothesis, it is not guaranteed that the value function lies among the admissible epigraph candidates to which the theorem applies.

    Authors: We agree that the vertical monotonicity hypothesis on V-G is introduced as an assumption rather than derived from first principles for the value function. The verification theorem is formulated precisely for admissible epigraph candidates that satisfy this hypothesis together with the other listed conditions (contact, strict continuation, reflected Neumann compatibility, growth, trace condition, and measure-superharmonicity). In the revision we will add a clarifying paragraph in the free-boundary section that explicitly states the scope of the theorem and notes that establishing the hypothesis for the value function itself is left as an open question for this class of problems. This does not alter the correctness of the verification result for any candidate that meets the stated hypotheses. revision: partial

  2. Referee: [Killed-resolvent representation] Killed-resolvent representation paragraph: the claim that the unrestricted reflected resolvent is incorrect because the process is not absorbed on the stopping set is central to the representation, yet the manuscript provides no explicit comparison (e.g., via an equation showing the difference between the killed and unrestricted resolvents) or counter-example illustrating the absorption failure under oblique reflection.

    Authors: We accept that an explicit comparison or counter-example would improve clarity. In the revised manuscript we will insert a short subsection (or remark) immediately following the killed-resolvent statement that supplies a concrete one-dimensional counter-example under oblique reflection, together with the explicit difference between the killed and unrestricted resolvent operators. This will illustrate the absorption failure without changing any of the existing proofs. revision: yes

Circularity Check

0 steps flagged

No significant circularity; verification theorem self-contained under explicit assumptions

full rationale

The derivation proceeds from the reflected Itô-Tanaka identity and killed-resolvent representation to a verification theorem characterizing admissible epigraph candidates via contact, trace, and measure-superharmonicity conditions. The vertical monotonicity hypothesis on V-G is stated explicitly as an assumption required to establish epigraph form of the stopping set, rather than being derived by construction from the value function itself or from fitted quantities. No self-citations, parameter-fitting steps, ansatz smuggling, or uniqueness theorems imported from the authors' prior work appear in the provided text. The central claim therefore retains independent content relative to external stochastic-process benchmarks and does not reduce to its inputs by definition.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The formulation rests on the vertical monotonicity hypothesis to obtain epigraph structure and on standard assumptions of reflected diffusions; the total signed stopping measure Gtot is introduced as part of the new formulation.

axioms (1)
  • domain assumption vertical monotonicity hypothesis on V-G
    Invoked to conclude that the stopping set has epigraph form.
invented entities (1)
  • total signed stopping measure Gtot no independent evidence
    purpose: Combines absolutely continuous stopping gain, singular surface measure from payoff kink, and boundary local-time terms to define the measure-valued obstacle problem.
    New object introduced to handle nonsmoothness and oblique reflection; no independent evidence outside the formulation.

pith-pipeline@v0.9.1-grok · 5763 in / 1305 out tokens · 23802 ms · 2026-06-26T19:58:44.704094+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

59 extracted references

  1. [1]

    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 (2006)

    1979

  2. [2]

    Stochastic Modelling and Applied Probability ( (2008)

    Shiryaev, A.N., Grimmett, G., Rozovskii, B.: Optimal stopping rules. Stochastic Modelling and Applied Probability ( (2008)

    2008

  3. [3]

    Springer (2006)

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

    2006

  4. [4]

    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)

    2025

  5. [5]

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

    2011

  6. [6]

    (No Title) (1982)

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

    1982

  7. [7]

    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)

    2025

  8. [8]

    SIAM (2000)

    Kinderlehrer, D., Stampacchia, G.: An Introduction to Variational Inequalities and Their Applications. SIAM (2000)

    2000

  9. [9]

    SIAM Journal on Control and Optimization61(4), 2140–2164 (2023)

    Talbi, M., Touzi, N., Zhang, J.: Dynamic programming equation for the mean field optimal stopping problem. SIAM Journal on Control and Optimization61(4), 2140–2164 (2023)

    2023

  10. [10]

    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)

    2025

  11. [11]

    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)

    2025

  12. [12]

    SIAM Journal on Control and Optimization61(3), 1712–1736 (2023)

    Talbi, M., Touzi, N., Zhang, J.: Viscosity solutions for obstacle problems on wasserstein space. SIAM Journal on Control and Optimization61(3), 1712–1736 (2023)

    2023

  13. [13]

    Mathematics of Operations Research47(3), 1833–1861 (2022) 17

    Colaneri, K., De Angelis, T.: A class of recursive optimal stopping problems with applications to stock trading. Mathematics of Operations Research47(3), 1833–1861 (2022) 17

    2022

  14. [14]

    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)

    2026

  15. [15]

    SIAM Journal on Control and Optimization64(3), 1507–1521 (2026)

    Ekstr¨ om, E., Wang, Y.: Dynkin ghost games with asymmetry and consolation. SIAM Journal on Control and Optimization64(3), 1507–1521 (2026)

    2026

  16. [16]

    Theory of Probability & Its Applications6(3), 264–274 (1961)

    Skorokhod, A.V.: Stochastic equations for diffusion processes in a bounded region. Theory of Probability & Its Applications6(3), 264–274 (1961)

    1961

  17. [17]

    Stochastic Processes: Selected Papers of Hiroshi Tanaka9, 157 (1979)

    Tanaka, H.: Stochastic differential equations with reflecting boundary condition in convex regions. Stochastic Processes: Selected Papers of Hiroshi Tanaka9, 157 (1979)

    1979

  18. [18]

    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)

    2026

  19. [19]

    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)

    1984

  20. [20]

    Communications on Pure and Applied Mathematics24(2), 147–225 (1971)

    Stroock, D.W., Varadhan, S.S.: Diffusion processes with boundary conditions. Communications on Pure and Applied Mathematics24(2), 147–225 (1971)

    1971

  21. [21]

    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)

    1993

  22. [22]

    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)

    2026

  23. [23]

    The Annals of Probability, 404–468 (2017)

    Kang, W., Ramanan, K.: On the submartingale problem for reflected diffusions in domains with piecewise smooth boundaries. The Annals of Probability, 404–468 (2017)

    2017

  24. [24]

    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)

    2018

  25. [25]

    Electronic Journal of Probability29, 1–21 (2024)

    Pilipenko, A., Sarantsev, A.: Boundary approximation for sticky jump-reflected processes on the half-line. Electronic Journal of Probability29, 1–21 (2024)

    2024

  26. [26]

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

    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. Electronic Research Archive34(6), 4248–4289 (2026) 18

    2026

  27. [27]

    Stochastic Processes and their Applications162, 547–592 (2023)

    Dianetti, J., Ferrari, G.: Multidimensional singular control and related sko- rokhod problem: Sufficient conditions for the characterization of optimal controls. Stochastic Processes and their Applications162, 547–592 (2023)

    2023

  28. [28]

    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)

    1981

  29. [29]

    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)

    2026

  30. [30]

    Communications on pure and applied mathematics38(4), 405–443 (1985)

    Varadhan, S.R., Williams, R.J.: Brownian motion in a wedge with oblique reflection. Communications on pure and applied mathematics38(4), 405–443 (1985)

    1985

  31. [31]

    Probability Theory and Related Fields77(1), 87–97 (1988)

    Reiman, M.I., Williams, R.J.: A boundary property of semimartingale reflecting brownian motions. Probability Theory and Related Fields77(1), 87–97 (1988)

    1988

  32. [32]

    Probability Theory and Related Fields96(3), 283–317 (1993)

    Taylor, L.M., Williams, R.J.: Existence and uniqueness of semimartingale reflect- ing brownian motions in an orthant. Probability Theory and Related Fields96(3), 283–317 (1993)

    1993

  33. [33]

    Stochastic networks (1995)

    Williams, R.J.: Semimartingale reflecting brownian motions in the orthant. Stochastic networks (1995)

    1995

  34. [34]

    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)

    2026

  35. [35]

    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)

    1992

  36. [36]

    Duke Mathematical Journal52(4), 793 (1985)

    Lions, P.-L.: Neumann type boundary conditions for hamilton-jacobi equations. Duke Mathematical Journal52(4), 793 (1985)

    1985

  37. [37]

    Barles, G.: Solutions de Viscosit´ e des ´Equations de Hamilton-Jacobi vol. 17. Springer (1994)

    1994

  38. [38]

    Duke Mathematical Journal62(3), 633–661 (1991)

    Ishii, H.: Fully nonlinear oblique derivative problems for nonlinear second-order elliptic pde’s. Duke Mathematical Journal62(3), 633–661 (1991)

    1991

  39. [39]

    SIAM Journal on Control and Optimization24(3), 552–561 (1986)

    Soner, H.M.: Optimal control with state-space constraint i. SIAM Journal on Control and Optimization24(3), 552–561 (1986)

    1986

  40. [40]

    Springer (2013)

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

    2013

  41. [41]

    springer 19 (2014)

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

    2014

  42. [42]

    In: Stochastic Integration and Differential Equations, pp

    Protter, P.E.: Stochastic differential equations. In: Stochastic Integration and Differential Equations, pp. 249–361. Springer (2012)

    2012

  43. [43]

    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)

    2026

  44. [44]

    Journal of Theoretical Probability18(3), 499–535 (2005)

    Peskir, G.: A change-of-variable formula with local time on curves. Journal of Theoretical Probability18(3), 499–535 (2005)

    2005

  45. [45]

    Revuz, D.: Mesures associ´ ees aux fonctionnelles additives de markov. i. Transac- tions of the American Mathematical Society148(2), 501–531 (1970)

    1970

  46. [46]

    Courier Corporation (2007)

    Blumenthal, R.M., Getoor, R.K.: Markov Processes and Potential Theory. Courier Corporation (2007)

    2007

  47. [47]

    In: Markov Processes: Volume 1, pp

    Markov processes. In: Markov Processes: Volume 1, pp. 77–104. Springer

  48. [48]

    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)

    2025

  49. [49]

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

    2011

  50. [50]

    Marcus, M.B., Rosen, J.: Markov Processes, Gaussian Processes, and Local Times vol. 100. Cambridge University Press (2006)

    2006

  51. [51]

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

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

    1997

  52. [52]

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

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

    1999

  53. [53]

    Stochastic processes and their applications107(2), 173–212 (2003)

    Dayanik, S., Karatzas, I.: On the optimal stopping problem for one-dimensional diffusions. Stochastic processes and their applications107(2), 173–212 (2003)

    2003

  54. [54]

    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

    2022

  55. [55]

    Annals of Applied Probability30(3), 1007–1031 (2020)

    De Angelis, T., Peskir, G.: Global c 1regularity of the value function in optimal stopping problems. Annals of Applied Probability30(3), 1007–1031 (2020)

    2020

  56. [56]

    Communications on Pure and Applied Mathematics: A Journal Issued by the Courant Institute of Mathematical Sciences62(7), 969–994 (2009)

    Laurence, P., Salsa, S.: Regularity of the free boundary of an american option 20 on several assets. Communications on Pure and Applied Mathematics: A Journal Issued by the Courant Institute of Mathematical Sciences62(7), 969–994 (2009)

    2009

  57. [57]

    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)

    2026

  58. [58]

    Applied Mathematics & Optimization85(2), 3 (2022)

    Ke, T.T., Tang, W., Villas-Boas, J.M., Zhang, Y.P.: Parallel search for infor- mation in continuous time—optimal stopping and geometry of the pde. Applied Mathematics & Optimization85(2), 3 (2022)

    2022

  59. [59]

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

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

    2025