The next meeting of the Algebra and Logic Seminar will be held on April 25, 2025 (Friday) at 1:00 pm (UTC+2) in Room 578 of IMI-BAS. A talk on: Hilbert scheme of smooth projective curves and some easy examples will be delivered by 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 [...]

The next meeting of the Algebra and Logic Seminar will be held on March 128, 2025 (Friday) at 1:00 pm (UTC+2) in Room 578 of IMI-BAS and online via Zoom. A talk on: Graded algebras that are the sum of two homogeneous subalgebras will be delivered by Plamen Koshlukov (State University of Campinas, Brazil). Abstract. 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 [...]

The next meeting of the Algebra and Logic Seminar will be held on March 14, 2025 (Friday) at 1:00 pm (UTC+2) in Room 578 of IMI-BAS and online via Zoom. A talk on: Protection Against Noise for a Type of Quantum Computation will be delivered by Valentin Iliev (IMI-BAS, Bulgaria). Abstract. 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 link for the seminar: Https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Everybody is invited. Algebra and Logic Department, IMI [...]

The next meeting of the Algebra and Logic Seminar will be held on February 21, 2025 (Friday) at 1:00 pm (UTC+2). A talk on: Classification of C*-algebras through the lens of Cartan subalgebras will be delivered by Ali Raad (American University in Bulgaria). Abstract.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 subalgebra. Cartan subalgebras [...]

The next meeting of the Algebra and Logic Seminar will be held on November 22, 2024 (Friday) at 1:00 pm (UTC+2). A talk on: On Köthe’s normality question for locally finite-dimensional central division algebras will be delivered by Ivan Chipchakov, IMI - BAS. Abstract. 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 division LFD-algebras [...]

The next meeting of the Algebra and Logic Seminar will be held online via Zoom on April 12, 2024 (Friday) at 1:00 pm (UTC+2). A talk on: On an Aspect of Second Quantum Revolution will be delivered by Valentin Iliev, IMI - BAS. Abstract.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 next meeting of the Algebra and Logic Seminar will be held online via Zoom on April 12, 2024 (Friday) at 1:00 pm (UTC+2). A talk on: On an Aspect of Second Quantum Revolution will be delivered by Valentin Iliev, IMI - BAS. Abstract.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 next meeting of the Algebra and Logic Seminar will be held online via Zoom on March 29, 2024 (Friday) at 1:00 pm (UTC+2). A talk on: Generalized Definability of Discrete Time Interval-based Temporal Connectives will be delivered by Dimitar Guelev (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences). Abstract.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 [...]

The next meeting of the Algebra and Logic Seminar will be held online via Zoom on March 22, 2024 (Friday) at 1:00 pm (UTC+2). A talk on: On the uniqueness of maximal solvable extensions of nilpotent Lie algebras will be delivered by Bakhrom A. Omirov (Harbin Institute of Technologies, Harbin, China and Romanovskiy Institute of Mathematics, Uzbekistan Academy of Sciences, Uzbekistan). Abstract.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. Link to the Zoom room: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09   Algebra and Logic [...]