{"id":"879ca298-540c-41e8-8466-08527fc3e8ac","arxiv_id":"1908.07559","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper constructs intertwining duals and Lambda-linked couplings for n-dimensional characteristic diffusions, recovering the one-dimensional Pitman 2M-W theorem as a special case.","lead":"A math paper builds a general coupling between a drifting Brownian motion and a dual process that preserves an interval-duality function, using Skorohod equations and moving surfaces. It extends the classical Pitman 2M-W theorem to multidimensional characteristic diffusions and sketches a Monte Carlo sampling scheme.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 7.12 asserts 'Having verified (c)' but condition (c) of Proposition 3.5—Markovianity of (Ψ*_t(x*,X), X(t))—is never proved; this is the load-bearing gap in the central Λ-linked claim.","rationale":"The paper's strongest contribution is the construction of a Λ-linked dynamical system for multidimensional characteristic diffusions, recovering Rogers–Pitman in dimension 1. I read the proof of Proposition 7.12 carefully. Condition (a) is argued by the two cases in the proof; condition (b) is plausibly derived from Proposition 7.11 and Corollary 6.4. Condition (c), however, is only asserted. The sentence 'Having verified (c)' carries the entire Markovianity burden, and no verification follows. Since Definition 3.2 and Theorem 3.3 require V_t to be a Markov semigroup, not merely a family of transition kernels satisfying (3.1), the absence of (c) leaves the central claim formally incomplete. The reader's weakest assumption also flags Definition 5.1's universal Lipschitz constants; that is a real concern, and Remark 8.5(b) confirms it is not generally available, but it is a hypothesis of the framework rather than a step asserted as verified. The unproved condition (c) is more directly load-bearing because it is explicitly listed among the hypotheses of Proposition 3.5 and is not shown even in the examples. The proposed concrete test—a direct generator or semigroup computation in the nontrivial 2D example—would settle whether (c) is true in the intended setting. If it fails, the theorem should be restricted to cases where Markovianity can be verified; if it passes, the paper still needs to state and prove the general lemma. I therefore keep the reader's CONDITIONAL verdict unchanged.","tokens_in":32584,"tokens_out":6490,"duration_ms":269070,"concrete_test":"Check condition (c) for the simplest genuine n=2 case, Example 5.3/6.8 (ν(x)=e^{-2x1x2}, β=(x2,x1)). Explicitly compute the generator of the pair ((U(t),Z(t),Y(t)),X(t)) on D*_+ × R^2, using the explicit forms U(t)=[sinh(θ+t), cosh(θ+t)] and the Skorohod-coupled SDEs for Z and Y. If the generator coefficients depend only on the current value of (U,Z,Y,X) and the martingale problem is well-posed, (c) holds in this example; if any coefficient depends on X(0) or on the pre-t path through \\tilde Θ_{y*,t}, (c) fails and Proposition 7.12 is unproved. Alternatively, verify the semigroup identity V_{s+t}=V_s V_t on bounded continuous test functions for this example. Repeat the same check for Example 5.4 with θ=π/2; if both pass, the missing step is at least plausible, but it still needs an explicit argument in the paper.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 7.12 is the central claim, and its proof ends with 'Having verified (c), we can apply Proposition 3.5.' Condition (c) of Proposition 3.5 requires that (Ψ*_t((z*,y*),X), X(t)) be Markovian whenever X(t) is Markovian. This is not a minor regularity hypothesis: it is the condition that makes V_t g(x*,x) = E_{P_x}[g(Ψ*_t(x*,X), X(t))] a Markov semigroup on E, hence it is prerequisite for the pair process of Definition 3.2/Theorem 3.3 to be a genuine Λ-linked coupling. The construction inserts the entire imputed Skorohod-reflected path \\tilde Θ_{y*,t}(X) into Ξ*_t, so the pair at time t depends on the full path X[0,t], not just X(t). No generator computation, semigroup identity, or cocycle argument for this pair is supplied anywhere, including in Section 7.3. The gap is not repaired by the F1/Lipschitz verification in Examples 5.2–5.4: those examples establish only that the reflecting surface is well behaved, not that the composed dynamical system has the Markov property. Remark 8.5(b) concedes that F1-invariance can fail in general, but the missing proof of (c) is the more direct obstruction even in the examples.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a criterion for when a dynamical system driven by a Markov process is itself Markovian (Proposition 3.5), and uses it to construct intertwining duals and Λ-linked couplings for n-dimensional drifting Brownian motions with gradient drift (characteristic diffusions). The construction proceeds via forward and backward Skorohod flows associated with hypographical surfaces, with the main result Proposition 7.12 asserting that a dynamical system built from the Liggett dual is Λ-linked. The one-dimensional case is shown to recover the Rogers-Pitman extension of Pitman's 2M−W theorem. The paper also discusses several examples and a possible Monte Carlo application.","tokens_in":32860,"tokens_out":4843,"duration_ms":44405,"significance":"If the missing verification in Proposition 7.12 were supplied, the paper would make a substantial contribution: it gives a pathwise, flow-based realization of Λ-linked coupling, connects Liggett duality with intertwining duality via Doob h-transforms, and yields distributional invariance of Skorohod flows (Corollaries 6.3 and 7.10) that is of independent interest. The constructions are explicit and parameter-free, and the one-dimensional recovery of Rogers-Pitman is attractive. However, the central claim is currently not fully supported because condition (c) of Proposition 3.5 is asserted without proof, and the F1-invariance assumption used throughout is verified only for the examples.","major_comments":[{"comment":"The proof of Proposition 7.12 states 'Having verified (c), we can apply Proposition 3.5', but condition (c) of Proposition 3.5—the Markovianity of (Ψ∗t(x∗,X),X(t)) for Markovian X(t)—is never proved. This is not a minor regularity point: condition (c) is what makes V_t g(x∗,x)=E_{P_x}[g(Ψ∗t(x∗,X),X(t))] a Markov semigroup on E, and hence prerequisite for the constructed pair process to be a genuine Λ-linked coupling. The construction inserts the entire imputed path Θ̃_{y∗,t}(X) into Ξ∗t, so the pair at time t can depend on the full path X[0,t]; without a generator computation, semigroup identity, or cocycle argument for the pair, the claim is unsupported.","section":"§7.3, Proposition 7.12"},{"comment":"Definition 5.1 assumes a universal finite Lipschitz constant K_{∂Y∗} for the surfaces {∂Y∗(t,·)}_{0≤t≤T} independent of the driving path, and Lemma 6.1, Lemma 7.8, and Propositions 6.2 and 7.9 all rely on this constant being finite. The verification is carried out only for Examples 5.2–5.4, and Remark 8.5(b) explicitly states that the F1-invariance property need not hold in general (e.g., when the input vectors span R^n). The abstract's claim that the construction applies to an n-dimensional drifting Brownian motion 'when it is a characteristic diffusion' is therefore broader than what the manuscript proves; the main theorem should be stated conditionally on F1-invariance, with the concrete examples presented as the verified applications.","section":"§5.1, Definition 5.1 and §8, Remark 8.5(b)"}],"minor_comments":[{"comment":"The same notation ∂x∗(·) is used for the hypographic surface and for the Lipschitz function defining it; an explicit symbol such as h_{x∗} would improve readability.","section":"§5, p. 15"},{"comment":"The hypothesis of Lemma 7.5 refers to 'the last update ... before t_k'; since t_k is a grid point, the statement would be clearer phrased in terms of the interval (t_{j−1},t_j] containing the update.","section":"§7.1, Lemma 7.5"},{"comment":"In the proof of Theorem 1.1, the phrase 'The case for x > (z+y)/2 + μT is similarly completed' could be expanded by one line; the case split is not entirely symmetric because the roles of Z and Y swap.","section":"§1.1, Theorem 1.1"}],"recommendation":"major_revision","confidential_remarks":"The decisive issue for acceptance is whether the author can supply a proof of condition (c) in Proposition 7.12 for the examples, especially Example 5.2 leading to Rogers-Pitman. If that proof is available and included, the paper would likely be suitable for publication. The current version should not be accepted because the central claim is explicitly asserted at a point where the key hypothesis is unverified."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First, the useful thing: the paper gives a general framework for constructing Λ-linked couplings and intertwining duals via Liggett duality and Skorohod flows, and works out several nontrivial examples. The one-dimensional special case recovers the Rogers–Pitman 2M–W theorem cleanly, and the Bessel process connection in Section 8.1 is nice. The question of when a dynamical system driven by a Markov process is itself Markovian is a good question, and Proposition 3.5 is a reasonable criterion.\n\nNow the soft spot, and it is real: the central claim, Proposition 7.12, is not proved. The proof ends with 'Having verified (c), we can apply Proposition 3.5,' but condition (c) — that the pair (Ψ*t(x*,X), X(t)) is Markovian — is never verified anywhere, including in Section 7.3. This is not a minor regularity detail: it is exactly what makes V_t a Markov semigroup and the whole Λ-linked coupling work. The F1-invariance and the uniform Lipschitz constant K_dY* from Definition 5.1 are also load-bearing, and they are only checked for Examples 5.2–5.4; Remark 8.5(b) concedes the property can fail in general. So the paper's broad statement — for n-dimensional characteristic diffusions — is conditional on hypotheses that are stated but not established.\n\nThat said, the examples and the one-dimensional theory are solid. The Skorohod equation approach is carefully developed, the lemmas in Sections 5 and 6 are proved in detail, and the paper is transparent about where the difficulty lies. The missing proof is a genuine gap, not a dressed-up setting. A serious referee would have to decide whether condition (c) can be proven under the stated assumptions, or whether additional hypotheses are needed.\n\nWho is this for? Specialists in Markov duality, Pitman-type theorems, and coupling techniques. They will get value from the framework and the examples, even if the main theorem is not yet fully supported.\n\nMy recommendation: send it to peer review. The paper deserves referee time, but the decision should be major revision, with the proof of (c) supplied and the F1-invariance assumption either proved more generally or weakened. If the gap closes, this is a publishable contribution.","headline":"A useful framework for Λ-linked couplings, but the central theorem is unproved: condition (c) of Proposition 3.5 is asserted, not verified.","tokens_in":33388,"tokens_out":2421,"would_cite":false,"duration_ms":23473,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60J60","60J65","60J25","60H10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper establishes that a dynamical system built from a forward Skorohod flow is Λ-linked for n-dimensional characteristic diffusions, giving a pathwise construction of intertwining duals that includes the one-dimensional 2M−W theorem…","keywords":["Λ-linked coupling","intertwining dual","Liggett duality","Skorohod equation","drifting Brownian motion","characteristic diffusion","2M-W theorem","hypographical surface"],"falsifier":"Run the construction for the logistic-regression example with full-rank predictors, as discussed near the end of the paper; if the inverse-image surface leaves the Lipschitz class on a positive-probability set of paths, or if the composed map fails the Markovianity condition, the general claim collapses. A simpler numerical check is to simulate the forward Skorohod flow in such a case and test whether its output is still Wiener-distributed.","tokens_in":32353,"feed_emoji":"🔀","tokens_out":8126,"duration_ms":79828,"temperature":0.7,"pith_summary":"The paper asks when a deterministic map applied to a Markov process produces a Markov process, and answers it in the positive for a large class of Brownian motions with drift. It develops two tools: a general way to build an intertwining dual from a duality-of-semigroups construction using a harmonic transform, and a pathwise realization of Λ-linked coupling as a dynamical system driven by a forward Skorohod flow. The main theorem shows this construction works for n-dimensional drifting Brownian motions that are characteristic diffusions, meaning the drift is the gradient of an invariant potential. As a special case in one dimension, it recovers the classical reflection result for Brownian motion known as the 2M−W theorem and its extension. A sympathetic reader should care because the construction is explicit and algorithmic, turning duality identities into sample-path maps.","feed_headline":"Brownian flow preserves Brownian law to build dual couplings","feed_subtitle":"For drifting Brownian motions with gradient drift, the flow yields couplings and recovers the classical reflection identity.","key_machinery":"The engine is the pair of forward and backward Skorohod flows built from equations of the form Y(t)=y+∫0t β(Y(u))du+ω(t)+L(t), with L increasing only on the contact set where the diffusion meets the upper boundary. The dual state is a pair of nested closed sets (Z∗(t),Y∗(t)), where Y∗(t)=Φt−1(y∗,ω′(t−·)) is an inverse image under the diffusion flow and the upper boundary ∂Y∗(t,·) is a Lipschitz hypographic surface. The forward Skorohod flow Θx,y∗,T(ω) imputes a new Brownian path from a given sample path, and inserting it into the dual dynamical system gives the Λ-linked map of Proposition 7.12. The link λ(x∗,x)=Γ(x∗,x)ν(x)/h(x∗), with Γ the indicator that x lies between the two dual closed sets and h harmonic for the dual, is what makes the composed semigroup intertwine.","core_discovery":"The paper's central claim is that for an n-dimensional drifting Brownian motion whose drift is the gradient of the logarithm of an invariant density (a characteristic diffusion), the full duality package can be made pathwise. A forward Skorohod flow maps the time-reversed sample path back to a Brownian path, preserving Wiener measure, and the same flow inserted into the set-valued dual produces a dynamical system that is Λ-linked between the diffusion and its intertwining dual. More precisely, Proposition 7.12 asserts that the dynamical system Ψ∗t((z∗,y∗),X)=Ξ∗t((z∗,y∗),Θ̃y∗,t(X)) is Λ-linked, with the forward flow preserving Wiener measure as stated in Proposition 7.11. In one dimension this yields the known extension of the 2M−W theorem, and in the coupled process the conditional law of X(t) given X∗(t)=(z,y) has density proportional to the invariant function on the interval (z,y].","pith_inferences":["The same Markovianity criterion may apply to Markov noises other than Wiener, such as stable or jump processes, as long as the set-valued inverse image satisfies the Lipschitz surface condition.","For non-characteristic drifts, the failure of the Lipschitz-surface condition identified in the paper suggests the Λ-linked coupling may not exist pathwise, but a weak or distributional version might still survive.","The connection between the dual process and Bessel-type time changes suggests that entrance-boundary behavior could be used to define infinite-dimensional analogues for stochastic evolutions with gradient drift.","A testable extension: replacing the hypographic surface update with its Euler approximation and measuring the distance between the approximate and exact forward flow should give convergence rates governed by the universal Lipschitz constant."],"forward_implications":["Every n-dimensional drifting Brownian motion whose drift is the gradient of an invariant density admits a pathwise Λ-linked coupling with its intertwining dual, so duality identities can be read off sample paths.","The forward Skorohod flow is a law-preserving transformation: feeding it a Brownian motion outputs a Brownian motion, so the same map can be reused for all time horizons.","In the coupled process, the conditional law of the forward diffusion given the dual state is explicit: proportional to the invariant function on the interval between the two dual coordinates.","The construction yields a Monte Carlo scheme that samples from a target posterior density by stopping the coupled process when a region is covered by the dual's upper surface but not its lower surface.","The one-dimensional case contains the classical extension of the 2M−W theorem, meaning the new machinery is a genuine generalization rather than an unrelated construction."],"supporting_citations":[{"why":"Supplies the Skorohod-reflection construction and the uniqueness lemma for Skorohod equations that the dual flow is built on.","marker":"[19]"},{"why":"Introduces the notion of Λ-linked coupling that the paper realizes pathwise.","marker":"[3]"},{"why":"Defines characteristic diffusions and the time-reversibility condition used throughout.","marker":"[8]"},{"why":"Provides the Markov-function criterion used to verify Markovianity and the one-dimensional result being extended.","marker":"[16]"},{"why":"Supplies the original one-dimensional reflection identity (2M−W) that the construction generalizes.","marker":"[15]"},{"why":"Gives the diffusion analogue of intertwining duality that motivates the construction.","marker":"[4]"},{"why":"Constructs intertwining duals via harmonic transforms and connects them to Bessel-type processes.","marker":"[12]"},{"why":"Introduces the duality relation between Markov semigroups used for the Liggett dual.","marker":"[10]"},{"why":"Provides the reflection principle and diffusion-process foundations underlying the proofs.","marker":"[17]"}],"fun_headline_variants":["Pathwise duality for drifting Brownian motion via Λ-links","Brownian flow preserves measure, builds Λ-linked duals","Λ-linked coupling recovers Pitman's reflection identity","Drifting Brownian motion gets pathwise dual coupling","Characteristic diffusions: flow keeps Wiener law, gives Λ-duality"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction assumes that for every driving Brownian path, the random upper-boundary surfaces stay in one fixed Lipschitz class with a single finite Lipschitz constant; the paper verifies this only for three special examples and explicitly notes it can fail.","fun_headline_variants_meta":{"raw":{"variants":["Pathwise duality for drifting Brownian motion via Λ-links","Brownian flow preserves measure, builds Λ-linked duals","Λ-linked coupling recovers Pitman's reflection identity","Drifting Brownian motion gets pathwise dual coupling","Characteristic diffusions: flow keeps Wiener law, gives Λ-duality"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000181,"raw_usage":{"total_tokens":1258,"prompt_tokens":846,"completion_tokens":412,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":462,"completion_tokens_details":{"reasoning_tokens":329}},"tokens_in":462,"tokens_out":412,"duration_ms":4547,"temperature":1.0,"reasoning_tokens":329,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:12:45.730349+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the construction for the logistic-regression example with full-rank predictors, as discussed near the end of the paper; if the inverse-image surface leaves the Lipschitz class on a positive-probability set of paths, or if the composed map fails the Markovianity condition, the general claim collapses. A simpler numerical check is to simulate the forward Skorohod flow in such a case and test whether its output is still Wiener-distributed.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Skorohod-reflection construction and the uniqueness lemma for Skorohod equations that the dual flow is built on."},{"cited_title":"Strong stationary t imes via a new form of duality","cited_arxiv_id":null,"evidence_quote":"Introduces the notion of Λ-linked coupling that the paper realizes pathwise."},{"cited_title":"Time-reversible diffusions","cited_arxiv_id":null,"evidence_quote":"Defines characteristic diffusions and the time-reversibility condition used throughout."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the Markov-function criterion used to verify Markovianity and the one-dimensional result being extended."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the original one-dimensional reflection identity (2M−W) that the construction generalizes."},{"cited_title":"Strong stationary d uality for diffusion processes","cited_arxiv_id":null,"evidence_quote":"Gives the diffusion analogue of intertwining duality that motivates the construction."},{"cited_title":"Strong stationary times for one-dimens ional diffusions","cited_arxiv_id":null,"evidence_quote":"Constructs intertwining duals via harmonic transforms and connects them to Bessel-type processes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the duality relation between Markov semigroups used for the Liggett dual."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the reflection principle and diffusion-process foundations underlying the proofs."}],"review_version":1}