[2 ноября (СУББОТА), 16:45, ауд. 302]
Андрей Рябичев,
"Пинг-понг лемма"

Мы поговорим про группы и действия групп на множествах. Главная цель — разобрать доказательство пинг-понг леммы, а для начала разобраться в её утверждении. Среди прочего, пинг-понг лемма позволяет детектировать свободную группу, вообще её применения весьма обширны, и одно из них нам встречалось совсем недавно — оказывается, почти любой конечный набор поворотов трёхмерного пространства порождает свободную группу.

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

[23 октября (СРЕДА), 16:15, ауд. 302] Петя Кучерявый (матфак ВШЭ), "Два пути к формуле Стирлинга" Мы обсудим два метода асимптотического анализа и проиллюстрируем их применение, выведя формулу Стирлинга двумя разными способами. Формула Стирлинга говорит о…

[23 октября (СРЕДА), 16:15, ауд. 302]
Петя Кучерявый (матфак ВШЭ),
"Два пути к формуле Стирлинга"

Мы обсудим два метода асимптотического анализа и проиллюстрируем их применение, выведя формулу Стирлинга двумя разными способами. Формула Стирлинга говорит о том, как растёт n! и более общим образом, как ведёт себя гамма-функция – естественное обобщение факториала.

Метод Лапласа позволяет оценивать некоторые интегралы специального вида. Его удаётся применить в этой задаче, поскольку у гамма-функции есть интегральное представление.

Формула Эйлера-Маклорена позволяет оценивать частичные суммы гладких функций по натуральным числам. Поскольку факториал можно представить как экспоненту от суммы логарифмов, формула Эйлера-Маклорена также даёт доказательство формулы Стирлинга.

Оба метода интересны сами по себе и применяются в самых разных задачах.

вот и обещанный анонс. если вы хотите прийти, пожалуйста отметьтесь в комментариях, либо напишите мне в лс, чтобы не было проблем с проходом в школу. а то лето как-никак

[16 июля (ВТОРНИК), 16:15, ауд. 302]
Андрей Рябичев,
"Топология бесконечных графов"

Основное явление, которое нас будет интересовать в этом докладе — концепция ухода на бесконечность. Графы с бесконечным числом вершин уже обсуждались в прошедшем сезоне, пример содержательного утверждения о них — лемма Кёнига, которая говорит, что бесконечное дерево содержит бесконечный простой путь при условии что степени всех его вершин конечны.

Мы же будем изучать так называемое множество концов бесконечного графа. Чтобы его определить, можно последовательно выкидывать из графа конечные подграфы, так чтобы в итоге выкинуть всё, и следить за компонентами связности дополнений (формально надо перейти к обратному пределу множества компонент).

Мы обсудим грубую топологическую классификацию бесконечных графов с точки зрения множеств их концов. В частности, мы докажем теорему Халина — согласно которой граф содержит гексагональную (шестиугольную по-русски) решётку, если в нём есть бесконечно много непересекающихся лучей, уходящих в один и тот же конец.

Все определения будут подробно обсуждаться, предварительных знаний о бесконечных графах у слушателей не подразумевается.

доклад будет во вторник в четыре, ожидаются бесконечные графы и что-нибудь ещё (может матан и асимптотики, а может топология и пределы диаграмм), подробный анонс напишу завтра

а завтра будет проектная конференция.

первый раз устраиваем такое — и, надеюсь, не последний. большое событие! она будет весь день до вечера, вот расписание https://server.179.ru/wiki/?page=Proekty

ну а вечером спектакль

[15 мая (СРЕДА), 16:15, ауд. 302] Александр Коновалов, "Основная теорема арифметики. От Гаусса до Куммера. Часть 3" Намечается третья по счёту (и заключительная) лекция по высшей арифметике и Великой Теореме Ферма. На этой лекции я планирую закрыть кое-какие…