A Class of Solvable Multidimensional Stopping Problems in the Presence of Knightian Uncertainty

Luis H. R. Alvarez E.; S\"oren Christensen

arxiv: 1907.04046 · v1 · pith:VUV2EDUNnew · submitted 2019-07-09 · 🧮 math.PR · q-fin.MF

A Class of Solvable Multidimensional Stopping Problems in the Presence of Knightian Uncertainty

Luis H. R. Alvarez E. , S\"oren Christensen This is my paper

Pith reviewed 2026-05-25 00:21 UTC · model grok-4.3

classification 🧮 math.PR q-fin.MF

keywords optimal stoppingKnightian uncertaintyambiguity aversionmultidimensional Brownian motionexcessive functionssupermartingalesstationarity

0 comments

The pith

Knightian uncertainty leads decision makers to stop earlier and can induce stationarity in multidimensional stopping problems.

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

This paper studies optimal stopping problems where the decision maker faces Knightian uncertainty, meaning ambiguity about the probabilities governing the underlying factors. The factors follow a multidimensional Brownian motion, and the payoff depends on linear combinations or radial parts of these factors. The authors provide a characterization of the optimal value and worst-case measure using excessive functions that generate supermartingales. They find that ambiguity makes the decision maker exercise sooner than in the unambiguous case and can turn non-stationary models into stationary ones, acting as a stabilizing mechanism.

Core claim

We present a general characterization of the value of the optimal timing policy and the worst case measure in terms of a family of an explicitly identified excessive functions generating an appropriate class of supermartingales. In line with previous findings based on linear diffusions, ambiguity accelerates timing in comparison with the unambiguous setting. Somewhat surprisingly, ambiguity may result into stationarity in models which typically do not possess stationary behavior. In this way, our results indicate that ambiguity may act as a stabilizing mechanism.

What carries the argument

Family of explicitly identified excessive functions generating supermartingales that characterize the optimal value and the worst-case measure.

If this is right

Ambiguity accelerates the timing of optimal exercise compared to the unambiguous setting.
Ambiguity can introduce stationarity into models that lack it without ambiguity.
The characterization applies when payoffs depend on linear combinations or the radial part of the factors.
Ambiguity serves as a stabilizing mechanism in these stopping problems.

Where Pith is reading between the lines

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

The stabilizing effect of ambiguity could be tested by comparing observed exercise times in markets or organizations facing high ambiguity versus low ambiguity.
Similar acceleration and stationarity might appear in related control problems beyond stopping, such as singular control or impulse control under ambiguity.
Models that assume stationarity a priori might need re-examination when ambiguity is added, as it can generate the stationarity endogenously.

Load-bearing premise

The exercise payoff depends on either a linear combination of the factors or the radial part of the driving factor dynamics, with the underlying factor dynamics following a multidimensional Brownian motion.

What would settle it

Compute the optimal stopping time and boundary in a concrete two-dimensional Brownian motion example both with and without ambiguity, then check whether the ambiguous case shows strictly earlier exercise and the emergence of stationarity.

read the original abstract

We investigate the impact of Knightian uncertainty on the optimal timing policy of an ambiguity averse decision maker in the case where the underlying factor dynamics follow a multidimensional Brownian motion and the exercise payoff depends on either a linear combination of the factors or the radial part of the driving factor dynamics. We present a general characterization of the value of the optimal timing policy and the worst case measure in terms of a family of an explicitly identified excessive functions generating an appropriate class of supermartingales. In line with previous findings based on linear diffusions, we find that ambiguity accelerates timing in comparison with the unambiguous setting. Somewhat surprisingly, we find that ambiguity may result into stationarity in models which typically do not possess stationary behavior. In this way, our results indicate that ambiguity may act as a stabilizing mechanism.

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 gives an explicit excessive-function characterization for a narrow class of multidimensional Brownian stopping problems under ambiguity and shows ambiguity can force stationarity where the unambiguous problem has none.

read the letter

The punchline is that the work extends the linear-diffusion results to multidimensional Brownian motion, but only when the payoff is linear in the coordinates or depends only on the radial process. It supplies an explicit family of excessive functions that generate the supermartingales and identifies the worst-case measure inside that family. The comparison with the unambiguous case stays internal to the same payoff class, so the acceleration-of-timing claim and the stationarity observation rest on the construction itself rather than on fitted parameters or external assumptions.

Referee Report

0 major / 3 minor

Summary. The manuscript characterizes optimal stopping under Knightian uncertainty for multidimensional Brownian motion, where the payoff is either linear in the factors or depends only on the radial part. It supplies an explicit family of excessive functions that generate the relevant supermartingales and identifies the worst-case measure within that family. The central results are that ambiguity accelerates exercise relative to the unambiguous case and can induce stationarity in models that lack it without ambiguity.

Significance. The explicit, parameter-free construction of the excessive functions and the internal comparison to the unambiguous setting within the same payoff class constitute a clear technical contribution. The finding that ambiguity can act as a stabilizing mechanism is scoped precisely to the stated class of payoffs and dynamics and does not rely on external fitting or extrapolation. These features strengthen the paper's value for the literature on robust optimal stopping.

minor comments (3)

§2, Definition 2.3: the notation for the family of excessive functions is introduced without an immediate cross-reference to the explicit construction given later in §4; adding a forward pointer would improve readability.
Figure 1: the caption does not state the parameter values used for the radial-process example, making it difficult to reproduce the plotted boundaries without consulting the text.
Theorem 3.2: the statement that the value function is the pointwise infimum over the family could be accompanied by a one-sentence reminder of why the infimum is attained inside the family, even if the proof is standard.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the clear summary of its contributions, and the recommendation for minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper characterizes optimal stopping under Knightian uncertainty for a restricted class of payoffs (linear in factors or radial) driven by multidimensional Brownian motion. It supplies an explicit family of excessive functions generating supermartingales and identifies the worst-case measure inside that family. The comparison to the unambiguous case is internal to the same payoff class and relies on standard properties of excessive functions rather than fitted parameters, self-referential definitions, or load-bearing self-citations that reduce the central claims to inputs by construction. No step equates a derived quantity to a fitted input or renames an ansatz as a theorem.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, axioms, or invented entities; the characterization is described at the level of excessive functions and supermartingales without further decomposition.

pith-pipeline@v0.9.0 · 5665 in / 1042 out tokens · 25685 ms · 2026-05-25T00:21:04.125955+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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

ambiguity may result into stationarity in models which typically do not possess stationary behavior... ambiguity may act as a stabilizing mechanism
IndisputableMonolith/Foundation/DimensionForcing.lean alexander_duality_circle_linking unclear

?

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

worst case density generator θ^*_t = κ ∇u(X_t)/||∇u(X_t)||; controlled process dY_t = -κ||a|| sgn(Y_t-c) dt + ... has stationary Laplace distribution

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.