Return to Answer

It should be noticed that already on $R^d$ equipped with a non-Euclidean norm $\|.\|$ the answer to your question is no. Ohta-Sturm [1] proved the following: let $\lambda\in R$ and consider the classes of $\lambda$-convex functions on $R^d$ on one side and the class of functions whose gradient flows are $\lambda$-contractive (they call these functions skew-convex). Then these classes coincide if and only if the norm $\|.\|$ (which is relevant for the notion of gradient flow) comes from a scalar product.

This shows that "convexity" and "contractivity" are really related only on Riemannian-like world, whereas on Finsler-like ones they are different concepts.

In particular, the answer in general metric spaces is no.

However, you may have better luck in spaces which are Hilbert-behaved on small scales (whatever this means). Judging by the other questions that you linked it seems that you are particularly interested in the Wasserstein space built over a Riemannian manifold. In this case, the paper by Otto-Westdickenberg [2] might be the reference you are looking for. They basically make the same argument Willie Wong gave above in $R^d$ but in $(P_2(M),W_2)$.

Inspired by [2], Daneri-Savare' [3] proved that if you interpret gradient flows in the $EVI_\lambda$ sense (a condition that implies $\lambda$-contractivity but that in practical situation one is often able to obtain if s/he is able to get contractivity - but beware of the results in [1]), then if a functional admits gradient flows in such sense, it must be $\lambda$-convex. This holds in arbitrary metric spaces.

[1] https://arxiv.org/abs/1009.2312

[2] http://www.instmath.rwth-aachen.de/~mwest/files/OttoWest.pdf

[3] https://arxiv.org/abs/0801.2455

EDIT

oh, small world indeed :) Let me add some comments:

• one of the greatest intuitions in optimal transport is Otto’s interpretation of $(P_2(M),W_2)$ (here $M$ is a Riemannian manifold) as a sort of "infinite dimensional Riemannian manifold" (this answers your question). Quotation marks are needed because this is not really a Riemannian manifold in any reasonable sense (not even a Hilbert manifold), but still it resembles it a lot. This intuition drove the research on optimal transport (and in particular on gradient flows over the Wasserstein space) in the last 20 years, thus my advice is that if you are not familiar with this, try to build some intuition for it.

• Yes, EVI is stronger than contractivity (as said above, it implies both contractivity and convexity). Now, the question "how the EVI formalism means Riemannian on small scale" is of course tricky as nobody knows what "Riemannian on small scale" means. Still, let me mention some results pointing in this direction:

[4] shows that if have many EVIs in a Banach space then the space is Hilbert

[5] shows that gradient flows of convex functionals on CAT(k) spaces satisfy the EVI. Thus it goes the other way around by showing how to derive the EVI from some geometric property of the space, but it is interesting to see what is the key property used. They call it "commutativity of the distance" and it is a nice exercise to check that a Banach space is "commutative" in this sense if and only if it is Hilbert.

[4] https://www.sciencedirect.com/science/article/pii/S0022247X11006391

[5] https://www.researchgate.net/publication/267983274_Gradient_flows_and_a_Trotter--Kato_formula_of_semi-convex_functions_on_CAT1-spaces

It should be noticed that already on $R^d$ equipped with a non-Euclidean norm $\|.\|$ the answer to your question is no. Ohta-Sturm [1] proved the following: let $\lambda\in R$ and consider the classes of $\lambda$-convex functions on $R^d$ on one side and the class of functions whose gradient flows are $\lambda$-contractive (they call these functions skew-convex). Then these classes coincide if and only if the norm $\|.\|$ (which is relevant for the notion of gradient flow) comes from a scalar product.

This shows that "convexity" and "contractivity" are really related only on Riemannian-like world, whereas on Finsler-like ones they are different concepts.

In particular, the answer in general metric spaces is no.

However, you may have better luck in spaces which are Hilbert-behaved on small scales (whatever this means). Judging by the other questions that you linked it seems that you are particularly interested in the Wasserstein space built over a Riemannian manifold. In this case, the paper by Otto-Westdickenberg [2] might be the reference you are looking for. They basically make the same argument Willie Wong gave above in $R^d$ but in $(P_2(M),W_2)$.

Inspired by [2], Daneri-Savare' [3] proved that if you interpret gradient flows in the $EVI_\lambda$ sense (a condition that implies $\lambda$-contractivity but that in practical situation one is often able to obtain if s/he is able to get contractivity - but beware of the results in [1]), then if a functional admits gradient flows in such sense, it must be $\lambda$-convex. This holds in arbitrary metric spaces.

[1] https://arxiv.org/abs/1009.2312

[2] http://www.instmath.rwth-aachen.de/~mwest/files/OttoWest.pdf

[3] https://arxiv.org/abs/0801.2455

EDIT

oh, small world indeed :) Let me add some comments:

• one of the greatest intuitions in optimal transport is Otto’s interpretation of $(P_2(M),W_2)$ (here $M$ is a Riemannian manifold) as a sort of "infinite dimensional Riemannian manifold" (this answers your question). Quotation marks are needed because this is not really a Riemannian manifold in any reasonable sense (not even a Hilbert manifold), but still it resembles it a lot. This intuition drove the research on optimal transport (and in particular on gradient flows over the Wasserstein space) in the last 20 years, thus my advice is that if you are not familiar with this, try to build some intuition for it.

• Yes, EVI is stronger than contractivity (as said above, it implies both contractivity and convexity). Now, the question "how the EVI formalism means Riemannian on small scale" is of course tricky as nobody knows what "Riemannian on small scale" means. Still, let me mention some results pointing in this direction:

[4] shows that if we have many EVIs in a Banach space then the space is Hilbert

[5] shows that gradient flows of convex functionals on CAT(k) spaces satisfy the EVI. Thus it goes the other way around by showing how to derive the EVI from some geometric property of the space, but it is interesting to see what is the key property used. They call it "commutativity of the distance" and it is a nice exercise to check that a Banach space is "commutative" in this sense if and only if it is Hilbert.

[4] https://www.sciencedirect.com/science/article/pii/S0022247X11006391

[5] https://www.researchgate.net/publication/267983274_Gradient_flows_and_a_Trotter--Kato_formula_of_semi-convex_functions_on_CAT1-spaces

It should be noticed that already on $R^d$ equipped with a non-Euclidean norm $\|.\|$ the answer to your question is no. Ohta-Sturm [1] proved the following: let $\lambda\in R$ and consider the classes of $\lambda$-convex functions on $R^d$ on one side and the class of functions whose gradient flows are $\lambda$-contractive (they call these functions skew-convex). Then these classes coincide if and only if the norm $\|.\|$ (which is relevant for the notion of gradient flow) comes from a scalar product.

This shows that "convexity" and "contractivity" are really related only on Riemannian-like world, whereas on Finsler-like ones they are different concepts.

In particular, the answer in general metric spaces is no.

However, you may have better luck in spaces which are Hilbert-behaved on small scales (whatever this means). Judging by the other questions that you linked it seems that you are particularly interested in the Wasserstein space built over a Riemannian manifold. In this case, the paper by Otto-Westdickenberg [2] might be the reference you are looking for. They basically make the same argument Willie Wong gave above in $R^d$ but in $(P_2(M),W_2)$.

Inspired by [2], Daneri-Savare' [3] proved that if you interpret gradient flows in the $EVI_\lambda$ sense (a condition that implies $\lambda$-contractivity but that in practical situation one is often able to obtain if s/he is able to get contractivity - but beware of the results in [1]), then if a functional admits gradient flows in such sense, it must be $\lambda$-convex. This holds in arbitrary metric spaces.

[1] https://arxiv.org/abs/1009.2312

[2] http://www.instmath.rwth-aachen.de/~mwest/files/OttoWest.pdf

[3] https://arxiv.org/abs/0801.2455

EDIT

oh, small world indeed :) Let me add some comments:

• one of the greatest intuitions in optimal transport is Otto’s interpretation of $(P(M),W_2)$ (here $M$ is a Riemannian manifold) as a sort of "infinite dimensional Riemannian manifold" (this answers your question). Quotation marks are needed because this is not really a Riemannian manifold in any reasonable sense (not even a Hilbert manifold), but still it resembles it a lot. This intuition drove the research on optimal transport (and in particular on gradient flows over the Wasserstein space) in the last 20 years, thus my advice is that if you are not familiar with this, try to build some intuition for it.

• Yes, EVI is stronger than contractivity (as said above, it implies both contractivity and convexity). Now, the question "how the EVI formalism means Riemannian on small scale" is of course tricky as nobody knows what "Riemannian on small scale" means. Still, let me mention some results pointing in this direction:

[4] shows that if have many EVIs in a Banach space then the space is Hilbert

[5] shows that gradient flows of convex functionals on CAT(k) spaces satisfy the EVI. Thus it goes the other way around by showing how to derive the EVI from some geometric property of the space, but it is interesting to see what is the key property used. They call it "commutativity of the distance" and it is a nice exercise to check that a Banach space is "commutative" in this sense if and only if it is Hilbert.

[4] https://www.sciencedirect.com/science/article/pii/S0022247X11006391

[5] https://www.researchgate.net/publication/267983274_Gradient_flows_and_a_Trotter--Kato_formula_of_semi-convex_functions_on_CAT1-spaces

It should be noticed that already on $R^d$ equipped with a non-Euclidean norm $\|.\|$ the answer to your question is no. Ohta-Sturm [1] proved the following: let $\lambda\in R$ and consider the classes of $\lambda$-convex functions on $R^d$ on one side and the class of functions whose gradient flows are $\lambda$-contractive (they call these functions skew-convex). Then these classes coincide if and only if the norm $\|.\|$ (which is relevant for the notion of gradient flow) comes from a scalar product.

This shows that "convexity" and "contractivity" are really related only on Riemannian-like world, whereas on Finsler-like ones they are different concepts.

In particular, the answer in general metric spaces is no.

However, you may have better luck in spaces which are Hilbert-behaved on small scales (whatever this means). Judging by the other questions that you linked it seems that you are particularly interested in the Wasserstein space built over a Riemannian manifold. In this case, the paper by Otto-Westdickenberg [2] might be the reference you are looking for. They basically make the same argument Willie Wong gave above in $R^d$ but in $(P_2(M),W_2)$.

Inspired by [2], Daneri-Savare' [3] proved that if you interpret gradient flows in the $EVI_\lambda$ sense (a condition that implies $\lambda$-contractivity but that in practical situation one is often able to obtain if s/he is able to get contractivity - but beware of the results in [1]), then if a functional admits gradient flows in such sense, it must be $\lambda$-convex. This holds in arbitrary metric spaces.

[1] https://arxiv.org/abs/1009.2312

[2] http://www.instmath.rwth-aachen.de/~mwest/files/OttoWest.pdf

[3] https://arxiv.org/abs/0801.2455

EDIT

oh, small world indeed :) Let me add some comments:

• one of the greatest intuitions in optimal transport is Otto’s interpretation of $(P_2(M),W_2)$ (here $M$ is a Riemannian manifold) as a sort of "infinite dimensional Riemannian manifold" (this answers your question). Quotation marks are needed because this is not really a Riemannian manifold in any reasonable sense (not even a Hilbert manifold), but still it resembles it a lot. This intuition drove the research on optimal transport (and in particular on gradient flows over the Wasserstein space) in the last 20 years, thus my advice is that if you are not familiar with this, try to build some intuition for it.

• Yes, EVI is stronger than contractivity (as said above, it implies both contractivity and convexity). Now, the question "how the EVI formalism means Riemannian on small scale" is of course tricky as nobody knows what "Riemannian on small scale" means. Still, let me mention some results pointing in this direction:

[4] shows that if have many EVIs in a Banach space then the space is Hilbert

[5] shows that gradient flows of convex functionals on CAT(k) spaces satisfy the EVI. Thus it goes the other way around by showing how to derive the EVI from some geometric property of the space, but it is interesting to see what is the key property used. They call it "commutativity of the distance" and it is a nice exercise to check that a Banach space is "commutative" in this sense if and only if it is Hilbert.

[4] https://www.sciencedirect.com/science/article/pii/S0022247X11006391

[5] https://www.researchgate.net/publication/267983274_Gradient_flows_and_a_Trotter--Kato_formula_of_semi-convex_functions_on_CAT1-spaces

It should be noticed that already on $R^d$ equipped with a non-Euclidean norm $\|.\|$ the answer to your question is no. Ohta-Sturm [1] proved the following: let $\lambda\in R$ and consider the classes of $\lambda$-convex functions on $R^d$ on one side and the class of functions whose gradient flows are $\lambda$-contractive (they call these functions skew-convex). Then these classes coincide if and only if the norm $\|.\|$ (which is relevant for the notion of gradient flow) comes from a scalar product.

This shows that "convexity" and "contractivity" are really related only on Riemannian-like world, whereas on Finsler-like ones they are different concepts.

In particular, the answer in general metric spaces is no.

However, you may have better luck in spaces which are Hilbert-behaved on small scales (whatever this means). Judging by the other questions that you linked it seems that you are particularly interested in the Wasserstein space built over a Riemannian manifold. In this case, the paper by Otto-Westdickenberg [2] might be the reference you are looking for. They basically make the same argument Willie Wong gave above in $R^d$ but in $(P_2(M),W_2)$.

Inspired by [2], Daneri-Savare' [3] proved that if you interpret gradient flows in the $EVI_\lambda$ sense (a condition that implies $\lambda$-contractivity but that in practical situation one is often able to obtain if s/he is able to get contractivity - but beware of the results in [1]), then if a functional admits gradient flows in such sense, it must be $\lambda$-convex. This holds in arbitrary metric spaces.

[1] https://arxiv.org/abs/1009.2312

[2] http://www.instmath.rwth-aachen.de/~mwest/files/OttoWest.pdf

[3] https://arxiv.org/abs/0801.2455

It should be noticed that already on $R^d$ equipped with a non-Euclidean norm $\|.\|$ the answer to your question is no. Ohta-Sturm [1] proved the following: let $\lambda\in R$ and consider the classes of $\lambda$-convex functions on $R^d$ on one side and the class of functions whose gradient flows are $\lambda$-contractive (they call these functions skew-convex). Then these classes coincide if and only if the norm $\|.\|$ (which is relevant for the notion of gradient flow) comes from a scalar product.

This shows that "convexity" and "contractivity" are really related only on Riemannian-like world, whereas on Finsler-like ones they are different concepts.

In particular, the answer in general metric spaces is no.

However, you may have better luck in spaces which are Hilbert-behaved on small scales (whatever this means). Judging by the other questions that you linked it seems that you are particularly interested in the Wasserstein space built over a Riemannian manifold. In this case, the paper by Otto-Westdickenberg [2] might be the reference you are looking for. They basically make the same argument Willie Wong gave above in $R^d$ but in $(P_2(M),W_2)$.

Inspired by [2], Daneri-Savare' [3] proved that if you interpret gradient flows in the $EVI_\lambda$ sense (a condition that implies $\lambda$-contractivity but that in practical situation one is often able to obtain if s/he is able to get contractivity - but beware of the results in [1]), then if a functional admits gradient flows in such sense, it must be $\lambda$-convex. This holds in arbitrary metric spaces.

[1] https://arxiv.org/abs/1009.2312

[2] http://www.instmath.rwth-aachen.de/~mwest/files/OttoWest.pdf

[3] https://arxiv.org/abs/0801.2455

EDIT

oh, small world indeed :) Let me add some comments:

• one of the greatest intuitions in optimal transport is Otto’s interpretation of $(P(M),W_2)$ (here $M$ is a Riemannian manifold) as a sort of "infinite dimensional Riemannian manifold" (this answers your question). Quotation marks are needed because this is not really a Riemannian manifold in any reasonable sense (not even a Hilbert manifold), but still it resembles it a lot. This intuition drove the research on optimal transport (and in particular on gradient flows over the Wasserstein space) in the last 20 years, thus my advice is that if you are not familiar with this, try to build some intuition for it.

• Yes, EVI is stronger than contractivity (as said above, it implies both contractivity and convexity). Now, the question "how the EVI formalism means Riemannian on small scale" is of course tricky as nobody knows what "Riemannian on small scale" means. Still, let me mention some results pointing in this direction:

[4] shows that if have many EVIs in a Banach space then the space is Hilbert

[5] shows that gradient flows of convex functionals on CAT(k) spaces satisfy the EVI. Thus it goes the other way around by showing how to derive the EVI from some geometric property of the space, but it is interesting to see what is the key property used. They call it "commutativity of the distance" and it is a nice exercise to check that a Banach space is "commutative" in this sense if and only if it is Hilbert.

[4] https://www.sciencedirect.com/science/article/pii/S0022247X11006391

[5] https://www.researchgate.net/publication/267983274_Gradient_flows_and_a_Trotter--Kato_formula_of_semi-convex_functions_on_CAT1-spaces