Searcharxiv⌕ Search

arXiv subjects

Jean-Yves Thibon

Publications and source records attributed to Jean-Yves Thibon.

At least 37 records · Page 2Linked to original sources
arXiv2018

Noncommutative Bell polynomials and the dual immaculate basis

We define a new family of noncommutative Bell polynomials in the algebra of free quasi-symmetric functions and relate it to the dual immaculate basis of quasi-symmetric functions. We obtain noncommutative versions of Grinberg's results [Canad. J. Math. 69 (2017), 21--53], and interpret them in terms of the tridendriform structure of WQSym. We then present a variant of Rey's self-dual Hopf algebra of set partitions [FPSAC'07, Tianjin] adapted to our noncommutative Bell polynomials and give a complete description of the Bell equivalence classes as linear extensions of explicit posets.

math.CO↗
arXiv2017

Free cumulants, Schröder trees, and operads

The functional equation defining the free cumulants in free probability is lifted successively to the noncommutative Faà di Bruno algebra, and then to the group of a free operad over Schröder trees. This leads to new combinatorial expressions, which remain valid for operator-valued free probability. Specializations of these expressions give back Speicher's formula in terms of noncrossing partitions, and its interpretation in terms of characters due to Ebrahimi-Fard and Patras.

math.CO↗
arXiv2017

Weak composition quasi-symmetric functions, Rota-Baxter algebras and Hopf algebras

We introduce the Hopf algebra of quasi-symmetric functions with semigroup exponents generalizing the Hopf algebra QSym of quasi-symmetric functions. As a special case we obtain the Hopf algebra WCQSym of weak composition quasi-symmetric functions, which provides a framework for the study of a question proposed by G.-C.~Rota relating symmetric type functions and Rota-Baxter algebras. We provide the transformation formulas between the weak composition monomial and fundamental quasi-symmetric functions, which extends the corresponding results for quasi-symmetric functions. Moreover, we show that QSym is a Hopf subalgebra and a Hopf quotient algebra of WCQSym. Rota's question is addressed by identifying WCQsym with the free commutative unitary Rota-Baxter algebra of weight 1 on one generator, which also allows us to equip this algebra with a Hopf algebra structure.

math.CO↗
arXiv2017

Rayleigh-Schrödinger series and Birkhoff decomposition

We derive new expressions for the Rayleigh-Schrödinger seriesdescribing the perturbation of eigenvalues of quantumHamiltonians. The method, somehow close to the so-called dimensionalrenormalization in quantum field theory, involves the Birkhoffdecomposition of some Laurent series built up out of explicit fullynon-resonant terms present in the usual expression of theRayleigh-Schrödinger series. Our results provide new combinational formulae and a new way \ff{of deriving} perturbation series in Quantum Mechanics. More generally we prove that such a decomposition provides solutions of general normal form problems in Lie algebras.

math.AP↗
arXiv2016

Combinatorics of Poincaré's and Schröder's equations

We investigate the combinatorial properties of the functional equation $ϕ[h(z)]=h(qz)$ for the conjugation of a formal diffeomorphism $ϕ$ of $\mathbb{C}$ to its linear part $z\mapsto qz$. This is done by interpreting the functional equation in terms of symmetric functions, and then lifting it to noncommutative symmetric functions. We describe explicitly the expansion of the solution in terms of plane trees and prove that its expression on the ribbon basis has coefficients in ${\mathbb N}[q]$ after clearing the denominators $(q)_n$. We show that the conjugacy equation can be lifted to a quadratic fixed point equation in the free triduplicial algebra on one generator. This can be regarded as a $q$-deformation of the duplicial interpretation of the noncommutative Lagrange inversion formula. Finally, these calculations are interpreted in terms of the group of the operad of Stasheff polytopes, and are related to Ecalle's arborified expansion by means of morphisms between various Hopf algebras of trees.

math.CO↗
arXiv2016

Entanglement of four-qubit systems: a geometric atlas with polynomial compass II (the tame world)

We propose a new approach to the geometry of the four-qubit entanglement classes depending on parameters. More precisely, we use invariant theory and algebraic geometry to describe various stratifications of the Hilbert space by SLOCC invariant algebraic varieties. The normal forms of the four-qubit classification of Verstraete {\em et al.} are interpreted as dense subsets of components of the dual variety of the set of separable states and an algorithm based on the invariants/covariants of the four-qubit quantum states is proposed to identify a state with a SLOCC equivalent normal form (up to qubits permutation).

math-ph↗
arXiv2015

On composition polynomials

We provide a combinatorial interpretation of the reduced composition polynomials of Ardila and Doker [Adv. Appl. Math. 50 (2013), 607], and relate them to the $(1-q)$-transform of noncommutative symmetric functions.

math.CO↗
arXiv2014

Quasi-symmetric functions as polynomial functions on Young diagrams

We determine the most general form of a smooth function on Young diagrams, that is, a polynomial in the interlacing or multirectangular coordinates whose value depends only on the shape of the diagram. We prove that the algebra of such functions is isomorphic to quasi-symmetric functions, and give a noncommutative analog of this result.

math.CO↗
arXiv2014

Super quasi-symmetric functions via Young diagrams

We consider the multivariate generating series $F_P$ of $P$-partitions in infinitely many variables $x_1, x_2 , \dots$. For some family of ranked posets $P$, it is natural to consider an analog $N_P$ with two infinite alphabets. When we collapse these two alphabets, we trivially recover $F_P$. Our main result is the converse, that is, the explicit construction of a map sending back $F_P$ onto $N_P$. We also give a noncommutative analog of the latter. An application is the construction of a basis of WQSym with a non-negative multiplication table, which lifts a basis of QSym introduced by K. Luoto.

math.CO↗
arXiv2013

Deformations of shuffles and quasi-shuffles

We investigate deformations of the shuffl e Hopf algebra structure Sh(A) which can be de fined on the tensor algebra over a commutative algebra A. Such deformations, leading for example to the quasi-shuffl e algebra QSh(A), can be interpreted as natural transformations of the functor Sh, regarded as a functor from commutative nonunital algebras to coalgebras. We prove that the monoid of natural endomophisms of the functor Sh is isomorphic to the monoid of formal power series in one variable without constant term under composition, so that in particular, its natural automorphisms are in bijection with formal diffeomorphisms of the line. These transformations can be interpreted as elements of the Hopf algebra of word quasi-symmetric functions WQSym, and in turn de fine deformations of its structure. This leads to a new embedding of free quasi-symmetric functions into WQSym, whose relevance is illustrated by a simple and transparent proof of Goldberg's formula for the coe cients of the Hausdorff series.

math.RA↗
arXiv2013

Entanglement of four qubit systems: a geometric atlas with polynomial compass I (the finite world)

We investigate the geometry of the four qubit systems by means of algebraic geometry and invariant theory, which allows us to interpret certain entangled states as algebraic varieties. More precisely we describe the nullcone, i.e., the set of states annihilated by all invariant polynomials, and also the so called third secant variety, which can be interpreted as the generalization of GHZ-states for more than three qubits. All our geometric descriptions go along with algorithms which allow us to identify any given state in the nullcone or in the third secant variety as a point of one of the 47 varieties described in the paper. These 47 varieties correspond to 47 non-equivalent entanglement patterns, which reduce to 15 different classes if we allow permutations of the qubits.

math-ph↗
arXiv2013

Binary shuffle bases for quasi-symmetric functions

We construct bases of quasi-symmetric functions whose product rule is given by the shuffle of binary words, as for multiple zeta values in their integral representations, and then extend the construction to the algebra of free quasi-symmetric functions colored by positive integers. As a consequence, we show that the fractions introduced in [Guo and Xie, Ramanujan Jour. 25 (2011) 307-317] provide a realization of this algebra by rational moulds extending that of free quasi-symmetric functions given in [Chapoton et al., Int. Math. Res. Not. IMRN 2008, no. 9, Art. ID rnn018].

math.CO↗
arXiv2012

Mould calculus, polyhedral cones, and characters of combinatorial Hopf algebras

We describe a method for constructing characters of combinatorial Hopf algebras by means of integrals over certain polyhedral cones. This is based on ideas from resurgence theory, in particular on the construction of well-behaved averages induced by diffusion processes on the real line. We give several interpretations and proofs of the main result in terms of noncommutative symmetric and quasisymmetric functions, as well as generalizations involving matrix quasi-symmetric functions. The interpretation of noncommutative symmetric functions as alien operators in resurgence theory is also discussed, and a new family of Lie idempotents of descent algebras is derived from this interpretation.

math.CO↗
arXiv2012

Geometric descriptions of entangled states by auxiliaries varieties

The aim of the paper is to propose geometric descriptions of multipartite entangled states using algebraic geometry. In the context of this paper, geometric means each stratum of the Hilbert space, corresponding to an entangled state, is an open subset of an algebraic variety built by classical geometric constructions (tangent lines, secant lines) from the set of separable states. In this setting we describe well-known classifications of multipartite entanglement such as $2\times 2\times(n+1)$, for $n\geq 1$, quantum systems and a new example with the $2\times 3\times 3$ quantum system. Our description completes the approach of Miyake and makes stronger connections with recent work of algebraic geometers. Moreover for the quantum systems detailed in this paper we propose an algorithm, based on the classical theory of invariants, to decide to which subvariety of the Hilbert space a given state belongs.

math-ph↗
arXiv2011

Supercharacters, symmetric functions in noncommuting variables, and related Hopf algebras

We identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in noncommuting variables. Each is a Hopf algebra and the two are isomorphic as such. This allows developments in each to be transferred. The identification suggests a rich class of examples for the emerging field of combinatorial Hopf algebras.

math.CO↗
arXiv2011

The algebraic combinatorics of snakes

Snakes are analogues of alternating permutations defined for any Coxeter group. We study these objects from the point of view of combinatorial Hopf algebras, such as noncommutative symmetric functions and their generalizations. The main purpose is to show that several properties of the generating functions of snakes, such as differential equations or closed form as trigonometric functions, can be lifted at the level of noncommutative symmetric functions or free quasi-symmetric functions. The results take the form of algebraic identities for type B noncommutative symmetric functions, noncommutative supersymmetric functions and colored free quasi-symmetric functions.

math.CO↗
arXiv2011

Noncommutative symmetric functions with matrix parameters

We define new families of noncommutative symmetric functions and quasi-symmetric functions depending on two matrices of parameters, and more generally on parameters associated with paths in a binary tree. Appropriate specializations of both matrices then give back the two-vector families of Hivert, Lascoux, and Thibon and the noncommutative Macdonald functions of Bergeron and Zabrocki.

math.CO↗