Но эта сумма телескопическая — это сумма разностей биномиальных коэффициентов, и каждый коэффициент, кроме первого, в ней сокращается. А именно — там будет

— где k это n/2 при чётном n и (n+1)/2 при нечётном. То есть эта сумма, это просто центральный биномиальный коэффициент.

На самом деле, это несложно превратить и в биективное соответствие между путями из (0,1) длины n, не касающимися оси абсцисс, и всеми путями из (0,1) в (n,a), где a=1 или 2 в зависимости от чётности n (наименьшая возможная сумма у Васи).

А именно — берём такой путь. Если он уже нигде не касается оси абсцисс, то оставляем. Если где-нибудь касается, то берём первый момент разорения, и отражаем путь относительно оси абсцисс на участке до этого момента (а потом не меняем).

Получаем путь из точки (0,-1). Сдвигаем его на 2 вверх, получаем опять путь из (0,1). После чего повторяем процедуру — если разорения нет, оставляем, если есть, отражаем на участке "до разорения включительно" и сдвигаем на 2 вверх.

Насколько я понимаю, такое и аналогичные рассуждения в теории вероятностей/случайных блужданиях называются "методом отражения".

Ну и в заключение — вот ссылка на "Студенческие чтения НМУ", где опубликована лекция Кириллова —
https://www.mccme.ru/free-books/globus/iumlectures1.pdf , и соответствующий скриншот:

И — что "Студенческие чтения", что выпуски "Глобуса" я очень советую. Собственно, вот оглавление первого выпуска "Глобуса", https://www.mccme.ru/free-books/globus/globus1.pdf —

(Рассказывает Евгений Смирнов.)

если кто хочет послушать лекцию НМУ по комбинаторике (пути и определители, формула Макмагона и проч.) — zoom.us/j/981375600 (начало через пару минут)

(Ключевой момент — подсчёт пар непересекающихся путей)

Присоединяюсь — это должно быть интересно.

А вот кому онлайн-семинар по теории вероятностей: https://www.wim.uni-mannheim.de/doering/one-world/ (встречи каждый четверг, докладчики все замечательные).

Через полчаса (в 6 вечера по Москве) доклад Nathanael Berestycki (Vienna) - Random walks on random planar maps and Liouville Brownian motion - про асимптотику случайных графов и квантовую гравитацию

Зум: https://zoom.us/j/997986033

Я подозреваю, что вот эта иллюстрация Николя Курьяна (Nicolas Curien) весьма в тему того доклада, который начнётся через 10 минут:

(Это "случайным образом собранная сфера"; интересно, что такая сфера — с той метрикой на ней, которая получается — имеет хаусдорфову размерность 4, а вовсе не 2.)

Давайте я продолжу "абелевский сезон" — и в этот раз расскажу про два результата Маргулиса.