Семинар “Алгебра и логика”

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

Семинар “Алгебра и логика”

На 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 От секция „Алгебра и логика” на [...]

Семинар “Алгебра и логика”

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

2024-02-16T15:18:21+02:00петък, 16 февруари 2024|Categories: |Tags: |

Семинар “Алгебра и логика”

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

2024-01-04T20:04:00+02:00четвъртък, 4 януари 2024|Categories: |Tags: |

Семинар “Алгебра и логика”

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

Семинар “Алгебра и логика”

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

2023-11-21T10:34:51+02:00понеделник, 20 ноември 2023|Categories: |Tags: |

Семинар “Алгебра и логика”

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

2023-11-14T20:28:03+02:00вторник, 14 ноември 2023|Categories: |Tags: |

Семинар “Алгебра и логика”

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

2023-11-06T12:11:08+02:00понеделник, 6 ноември 2023|Categories: |Tags: |

Семинар “Алгебра и логика”

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

2023-10-26T19:14:27+03:00четвъртък, 26 октомври 2023|Categories: |Tags: |

Семинар “Алгебра и логика”

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

2023-10-16T09:47:35+03:00понеделник, 16 октомври 2023|Categories: |Tags: |
Go to Top