Gradient flows of (K,N)-convex functions with negative N
Pith reviewed 2026-05-25 08:19 UTC · model grok-4.3
The pith
Gradient flows of (K,N)-convex functionals remain contractive and unique even for negative N on metric spaces.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For (K,N)-convex functionals with real K and negative N, the gradient flows characterized by Evolution Variational Inequalities on metric spaces are contractive, regular, and unique, even when the functionals are unbounded from below and above and attain infinite values.
What carries the argument
The Evolution Variational Inequality (EVI) that characterizes the gradient flow of a (K,N)-convex functional with negative N.
If this is right
- The flow satisfies a contractivity estimate with respect to the metric.
- Trajectories of the flow possess regularity properties.
- The gradient flow is unique.
- The results hold for functionals that may take both positive and negative infinite values.
Where Pith is reading between the lines
- The extension permits application of EVI theory to functionals arising in settings where curvature-dimension bounds involve negative N.
- It opens the possibility of constructing flows for energies that change sign or diverge in both directions.
- Uniqueness and contractivity may combine with other metric-space techniques to yield new existence statements for ODEs driven by such functionals.
Load-bearing premise
The metric space and functional admit a well-defined notion of (K,N)-convexity for real K and negative N that is compatible with the evolution variational inequality.
What would settle it
A concrete counter-example consisting of a metric space and a (K,N)-convex functional with negative N for which the associated EVI flow fails to be contractive or unique.
read the original abstract
We discuss $(K,N)$-convexity and gradient flows for $(K,N)$-convex functionals on metric spaces, in the case of real $K$ and negative $N$. In this generality, it is necessary to consider functionals unbounded from below and/or above, possibly attaining as values both the positive and the negative infinity. We prove several properties of gradient flows of $(K,N)$-convex functionals characterized by Evolution Variational Inequalities, including contractivity, regularity, and uniqueness.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper extends the notion of (K,N)-convexity to real K and negative N on metric spaces, allowing functionals that may be unbounded above or below and attain values ±∞. It proves that gradient flows of such functionals, when characterized via Evolution Variational Inequalities, satisfy contractivity, regularity, and uniqueness.
Significance. If the technical claims hold, the work provides a meaningful generalization of the theory of gradient flows in metric spaces beyond the usual restrictions on K and N. The EVI-based approach and the handling of extended-real-valued functionals are potentially useful for applications involving negative curvature-dimension parameters.
minor comments (2)
- The abstract refers to both 'functions' and 'functionals'; the manuscript should adopt consistent terminology throughout.
- No explicit statement is given in the provided abstract regarding the precise metric-space assumptions (e.g., completeness, geodesic property) needed for the EVI characterization to be well-posed.
Simulated Author's Rebuttal
We thank the referee for their report and for recognizing the manuscript as a meaningful generalization of gradient flow theory to real K and negative N, including the handling of extended-real-valued functionals via EVIs. The summary accurately reflects the paper's scope and results on contractivity, regularity, and uniqueness.
Circularity Check
No significant circularity identified
full rationale
The paper extends (K,N)-convexity and EVI gradient flow theory to real K and negative N, allowing functionals to attain ±∞. It proves contractivity, regularity, and uniqueness as theorems derived from the given definitions and metric-space assumptions. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citation chains are present in the abstract or described structure. The derivation is self-contained against standard external benchmarks in metric geometry and convex analysis; the central claims do not reduce to their inputs by construction.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar\'e. Gradient flows in metric spaces and in the space of probability measures . Lectures in Mathematics ETH Z\"urich. Birkh\"auser Verlag, Basel, second edition, 2008
work page 2008
-
[2]
Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar\'e. Calculus and heat flow in metric measure spaces and applications to spaces with R icci bounds from below. Invent. Math. , 195(2):289--391, 2014
work page 2014
-
[3]
Metric measure spaces with R iemannian R icci curvature bounded from below
Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar\'e. Metric measure spaces with R iemannian R icci curvature bounded from below. Duke Math. J. , 163(7):1405--1490, 2014
work page 2014
-
[4]
Information Geometry and Its Applications
Shun-ichi Amari. Information Geometry and Its Applications . Springer Japan, 2016
work page 2016
-
[5]
Nonlinear diffusion equations and curvature conditions in metric measure spaces
Luigi Ambrosio, Andrea Mondino, and Giuseppe Savar\'e. Nonlinear diffusion equations and curvature conditions in metric measure spaces. Mem. Amer. Math. Soc. , 262(1270):v+121, 2019
work page 2019
-
[6]
A course in metric geometry , volume 33 of Graduate Studies in Mathematics
Dmitri Burago, Yu ri Burago, and Sergei Ivanov. A course in metric geometry , volume 33 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2001
work page 2001
- [7]
-
[8]
H.J. Brascamp and E.H Lieb. On extensions of the B runn- M inkowski and P r\'ekopa- L eindler theorems, including inequalities for log concave functions, and with an application to the diffusion equation. J. Funct. Anal. , (22):366--389, 1976
work page 1976
-
[9]
S. G. Bobkov and Michel Ledoux. Weighted P oincar\'e-type inequalities for C auchy and other convex measures. Ann. Probab. , (37):403--427, 2009
work page 2009
-
[10]
S. G. Bobkov. Large deviations and isoperimetry over convex probability measures with heavy tails. Electron. J. Prob. , (12):1072--1100, 2007
work page 2007
-
[11]
C. Borell. Convex set functions in d-space. Period.Math.Hungar , (6):111--136, 1975
work page 1975
-
[12]
Haim Brezis. Op\'erateurs maximaux monotones et semi-groupes de contractions dans les espaces de H ilbert , volume No. 5 of North-Holland Mathematics Studies . North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York, 1973. Notas de Matem\'atica, No. 50. [Mathematical Notes]
work page 1973
-
[13]
New problems on minimizing movements
Ennio De Giorgi. New problems on minimizing movements. In Boundary value problems for partial differential equations and applications , volume 29 of RMA Res. Notes Appl. Math. , pages 81--98. Masson, Paris, 1993
work page 1993
-
[14]
Problems of evolution in metric spaces and maximal decreasing curve
Ennio De Giorgi, Antonio Marino, and Mario Tosques. Problems of evolution in metric spaces and maximal decreasing curve. Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Nat. (8) , 68(3):180--187, 1980
work page 1980
-
[15]
Evolution equations with lack of convexity
Marco Degiovanni, Antonio Marino, and Mario Tosques. Evolution equations with lack of convexity. Nonlinear Anal. , 9(12):1401--1443, 1985
work page 1985
-
[16]
Eulerian calculus for the displacement convexity in the W asserstein distance
Sara Daneri and Giuseppe Savar\' e . Eulerian calculus for the displacement convexity in the W asserstein distance. SIAM J. Math. Anal. , 40(3):1104--1122, 2008
work page 2008
-
[17]
Lecture notes on gradient flows and optimal transport
Sara Daneri and Giuseppe Savar\'e. Lecture notes on gradient flows and optimal transport. In Optimal transportation , volume 413 of London Math. Soc. Lecture Note Ser. , pages 100--144. Cambridge Univ. Press, Cambridge, 2014
work page 2014
-
[18]
Lorenzo Dello Schiavo, Jan Maas, and Francesco Pedrotti. Local Conditions for Global Convergence of Gradient Flows and Proximal Point Sequences in Metric Spaces . Trans.\ Amer.\ Math.\ Soc. , 377(6):3779--3804, 2024
work page 2024
-
[19]
Matthias Erbar, Kazumasa Kuwada, and Karl-Theodor Sturm. On the equivalence of the entropic curvature-dimension condition and B ochner's inequality on metric measure spaces. Invent. Math. , 201(3):993--1071, 2015
work page 2015
-
[20]
Heat flow on A lexandrov spaces
Nicola Gigli, Kazumasa Kuwada, and Shin-Ichi Ohta. Heat flow on A lexandrov spaces. Comm. Pure Appl. Math. , 66(3):307--331, 2013
work page 2013
-
[21]
Alexander V. Kolesnikov. Hessian metrics, CD(K,N) -spaces, and optimal transportation of log-concave measures. American Institute of Mathematical Sciences , 34(4):1511--1532, 2014
work page 2014
-
[22]
A convexity theory for interacting gases and equilibrium crystals
Robert John McCann. A convexity theory for interacting gases and equilibrium crystals . ProQuest LLC, Ann Arbor, MI, 1994. Thesis (Ph.D.)--Princeton University
work page 1994
-
[23]
Harmonic measures on the sphere via curvature-dimension
Emanuel Milman. Harmonic measures on the sphere via curvature-dimension. Ann. Fac. des Sc. de Toulouse , 26(2):437--449, 2017
work page 2017
-
[24]
Mattia Magnabosco and Chiara Rigoni. Optimal maps and local-to-global property in negative dimensional spaces with R icci curvature bounded from below. Tohoku Math. J. (2) , 75(4):483--507, 2023
work page 2023
-
[25]
Nonsmooth analysis of doubly nonlinear evolution equations
Alexander Mielke, Riccarda Rossi, and Giuseppe Savar\'e. Nonsmooth analysis of doubly nonlinear evolution equations. Calc. Var. Partial Differential Equations , 46(1-2):253--310, 2013
work page 2013
-
[26]
Mattia Magnabosco, Chiara Rigoni, and Gerardo Sosa. Convergence of metric measure spaces satisfying the cd condition for negative values of the dimension parameter. Nonlinear Analysis , 237:113366, 2023
work page 2023
-
[27]
Gradient flows and evolution variational inequalities in metric spaces
Matteo Muratori and Giuseppe Savar\' e . Gradient flows and evolution variational inequalities in metric spaces. I : S tructural properties. J. Funct. Anal. , 278(4):108347, 67, 2020
work page 2020
-
[28]
(K,N) -convexity and the curvature-dimension condition for negative N
Shin-ichi Ohta. (K,N) -convexity and the curvature-dimension condition for negative N . J. Geom. Anal. , 26(3):2067--2096, 2016
work page 2067
-
[29]
Displacement convexity of generalized relative entropies
Shin-ichi Ohta and Asuka Takatsu. Displacement convexity of generalized relative entropies. Adv. Math. , 228(3):1742--1787, 2011
work page 2011
-
[30]
Displacement convexity of generalized relative entropies
Shin-Ichi Ohta and Asuka Takatsu. Displacement convexity of generalized relative entropies. II . Comm. Anal. Geom. , 21(4):687--785, 2013
work page 2013
-
[31]
Gradient flows of non convex functionals in H ilbert spaces and applications
Riccarda Rossi and Giuseppe Savar\'e. Gradient flows of non convex functionals in H ilbert spaces and applications. ESAIM Control Optim. Calc. Var. , 12(3):564--614, 2006
work page 2006
-
[32]
Euclidean, metric, and Wasserstein gradient flows: an overview
Filippo Santambrogio. Euclidean, metric, and Wasserstein gradient flows: an overview . Bull. Math. Sci. , 7(1):87--154, 2017
work page 2017
-
[33]
On the geometry of metric measure spaces
Karl-Theodor Sturm. On the geometry of metric measure spaces. II . Acta Math. , 196(1):133--177, 2006
work page 2006
-
[34]
Karl-Theodor Sturm. Gradient flows for semiconvex functions on metric measure spaces---existence, uniqueness, and L ipschitz continuity. Proc. Amer. Math. Soc. , 146(9):3985--3994, 2018
work page 2018
-
[35]
C\'edric Villani. Optimal transport , volume 338 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 2009. Old and new
work page 2009
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.