Seminar-Announce

Download

seminar-announce@snurep.crystalline.site

September 2024

1 participants
2 discussions

조합론 강연 안내 (Towards plethystic formulas for wreath Macdonald polynomials)
by Soo-Hong Lee (SNU) 24 Sep '24

24 Sep '24

구독자 여러분께, 안녕하세요, 내일 (9월 25일) 예정된 조합론 강연에 대해 안내드립니다. http://www.math.snu.ac.kr/board/index.php?mid=seminars&document_srl=1277661 강연 상세 정보를 하단에 첨부하였으며, 관심 있으신 분들의 많은 참여 바랍니다. 감사합니다. 이수홍 올림 _______________________________________________ Towards plethystic formulas for wreath Macdonald polynomials Date 2024-09-25 Speaker Joshua Wen Dept. Universität Wien Room 27-325 Time 14:30-16:00 Defined by Haiman, the wreath Macdonald polynomials are a generalization of the modified Macdonald polynomials where the symmetric groups are replaced by their wreath products with a fixed cyclic group. Through a wreath analogue of the Frobenius characteristic, they correspond to partially-symmetric functions. Their existence and Schur positivity were proved by Bezrukavnikov--Finkelberg using geometric methods, and many of their combinatorial aspects remain unexplored. In this talk, I will introduce them from a symmetric-function-theoretic perspective, building up to a conjectural wreath generalization of the plethystic formula of Garsia--Haiman--Tesler (GHT). If time permits, I will discuss the interplay with quantum toroidal algebras, both in the original GHT formula and in the wreath setting.

1 0

AI for Mathematics Workshop on Formalization
by Soo-Hong Lee (SNU) 12 Sep '24

12 Sep '24

구독자 여러분께, 이번 겨울에 개최될 수학의 형식화에 대한 워크샵을 소개해 드립니다. _______________________________________________ AI for Mathematics Workshop on Formalization 장소: KIAS 8101 일시: 2024년 12월 17일 홈페이지: http://events.kias.re.kr/h/AIforMath/ [http://events.kias.re.kr/h/AIforMath/] _______________________________________________ 수학의 형식화에 대한 최신 트렌드를 살펴보고, 실제로 수학적 명제들을 직접 형식화하는 실습 기회를 제공한다고 합니다. 워크샵에 대한 자세한 정보는 워크샵 홈페이지를 참조하시기 바라며, 관심있으신 분들의 많은 참여 바랍니다. 이수홍 올림 Introduction Today, artificial intelligence is having a significant impact across various sectors, and mathematics research is no exception. In recent years, AI-driven research has been actively conducted not only in applied mathematics but also in pure mathematics, presenting a new direction for the field. This workshop aims to explore the relationship between AI and mathematics research, discussing current trends and future directions. In particular, we will focus on the topic of formalizing mathematics as the first step in this broader subject. Formalizing mathematics refers to the process of translating mathematical statements and proofs, which are typically written in natural language, into a formal language that can be understood by computers. This process plays a crucial role in deep learning for mathematical reasoning and automatic proof checking. In this workshop, we will discuss the importance of formalizing mathematics, its current trends, and offer hands-on experience by formalizing several mathematical statements and proofs. As this topic is being actively discussed globally, we hope this workshop will serve as a starting point for further discussions on this important field within the domestic academic community. To attend workshop, please register. [http://events.kias.re.kr/h/AIforMath/?pageNo=5702] Speakers Byung-Hak Hwang (KIAS) Soonho Kong (Amazon Web Services) Jineon Baek (Yonsei University) Yeachan Park (KIAS) Organizers Chul-hee Lee (KIAS) Kyu-Hwan Lee (University of Connecticut)

1 0