Семинарът по МАТЕМАТИЧЕСКИ ОСНОВИ НА ИНФОРМАТИКАТА организиран от Секция „Математически основи на информатиката“ към ИМИ - БАН и Факултет „Математика и информатика“ - ВТУ, Ви кани на поредната сбирка на 8 януари 2025 г. от 17:00 часа в зала 401 на корпус 4 на ВТУ, на която Prof. Ferruh Özbudak Sabancı University Faculty of Engineering and Natural Sciences, İstanbul - Turkiye ще изнесе доклад на тема: Generalizing the Bierbrauer—Friedman bound to mixed-level orthogonal arrays (joint work with Denis Krotov and Vladimir Potapov) Abstract: We characterize mixed-level orthogonal arrays it terms of algebraic designs in a special multigraph. We prove a mixed-level analog of the Bierbrauer--Friedman (BF) bound for pure-level orthogonal arrays and show that arrays attaining it are radius-1 completely regular codes (equivalently, intriguing sets, [...]

На 2 октомври 2024 г. (сряда) от 14:00 часа в зала 478 на ИМИ-БАН ще се състои поредната сбирка на семинара на секция „Математически основи на информатиката". Доклад на тема Lipschitz Permutations on Certain Graphs ще изнесе Драгомир Грозев. Абстракт

На 8 февруари 2024 г. (четвъртък) от 15:00 часа в зала 256 на ИМИ-БАН ще се проведе заседание на семинара на секция „Математически основи на информатиката". Доклад на тема  Extremal problems in Euclidean combinatorial geometry ще изнесе доц. д-р Данила Черкашин Абстракт.  I will talk about several problems in the intersection of extremal combinatorics and Euclidean geometry. Recent results on the Steiner tree problem, Gilbert-Steiner problem, and Nelson-Hadwiger problem will be presented. Семинарът може да бъде проследен и на https://meet.jit.si/IMI-MOI-14400

На 10 ноември 2023 г. (вторник) от 14:00 часа в зала 478 на ИМИ-БАН ще се проведе заседание на семинара на секция „Математически основи на информатиката". Доклад на тема On induced C_4 -free graphs with high average degree ще изнесе Антонио Жирао. Абстракт.  A long-standing conjecture of Thomassen from the 80's states that every graph with sufficiently high average degree contains a subgraph with high girth and still preserving large enough average degree. This conjecture has only been resolved in the early 2000's by Kühn and Osthus in the first non-trivial case i.e. they showed that for every k , there is f(k) such the every graph with average degree at least f(k) contains a subgraph which is C_4 -free with average [...]

На 31 октомври 2023 г. (вторник) от 16:00 часа в зала 578 на ИМИ-БАН ще се проведе заседание на семинара на секция „Математически основи на информатиката". Доклад ще изнесе д-р Константин Воробьов (ИМИ - БАН). Абстракт. In this work, we consider the problem of determining the exact value of A_2(n, {d, d+2}) defined as the maximal cardinality of a binary code of length n with two possible distances d and d+2 . We prove that for fixed even d and n big enough, an optimal code must be a constant-weight code of weight d/2+1 with possibly no more than one additional codeword of a different weight. We also find exact values A_2(n, {4, 6}) and A_2(n, {6, 8}) [...]

На 22 август 2023 г. (вторник) от 16:00 часа в зала 503 на ИМИ-БАН ще се проведе заседание на семинара на секция „Математически основи на информатиката". Доклад на тема: Data Attribution: Scaling up and Applications to Defending Against Backdoor Attacks ще изнесе Кристиян Георгиев, докторант в MIT под ръководството на Александър Мондри. Абстракт. The goal of data attribution is to trace model predictions back to training data. Despite a long line of work towards this goal, existing approaches to data attribution tend to force users to choose between computational tractability and efficacy. That is, computationally tractable methods can struggle with accurately attributing model predictions in non-convex settings (e.g., in the context of deep neural networks), while methods that are effective in such regimes require [...]

На 27 юни 2023 г. (вторник) от 14:00 часа в зала 278 на ИМИ-БАН ще се проведе заседание на семинара на секция „Математически основи на информатиката". Доклад на тема: The Erdős Box Problem and the Combinatorial Nullstellensatz ще изнесе д-р Алексей Гордеев, гостуващ учен към секцията. Абстракт. The Erdős box problem can be formulated as follows: how many points of {1,2,…,n}^m can we take so that for every m-dimensional box (hyperrectangle with sides parallel to coordinate axes) at least one of its vertices is not taken? When m is fixed and n increases, an order of growth of this number is known only in the case m=2. I will talk about Alon’s Combinatorial Nullstellensatz and its connection with the Erdős box problem and, more generally, with [...]

На 10 май 2023 г. (сряда) от 15:00 часа в зала 503 на ИМИ-БАН ще се проведе заседание на семинара на секция „Математически основи на информатиката". Доклад на тема: Ternary self-dual codes, Hadamard matrices and related designs ще изнесе проф. Владимир Тончев, Michigan Technological University, Houghton, USA. Абстракт на доклада може да изтеглите тук.

На 9 март 2023 г. (четвъртък) от 15:00 часа в зала 503 на ИМИ-БАН ще се проведе заседание на семинара на секция „Математически основи на информатиката". Доклад на тема: Introduction to the dimer model on the plane: scaling limit and conformal invariance ще изнесе д-р Михаил Басок, гостуващ учен по програма ПИКОМ. Абстракт:  Dimer model is a classical model in planar statistical physics. Given a finite graph, the model is described as a probability distribution on the set of dimer covers (=perfect matchings) of the graph. In the case when the graph is planar each dimer cover is described with the so-called height function, which is a certain function on the faces of the graph. In this talk we consider a particular setup when [...]

На 05.07.2022г. oт 14:00 в заседателната зала на ИМИ-БАН ще се състои сбирка на семинара на секция „Математически основи на информатиката“. Докладчик ще бъде проф. Александър Барг от Университета на Мериленд. Той ще изнесе доклад на тема Remarks on the 1st linear programming bound for binary codes Abstract: The "linear programming bound" on the rate of binary codes (1977) is a fundamental result in coding theory that continues to attract attention to this day, with new proofs appearing every now and then. I will discuss 2 proofs from about 2006-08, appearing in arXiv:cs/0512025 (Barg-Nogin) and arXiv:math/0702425 (Navon and Samorodnitsky). Both proofs are based on Fourier analytic arguments on the Boolean cube and exhibit interesting parallels and differences (none of them actually uses linear programming). [...]