{"id":"fcc3c7a7-7d58-4534-af07-a098b54dafa8","arxiv_id":"2607.10769","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Along the Wasserstein geodesic between κi-strongly log-concave measures, the Poincaré constant of μt satisfies √CP(μt) ≤ (1−t)/√κ0 + t/√κ1, with equality iff both endpoints share a curvature-saturating Gaussian factor.","lead":"The paper proves a sharp bound on the Poincaré constant of intermediate measures along the Wasserstein geodesic between two strongly log-concave measures. The bound depends only on endpoint curvatures and is attained by Gaussians, with equality characterized by a common Gaussian factor.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The manuscript’s strongest claim is sharp, optimal, and fully characterized. The only plausible soft spot is the passage from the smooth two-sided setting (Theorem 2.3) to general extended-valued potentials (Theorem 1.1). That passage is executed by a standard regularization that preserves the exact lower curvature bounds κi (Lemma 3.2), produces the two-sided Hessian sandwich needed for Caffarelli contraction and interior C2,γ estimates (Lemma 3.3), and yields W2-convergent geodesics on which continuous compactly supported test functions pass the inequality to the limit. The dual Hessian symmetries that make the vector Bochner identity non-negative at each endpoint separately are generated by a single scalar Poisson solution and do not require intermediate curvature; the density of the range of the transport-adapted operator is proved by a standard weak-elliptic argument (Lemma A.1). Equality analysis likewise closes cleanly via quantitative near-extremizer control (Lemma 4.1) and Gaussian integration by parts. Consequently the reader’s identified weakest assumption is already secured by the paper, correctness risk remains low, and the ACCEPT verdict needs no adjustment.","tokens_in":30529,"tokens_out":644,"duration_ms":9366,"concrete_test":"Independently re-derive the endpoint Bochner estimates of Proposition 2.2 for a single pair of isotropic Gaussians N(0,κ0−1I) and N(0,κ1−1I) without invoking the general density argument of the range of B; verify that the resulting interpolated field qt recovers exactly the known CP(μt)=((1−t)/√κ0+t/√κ1)2, confirming that the two-endpoint method saturates the constant already in the model case.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 1.1) and its equality case (Theorem 1.3) rest on a carefully controlled approximation (Section 3) that preserves exact curvature lower bounds κi while producing smooth two-sided Hessians to which the two-endpoint Poisson–Bochner argument (Proposition 2.2 and Theorem 2.3) applies. The regularization (Gaussian convolution + compensating dilation) is standard, the covariance control is supplied by the extended Brascamp–Lieb lemma (Lemma 3.1 / A.2), Caffarelli bounds give the required Hessian sandwich for the Brenier map (Lemma 3.3), and W2-stability of the geodesic plus continuous test functions pass the inequality to the limit. No hidden gap appears in the density argument for the Poisson range, the dual Hessian symmetries, or the simultaneous Gaussian rigidity. The reader’s weakest-assumption concern is therefore real but already closed by the paper’s own estimates.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper proves a sharp interpolation bound for the Poincaré constant along the quadratic Wasserstein geodesic between two strongly log-concave measures on R^n. If μ_i is κ_i-strongly log-concave (potentials allowed to be extended-valued) and (μ_t) is the Brenier displacement interpolation, then √C_P(μ_t) ≤ (1−t)/√κ_0 + t/√κ_1 for every t ∈ [0,1] and every C^∞_c test function (Theorem 1.1). The constant is optimal by explicit Gaussian examples. Equality at an interior time holds if and only if both endpoints split off Gaussian factors of variances κ_i^{−1} in a common direction (Theorem 1.3); the equality directions form the maximal common Gaussian subspace. As a special case the authors answer a question of Aishwarya–Rotem on odd functions between even endpoints. The argument is a two-endpoint Bochner method: a transport-adapted Poisson equation produces compatible fields at source and target; dual Hessian symmetries make the vector Bochner identity coercive separately at each endpoint; the resulting L^2 bounds are then affinely interpolated along the Brenier map. Regularization (Gaussian convolution + compensating dilation), Caffarelli bounds, and W_2 stability extend the smooth case to general extended-valued potentials. Applications include a finite-time (2,n)-distortion inequality for translation-reduced Gaussian entropy and a Gaussian Brunn–Minkowski inequality under a centroid condition.","tokens_in":30745,"tokens_out":885,"duration_ms":12388,"significance":"The result is a clean, sharp spectral interpolation theorem that converts endpoint curvature into a Poincaré bound along the entire geodesic without any intermediate Hessian lower bound. The two-endpoint Bochner method is a genuine methodological contribution: it separates the source and target estimates and only combines them at the final interpolation step, which is what yields the optimal coefficient and the simultaneous rigidity analysis. The paper resolves an open question of Aishwarya–Rotem for the optimal coupling (rather than a common-Gaussian-source coupling), and the entropy and Brunn–Minkowski consequences extend previous even/symmetric results to the non-symmetric setting under a barycenter condition. Optimality is verified by explicit Gaussians, equality is fully characterized, and the approximation scheme is carried out with explicit estimates. These are strengths that make the manuscript suitable for a strong probability/analysis journal.","major_comments":[],"minor_comments":[{"comment":"Abstract and introduction: the phrase “one of the most important contribution at the methodological level” is slightly ungrammatical; “contributions” or a more restrained formulation would read better.","section":null},{"comment":"Proposition 2.3 is labeled “Theorem 2.3” in the proof of Theorem 1.1 and in the strategy outline; the numbering should be made consistent throughout.","section":null},{"comment":"Section 4, display (4.8): the chain of inequalities is clear, but a short sentence noting that the asymptotic sharpness of the triangle inequality forces both the endpoint norms and the inner product to saturate would help the reader track the passage to (4.9)–(4.10).","section":null},{"comment":"Corollary 4.3: the notation “K_i = int K_i” appears to be a typographical slip for the closure; a one-line clarification that the boundary has measure zero would remove any ambiguity.","section":null},{"comment":"A few references (e.g., the arXiv numbers of concurrent works) could be updated if final versions are available, but this is purely bibliographic.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is technically solid and the central claims are correctly proved. The reader’s “weakest assumption” (the regularization scheme) is already closed by Lemmas 3.1–3.3 and the W_2-stability argument; I see no residual gap. Fit for a top probability/analysis venue is good; the methodological novelty of the two-endpoint Bochner method is real and should be valued."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The punchline is simple: they get the sharp bound √CP(μt) ≤ (1−t)/√κ0 + t/√κ1 along the actual optimal geodesic between arbitrary κi-strongly log-concave measures (extended potentials allowed), with equality characterized by a common Gaussian factor. That answers Aishwarya–Rotem for odd functions as a corollary and gives a usable (2,n) entropy distortion under a centroid correction.\n\nWhat is new is the method. They solve one transport-adapted Poisson equation −divμ0(H−1∇u)=g, produce the dual fields X=H−1∇u and Y◦T=∇u, exploit the two Hessian symmetries that make tr((DX)2) and tr((DY)2) nonnegative separately, run Bochner only at the endpoints, and interpolate the fields only at the last step. That keeps the constants sharp and makes simultaneous rigidity possible. Earlier transport–Hessian work (Kolesnikov, Klartag–Milman, Aishwarya–Li) either aggregates the estimates or works with a different coupling; this separation is the real contribution.\n\nThe smooth case is clean. The approximation (Gaussian convolution + compensating dilation) preserves the exact lower bounds κi, Caffarelli supplies the Hessian sandwich for the Brenier map, and W2 stability plus continuous test functions pass the inequality. The quantitative rigidity lemma that turns near-extremizers into affine limits is careful. Equality analysis and the maximal common Gaussian subspace look solid. The Gaussian Brunn–Minkowski and centered HWI/LSI/Talagrand consequences follow without extra machinery.\n\nSoft spots are minor. The density argument for the range of the weighted divergence operator is a bit technical, and the barycenter version is left open, but neither undercuts the main theorems. Citations are appropriate; self-citations are background only. No circularity.\n\nThis is for people working on functional inequalities, optimal transport, and Gaussian geometry. It deserves a serious referee. I would cite the interpolation and the two-endpoint method. Send it out.","headline":"Sharp Poincaré interpolation along true Wasserstein geodesics, with a clean two-endpoint Bochner method and a resolved open question; the math holds up.","tokens_in":31329,"tokens_out":510,"would_cite":true,"duration_ms":7686,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["49Q22","60E15","35P15","53C21","52A40"],"pacs":[],"model":"grok-4.5","headline":"Along a Wasserstein geodesic, the Poincaré scale is at most the linear interpolation of the reciprocal square roots of the endpoint curvatures.","keywords":["Poincaré inequality","strong log-concavity","optimal transport","Wasserstein geodesic","Gaussian entropy","Gaussian Brunn–Minkowski inequality","two-endpoint Bochner method"],"falsifier":"Exhibit two strongly log-concave measures whose intermediate Poincaré constant on the optimal geodesic exceeds the claimed linear combination of reciprocal square roots, or find an interior equality case that does not split off matching Gaussian factors in a common direction.","tokens_in":31443,"feed_emoji":"📐","tokens_out":963,"duration_ms":13660,"temperature":0.7,"pith_summary":"The paper proves that if two probability measures on Euclidean space each satisfy a strong log-concavity bound, then every intermediate measure on their quadratic optimal-transport geodesic has a Poincaré constant controlled by a simple weighted sum of the endpoint scales. The bound is sharp: pure Gaussians attain it, and equality at an interior time occurs only when both endpoints share a Gaussian factor of the right variance in a common direction. The argument never needs a curvature lower bound on the intermediate measures themselves. Instead it solves one transport-adapted Poisson equation that produces compatible vector fields at the two ends, applies the Bochner identity separately at those ends, and interpolates the resulting estimates along the Brenier map. As a special case the same estimate answers a question about odd test functions between even measures and yields finite-time distortion inequalities for translation-reduced Gaussian entropy together with centroid-corrected Gaussian Brunn–Minkowski inequalities.","feed_headline":"Poincaré scale interpolates linearly along Wasserstein geodesics","feed_subtitle":"Endpoint curvatures alone control the spectral gap of every intermediate measure, with sharp Gaussian equality","key_machinery":"The two-endpoint Bochner method: a single Brenier-adapted Poisson equation produces dual Hessian symmetries at source and target, allowing independent sharp Bochner estimates that are then affinely interpolated along the optimal map, bypassing intermediate curvature.","core_discovery":"If μ0 and μ1 are κi-strongly log-concave (potentials allowed to be extended-valued) and (μt) is their quadratic Wasserstein geodesic, then the square root of the Poincaré constant of μt is at most (1−t)/√κ0 + t/√κ1 for every t and every test function. Equality at an interior time holds if and only if both endpoints factor off Gaussians of variances κi−1 in a common direction; that common subspace is maximal.","pith_inferences":["The same Poisson-lift idea may extend to multi-marginal Wasserstein barycenters if a single scalar equation can be made compatible with several Brenier Hessians simultaneously, which the paper leaves open.","Because the method never uses intermediate Hessians, it may apply to other spectral quantities (log-Sobolev, spectral gaps of higher-order operators) along displacement interpolations where only endpoint curvature is known.","The simultaneous-rigidity characterization suggests a quantitative stability version: small deficit in the Poincaré constant at one interior time should force both endpoints to be close to product Gaussians in a common direction."],"forward_implications":["Odd functions between even 1-strongly log-concave measures satisfy the Poincaré inequality with constant 1 along the optimal geodesic, answering the open question of Aishwarya–Rotem.","Translation-reduced Gaussian relative entropy obeys a finite-time (2,n)-distortion inequality along the whole geodesic, extending earlier even-case results to arbitrary barycenters.","Convex sets with equal Gaussian centroids satisfy the dimensional Gaussian Brunn–Minkowski inequality; unequal centroids receive an explicit exponential correction involving the interpolated centroid.","Equality analysis identifies the maximal common Gaussian subspace of any two strongly log-concave measures and yields a lineality-space criterion for conditioned Gaussians."],"fun_headline_variants":["Poincaré root scales linearly on Wasserstein geodesics","Endpoint curvatures bound intermediate Poincaré gaps","Sharp sqrt(C_P) interpolation along quadratic W2 paths","Gaussian equality cases for Poincaré on displacement interpolants","Two-endpoint Bochner yields sharp Poincaré geodesic bound"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The regularization that smooths the endpoint potentials must preserve their exact curvature lower bounds while producing W2-convergent Brenier maps to which the smooth Poisson–Bochner argument still applies.","fun_headline_variants_meta":{"raw":{"variants":["Poincaré root scales linearly on Wasserstein geodesics","Endpoint curvatures bound intermediate Poincaré gaps","Sharp sqrt(C_P) interpolation along quadratic W2 paths","Gaussian equality cases for Poincaré on displacement interpolants","Two-endpoint Bochner yields sharp Poincaré geodesic bound"]},"model":"grok-4.5","effort":"low","cost_usd":0.00444,"raw_usage":{"total_tokens":1364,"prompt_tokens":840,"num_sources_used":0,"completion_tokens":60,"cost_in_usd_ticks":44400000,"prompt_tokens_details":{"text_tokens":840,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":464,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":840,"tokens_out":60,"duration_ms":7094,"temperature":1.0,"reasoning_tokens":464,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T09:22:47.890755+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit two strongly log-concave measures whose intermediate Poincaré constant on the optimal geodesic exceeds the claimed linear combination of reciprocal square roots, or find an interior equality case that does not split off matching Gaussian factors in a common direction.","supporting_citations":[],"review_version":1}