На 5 декември 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Класически резултати в интервална темпорална логика с разширяващи модалности и кратките им доказателства с теоремата за разделянето ще изнесе Димитър Гелев (ИМИ-БАН). Резюме. Показваме как, с помощта на автомати на Стрийт и нашата теорема за разделянето в интервалната темпорална логика с разширяващи модалности ITL-NL, се получават кратки доказателства на изразимостта в ITL-NL на квантора по съждителните променливи и интервални версии на нормалните форми от йерархията на Манна и Пнюели и, като следствие, интерполационната теорема на Крейг и теоремата за явната определимост на Бет. Формите от йерархията на Манна и Пнюели и [...]

На 10 октомври 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom ще се проведе съвместно заседание на семинара по Алгебра и логика и на семинара на секция "Диференциални уравнения и математическа физика". Доклад на тема On Z5 reduction of soliton equations related to sl(5) algebra  ще изнесе Владимир Герджиков (ИМИ-БАН), съвместна работа с Б. Костадинов (ИМИ-БАН), С. Мишев (НБУ) и А. Стефанов (ФМИ-СУ). Резюме: Recently a new approach to the integrable systems, extending and generalizing the ISM was formulated. It is based on an effective parametrization of the Riemann-Hilbert problem, which allows one to extend the class of Lax pairs and effectively derive only the corresponding NLEE as compatibility condition of two linear problems. This method is based [...]

На 3 октомври 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Decomposition of Tschirnhausen Modules for Coverings on Decomposable P1-Bundles ще изнесе Христо Илиев (Американски университет в България и ИМИ-БАН). Резюме Линк към zoom-стаята на семинара: Https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Поканват се всички желаещи да присъстват. От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

На 25 юли 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ ще се проведе присъствено заседание на семинара по „Алгебра и логика”. Доклад на тема: Distinctness of the “lifted” Kloosterman sums over the prime field Fp ще изнесе Любомир Борисов (ИМИ-БАН). Резюме Поканват се всички желаещи да присъстват. От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

На 6 юни 2025 г. (петък) от 12:30 часа в зала 578 на ИМИ и онлайн чрез платформата zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Holographic probe branes and artificial neural networks ще изнесе Веселин Филев (ИМИ-БАН). Резюме: In holography, flavour probe branes are used to introduce fundamental matter to the AdS/CFT correspondence. At a technical level, the probes are described by extremizing the DBI action and solving the Lagrange–Euler equations of motion. I will report on applications of artificial neural networks that allow direct minimization of the regularized DBI action (interpreted as a free energy) without the need to derive and solve the equations of motion. I will consider, as examples, magnetic catalysis of chiral [...]

На 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 [...]

Съвместна сбирка на семинара на МЦМН и семинара "Алгебра и Логика" в ИМИ, София, ще се проведе идния вторник, с доклад на Георги Томанов, както следва. Вторник, 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 [...]

На 25 април 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ ще се проведе заседание на семинара по „Алгебра и логика”. Доклад на тема: Hilbert scheme of smooth projective curves and some easy examples ще изнесе Changho Keem (Seoul National University, South Korea). Abstract: Hilbert scheme is a parameter space for a family of projective algebraic varieties sharing a given fixed Hilbert polynomial.  In this talk, we will discuss the following topics concerning the Hilbert scheme of smooth projective algebraic curves. 1. Irreducibility problem of the restricted Hilbert scheme of curves. 2. Some easy examples of reducible Hilbert schemes inside or outside the Brill-Noether range. 3. The existence of more than expected dimensional components whose image under the moduli map has small codimension [...]

На 28 март 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ и онлайн чрез Zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Graded algebras that are the sum of two homogeneous subalgebras ще изнесе Пламен Кошлуков (State University of Campinas, Brazil). Абстракт. Let A be an algebra over a field F, graded by a group G, and let B and C be two homogeneous subalgebras of A such that A=B+C. We study the following problem: If B and C satisfy graded identities, does the same also hold for A? The analogous problem for algebras without any grading was proposed in 1994 by Beidar and Mikhalev; in implicit form it appeared in a paper by O. Kegel, in 1963. Several particular cases were [...]

На 14 март 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ и онлайн чрез Zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Protection Against Noise for a Type of Quantum Computation ще изнесе Валентин Илиев (ИМИ-БАН). Абстракт. In this presentation we establish necessary and sufficient conditions for some pairs of quantum logic gates which operate on one qubit to be protected against crosstalk. More precisely, it is devoted to the protection against noise for measurement-based quantum computation. We use the notions of (in)dependence of two events in an appropriate classical probability space and the related informational (in)dependence.   Линк към zoom-стаята на семинара: Https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Поканват се всички желаещи да присъстват. От секция „Алгебра и логика” [...]