Заседания семинаров
Даниил Русланович Лепетков (Тульский государственный университет)
Рассеяние звука телами сложной формы с полигональной поверхностью.
Аннотация
По материалам диссертации на соискание ученой степени кандидата физико-математических наукИ. Н. Юдин
Вычисление порядков точек в главном дереве самоподобного дендрита.
А. Ратушный, В. Акентьев, А. Турнаев, М. Водян
Recent progress in register allocation and instruction scheduling.
И. В. Латкин (Усть-Каменогорск, Казахстан)
Определимость вычислений на машинах Тьюринга булевыми формулами (продолжение).
Zoom
Г. К. Соколова (ИМ СО РАН, НГУ)
Аналитические методы исследования спектральных свойств циркулянтных графов (кандидатская диссертация).
Аннотация
В работе рассматриваются спектральные свойства семейств циркулянтных графов называемых графами с нефиксированными скачками сэндвич-графами и дискретными торами. В первой главе описывается структура характеристического полинома лапласиана циркулянтного графа с нефиксированными скачками в терминах полиномов Чебышёва исследуются его аналитические свойства. Для данных графов приводятся аналитические формулы подсчёта таких спектральных инвариантов как число корневых остовных лесов и индекс Кирхгофа указывается их асимптотическое поведение. Во второй главе приводится новая формула формы Смита сопровождающей матрицы суперпозиции двух полиномов над коммутативным кольцом. Данная форма применяется к установлению результата для конусов над сэндвич-графами аналогичного теореме Планса для узлов. Также в главе проводится конструктивное доказательство теоремы Плана для двухмостовых узлов. В третьей главе исследуется изоморфизм прямоугольных дискретных торов.А. М. Петренко
Реферат статьи: Maximilian P. L. Haslbeck, Tobias Nipkow "Hoare Logics for Time Bounds".
М. В. Подкорытов
Ассоциативные операторы Роты-Бакстера на алгебре Свидлера $H_4$.
1. Jianru Duan
Universal $L^2$-torsion detects fibered 3-manifolds.
Аннотация
It is well-known that the Alexander polynomial of a fibered knot must be monic. But in general the converse is not true. In this talk, we introduce the universal $L^2$-torsion of a 3-manifold, an invariant defined in analogy with the classical torsion, but using tools from $L^2$-theory. We will show that this invariant detects fibered 3-manifolds. Moreover, we extend the definition of the universal $L^2$-torsion to taut sutured 3-manifolds and show that it detects product sutured manifolds.
The talk will be streamed through "VooV": https://voovmeeting.com/r/374-057-208. To join via a web browser: go to https://voovmeeting.com/; click "Log in" in the upper-right corner and login either by a Google/Apple account, or by a verification code received on phone or email; click "Join now" in the upper-right corner and type the number of the meeting 374-057-208 in the "Enter meeting ID" field; when prompted, select "Join from browser".
2. Vasilii Rozhdestvenskii (Steklov Mathematical Institute of RAS)
The Steenrod problem on realization of cycles: old and new.
Аннотация
Singular homology groups form a basic invariant of a space, which allows to study its topological properties. Although they can be defined axiomatically, it is also useful (and quite agreeable) to think about them geometrically. In the late 1940s Steenrod asked whether a homology class can be represented by a continuous image of a fundamental class of a manifold. In the talk I will give an overview of results on this problem, presenting both classical and new ones.
Ссылка на трансляцию: https://mian.ktalk.ru/vhv429hulose?pinCode=9604

