Студентський математичний семінар

🎲 Реєстрацію на Probability and Games відкрито! 📅 9–10 січня 2027 Дві події від KSE Quant Club: ♠️ Змагання для студентів бакалаврату та магістратури. Реєстрація командою або індивідуально. У формі — три математичні задачі з поясненнями. 🔬 Конференція для студентів бакалаврату, магістратури та PhD. Анонімна робота англійською до 3 сторінок, взаємне рецензування й розгляд комітетом абстрактів. Виступи — у форматі наукових боїв. 🏆 Student Research Award — $1 000. 🚆 Дорогу та проживання покриваємо: • відібраним учасникам змагання, які потребують підтримки; • відібраним учасникам конференції з України. Для приїзду з-за кордону — часткова або повна допомога залежно від потреб. 🍽 Харчування — для всіх учасників. ⏳ Дедлайн: 10 грудня 2026, 23:59 за Києвом. ♠️ Реєстрація на змагання 🔬 Подання на конференцію

Dear all, This is to welcome you to join our (online) conversation with Peter Scholze (Max Planck Institute for Mathematics, Bonn) 4 pm Wednesday, October 28th (TU Berlin) IMOs, Fasanenstr. 89, 10623 Berlin, IMoS, Room 0004 (entrance at Müller-Breslau-Straße 10) in the framework of our interdisciplinary seminar AI through the looking glass: Interdisciplinary insights into challenges and risks https://sites.google.com/view/aithroughthelookingglass/home Peter Scholze will share his critical perspective on the rapid development of AI and its implications for mathematics and the mathematical community in an informal conversation. For the login data please write to: ai.and.the.looking.glass@gmail.com Please feel free to send us (at this address) questions you would like to address to Peter Scholze on that occasion. Looking forward to seeing you there! Best regards, Sylvie Paycha

Доброго дня всім! Уже завтра на львівському матсемінарі виступить Bart De Bruyn (Гентський університет, Бельгія) - відомий фахівець зі скінченної геометрії, автор підручника An Introduction to Incidence Geometry та лауреат медалі Холла. Тема: "On Neumaier graphs with four or five eigenvalues". Графи Ноймаєра поєднують кілька умов регулярності: усі вершини мають однаковий степінь, кожне ребро належить однаковій кількості трикутників, а також є кліка, з якою кожна зовнішня вершина має однакову кількість сусідів. Як ці комбінаторні умови обмежують спектр матриці суміжності? На доповіді йтиметься про два свіжі результати: таких графів із рівно чотирма різними власними значеннями не існує, а з п’ятьма є! Для тих, кому цікаво побачити, як лінійна алгебра працює в теорії графів і як графи пов’язані зі скінченною геометрією, це чудова нагода долучитися 🙂 🗓 Пн, 26 жовтня, о 18:00 (за київським часом). 💻 Онлайн у Zoom: 🔗 Приєднатися до доповіді Meeting ID: 789 057 7816 Passcode: 659199 📖 Анотація на сайті семінару Долучайтеся й запрошуйте друзів, яким цікаві графи та геометрія!

Запрошуємо усіх охочих доєднатися до шеститижневого мінікурсу з теорії напівгруп! Локація: КШЕ, Оболонська набережна 19, аудиторія 1.5 Час: Щоп'ятниці із 11:30 до 14:50 Формат: 1 лекція та 1 практика Старт: 16 жовтня Викладачі: Яків Байдук (Лекції), Христина Бочарська (практики) Теорія напівгруп — це малопопулярний розділ алгебри, в якому низький поріг входу і велика глибина. Вся теорія побудована з наявності лише однієї аксіоми! До курсу запрошуються зацікавлені математикою усіх рівнів, включно з першокурсниками. Детальний опис курсу можна знайти у файлику Подальша комунікація про курс буде в цьому чаті

This Wednesday in KSE Mathematics Seminar: “What mathematics are left for humans to understand? A case for diagrammatic calculus as a new approach to algebra, physics and computation” Speaker: Carlos Zapata-Carratala (University of Edinburgh and Wolfram Institute)   🗓When: September 30, 16:30–17:30 📍Where: KSE Campus Obolon, Oblonska Naberezhna 19, building 3, Room 3.1 or shelter under 3.1     Abstract: We live in the computational era of mathematics: formalization systems (e.g. LEAN) are increasingly encoding known mathematical theories and automated theorem proving (e.g. via AI agents) seems to be already at the level of solving long-standing open problems. In the face of this reality, us mathematicians should be asking ourselves what our role will be in the coming years. In this talk, I will offer you my personal approach to this question and how that connects with my current research on diagrammatic calculus and hypergraph algebras. In particular, I will explain the connection between simple constructions in graphs (and hypergraphs) with well-known algebraic objects such as groups, rings, categories, etc., and I will discuss a recent discovery that axioms such as associativity, distributivity, etc. can be encoded (and classified) in terms of hypergraph diagrams. I will also mention the ramifications of these developments to other fields in physics and computer science.

Друзі, є цікава новина: Іоргов Микола Зинонійович , заступник завідувача кафедри теоретичної та математичної фізики КАУ, з цього понеділка 14 вересня читатиме курс "Математичні доведення в Lean 4". Lean 4 має розвинуту систему типів, яка дозволяє сформулювати математичні теореми та їх доведення як програми. Тому компілятор, коли перевіряє, що всі типи в програмі узгоджені, він фактично перевіряє коректність математичних доведень. Отже, якщо доведення, написане як програма в Lean 4, компілюється, значить доведення правильне. В останній час, коли ШІ доводить математичні теореми, його змушують записати їх мовою Lean, щоб компілятор Lean зміг перевірити коректніть доведення. До заняття можна буде підключитися по Zoom (щопонеділка о 14:30). Також планується запис лекцій.

🤖 Запрошую до спільноти дослідників автономних систем - за підтримки КАУ та Інституту математики НАН України Автономні системи та робототехніка зараз особливо важливі для України. Тому ми створюємо відкриту академічну спільноту для людей, яким цікава математика автономних систем, робототехніка, машинне навчання, керування та суміжні теми. Будемо разом навчатися, обговорювати статті, робити спільні дослідження, публікуватися. 📌 Найближчим часом запустимо: - відкритий семінар - "Вступ до автономних систем" - більш фундаментальний курс, який читатиме Максим Шамрай - "Інженерія автономних робототехнічних систем" - більш практичний курс, який читатиме Олег Самойленко Долучитися можуть як студенти КАУ, так і вільні слухачі, яким ми плануємо видавати сертифікати з кредитами від КАУ, після успішного завершення курсів. Мати досвід у робототехніці не обов’язково. Якщо вам цікава тематика, хочеться в ній розібратися, долучитися до спільних досліджень - приєднуйтеся. ➡️ Реєстрація: forms.gle/SZYUsTxbzq75GVPz9

Доброго дня всій шановній СМС-спільноті! У цьому пості ми шукаємо студентів для дипломного проєкту у сфері privacy-enhancing cryptography та цифрових ідентичностей. Можливі теми: — цифрові ідентичності та їхня безпека; — приватність користувачів у сучасних цифрових системах; — аналіз існуючих систем та їхніх privacy-ризиків; — дослідження того, як існуючі системи можна покращити за допомогою privacy-enhancing cryptography. Хто шукає? Проєкт виконуватиметься у співпраці з Chair of Applied Cryptography, TU Darmstadt — дослідницькою групою, що працює над сучасними задачами прикладної криптографії та регулярно публікується на престижних міжнародних конференціях і в журналах у цій сфері. TU Darmstadt — один із провідних технічних університетів Німеччини, сильний у Computer Science та IT Security. За даними CSRankings, факультет інформатики TU Darmstadt посідає 2-ге місце в Німеччині та 8-ме в Європі. Що ми пропонуємо? — можливість виконати бакалаврську або магістерську роботу на актуальну дослідницьку тему; — регулярну співпрацю та супервізію з боку дослідників TU Darmstadt; — робота потенційно може стати основою для першої наукової публікації та подальшої роботи у сфері digital identity / privacy-enhancing technologies. Чого очікуємо від кандидата? — ґрунтовна математична/інформатична база; — готовність читати наукові публікації та технічну документацію; — попередній досвід з криптографією не обов'язковий, але буде плюсом. Контакт: illia.bilyi@tu-darmstadt.de Дедлайн подачі: 27.08.2026 У листі достатньо назвати себе, програму навчання та додати коротке CV. Після завершення прийому заявок планується один раунд коротких інтерв’ю з кандидатами.

Друзі, хочемо поділитися з вами дуже хорошим текстом на DOU авторства Eleonora Burdina про Юлію Здановську - українську математикиню, вчительку та волонтерку, яка загинула в Харкові у березні 2022 року. Юлія була призеркою міжнародних математичних олімпіад, але ще важливіше те, як вона ставилася до математики, освіти та людей навколо себе. Вона хотіла викладати, змінювати українську освіту і робити математику ближчою до школярів. Для нашого Студматсемінару це особливо варта прочитання історія. Вона про те, якими різними можуть бути шляхи людей, що люблять математику, і наскільки далеко ця любов може виходити за межі доведення теорем. https://dou.ua/lenta/articles/obituary-for-yuliia-zdanovska/

Студентський математичний семінар щиро вітає свого керівника Сергія Козеренка та постійного учасника Якова Байдука з прийняттям до публікації їхньої спільної статті під назвою "Transformation semigroup perspective on the magma monoid" у журналі Semigroup Forum: https://link.springer.com/article/10.1007/s00233-026-10659-x "Магма моноїд" - це алгебраїчна структура, елементами якої є всі можливі бінарні операції на фіксованій множині. У статті пропонується новий погляд на цю структуру, пов’язуючи бінарні операції з перетвореннями впорядкованих пар. Такий підхід дозволив описати основні типи елементів та ідеалів цього моноїда, отримати точні формули для їх кількості, відповісти на кілька відкритих питань і виправити опублікований раніше результат щодо центру магма моноїда. Препринт цієї роботи на arXiv: https://arxiv.org/abs/2607.13746

Шановна СМС-громадо, цим постом ми підбиваємо підсумки чергового сезону Студматсемінару! 🥳 Цього сезону ми провели 12 засідань, тож давайте ще раз згадаємо всіх доповідачів і теми їхніх доповідей 🙂: 1. Сергій Слободянюк — "Чи існують неперервні функції трьох змінних?". 2. Нікіта Арський — "Нескінченновимірні векторні простори". 3. Єгор Окунєв — "Оцінювання емпіричної функції розподілу інтервально цензурованих даних за допомогою алгоритму Turnbull". 4. Еван Грогуль — "Задачі на побудову. Елементи теорії Галуа". 5. Ксенія Тітова — "Апроксимація поліномами Бернштейна та криві Безьє". 6. Яків Байдук — "Обернення теореми Келі та група розрепрезентацій напівгрупи". 7. Нікіта Арський — "Прямі границі алгебричних систем". 8. Єгор Іващенко — "Характеризація скінченних абелевих груп". 9. Олександр Любімов — "Пакування опуклих множин в евклідових просторах: нижні оцінки для щільності найщільніших ґраткових пакувань". 10. Олексій Пушкаш —"Лема Йонеди та структуралізм". 11. Дмитро Лупашко — "Вступ до спектральної теорії графів". 12. Олександр Любімов — "Ефективні ґраткові пакування опуклих тіл та теорія кодів". Відеозаписи засідань можна переглянути на нашому YouTube-каналі: https://www.youtube.com/@KSEStudentsMathematicalSeminar У середньому на одному засіданні було 20,3 людини (офлайн+онлайн)! Це гарний показник, тож ми щиро дякуємо всім доповідачам і слухачам за цікаві виступи, активність та підтримку семінару. 🥰💪🏻 ТОП-3 доповіді за відвідуваністю: 1. Нікіта Арський про прямі границі алгебричних систем — 31 людина. 2. Сергій Слободянюк про функції кількох змінних — 29 людей. 3. Нікіта Арський про нескінченновимірні векторні простори — 29 людей. Дякуємо всім, хто був із нами цього сезону! Гарного відпочинку та до зустрічі в наступному сезоні Студматсемінару! 🤓

Відеозапис СМС-12 (Олександр Любімов): https://www.youtube.com/watch?v=U5e6i2TNb0E

Онлайн-літня школа: Вступ до стохастичного числення та теорії похибок Школа присвячена вивченню того, як похибки та невизначеності поширюються під час обчислень. Курс покаже, як ймовірнісні методи допомагають аналізувати похибки у складних математичних моделях та випадкових процесах. Кожна денна сесія завершується годиною практики: розв'язання задач та симуляції на Python. 🗓 Коли та розклад (за Київським часом): 17–21 серпня 2026 року. 09:00-10:30 та 10:45-12:00 — ранкові лекції 14:00-15:00 та 15:10-16:00 — денна лекція та практична сесія 💻 Формат: Онлайн (Zoom) 🇬🇧 Мова викладання: Англійська (запитання також можна ставити українською або французькою) 👥 Цільова аудиторія: Запрошуються студенти (бакалаври та магістри), аспіранти і дослідники з математики, прикладної математики, фізики та суміжних спеціальностей. Школа доступна для всіх, хто має базові знання з теорії ймовірностей, які викладаються на перших двох курсах бакалаврату. 👨‍🏫 Викладачі: Victor Rabiet та Olivier Rioul (Télécom Paris). 📝 Як зареєструватися? Надішліть електронний лист на адресу victor.rabiet@telecom-paris.fr з темою "Summer school registration". У листі вкажіть ваше ім'я, назву університету, рік навчання. ⏳ Дедлайн реєстрації: п'ятниця, 14 серпня 2026 року (посилання на Zoom та матеріали курсу будуть надіслані зареєстрованим учасникам електронною поштою). 📄 Програма школи та детальна інформація доступна за посиланням: https://perso.telecom-paristech.fr/rioul/summer-school2026.pdf

Фотозвіт СМС-12 (Олександр Любімов).

Студентський математичний семінар запрошує всіх на завершальне, 12 засідання СМС у 1-ому сезоні 2026 року: Назва: "Ефективні ґраткові пакування опуклих тіл та теорія кодів". Доповідач: Олександр Любімов, механіко-математичний факультет КНУ. Коли: Чт, 16.07 о 18:00. Де: KSE Dragon Capital Building (вул. М. Шпака 3), ауд 2.15.2. Формат: офлайн + онлайн. Реєстрація обов’язкова за посиланням: https://docs.google.com/forms/d/e/1FAIpQLSdw7o5nY0AHpc-iqyKDoq6mPZ6KfLL7I0zjwcCYagV_HVNqdA/viewform?usp=publish-editor Анотація: Це засідання продовжує тему пакувань опуклих множин в евклідових просторах, розпочату на 9-му СМС-засіданні в доповіді Олександра. Нагадаємо, що одна з основних ідей у задачах про щільні пакування полягає в тому, щоб розміщувати однакові копії опуклого тіла у вузлах певної ґратки. Цього разу ми зосередимося на тому, як для побудови таких ґраток можна використовувати методи теорії кодів. Зокрема, поговоримо про зв’язок між кодами та ґратковими пакуваннями, а також про те, як дискретні комбінаторні структури допомагають будувати щільні пакування в багатовимірних евклідових просторах. Зауважимо, що це буде завершальне засідання поточного сезону Студматсемінару! Після доповіді ми коротко підсумуємо цей сезон: згадаємо проведені зустрічі, обговоримо найцікавіші моменти та подальші плани семінару. А ще вип’ємо чай зі смаколиками в теплій математичній атмосфері. 😉

Привіт! За тиждень в ІТФі (тут для тих хто не знає) відбудеться міні-школа з окремих тем з математики та фізики. Ця школа це підготовка до школи ICMU з симетрій, яка відбудеться в серпні в Карпатах. Але до цієї пре-школи ми запрошуємо всіх охочіх, незалежно від участі в школі ICMU! Школа відбудеться у змішаному онлайн-форматі, але особиста участь заохочується! Робоча мова школи англійська, бо частина лекторів і учасників не з України. В рамках школи буде 2-3 годин занять до обіду та 2-3 години занять після обіду. Орієнтовна програма така: Week 1 (July 20-24): Math: - Differentiable manifolds - Tangent and cotangent space - Differential forms. Integration of differential forms - De Rham differential. Generalized Stokes theorem Physics: - Lagrangian classical mechanics (variational principle, Euler-Lagrange equations) - Lagrangian formulation of classical field theory (action, examples of scalar theory and electrodynamics) - Spontaneous symmetry breaking in scalar theory - Non-abelian gauge theories, Sigma-models Week 2 (July 27-31): Math: - Generalities on groups and actions of groups - Lie groups and Lie algebras - Basics of representation theory (sl_2, sl_3, Poincare group) - Basic notions of categories Physics: - Quantum mechanics (basic notions, many-body systems: spin chains) - Path integral in quantum mechanics (including fermionic particles) Якщо ви хочете взяти участь, заповніть, будь ласка, якнайшвидше реєстраційну форму: https://forms.gle/3C5nQAEvjsxbbHou5 Координація школи буде відбуватись в цьому самому чаті: https://t.me/+LQ5he945B2tjY2Uy Будемо дуже вдячні якщо ви поширите цю інформацію з іншими потенційно зацікавленими людьми!

Відеозапис СМС-11 (на жаль, маємо лише запис із зуму через нестабільну роботу камери): https://youtu.be/aB8la4h_Tz8

Фотозвіт СМС-11 (Дмитро Лупашко).