Редовен семинар

Съвместна сбирка на семинара на МЦМН и семинара "Алгебра и Логика" в ИМИ, София, ще се проведе идния вторник, с доклад на Георги Томанов, както следва. Вторник, 29-ти април, 14:00 часа, зала 403 на ИМИ-БАН. Георги Томанов, Université Claude Bernard, Lyon 1. Group action on homogeneous spaces and applications in number theory Abstract: Many longstanding conjectures and problems in number theory can be reformulated in terms of group actions on homogeneous spaces. This reformulation allows them to be tackled using, alongside deep methods from algebra and algebraic geometry, powerful tools from ergodic theory and dynamical systems. An example of the effectiveness of this approach is Margulis's groundbreaking proof of the Oppenheim conjecture (formulated in 1929) concerning the values of quadratic forms at integer points. In [...]

Следващата сбирка на Семинара по геометрия на МЦМН ще се проведе в сряда, 30 април 2025 г. от 16:00 ч. в зала 403 и онлайн в Zoom: Доклад на тема Binary Quadratic Forms and Conway’s Topographs (Lecture 1 of 3) ще изнесе Nikita Kalinin, Guangdong Technion Israel Institute of Technology. Следващите две лекции ще бъдат на 07.05.2025 и 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 [...]

Следващата сбирка на Семинара по геометрия на МЦМН ще се проведе в сряда, 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 [...]