Следващата сбирка на Семинара по геометрия на МЦМН ще се проведе в сряда, 7 май 2025 г. от 16:00 ч. в зала 403 и онлайн в Zoom: Доклад на тема Binary Quadratic Forms and Conway’s Topographs (Lecture 2 of 3) ще изнесе Nikita Kalinin, Guangdong Technion Israel Institute of Technology. Следващата лекция ще бъде на 14.05.2025 от 16:00 ч. Abstract: Binary quadratic forms are as elementary as they are mysterious—much like prime numbers. In 1997, John Conway introduced topographs, a powerful geometric tool that provides a geometric visualization of binary quadratic forms and their values. These lectures will explore how topographs, combined with telescoping summation techniques, yield elegant formulas — some with intuitive geometric interpretations. For instance, consider the following result: Let A = \big\{ […]

Сбирка на семинара на МЦМН ще се проведе на 13.05.2025 г. (вторник) от 14:00 ч. в зала 403 на ИМИ - БАН. Докладчик: Milan Zlatanovic (University of Niš) Доклад: Non-symmetric gravitational theorys Резюме: We will consider a connection with totally skew-symmetric torsion on non-symmetric (semi-) Riemann manifolds that satisfy Einstein’s metric condition (EMC). We proved that an almost Hermitian manifold is a non-symmetric Riemann manifold that satisfies EMC if and only if it is a Nearly Kahler manifold. We will also show what happens in the case of para Hermitian manifold, contact, and para-contact manifolds that satisfy EMC. We show that a connection with skew symmetric torsion satisfying EMC exists on an almost contact metric manifolds when it is D-homothetic to a cosymplectic manifold. We […]

Встъпителната лекция на доцент Михаил Школников в секция Анализ, геометрия и топология на ИМИ-БАН ще се проведе на 13.05.2025 г. (вторник) от 15:15 ч. в зала 403 на ИМИ - БАН. Докладчик: Михаил Школников (ИМИ - БАН) Доклад: Introduction to amoebas and tropicalization Резюме: We will start by reviewing the most classical aspects of the theory of amoebas deeply rooted in complex analysis and geometry. Next, we will pass to the notion of a tropical limit of amoebas, and will see how restoring the phase allows to recover topology and deduce intersection-theoretic results. After that, we will discuss some results (and their limitations) obtained with Grigory Mikhalkin in the context of non-commutative versions of amoebas of surfaces and tropical limits of curves inside the special matrix […]

На 14 май (сряда) от 15:00 ч. в зала 503 на ИМИ ще се състои сбирка на Семинара на секция ИОВС.  Доклад на тема: Busy Beaver за n=5, или колко сложни са простите програми ще изнесе д-р Георги Георгиев от ФМИ на СУ. Резюме. Колко дълго може да работи машина на Тюринг с 5 състояния и азбука {0,1}, преди да спре? В началото лентата е запълнена с нули. Известна под името „Busy Beaver за n=5“ или BB(5), задачата е разбираема за всеки ученик, който се интересува от програмиране. Решаването ѝ продължи 40 години и демонстрира колко сложен е семантичният анализ дори на микроскопични програми. Историята бе разказана увлекателно преди година в списанието Quanta Magazine: https://www.quantamagazine.org/amateur-mathematicians-find-fifth-busy-beaver-turing-machine-20240702/. Ще разкажа за моето участие в решаването на задачата и за […]

На 16 май 2025 г. (петък) от 13:00 часа в зала 503 на ИМИ и онлайн чрез платформата zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Grätzer-Schmidt Theorem in arithmetical transfinite recursion ще изнесе Soowhan Yoon (American University in Bulgaria). Abstract: We assess the reverse mathematical strength of the Grätzer-Schmidt theorem (GS) as a principle in second order arithmetic. The theorem GS was studied in an article by Katie Brodhead, Mushfeq Khan, Bjørn Kjos-Hanssen, William A. Lampe, Paul Kim Long V. Nguyen, and Richard A. Shore, where they establish the provability of GS in Π11 Comprehension (Π11-CA0) and its restrictive variant GSD in arithmetical comprehension (ACA0). It will be shown that the arithmetical transfinite recursion (ATR0) is sufficient to prove […]