Combinatorics and Arithmetic for Physics

Europe/Paris
Centre de conférences Marilyn et James Simons (IHES)

Centre de conférences Marilyn et James Simons

IHES

Le Bois-Marie 35, route de Chartres 91440 Bures-sur-Yvette
Description

Combinatorics and Arithmetic for Physics
The meeting focuses on questions of discrete mathematics and number theory, emphasizing computability. Problems are drawn mainly from theoretical physics: renormalization, combinatorial physics, geometry, evolution equations (commutative and noncommutative), or related to its models, but not only. 
Computations, based on combinatorial structures (graphs, trees, words, automata, semirings, bases), or classical structures (operators, Hopf algebras, evolution equations, special functions, categories) are good candidates for computer-based implementation and experimentation.

Organized by: Gérard H. E. DUCHAMP, Maxim KONTSEVICH, Gleb KOSHEVOY, Sergei NECHAEV, and Karol A. PENSON.

Speakers:

  • Nicolas Behr, CNRS, Université de Paris, IRIF
  • Joseph Ben Geloun, LIPN-Paris XIII
  • Lara Bossinger, IM UNAM, Oaxaca & IAS, Princeton
  • Marek BozejkoWroclaw University
  • Stéphane Dartois, Université Paris Saclay, CEA
  • Jehanne Dousse, Université de Genève
  • Gérard H.E. DuchampLIPNUniversité Paris Nord
  • Vladimir Fock, IRMA, Strasbourg
  • Darij GrinbergDrexel University
  • Dimitry GurevichIITP, Moscow
  • Yuki Kanakubo, Ibaraki University
  • Arthemy Kiselev, University of Groningen
  • Maxim Kontsevich, IHES
  • Gleb KoshevoyIITP, Moscow
  • Toshiki NakashimaSophia University Tokyo
  • Mohamed Ouerfelli, Université Paris Saclay, CEA
  • Karol A. PensonLPTMC, Sorbonne Université
  • Gleb Pogudin, LIX, Ecole polytechnique
  • Markus Reineke, Ruhr University Bochum
  • Ioannis Vlassopoulos, Athena Research Center

     

Sponsors: 
IHES - Math-STIC - LIPN (UMR-7030) - LPTMC (Univ-Paris 6) IJCLab, UMR Paris-Saclay/CNRS - INRIA - GDR EFI - CEA

Scientific Committee:
Joseph Ben Geloun (LIPN-Paris XIII), Alin Bostan (INRIA), Marek Bozejko (Wroclaw University), Vincent Rivasseau (Orsay-CEA), Pierre Simonnet (Univ. Corse)

Participants
  • Agustín Sabio Vera
  • Alexander Chervov
  • Amina EL GHANDOURI
  • Andreas Klein
  • Arthemy Kiselev
  • Asbjorn Nordentoft
  • Bahar Bagheri
  • Campbell Wheeler
  • Chenjiayue Qi
  • Darij Grinberg
  • Dimitry Gurevich
  • Florian Millo
  • Gerard Duchamp
  • Ghizlane KETTANI
  • Gleb Koshevoy
  • Gleb Pogudin
  • Himal Rathnakumara
  • Jehanne Dousse
  • Joseph Ben Geloun
  • Karol Penson
  • Marek Bożejko
  • Markus Reineke
  • Mohamed MARIATA
  • Nicolas Behr
  • Rekha Biswal
  • Ricardo Buring
  • Rinat Kedem
  • smail chemikh
  • Toshiki Nakashima
  • Vincent Lahoche
  • Vincent Rivasseau
  • Volker Genz
  • Yannic VARGAS
  • Yiannis Vlassopoulos
  • Yuki Kanakubo
Contact: Cécile Gourgues
    • 09:00
      Welcome Coffee
    • 1
      Decomposition Spaces in Combinatorics

      Motivated by joint work with Joachim Kock (UAB Barcelona & U Copenhagen), I plan to present an introduction to the powerful machinery of decomposition spaces (also known as 2-Segal spaces) from the viewpoint of its applications to combinatorics and its computational properties.

      Orateur: Nicolas Behr (CNRS, Université de Paris, IRIF)
    • 2
      Algebraicity Beyond Beukers-Heckman and Bober: Emerging Patterns

      We consider positive integer sequences $\rho(n)$, $n=0,1 \cdots$, expressible through the ratios of products of factorials, or of ratios of products of factorials along with Gamma functions. Admitting certain forms of these ratios, the generating functions (gf) of $\rho(n)$'s become generalized hypergeometric functions (gf), which turn out to be algebraic. Detailed conditions for the aforementioned algebraicity were given in [1]. In the spirit of [1], in [2] three parametrized families of, as well 52 parameter-free factorial ratios were given, all having algebraic gf's. In this work we initiate the study of factorial ratios beyond the classification of [1] and [2], for which we demonstrate by construction the algebraicity of their gf's. They include several families of shifted binomials, as well as sequences derived from recent integrality criteria put forward in [3]. For certain parametrized $\rho(n)$'s we obtained closed-form parametric expressions for their algebraic equations (algeqs) for gf's. In a parallel approach we conceived the $\rho(n)$'s in question as power moments of certain weight functions with finite support. The weights are solutions of the Hausdorff moment problem, obtained via inverse Mellin transform. In many instances the weights obey explicit algeqs that mirror those of gf's.
      This correspondence can be made neatly explicit, especially when elementary functions in form of radicals are involved.
      Joint work with G. H. E. Duchamp, M. Kontsevich, and G. Koshevoy.
      [1] F. Beukers and G. Heckman, Invent. Math. 95, 325-354 (1989);
      [2] J. W. Bober, arXiv: 0709.1977v1;
      [3] A. Adolphson and S. Sperber, arXiv: 2001.03296, and private communication (2024).

      Orateur: Karol Penson (LPTMC, Sorbonne Université)
    • 11:40
      Pause
    • 3
      Eilenberg-Schützenberger Machines, States, Σ-modules and Applications

      The behavior of multiplicity automata is computable by means of the star of a matrix with noncommutative coefficients taken within a semiring (commutative or noncommutative). Our purpose here is to review applications of this unifying concept (Sweedler's duals, Topological algebras, Infinite iterated integrals). In passing, we indicate how to extend holomorphic-valued shuffle characters as, for example, polylogarithms [1]. In the end of the talk, we will describe a very simple two-state transducer producing the Collatz function.
      This transducer is the seed of an award-winning recent paper [2].
      Work in progress, joint with Didier Caucal (G. Eiffel Lab, Marne-la-Vallée), Nihar Gargava (IRMA, Strasbourg) and Pierre Simonnet (Univ. Corsica).
      [1] Gérard H.E. Duchamp, Quoc Huan Ngô and Vincel Hoang Ngoc Minh, Kleene stars of the plane, polylogarithms and symmetries, TCS 800 (2019).
      [2] D. Caucal and C. Rispal, On the Powers of the Collatz Function, Best Paper Award of MCU 2024, to be published in LNCS series by Springer Verlag.

      Orateur: Gérard H.E. Duchamp (LIPN, Université Paris-Nord)
    • 12:50
      Lunch
    • 4
      Partition Identities of the Andrews-Gordon Type: Commutative Algebra and Combinatorial Proofs

      A partition of a positive integer n is a non-increasing sequence of positive integers, called parts, whose sum is n. A partition identity is a theorem stating that for all n, the number of partitions of n satisfying some conditions (often congruence conditions on the parts) equals the number of partitions of n satisfying some other conditions (often difference conditions between the parts). The Andrews-Gordon identities, which generalise the Rogers-Ramanujan identities, are among the most famous and widely studied partition identities. Using techniques from commutative algebra, Pooneh Afsharijoo conjectured in 2020 a companion to these identities (i.e. a partition identity with the same congruence conditions but other difference conditions). We will explain the origins of this conjecture, give a combinatorial proof using new combinatorial dissections of Young diagrams and q-series identities, and show how another type of combinatorial proof can lead to other (new and known) identities of the same type.
      This is joint work with Pooneh Afsharijoo, Frédéric Jouhet, Isaac Konan and Hussein Mourtada and on https://doi.org/10.1016/j.aim.2023.1089946 and https://arxiv.org/abs/2403.05414

      Orateur: Jehanne Dousse (Université de Genève)
    • 5
      Reflection Equation Algebras versus Quantum Groups

      I plan to compare the roles of Reflection Equation Algebras and Quantum Groups in different problems of Combinatorics and Mathematical Physics. A special attention will be paid to the Quantum version of the Capelli identity.

      Orateur: Dimitry Gurevich (IITP, Moscow)
    • 15:40
      Pause
    • 6
      Functional Equations for Motivic Generating Series of Kronecker Moduli

      Kronecker moduli are algebraic varieties parametrizing linear algebra data up to base change. We consider generating series of their Euler characteristic and/or Betti numbers, and discuss their algebraicity and more general functional/q-difference equations defining them.

      Orateur: Markus Reineke (Ruhr University Bochum)
    • 7
      From Knot Invariants to Schur-Weyl Duality

      We will show that HOMFLY knot invariant can be used to study representation theory of quantum groups and Hecke algebras and other combinatorial problems. The work is an interpretation of the talks by D.Gurevich at this conference.

      Orateur: Vladimir Fock (IRMA, Strasbourg)
    • 09:00
      Welcome Coffee
    • 8
      Matrices filled by Variables, from Posets to Coxeter Groups, and Beyond

      Last year at CAP2023 I gave a talk about a class of matrices filled by variables, whose eigenvalues are linear forms in the variables. The construction was based on finite posets. I'll speak about a generalization to convex sets in general reflection groups, and even to the case where there is no group at all.

      Orateur: Maxim Kontsevich (IHES)
    • 9
      Higher Bruhat Orders and Higher Operads

      We define higher d-operads, d ≥ 1. For d = 1, 1-operads are nc-operads.
      We show that higher Bruhat orders on the discrete Grassmannians $\left({[n] \atop d}\right)$, n ≥ d, form a d-operad.
      This is joint work with Vadim Schechtman.

      Orateur: Gleb Koshevoy (IITP, Moscow)
    • 11:40
      Pause
    • 10
      New Identities for Differential-polynomial Structures built from Jacobian Determinants

      The Nambu-determinant Poisson brackets on $\mathbb{R}^d$ are expressed by the formula

      $ \{f,g\}_d (\mathbf{x}) = \varrho(\mathbf{x}) \cdot \det\bigl( \partial(f,g,a_1,...a_{d-2}) / \partial(x^1,...,x^d) \bigr), $

      where $a_1$, $\ldots$, $a_{d-2}$ are smooth functions and $x^1$, $\ldots$, $x^d$ are global coordinates (e.g., Cartesian), so that $\varrho(\mathbf{x})\cdot\partial_{\mathbf{x}}$ is the top-degree multivector.
      For an example of Nambu--Poisson bracket in classical mechanics, consider the Euler top with $\{x,y\}_3 = z$ and so on cyclically on $\mathbb{R}^3$.
      Independently, Nambu's binary bracket $\{{-},{-}\}_d$ with Jacobian determinant and $d-2$ Casimirs $a_1$, $\ldots$, $a_{d-2}$ belong to the Nambu (1973) class of $N$-ary multi-linear antisymmetric polyderivational brackets $\{{-},\ldots,{-}\}_d$ which satisfy natural $N$-ary generalizations of the Jacobi identity for Lie algebras.
      In the study of Kontsevich's infinitesimal deformations of Poisson brackets by using `good' cocycles from the graph complex, we detect case-by-case that these deformations preserve the Nambu class, and we observe new, highly nonlinear differential-polynomial identities for Jacobian determinants over affine manifolds. In this talk, several types of such identities will be presented.
      (Work in progress, joint with M.~Jagoe Brown, F.~Schipper, and R.~Buring; special thanks to the Habrok high-performance computing cluster.)

      Orateur: Arthemy Kiselev (University of Groningen)
    • 12:50
      Lunch
    • 11
      Crystal Structure of Localized Quantum Unipotent Coordinate Category

      For a monoidal category ${\mathcal T}$, if there exists a "real commuting family $(C_i,R_{C_i},\phi_i)_{i\in I}$", we can define a localization $\widetilde {{\mathcal T}}$ of ${\mathcal T}$ by $(C_i,R_{C_i},\phi_i)_{i\in I}$.
      Let $R=R({\mathfrak g})$ be the quiver Hecke algebra(=KLR algebra) associated with a symmetrizable Kac-Moody Lie algebra ${\mathfrak g}$ and ${\mathscr C}_w$ the subcategory of $R$-gmod(=the category of graded finite-dimensional $R$-modules) associated with a Weyl group element $w$, which is a monoidal category with a real commuting family $(C_i,R_{C_i},\phi_i)_{i\in I}$. Thus, we get its localization $\widetilde{\mathscr C}_w$, which is called a ``localized quantum unipotent coordinate category" associated with $w$. In the former half of the talk, we shall present that for a (semi-)simple ${\mathfrak g}$ and the longest element $w_0$, the family of self-dual simple modules in $\widetilde{\mathscr C}_{w_0}=\widetilde{R\hbox{-gmod}}$ holds a crystal structure and is isomorphic to the cellular crystal ${\mathbb B}_{i_1\ldots i_N}$ where $i_1\ldots i_N$ is an arbitrary reduced word of $w_0$. Furthermore, in the latter half of the talk, the latest result, which is a joint work with M. Kashiwara, will be presented that for a general symmetrizable Kac-Moody Lie algebra ${\mathfrak g}$ and a general Weyl group element $w$, the family of self-dual simple modules in the localized category $\widetilde{\mathscr C}_{w}$ also holds a crystal structure, and it is isomorphic to the cellular crystal ${\mathbb B}_{i_1\ldots i_m}$ associated with a reduced word $i_1\cdots i_m$ of $w$.

      Orateur: Toshiki Nakashima (Sophia University, Tokyo)
    • 12
      Poincaré-type Series for the Arc Space of a Fat Point

      Fat point is a scheme defined by an ideal whose solution set is a single point (but the ideal is not necessarily maximal, so it may have multiplicity).
      For an algebraic variety, the arc scheme can be thought of as the scheme of all possible formal trajectories on the variety (in other words, power series solutions of the corresponding equations). This scheme is defined by an ideal in an infinite dimensional polynomial ring obtained by the original equations by formal differentiation. The original multiplicity structure of a fat point “propagates” to its arc scheme in a nontrivial and intriguing way (for example, it is capable of encoding nontrivial partition identities).
      One way to describe this is multiplicity structure is to build a Poincaré-type series from the multiplicities of the truncations of varying orders. In the talk I will describe some recent results showing that these series are geometric series for a fat point on a line and some higher-dimensional cases and report results of computational experiments exploring more complicated fat points.
      The talk is based on joint works with Rida Ait El Manssour.

      Orateur: Gleb Pogudin (LIX, École polytechnique)
    • 15:40
      Pause
    • 13
      Computational Complexity in Column Sums of Symmetric Group Character Tables and Counting of Surfaces

      The character table of the symmetric group $S_n$, of permutations of n objects, is of fundamental interest in theoretical physics, combinatorics as well as computational complexity theory. We investigate the implications of an identity, which has a geometrical interpretation in combinatorial topological field theories, relating the column sum of normalised central characters of $S_n$, to a sum of structure constants of multiplication in the centre of the group algebra of $S_n$. The identity leads to the proof that a combinatorial computation of the column sum belongs to complexity class #P. The sum of structure constants has an interpretation in terms of the counting of branched covers of the sphere. This allows the identification of a tractable subset of the structure constants related to genus zero covers. We use this subset to prove that the column sum for a conjugacy class labelled by partition λ is non-vanishing if and only if the permutations in the conjugacy class are even. This leads to the result that the determination of the vanishing or otherwise of the column sum is in complexity class P.

      Orateur: Joseph Bengeloun (LIPN, Paris XIII)
    • 14
      TBA

      TBA

      Orateur: Stéphane Dartois (Université Paris-Saclay, CEA)
    • 09:00
      Welcome Coffee
    • 15
      Remote - Deformations and q-Convolutions. Old and New Results.

      This talk is dedicated to the survey of some of our results related to q-deformations of the Fock spaces and related to q-convolutions for probability measures on the real line R. The main idea is done by the combinatorics of moments of the measures and related q-cumulants of different types. The main and interesting q-convolutions are related to classical continuous (discrete) q-Hermite polynomial. Among them are classical (q = 1) convolutions, the case q = 0, gives the free and Boolean relations, and the new class of q-analogue of classical convolutions done by Carnovole, Koornwinder, Biane, Anshelovich, and Kula. The related paper contains many questions and problems linked to the positivity of that class of q-convolutions. The main result is the construction of Brownian motion related to q-Discrete Hermite polynomial of type I. For more details, see: Marek Bozejko, Wojciech Bozejko, (dedicated to Professor Jan Stochel on the occasion of his 70th birthday). Deformations and q-Convolutions. Old and New Results, Complex Analysis and Operator Theory (2024). https://link.springer.com/article/10.1007/s11785-024-01572-8

      Orateur: Marek Bożejko (Wroclaw University)
    • 16
      Remote - Inequalities Defining Polyhedral Realizations and Monomial Realizations of Crystal Bases

      Crystal bases B(∞), B(λ) are powerful tools to study representations of Lie algebras and quantum groups. We can get several essential information of integrable highest weight representations or Verma modules from B(λ) or B(∞). To obtain such information from crystal bases, we need to describe them by combinatorial objects. The polyhedral realizations invented by Nakashima-Zelevinsky are combinatorial descriptions for B(∞) in terms of the set of integer points of a convex cone, which coincides with the string cone when the associated Lie algebra is finite dimensional simple. It is a fundamental and natural problem to find an explicit form of this convex cone.
      The monomial realizations introduced by Kashiwara and Nakajima are combinatorial expressions of crystal bases B(λ) as Laurent monomials in double indexed variables.
      In this talk, we give a conjecture that the inequalities defining the cone of polyhedral realizations can be expressed in terms of monomial realizations of fundamental representations.

      Orateur: Yuki Kanakubo (Ibaraki University)
    • 11:40
      Pause
    • 17
      Remote - Monomial Identities in the Weyl Algebra

      The Weyl algebra (or Heisenberg-Weyl algebra) is the free algebra with two generators $D$ and $U$ and single relation $DU - U D = 1$. As a consequence of this relation, certain monomials are equal, such as $DU U \, D$ and $U \, DDU$. We characterize all such equalities over a field of characteristic 0, describing them in several ways: operational (by a combinatorial equivalence relation generated by certain moves), computational (through lattice path invariants) and in terms of rook theory. We also enumerate the equivalence classes and several variants thereof and discuss possible extensions to other algebras.
      Joint work with Tom Roby, Stephan Wagner, Mei Yin; inspired by a question of Richard P. Stanley.

      Orateur: Darij Grinberg (Drexel University)
    • 12:50
      Lunch
    • 18
      Remote - Cluster Structures on Kinematic Spaces

      The kinematic spaces modeling massless particle scattering can be parametrized in different ways such as via the spinor helicity formalism or using momentum twistor coordinates. Either case yields an algebraic variety that we call the spinor helicity variety, respectively the momentum twistor variety. In a general set up (not assuming neither planarity nor dual conformal symmetry in the model) both varieties are isomorphic to (quotients of) partial flag varieties 1 and therefore inherit a cluster structure. I will present results indicating that these cluster structures are relevant in the bootstrap for the amplitude and also exhibit embeddings of the relevant partial flag varieties into Grassmannian respecting the cluster structure. Based on joint works with James Drummond, Ross Glew, respectively with Jianrong Li.

      Orateur: Lara Bossinger (IM UNAM, Oaxaca & IAS, Princeton)
    • 19
      Directed Metric Spaces, Alcoved Polytopes and Large Language Models

      Large Language Models are neural networks which are trained to produce a probability distribution on the possible next words to given texts in a corpus, in such a way that the most likely word predicted, is the actual word in the training text.
      We will explain what is the mathematical structure defined by such conditional probability distributions of text extensions.
      Changing the viewpoint from probabilities to -log probabilities, we observe that the data of text extensions are encoded in a directed (non-symmetric) metric structure defined on the space of texts ${\mathcal L}$. We then consider the space $P ({\mathcal L})$, of non-expansive functions on ${\mathcal L}$ which turns out to be a directed metric, alcoved polytope, in which ${\mathcal L}$ is isometrically embedded as generators of certain special extremal rays. Each such generator encodes extensions of a text along with the corresponding probabilities. Moreover $P ({\mathcal L})$ is $(\mbox{min}, +)$ (i.e. tropically) generated by the text extremal rays.
      $P ({\mathcal L})$ encodes semantic information about the language. We study this space and in particular explain a duality theorem relating the space generated by text extensions and that generated by text restrictions.
      The metric space ${\mathcal L}$ can equivalently be considered as an enriched category and then the embedding into $P ({\mathcal L})$ is the Yoneda embedding into its category of presheaves. In fact all constructions have categorical meaning (in particular generalizing the familiar view of language as a monoid or as a poset with the subtext order).
      This is joint work with Stéphane Gaubert.

      Orateur: Yiannis Vlassopoulos (Athena Research Center)
    • 15:40
      Pause
    • 20
      Sum of Tensor Trace Invariants for Spin Glass Landscapes Optimisation

      Spin glass models have been a interesting research subject due to the multiple valuable insights it brought to various fields such as statistical physics and machine learning. The spherical p-spin glass model in particular has been proven an excellent candidate to investigate the landscape of such models. On the other side, theoretical tools for the study of random tensors have been developed in the field of high energy physics by Razvan Gurau, Vincent Rivasseau and their collaborators. These tools have been successfully been used to address some questions related to the spherical p-spin glass. They have been used in (Evnin, 2020) to study the ground state of the spherical p-spin glass Hamiltonian. Subsequently, (Gurau, 2020) provided a theoretical study on a function based on an infinite sum of tensorial trace invariants for studying the p-spin glass with a planted spike. This function allows the detection of the presence of the planted spike above a given threshold. However, evaluating it involves computing an integral over a n-dimensional space, which may not be possible in a polynomial time. [Ouerfelli et al., 2024] showed that random tensor theory techniques can also provide a general framework for computationable algorithms. In this talk, we investigate an approach based on the random tensor theory framework that aims to progress towards the theoretical study of [Gurau, 2020] by studying the optimal way to sum tensor trace invariants in order to find local maxima of this landscape. This is based on a joint work with Parham Radpay, Mohamed Tamaazousti and Vincent Rivasseau.

      Orateur: Mohamed Ouerfelli (Université Paris-Saclay, CEA)