На 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/ ============================== =====================

На 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/ ============================== =====================

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

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

На 3 април 2026 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: On Pairs of Non-commuting Hermitian Operators on the Unitary Plane which are Permutable Measurements ще изнесе Валентин Илиев (ИМИ-БАН). Резюме. In this presentation we study observables with spectre {-1,1} on quantum systems with the unitary plane as a space of states. Examples of such quantum systems are spin-1/2 particles. We find necessary and sufficient conditions for two non-commuting observables to be permutable measurements, that is, the probability of obtaining a particular pair of results does not depend on the order of taking these measurements. Several examples are presented. Линк към zoom-стаята на семинара: https://us02web.zoom.us/j/88300991142?pwd=wGYl7VaD9RZKEm99sKzHMzl3bYCv3J.1 Поканват се всички желаещи да присъстват. От [...]