Focus on:
All days
Nov 30, 2021
Dec 1, 2021
Dec 2, 2021
Indico style
Indico style  inline minutes
Indico style  numbered
Indico style  numbered + minutes
Indico Weeks View
Back to Conference View
Choose Timezone
Use the event/category timezone
Specify a timezone
Africa/Abidjan
Africa/Accra
Africa/Addis_Ababa
Africa/Algiers
Africa/Asmara
Africa/Bamako
Africa/Bangui
Africa/Banjul
Africa/Bissau
Africa/Blantyre
Africa/Brazzaville
Africa/Bujumbura
Africa/Cairo
Africa/Casablanca
Africa/Ceuta
Africa/Conakry
Africa/Dakar
Africa/Dar_es_Salaam
Africa/Djibouti
Africa/Douala
Africa/El_Aaiun
Africa/Freetown
Africa/Gaborone
Africa/Harare
Africa/Johannesburg
Africa/Juba
Africa/Kampala
Africa/Khartoum
Africa/Kigali
Africa/Kinshasa
Africa/Lagos
Africa/Libreville
Africa/Lome
Africa/Luanda
Africa/Lubumbashi
Africa/Lusaka
Africa/Malabo
Africa/Maputo
Africa/Maseru
Africa/Mbabane
Africa/Mogadishu
Africa/Monrovia
Africa/Nairobi
Africa/Ndjamena
Africa/Niamey
Africa/Nouakchott
Africa/Ouagadougou
Africa/PortoNovo
Africa/Sao_Tome
Africa/Timbuktu
Africa/Tripoli
Africa/Tunis
Africa/Windhoek
America/Adak
America/Anchorage
America/Anguilla
America/Antigua
America/Araguaina
America/Argentina/Buenos_Aires
America/Argentina/Catamarca
America/Argentina/ComodRivadavia
America/Argentina/Cordoba
America/Argentina/Jujuy
America/Argentina/La_Rioja
America/Argentina/Mendoza
America/Argentina/Rio_Gallegos
America/Argentina/Salta
America/Argentina/San_Juan
America/Argentina/San_Luis
America/Argentina/Tucuman
America/Argentina/Ushuaia
America/Aruba
America/Asuncion
America/Atikokan
America/Bahia
America/Bahia_Banderas
America/Barbados
America/Belem
America/Belize
America/BlancSablon
America/Boa_Vista
America/Bogota
America/Boise
America/Cambridge_Bay
America/Campo_Grande
America/Cancun
America/Caracas
America/Cayenne
America/Cayman
America/Chicago
America/Chihuahua
America/Coral_Harbour
America/Costa_Rica
America/Creston
America/Cuiaba
America/Curacao
America/Danmarkshavn
America/Dawson
America/Dawson_Creek
America/Denver
America/Detroit
America/Dominica
America/Edmonton
America/Eirunepe
America/El_Salvador
America/Ensenada
America/Fort_Nelson
America/Fortaleza
America/Glace_Bay
America/Goose_Bay
America/Grand_Turk
America/Grenada
America/Guadeloupe
America/Guatemala
America/Guayaquil
America/Guyana
America/Halifax
America/Havana
America/Hermosillo
America/Indiana/Indianapolis
America/Indiana/Knox
America/Indiana/Marengo
America/Indiana/Petersburg
America/Indiana/Tell_City
America/Indiana/Vevay
America/Indiana/Vincennes
America/Indiana/Winamac
America/Inuvik
America/Iqaluit
America/Jamaica
America/Juneau
America/Kentucky/Louisville
America/Kentucky/Monticello
America/Kralendijk
America/La_Paz
America/Lima
America/Los_Angeles
America/Lower_Princes
America/Maceio
America/Managua
America/Manaus
America/Marigot
America/Martinique
America/Matamoros
America/Mazatlan
America/Menominee
America/Merida
America/Metlakatla
America/Mexico_City
America/Miquelon
America/Moncton
America/Monterrey
America/Montevideo
America/Montreal
America/Montserrat
America/Nassau
America/New_York
America/Nipigon
America/Nome
America/Noronha
America/North_Dakota/Beulah
America/North_Dakota/Center
America/North_Dakota/New_Salem
America/Nuuk
America/Ojinaga
America/Panama
America/Pangnirtung
America/Paramaribo
America/Phoenix
America/PortauPrince
America/Port_of_Spain
America/Porto_Velho
America/Puerto_Rico
America/Punta_Arenas
America/Rainy_River
America/Rankin_Inlet
America/Recife
America/Regina
America/Resolute
America/Rio_Branco
America/Rosario
America/Santarem
America/Santiago
America/Santo_Domingo
America/Sao_Paulo
America/Scoresbysund
America/Sitka
America/St_Barthelemy
America/St_Johns
America/St_Kitts
America/St_Lucia
America/St_Thomas
America/St_Vincent
America/Swift_Current
America/Tegucigalpa
America/Thule
America/Thunder_Bay
America/Tijuana
America/Toronto
America/Tortola
America/Vancouver
America/Whitehorse
America/Winnipeg
America/Yakutat
America/Yellowknife
Antarctica/Casey
Antarctica/Davis
Antarctica/DumontDUrville
Antarctica/Macquarie
Antarctica/Mawson
Antarctica/McMurdo
Antarctica/Palmer
Antarctica/Rothera
Antarctica/Syowa
Antarctica/Troll
Antarctica/Vostok
Arctic/Longyearbyen
Asia/Aden
Asia/Almaty
Asia/Amman
Asia/Anadyr
Asia/Aqtau
Asia/Aqtobe
Asia/Ashgabat
Asia/Atyrau
Asia/Baghdad
Asia/Bahrain
Asia/Baku
Asia/Bangkok
Asia/Barnaul
Asia/Beirut
Asia/Bishkek
Asia/Brunei
Asia/Chita
Asia/Choibalsan
Asia/Chongqing
Asia/Colombo
Asia/Damascus
Asia/Dhaka
Asia/Dili
Asia/Dubai
Asia/Dushanbe
Asia/Famagusta
Asia/Gaza
Asia/Hanoi
Asia/Harbin
Asia/Hebron
Asia/Ho_Chi_Minh
Asia/Hong_Kong
Asia/Hovd
Asia/Irkutsk
Asia/Jakarta
Asia/Jayapura
Asia/Jerusalem
Asia/Kabul
Asia/Kamchatka
Asia/Karachi
Asia/Kashgar
Asia/Kathmandu
Asia/Khandyga
Asia/Kolkata
Asia/Krasnoyarsk
Asia/Kuala_Lumpur
Asia/Kuching
Asia/Kuwait
Asia/Macau
Asia/Magadan
Asia/Makassar
Asia/Manila
Asia/Muscat
Asia/Nicosia
Asia/Novokuznetsk
Asia/Novosibirsk
Asia/Omsk
Asia/Oral
Asia/Phnom_Penh
Asia/Pontianak
Asia/Pyongyang
Asia/Qatar
Asia/Qostanay
Asia/Qyzylorda
Asia/Riyadh
Asia/Sakhalin
Asia/Samarkand
Asia/Seoul
Asia/Shanghai
Asia/Singapore
Asia/Srednekolymsk
Asia/Taipei
Asia/Tashkent
Asia/Tbilisi
Asia/Tehran
Asia/Tel_Aviv
Asia/Thimphu
Asia/Tokyo
Asia/Tomsk
Asia/Ulaanbaatar
Asia/Urumqi
Asia/UstNera
Asia/Vientiane
Asia/Vladivostok
Asia/Yakutsk
Asia/Yangon
Asia/Yekaterinburg
Asia/Yerevan
Atlantic/Azores
Atlantic/Bermuda
Atlantic/Canary
Atlantic/Cape_Verde
Atlantic/Faroe
Atlantic/Jan_Mayen
Atlantic/Madeira
Atlantic/Reykjavik
Atlantic/South_Georgia
Atlantic/St_Helena
Atlantic/Stanley
Australia/Adelaide
Australia/Brisbane
Australia/Broken_Hill
Australia/Currie
Australia/Darwin
Australia/Eucla
Australia/Hobart
Australia/Lindeman
Australia/Lord_Howe
Australia/Melbourne
Australia/Perth
Australia/Sydney
Canada/Atlantic
Canada/Central
Canada/Eastern
Canada/Mountain
Canada/Newfoundland
Canada/Pacific
Europe/Amsterdam
Europe/Andorra
Europe/Astrakhan
Europe/Athens
Europe/Belfast
Europe/Belgrade
Europe/Berlin
Europe/Bratislava
Europe/Brussels
Europe/Bucharest
Europe/Budapest
Europe/Busingen
Europe/Chisinau
Europe/Copenhagen
Europe/Dublin
Europe/Gibraltar
Europe/Guernsey
Europe/Helsinki
Europe/Isle_of_Man
Europe/Istanbul
Europe/Jersey
Europe/Kaliningrad
Europe/Kirov
Europe/Kyiv
Europe/Lisbon
Europe/Ljubljana
Europe/London
Europe/Luxembourg
Europe/Madrid
Europe/Malta
Europe/Mariehamn
Europe/Minsk
Europe/Monaco
Europe/Moscow
Europe/Oslo
Europe/Paris
Europe/Podgorica
Europe/Prague
Europe/Riga
Europe/Rome
Europe/Samara
Europe/San_Marino
Europe/Sarajevo
Europe/Saratov
Europe/Simferopol
Europe/Skopje
Europe/Sofia
Europe/Stockholm
Europe/Tallinn
Europe/Tirane
Europe/Tiraspol
Europe/Ulyanovsk
Europe/Uzhgorod
Europe/Vaduz
Europe/Vatican
Europe/Vienna
Europe/Vilnius
Europe/Volgograd
Europe/Warsaw
Europe/Zagreb
Europe/Zaporozhye
Europe/Zurich
GMT
Indian/Antananarivo
Indian/Chagos
Indian/Christmas
Indian/Cocos
Indian/Comoro
Indian/Kerguelen
Indian/Mahe
Indian/Maldives
Indian/Mauritius
Indian/Mayotte
Indian/Reunion
Pacific/Apia
Pacific/Auckland
Pacific/Bougainville
Pacific/Chatham
Pacific/Chuuk
Pacific/Easter
Pacific/Efate
Pacific/Enderbury
Pacific/Fakaofo
Pacific/Fiji
Pacific/Funafuti
Pacific/Galapagos
Pacific/Gambier
Pacific/Guadalcanal
Pacific/Guam
Pacific/Honolulu
Pacific/Johnston
Pacific/Kanton
Pacific/Kiritimati
Pacific/Kosrae
Pacific/Kwajalein
Pacific/Majuro
Pacific/Marquesas
Pacific/Midway
Pacific/Nauru
Pacific/Niue
Pacific/Norfolk
Pacific/Noumea
Pacific/Pago_Pago
Pacific/Palau
Pacific/Pitcairn
Pacific/Pohnpei
Pacific/Port_Moresby
Pacific/Rarotonga
Pacific/Saipan
Pacific/Tahiti
Pacific/Tarawa
Pacific/Tongatapu
Pacific/Wake
Pacific/Wallis
US/Alaska
US/Arizona
US/Central
US/Eastern
US/Hawaii
US/Mountain
US/Pacific
UTC
Save
Europe/Paris
English (United States)
Deutsch (Deutschland)
English (United Kingdom)
English (United States)
Español (España)
Français (France)
Polski (Polska)
Português (Brasil)
Türkçe (Türkiye)
Монгол (Монгол)
Українська (Україна)
中文 (中国)
Login
Combinatorics and Arithmetic for Physics: special days
from
Tuesday, November 30, 2021 (9:00 AM)
to
Thursday, December 2, 2021 (6:00 PM)
Monday, November 29, 2021
Tuesday, November 30, 2021
9:30 AM
Welcome coffee
Welcome coffee
9:30 AM  10:00 AM
Room: Centre de conférences Marilyn et James Simons
10:00 AM
Towards Executable Applied Category Theory in Coq (Remote)

Nicolas Behr
(CNRS, Université de Paris, IRIF)
Towards Executable Applied Category Theory in Coq (Remote)
Nicolas Behr
(CNRS, Université de Paris, IRIF)
10:00 AM  10:50 AM
Room: Centre de conférences Marilyn et James Simons
This talk will present the ”coreact.wiki” initiative, which aims to develop a novel form of wiki engine that will couple a database of humanreadable mathematical knowledge with a database containing machinereadable and executable representations of this knowledge in proof assistants such as Coq. For the concrete example of analytic combinatorics à la Flajolet and Sedgewick, I will provide an overview of the types of statements that can be efficiently formalized in Coq at present and in the near future, and how we plan to provide an interactive webbased interface to the ”coreact.wiki” platform based upon jsCoq to permit computations and formal proofs in a userfriendly fashion. Time permitting, I will also sketch the possibility of extracting prototypical reference algorithms from formalized categorical statements in Coq via the use of SMT solvers.
10:50 AM
Maximally Dense Sphere Packings (Remote)

Thomas Fernique
(CNRS & LIPN, ParisNorth University)
Maximally Dense Sphere Packings (Remote)
Thomas Fernique
(CNRS & LIPN, ParisNorth University)
10:50 AM  11:40 AM
Room: Centre de conférences Marilyn et James Simons
It is well known that to cover the greatest proportion of the Euclidean plane with identical disks, we have to center these disks in a triangular grid. This problem can be generalized in two directions: in higher dimensions or with different sizes of disks. The first direction has been the most studied (for example, in dimension 3, the Kepler’s conjecture was proved by Hales and Ferguson in 1998). In this talk, we will rather focus on the second direction, in particular on the cases of two or three disc sizes. We will survey recent results for a large audience.
11:40 AM
Coffee break
Coffee break
11:40 AM  12:00 PM
Room: Centre de conférences Marilyn et James Simons
12:00 PM
qcutandjoin Operators and qCapelli Identity on Reflection Equation Algebras (in person)

Dimitri Gurevich
(Valenciennes University)
qcutandjoin Operators and qCapelli Identity on Reflection Equation Algebras (in person)
Dimitri Gurevich
(Valenciennes University)
12:00 PM  12:50 PM
Room: Centre de conférences Marilyn et James Simons
There exists a way, based on the notion of Quantum Doubles, to introduce analogs of partial derivatives on the socalled Reflection Equation algebras. Analogously to the classical case it is possible to use these ”qderivatives” for different applications. I plan to explain their utility for constructing qanalogs of the Casimir operators, close to them cutandjoin operators, and the Capelli identity.
12:50 PM
Lunch buffet
Lunch buffet
12:50 PM  2:00 PM
Room: Centre de conférences Marilyn et James Simons
2:00 PM
Noncommutative Birational Rowmotion on Rectangles (Remote)

Darij Grinberg
(Drexel University)
Noncommutative Birational Rowmotion on Rectangles (Remote)
Darij Grinberg
(Drexel University)
2:00 PM  2:50 PM
Room: Centre de conférences Marilyn et James Simons
The operation of birational rowmotion on a finite poset has been a mainstay in dynamical algebraic combinatorics for the last 8 years. Since 2015, it is known that for a rectangular poset of the form $[p] \times [q]$, this operation is periodic with period $p + q$. (This result, as has been observed by Max Glick, is equivalent to Zamolodchikov’s periodicity conjecture in type AA, proved by Volkov.) In this talk, I will outline a proof (joint work with Tom Roby) of a noncommutative generalization of this result. The generalization does not quite extend to the full generality one could hope for it covers noncommutative rings, but not semirings; however, the proof is novel and simpler than the original commutative one. Extending this to semirings and to other posets is work in progress.
2:50 PM
Crystal Operators on Cluster Algebras (Remote)

Volker Genz
(IBS CGP)
Crystal Operators on Cluster Algebras (Remote)
Volker Genz
(IBS CGP)
2:50 PM  3:40 PM
Room: Centre de conférences Marilyn et James Simons
Crystal operators on canonical bases as introduced by Kashiwara/Lusztig provide in particular a toolbox to compute within the category of finite dimensional representations of finite dimensional simple Lie algebras. Motivated by this we introduce certain operators on the lattice of tropical points of mirror dual A and Xcluster spaces. In particular, this yields a crystallike structure on the canonical basis due to GrossHackingKeelKontsevich. We expect these operators to have a wider range of applications in the theory of cluster algebras and in physics. This is partially based on joint work with Gleb Koshevoy and Bea Schumann.
3:40 PM
Coffee break
Coffee break
3:40 PM  4:00 PM
Room: Centre de conférences Marilyn et James Simons
4:00 PM
String Cones and Cluster Varieties (Remote)

Bea Schumann
(University of Cologne)
String Cones and Cluster Varieties (Remote)
Bea Schumann
(University of Cologne)
4:00 PM  4:50 PM
Room: Centre de conférences Marilyn et James Simons
We study defining inequalities of string cones via a potential function on a reduced double Bruhat cell. We give a necessary criterion for the potential function to provide a minimal set of inequalities via tropicalization and conjecture an equivalence. This is based on joint work with Gleb Koshevoy.
4:50 PM
Conjectural Enumerations of Trimer Covers of Finite Subgraphs of the Triangular Lattice (Remote)

James Propp
(Umass Lowell)
Conjectural Enumerations of Trimer Covers of Finite Subgraphs of the Triangular Lattice (Remote)
James Propp
(Umass Lowell)
4:50 PM  5:40 PM
Room: Centre de conférences Marilyn et James Simons
The work of Conway and Lagarias applying combinatorial group theory to packing problems suggests what we might mean by “domainwall boundary conditions” for the trimer model on the infinite triangular lattice in which the permitted trimers are triangle trimers and threeinaline trimers. Looking at subregions of the lattice with those sorts of boundaries, we find intriguing numerology governing the number of trimer covers. This wealth of conjecture is in stark contrast with the paucity of mathematical tools that permit exact enumeration of trimer covers as compared to dimer covers.
Wednesday, December 1, 2021
9:30 AM
Welcome coffee
Welcome coffee
9:30 AM  10:00 AM
Room: Centre de conférences Marilyn et James Simons
10:00 AM
Some New TaylorBKAR Formulas (in person)

Léonard Ferdinand and Vincent Rivasseau
(Lab. de physique des deux infinis Irène JoliotCurie, Université ParisSaclay)
Some New TaylorBKAR Formulas (in person)
Léonard Ferdinand and Vincent Rivasseau
(Lab. de physique des deux infinis Irène JoliotCurie, Université ParisSaclay)
10:00 AM  10:50 AM
Room: Centre de conférences Marilyn et James Simons
We here introduce some combinatorial and analytic tools, conceived to make possible to perform new expansions in the context of constructive field theory and multiscale analysis. These formulas generalize the idea of performing cluster expansion using a sum indexed by forest to the case of a Taylor expansion of order more than zero. They are expected to help construct new field theories of the matrices and tensors type.
10:50 AM
A Functorial Excursion between Algebraic Geometry and Linear Logic (in person)

PaulAndré Melliès
(CNRS, Université de Paris)
A Functorial Excursion between Algebraic Geometry and Linear Logic (in person)
PaulAndré Melliès
(CNRS, Université de Paris)
10:50 AM  11:40 AM
Room: Centre de conférences Marilyn et James Simons
In this talk, I will use the functor of points approach to Algebraic Geometry to establish that every covariant presheaf X on the category of commutative rings — and in particular every scheme X — comes equipped “above it” with a symmetric monoidal closed category PshModX of presheaves of modules. This category PshModX defines moreover a model of intuitionistic linear logic, whose exponential modality is obtained by glueing together in an appropriate way the Sweedler dual construction on ring algebras. The purpose of this work is to explore the idea that linear logic is a logic of generalised vector bundles, in the same way as dependent type theory is understood today as a logic of spaces up to homotopy.
11:40 AM
Coffee break
Coffee break
11:40 AM  12:00 PM
Room: Centre de conférences Marilyn et James Simons
12:00 PM
Geometry, Matter and Physics (in person)

Richard Kerner
(LPTMC, SorbonneUniversité)
Geometry, Matter and Physics (in person)
Richard Kerner
(LPTMC, SorbonneUniversité)
12:00 PM  12:50 PM
Room: Centre de conférences Marilyn et James Simons
We show how the fundamental statistical properties of quantum fields combined with the superposition principle lead to continuous symmetries including the $SL(2, C)$ group and the internal symmetry groups $SU(2)$ and $SU(3)$. The exact colour symmetry is related to ternary $Z_{3}$graded generalization of the fermionic commutation relations for quarks. A $Z_{3}$graded generalization of the Dirac equation is presented, and its invariance properties are analyzed. They lead to an enlarged $Z_{3}$graded Lorentz group, operating in the Hilbert space of quark states including flavors and generations.
12:50 PM
Lunch buffet
Lunch buffet
12:50 PM  2:00 PM
Room: Centre de conférences Marilyn et James Simons
2:00 PM
Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms (in person)

Alexandros Singh
(LIPN, ParisNorth University)
Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms (in person)
Alexandros Singh
(LIPN, ParisNorth University)
2:00 PM  2:50 PM
Room: Centre de conférences Marilyn et James Simons
Structural properties of large random maps and lambdaterms may be gleaned by studying the limit distributions of various parameters of interest. In our work we focus on restricted classes of maps and their counterparts in the lambdacalculus, building on recent bijective connections between these two domains. In such cases, parameters in maps naturally correspond to parameters in lambdaterms and vice versa. By an interplay between lambdaterms and maps, we obtain various combinatorial specifications which allow us to access the distributions of pairs of related parameters such as: the number of bridges in rooted trivalent maps and of subterms in closed linear lambdaterms, the number of vertices of degree 1 in (1,3)valent maps and of free variables in open linear lambdaterms etc. To analyse asymptotically these distributions, we introduce appropriate tools: a momentpumping schema for differential equations and a composition schema inspired by Bender’s theorem. Joint work with Olivier Bodini and Noam Zeilberger.
2:50 PM
How to Conjecture and Prove that the Generating Function of the Yang Zagier Numbers is Algebraic (in person)

Sergey Yurkevich
(University of Vienna & INRIA)
How to Conjecture and Prove that the Generating Function of the Yang Zagier Numbers is Algebraic (in person)
Sergey Yurkevich
(University of Vienna & INRIA)
2:50 PM  3:40 PM
Room: Centre de conférences Marilyn et James Simons
In a recent paper Don Zagier mentions a mysterious integer sequence $(a_{n})_{n≥0}$ which arises from a solution of a topological ODE discovered by Marco Bertola, Boris Dubrovin and Di Yang. In my talk I show how to conjecture, prove and even quantify that $(a_{n})_{n≥0}$ actually admits an algebraic generating function which is therefore a very particular period. The methods are based on experimental mathematics and algorithmic ideas in differential Galois theory, which I will show in the interactive part of the talk. The presentation is based on joint work with A. Bostan and J.A. Weil.
3:40 PM
Coffee break
Coffee break
3:40 PM  4:00 PM
Room: Centre de conférences Marilyn et James Simons
4:00 PM
Anomalous Statistics of Extreme Random Processes (in person)

Sergei Nechaev
(Poncelet Laboratory Moscow)
Anomalous Statistics of Extreme Random Processes (in person)
Sergei Nechaev
(Poncelet Laboratory Moscow)
4:00 PM  4:50 PM
Room: Centre de conférences Marilyn et James Simons
I plan to discuss three problems of extremal statistics in which unusual (but related to each other) features arise: a) statistics of twodimensional ”stretched” random walks above a semicircle, b) spectral properties of sparse random matrices, c) statistics of onedimensional paths in the Poissonian field of traps. I will pay attention to the relationship of these problems with the Anderson localization in 1D, and with some numbertheoretic properties of etaDedekind function.
4:50 PM
An Update on Algebraic Hypergeometric Series (Remote)

Maxim Kontsevich
(IHES)
An Update on Algebraic Hypergeometric Series (Remote)
Maxim Kontsevich
(IHES)
4:50 PM  5:40 PM
Room: Centre de conférences Marilyn et James Simons
Algebraic hypergeometric series in one variable were classified in 1989 by F. Beukers and G. Heckman, in terms of finite complex reflection groups. Recently, K. Penson observed that one of such series is a generating series of a probability density with compact support, given again by an algebraic function. Then together with N. Behr, G. Duchamp and G. Koshevoy, we found that this is a general phenomenon. The proof is an immediate application on an explicit integral by Bateman and Erdélyi.The probability density is so called Meijer’s Gfunction, which the unique solution of the hypergeometric differential equation with the pure ramification at point 1. I will speak about it, and also on the genus zero property of the corresponding planar algebraic curve.
Thursday, December 2, 2021
9:30 AM
Welcome coffee
Welcome coffee
9:30 AM  10:00 AM
Room: Centre de conférences Marilyn et James Simons
10:00 AM
Noncommutative Wick Polynomials (in person)

Frédéric Patras
(CNRS/Université Côte d'Azur)
Noncommutative Wick Polynomials (in person)
Frédéric Patras
(CNRS/Université Côte d'Azur)
10:00 AM  10:50 AM
Room: Centre de conférences Marilyn et James Simons
Wick polynomials are at the foundations of QFT (they encode normal orderings) and probability (they encode chaos decompositions). In this lecture, we survey the construction and properties of noncommutative (or free) analogs using shuffle Hopf algebra techniques. Based on joint works with K. EbrahimiFard, N. Tapia and L. Zambotti.
10:50 AM
Modularity of Conifold Fibers in some Hypergeometric Families (in person)

Vasily Golyshev
(IITP RAS Moscow & IHES)
Modularity of Conifold Fibers in some Hypergeometric Families (in person)
Vasily Golyshev
(IITP RAS Moscow & IHES)
10:50 AM  11:40 AM
Room: Centre de conférences Marilyn et James Simons
I will explain how the computational technique of fibered motives can be used to obtain modularity proofs for certain conifold fibers in CalabiYau families (joint with Don Zagier, and with Kilian Bönisch and Albrecht Klemm).
11:40 AM
Coffee break
Coffee break
11:40 AM  12:00 PM
Room: Centre de conférences Marilyn et James Simons
12:00 PM
Enumeration and Generation of Young Tableaux with Walls: the Density Method (in person)

Cyril Banderier
(CNRS & LIPN, ParisNorth University)
Enumeration and Generation of Young Tableaux with Walls: the Density Method (in person)
Cyril Banderier
(CNRS & LIPN, ParisNorth University)
12:00 PM  12:50 PM
Room: Centre de conférences Marilyn et James Simons
We consider a generalization of Young tableaux in which we allow some consecutive pairs of cells with decreasing labels, conveniently visualized by a ”wall” between the corresponding cells. This leads to new classes of recurrences, and to a surprisingly rich zoo of generating functions (algebraic, hypergeometric, Dfinite, differentiallyalgebraic). Some patterns lead to nice bijections with trees, lattice paths, or permutations. Our approach relies on the density method, a powerful way to perform both uniform random generation and enumeration. It finds its origins in number theory (values of the zeta function, with a KontsevichZagier period point of view) and in poset theory (volume of polytopes). We also apply this approach to describe the asymptotic fluctuations of the limit surface of Young tableaux. Based on several articles with Philippe Marchal and Michael Wallner.
12:50 PM
Lunch buffet
Lunch buffet
12:50 PM  2:00 PM
Room: Centre de conférences Marilyn et James Simons
2:00 PM
A Tropical Version of Hilbert Polynomial (remote)

Dimitri Grigoryev
(CNRS Painlevé Lab, Univ. Lille)
A Tropical Version of Hilbert Polynomial (remote)
Dimitri Grigoryev
(CNRS Painlevé Lab, Univ. Lille)
2:00 PM  2:50 PM
Room: Centre de conférences Marilyn et James Simons
We define Hilbert function of a semiring ideal of tropical polynomials in n variables. For $n = 1$ we prove that it is the sum of a linear function and a periodic function (for sufficiently large values). The leading coefficient of the linear function equals the tropical entropy of the ideal. For an arbitrary n we discuss a conjecture that the tropical Hilbert function of a radical ideal is a polynomial of degree at most $n − 1$ (for sufficiently large values). For $n = 1$ the conjecture is true, also we have proved it for zero dimensional ideals and for planar tropical curves.
2:50 PM
Ambitropical Convexity, Mean Payoff Games and Nonarchimedean Convex Programming (in person)

Stéphane Gaubert
(INRIA & Ecole Polytechnique)
Ambitropical Convexity, Mean Payoff Games and Nonarchimedean Convex Programming (in person)
Stéphane Gaubert
(INRIA & Ecole Polytechnique)
2:50 PM  3:40 PM
Room: Centre de conférences Marilyn et James Simons
Convex sets can be defined over ordered fields with a nonarchimedean valuation. Then, tropical convex sets arise as images by the valuation of nonarchimedean convex sets. The tropicalization of polyhedra and spectrahedra can be described in terms of deterministic and stochastic games with mean payoff, being characterized in terms of sub or superfixed point sets of Shapley operators, which determine the value of the game. This is motivated by open complexity issues in linear programming. We shall discuss here especially a generalization of tropical convexity: considering fixed point sets of Shapley operators, instead of sub or superfixed points sets, leads to a richer “ambitropical” theory, which includes tropical convexity and its dual in a unified framework. We shall present several characterizations of ambitropical convex sets, with features related to normed spaces (nonexpansive retracts and hyperconvexity), lattice theory (order preserving retracts), or of a combinatorial nature (cell decompositions in alcoved polyhedra). The results on ambitropical convexity is from a work with Akian and Vannucci; the ones on the tropicalization of nonarchimedean convex sets are from works with Allamigeon, Benchimol, Joswig and Skomra.
3:40 PM
Coffee break
Coffee break
3:40 PM  4:00 PM
Room: Centre de conférences Marilyn et James Simons
4:00 PM
On the Solutions of KnizhnikZamolodchikov Differential Equations by Noncommutative PicardVessiot Theory (in person)

Vincel Hoang Ngoc Minh
(LIPN, ParisNorth University)
On the Solutions of KnizhnikZamolodchikov Differential Equations by Noncommutative PicardVessiot Theory (in person)
Vincel Hoang Ngoc Minh
(LIPN, ParisNorth University)
4:00 PM  4:50 PM
Room: Centre de conférences Marilyn et James Simons
In this talk, basing on the algebraic combinatorics on noncommutative formal power series with holomorphic coefficients and, on the other hand, a PicardVessiot theory of noncommutative differential equations, we give a recursive construction of solutions of the KnizhnikZamolodchikov equations satisfying asymptotic conditions.
4:50 PM
Distance, Strong Convexity, Flagness, and Associahedra (in person)

Lionel Pournin
(LIPN, ParisNorth University)
Distance, Strong Convexity, Flagness, and Associahedra (in person)
Lionel Pournin
(LIPN, ParisNorth University)
4:50 PM  5:40 PM
Room: Centre de conférences Marilyn et James Simons
One can always transform a triangulation of a convex polygon into another by performing a sequence of edge flips, which amounts to follow a path in the graph G of the associahedron. The least number of flips required to do so is then a distance in that graph whose estimation is instrumental in a variety of contexts, as for instance in computational biology, in computer science, or in algebraic topology. On the other hand, it is known that paths in G correspond to a certain kind of 3dimensional triangulation. This talk is about the recent proof that these 3dimensional triangulations are flag when the corresponding path is a geodesic. This result, that provides a new powerful tool to study the geometry of G, can be thought of as a 3dimensional analogue of a wellknown strong convexity property of G. Several consequences on the computation of distances in G and on strong convexity in related graphs will be discussed. This talk is based on joint work with Zili Wang (Dartmouth College).