BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Harvard Math - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Harvard Math
X-ORIGINAL-URL:https://www.math.harvard.edu
X-WR-CALDESC:Events for Harvard Math
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20260424T140000
DTEND;TZID=UTC:20260424T163000
DTSTAMP:20260424T010748
CREATED:20260414T143616Z
LAST-MODIFIED:20260414T143616Z
UID:10003139-1777039200-1777048200@www.math.harvard.edu
SUMMARY:Compression Is All You Need: Modeling Mathematics
DESCRIPTION:The talk will exposit a recent eponymous arXiv posting with coauthors Vitaly Aksenov\, Eve Bodnia\, and Mike Mulligan. The approach is to think like a physicist and model a seemingly complex bit of reality: mathematics\, by a simple toy model where exact computations can be carried out and then compared with observation. The models are finitely generated monoids and the data is derived from MathLib\, a large Lean-based repository. The hierarchical nature of definitions and lemmas in math is modeled by adding redundant generators to the monoids – think of the powers of 10 within the natural numbers which support place notation. Place notation confers an exponential compression of how we describe numbers; exploration of MathLib shows that this theme persists to (human) mathematics writ large. We hope that the observables we describe will help our agents navigate to interesting mathematical destinations. \nZoom: https://harvard.zoom.us/j/99308274895?pwd=KhVOYBUfBvKQMuBkDWhe346Un2e7zv.1  \nPassword: 850429 \n 
URL:https://www.math.harvard.edu/event/compression-is-all-you-need-modeling-mathematics/
LOCATION:Virtually
CATEGORIES:CMSA FREEDMAN SEMINAR
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20260424T153000
DTEND;TZID=UTC:20260424T163000
DTSTAMP:20260424T010748
CREATED:20260416T191054Z
LAST-MODIFIED:20260416T191404Z
UID:10003144-1777044600-1777048200@www.math.harvard.edu
SUMMARY:Some progress towards the stable Khovanov homology of torus knots
DESCRIPTION:The stable Khovanov homology of T(n\, infinity) is a limit of the Khovanov homology groups of the torus links T(n\,m) as m goes to infinity. A conjecture of Gorsky-Oblomkov-Rasmussen ’12 states that the stable limit is the homology of a certain explicit Koszul complex. We explain some progress towards this result: there exists a spectral sequence converging to this stable group whose E_2 page is this explicit Koszul complex. Joint with William Ballinger\, Eugene Gorsky\, and Matthew Hogancamp. \n 
URL:https://www.math.harvard.edu/event/some-progress-towards-the-stable-khovanov-homology-of-torus-knots/
LOCATION:Science Center 507\, 1 Oxford Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:GAUGE THEORY AND TOPOLOGY
END:VEVENT
END:VCALENDAR