Ollivier-Ricci curvature and the discrete log-Sobolev inequality

About 1 year old · traced to

Let (Pt)t≥0(P_t)_{t\geq 0} be the Markov semigroup on the discrete state space, let dd denote the relevant dimension parameter, and let t\textscls{\rm t}_{\textsc{ls}} denote the log-Sobolev time. The Ollivier-Ricci curvature κ~\tilde{\kappa} is characterized by

Lip(Ptf)≤e−κ~tLip(f).{\mathrm{Lip}}(P_t f)\leq e^{-\tilde{\kappa}t}{\mathrm{Lip}}(f).

Ollivier-Ricci curvature and LSI. There exists a universal constant c<∞c<\infty such that whenever the Ollivier-Ricci curvature κ~\tilde{\kappa} is positive, we have

t\textscls≤clog⁡dκ~.{\rm t}_{\textsc{ls}}\leq\frac{c\log d}{\tilde{\kappa}}.

The conjecture predicts a dimension-logarithmic bound on the discrete log-Sobolev time from positive Ollivier-Ricci curvature, analogous to the corresponding Bakry–Émery curvature estimate. The stated prediction was recently disproved, so it is refuted.

References

Primary source

Justin Salez and Pierre Youssef, “Intrinsic regularity in the discrete log-Sobolev inequality”, arXiv:2503.02793 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.