{"id":"607980c2-3761-494c-ae0e-4e68fbc3204b","arxiv_id":"2607.16874","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The killed Dirichlet heat semigroup is Lipschitz in W_{b,1}, exactly 1/p-Hölder on mass sublevels in W_{b,p} for p>1, and discontinuous at zero, which obstructs EVI_λ realizations in W_{b,2}.","lead":"This paper proves that the killed Dirichlet heat flow has exactly 1/p-Hölder regularity in the Figalli–Gigli boundary-reservoir transport metric for p>1, Lipschitz regularity for p=1, and fails continuity at the zero measure on the full space. It also rules out any standard EVI-gradient-flow realization of the constant-boundary Dirichlet heat flow in the quadratic metric.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Definition 2.2 is internally inconsistent: plans on Ω×Ω cannot move mass to the boundary, so W_{b,p} is not the boundary-reservoir metric and the main theorem is ill-posed as stated.","rationale":"The paper's PDE and metric arguments are internally coherent once the intended boundary-reservoir admissible class is restored: the p=1 endpoint follows from the Kantorovich–Rubinstein dual formula combined with positive-time gradient estimates; the p>1 upper bound follows from the p=1 estimate and the two elementary comparison inequalities; the lower bound is a standard Hopf/boundary-layer amplification argument whose Appendix A proof is careful and essentially correct. The reader identified the Definition 2.2 problem in the rationale but chose Lemma 3.5 as the weakest assumption. I regard Lemma 3.5 as well-supported: it relies on standard global W^{2,1}_r regularity and the parabolic Hopf lemma, and the proof checks the signs correctly. The genuinely load-bearing flaw is Definition 2.2, because under that definition W_{b,p} is not the boundary-reservoir metric, unequal-mass comparisons are undefined, and every main theorem is either false or not well-posed. Since the fix is a single domain change with the marginals tested on Ω, and all later proofs already use the corrected interpretation, the appropriate disposition remains CONDITIONAL rather than REJECT. My agreement with the reader is partial: they spotted the issue but did not make it the weakest assumption, and I would elevate it to the primary blocker.","tokens_in":31104,"tokens_out":24034,"duration_ms":230304,"concrete_test":"Take Ω=(0,1), μ=δ_{1/2}, ν=0, p=2. Under Definition 2.2 literally, Adm(μ,0)=∅ and W_{b,2}(μ,0)=+∞, contradicting Lemma 2.3 and Lemma 2.6. Then re-state Definition 2.2 on Ω̄×Ω̄ with marginals tested only on Ω, and recompute the proof chain Lemma 2.3 → Lemma 2.6 → Proposition 3.6 → Theorem 1.1 in this setting. If all inequalities hold verbatim, the defect is a one-line formal typo and CONDITIONAL remains appropriate; if any step fails, the theorem must be restated before the claimed results are meaningful.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Definition 2.2 takes admissible plans to be finite Borel measures on Ω×Ω with marginals equal to μ,ν on Borel subsets of Ω. If ν=0, the second marginal condition forces γ(Ω×Ω)=0, hence γ=0, so Adm(μ,0)=∅ for every nonzero μ. Consequently Lemma 2.6's formula W_{b,p}(μ,0)^p=∫δ^p dμ is false under the stated definition, and Lemma 2.3's construction using a point b0∈∂Ω is not a plan on Ω×Ω at all. This is not cosmetic: every main conclusion — the 1/p-Hölder upper bound, optimality, discontinuity at zero, and the EVI_λ obstruction in Section 6 — uses the boundary-reservoir distance to zero or plans that put mass on ∂Ω. As written, Theorem 1.1 is not a theorem about the metric defined in Definition 2.2. The intended correction is unambiguous and appears throughout the proofs: admissible plans should be finite nonnegative measures on Ω̄×Ω̄ whose marginals agree with μ and ν on Borel subsets of the open set Ω (boundary mass being free). With that correction, Lemmas 2.3, 2.6, 2.8, Appendix B, and the rest of the chain are consistent.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the fixed-time regularity of the killed Dirichlet heat semigroup P_t on the space of finite nonnegative measures over a bounded C^2 domain Ω, equipped with the Figalli–Gigli boundary-reservoir transport distances W_{b,p}. Theorem 1.1 claims: (i) P_t is globally Lipschitz for W_{b,1}; (ii) for p>1, on each mass sublevel M_{≤m}, W_{b,p}(P_tμ,P_tν)^p ≤ C W_{b,p}(μ,ν), i.e. 1/p-Hölder continuity; (iii) the exponent 1/p is optimal in the power scale; (iv) on the full finite-measure space P_t is discontinuous at the zero measure. The proof combines metric comparison between W_{b,1} and W_{b,p}, a Kantorovich–Rubinstein duality for W_{b,1}, a positive-time global gradient estimate for the Dirichlet semigroup, and a parabolic Hopf-type linear lower bound near the boundary. Lower-bound witnesses are single-mass packets placed at distance ε from ∂Ω: their input distance to zero is O(ε), while after positive time the p-th boundary moment is ≥ cε. Section 5 extends the lower-bound obstruction to uniformly elliptic operators, and Section 6 applies the p=2 case to exclude any standard finite-λ EVI_λ semigroup whose domain contains the affine constant-boundary data class X_c and which restricts to the affine Dirichlet heat flow.","tokens_in":31348,"tokens_out":19197,"duration_ms":173769,"significance":"If the theorem is accepted after the necessary correction to Definition 2.2, the paper settles the fixed-time modulus question for Dirichlet heat flow in the boundary-reservoir metric family. The p=1 endpoint is clean and uses only the shortcut/Kantorovich–Rubinstein representation; the p>1 upper bound is a short and transparent consequence of the p=1 estimate plus mass-sublevel comparison. The lower-bound strategy—Hopf amplification of boundary layers—is explicit, with no fitted parameters, and yields quantitative witnesses for sharpness, infinite Lipschitz constants, and discontinuity at zero. The EVI_λ obstruction in the quadratic case is a credible answer to a question in the Ambrosio–Gigli user's guide and clarifies that the original finite-measure W_{b,2} metric cannot support a standard EVI realization containing the affine constant-boundary flow. The main caveat is that the present statement of W_{b,p} in Definition 2.2 is not the metric actually used in the proofs; once that is repaired, the chain is coherent.","major_comments":[{"comment":"Definition 2.2 takes admissible plans to be finite Borel measures on Ω×Ω whose marginals equal μ and ν on Borel sets E⊂Ω. Under this definition no plan can charge ∂Ω: if ν=0, Adm(μ,0)=∅ for μ≠0, and the formula W_{b,p}(μ,0)^p=∫δ^p dμ in Lemma 2.6 is false. The construction in Lemma 2.3, γ=(Id,b0)#μ+(b0,Id)#ν with b0∈∂Ω, is not a measure on Ω×Ω. Lemmas 2.6, 2.3, Remark 2.4, Lemma 2.8, Appendix B, and the sharpness witnesses all require plans with boundary mass, so Theorem 1.1 as stated is not a theorem about the metric of Definition 2.2. The intended correction is unambiguous: take plans on Ω̄×Ω̄ with (π1)#γ|_Ω=μ and (π2)#γ|_Ω=ν (boundary mass free). Please correct Definition 2.2 and adjust the statements that quote it.","section":"Definition 2.2; Lemmas 2.3, 2.6; throughout"},{"comment":"Lemma 3.5 assumes A,b,q∈C∞(Ω), but the proof and Lemma 4.4 rely on global W^{2,1}_r and Hopf estimates that require the coefficients to be bounded (and sufficiently regular) up to ∂Ω; C∞ on the open set does not imply boundedness near the boundary, and the proof uses ∥b∥∞ and ∥q∥∞. This does not affect the Laplacian endpoint, but it underpins the uniformly elliptic extension in Proposition 5.3 and Theorems 5.4–5.5. Please add explicit smoothness-up-to-boundary/boundedness hypotheses for A,b,q in Lemma 3.5 and Section 5.","section":"Lemma 3.5 and Section 5"}],"minor_comments":[{"comment":"After the definitional correction, the sentence 'γ(Ω×Ω)=0' should read 'γ(Ω̄×Ω)=0'; the current wording is false even in the intended boundary-reservoir metric.","section":"Lemma 2.6 proof"},{"comment":"In the displayed ratio, '(P_t^L (muε0))dx' should be '(P_t^L (m u_ε^0))dx'.","section":"Theorem 5.4"},{"comment":"'forcequal to the entropy-selected boundary constant' should read 'for c equal to the entropy-selected boundary constant'.","section":"Corollary 6.5 proof"},{"comment":"The parabolic domain is denoted 'P F' in the barrier argument, which is easily confused with the semigroup P_t; consider renaming it (e.g. Q or D).","section":"Appendix A"}],"recommendation":"major_revision","confidential_remarks":"The Definition 2.2 problem is almost certainly a definitional slip rather than a deep flaw, because every later argument uses the boundary-reservoir interpretation. I would recommend asking the authors to fix it and to state the corrected definition verbatim; after that, the main theorems appear mathematically sound. The uniformly elliptic section also needs a small strengthening of its hypotheses. The paper makes a genuine contribution and is a good fit for the journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things up front. The main theorem is genuinely new and essentially correct: for the killed Dirichlet heat semigroup on a bounded C^2 domain, the fixed-time map is Lipschitz in W_{b,1}, 1/p-Hölder on mass sublevels for p>1, and discontinuous at zero on the full finite-measure space; the 1/p exponent is optimal. The mechanism is the boundary-layer amplification: a unit packet at distance ε has W_{b,p} distance O(ε) from zero, but after positive time the Hopf-type lower bound gives boundary p-moment of order ε, hence W_{b,p} distance of order ε^{1/p}. That is a real insight, and the proof is careful.\n\nThe second thing is a real flaw in the written definition. Definition 2.2 puts admissible plans on Ω×Ω, with both marginals entirely on Ω. That is not the boundary-reservoir metric. Under that definition, for any nonzero μ the set Adm(μ,0) is empty, so Lemma 2.6's formula W_{b,p}(μ,0)^p = ∫ δ^p dμ is false; Lemma 2.3's construction even places mass at a boundary point b_0, which is outside Ω×Ω. The stress-test note describes this exactly. The intended correction is unambiguous: plans should live on Ω̄×Ω̄, with marginals equal to μ and ν on Borel subsets of Ω. Boundary mass is free. With that change, Lemma 2.6, the comparison lemmas, the duality statement, and the boundary-layer witnesses are all consistent. So this is a fixable definitional slip, not a hole in the mathematics.\n\nCredit where due: the p=1 endpoint uses the collapsed-boundary Kantorovich–Rubinstein duality plus a fixed-time parabolic gradient estimate; the comparison to p>1 is a short chain; the lower-bound witnesses in Proposition 3.6 are explicit; and Appendix A really proves the Hopf-type lower bound with the regularity details. The uniformly elliptic extension in Section 5 and the EVI obstruction in Section 6 are honest consequences, not afterthoughts. I do not see fitted parameters or circular dependencies.\n\nBeyond the definition, the soft spots are minor. The C^2 assumption is explicit and is needed for the Hopf lower bound; on rougher domains the sharpness argument may fail. The exposition is dense but not misleading.\n\nThis paper is for researchers working in optimal transport with boundary reservoirs, Dirichlet gradient flows, or metric-pair transport. It deserves a serious referee. Send it to review, with a request to fix Definition 2.2 (and re-check the statements that depend on it) before acceptance.","headline":"A genuinely new sharp Hölder-modulus theorem for the killed heat flow in boundary-reservoir metrics, with a solid proof and one load-bearing definitional error that must be corrected before acceptance.","tokens_in":31945,"tokens_out":4664,"would_cite":true,"duration_ms":45089,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35K05","35K20","47D07","49Q22","35B65"],"pacs":[],"model":"deepseek-v4-flash","headline":"The killed Dirichlet heat semigroup is exactly 1/p-Hölder in boundary-reservoir transport distances for every p>1, with the exponent optimal among power moduli.","keywords":["Dirichlet heat semigroup","boundary-reservoir transport distance","Hölder modulus","boundary amplification","Hopf lemma","Kantorovich-Rubinstein duality","EVI semigroup","mass sublevel"],"falsifier":"On a domain with a corner, such as the square (0,1)^2 (which is not C^2), place a unit-mass packet at distance ε from a corner, run the killed heat semigroup for a fixed time t>0, and measure the p-th boundary moment of the solution. If that moment decays faster than linearly in ε—so the lower bound is not ε but ε^q with q>1—then the ratio W_{b,p}(P_t μ_ε,0)/W_{b,p}(μ_ε,0)^α would remain bounded for some α>1/p, contradicting the claimed sharp exponent. Equivalently, on a C^2 domain one can directly compute this ratio for a sequence of packets approaching the boundary; the paper asserts it dive","tokens_in":30894,"feed_emoji":"🔥","tokens_out":7066,"duration_ms":62707,"temperature":0.7,"pith_summary":"At a fixed positive time, the paper asks how the heat semigroup with zero Dirichlet boundary condition distorts the boundary-reservoir transport distances W_{b,p} on finite measures. It proves that at p=1 the semigroup is globally Lipschitz; for every p>1, on each total-mass sublevel it is exactly 1/p-Hölder, and no better power modulus exists. On the full finite-measure space, the map is discontinuous at the zero measure. The quadratic case p=2 then inherits an obstruction: no standard finite-lambda EVI_lambda gradient-flow semigroup on a W_{b,2}-metric domain can contain the affine constant-boundary heat flow. The mechanism is boundary-layer amplification: a packet initially at distance ε from the boundary has W_{b,p}-distance O(ε) from zero, but after any positive time its p-th boundary moment is at least cε.","feed_headline":"Heat flow's sharp modulus in boundary-reservoir metrics is 1/p-Hölder","feed_subtitle":"At p=1 the flow is Lipschitz; for p>1 the exponent is optimal and the full space is discontinuous at zero.","key_machinery":"The argument rests on two tools. A dual representation of W_{b,1} over boundary-vanishing Lipschitz test functions, combined with a fixed-time gradient estimate for the Dirichlet heat semigroup, yields the global Lipschitz bound at p=1. For p>1, a Hopf-type linear lower bound (Lemma 3.5) shows that the positive-time solution of the homogeneous Dirichlet problem with nonnegative nonzero initial data is bounded below by a positive constant times the distance to the boundary in a collar. This converts an initial boundary p-moment of order ε^p into a positive-time boundary p-moment of order ε, forcing the sharp 1/p-Hölder exponent, the discontinuity at zero, and the EVI obstruction.","core_discovery":"The central claim is that for every fixed t>0, the killed Dirichlet heat semigroup P_t is globally Lipschitz with respect to W_{b,1}, and for every p>1 and m>0 there is a constant C_{t,p,m,Ω} such that W_{b,p}(P_t μ, P_t ν)^p ≤ C W_{b,p}(μ,ν) for all finite measures μ,ν with total mass at most m; equivalently, P_t is 1/p-Hölder on each mass sublevel. The exponent 1/p is sharp in the power-modulus scale: for any α>1/p the ratio W_{b,p}(P_t μ, P_t ν)/W_{b,p}(μ,ν)^α is unbounded. On the full finite-measure space, P_t is discontinuous at zero for every p>1. As a corollary in the quadratic case p=2, no standard finite-λ EVI_λ semigroup on a W_{b,2} metric domain can both contain the affine consta","pith_inferences":["If the Hopf-type linear lower bound is the true driver, the sharp 1/p exponent should appear for any parabolic flow that amplifies boundary layers linearly, suggesting the result is generic beyond the Laplacian and divergence-form operators.","The discontinuity at zero indicates a fundamental incompatibility between the boundary-reservoir topology and unbounded mass concentrated in thin boundary layers; a modified metric that weights boundary-layer mass differently might restore continuity at zero.","The EVI obstruction suggests that gradient-flow formulations of Dirichlet problems with a boundary reservoir must either restrict to mass-bounded sets, alter the metric, or abandon the standard finite-λ EVI framework.","The C^2 boundary assumption is likely essential: on domains with corners (e.g., a square, which is C^{1,1} but not C^2), the linear lower bound may fail and the exponent could change; computing the p-th boundary moment of a packet near a corner would reveal whether 1/p remains sharp."],"forward_implications":["For p=1, the semigroup has a finite global Lipschitz constant on all finite measures, with no convexity or curvature assumptions on the domain.","For every p>1, on each total-mass sublevel the map is 1/p-Hölder, and this is the best possible power modulus: any exponent larger than 1/p fails.","On the full finite-measure space, P_t is discontinuous at the zero measure for every p>1, so any fixed-time regularity statement must restrict the total mass.","In the quadratic case p=2, the affine constant-boundary Dirichlet heat flow cannot be realised as the restriction of a standard finite-λ EVI_λ gradient-flow semigroup on a W_{b,2}-metric domain.","The same boundary-layer amplification applies to smooth uniformly elliptic operators, yielding infinite W_{b,p}-Lipschitz constant and discontinuity at zero for the density-induced maps.","A forward nondecreasing orientation of the Ambrosio–Gigli open problem in the quadratic metric fails already for smooth data."],"fun_headline_variants":["Optimal 1/p-Hölder modulus for Dirichlet heat flow","Killed heat semigroup: sharp 1/p-Hölder in boundary metrics","Heat flow in boundary-reservoir: exponent 1/p is best possible","Boundary-reservoir heat flow: optimal modulus is 1/p-Hölder"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is the Hopf-type linear lower bound (Lemma 3.5): at a fixed positive time, a nonnegative nonzero solution of the homogeneous Dirichlet problem is bounded below by a positive constant times the distance to the boundary in a boundary collar; this requires a C^2 boundary (interior ball condition) and parabolic smoothing up to the boundary, and if it fails the sharpness, discontinuity, and EVI-obstruction conclusions collapse.","fun_headline_variants_meta":{"raw":{"variants":["Optimal 1/p-Hölder modulus for Dirichlet heat flow","Killed heat semigroup: sharp 1/p-Hölder in boundary metrics","Heat flow in boundary-reservoir: exponent 1/p is best possible","Boundary-reservoir heat flow: optimal modulus is 1/p-Hölder"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000336,"raw_usage":{"total_tokens":1817,"prompt_tokens":980,"completion_tokens":837,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":724,"completion_tokens_details":{"reasoning_tokens":752}},"tokens_in":724,"tokens_out":837,"duration_ms":7940,"temperature":1.0,"reasoning_tokens":752,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T19:42:05.681969+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"On a domain with a corner, such as the square (0,1)^2 (which is not C^2), place a unit-mass packet at distance ε from a corner, run the killed heat semigroup for a fixed time t>0, and measure the p-th boundary moment of the solution. If that moment decays faster than linearly in ε—so the lower bound is not ε but ε^q with q>1—then the ratio W_{b,p}(P_t μ_ε,0)/W_{b,p}(μ_ε,0)^α would remain bounded for some α>1/p, contradicting the claimed sharp exponent. Equivalently, on a C^2 domain one can directly compute this ratio for a sequence of packets approaching the boundary; the paper asserts it dive","supporting_citations":[],"review_version":1}