An online session of the Algebra and Logic Seminar will be held on November 19, 2021 (Friday) at 1:00 p.m. (UTC +2). A talk on Identities of Vector Spaces and Nonassociative Linear Algebras will be delivered by Alexey V. Kislitsin (Altai State Pedagogical University, Barnaul, Russia). This is a joint talk with Ismail M. Isaev (Altai State Pedagogical University, Barnaul, Russia). The talk will be delivered in Russian, the slides will be in English. Abstract. 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 [...]

An online session of the Algebra and Logic Seminar will be held on November 26, 2021 (Friday) at 1:00 p.m. (UTC +2). A talk on On a method of proving the non-existence of modal formulae satisfying certain syntactic properties and defining a given class of frames will be delivered by Petar Iliev (Institute of Philosophy and Sociology and Institute of Mathematics and Informatics, Bulgarian Academy of Sciences). Abstract.  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 [...]

An online session of the Algebra and Logic Seminar will be held on December 3, 2021 (Friday) at which two talks will be delivered. At 1:00 pm (UTC+2) a talk on A Separation Theorem for Discrete Time Interval Temporal Logic will be delivered by Dimitar Guelev *(joint work with Ben Moszkowski). The talk will be delivered in Bulgarian with presentation in English. Abstract. Gabbay's separation theorem about linear temporal logic with past is admittedly one of the most useful theoretical results in temporal logic. In this talk, we establish an analogous statement about Moszkowski’s discrete time propositional Interval Temporal Logic (ITL) with two sets of expanding modalities, namely the unary neighbourhood modalities and the binary weak inverses of ITL's chop operator. (The two pairs of [...]

An online session of the Algebra and Logic Seminar will be held on January 7, 2022 (Friday) at 1:00 pm (UTC+2). A talk on A valuation theorem for Noetherian rings will be delivered by Antoni Rangachev (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences). Abstract. 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' [...]

An online session of the Algebra and Logic Seminar will be held on January 21, 2022 (Friday) at 1:00 pm (UTC+2). A talk on On the distribution of αp modulo one for primes p=aq^2+1 with prime q will be delivered by Tatyana Todorova (FMI, Sofia University, Bulgaria). Abstract. 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 [...]

An online session of the Algebra and Logic Seminar will be held on January 28, 2022 (Friday) at 1:00 pm (UTC+2). A talk on: Bicommutative algebras from commutative point of view will be delivered by Vesselin Drensky (IMI - BAS). Abstract: 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 [...]

An online session of the Algebra and Logic Seminar will be held on February 11, 2022 (Friday) at 1:00 pm (UTC+2). A talk on: Modal definability of some classes of modal products will be delivered by Yana Rumenova (FMI - Sofia University). This is a joint work with Tinko Tinchev (FMI - Sofia University). Abstract The seminar will be held via Zoom and anyone can join at: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 11, 2022 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Algebra and Logic Department, IMI-BAS http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

An online session of the Algebra and Logic Seminar will be held on February 18, 2022 (Friday) at 4:00 pm (UTC+2). A talk on: The Bulgarian Solitaire and Other Games on Partitions will be delivered by Vesselin Drensky (IMI - BAS). Abstract. 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 [...]

An online session of the Algebra and Logic Seminar will be held on February 25, 2022 (Friday) at 1:00 pm (UTC+2). A talk on: On the Degree of Dependence of Two Events as a Relative Invariant of the Dihedral Group of Order 8 will be delivered by Valentin Iliev (IMI - BAS). Abstract The seminar will be held via Zoom and anyone can join at: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 25, 2022 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Algebra and Logic Department, IMI-BAS http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

An online session of the Algebra and Logic Seminar will be held on March 11, 2022 (Friday) at 2:00 pm (UTC+2). A talk on: Multi-summation in difference rings and applications will be delivered by Carsten Schneider (Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria). Abstract. 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 [...]

An online session of the Algebra and Logic Seminar will be held on March 18, 2022 (Friday) at 4:00 pm (UTC+2). A talk on: Absorbing ideal structures of commutative rings will be delivered by Ece Yetkin Celikel (Hasan Kalyoncu University, Turkey). Abstract. 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 [...]

An online session of the Algebra and Logic Seminar will be held on March 25, 2022 (Friday) at 1:00 pm (UTC+2). A talk on: An Application of Separation in Discrete Time Interval Temporal Logic to Branching Time will be delivered by Dimitar Guelev (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences). Abstract. 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 [...]

An online session of the Algebra and Logic Seminar will be held on April 1, 2022 (Friday) at 1:00 pm (UTC+3). A talk on: Automorphisms of simple quotients of the Poisson and universal enveloping algebras of sl_2 will be delivered by Altyngul Naurazbekova (L. N. Gumilyov Eurasian National University, Nur-Sultan, Kazakhstan). Abstract. 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 [...]

An online session of the Algebra and Logic Seminar will be held on April 15, 2022 (Friday) at 1:00 pm (UTC+3). A talk on: Quantisation of free associative dynamical systems. Bi-quantum structure of the stationary KdV hierarchy. Non-deformation quantisation of the Volterra hierarchy will be delivered by Alexander V. Mikhailov (University of Leeds, UK). Abstract. 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 [...]

An online session of the Algebra and Logic Seminar will be held on April 29, 2022 (Friday) at 4:00 pm (UTC+3). A talk on: Images of multilinear polynomials on upper triangular matrices will be delivered by Thiago Castilho de Mello (Universidade Federal de São Paulo, Brazil). Abstract.  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 [...]

An online session of the Algebra and Logic Seminar will be held on May 13, 2022 (Friday) at 1:00 pm (UTC+3). A talk on: A counterexample to the modular isomorphism problem will be delivered by Diego García-Lucas (Universidad de Murcia, Spain). Abstract. 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 [...]

An online session of the Algebra and Logic Seminar will be held on May 20, 2022 (Friday) at 4:00 pm (UTC+3). A talk on: Bootstrap percolation: merging operations for polytopes will be delivered by Ivailo Hartarsky (Université Paris-Dauhpine, PSL, France, visiting scholar at Instituto de Matemática Pura e Aplicada, Rio de Janeiro, Brazil). Abstract. 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 [...]

An online session of the Algebra and Logic Seminar will be held on June 10, 2022 (Friday) at 4:00 pm (UTC+3). A talk on: Computing Eigenvectors of Symmetric Tridiagonals with the Correct Number of Sign Changes will be delivered by Plamen Koev (San José State University, USA). Abstract. 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: [...]

An online session of the Algebra and Logic Seminar will be held on June 24, 2022 (Friday) at 1:00 pm (UTC+3). A talk on: Dependent-Type Theory of Situated Information with Context Assessments will be delivered by Roussanka Loukanova. Abstract. 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 [...]

An online session of the Algebra and Logic Seminar will be held on July 1, 2022 (Friday) at 1:00 pm (UTC+3). A talk on: On the parity of the coefficients of minimal polynomial of Kloosterman sums over Fp will be delivered by Lyubomir Borisov. Abstract. 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. [...]

An online session of the Algebra and Logic Seminar will be held on July 29, 2022 (Friday) at 1:00 pm (UTC+3). A talk on: Modal Descriptive Complexity will be delivered by Petar Iliev (IPS-BAS and IMI-BAS, Bulgaria). Abstract.  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 [...]

An online session of the Algebra and Logic Seminar will be held on August 19, 2022 (Friday) at 1:00 pm (UTC+3). A talk on: Examples of non-reduced components of the Hilbert Scheme of smooth projective curves using ruled surfaces will be delivered by Hristo Iliev (American University in Bulgaria and IMI-BAS, Bulgaria). Abstract. 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 [...]

An online session of the Algebra and Logic Seminar will be held on September 9, 2022 (Friday) at 1:00 pm (UTC+3). A talk on: Timing delays in cyber-physical systems will be delivered by Naijun Zhan (Institute of Software Chinese Academy of Sciences ISCAS, China). Abstract. 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 [...]

An online session of the Algebra and Logic Seminar will be held on September 16, 2022 (Friday) at 2:00 pm (UTC+3). A talk on: Almost Prime Ideal and Almost Prime Radical will be delivered by Alaa Abouhalaka (Çukurova University, Adana, Turkey). Abstract. 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).   Join Zoom meeting: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Sep 16, [...]

The next meeting of the Algebra and Logic Seminar will be held on September 23, 2022 (Friday) at 1:00 pm (UTC+2) in Room 578 of IMI - BAS. A talk on: Geometry and logic in quantum computations will be delivered by Nikolay M. Nikolov (INRNE - BAS). Abstract. In 1936, Garrett Birkhoff and John Von Neumann published one of the most general axiomatic foundations of Quantum Theory, which has become known to this day as "Quantum Logic" (Annals of Mathematics, vol. 37 (1936) 823-843). In this work, they start from an ortho-modular lattice that serves as a model of the partially ordered set of all quantum events. They also found a connection with Projective Geometry. The main case of geometries is on complex numbers, but [...]

The next meeting of the Algebra and Logic Seminar will be held on October 14, 2022 (Friday) at 1:00 pm (UTC+2) in Room 578 of IMI - BAS and online in Zoom. A talk on: Families of triple coverings of algebraic curves will be delivered by Hristo Iliev (American University in Bulgaria and IMI - BAS). Abstract. The talk is a continuation of my previous talk "Examples of non-reduced components of the Hilbert scheme of smooth projective curves using ruled surfaces" that I gave on August 19, 2022. In the present talk we consider curves that are triple covers of smooth projective curves of genus γ ≥ 0. We obtain families of curves on smooth surface scrolls which, under suitable numerical assumptions, yield components of [...]

The next meeting of the Algebra and Logic Seminar will be held on October 21, 2022 (Friday) at 1:00 pm (UTC+2) online in Zoom. A talk on: Ranks and Presentations for Order-Preserving Transformations with One Fixed Point will be delivered by Jörg Koppitz (joint work with S. Worawiset). Abstract. 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 [...]