Pith. sign in

REVIEW 1 major objections 4 minor 13 references

Lower Bound for Weighted Intermediate Ricci Curvature and Tensorial Entropy Convexity

T0 review · 1 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Pith's one-line read On weighted Riemannian manifolds, the lower bound $\mathrm{Ric}^N_{k,f}\geq K$ is characterized exactly by a tensorial Bochner inequality and by convexity of the weighted $k$-Boltzmann entropy tensor along Wasserstein geodesics.

desk verdict Solid generalization of ARS25 to weighted intermediate Ricci curvature, with a fixable gap in the converse directions and an overclaimed comparison with Ketterer–Mondino. read the letter →

arxiv 2608.03405 v1 pith:KJECPUPY submitted 2026-08-04 math.DG

classification math.DG MSC 53C2153C2449Q2258J35
keywords weightedintermediateRiccicurvatureBakry–ÉmerytensorialentropyconvexityWassersteingeodesicsdisplacementBochnerinequalityheatflowcontractionoptimaltransport
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proposes a weighted version of intermediate Ricci curvature, a family that interpolates between sectional and Ricci curvature, and claims that a lower bound $\mathrm{Ric}^N_{k,f}\geq K$ is exactly equivalent to a tensorial Bochner inequality, a second-order differential inequality for the trace of a new weighted Boltzmann entropy tensor along Wasserstein geodesics, and a concavity condition built from that tensor. If the claim is right, it completes a dictionary in which curvature bounds, Bochner identities, and entropy convexity coincide at the level of tensors rather than scalars, letting information finer than Ricci curvature be read off from optimal transport. The authors use this dictionary to prove dimension-dependent evolution variational inequalities and Wasserstein contraction estimates for the heat flow, generalizing the tensorial approach to sectional curvature to arbitrary lower bounds and weighted manifolds, and they compare their formulation with an optimal-transport approach to intermediate Ricci curvature via lower-dimensional measures.

What carries the argument

The load-bearing object is the weighted $k$-Boltzmann entropy tensor $H^{\mu_0\to\mu_1}_{t;k,f}(x)=-\int_0^t U_{s;k,f}(x)\,ds$, where $U_{s;k,f}(x)=\dot{J}_s(x)J_s(x)^{-1}-\frac{1}{k}\langle\nabla f,\dot{\gamma}_s(x)\rangle\mathrm{Id}$ is built from the matrix of Jacobi fields along the Wasserstein geodesic $\gamma_s(x)=\exp_x(s\nabla\theta(x))$ and from the weight $f$. Its role is to translate curvature into transport: the weighted matrix Riccati inequality (Lemma 2.7) says $\mathrm{tr}(\dot{U}_{s;k,f}|_\Sigma)\leq -\frac{1}{N}\mathrm{tr}(U_{s;k,f}|_\Sigma)^2-\mathrm{Ric}^N_{k,f}(\Sigma_s,\dot{\gamma})$, and integrating this along the geodesic turns the pointwise curvature bound into the second-order differential inequality for $\mathrm{tr}(H_{t;k,f}|_\Sigma)$ that appears in Theorem 3.1. The companion analytic object is the tensorial Bakry–Émery operator $\tilde{\Gamma}^N_{2;k,f}(\psi)=\frac{1}{2}\nabla^2|\nabla\psi|^2-\nabla_{\nabla\psi}\nabla^2\psi+\frac{1}{k}(\mathrm{Hess}\,f(\nabla\psi,\nabla\psi)-\frac{df(\nabla\psi)^2}{N-k})\mathrm{Id}$, whose trace over a $k$-plane isolates exactly $\mathrm{Ric}^N_{k,f}$ via the tensorial Bochner identity.

What would settle it

Check whether the theorem cited as [Vil09, Theorem 13.5] actually produces compactly supported $d^2/2$-concave functions with arbitrarily prescribed gradient and Hessian at a point; if it does not, find a compact weighted manifold and a point where $\mathrm{Ric}^N_{k,f}(\Sigma,v)<K|v|^2$ yet every admissible $d^2/2$-concave potential with the required jets fails to exist, which would make condition (5) hold without the curvature bound and refute Theorem 3.1.

Watch

Extended reading notes

Core claim

The central claim, Theorem 3.1, is that on a smooth complete weighted Riemannian manifold $(M^n,g,e^{-f}d\mathrm{Vol})$, the condition $\mathrm{Ric}^N_{k,f}\geq K$, where $\mathrm{Ric}^N_{k,f}(\Sigma,v)=\mathrm{Ric}_k(\Sigma,v)+\mathrm{Hess}\,f(v,v)-\frac{df(v)^2}{N-k}$ and $\mathrm{Ric}_k$ is the sum of sectional curvatures over a $k$-plane $\Sigma$, is equivalent to six conditions. Among them are the tensorial Bochner inequality $\mathrm{tr}(\tilde{\Gamma}^N_{2;k,f}(\psi)|_\Sigma)\geq K|\nabla\psi|^2$ for every smooth compactly supported $\psi$ and every $k$-plane $\Sigma$, the entropy-tensor differential inequality $\mathrm{tr}(\ddot{H}^{\mu_0\to\mu_1}_{t;k,f}|_\Sigma)\geq \frac{1}{N}(\mathrm{tr}(\dot{H}^{\mu_0\to\mu_1}_{t;k,f}|_\Sigma))^2+K|\nabla\theta|^2$ along every Wasserstein geodesic, and the concavity of $t\mapsto e^{-\frac{1}{N}\mathrm{tr}(H^{\mu_0\to\mu_1}_{t;k,f}|_\Sigma)}+\frac{K}{N}|\nabla\theta|^2\int_0^t (t-s)e^{-\frac{1}{N}\mathrm{tr}(H^{\mu_0\to\mu_1}_{s;k,f}|_\Sigma)}\,ds$. The proof runs through a weighted matrix Riccati inequality for the Jacobi-field matrix $U_{s;k,f}=\dot{J}J^{-1}-\frac{1}{k}\langle\nabla f,\dot{\gamma}\rangle\mathrm{Id}$, which converts the curvature lower bound into the second-order inequality for the entropy tensor, and through the tensorial Bochner identity $\tilde{\Gamma}^N_{2;k,f}(\psi)=(\nabla^2\psi)^2+\mathrm{Riem}(\bullet,\nabla\psi)\nabla\psi+\frac{1}{k}(\mathrm{Hess}\,f(\nabla\psi,\nabla\psi)-\frac{df(\nabla\psi)^2}{N-k})\mathrm{Id}$.

Load-bearing premise

The proof of the converse directions $(4)\Rightarrow(1)$ and $(5)\Rightarrow(1)$ assumes that for any tangent vector and any symmetric operator at a point there exists a smooth compactly supported function with those prescribed first and second derivatives whose negative is, after rescaling, a $d^2/2$-concave Kantorovich potential; this 'standard jet construction' is cited to a standard optimal-transport reference but not proved in the paper, and if such potentials do not exist then the entropy-tensor inequalities could hold while the curvature bound fails.

Editorial extensions

If this is right

  • Under $\mathrm{Ric}^N_{k,f}\geq 0$ on a compact weighted manifold, the heat flow satisfies the intrinsic-dimensional evolution variational inequality of Theorem 4.1, with dissipation governed by the $k$-th elementary symmetric polynomial of $\exp(-H^{P_\tau\mu_0\to\mu_1}_{1;k,f}/N)$.
  • The Wasserstein distance between two heat flows obeys $W_2^2(P_T\mu_0,P_T\mu_1)-[W_2(\mu_0,\mu_1)+\frac{2nT}{k}\|\nabla f\|_{L^\infty}]^2\leq -8N\binom{n-1}{k-1}\int_0^T\int_M \mathrm{tr}_{\wedge^k}\left(\sinh^2\left(\frac{(H^{P_\tau\mu_0\to P_\tau\mu_1}_{1;k,f})^{[k]}}{2N}\right)\right)dP_\tau\mu_0\,d\tau$, reducing in the constant-weight case to a nonincreasing-distance estimate (Corollary 4.1).
  • For the unweighted case $N=k$, condition (5) becomes $\mathrm{tr}(\ddot{H}_t|_\Sigma)\geq \frac{1}{k}(\mathrm{tr}(\dot{H}_t|_\Sigma))^2$, so nonnegative intermediate $k$-Ricci curvature is characterized by this quadratic tensor inequality; for $k=n$ this recovers the classical equivalence between nonnegative Ricci curvature and displacement convexity of Boltzmann entropy.
  • The weighted $k$-Boltzmann entropy functional $H_{k,f}$ is displacement convex along Wasserstein geodesics with explicit distortion coefficients, giving the quadratic interpolation bound $H_{k,f}(\mu_t)\leq(1-t)H_{k,f}(\mu_0)+tH_{k,f}(\mu_1)-\frac{nK}{2k}t(1-t)W_2^2(\mu_0,\mu_1)$ (Corollary 3.3).
  • A rigidity result (Proposition 4.1): if heat flow preserves the Wasserstein distance between two measures and the Hessians of the Kantorovich potentials act nonpositively on exterior $k$-vectors, then $\mathrm{Ric}_k$ vanishes along the transport.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Inference: The equivalence in Theorem 3.1 suggests a synthetic definition of weighted intermediate Ricci bounds in non-smooth metric-measure spaces, obtained by requiring the entropy-tensor differential inequality or the concavity condition along all Wasserstein geodesics; this would parallel how synthetic Ricci bounds are defined from entropy convexity. This is an extension the authors do not sta
  • Inference: The one-dimensional comparison estimates with sinh/cos/sin distortion coefficients indicate the same machinery could produce sharp Brunn–Minkowski-type inequalities for intermediate curvature, since the curvature bound controls the concavity of the logarithm of the entropy tensor trace.
  • Inference: The heat-flow contraction bound's exponential rate depends on $N$ rather than $k$, suggesting the effective dimension for contraction under $\mathrm{Ric}^N_{k,f}\geq 0$ is $N$; this is testable by checking whether the estimate fails when $N$ is replaced by $k$ on a manifold with $k<n$.
  • Inference: Because the converse proof leans on a cited but unproved jet construction, a counterexample to the existence of compactly supported $d^2/2$-concave potentials with prescribed jets would restrict the equivalence to a smaller class of potentials; verifying the cited theorem in this form is a concrete next step.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 4 minor

Summary. The paper introduces a weighted version of intermediate Ricci curvature, Ric^N_{k,f} = Ric_k + Hess f - (N-k)^{-1} df^2, and proves Theorem 3.1, an equivalence between the lower bound Ric^N_{k,f} >= K and several conditions: a tensorial Bochner inequality for the operator \tilde{\Gamma}^N_{2,k}; an inequality for the second derivative of the weighted k-Boltzmann entropy tensor along Wasserstein geodesics; and a concavity condition for a modified exponential of that tensor. It then derives displacement convexity of the weighted k-Boltzmann entropy, an evolution variational inequality, and Wasserstein contraction estimates for the heat flow under Ric^N_{k,f} >= 0, and compares the framework with the Ketterer-Mondino approach via lower-dimensional optimal transport.

Significance. If the main theorem is correct, the paper gives a genuine multi-way characterization of weighted intermediate Ricci curvature lower bounds by tensorial Bochner inequalities, tensorial entropy convexity, and concavity of an exponential entropy functional, extending the sectional-curvature results of Aishwarya, Rotem, and Shenfeld to all intermediate k and to arbitrary curvature bounds K in the weighted setting. The exterior-power reformulation is natural and well executed, and the applications produce intrinsic-dimensional EVI and Wasserstein contraction estimates. The paper also includes careful ODE comparison lemmas and an explicit comparison with Ketterer-Mondino. The forward directions of the main equivalence are clean and largely check out; the main reservation concerns the converse directions, which depend on an unstated jet-construction lemma.

major comments (1)
  1. [Section 3.1, proof of Theorem 3.1, directions (4)=> (1) and (5)=> (1)] The converse directions of the central equivalence both invoke a 'standard jet construction': for any x, v, and symmetric operator S, one must produce a smooth compactly supported function theta with gradient(theta)(x)=v, Hess(theta)(x)=S, and such that, after scaling, -theta is d^2/2-concave. This is asserted twice with citation to [Vil09, Theorem 13.5], but no statement or proof is given. The d^2/2-concavity condition is not a trivial consequence of prescribing a Hessian: in the Euclidean model it forces a one-sided bound on Hess(theta), and the prescribed Hessians S=0 and S= -df(v)/(N-k)Id need explicit compatibility checks. This is load-bearing because the contradiction argument evaluates condition (4) or (5) at t=0 on the Wasserstein geodesic generated by theta, and without such theta the converse implications are not established. Please state and prove a self-contained jet lemma, or give a precise extraction of the assertion from [Vil09, Theorem 13.5].
minor comments (4)
  1. [Section 4.1, proof of Corollary 4.1] In the displayed chain after summing inequalities (4.18) and (4.19), the equality replacing 4nN/k - 2NC( sigma_k(e^{-A/N}) + sigma_k(e^{A/N}) ) by -8NC tr_{V^k} sinh^2(A^{[k]}/(2N)) is not exact: it drops the constant term 4N(n/k)(1 - binom(n-1,k-1)^2). For 1<k<n this term is negative, so the line should be an inequality rather than an equality. The final estimate is unaffected, since the omitted term makes the stated differential inequality weaker, but the proof should be corrected.
  2. [Section 2.2, Lemma 2.3] The comparison lemma is stated under the hypothesis pi^2 > ab, but in Corollary 3.2 and Corollary 3.3 the quantity ab = (K/N)|grad theta|^2 is not checked. It is true that any finite C^2 solution of h'' >= a(h')^2 + b with a>0 forces ab < pi^2, but the paper should say this explicitly, since otherwise the reader must wonder whether the distortion formula is applicable when K>0 and W2 is large.
  3. [Section 3, conventions after the introduction of N=k] The text says that when f is constant the parameter N=k is allowed 'as usual', but Definition 1.1 requires N>k. Please clarify how the term 1/(N-k) in the definition of Ric^N_{k,f} and in Theorem 3.1 is interpreted in the constant-weight case, e.g. by taking the limit or by noting that the df^2 term vanishes.
  4. [Section 3.1, proof of Theorem 3.1, equation (3.9)] There is a small typographical error in the displayed computation: 'tr((nabla^2 theta)^2(x)|_Sigma)(x)' has an extra '(x)' after the trace. This does not affect the argument but should be cleaned up.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the Theorem 3.1 equivalences are established by pointwise tensor identities and localization, with no definitionally forced reduction or load-bearing self-citation.

full rationale

The manuscript's central claim is an equivalence theorem (Theorem 3.1) between the geometric condition Ric^N_{k,f} ≥ K and four analytic/transport conditions: tensorial Bochner inequalities, second-order inequalities for the weighted Boltzmann entropy tensor along Wasserstein geodesics, and a concavity condition. Each implication is proved by explicit identities, most importantly the tensorial Bochner formula (Lemma 2.1) and the traced Riccati equations (2.52)–(2.53), which connect the second derivative of the entropy tensor to tr(U^2) plus the weighted intermediate Ricci curvature. There is no fitted parameter that is later renamed as a prediction, and no condition is defined in terms of the curvature bound it is supposed to characterize. The converse directions (4)→(1) and (5)→(1) use a 'standard jet construction' to prescribe ∇θ(x) and ∇²θ(x) at a single point while keeping −θ d²/2-concave, citing [Vil09, Theorem 13.5]. This is a genuine external-support question: the lemma is not stated or proved in the paper, and the compatibility of the prescribed Hessian with d²/2-concavity is only asserted after scaling. However, this is a rigor/completeness concern about an unstated external result, not a circularity: the entropy-tensor conditions are defined independently of the curvature bound, and the localization argument does not reduce to the conclusion by definition. The applications in Section 4 and the comparison with Ketterer–Mondino are derived from the proven equivalence and external results, not from assuming the target theorem. The reference list contains no prior work by the present authors, so there is no self-citation chain, and external benchmarks such as McCann's theorem, Villani's treatise, [ARS25], and [KM18] are used as genuine independent inputs. No step meets the required evidentiary standard of quoting a specific equation or definition that makes a claimed derivation equivalent to its own input.

Assumptions & free parameters 0 free parameters · 4 assumptions · 3 invented entities

The paper introduces new curvature and tensor definitions but uses no fitted free parameters. The main proofs rely on standard optimal transport facts and on two unverified assumptions: the c-concave jet construction for prescribed Hessians, and the automatic validity of the Lemma 2.3 condition π²>K|∇θ|²/N for K>0. The invented entities are mathematical definitions central to the framework, not empirical postulates.

assumptions (4)
  • domain assumption Existence of d²/2-concave functions with prescribed 1- and 2-jets at a point
    Used in the proof of Theorem 3.1, directions (4)⇒(1) and (5)⇒(1), via the 'standard jet construction' cited to [Vil09, Theorem 13.5]; the paper does not state or prove this lemma.
  • standard math McCann's theorem for optimal transport maps on complete Riemannian manifolds
    Used throughout to define Wasserstein geodesics and entropy tensors; cited to [McC01].
  • standard math Semiconvexity of Kantorovich potentials and Alexandrov second-order differentiability almost everywhere
    Used to define D(μ0,μ1) and the Jacobi field matrices; cited to [CMS01].
  • domain assumption In the K>0 case, the inequality π² > K|∇θ(x)|²/N holds automatically for optimal transport potentials
    Corollary 3.2 applies Lemma 2.3 without verifying this condition; the paper provides neither a diameter bound nor a conjugate-point argument to justify it.
invented entities (3)
  • N-Bakry-Emery intermediate k-Ricci curvature Ric^N_{k,f}(Σ,v)
    purpose: Defines a weighted intermediate curvature notion interpolating between sectional and Bakry-Emery Ricci curvature with a dimension parameter N
    New mathematical definition with no external empirical handle; its utility is established by the paper's theorems and by reduction to known special cases, which is consistency rather than independent evidence.
  • Weighted k-Boltzmann entropy tensor H^{μ0→μ1}_{t;k,f}(x)
    purpose: Tensor along Wasserstein geodesics whose convexity encodes the curvature lower bound; constructed from Jacobi fields and the weight f
    Constructed in the paper as a mathematical object; it has no falsifiable handle outside the paper, but it is a definition rather than a physical entity.
  • Tensorial weighted N-Bakry-Emery operator Γ̃^N_{2,k}(φ)
    purpose: Tensor-valued Bochner operator whose traces over k-planes detect intermediate curvature
    Defined as an analytic tool; reduces to the classical Γ₂ upon tracing when k=n, which is an internal consistency check rather than independent evidence.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Lower Bound for Weighted Intermediate Ricci Curvature and Tensorial Entropy Convexity." pith.science (2026). https://pith.science/paper/KJECPUPY

@misc{pith2026260803405,
  author       = {Pith},
  title        = {Pith review of: Lower Bound for Weighted Intermediate Ricci Curvature and Tensorial Entropy Convexity},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KJECPUPY}},
  note         = {Machine review of arXiv:2608.03405}
}
read the original abstract

We introduce a weighted version of intermediate Ricci curvature and establish several equivalent characterizations of its lower bound. As an application, we generalize the results of Aishwarya--Rotem--Shenfeld [arXiv:2509.23399v1] by deriving intrinsic-dimensional evolution variational inequalities and the corresponding Wasserstein contraction estimates for the heat flow. We also compare our characterization with that of Ketterer--Mondino [arXiv:1610.03339v3] via lower-dimensional optimal transport.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 7 canonical work pages

  1. [1]

    Advances in Mathematics , author =

    Sectional and intermediate. Advances in Mathematics , author =. 2018 , pages =. doi:10.1016/j.aim.2018.01.024 , language =

  2. [2]

    2025 , eprint=

    Sectional curvature and matrix displacement convexity , author=. 2025 , eprint=

  3. [3]

    Journal of Functional Analysis , author =

    Generalization of an. Journal of Functional Analysis , author =. 2000 , pages =. doi:10.1006/jfan.1999.3557 , language =

  4. [4]

    Inventiones Mathematicae , author =

    A. Inventiones Mathematicae , author =. 2001 , pages =. doi:10.1007/s002220100160 , number =

  5. [5]

    Communications on Pure and Applied Mathematics , author =

    Transport inequalities, gradient estimates, entropy and. Communications on Pure and Applied Mathematics , author =. 2005 , pages =. doi:10.1002/cpa.20060 , language =

  6. [6]

    Lecture Notes in Mathematics , volume =

    Bakry, Dominique and \'Emery, Michel , title =. Lecture Notes in Mathematics , volume =. 1985 , pages =

  7. [7]

    On the geometry of

    William Wylie and Dmytro Yeroshkin , year=. On the geometry of. 1602.08000 , archivePrefix=

  8. [8]

    The Journal of Geometric Analysis , author =

    The. The Journal of Geometric Analysis , author =. 2019 , pages =. doi:10.1007/s12220-018-0025-3 , language =

Show all 13 references
  1. [9]

    Equivalence between dimensional contractions in

    Bolley, Fran. Equivalence between dimensional contractions in. arXiv preprint arXiv:1510.07793 , year=

  2. [10]

    Optimal transport: old and new , series =

    C. Optimal transport: old and new , series =

  3. [11]

    Geometric and Functional Analysis , author =

    Polar factorization of maps on. Geometric and Functional Analysis , author =. 2001 , pages =. doi:10.1007/PL00001679 , language =

  4. [12]

    Eulerian calculus for the displacement convexity in the

    Daneri, Sara and Savar. Eulerian calculus for the displacement convexity in the. SIAM Journal on Mathematical Analysis , volume =

  5. [13]

    Inventiones Mathematicae , volume =

    Erbar, Matthias and Kuwada, Kazumasa and Sturm, Karl-Theodor , title =. Inventiones Mathematicae , volume =

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.