Следващото заседание на семинара "Алгебра и логика" ще се проведе на 29 ноември 2019 г. (петък) от 13:00 часа в зала 578 на ИМИ – БАН. Доклад на тема ЗА ДА НАМЕРИМ МОДЕЛ, ТРЯБВА ДА СЕ ОТКАЖЕМ ОТ СЪВЪРШЕНСТВОТО ще изнесе Димитър ДОБРЕВ. Поканват се всички желаещи. От секция „Алгебра и логика” на ИМИ – БАН Резюме. При Reinforcement Learning предполагаме, че съществува модел на света. Предполагаме, че този модел е съвършен (тоест, че описва света напълно и еднозначно). В тази статия ще покажем, че няма смисъл да търсим съвършения модел, защото този модел е твърде сложен и на практика не може да бъде намерен. Ще покажем, че трябва да се откажем от съвършенството и вместо това да търсим event-driven модели. Тези модели са [...]

На 13 декември 2019 г. (петък) от 13:00 часа в зала 578 на ИМИ – БАН ще се състои представяне на дисертационен труд на гл. ас. д-р Петър Василев Данчев (ИМИ – БАН)  на тема НЯКОИ КЛАСОВЕ ОТ НЕКОМУТАТИВНИ ПРЪСТЕНИ И АБЕЛЕВИ ГРУПИ за стартиране на процедура по присъждане на научната степен „доктор на науките” в област на висше образование 4. Природни науки, математика и информатика,  професионално направление 4.5. Математика, научна специалност "Алгебра и теория на числата". Поканват се всички желаещи. От секция „Алгебра и логика” на ИМИ – БАН Кратко резюме: Една от основните ни цели в дисертацията е да дадем пълна характеризация с точност до изоморфизъм на някои по-общи видове от чисти и разменни пръстени, като за целта доразвиваме някои стари подходи, но [...]

На 30 октомври 2020 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема A Solvable Class of Solution Concepts for Multiplayer Complete Information Infinite Games with Ordered Objectives and Temporary Coalitions ще изнесе Димитър Гелев (ИМИ-БАН). Резюме. Предлагаме метод за кодирането на понятия за решение на безкрайни синхронни игри с пълна информация на няколко играчи с предпочитания между целите и при възможност за образуването на временни коалиции. Кодирането е в разрешимо разширение на темпоралната логика CTL* с пропозиционален квантор. Разширението създава възможността да се формулират предпочитанията на играчите между темпоралните им цели и се основава на темпорален вариант на оператора за предпочитание, известен от работата на Von Wright, 1963. Предлагаме пълна аксиоматизация и установяваме разрешимостта [...]

На 23 ноември 2020 г. (понеделник) от 11:15 часа българско време ще се проведе съвместно дистанционно заседание на семинара по Алгебра на Математическия институт "Алфред Рени" в Будапеща и на семинара по Алгебра и логика на ИМИ-БАН. Доклад на тема I. Anniversary: 150 Years of idempotents. II. Idempotents of 2 × 2 matrix rings over rings of formal power series. ще изнесе Веселин Дренски. Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини, като последва линка: https://zoom.us/j/95342234576?pwd=TTFrZmwyQ2h1QmhOc1JaWXorbzI4dz09  Meeting ID: 953 4223 4576 Passcode: 943760 Резюме. Елементът a в пръстена A се нарича идемпотент, ако a^2=a. През 2020 г. празнуваме годишнина на идемпотентите – 150 от тяхното откриване. Те са въведени в теория на пръстените от Бенджамин Пирс през  1870 [...]

На 4 декември 2020 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”.    Доклад на тема:   Polynomial identities: anomalies of codimension growth   ще изнесе Mikhail Zaicev (Moscow State University).   Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Meeting ID: 851 3737 5021 Passcode: 035647 Abstract We consider numerical invariants associated with polynomial identities of algebras over a field of characteristic zero. Given an algebra A, one can construct a sequence of non-negative integers {c_n(A)}, n = 1, 2, . . . , called the codimensions of A, which is an important numerical characteristic of identical relations of A. In the present talk, we [...]

На 11 декември 2020 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Margarete Wolf, Symmetric Polynomials in Noncommuting Variables and Noncommutative Invariant Theory ще изнесе Силвия Бумова (ФМИ-СУ и ИМИ-БАН). (Съвместен проект с Веселин Дренски) Докладът е сателитно мероприятие към онлайн семинара "Women in Mathematics in South-Eastern Europe", който се организира от Международния център по математически науки - София (ICMS-Sofia).  Резюме. In 1936 Margarete Caroline Wolf published a paper where she proved that the symmetric polynomials in the free associative algebra form a free subalgebra and described the system of free generators. The purpose of the talk is to present these results from modern point of view and their relations with other results in [...]

На 15 декември 2020 г. (вторник) от 15:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Hagedorn transitions in Matrix Membranes ще изнесе Denjoe O'Connor (School of Theoretical Physics, Dublin Institute for Advanced Studies). Резюме. Matrix models that originate in non-commutative deformations of Membranes result in models related to dimensional reductions of higher dimensional Yang-Mills theories. The confining/deconfining transition becomes a Hagedorn transition in this setting and the models are believed to have gravitational duals. I will discuss recent progress in understanding these models and their physics. Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09   Topic: Онлайн семинар на секция "Алгебра и логика" Time: Dec 15, 2020 03:00 [...]

На 8 януари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Диференцирания в матрични полупръстени ще изнесе Димитринка Владeва (ЛТУ – София). Резюме Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  Topic: Онлайн семинар на секция "Алгебра и логика" Time: Jan 08, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647   От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/  

На 29 януари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Reduction Calculus of Type-Theory of Acyclic Algorithms ще изнесе Русанка Луканова. Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  Topic: Онлайн семинар на секция "Алгебра и логика" Time: Jan 29, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Резюме. In 1989, Moschovakis [1] initiated a new theory of the mathematical notion of algorithm, within untyped, full recursion. In 2006, Moschovakis [2] introduced the formal language of Type-Theory of Recursion (TTR), which models the notion of algorithm and concepts of meaning in typed semantic structures. The focus of [2] is [...]

На 5 февруари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Reduction Calculus of Type-Theory of Acyclic Algorithms, II ще изнесе Русанка Луканова. Докладът ще бъде продължение на доклада, изнесен на 29.01.2021. Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 05, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Резюме. In 1989, Moschovakis [1] initiated a new theory of the mathematical notion of algorithm, within untyped, full recursion. In 2006, Moschovakis [2] introduced the formal language of Type-Theory of Recursion (TTR), which models the notion of algorithm and concepts of [...]

На 12 февруари 2021 г. (петък) от 16:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема On the Newton polytope of a Jacobian pair ще изнесе Leonid Makar-Limanov (Wayne State University, Detroit, USA and Weizmann Institute of Science, Rehovot, Israel). Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 12, 2021 04:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Резюме. First, I remind what is the Jacobian Conjecture and talk about some history related to it. Then I'll briefly explain what is the “shape” of a minimal counterexample to the conjecture. After that the Newton polytope related to [...]

На 19 февруари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Identities in Prime Rings ще изнесе Jose Brox (Centre for Mathematics of the University of Coimbra, Portugal). Резюме. Given a ring, a generalized polynomial identity (GPI) is a polynomial identity in which the coefficients can be taken from the ring. Prime rings are a class of rings very well suited to manage problems related to identities, as for example those coming from Herstein's theory, which is the study of nonassociative objects and structures arising from associative rings. After a motivating introduction to prime rings, with some examples from Herstein's theory, I will show the usefulness of Martindale's lemma, the key tool for [...]

На 26 февруари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Номерационни степени: 60 години изследвания в областта ще изнесе Христо Ганчев (Факултет по математика и информатика, Софийски университет). Резюме. Ще направим обзор на едни от главните резултати и проблеми в номерационната сводимост – една от двете главни сводимости, използвани за сравняване на информационното съдържание в множества от естествени числа. Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 26, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647     От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/  

На 5 март 2021 г. (петък) от 16:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Finite presentability for metabelian groups, Lie algebras and restricted Lie algebras ще изнесе Десислава Кошлукова (Университет в Кампинас, Бразилия). Резюме. In the first part of the talk we revisе the already known classifications of finite presentability (in terms of generators and relations) for metabelian groups and metabelian Lie algebras. The case of groups was solved by Robert Bieri and Ralph Strebel in 1980s and that of Lie algebras was done by Roger Bryant and John Groves in late 1990s. In the last part of the talk we discuss new results about the classification of finitely presented metabelian restricted Lie algebras based on joint [...]

На 19 март 2021 г. (петък) от 16:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Some applications of transfinite numbers to algebra and some applications of number theory to transfinite numbers ще изнесе Andreas Weiermann (Ghent University, Belgium). Резюме. In the first part we will survey the role of transfinite numbers in the study of Hilbert's basis theorem and its extension by MacLagan. To this end we associate ordinals to some natural well partial orderings related Cartesian products of the set of natural numbers and we apply this apparatus to monomial ideals in F[X_1,...,X_n] where F is a field. In the second part we use the machinery of Tauberian theorems to prove some structural results about transfinite [...]

На 26 март 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Some axioms about rationality in infinite concurrent multiplayer games with ordered objectives and temporary coalitions in QCTL* ще изнесе Димитър Гелев (ИМИ - БАН). Резюме. Temporal winning conditions appear in both terminating and infinite games. Reachability (guarantee) winning conditions appear in terminating games. Safety conditions and conditions higher up in the (Manna & Pnueli, 1989) hierarchy appear in non-terminating games. In a multiplayer game, the latter classes of winning conditions are natural to drive players into forming permanent coalitions as the longevity of a coalition needs to match the duration of its agenda, which may take entire infinite plays to implement. However, a [...]

На 9 април 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Universal tensor categories and “algebraic functional analysis” ще изнесе Иван Пенков (Jacobs University Bremen, Germany). Резюме. In this talk I will outline the construction of some tensor categories generated by two objects X, Y with a pairing X\otimes Y → 1 to the monoidal unit 1. These categories are categories of representations of certain infinite-dimensional Lie algebras, and they turn out to be universal in a sense which will be explained in the talk. The interpretation of Y as a dual space to X allows an analogy with functional analysis. Joint work with A. Chirvasitu, based on earlier joint work with V. [...]

На 16 април 2021 г. (петък) от 16:00 часа ще се проведе встъпителна академична лекция на доц. Веселин Филев (ИМИ-БАН) на тема Холографски принцип – формулировка и приложения    Резюме. Ще разкажа за аргументите довели до формулирането на холографския принцип и неговата реализация в суперструнната теория чрез AdS/CFT съответствието. Ще опиша приложенията на холографския принцип за изучаването на конфайнмънт, спонтанно нарушение на симетрията и нови агрегатни състояния на силно взаимодействащата материя. Лекцията ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09   Time: Apr 16, 2021 04:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647   От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/  

На 23 април 2021 г. (петък) от 16:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема On Krull dimension of Noetherian super-rings   ще изнесе Alexandr Zubkov (United Arab Emirates University, Al Ain, UAE and Sobolev Institute of Mathematics (Omsk branch), Omsk, Russia). Абстракт: The notion of Krull dimension plays crucial role in the algebraic geometry and in the theory of commutative rings. It seems quite natural to define such a notion for (supercommutative) super-rings in order to develop the algebraic supergeometry in more or less systematic way, similar to the classical case. This talk is partially based on the recent joint work with A. Masuoka (published in JPAA) and new results (yet unpublished). Семинарът ще се проведе посредством платформата [...]

На 29 април 2021 г. (четвъртък) от 15:00 часа ще се проведе встъпителна академична лекция на доц. Петър Данчев (ИМИ-БАН) на тема Комутативни групови пръстени и абелеви групи Резюме. Разгледани са различни специални въпроси от теорията на комутативните групови пръстени и абелевите групи, като се дават пълни решения на някои от тях, като по този начин също се обобщават и редица класически резултати в тези направления. Лекцията ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Time: Apr 29, 2021 03:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

На 7 май 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара "Алгебра и логика". Доклад на тема Върху степента на зависимост между две събития ще изнесе Валентин Илиев. Резюме. Дефинира се степен на зависимост между две събития А и В във вероятностно пространство чрез ентропията на Болцман-Шенън на вероятностно разпределение получено от тези събития и зависещо от един параметър, който се мени във затворен интервал I. Важният частен случай на вероятностно пространство, в което всички елементарни събития са равно вероятностни, мотивира тази дефиниция. Функцията на ентропия има глобален максимум точно когато събитията А и В са независими. Тази функция достига минимум в левият край на интервала I, точно когато А е подмножество на допълнението на В или допълнението на [...]

На 14 май 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара "Алгебра и логика". Доклад на тема Non-finitely based and limit varieties of algebraic systems ще изнесе Веселин Дренски. Резюме. A variety of algebraic systems is non-finitely (or infinitely) based if it does not have a finite basis of identities. It is just-non-finitely based (or limit) if it is non-finitely based but all its proper subvarieties are finitely based. By the Zorn lemma every variety without a finite basis of identities contains a just-non-finitely based subvariety. We survey results on non-finitely based varieties of groups, semigroups and on associative, Lie and nonassociative rings and algebras. We also present examples of just-non-finitely based varieties of nonassociative algebras and varieties of [...]

На 21 май 2021 г. (петък) от 16:00 часа ще се проведе дистанционно заседание на семинара "Алгебра и логика". Доклад на тема Group gradings on incidence algebras ще изнесе Ednei Aparecido Santulo Jr. (Universidade Estadual de Maringá, Paraná, Brazil). Резюме. This is a joint work with Felipe Y. Yasumura and Jonathan P. Souza. The main goal of this talk is presenting the classification of group gradings on incidence algebras as obtained in [2]. To do so, we start by defining incidence algebras and emphasizing their resemblances and differences relative to the algebra of upper triangular matrices. We recall the classification of group gradings on the algebra of upper triangular matrices with entries in a field obtained by Di Vincenzo, Koshlukov and Valenti in [1] [...]

На 28 май 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара "Алгебра и логика". Доклад на тема Ranks of Monoids of Endomorphisms, Partial Automorphisms and Injective Partial Endomorphisms of a Finite Undirected Path ще изнесе Илинка Димитрова (ЮЗУ "Неофит Рилски, Благоевград). Докладът е съвместен с Vitor H. Fernandes (Universidade Nova de Lisboa, Caparica, Portugal), Jörg Koppitz (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences), Teresa M. Quinteiro (Universidade Nova de Lisboa, Caparica, Portugal). Резюме Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  Topic: Онлайн семинар на секция "Алгебра и логика" Time: May 28, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647   От секция „Алгебра [...]

На 4 юни 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара "Алгебра и логика". Доклад на тема Schur’s exponent conjecture ще изнесе Michael Vaughan-Lee (Oxford University Mathematical Institute, United Kingdom). Резюме. If G is a finite group and we write G = F/R where F is a free group, then the Schur multiplier M(G) is (R \cap F’)/[R, F]. There is a long-standing conjecture attributed to I. Schur that the exponent of M(G) divides the exponent of G. It is easy to show that this is true for groups G of exponent 2 or exponent 3, but it has been known since 1974 that the conjecture fails for exponent 4. However the truth or otherwise of this conjecture has remained [...]

На 11 юни 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара "Алгебра и логика". Доклад на тема Distinctness of the “lifted” Kloosterman sums over the prime field F_p ще изнесе Любомир Борисов. Резюме Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  Topic: Онлайн семинар на секция "Алгебра и логика" Time: June 11, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647   От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

На 18 юни 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара "Алгебра и логика". Доклад на тема Primary decompositions of unital locally matrix algebras and Steinitz numbers ще изнесе Bogdana Oliynik (National University of Kyiv-Mohyla Academy, Kyiv, Ukraine). Резюме. Let F be a ground field. An F-algebra A with unit 1 is said to be a locally matrix algebra if an arbitrary finite collection of elements a1, . . . , as from A lies in a subalgebra B with 1 of the algebra A, and B is isomorphic to a matrix algebra Mn(F), n ≥. We assign a Steinitz number n(A) to an arbitrary unital locally matrix algebra A. In this talk, we outline the construction of a [...]

На 25 юни 2021 г. (петък) от 11:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Framing in secret sharing  ще изнесе Arkadii Slinko (The University of Auckland, New Zealand). Абстракт. Secret sharing, a well-known cryptographic technique, introduced 40 years ago as a private and reliable variant of classical storage, has now become a major cryptographic primitive with numerous real-world applications. In this paper we consider the digital forensics aspects of secret sharing. We investigate the problem of framing which occurs when a coalition of participants is able to calculate the share of a participant who does not belong to it. In the extreme case one authorized coalition can calculate shares of another authorized coalition, obtain the [...]

На 2 юли 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Noncommutative Poisson structures, Hochschild type complexes and Gröbner bases theory ще изнесе Natalia Iyudu (Lancaster University, UK). Абстракт: I will discuss Calabi-Yau type conditions, such as pre-Calabi-Yau and exact Calabi-Yau. We show that pre-Calabi-Yau structures give rise to double Pois son brackets of Van den Bergh. The homological formulation of pre-Calabi-Yau structure can be dealt with using Gröbner bases theory to prove purity in case of free graph path algebras. This technique is common for our study of such exact Calabi-Yau algebras as 3-Sklyanin. Here we are able, for example, to improve the statement in Artin-Schelter classical paper, based on arguments [...]

На 9 юли 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема The mysterious Kronecker coefficients of the Symmetric group ще изнесе Greta Panova (University of Southern California, USA). Абстракт. Algebraic Combinatorics is a field of mathematics which studies discrete objects often originating in Representation Theory, Algebra, Algebraic Geometry, Number Theory via combinatorial methods. One of its oldest problems concerns the Kronecker coefficients of the Symmetric Group. They are originally defined by Murnaghan more than 80 years ago as the multiplicities of the irreducible modules in the factorization of the tensor product of two other irreducible modules. They actually generalize the Littlewood-Richardson coefficients in the analogous problem for the general linear group. Despite [...]

На 16 юли 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Proof Complexity of Resolution over linear inequalities ще изнесе Stefan Dantchev (Durham University, United Kingdom). Абстракт. I will start by giving a brief and non-comprehensive introduction to the general research area, Propositional Proof Complexity. I will then focus on a specific proof system that operates on linear inequalities with integral coefficients, called Stabbing Planes (SP). Next, a general method for proving depth lower bounds in SP will be introduced, which allows us to prove logarithmic depth lower bounds for several well-studied propositional contradictions, such as the Pigeon-Hole Principle and the Ordering Principle. Finally, possible extensions and generalisations of SP will be [...]

На 17 септември 2021 г. (петък) от 11:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Dessins d’enfants and moduli spaces of curves ще изнесе George Shabat (Russian State University for the Humanities and Independent University of Moscow, Russia). Абстракт Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  Topic: Онлайн семинар на секция "Алгебра и логика" Time: Sep 17, 2021 11:00 AM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

На 22 октомври 2021 г. (петък) от 14:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Върху някои специални разлагания на матрици над полета и крайни комутативни пръстени ще изнесе Петър Данчев. Абстракт. Доказано е, че всяка квадратна матрица над безкрайно поле е винаги представима като сума на диагонализируема матрица и нилпотентна матрица от ред 2. В допълнение, всяка такава матрица над крайно поле може да се представи като сума на потентна матрица и нилпотентна матрица с индекс на нилпотентност точно 2 – този резултат може да се разшири до квадратни матрици над крайни комутативни пръстени с радикал на Джейкобсон, чиято втора степен е нула. Тези теореми обобщават някои класически резултати, като тези на А. Абизов и [...]

На 29 октомври 2021 г. (петък) от 17:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Tropical Geometry and the Commutative Algebra of Semirings ще изнесе Kalina Mincheva (Tulane University, New Orleans, USA). Абстракт. Tropical geometry provides a new set of purely combinatorial tools, which has been used to approach classical problems. In tropical geometry most algebraic computations are done on the classical side - using the algebra of the original variety. The theory developed so far has explored the geometric aspect of tropical varieties as opposed to the underlying (semiring) algebra and there are still many commutative algebra tools and notions without a tropical analogue. In the recent years, there has been a lot of effort [...]

На 5 ноември 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Permutation groups and permutation patterns ще изнесе Erkko Lehtonen (Universidade Nova de Lisboa, Portugal). Абстракт. We approach permutations from two different points of view: the algebraic one of permutation groups and the combinatorial one of permutation patterns. While these two well-established notions do not seem to have much in common, there is a perhaps surprising connection that will be explained in this talk. Namely, the class of permutations avoiding the complement of a permutation group is comprised of levels that are permutation groups. With the help of invariant relations, we describe the permutation groups that arise in this way from pattern [...]

На 19 ноември 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Identities of Vector Spaces and Nonassociative Linear Algebras ще изнесе Alexey V. Kislitsin (Altai State Pedagogical University, Barnaul, Russia). Докладът е съвместен с Ismail M. Isaev (Altai State Pedagogical University, Barnaul, Russia). Докладът ще бъде изнесен на руски език, а слайдовете ще бъдат на английски. Абстракт. In this talk, we study the concept of the identity of the L-space as a weak identity of the pair (A, E), where A is the associative F-algebra generated by the vector space E over the field F. We study the properties of the L-spaces and their identities. Corollaries of some of the results proved [...]

На 26 ноември 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема On a method of proving the non-existence of modal formulae satisfying certain syntactic properties and defining a given class of frames ще изнесе Петър Илиев (ИФС-БАН и ИМИ-БАН). Абстракт. We elaborate on semantically labeled syntax trees, which provide a method of proving the non-existence of modal formulae satisfying certain syntactic properties and defining a given class of either models or frames, and use them to show that there are classes of Kripke frames that are definable by both non-Sahlqvist and Sahlqvist formulae but the latter require more propositional variables. The talk is based on the following articles. P. Iliev. On a method [...]

На 3 декември 2021 г. (петък) ще се проведе дистанционно заседание на семинара по „Алгебра и логика”, на което ще бъдат изнесени два доклада. Заседанието ще се проведе като част от отчетната сесия на секция "Алгебра и логика" за 2021 г. От 13:00 до 13:30 часа доклад на тема Теорема за разделянето в интервалната темпорална логика с дискретно време ще изнесе Димитър Гелев (съвместна работа с Бен Мошковски). Докладът ще бъде изнесен на български език с презентация на английски език. Резюме: Теоремата за разделянето на Габай за линейната темпорална логика (LTL) с оператори за миналото е доказано един от най-полезните теоретични резултати в темпоралната логика. В този доклад уста-новяваме аналогично твърдение за пропозиционалната интервална темпорална логика (ITL) с дискретно време на Мошковски с два [...]

На 7 януари 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: A valuation theorem for Noetherian rings ще изнесе Антони Рангачев (ИМИ - БАН). Резюме: A classical result due to Krull says that a normal domain R is equal to the intersection of the valuation rings in its field of fractions that contain R. If in addition R is Noetherian, then one can restrict the intersection to the discrete valuation rings that contain R. Now consider the following relative setting. Let A and B be integral domains. Suppose A is Noetherian and B is a finitely generated A-algebra that contains A. Denote by A' the integral closure of A in B. In [...]

На 21 януари 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: On the distribution of αp modulo one for primes p=aq^2+1 with prime q ще изнесе Татяна Тодорова (ФМИ-СУ). Резюме: It is a long-standing conjecture that there are infinitely many primes of the form n^2+1. Several approximations to this problem have been made. Baier and Zhao showed that for any ε > 0, there are infinitely many primes of the form p = aq^2 + 1, where a ≤ p^(5/9+ε). The best known result, due to Matomäki is that there are infinitely many primes of the form p = aq^2 + 1, where a ≤ p^(1/2+ε) and q is a prime. We [...]

На 28 януари 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Bicommutative algebras from commutative point of view ще изнесе Веселин Дренски (ИМИ - БАН). Резюме: The nonassociative algebra R is right-commutative if (ab)c = (ac)b for all a, b, c in R, R is left-commutative if a(bc) = b(ac) for all a, b, c in R. Bicommutative algebras are algebras which are both left- and right-commutative. One-sided commutative algebras appeared for the first time in a paper by Cayley in 1857. Their important subclass of Gelfand-Dorfman-Novikov algebras were studied by Gelfand and Dorfman for the needs of the Hamiltonian operator in finite-dimensional mechanics and by Balinskii and Novikov in relation with [...]

На 11 февруари 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Modal definability of some classes of modal products ще изнесе Яна Руменова (ФМИ – СУ). Докладът е съвместен с Тинко Тинчев (ФМИ – СУ). Резюме Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 11, 2022 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

На 18 февруари 2022 г. (петък) от 16:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: The Bulgarian Solitaire and Other Games on Partitions ще изнесе Веселин Дренски (ИМИ - БАН). Резюме. In 2020 the L.N. Gumilyov Eurasian National University (Nur-Sultan, Kazakhstan) decided to organize International Scientific Conference "Algebra and Logic" dedicated to the 60th anniversary of Professor Ualbai Umirbaev and the 75th anniversary of Professor Leonid Makar-Limanov. The meeting was cancelled because of the Covid-19 pandemic. The present talk is based on the talk I planned to give in Nur-Sultan. The (quite amusing) story presented in the talk is an example of how an elementary mathematical game can inspirit serious mathematical investigations in Combinatorics, Graph theory, [...]

На 25 февруари 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: On the Degree of Dependence of Two Events as a Relative Invariant of the Dihedral Group of Order 8 ще изнесе Валентин Илиев (ИМИ - БАН). Резюме Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 25, 2022 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

На 11 март 2022 г. (петък) от 14:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Multi-summation in difference rings and applications ще изнесе Carsten Schneider (Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria). Резюме. Symbolic summation in difference fields started with Karr's summation algorithm (1981) which can be considered as the discrete version of Risch's indefinite integration algorithm in differential fields. In the last 20 years this approach has been generalized and enhanced to a constructive summation theory of difference rings. In general, one can represent algorithmically any expression in terms of indefinite nested sums defined over hypergeometric products in such rings. As a crucial by-product one obtains optimal representations where the arising sums [...]

На 18 март 2022 г. (петък) от 16:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Absorbing ideal structures of commutative rings ще изнесе Ece Yetkin Celikel (Hasan Kalyoncu University, Turkey). Резюме. Let R be a commutative ring with nonzero identity. As generalizations of prime ideals, the absorbing ideals were first defined and studied by A. Badawi in 2007. A proper ideal I of R is said to be 2-absorbing if whenever a, b, c ∈ R with abc ∈ I, then either ab ∈ I or ac ∈ I or bc ∈ I. After this date, many researches have been done to introduce various extensions of this concept. In this talk, we present some absorbing ideals [...]

На 25 март 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: An Application of Separation in Discrete Time Interval Temporal Logic to Branching Time ще изнесе Димитър Гелев (ИМИ - БАН). Резюме. In this talk we make an application of our separation theorem for discrete time Interval Temporal Logic (ITL) to the study of Interval-based Computation Tree Logic (ICTL*). We prove that the expressibility of the expanding modalities and, most importantly, propositional quantification, carry over from linear time ITL to the branching time system of ICTL*. The relevance of this follows from the fact that point-based propositionally quantified CTL* (QCTL*) is the established intermediate language for temporal logics of agency as propositional [...]

На 1 април 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Automorphisms of simple quotients of the Poisson and universal enveloping algebras of sl_2 ще изнесе Altyngul Naurazbekova (L. N. Gumilyov Eurasian National University, Nur-Sultan, Kazakhstan). Резюме. Let P(sl_2(K)) be the Poisson enveloping algebra of the Lie algebra sl_2(K) over an algebraically closed field K of characteristic zero. U. Umirbaev, V. Zhelyabin proved that the quotient algebras P(sl_2(K))/(C_P - λ), where C_P is the standard Casimir element of sl_2(K) in P(sl_2(K)) and 0 ≠ λ ∈K, are simple. Using a result by L. Makar-Limanov on groups of automorphisms of a class of surfaces, we describe generators of the automorphism group of P(sl_2(K))/(C_P [...]

На 15 април 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Quantisation of free associative dynamical systems. Bi-quantum structure of the stationary KdV hierarchy. Non-deformation quantisation of the Volterra hierarchy ще изнесе Alexander V. Mikhailov (University of Leeds, UK). Резюме. Traditional quantisation theories start with classical Hamiltonian systems with variables taking values in commutative algebras and then study their non-commutative deformations, such that the commutators of observables tend to the corresponding Poisson brackets as the (Planck) constant of deformation goes to zero. I am proposing to depart from dynamical systems defined on a free associative algebra A. In this approach the quantisation problem is reduced to the problem of finding of a [...]

На 29 април 2022 г. (петък) от 16:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Images of multilinear polynomials on upper triangular matrices ще изнесе Thiago Castilho de Mello (Universidade Federal de São Paulo, Brazil). Резюме. Let f(x1, …, xm) be a polynomial in noncommutative variables over an infinite field K. If A is a K-algebra, it defines in a natural way a map Am → A. If the polynomial f is multilinear, the famous Lvov-Kaplansky conjecture asks whether the image of a multilinear polynomial on a matrix algebra is a vector subspace. Solutions to this problem are known only for n = 2 or m = 2 with partial results for m = 3 and n = 3. In this talk, we survey these results and [...]

На 13 май 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: A counterexample to the modular isomorphism problem ще изнесе Diego García-Lucas (Universidad de Murcia, Spain). Абстракт. The modular isomorphism problem asks whether the isomorphism type of the modular group algebra of a p-group G over a field of characteristic p determines the isomorphism type of G. It was explicitly mentioned in a survey by Richard Brauer in 1963, and was the only classical version of the isomorphism problem for group rings which had resisted a solution, though it received considerable attention. Several partial positive solutions were obtained imposing very strong conditions on the group G, for instance the one of being [...]

На 20 май 2022 г. (петък) от 16:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Bootstrap percolation: merging operations for polytopes ще изнесе Ivailo Hartarsky (Université Paris-Dauhpine, PSL, France, visiting scholar at Instituto de Matemática Pura e Aplicada, Rio de Janeiro, Brazil). Абстракт. Bootstrap percolation is a group of statistical physics models intensively studied since the 1970s in mathematics, physics, computer science, as well as social sciences. They are cellular automata generalising the following paradigmatic example. Arbitrarily declare some sites of Z^2 initially infected. Iteratively, at each discrete-time round, additionally infect each site with at least 2 infected neighbours. The last decade has seen the accomplishment of a full classification of all such models into `universality [...]

На 10 юни 2022 г. (петък) от 16:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Computing Eigenvectors of Symmetric Tridiagonals with the Correct Number of Sign Changes ще изнесе Plamen Koev (San José State University, USA). Абстракт. The symmetric tridiagonal eigenvector problem has been a central research topic in numerical linear algebra since its inception. Of the myriad of algorithms today, none is provably optimal and accurate at the same time. “Optimal” means, a subset of k eigenvectors is computed in O(kn) time. “Accurate” means that the computes eigenvectors are orthogonal and satisfy the typical relative gap error bound. In this talk, we focus our attention on a neglected oscillating property of the eigenvectors: the i-th eigenvector has [...]

На 24 юни 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Dependent-Type Theory of Situated Information with Context Assessments ще изнесе Русанка Луканова. Абстракт. I shall introduce an enriched formal language of information that establishes propositions dependent on situations and types. The types can be basic or complex. Complex propositional types are defined recursively. The language supports structured data of situated information, which can be partial, parametric, and underspecified. Information can be associated with quantitative evaluations depending on situations. The formal terms can integrate propositional types of situated information with statistical and other quantitative evaluations. Structured content integrated with quantitative data facilitates development of new techniques for amalgamating logic representation of situated, propositional [...]

На 1 юли 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: On the parity of the coefficients of minimal polynomial of Kloosterman sums over Fp ще изнесе Любомир Борисов. Абстракт. Kloosterman sums over finite fields play an important role in "Algebraic Coding Theory" and "Cryptography". E.g., they are related to some families of algebraic codes (Melas, Kloosterman) and (hyper-)bent functions. Particularly, the divisibility properties of some quantities connected with the Kloosterman sums, e.g., of minimal polynomial coefficients and power moments, were also investigated (see, e.g., [1]; [2]). In this talk I shall present some results about the divisibility by 2 of the coefficients of minimal polynomials of the Kloosterman sums. [1] M. Moisio, [...]

На 29 юли 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Modal Descriptive Complexity ще изнесе Петър Илиев (ИФС-БАН и ИМИ-БАН). Абстракт. The study of the descriptive complexity of a class of structures S relative to a class of formulae F from a logic L revolves around the question: what can we say about the definability of S with formulae from F? For example, we might want to know whether there is a formula from F defining S or, if not, whether there is a countably infinite sequence of F-formulae such that each formula from the sequence defines a subset of S and the union of all these subsets is the whole [...]

На 19 август 2022 г. (петък) от 13:00 ч. в зала 578 на ИМИ - БАН ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Examples of non-reduced components of the Hilbert Scheme of smooth projective curves using ruled surfaces ще изнесе Христо Илиев (АУБ и ИМИ-БАН). Абстракт. Let Id,g,r be the union of irreducible components of the Hilbert scheme whose general points represent smooth irreducible non-degenerate curves of degree d and genus g in Pr. Using a family of curves found on ruled surfaces over smooth curves of genus γ, we show that for γ ≥ 7 and g ≥ 6γ+5 the scheme I2g−4γ+1,g,g−3γ+1 acquires a non-reduced component D′ such that dim T[X′]D′ = dimD′ + 1 for [...]

На 9 септември 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Timing delays in cyber-physical systems ще изнесе Naijun Zhan (Institute of Software Chinese Academy of Sciences ISCAS, China). Абстракт. With the rapid development of feedback control, sensor techniques and computer control, time delay has become an essential feature of cyber-physical systems (CPSs), underlying both the continuous evolution of physical plants and the discrete transition of computer programs, which may well annihilate the stability/safety certificate and control performance of CPSs. In the safety-critical context, automatic verification and synthesis methods addressing time-delay in CPSs should therefore abound. However, surprisingly, they do not, although time-delay has been extensively studied in the literature of mathematics [...]

На 16 септември 2022 г. (петък) от 14:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Almost Prime Ideal and Almost Prime Radical ще изнесе Alaa Abouhalaka (Çukurova University, Adana, Turkey). Абстракт. In this talk, we introduce the concept of almost prime (right) ideals in noncommutative rings and provide some equivalent definitions and new results. Also we introduce the concept of almost prime radical of an ideal. References: [1] M.S. Bhatwadekar, P. K. Sharma, Unique factorization and birth of almost primes, Comm. Algebra, 33(1), 43-49, (2005). [2] W.D. Blair, H. Tsutsui, Fully prime rings, Comm. Algebra, 22(13), 5389-5400, (1994).   Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: [...]

На 23 септември 2022 г. (петък) от 13:00 ч. в зала 578 ще се проведе присъствено заседание на семинара по „Алгебра и логика”. Доклад на тема: Геометрия и логика в квантовите изчисления ще изнесе Николай М. Николов (ИЯИЯЕ-БАН). Абстракт. През 1936г. Гарет Биркхоф и Джон фон Нойман публикуват една от най-общите аксиоматични основи на квантовата теория, която е известна до днес, като "Квантова логика" (Annals of Mathematics, vol. 37 (1936) 823-843). В тази работа те изхождат от орто-модуларна решетка, която служи като модел на частично нареденото множество на всички квантови събития. Те също откриват връзка с проективната геометрия. Основният случай на геометрии е върху комплексните числа, но има и възможности за по-общи пръстени с деление, включително некомутативни. След кратко представяне на тези резултати, ще [...]

На 14 октомври 2022 г. (петък) от 13:00 ч. в зала 578 ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Семейства от трилистни накрития на алгебрически криви ще изнесе Христо Илиев (АУБ и ИМИ - БАН). Абстракт. Докладът е продължение на предишния ми доклад "Примери на нередуцирани компоненти на Хилбертовата схема от гладки проективни криви с използването на линейчати повърхнини", който беше представен на 19-ти август, 2022г. В сегашния доклад разглеждамe трилистни накрития на гладки алгебрически криви от род γ ≥ 0. В резултат получаваме семейства от криви върху гладки повърхнинни скролове, които при определени числени ограничения дават компоненти на Хилбертовата схема от криви.   Семинарът ще бъде излъчен и онлайн посредством платформата Zoom. Линк към Zoom-стаята на семинара: [...]

На 21 октомври 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Ranks and Presentations for Order-Preserving Transformations with One Fixed Point ще изнесе Jörg Koppitz (съвместна работа със S. Worawiset). Абстракт. We consider the semigroup (no monoid) of all order-preserving full transformations α on an n-element chain Xn = {1 < 2 …< n}, where p is the only fixed point in α, for some given p ∈Xn, denoted by On,p. This semigroup is nilpotent. In particular, the semigroup On,1 (i.e. p = 1) is already well studied, since it is the maximal nilpotent subsemigroup of the Catalan monoid. But the semigroup On,p is still not well studied for p > 1 [...]

На 28 октомври 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Gabbay Separation for the Duration Calculus ще изнесе Димитър Гелев (ИМИ - БАН). Абстракт. Gabbay's separation theorem about linear temporal logic (LTL) with past has proved to be one of the most useful theoretical results in temporal logic. Is expressive power ultimately affected, if past constructs are not allowed in the scope of future ones, or vice versa? Separation implies that it does not, and also provides a technically convenient normal form for temporal conditions. Interval Temporal Logic (ITL) and the Duration Calculus (DC) are interval-based logics. Unlike LTL, they are based on modalities which allow reference to subintervals of the reference [...]

На 25 ноември 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Logic Operators and Quantifiers in Type-Theory of Algorithms ще изнесе Русанка Луканова (ИМИ - БАН). Абстракт. I shall introduce an extension of Moschovakis Type-Theory of Algorithms (LR) and its reduction calculus, by adding logic operators and quantifiers. The LR has two kinds of terms of formulae, for designating state-independent and state-dependent propositions and predications. The logic operators include conjunction, disjunction, implication, and negation. I extend the formal language of LR by state-dependent quantifiers, for enhancing the standard quantifiers of predicate logic. I provide an extended reduction calculus of the Type-Theory of Acyclic Algorithms, for reductions of LR terms to their canonical forms. [...]

На 2 декември 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Derivations of upper triangular matrix rings vs Derivations of upper triangular matrix semirings ще изнесе Димитринка Владева. Абстракт. The motivation for this talk is the problem how to represent a derivation of a matrix ring and of an additively idempotent matrix semiring as a sum of well-known derivations. The results of two of my articles, published in 2022, will be compared and we will draw conclusions about the advantages and disadvantages of these results. We begin by considering the nature of derivations of triangular matrices over an additively idempotent semiring R generated by left and right semicentral idempotents. Then we construct [...]

На 9 декември 2022 г. (петък) ще се проведе дистанционно заседание на семинара по „Алгебра и логика”, на което ще бъдат изнесени два доклада. От 13:00 до 14:00 часа доклад на тема: AdS/CFT съответствие, Метрополис-Хастингс алгортъм и GAN невронни мрежи ще изнесе Веселин Филев. Абстракт. Ще докладвам за скорошна публикация по конструира-нето на D0/D4 пространство-време. Ще дискутирам значението на това изследване в AdS/CFT съответствието и симулирането на матричния модел на Беркуз-Дъглас. Във втората част на доклада ще дискутирам алгоритъма на Метрополис-Хастингс и ще докладвам възможни приложения на GAN невронни мрежи в симулацията на трудни в изчислително отношение матрични модели. От 14:00 до 14:45 часа доклад на тема: Hitchin base: Seiberg-Witten differentials and their derivatives ще изнесе Петър Далаков (АУБ и ИМИ-БАН). Абстракт. We consider a [...]

На 13 януари 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Отчет за работата по докторантурата на Димитър Добрев на тема "Изкуствен интелект – дефиниция, реализация и последствия" ще изнесе Димитър Добрев. Абстракт. В основата на дисертацията са езиците за описание на светове. Тези езици описват класове от функции като изчислимите функции и някои разширения на този клас. При помощта на език за описание на светове дефинираме ИИ и създаваме програма, която твърдим, че удовлетворява тази дефиниция. Тази програма е чисто теоретична, защото тя е толкова неефективна, че на практика е неизползваема. Изказваме предположението, че с подходящ език за описание на светове може да се направи ефективна програма, която да удовлетвори дефиницията [...]

На 10 февруари 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: A New Approach to the Characteristic Polynomial of a Random Unitary Matrix ще изнесе Yacine Barhoumi-Andréani (Ruhr-Universität Bochum, Germany). Абстракт. The characteristic polynomial of a random (Haar-distributed) unitary matrix is considered as an interesting toy model for the probabilistic study of the Riemann Zeta function. We will recall the history of the topic starting with the Montgommery-Dyson correspondance, the Keating-Snaith moments conjecture and some recent developments on other functionals. We will then give a conceptual comparison of some of the techniques used in the field and a zoo of results one can achieve, with a particular focus on a recent technique [...]

На 17 февруари 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Invariant theory for reductive subgroups of reductive groups ще изнесе Валдемар Цанов (ИМИ-БАН). Абстракт. Let H ⸦ G be an embedding of connected complex reductive linear algebraic groups. A classical question with several important interpretations is: which irreducible G-modules contain nonzero H-invariant vectors? An approach based on the Geometric Invariant Theory of Hilbert-Mumford was developed in works of Heckman, Berenstein-Sjamaar, Belkale-Kumar and Ressayre, culminating in a description of the generalized Littlewood-Richadson cone - the convex hull of set of the highest weights of the G-modules containing H-invariants. The discrepancy between the convex hull and the actual set of weights presents the [...]

На 24 февруари 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Real Hamiltonian forms of affine Toda field theories: spectral aspects ще изнесе Владимир Герджиков (съвместна работа с Г. Г. Граховски и А. А. Стефанов). Абстракт. The talk is devoted to real Hamiltonian forms of 2-dimensional Toda field theories related to exceptional simple Lie algebras, and to the spectral theory of the associated Lax operators. Real Hamiltonian forms are a special type of reductions of Hamiltonian systems, similar to real forms of semisimple Lie algebras. The real Hamiltonian forms of affine Toda field theories related to exceptional complex untwisted affine Kac - Moody algebras are studied. Along with the associated Lax representations, [...]

На 7 април 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Exact values of exponential Følner functions and the Coulhon and Saloff-Coste inequality ще изнесе Богдан Станков (Institut Camille Jordan, Université Claude Bernard Lyon 1, France). Абстракт. For infinite groups, the Følner criterion states that a group is amenable if and only if the isoperimetric constant of its Cayley graph is 0. In that case, a more precise description of its isoperimetric profile is given by the Følner function. It depends on the choice of generating set, but different functions on the same group are asymptotically equivalent. Multiple results have been obtained on Følner functions, but only up to asymptotic equivalence class. In this [...]

На 5 май 2023 г. (петък) от 13:00 часа ще се проведе встъпителна академична лекция на проф. Йорг Копиц на тема: Algebraic Properties of Transformation Semigroups Абстракт. Each semigroup is isomorphic to a semigroup of transformations on a suitable set (Cayley Theorem for semigroups). If we know generating sets of minimal size (rank) of a finitely generating semigroup then we have important information about the algebraic structure of the semigroup itself. For not finitely generated semigroups, we consider relative generating sets of minimal size modulo a given subset of the semigroup (relative rank). We determine the (relative) rank of several semigroups of transformations. These semigroups were already considered by other authors. By the study of congruences on a semigroup, we obtain further important information about [...]

На 9 юни 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Old and new aspects of the Poincaré-Birkhoff-Witt theorem ще изнесе Vladimir Dotsenko (Institute for Advanced Mathematical Research (IRMA), University of Strasbourg and CNRS, France). Абстракт. The Poincaré-Birkhoff-Witt theorem on universal enveloping algebras of Lie algebras is a fundamental result in many areas of mathematics: from differential geometry and representation theory to homological algebra and deformation quantization. I shall give a short overview of that result and some of its proofs that emerged in about 120 years since Poincaré published a paper about it, and outline a new proof which perhaps captures its category-theoretic essence in the best way possible. The talk [...]

На 16 юни 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Polynomial identities in Novikov algebras ще изнесе Nurlan Ismailov (Astana IT University and Suleyman Demirel University, Kaskelen, Kazakhstan) (Joint work with V. Dotsenko and U. Umirbaev). Абстракт.The talk is devoted to Novikov algebras satisfying nontrivial identities. We show that a Novikov algebra over a field of zero characteristic that satisfies a nontrivial identity satisfies some unexpected “universal” identities, in particular, right associator nilpotence, and right nilpotence of the commutator ideal. This, in particular, implies that a Novikov algebra over a field of zero characteristic satisfies a nontrivial identity if and only if it is Lie-solvable. We also establish that any system [...]

На 23 юни 2023 г. (петък) от 13:00 часа в зала 578 на ИМИ - БАН ще се проведе присъствено заседание на семинара по „Алгебра и логика”. Доклад на тема: Distinctness of the “Lifted” Kloosterman Sums over the Prime Field Fp ще изнесе Любомир Борисов. Абстракт   От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

На 26 септември 2023 г. от 14:00 часа в зала 478 на ИМИ-БАН ще се проведе съвместно заседание на общия семинар на секция „Анализ, геометрия и топология“ и семинара на секция „Алгебра и логика”. Доклад на тема Burau Representation and Application to Reducibility and Exchangeability of Braids ще изнесе Alexander Stоimenov, Dongguk University, Republic of Korea. Абстракт. I will give an introduction to the braid groups, closure operation, Markov theorem, and exchange move. Then I will introduce the Burau representation, and discuss its application to reducibiliy and exchangeability of braids.

На 29 септември 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Reset Controller Synthesis ще изнесе Naijun Zhan (Institute of Software Chinese Academy of Sciences (ISCAS), China). Абстракт. Controller synthesis provides a Correct-by-construction mechanism to guarantee the correctness and reliability of hybrid systems (HS) by design. Depending on the types of controls, controllers can be classified into reset controllers, feedback controllers, and switching logic controllers. Reset controllers steer the behaviour of a HS to attain system objective through restricting its initial set and redefining the reset map associated with discrete jumps, which is less explored in the literature, although it is of theoretical and practical significance. In this talk, I will summarize our [...]

На 13 октомври 2023 г. (петък) от 13:00 часа ще се проведе хибридно (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) заседание на семинара по „Алгебра и логика”. Доклад на тема: Emmy Noether’s Theorem on the Finite Generation of the Algebra of Invariants ще изнесе Марин Генов (ИМИ - БАН). Абстракт. I will introduce Emmy Noether’s theorem on the finite generation of invariants and give two proofs of it. As an example, I will also calculate the algebra of invariants of the dihedral group of order 2n acting on C[x,y]. Линк към Zoom-стаята на семинара: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

На 20 октомври 2023 г. (петък) от 13:00 часа ще се проведе хибридно (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) заседание на семинара по „Алгебра и логика”. Доклад на тема: Prime numbers and random walks in a square grid ще изнесе Alberto Fraile (Czech Technical University in Prague, Czech Republic). Съвместна работа с Osame Kinouchi, Prashant Dwivedi, Roberto Martínez, Theophanes E. Raptis и Daniel Fernández Абстракт. One can argue that prime numbers present perplexing features, in a hybrid of local unpredictability and global regular behavior. It is this interplay between randomness and regularity that motivated searches for both local and global patterns that could potentially become signatures for certain underlying fundamental mathematical properties.In recent years, computer simulations are playing a fundamental [...]

На 3 ноември 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: A Reduction of Temporary Coalitions in Infinite Multiplayer Games ще изнесе Димитър Гелев. Абстракт. We propose a transformation of Concurrent Game Models which enables the reduction of infinite multiplayer games where players can form temporary coalitions to games with no coalitions by extending moves to include the negotiation steps that lead to the formation of coalitions. We adopt conditional promises as the building blocks of negotiation. Temporary coalitions and their agendas arise as the logical consequences of mutual promises. The transformation enables the use of established solution concepts about games with no coalitions for the analysis of games with temporary coalitions. [...]

На 10 ноември 2023 г. (петък) от 13:00 часа ще се проведе хибридно заседание (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) на семинара по „Алгебра и логика”. Доклад на тема: Transfinite version of the Mittag-Leffler condition for the vanishing of the derived limit ще изнесе Mishel Carelli (Technion – Israel Institute of Technology, Israel). Абстракт. We give a necessary and sufficient condition for an inverse sequence  S0 ← S1 ← . . . indexed by natural numbers to have lim¹S = 0. This condition can be treated as a transfinite version of the Mittag-Leffler condition. We consider inverse sequences in the category of abelian groups. We also show that the class of inverse sequences S such that lim S = lim¹S = [...]

На 17 ноември 2023 г. (петък) от 13:00 часа ще се проведе хибридно заседание (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) на семинара по „Алгебра и логика”. Доклад на тема: Noncommutative invariants of dihedral groups ще изнесе Боян Костадинов, ИМИ - БАН. Абстракт. We consider the 2-generated free metabelian associative and Lie algebras over the complex field and the invariants of the dihedral groups of finite order acting on these algebras. In the associative case we find a finite set of generators of the algebra of invariants. In the Lie case, when the algebra of invariants is not finitely generated, we give a minimal system of generators of the invariants in the commutator ideal as a module of the algebra [...]

На 24 ноември 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”, на който ще бъдат изнесени два доклада. От 13:00 ч. Димитринка Владева (ИМИ-БАН) ще изнесе доклад на тема Catalan numbers and additively idempotent semirings От 14:00 ч. Русанка Луканова (ИМИ-БАН) ще изнесе доклад на тема Semantics of Propositional Attitudes in Type-Theory of Algorithms   Заглавие: Catalan numbers and additively idempotent semirings Абстракт. The purpose of the present talk is to provide new applications of remarkable Catalan numbers. In Richard Stanley’s book Enumerative Combinatorics, Volume II (Cambridge University Press) there are many combinatorial objects that are counted by the Catalan numbers as well as applications in graph theory, Young diagrams, lattice theory, real matrices, real polynomials and so on. [...]

На 1 декември 2023 г. (петък) от 13:00 часа ще се проведе хибридно заседание (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) на семинара по „Алгебра и логика”. Доклад на тема: Characterization of Ideals of Q-algebras Related to its G-part ще изнесе доц. Йорг Копиц, ИМИ - БАН. Абстракт. In this presentation, we study the G -part of Q -algebras X , i.e. the set G(X)=\{x\in X:0x=x\} . We show that G(X) is an abelian group, whenever G(X) is an ideal and characterize all Q -algebras X such that G(X) is an ideal of X . Moreover, we show that, up to isomorphism, there is only one Q -algebra X with G(X)=X , which is only [...]

На 8 януари 2024 г. (понеделник) от 13:00 часа в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: On the exceptional series and its siblings ще изнесе Bruce Westbury (retired from University of Warwick, UK). Абстракт. The exceptional series is the following series of eight simple Lie algebras: A1, A2, G2, D4, F4, E6, E7, E8 Consider each Lie algebra, g, as a representation of the group Aut(g). Then the centraliser algebras of the first five tensor powers of g have common structure. First, they have the same branching rules. We introduce a parameter so that the exceptional series is a set of eight points on a line. Then the [...]

На 23 февруари 2024 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Invariant subalgebras of the rational Cherednik algebra ще изнесе Niall Hird (University of Glasgow, UK). Абстракт. The rational Cherednik algebra is a degeneration of the double affine Hecke algebra and an object of interest to many representation theorists, it also has strong connections to integrable systems. In my talk I will discuss two subalgebras that arise from considering the invariants of the action of reductive subgroups of the special linear group. In particular we will examine the centres of these invariant subalgebras and compare with the algebra of invariants of the centre of the entire rational Cherednik algebra under the same [...]

На 22 март 2024 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: On the uniqueness of maximal solvable extensions of nilpotent Lie algebras ще изнесе Bakhrom A. Omirov (Harbin Institute of Technologies, Harbin, China and Romanovskiy Institute of Mathematics, Uzbekistan Academy of Sciences, Uzbekistan). Абстракт. During the talk it will be shown that under certain condition an arbitrary complex finite-dimensional maximal extension of a nilpotent Lie algebra N is isomorphic to the semidirect sum of N and its maximal torus. A criterion of the completeness for a finite-dimensional solvable Lie algebra is established. Comparisons with some existing results will also be discussed. Линк към Zoom-стаята на семинара: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 От секция „Алгебра и логика” на [...]

На 29 март 2024 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Generalized Definability of Discrete Time Interval-based Temporal Connectives ще изнесе Димитър Гелев, ИМИ - БАН. Абстракт. In Linear Temporal Logic with past (PLTL), expressive completeness implies that any first-order definable connective is also definable in the temporal language based on the Since and Until temporal operators. This is not the case about discrete time interval-based temporal logics with state-based semantics for the propositional variables. In this talk I prove the next best thing about the extension ITLNL of Moszkowski's discrete time propositional Interval Temporal Logic (ITL) by the neighbourhood modalities: given an interval-based connective # which admits a first-order definition, a star-free ITLNL defining formula for #(A1,...,Am) can be produced that [...]

На 12 април 2024 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: On an Aspect of Second Quantum Revolution ще изнесе Валентин Илиев, ИМИ - БАН. Абстракт. The 2022 Nobel Prize in Physics has been awarded to Alain Aspect, John Clauser, and Anton Zeilinger for their work in Quantum Theory. Mass media called this event part of second quantum revolution which includes mainly quantum computing and other super-technologies. Here we discuss Alain Aspect's version of Einstein-Podolsky-Rosen thought experiment and show that there exists an internal dependence of the simultaneous measurements made by the two pairs of linear polarizers operated in each leg of the apparatus during this experiment. The corresponding Shannon-Kolmogorov information flow [...]

На 7 юни 2024 г. (петък) от 12:30 часа в зала 503 на ИМИ ще се проведе присъствено заседание на семинара по „Алгебра и логика”. Доклад на тема: Some Properties and Applications of Kloosterman Sums on Finite Fields ще изнесе Любомир Борисов, ИМИ - БАН. Абстракт Поканват се всички желаещи да присъстват. От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

На 22 ноември 2024 г. (петък) от 13:00 часа в зала 578 на ИМИ ще се проведе присъствено заседание на семинара по „Алгебра и логика”. Доклад на тема: On Köthe’s normality question for locally finite-dimensional central division algebras ще изнесе Иван Чипчаков, ИМИ - БАН. Абстракт. This talk considers Köthe's question of whether every associative locally finite-dimensional (abbr., LFD) central division algebra R over a field K is a normally locally finite (abbr., NLF) algebra over K, that is, whether every nonempty finite subset Y of R is contained in a finite-dimensional central K-subalgebra RY of R. It shows that the answer to the posed question is negative if K is a purely transcendental extension of infinite transcendence degree over an algebraically closed field k. On the other hand, central [...]

На 21 февруари 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ ще се проведе присъствено заседание на семинара по „Алгебра и логика”. Доклад на тема: Classification of C*-algebras through the lens of Cartan subalgebras ще изнесе Ali Raad (Американски университет в България). Абстракт. C*-algebras were introduced in the last century following various attempts to mathematically formalize the foundations of quantum mechanics. As such they encapsulate the study of noncommutative topology, as every C*-algebra is an algebra of bounded operators on some Hilbert space. Over the years there has been a significant attempt to classify C*-algebras by an invariant consisting of K-theoretic and tracial data. A recent breakthrough result has shown that every classifiable C*-algebra has a distinguished Abelian subalgebra called a Cartan [...]

На 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 Поканват се всички желаещи да присъстват. От секция „Алгебра и логика” [...]

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

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

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

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

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

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