It is in fact known that the Ramanujan property itself implies that the local girths of the graph are almost always large.
Известно, что из свойства Рамануджана вытекает, что локальные обхваты графа почти всегда большие.