Categorification of Rule Algebras

• Nicolas BEHR (CNRS, Université de Paris, IRIF)

Room: Centre de conférences Marilyn et James Simons Reporting on joint work in progress with P.-A. Mellies and N. Zeilberger, I will present a novel approach to formalize operations in compositional rewriting systems wherein the number of ways to apply a rewrite is of interest. The approach is based upon defining a suitable double category to capture individual rewriting steps as its 2-cells, requiring in addition certain fibrational properties to hold for the functors of vertical source and target as well as of horizontal composition of cells. Counting numbers of realizations of individual rewriting steps or sequences rewrites is then implemented via a presheaf calculus over 2-cells. I will demonstrate how the notion of rule algebra representations is captured in this calculus and how the rule algebras themselves are categorified via a categorical construction involving coends.

A Gentle Introduction to Template Games and Linear Logic

• Paul-André MELLIÈS (CNRS, Université Paris Cité, IRIF)

Room: Centre de conférences Marilyn et James Simons Game semantics is the art of interpreting formulas (or types) as games and proofs (or programs) as strategies. In order to reflect the interactive behavior of programs, strategies are required to follow specific scheduling policies. Typically, in the case of a sequential programming language, the program (Player) and its environment (Opponent) play one after the other, in a strictly alternating way. On the other hand, in the case of a concurrent language, the Player and the Opponent are allowed to play several moves in a row, in a non-alternating way. In the two cases, the scheduling policy is designed very carefully in order to ensure that the strategies synchronize properly and compose well when plugged together. A longstanding conceptual problem has been to understand when and why a given scheduling policy works and is compositional in that sense. In this talk, I will introduce the notion of a template game and exhibit a number of simple and fundamental combinatorial properties which ensure that a given scheduling policy defines (indeed) a monoidal closed bicategory of games, strategies, and simulations. The notion of a template game will be illustrated by constructing two game models of linear logic with different flavors (alternating and asynchronous) using the same categorical combinatorics, performed in the category of small 2-categories.

Strange Gradings and Elimination of Generators

• Gérard H.E. DUCHAMP (LIPN, Université Paris Nord)

Room: Centre de conférences Marilyn et James Simons Elimination of generators (commutative or noncommutative) is linked to many combinatorial theories (Bisection and codes, Semidirect products of presented groups and Lie algebras, Strange gradings over semigroups, Lazard elimination). We will describe unifying (categorical) links between some of these theories and give general results allowing us to get semidirect decompositions at first sight. Joint work with Paul-Andre Melliès and Vu Nguyen Dinh.

Random Latices as Sphere Packings

• Nihar GARGAVA (EPFL, Cambridge)

Room: Centre de conférences Marilyn et James Simons In 1945, Siegel showed that the expected value of the lattice-sums of a function over all the lattices of unit co-volume in an n-dimensional real vector space is equal to the integral of the function. In 2012, Venkatesh restricted the lattice-sum function to a collection of lattices that had a cyclic group of symmetries and proved a similar mean value theorem. Using this approach, new lower bounds on the most optimal sphere packing density in n dimensions were established for infinitely many n. In the talk, we will outline some analogs of Siegel’s mean value theorem over lattices. This approach has modestly improved some of the best-known lattice packing bounds in many dimensions. We will also show how such results can be made effective and talk about some variations. Joint work with Vlad Serban.

Geometry and Physics of Covalent Network Glasses

• Richard KERNER (LPTMC, Sorbonne Université)

Room: Centre de conférences Marilyn et James Simons Glasses are characterized by the absence of long-range order which defines crystalline materials. However, they possess a rich and varied array of short to medium range order, which originates from chemical bonding and related interactions. whereas covalent systems (mostly chalcogenides like As-Se, Ge-AsSe systems) or oxides (borate, boro-silicate and silicate glasses), have sparsely packed, strongly bound network structures, like tetrahedral SiO2 units or B3O3 boroxol rings. These very different structures results in different physical properties and applications. We present a simple mathematical model of glass transition based on the analysis of molecular agglomeration in overcooled liquids. The model uses the space of probabilities of appearance of given local structures, and their slow time evolution during annealing from a liquid melt. The evolution of probabilities is described as action of an appropriate stochactis matrix. The glass transition is defined as a fixed point resulting from the requirement of maximal homogeneity. With simple assumptions concerning local configurations and their bonding energies, and with elementary combinatorics we are able to derive the dependence of the glass transition temperature Tg on chemical composition in non-organic covalent glasses. Numerous examples are shown to confirm the validity of the stochastic agglomeration model.

New Applications of the Reflection Equation Algebras

• Dimitry GUREVICH (IITP, Moscou)

Room: Centre de conférences Marilyn et James Simons The REA are treated to be q-analogs of the enveloping algebras U(gl(N)). In particular, each of them has a representation category similar to that of U(gl(N)). I plan to exhibit new applications of these algebras: 1. q-analog of Schur-Weyl duality 2. q-Capelli formula 3. q-Frobenius formula

Phase Transitions of Composition Schemes and their Universal Limit Laws

• Cyril BANDERIER (CNRS, Université Paris Nord)

Room: Centre de conférences Marilyn et James Simons Multitudinous combinatorial structures are counted by generating functions satisfying a composition scheme $F(z) = G(H(z))$. The corresponding asymptotic analysis becomes challenging when this scheme is critical (i.e., $G$ and $H$ are simultaneously singular). The singular exponents appearing in the Puiseux expansions of $G$ and $H$ then dictate the asymptotics. Motivated by many examples (random mappings, planar maps, directed lattice paths), we consider a natural extension of this scheme, namely $F(z, u) = G(uH(z))M(z)$. We also consider a variant of this scheme, which allows us to analyze the number of $H$-components of a given size in $F$. These two models lead to a rich world of limit laws, involving Mittag-Leffler distributions, stable distributions... We prove (double) phase transitions, additionally involving Boltzmann and mixed Poisson distributions, with a unified explanation of the associated thresholds. We explain why and when phase transitions involving a window of size $n^{1/3}$ are universal. Applications are presented for random walks, trees (supertrees of trees, increasingly labeled trees, preferential attachment trees), and for some extension of works of Flajolet (on the Airy distribution for planar maps), of Pitman (on the Chinese restaurant process), of Janson (on triangular Polya urns). Joint work with Markus Kuba and Michael Wallner.

Creative Telescoping for the Canham Model in Genus 1

• Sergey YURKEVICH (University of Vienna & INRIA)

Room: Centre de conférences Marilyn et James Simons The algorithmic method of Creative Telescoping turns out to be an extremely useful tool in experimental mathematics when dealing with concrete mathematical problems. As striking examples, it can be used to compute and prove automatically: a recurrence satisfied by any binomial sum (like the Apery numbers), the equality of two-period functions (in the sense of Kontsevich and Zagier), or a recurrence for the moments of a measure. In this talk, I will explain some theories behind Creative Telescoping, and show how it can be applied in practice to a problem originating from biological physics. The problem concerns the shape of biomembranes, such as blood cells, and examines the uniqueness of the variational Helfrich problem in the case of genus 1 with a prescribed isoperimetric ratio. This question boils down to computing the surface area and volume of a projection of the Clifford torus in terms of Gaussian hypergeometric functions. We tackle this using Creative Telescoping and then prove that the rescaled ratio of these functions is monotonically increasing. The talk will be based on joint work with Alin Bostan and Thomas Yu.

Hausdorff Moment Problems for Combinatorial Numbers: Heuristics via Meijer G-functions

• Karol A. PENSON (LPTMC, Sorbonne Université)

Room: Centre de conférences Marilyn et James Simons We report on further investigations of combinatorial sequences in form of integral ratios of factorials. We conceive these integers as Hausdorff power moments for weights $W(x)$, concentrated on the support $x ∈ (0, R)$, and we solve this moment problem by furnishing the exact expressions for $W(x)’s$. In many instances, we can formally prove that the sequences are positive definite. We considered a large set of families of such sequences including formulas of Tutte et al. for enumerations of planar maps, several generalizations of Catalan numbers such as Fuss-Catalan and Raney numbers, the constellation numbers, and the ratios of multiple factorials, such as the iconic Kontsevich $(\frac{(6n)!n!}{(3n)![(2n)!]^2})$ and Chebyshev $(\frac{(30n)!n!}{(6n)!(10n)!(15n)!})$ sequences. Furthermore, we provide the exact solutions for all three parametrized families of Bober ratios (2009) of factorials, as well as for the ”sporadic” ratios, for all of which the ordinary generating functions (ogf) are algebraic. Finally, in the same spirit, we studied the sequences recently constructed by Rodriquez Villegas (2019-2022), including $(\frac{(63n)!(8n)!(2n)!}{n!(4n)!(16n)!(21n)!(31n)})$. In all the cases listed above, we have identified a precisely defined and persistent pattern relating the Meijer G-encodings of appropriate ogf $G(z)$ and of $W(x)$. In fact, it appears that in the language of Meijer G-functions, the solutions $W(x)$ are practically automatically obtained by reshuffling of data characterizing the ogf $G(z)$ only, i.e. the parameter lists and its radius of convergence $R^{−1}$. We attempt to categorize these observations and try to find the criteria for moments that would allow for such an automatization. It is also intriguing that the counterexamples can be found, which clearly point to the limits of this procedure. Finding the precise criteria for moments that would permit for such a speedy method, is still a challenging open problem. Collaboration at various stages of this work with N. Behr, G. H. E. Duchamp, K. Gorska, M. Kontsevich, and G. Koshevoy.

Substitutions in Non-commutative Multivariate Power Series

• Frédéric PATRAS (CNRS, Université Côte d'Azur)

Room: Centre de conférences Marilyn et James Simons We describe a group law on formal power series in non-commuting variables induced by their interpretation as linear forms on a Hopf algebra of sentences. We study the corresponding structures and show how they can be used to recast in a group theoretic form various identities and transformations on formal power series that have been central in the context of non-commutative probability theory. Based on joint work with K. Ebrahimi-Fard, N. Tapia, and L. Zambotti.

Introduction to Resurgence

• Maxim KONTSEVICH (IHES)

Room: Centre de conférences Marilyn et James Simons I will explain the phenomenon of resurgence in a (apparently) new example related to Stirling formula, and its generalization to quantum dilogarithm. Let us define rational Stirling numbers ($St_k$) = (1, 1/12, 1/288, . . .) as coefficients in the asymptotic expansion of the normalized factorial: $n! ∼ $$\sqrt{2π nn^ne^{-n}}$ (1$+$ $\frac{1}{12n}$ $+$ $\frac{1}{288n^2}$ $+$ $\frac{1}{51849n^3}$ $+$.... Then the asymptotic behavior of $St_k$ for large even k is controlled by numbers $St_k$ for small odd $k$, and vice versa. In the case of quantum dilogarithm, one deforms Stirling numbers to Euler polynomials.

The One-sided Cycle Shuffles in the Symmetric Group Algebra (Zoom)

• Darij GRINBERG (Drexel University)

Room: Centre de conférences Marilyn et James Simons We study a new family of elements in the group ring of a symmetric group – or, equivalently, a class of ways to shuffle a deck of cards. Fix a positive integer $n$. Consider the symmetric group $S_n$. For each $1 ≤ ℓ ≤ n$, we define an element $tℓ := cyc_ℓ + cyc_{ℓ,ℓ+1}+cyc_{ℓ,ℓ+1,ℓ+2}+ · · · + cyc_{ℓ,ℓ+1,...,n}$ of the group ring $\mathbb{R}[S_n]$, where $cyc_{{i_1},{i_2},...,{i_k}}$ denotes the cycle that rotates through the given elements ${i_1},{i_2}, . . . , {i_k}$. We refer to these n elements ${t_1},{t_2}, . . . , {t_k}$ as the $\underline{somewhere-to-below shuffles}$, since the standard interpretation of elements of $\mathbb{R}[S_n]$ in terms of card shuffling allows us to view them as shuffling operators. Note that ${t_1}$ is the well-known $\underline{top-to-random shuffle}$ studied by Diaconis, Fill, Pitman and others, whereas ${t_n}=id$. Similar families of elements of $\mathbb{R}[S_n]$ include the Young-Jucys-Murphy elements, the Reiner-Saliola-Welker elements, and the Diaconis-Fill-Pitman elements. Unlike the latter three families, the somewhere-to-below shuffles ${t_1},{t_2}, . . . , {t_n}$ do not commute. However, they come close to commuting: there is a basis of $\mathbb{R}[S_n]$ on which they all act as upper-triangular matrices; thus, they generate an algebra whose semisimple quotient is commutative (which entails, in particular, that their commutators are nilpotent). This basis can in fact be constructed combinatorially, and bears several unexpected connections, most strikingly to the Fibonacci sequence. One of the consequences is that any $\mathbb{R}$-linear combination $λ_1t_1 + λ_2t_2 + · · · + λ_nt_n$ (with $λ_1, λ_2, . . . , λ_n ∈ \mathbb{R})$ can be triangularized and its eigenvalues explicitly computed (along with their multiplicities); the number of distinct eigenvalues is at most the Fibonacci number $\int_{n+1}$. If all these $\int_{n+1}$ eigenvalues are indeed distinct, then the matrix is diagonalizable. While we have been working over $\mathbb{R}$ for illustrative purposes, all our proofs hold over any commutative ring (or, for the diagonalizability claim, over any field). Several open questions remain (joint work with Nadia Lafreniere).

Canonical Grothendieck Polynomials with Free Fermions (Zoom)

• Travis SCRIMSHAW (Hokkaido University)

Room: Centre de conférences Marilyn et James Simons A new classical method to construct the Schur functions is constructing matrix elements using half vertex operators associated with the classical boson-fermion correspondence. This construction is known as using free fermions. Schur functions are also known to be polynomial representatives of cohomology classes of Schubert varieties in the Grassmannian. By instead using K-theory, the representatives become the (symmetric) Grothendieck polynomials. A recent generalization was given by Hwang et al. called the (refined) canonical Grothendieck polynomials based on the work of Galashin–Grinberg–Liu and Yeliussizov. In this talk, we take the Jacobi–Trudi formulas of Hwang et al. as our definition and use Wick’s theorem to give a presentation for the canonical Grothendieck polynomials and their dual basis using free fermions. This generalizes the recent work of Iwao. Using this, we derive many known identities, as well as some new ones, through simple computations. This is based on joint work with Shinsuke Iwao and Kohei Motegi (arXiv: 2211.05002).

Statisti cal Models on Random Regular Graphs (Zoom)

• Alexander GORSKY (IITP RAS)

Room: Centre de conférences Marilyn et James Simons Using the matrix-forest theorem and the Parisi-Sourlas trick we formulate and solve a one-matrix model with non-polynomial potential which provides perturbation theory for massive spinless fermions on dynamical planar graphs. This is a version of 2d quantum gravity discretized via RRG coupled to massive spinless fermions. Our model equivalently describes the ensemble of spanning forests on the same graph. The solution is formulated in terms of an elliptic curve. We then focus on a near-critical scaling limit when both the graphs and the trees in the forests are macroscopically large. In this limit, we obtain universal one-point scaling functions (condensates), parameterized in terms of the Lambert function. Our results provide a rare example where one can explore the flow between two gravity models – in this case, the theories of conformal matter coupled to 2d gravity with c=-2 (large trees regime) and c=0 (small trees regime). We shall also present the results of numerical simulations concerning phase transitions in RRG ensemble and their relation with Anderson localization

Reddening Sequences for Cluster Algebras (Zoom)

• Volker GENZ (IBS CGP)

Room: Centre de conférences Marilyn et James Simons While cluster algebras generally are not finitely generated, reddening sequences offer a more relaxed notion of finiteness. The existence of a reddening sequence has far reaching consequences for a cluster algebra (generic finite dimensionality of the Jacobian, numeric Donaldson-Thomas invariants, canonical bases). While it is not clear how to determine if a cluster algebra admits a reddening sequence, in this talk we discuss some cases in which reddening sequences have been established.

Combinatorics of the Amplituhedron

• Lauren WILLIAMS (Harvard University)

Room: Centre de conférences Marilyn et James Simons The amplituhedron is the image of the positive Grassmannian under a map induced by a totally positive matrix. It was introduced by Arkani-Hamed and Trnka to compute scattering amplitudes in N=4 super Yang-Mills. I’ll give a gentle introduction to the amplituhedron, surveying its connections to cluster algebras, matroids, and combinatorics (Eulerian numbers, Narayana numbers, etc).

Kontsevich’s Star-product up to Order Seven for Affine Poisson Brackets, or: Where are the Riemann Zeta Values?

• Arthemy KISELEV (University of Groningen)

Room: Centre de conférences Marilyn et James Simons Noncommutative associative star products are deformations of the usual product of functions on smooth manifolds; in every star product, its leading deformation term is a Poisson bracket. Kontsevich’s star products on finite-dimensional affine Poisson manifolds are encoded using weighted graphs with the ordering of directed edges. The associativity is then obstructed only by the Jacobiator (and its differential consequences) for the bi-vector which starts the deformation. Finding the real coefficients of graphs in Kontsevich’s star-product expansion is hard in practice; conjecturally irrational Riemann zeta values appear from the fourth order onwards. In joint work with R.Buring (arXiv:2209.14438 [q-alg]), we obtain the seventh-order formula of Kontsevich’s star-product for affine Poisson brackets (in particular, for linear brackets on the duals of Lie algebras). We discover that all the graphs near the Riemann ”zetas of concern” assimilate into differential consequences of the Jacobi identity so that all the coefficients in the star-product formula are rational for every affine Poisson bracket. Thirdly, we explore the mechanism of associativity for Kontsevich’s star product for generic or affine Poisson brackets (and with harmonic propagators from the original formula for the graph weights): here, we contrast the work of this mechanism up to order six with the way associativity works in terms of graphs for orders seven and higher.

On the Positivity of Meijer G-functions

• Thomas SIMON (Laboratoire Paul Painlevé, Université de Lille)

Room: Centre de conférences Marilyn et James Simons I will discuss some results and conjectures on the positivity of Meijer G-functions on the positive half-line, in the non-trivial case where the underlying random variable is not an independent product of quotients of beta random variables. Some emphasis will be put on the notions of logarithmic infinite divisibility and quasi-infinite divisibility. If time permits, I will discuss some extensions to Fox H-functions.

Landau-Ginzburg Potentials via Projective Representations (Zoom)

• Bea de LAPORTE (University of Cologne)

Room: Centre de conférences Marilyn et James Simons Many interesting spaces arise as partial compactifications of Fock-Goncharov’s cluster varieties, among them (affine cones over) flag varieties which are important objects in the representation theory of algebraic groups. Due to construction of Gross-Hacking-Keel-Kontsevich, those partial compactifications give rise to Landau-Ginzburg potentials on the dual cluster varieties whose tropicalizations define interesting polyhedral cones parametrizing the theta basis on the ring of regular functions on the cluster varieties. In this talk, after explaining the background, we give an interpretation of these Landau-Ginzburg potentials as F-polynomials of projective representations of Jacobian algebras. This is joint work with Daniel Labardini-Fragoso.

Cluster Duality and Non-holomorphic Spectral Curves

• Vladimir FOCK (Strasbourg University)

Room: Centre de conférences Marilyn et James Simons Cluster duality is a correspondence between tropical points of a cluster A-variety and a canonical basis of functions on the corresponding X-variety. (It is a generalization of duality between integers and the multiplicative group.) In the talk, we will suggest related geometric interpretations of the tropical points of the Avariety for a local system of the curve. On the hand, it can be considered as a class of graphs on the surfaces colored by generators of the affine Weyl group. This is a generalization of the notion of measured lamination. On the other hand, it can be interpreted as a class of Lagrangian coverings in the cotangent bundle to the curve representing integer classes of homology. Finally, they are related to the ”cells” of the space of the local system on the curve with values in the affine group. Joint with A.Thomas and V.Tatitscheff.