SearcharxivSearch

arXiv subjects

Philippe Biane

Publications and source records attributed to Philippe Biane.

At least 19 recordsLinked to original sources

Decomposition of Greedy Tamari Intervals and Bipartite Planar Maps

The greedy Tamari poset, inspired by the well-studied Tamari lattice, was recently defined by Dermenjian in the more general setting of greedy $\nu$-Tamari posets. Bousquet-M\'elou and Chapoton counted intervals of the greedy $m$-Tamari poset in 2024 by solving a functional equation, and found that they are equi-enumerous to planar $(m+1)$-constellations. In this work, we give a combinatorial proof of this fact for the case $m = 1$, which also gives the refined enumeration conjectured by Bousquet-M\'elou and Chapoton. This is done by establishing a recursive decomposition of greedy Tamari intervals isomorphic to that of bipartite planar maps. We also propose a more general and refined conjecture for the case of general $m$.

math.CO

Combinatorics of descent algebras and graph coverings

We give a direct combinatorial proof that the product of two descent classes in a symmetric group is a sum of descent classes. The proof is based on the fact that the group product gives a covering map when descent classes are endowed with the graph structure coming from the weak order. The main geometric argument is valid for any Coxeter group, even infinite ones for which the descent algebra does not exist.

math.CO

Combinatorics of the Quantum Symmetric Simple Exclusion Process, associahedra and free cumulants

The Quantum Symmetric Simple Exclusion Process (QSSEP) is a model of quantum particles hopping on a finite interval and satisfying the exclusion principle. Recently Bernard and Jin have studied the fluctuations of the invariant measure for this process, when the number of sites goes to infinity. These fluctuations are encoded into polynomials, for which they have given equations and proved that these equations determine the polynomials completely. In this paper, I give an explicit combinatorial formula for these polynomials, in terms of Schröder trees. I also show that, quite surprisingly, these polynomials can be interpreted as free cumulants of a family of commuting random variables.

math.CO

Bernoulli variables, classical exclusion processes and free probability

We present a new description of the known large deviation function of the classical symmetric simple exclusion process by exploiting its connection with the quantum symmetric simple exclusion processes and using tools from free probability. This may seem paradoxal as free probability usually deals with non commutative probability while the simple exclusion process belongs to the realm of classical probability. On the way, we give a new formula for the free energy -- alias the logarithm of the Laplace transform of the probability distribution -- of correlated Bernoulli variables in terms of the set of their cumulants with non-coinciding indices. This latter result is obtained either by developing a combinatorial approach for cumulants of products of random variables or by borrowing techniques from Feynman graphs.

math-ph

Mating of discrete trees and walks in the quarter-plane

We give a general construction of triangulations starting from a walk in the quarter plane with small steps, which is a discrete version of the mating of trees. We use a special instance of this construction to give a bijection between maps equipped with a rooted spanning tree and walks in the quarter plane. We also show how the construction allows to recover several known bijections between such objects in a uniform way.

math.CO

Nonlinear free Lévy-Khinchine formula and conformal mapping

There are two natural notions of Lévy processes in free probability: the first one has free increments with homogeneous distributions and the other has homogeneous transition probabilities. In the two cases one can associate a Nevanlinna function to a free Lévy process. The Nevanlinna functions appearing in the first notion were characterised by Bercovici and Voiculescu. I give an explicit parametrisation for the Nevanlinna functions associated with the second kind of free Lévy processes. This gives a nonlinear free Lévy-Khinchine formula.

math.PR

Noncrossing partitions, Bruhat order and the cluster complex

We introduce two order relations on finite Coxeter groups which refine the absolute and the Bruhat order, and establish some of their main properties. In particular we study the restriction of these orders to noncrossing partitions and show that the intervals for these orders can be enumerated in terms of the cluster complex. The properties of our orders permit to revisit several results in Coxeter combinatorics, such as the Chapoton triangles and how they are related, the enumeration of reflections with full support, the bijections between clusters and noncrossing partitions.

math.CO

Laver tables and combinatorics

The Laver tables are finite combinatorial objects with a simple elementary definition, which were introduced by R. Laver from considerations of logic and set theory. Although these objects exhibit some fascinating properties, they seem to have escaped notice from the combinatorics community. My aim is to give a short introduction to this topic, presenting the definition and main properties and stating a few open problems, which should arouse the interest of combinatorialists.

math.CO

Laplacian matrices and spanning trees of tree graphs

If $G$ is a strongly connected finite directed graph, the set $\mathcal{T}G$ of rooted directed spanning trees of $G$ is naturally equipped with a structure of directed graph: there is a directed edge from any spanning tree to any other obtained by adding an outgoing edge at its root vertex and deleting the outgoing edge of the endpoint. Any Schrödinger operator on $G$, for example the Laplacian, can be lifted canonically to $\mathcal{T}G$. We show that the determinant of such a lifted Schrödinger operator admits a remarkable factorization into a product of determinants of the restrictions of Schrödinger operators on subgraphs of $G$ and we give a combinatorial description of the multiplicities using an exploration procedure of the graph. A similar factorization can be obtained from earlier ideas of C. Athaniasadis, but this leads to a different expression of the multiplicities, as signed sums on which the nonnegativity is not appearent. We also provide a description of the block structure associated with this factorization. As a simple illustration we reprove a formula of Bernardi enumerating spanning forests of the hypercube, that is closely related to the graph of spanning trees of a bouquet. Several combinatorial questions are left open, such as giving a bijective interpretation of the results.

math.CO

Minimal factorizations of a cycle: a multivariate generating function

It is known that the number of minimal factorizations of the long cycle in the symmetric group into a product of $k$ cycles of given lengths has a very simple formula: it is $n^{k-1}$ where $n$ is the rank of the underlying symmetric group and $k$ is the number of factors. In particular, this is $n^{n-2}$ for transposition factorizations. The goal of this work is to prove a multivariate generalization of this result. As a byproduct, we get a multivariate analog of Postnikov's hook length formula for trees, and a refined enumeration of final chains of noncrossing partitions.

math.CO

Polynomials Associated with Finite Markov Chains

Given a finite Markov chain, we investigate the first minors of the transition matrix of a lifting of this Markov chain to covering trees. In a simple case we exhibit a nice factorisation of these minors, and we conjecture that it holds more generally.

math.CO

Dual Garside structure of braids and free cumulants of products

We count the n-strand braids whose normal decomposition has length at most two in the dual braid monoid B_n+* by reducing the question to a computation of free cumulants for a product of independent variables, for which we establish a general formula.

math.CO

Inversions and the Gog-Magog problem

We consider the problem of finding a bijection between the sets of alternating sign matrices and of totally symmetric self complementary plane partitions, which can be reformulated using Gog and Magog triangles. In a previous work we introduced GOGAm triangles, which are images of Magog triangles by the Schützenberger involution. In this paper we introduce left Gog and GOGAm trapezoids. We conjecture that they are equienumerated, and we give an explicit bijection between such trapezoids with one or two diagonals. We also study the distribution of inversions and coinversions in Gog triangles.

math.CO

Gog, Magog and Schützenberger II: Left trapezoids

We are interested in finding an explicit bijection between two families of combinatorial objects: Gog and Magog triangles. These two families are particular classes of Gelfand-Tsetlin triangles and are respectively in bijection with alternating sign matrices (ASM) and totally symmetric self complementary plane partitions (TSSCPP). For this purpose, we introduce left Gog and GOGAm trapezoids. We conjecture that these two families of trapezoids are equienumerated and we give an explicit bijection between the trapezoids with one or two diagonals.

math.CO

Concavification of free entropy

We introduce a modification of Voiculescu's free entropy which coincides with the liminf variant of Voiculescu's free entropy on extremal states, but is a concave upper semi-continuous function on the trace state space. We also extend the orbital free entropy of Hiai, Miyamoto and Ueda to non-hyperfinite multivariables and prove freeness in case of additivity of Voiculescu's entropy (or vanishing of our extended orbital entropy).

math.OA

Gog and Magog triangles, and the Schutzenberger involution

We describe an approach to finding a bijection between Alternating Sign Matrices and Totally Symmetric Self-Complementary Plane Partitions, which is based on the Schutzenberger involution. In particular we give an explicit bijection between Gog and Magog trapezoids with two diagonals.

math.CO

Doubly-refined enumeration of Alternating Sign Matrices and determinants of 2-staircase Schur functions

We prove a determinantal identity concerning Schur functions for 2-staircase diagrams lambda=(ln+l',ln,l(n-1)+l',l(n-1),...,l+l',l,l',0). When l=1 and l'=0 these functions are related to the partition function of the 6-vertex model at the combinatorial point and hence to enumerations of Alternating Sign Matrices. A consequence of our result is an identity concerning the doubly-refined enumerations of Alternating Sign Matrices.

math.CO