“Mathematics Days in Sofia”

Section “Mathematical Logic, Algebra, Number Theory, and Combinatorics”


Invited Speakers

  • Antun Milas, SUNY Albany, USA

  • Dessislava Kochloukova, State University of Campinas, Brazil

  • Greta Panova, University of Southern California, USA

  • Natasha Rozhkovskaya, Kansas State University, USA

  • Plamen Koshlukov, State University of Campinas, Brazil

  • Sihem Mesnager, Universities of Paris VIII, France

  • Tinko Tinchev, Sofia University “St. Kliment Ohridski”, Bulgaria


  • Alaa Abouhalaka, Çukurova University, Turkiye

  • Asen Bojilov, Sofia University “St. Kliment Ohridski”, Bulgaria

  • Assia Rousseva, Sofia University “St. Kliment Ohridski”, Bulgaria

  • Azniv Kasparian, Sofia Universiy “St. Kliment Ohridski”, Bulgaria

  • Dimiter Dobrev, Institute of Mathematics and Informatics, Bulgaria

  • Elitza Hristova, Institute of Mathematics and Informatics, Bulgaria

  • Emiliyan Rogachev, Sofia University “St. Kliment Ohridski”, Bulgaria

  • Hristo Iliev, American University in Bulgaria and Institute of Mathematics and Informatics, Bulgaria
  • Ibrahim Senturk, Ege University, Turkiye

  • Ivan Chipchakov, Institute of Mathematics and Informatics, Bulgaria

  • Ivanka Nikolova, University of Pittsburgh, USA

  • Marin Genov, Institute of Mathematics and Informatics, Bulgaria

  • Maya Stoyanova, Sofia University “St. Kliment Ohridski”, Bulgaria

  • Pancho Beshkov, Sofia University “St. Kliment Ohridski”, Bulgaria

  • Şehmus Fındık, Çukurova University, Turkiye

  • Tatiana Todorova, Sofia Universiy “St. Kliment Ohridski”, Bulgaria

  • Vesselin Drensky, Institute of Mathematics and Informatics, Bulgaria

  • Youngook Choi, Yeungnam University, Republic of Korea

Program and Abstracts

The aim of this talk is to examine the interplay between jet and arc algebras and vertex algebras. Our focus will be on identifying specific classes of vertex algebras that display the strongest connection to this relationship. To this end, we will consider examples such as principal subspaces, as well as vertex algebras that emerge from 4d/2d CFT correspondences. Throughout our talk, we will discuss combinatorial aspects and asymptotic properties of graded dimensions.

We prove some conditions for the existence of higher dimensional algebraic fibering of group extensions. This leads to various corollaries on incoherence of groups and some geometric examples of algebraic fibers of type FPn but not FPn+1. This is a joint work with Stefano Vidussi. If the time permits I will discuss a pro-p version of the above results.

A large part of Algebraic Combinatorics studies discrete structures from Representation Theory with combinatorial methods. The flagship hook-length formula counts the number of Standard Young Tableaux, which also give the dimension of the irreducible Specht modules of the Symmetric group. The beautiful Littlewood-Richardson rule gives the multiplicities of irreducible GL-modules in the tensor products of GL-modules. Such formulas and rules have inspired large areas of study and development beyond Algebra and Combinatorics. We will see what lies beyond the reach of such nice product formulas and combinatorial interpretations and enter the realm of Computational Complexity Theory, which can formally explain the beauty we see and the difficulties we encounter in finding further formulas and “combinatorial interpretations”. As a proof of concept, we show that the square of an irreducible character of the symmetric group cannot have any positive combinatorial formula as its computation is as hard as the polynomial time hierarchy.

We study the effect of linear transformations on quantum fields, with the main example of application to vertex operator presentations of Hall-Littlewood polynomials.

The construction is illustrated with examples  that include  certain versions of  multiparameter symmetric functions, Grothendieck polynomials, deformations by cyclotomic polynomials, and some other variations of Schur symmetric functions that exist in the literature. Linear transformations of  quantum fields effectively describe  preservation of commutation relations, stability, explicit combinatorial formulas and generating functions, polynomial tau functions of the KP and the BKP hierarchy.

The description of the group gradings on an algebra is rather important problem in Ring theory. The classification of the group gradings on matrix algebras (Bahturin, Sehgal, Zaicev) plays a prominent role in PI theory. The gradings on upper triangular matrix algebras were proved to be elementary, by Valenti and Zaicev. The elementary gradings on the upper triangular matrices were classified by Di Vincenzo, Koshlukov, Valenti.

Here we study block-triangular matrix algebras: these generalise the full matrix algebras and the upper triangular ones, the latter two lying on the “opposite” ends of block-triangular algebras. Valenti and Zaicev described the group gradings on such algebras provided the group is finite and abelian, and the field is algebraically closed and of characteristic 0. Yukihide recently obtained that every grading on these algebras comes from an elementary grading on a block-triangular algebra and a division grading on a full matrix algebra, provided that the Jacobson radical is homogeneous in the grading. He proved, moreover, that this is the case for arbitrary grading groups if the field is either of characteristic 0 or of characteristic p, larger than the dimension of the algebra.

We prove that for any group grading on a block-triangular matrix algebra, over an arbitrary field, the Jacobson radical is a graded (homogeneous) ideal. This yields the classification of the group gradings on these algebras and confirms a conjecture made by Valenti and Zaicev in 2007.

(Joint results with D. Silva and J. Galdino.)

This talk is devoted to functions over finite fields (Boolean and p-ary functions) as the main components in the general context of protection information theory. Those functions equipped with some cryptographic properties have attracted much attention in the literature, and many activities have been carried out on those functions during approximately five decencies. We shall introduce and discuss these functions by presenting mathematical tools to handle their main cryptographic properties. We shall highlight the related mathematical problems (concerning equations and exponential sums over finite fields) aiming to generate secure families in symmetric cryptography and use them to design linear codes for various applications. We shall focus on specific examples of problems, present a selection of very recent (2020-2022) mathematical achievements, and present some perspectives.

The formulas from the classical modal language are interpreted in Kripke frames – relational structures with one binary relation. In this way properties of Kripke frames can be expressed in both languages, the classical modal language and the first-order predicate language with one binary predicate symbol. Already Kripke, in the beginning of the 60-ies, observed that a first-order properties as reflexivity, symmetry and transitivity can be expressed by modal formulas. Later it was found that there exist modal formulas which express properties not expressible in the first-order predicate language and conversely, there are first-order properties not expressible in the modal language. In general, the Correspondence Theory (CT) studies the interactions between the properties of the Kripke frames from a given class K expressible in these languages. Indeed, a modal formula and first-order sentence are called correspondent with respect to a class of frames if they are valid in the same frames from K. In view of the important role of CT it is natural to study (algorithmic) decidability of the following three problems.

First-order definability with respect to K: determine whether a given modal formula has a first-order correspondent, Modal definability with respect to K: determine whether a given first-order sentence has a modal correspondent, Correspondence with respect to K: determine whether a given modal formula and a given first-order sentence correspond.

In this talk we trace classical results in CT and some recent advances.