Showing 1–42 of 42 results for author: Luque, J

Presentation of monoids generated by a projection and an involution

Authors: Pascal Caron, Jean-Gabriel Luque, Bruno Patrou

Abstract: Monoids generated by elements of order two appear in numerous places in the literature. For example, Coxeter reflection groups in geometry, Kuratowski monoids in topology, various monoids generated by regular operations in language theory and so on. In order to initiate a classification of these monoids, we are interested in the subproblem of monoids, called strict 2-PIMs, generated by an involuti… ▽ More Monoids generated by elements of order two appear in numerous places in the literature. For example, Coxeter reflection groups in geometry, Kuratowski monoids in topology, various monoids generated by regular operations in language theory and so on. In order to initiate a classification of these monoids, we are interested in the subproblem of monoids, called strict 2-PIMs, generated by an involution and an idempotent. In this case we show, when the monoid is finite, that it is generated by a single equation (in addition to the two defining the involution and the idempotent). We then describe the exact possible forms of this equation and classify them. We recover Kuratowski's theorem as a special case of our study. △ Less

Submitted 1 February, 2024; originally announced February 2024.

On recursively defined combinatorial classes and labelled trees

Authors: Ali Chouria, Vlad-Florin Drǎgoi, Jean-Gabriel Luque

Abstract: We define and prove isomorphisms between three combinatorial classes involving labeled trees. We also give an alternative proof by means of generating functions. We define and prove isomorphisms between three combinatorial classes involving labeled trees. We also give an alternative proof by means of generating functions. △ Less

Submitted 10 April, 2020; v1 submitted 8 April, 2020; originally announced April 2020.

Comments: 14 pages, 6 figures, accepted for presentation at the International Conference on Computers Communications and Control (ICCCC), May 2020

MSC Class: 05C30; 05A19

Connections between vector-valued and highest weight Jack and Macdonald polynomials

Authors: Laura Colmenarejo, Charles F. Dunkl, Jean-Gabriel Luque

Abstract: We analyze conditions under which a projection from the vector-valued Jack or Macdonald polynomials to scalar polynomials has useful properties, especially commuting with the actions of the symmetric group or Hecke algebra, respectively, and with the Cherednik operators for which these polynomials are eigenfunctions. In the framework of the representation theory of the symmetric group and the Heck… ▽ More We analyze conditions under which a projection from the vector-valued Jack or Macdonald polynomials to scalar polynomials has useful properties, especially commuting with the actions of the symmetric group or Hecke algebra, respectively, and with the Cherednik operators for which these polynomials are eigenfunctions. In the framework of the representation theory of the symmetric group and the Hecke algebra, we study the relation between singular nonsymmetric Jack and Macdonald polynomials and highest weight symmetric Jack and Macdonald polynomials. Moreover, we study the quasistaircase partition as a continuation of our study on the conjectures of Bernevig and Haldane on clustering properties of symmetric Jack polynomials. △ Less

Submitted 10 July, 2019; originally announced July 2019.

MSC Class: 05E10; 20C30; 20C08; 33C52; 33D52; 81V70

Quantum circuits of c -- Z and SWAP gates optimization and entanglement

Authors: Marc Bataille, Jean-Gabriel Luque

Abstract: We have studied the algebraic structure underlying the quantum circuits composed by $\cZ$ and $\Swap$ gates. Our results are applied to optimize the circuits and to understand the emergence of entanglement when a circuit acts on a fully factorized state. We have studied the algebraic structure underlying the quantum circuits composed by $\cZ$ and $\Swap$ gates. Our results are applied to optimize the circuits and to understand the emergence of entanglement when a circuit acts on a fully factorized state. △ Less

Submitted 30 January, 2019; v1 submitted 2 October, 2018; originally announced October 2018.

Multilinear representations of Free PROs

Authors: Eric Laugerotte, Jean-Gabriel Luque, Ludovic Mignot, Florent Nicart

Abstract: We describe a structure of PRO on hypermatrices. This structure allows us to define multilinear representations of PROs and in particular of free Pros. As an example of applications, we investigate the relations of the representations of Pros with the theory of automata. We describe a structure of PRO on hypermatrices. This structure allows us to define multilinear representations of PROs and in particular of free Pros. As an example of applications, we investigate the relations of the representations of Pros with the theory of automata. △ Less

Submitted 1 March, 2018; originally announced March 2018.

Comments: 39 pages

Factorizations of symmetric Macdonald polynomials

Authors: Laura Colmenarejo, Charles F. Dunkl, Jean-Gabriel Luque

Abstract: We prove many factorization formulas for highest weight Macdonald polynomials indexed by particular partitions called quasistaircases. As a consequence we prove a conjecture of Bernevig and Haldane stated in the context of the fractional quantum Hall theory. We prove many factorization formulas for highest weight Macdonald polynomials indexed by particular partitions called quasistaircases. As a consequence we prove a conjecture of Bernevig and Haldane stated in the context of the fractional quantum Hall theory. △ Less

Submitted 18 July, 2017; v1 submitted 4 July, 2017; originally announced July 2017.

Comments: Dédicacé à Jean-Yves Thibon pour son soixantième anniversaire. 34 pages, 4 figures

On the self-convolution of generalized Fibonacci numbers

Authors: Hacène Belbachir, Toufik Djellal, Jean-Gabriel Luque

Abstract: We focus on a family of equalities pioneered by Zhang and generalized by Zao and Wang and hence by Mansour which involves self convolution of generalized Fibonacci numbers. We show that all these formulas are nicely stated in only one equation involving a bivariate ordinary generating function and we give also a formula for the coefficients appearing in that context. As a consequence, we give the… ▽ More We focus on a family of equalities pioneered by Zhang and generalized by Zao and Wang and hence by Mansour which involves self convolution of generalized Fibonacci numbers. We show that all these formulas are nicely stated in only one equation involving a bivariate ordinary generating function and we give also a formula for the coefficients appearing in that context. As a consequence, we give the general forms for the equalities of Zhang, Zao-Wang and Mansour. △ Less

Submitted 1 March, 2017; originally announced March 2017.

Hyperpfaffians

Authors: Ammar Aboud, Jean-Gabriel Luque

Abstract: We define and inverstigate a generalization of the pfaffian for multiple array which interpolate between the hyperdeterminant and the hyperp-faffian. We define and inverstigate a generalization of the pfaffian for multiple array which interpolate between the hyperdeterminant and the hyperp-faffian. △ Less

Submitted 19 August, 2016; originally announced August 2016.

$r-$Bell polynomials in combinatorial Hopf algebras

Authors: Ali Chouria, Jean-Gabriel Luque

Abstract: We introduce partial $r$-Bell polynomials in three combinatorial Hopf algebras. We prove a factorization formula for the generating functions which is a consequence of the Zassenhauss formula. We introduce partial $r$-Bell polynomials in three combinatorial Hopf algebras. We prove a factorization formula for the generating functions which is a consequence of the Zassenhauss formula. △ Less

Submitted 13 July, 2016; originally announced July 2016.

Comments: 7 pages

MSC Class: 11B73; 05E05; 16T05

Journal ref: Comptes Rendus de l'Académie des sciences Volume 355, Issue 3, Pages 243-247 (2017)

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

Authors: Frédéric Holweck, Jean-Garbriel Luque, Jean-Yves Thibon

Abstract: 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 dua… ▽ More 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). △ Less

Submitted 17 June, 2016; originally announced June 2016.

Comments: 49 pages, 16 figures

A combinatorial Hopf algebra for the boson normal ordering problem

Authors: Imad Eddine Bousbaa, Ali Chouria, Jean-Gabriel Luque

Abstract: In the aim to understand the generalization of Stirling numbers occurring in the bosonic normal ordering problem, several combinatorial models have been proposed. In particular, Blasiak \emph{et al.} defined combinatorial objects allowing to interpret the number of $S_{\bf{r,s}}(k)$ appearing in the identity… ▽ More In the aim to understand the generalization of Stirling numbers occurring in the bosonic normal ordering problem, several combinatorial models have been proposed. In particular, Blasiak \emph{et al.} defined combinatorial objects allowing to interpret the number of $S_{\bf{r,s}}(k)$ appearing in the identity $(a^†)^{r_n}a^{s_n}\cdots(a^†)^{r_1}a^{s_1}=(a^†)^α\displaystyle\sum S_{\bf{r,s}}(k)(a^†)^k a^k$, where $α$ is assumed to be non-negative. These objects are used to define a combinatorial Hopf algebra which specializes to the enveloping algebra of the Heisenberg Lie algebra. Here, we propose a new variant of this construction which admits a realization with variables. This means that we construct our algebra from a free algebra $\mathbb{C}\langle A \rangle$ using quotient and shifted product. The combinatorial objects (B-diagrams) are slightly different from those proposed by Blasiak \emph{et al.}, but give also a combinatorial interpretation of the generalized Stirling numbers together with a combinatorial Hopf algebra related to Heisenberg Lie algebra. The main difference comes from the fact that the B-diagrams have the same number of inputs and outputs. After studying the combinatorics and the enumeration of B-diagrams, we propose two constructions of algebras called Fusion algebra $\mathcal{F}$, defined using formal variable and another algebra $\mathcal{B}$ constructed directly from the B-diagrams. We show the connection between these two algebras and that $\mathcal{B}$ can be endowed with a Hopf structure. We recognize two already known combinatorial Hopf subalgebras of $\mathcal{B}$ : $\mathrm{WSym}$ the algebra of word symmetric functions indexed by set partitions and $\mathrm{BWSym}$ the algebra of biword symmetric functions indexed by set partitions into lists. △ Less

Submitted 5 January, 2016; v1 submitted 18 December, 2015; originally announced December 2015.

Comments: 27 pages, 17 figures

MSC Class: 05A18; 11B73; 16W30

Journal ref: Ann. Inst. Henri Poincaré Comb. Phys. Interact. 5 (2018), 61-102

State complexity of catenation combined with a boolean operation: a unified approach

Authors: Pascal Caron, Jean-Gabriel Luque, Ludovic Mignot, Bruno Patrou

Abstract: In this paper we study the state complexity of catenation combined with symmetric difference. First, an upper bound is computed using some combinatoric tools. Then, this bound is shown to be tight by giving a witness for it. Moreover, we relate this work with the study of state complexity for two other combinations: catenation with union and catenation with intersection. And we extract a unified a… ▽ More In this paper we study the state complexity of catenation combined with symmetric difference. First, an upper bound is computed using some combinatoric tools. Then, this bound is shown to be tight by giving a witness for it. Moreover, we relate this work with the study of state complexity for two other combinations: catenation with union and catenation with intersection. And we extract a unified approach which allows to obtain the state complexity of any combination involving catenation and a binary boolean operation. △ Less

Submitted 13 May, 2015; originally announced May 2015.

Bell polynomials in combinatorial Hopf algebras

Authors: Ammar Aboud, Jean-Paul Bultel, Ali Chouria, Jean-Gabriel Luque, Olivier Mallet

Abstract: Partial multivariate Bell polynomials have been defined by E.T. Bell in 1934. These polynomials have numerous applications in Combinatorics, Analysis, Algebra, Probabilities, etc. Many of the formulae on Bell polynomials involve combinatorial objects (set partitions, set partitions in lists, permutations, etc.). So it seems natural to investigate analogous formulae in some combinatorial Hopf algeb… ▽ More Partial multivariate Bell polynomials have been defined by E.T. Bell in 1934. These polynomials have numerous applications in Combinatorics, Analysis, Algebra, Probabilities, etc. Many of the formulae on Bell polynomials involve combinatorial objects (set partitions, set partitions in lists, permutations, etc.). So it seems natural to investigate analogous formulae in some combinatorial Hopf algebras with bases indexed by these objects. The algebra of symmetric functions is the most famous example of a combinatorial Hopf algebra. In a first time, we show that most of the results on Bell polynomials can be written in terms of symmetric functions and transformations of alphabets. Then, we show that these results are clearer when stated in other Hopf algebras (this means that the combinatorial objects appear explicitly in the formulae). We investigate also the connexion with the Fa{à} di Bruno Hopf algebra and the Lagrange-B{ü}rmann formula. △ Less

Submitted 22 January, 2016; v1 submitted 12 February, 2014; originally announced February 2014.

Operads, quasiorders, and regular languages

Authors: Samuele Giraudo, Jean-Gabriel Luque, Ludovic Mignot, Florent Nicart

Abstract: We generalize the construction of multitildes in the aim to provide multitilde operators for regular languages. We show that the underliying algebraic structure involves the action of some operads. An operad is an algebraic structure that mimics the composition of the functions. The involved operads are described in terms of combinatorial objects. These operads are obtained from more primitive obj… ▽ More We generalize the construction of multitildes in the aim to provide multitilde operators for regular languages. We show that the underliying algebraic structure involves the action of some operads. An operad is an algebraic structure that mimics the composition of the functions. The involved operads are described in terms of combinatorial objects. These operads are obtained from more primitive objects, namely precompositions, whose algebraic counter-parts are investigated. One of these operads acts faithfully on languages in the sense that two different operators act in two different ways. △ Less

Submitted 21 January, 2016; v1 submitted 9 January, 2014; originally announced January 2014.

Comments: 32 pages

MSC Class: 68Q70; 68Q45; 18D50

Journal ref: Advances in Applied Mathematics, 75, 56--93, 2016

Singularity of type $D_4$ arising from four qubit systems

Authors: Frédéric Holweck, Jean-Gabriel Luque, Michel Planat

Abstract: An intriguing correspondence between four-qubit systems and simple singularity of type $D_4$ is established. We first consider an algebraic variety $X$ of separable states within the projective Hilbert space $\mathbb{P}(\mathcal{H})=\mathbb{P}^{15}$. Then, cutting $X$ with a specific hyperplane $H$, we prove that the $X$-hypersurface, defined from the section $X\cap H\subset X$, has an isolated si… ▽ More An intriguing correspondence between four-qubit systems and simple singularity of type $D_4$ is established. We first consider an algebraic variety $X$ of separable states within the projective Hilbert space $\mathbb{P}(\mathcal{H})=\mathbb{P}^{15}$. Then, cutting $X$ with a specific hyperplane $H$, we prove that the $X$-hypersurface, defined from the section $X\cap H\subset X$, has an isolated singularity of type $D_4$; it is also shown that this is the "worst-possible" isolated singularity one can obtain by this construction. Moreover, it is demonstrated that this correspondence admits a dual version by proving that the equation of the dual variety of $X$, which is nothing but the Cayley hyperdeterminant of type $2\times 2\times 2\times 2$, can be expressed in terms of the SLOCC invariant polynomials as the discriminant of the miniversal deformation of the $D_4$-singularity. △ Less

Submitted 2 December, 2013; originally announced December 2013.

Comments: 20 pages, 5 tables

MSC Class: 32S25; 32S30; 15A69; 14M17; 15A72

Dirichlet convolution and enumeration of pyramid polycubes

Authors: Christophe Carré, Noemie Debroux, Matthieu Deneufchatel, Jean-Philippe Dubernard, Conrad Hillaret, Jean-Gabriel Luque, Olivier Mallet

Abstract: We investigate the enumeration of two families of polycubes, namely pyramids and espaliers, in connection with the multi-indexed Dirichlet convolution We investigate the enumeration of two families of polycubes, namely pyramids and espaliers, in connection with the multi-indexed Dirichlet convolution △ Less

Submitted 19 November, 2013; originally announced November 2013.

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

Authors: Frédéric Holweck, Jean-Gabriel Luque, Jean-Yves Thibon

Abstract: 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 fo… ▽ More 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. △ Less

Submitted 8 July, 2013; v1 submitted 28 June, 2013; originally announced June 2013.

Comments: 48 pages, 7 tables, 13 figures, references and remarks added (v2)

Word symmetric functions and the Redfield-Pólya

Authors: Jean-Gabriel Luque, Ali Chouria, Jean-Paul Bultel, Olivier Mallet

Abstract: We give noncommutative versions of the Redfield-Pólya theorem in WSym, the algebra of word symmetric functions, and in other related combinatorial Hopf algebras. We give noncommutative versions of the Redfield-Pólya theorem in WSym, the algebra of word symmetric functions, and in other related combinatorial Hopf algebras. △ Less

Submitted 23 February, 2013; originally announced February 2013.

Comments: Accepted to FPSAC 2013

Some Combinatorial Operators in Language Theory

Authors: Jean-Gabriel Luque, Ludovic Mignot, Florent Nicart

Abstract: Multitildes are regular operators that were introduced by Caron et al. in order to increase the number of Glushkov automata. In this paper, we study the family of the multitilde operators from an algebraic point of view using the notion of operad. This leads to a combinatorial description of already known results as well as new results on compositions, actions and enumerations. Multitildes are regular operators that were introduced by Caron et al. in order to increase the number of Glushkov automata. In this paper, we study the family of the multitilde operators from an algebraic point of view using the notion of operad. This leads to a combinatorial description of already known results as well as new results on compositions, actions and enumerations. △ Less

Submitted 15 May, 2012; originally announced May 2012.

Comments: 21 pages

Geometric descriptions of entangled states by auxiliaries varieties

Authors: Frédéric Holweck, Jean-Gabriel Luque, Jean-Yves Thibon

Abstract: 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… ▽ More 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. △ Less

Submitted 8 May, 2012; v1 submitted 28 April, 2012; originally announced April 2012.

Comments: 32 pages, 15 Tables, 5 Figures. References and remarks added

Journal ref: J. Math. Phys. 53, 102203 (2012)

Clustering properties of rectangular Macdonald polynomials

Authors: Charles F. Dunkl, Jean-Gabriel Luque

Abstract: The clustering properties of Jack polynomials are relevant in the theoretical study of the fractional Hall states. In this context, some factorization properties have been conjectured for the $(q,t)$-deformed problem involving Macdonald polynomials. The present paper is devoted to the proof of this formula. To this aim we use four families of Jack/Macdonald polynomials: symmetric homogeneous, nons… ▽ More The clustering properties of Jack polynomials are relevant in the theoretical study of the fractional Hall states. In this context, some factorization properties have been conjectured for the $(q,t)$-deformed problem involving Macdonald polynomials. The present paper is devoted to the proof of this formula. To this aim we use four families of Jack/Macdonald polynomials: symmetric homogeneous, nonsymmetric homogeneous, shifted symmetric and shifted nonsymmetric. △ Less

Submitted 24 February, 2013; v1 submitted 23 April, 2012; originally announced April 2012.

Comments: 43 pages, 2 figures

Vector valued Macdonald polynomials

Authors: C. F. Dunkl, J. -G. Luque

Abstract: This paper defines and investigates nonsymmetric Macdonald polynomials with values in an irreducible module of the Hecke algebra of type $A_{N-1}$. These polynomials appear as simultaneous eigenfunctions of Cherednik operators. Several objects and properties are analyzed, such as the canonical bilinear form which pairs polynomials with those arising from reciprocals of the original parameters, and… ▽ More This paper defines and investigates nonsymmetric Macdonald polynomials with values in an irreducible module of the Hecke algebra of type $A_{N-1}$. These polynomials appear as simultaneous eigenfunctions of Cherednik operators. Several objects and properties are analyzed, such as the canonical bilinear form which pairs polynomials with those arising from reciprocals of the original parameters, and the symmetrization of the Macdonald polynomials. The main tool of the study is the Yang-Baxter graph. We show that these Macdonald polynomials can be easily computed following this graph. We give also an interpretation of the symmetrization and the bilinear forms applied to the Macdonald polynomials in terms of the Yang-Baxter graph. △ Less

Submitted 5 June, 2011; originally announced June 2011.

Comments: 85 pages, 5 figures

Vector-Valued Jack Polynomials from Scratch

Authors: Charles F. Dunkl, Jean-Gabriel Luque

Abstract: Vector-valued Jack polynomials associated to the symmetric group ${\mathfrak S}_N$ are polynomials with multiplicities in an irreducible module of ${\mathfrak S}_N$ and which are simultaneous eigenfunctions of the Cherednik-Dunkl operators with some additional properties concerning the leading monomial. These polynomials were introduced by Griffeth in the general setting of the complex reflections… ▽ More Vector-valued Jack polynomials associated to the symmetric group ${\mathfrak S}_N$ are polynomials with multiplicities in an irreducible module of ${\mathfrak S}_N$ and which are simultaneous eigenfunctions of the Cherednik-Dunkl operators with some additional properties concerning the leading monomial. These polynomials were introduced by Griffeth in the general setting of the complex reflections groups $G(r,p,N)$ and studied by one of the authors (C. Dunkl) in the specialization $r=p=1$ (i.e. for the symmetric group). By adapting a construction due to Lascoux, we describe an algorithm allowing us to compute explicitly the Jack polynomials following a Yang-Baxter graph. We recover some properties already studied by C. Dunkl and restate them in terms of graphs together with additional new results. In particular, we investigate normalization, symmetrization and antisymmetrization, polynomials with minimal degree, restriction etc. We give also a shifted version of the construction and we discuss vanishing properties of the associated polynomials. △ Less

Submitted 16 March, 2011; v1 submitted 13 September, 2010; originally announced September 2010.

MSC Class: 05E05; 16T25; 05C25; 33C80

Journal ref: SIGMA 7 (2011), 026, 48 pages

Asymptotics of Selberg-like integrals: The unitary case and Newton's interpolation formula

Authors: Christophe Carré, Matthieu Deneufchatel, Jean-Gabriel Luque, Pierpaolo Vivo

Abstract: We investigate the asymptotic behavior of the Selberg-like integral $$ \frac1{N!}\int_{[0,1]^N}x_1^p\prod_{i<j}(x_i-x_j)^2\prod_ix_i^{a-1}(1-x_i)^{b-1}dx_i$$, as $N\to\infty$ for different scalings of the parameters $a$ and $b$ with $N$. Integrals of this type arise in the random matrix theory of electronic scattering in chaotic cavities supporting $N$ channels in the two attached leads. Making us… ▽ More We investigate the asymptotic behavior of the Selberg-like integral $$ \frac1{N!}\int_{[0,1]^N}x_1^p\prod_{i<j}(x_i-x_j)^2\prod_ix_i^{a-1}(1-x_i)^{b-1}dx_i$$, as $N\to\infty$ for different scalings of the parameters $a$ and $b$ with $N$. Integrals of this type arise in the random matrix theory of electronic scattering in chaotic cavities supporting $N$ channels in the two attached leads. Making use of Newton's interpolation formula, we show that an asymptotic limit exists and we compute it explicitly. △ Less

Submitted 31 March, 2010; originally announced March 2010.

The (1-E)-transform in combinatorial Hopf algebras

Authors: F. Hivert, J. -G. Luque, J. -C. Novelli, J. -Y. Thibon

Abstract: We extend to several combinatorial Hopf algebras the endomorphism of symmetric functions sending the first power-sum to zero and leaving the other ones invariant. As a transformation of alphabets, this is the (1-E)-transform, where E is the exponential alphabet, whose elementary symmetric functions are e_n=1/n!. In the case of noncommutative symmetric functions, we recover Schocker's idempotents… ▽ More We extend to several combinatorial Hopf algebras the endomorphism of symmetric functions sending the first power-sum to zero and leaving the other ones invariant. As a transformation of alphabets, this is the (1-E)-transform, where E is the exponential alphabet, whose elementary symmetric functions are e_n=1/n!. In the case of noncommutative symmetric functions, we recover Schocker's idempotents for derangement numbers [Discr. Math. 269 (2003), 239]. From these idempotents, we construct subalgebras of the descent algebras analogous to the peak algebras and study their representation theory. The case of WQSym leads to similar subalgebras of the Solomon-Tits algebras. In FQSym, the study of the transformation boils down to a simple solution of the Tsetlin library in the uniform case. △ Less

Submitted 2 December, 2009; v1 submitted 1 December, 2009; originally announced December 2009.

Comments: 33 pages

Journal ref: J. Algebraic Combin. 33 (2011), 277-312

Hyperdeterminantal computation for the Laughlin wave function

Authors: Adrien Boussicault, Jean-Gabriel Luque, Christophe Tollu

Abstract: The decomposition of the Laughlin wave function in the Slater orthogonal basis appears in the discussion on the second-quantized form of the Laughlin states and is straightforwardly equivalent to the decomposition of the even powers of the Vandermonde determinants in the Schur basis. Such a computation is notoriously difficult and the coefficients of the expansion have not yet been interpreted.… ▽ More The decomposition of the Laughlin wave function in the Slater orthogonal basis appears in the discussion on the second-quantized form of the Laughlin states and is straightforwardly equivalent to the decomposition of the even powers of the Vandermonde determinants in the Schur basis. Such a computation is notoriously difficult and the coefficients of the expansion have not yet been interpreted. In our paper, we give an expression of these coefficients in terms of hyperdeterminants of sparse tensors. We use this result to construct an algorithm allowing to compute one coefficient of the development without computing the others. Thanks to a program in {\tt C}, we performed the calculation for the square of the Vandermonde up to an alphabet of eleven lettres. △ Less

Submitted 6 October, 2008; originally announced October 2008.

MSC Class: 15A69; 05E05; 81-08; 81V70

Journal ref: Journal of Physics A Mathematical and Theoretical 42 (2009) 145301

Macdonald polynomials at $t=q^k$

Authors: Jean-Gabriel Luque

Abstract: We investigate the homogeneous symmetric Macdonald polynomials $P_λ(\X;q,t)$ for the specialization $t=q^k$. We show an identity relying the polynomials $P_λ(\X;q,q^k)$ and $P_λ(\frac{1-q}{1-q^k}\X;q,q^k)$. As a consequence, we describe an operator whose eigenvalues characterize the polynomials $P_λ(\X;q,q^k)$. We investigate the homogeneous symmetric Macdonald polynomials $P_λ(\X;q,t)$ for the specialization $t=q^k$. We show an identity relying the polynomials $P_λ(\X;q,q^k)$ and $P_λ(\frac{1-q}{1-q^k}\X;q,q^k)$. As a consequence, we describe an operator whose eigenvalues characterize the polynomials $P_λ(\X;q,q^k)$. △ Less

Submitted 11 February, 2008; originally announced February 2008.

Comments: 19pp; Journal of Algebra (2009) In Press

MSC Class: 05E05; 05E35

Journal ref: Journal of Algebra 324 (2010) 36-50

Staircase Macdonald polynomials and the $q$-Discriminant

Authors: Adrien Boussicault, Jean-Gabriel Luque

Abstract: We prove that a $q$-deformation $\Disc k\X q$ of the powers of the discriminant is equal, up to a normalization, to a specialization of a Macdonald polynomial indexed by a staircase partition. We investigate the expansion of $\Disc k\X q$ on different basis of symmetric functions. In particular, we show that its expansion on the monomial basis can be explicitly described in terms of standard tab… ▽ More We prove that a $q$-deformation $\Disc k\X q$ of the powers of the discriminant is equal, up to a normalization, to a specialization of a Macdonald polynomial indexed by a staircase partition. We investigate the expansion of $\Disc k\X q$ on different basis of symmetric functions. In particular, we show that its expansion on the monomial basis can be explicitly described in terms of standard tableaux and we generalize a result of King-Toumazet-Wybourne about the expansion of the $q$-discriminant on the Schur basis. △ Less

Submitted 16 January, 2008; originally announced January 2008.

Comments: 14 pp

MSC Class: ACM G.2.1

Journal ref: FPSAC 2008, Chili (2008)

Hopf algebras of diagrams

Authors: Gerard Henry Edmond Duchamp, Jean-Gabriel Luque, Jean-Christophe Novelli, Christophe Tollu, Frederic Toumazet

Abstract: We investigate several Hopf algebras of diagrams related to Quantum Field Theory of Partitions and whose product comes from the Hopf algebras WSym or WQSym respectively built on integer set partitions and set compositions. Bases of these algebras are indexed either by bipartite graphs (labelled or unlabbeled) or by packed matrices (with integer or set coefficients). Realizations on biword are ex… ▽ More We investigate several Hopf algebras of diagrams related to Quantum Field Theory of Partitions and whose product comes from the Hopf algebras WSym or WQSym respectively built on integer set partitions and set compositions. Bases of these algebras are indexed either by bipartite graphs (labelled or unlabbeled) or by packed matrices (with integer or set coefficients). Realizations on biword are exhibited, and it is shown how these algebras fit into a commutative diagram. Hopf deformations and dendriform structures are also considered for some algebras in the picture. △ Less

Submitted 30 October, 2007; originally announced October 2007.

Comments: 21 pages, LaTEX

MSC Class: 05E99; 16W30; 18D50

Hankel hyperdeterminants, rectangular Jack polynomials and even powers of the Vandermonde

Authors: Hacene Belbachir, Adrien Boussicault, Jean-Gabriel Luque

Abstract: We investigate the link between rectangular Jack polynomials and Hankel hyperdeterminants. As an application we give an expression of the even power of the Vandermonde in term of Jack polynomials. We investigate the link between rectangular Jack polynomials and Hankel hyperdeterminants. As an application we give an expression of the even power of the Vandermonde in term of Jack polynomials. △ Less

Submitted 19 September, 2007; originally announced September 2007.

MSC Class: 05E05; 05E35; 15A15; 15A69; 68R05

Journal ref: Journal of Algebra 320, 11 (2008) 3911-3925

Transitive factorizations of free partially commutative monoids and Lie algebras

Authors: Jean-Gabriel Luque, Gérard Henry Edmond Duchamp

Abstract: Let $\M(A,θ)$ be a free partially commutative monoid. We give here a necessary and sufficient condition on a subalphabet $B\subset A$ such that the right factor of a bisection $\M(A,θ)=\M(B,θ\_B).T$ be also partially commutative free. This extends strictly the (classical) elimination theory on partial commutations and allows to construct new factorizations of $\M(A,θ)$ and associated bases of… ▽ More Let $\M(A,θ)$ be a free partially commutative monoid. We give here a necessary and sufficient condition on a subalphabet $B\subset A$ such that the right factor of a bisection $\M(A,θ)=\M(B,θ\_B).T$ be also partially commutative free. This extends strictly the (classical) elimination theory on partial commutations and allows to construct new factorizations of $\M(A,θ)$ and associated bases of $L\_K(A,θ)$. △ Less

Submitted 18 July, 2006; originally announced July 2006.

Journal ref: Discrete Mathematics 246, Issue 1-3 (2002) 83 - 97

Congruences Compatible with the Shuffle Product

Authors: Gérard Henry Edmond Duchamp, Jean-Gabriel Luque

Abstract: This article is devoted to the study of monoids which can be endowed with a shuffle product with coefficients in a semiring. We show that, when the multiplicities do not belong to a ring with prime characteristic, such a monoid is a monoid of traces. When the characteristic is prime, we give a decomposition of the congruences $\equiv$ (or relators $R$) such that $A^*/\_\equiv=< A; R>$ admits a s… ▽ More This article is devoted to the study of monoids which can be endowed with a shuffle product with coefficients in a semiring. We show that, when the multiplicities do not belong to a ring with prime characteristic, such a monoid is a monoid of traces. When the characteristic is prime, we give a decomposition of the congruences $\equiv$ (or relators $R$) such that $A^*/\_\equiv=< A; R>$ admits a shuffle product. This decomposition involves only addition of primitive elements to the successive quotients. To end with, we study the compatibility with Magnus transformation and examine the case of congruences which are homogeneous for some weight function. The existence of such a weight function is also showed for congruences of depth one. △ Less

Submitted 18 July, 2006; originally announced July 2006.

Journal ref: Formal Power Series and Algebraic Combinatorics (2000) 422-431

Direct and dual laws for automata with multiplicities

Authors: Gérard Duchamp, Marianne Flouret, Eric Laugerotte, Jean-Gabriel Luque

Abstract: We present here theoretical results coming from the implementation of the package called AMULT (automata with multiplicities in several noncommutative variables). We show that classical formulas are ``almost every time'' optimal, characterize the dual laws preserving rationality and also relators that are compatible with these laws. We present here theoretical results coming from the implementation of the package called AMULT (automata with multiplicities in several noncommutative variables). We show that classical formulas are ``almost every time'' optimal, characterize the dual laws preserving rationality and also relators that are compatible with these laws. △ Less

Submitted 18 July, 2006; originally announced July 2006.

Journal ref: Theoretical Computer Science 267 (2001) 105-120

Extending the scalars of minimizations

Authors: Gérard Duchamp, Eric Laugerotte, Jean-Gabriel Luque

Abstract: In the classical theory of formal languages, finite state automata allow to recognize the words of a rational subset of $Σ^*$ where $Σ$ is a set of symbols (or the alphabet). Now, given a semiring $(\K,+,.)$, one can construct $\K$-subsets of $Σ^*$ in the sense of Eilenberg, that are alternatively called noncommutative formal power series for which a framework very similar to language theory has… ▽ More In the classical theory of formal languages, finite state automata allow to recognize the words of a rational subset of $Σ^*$ where $Σ$ is a set of symbols (or the alphabet). Now, given a semiring $(\K,+,.)$, one can construct $\K$-subsets of $Σ^*$ in the sense of Eilenberg, that are alternatively called noncommutative formal power series for which a framework very similar to language theory has been constructed Particular noncommutative formal power series, which are called rational series, are the behaviour of a family of weighted automata (or $\K$-automata). In order to get an efficient encoding, it may be interesting to point out one of them with the smallest number of states. Minimization processes of $\K$-automata already exist for $\K$ being: {\bf a)} a field, {\bf b)} a noncommutative field, {\bf c)} a PID . When $\K$ is the bolean semiring, such a minimization process (with isomorphisms of minimal objects) is known within the category of deterministic automata. Minimal automata have been proved to be isomorphic in cases {\bf (a)} and {\bf (b)}. But the proof given for (b) is not constructive. In fact, it lays on the existence of a basis for a submodule of $\K^n$. Here we give an independent algorithm which reproves this fact and an example of a pair of nonisomorphic minimal automata. Moreover, we examine the possibility of extending {\bf (c)}. To this end, we provide an {\em Effective Minimization Process} (or {\em EMP}) which can be used for more general sets of coefficients. △ Less

Submitted 18 July, 2006; originally announced July 2006.

Journal ref: SCI, États-Unis d'Amérique (2001)

Hyperdeterminantal calculations of Selberg's and Aomoto's integrals

Authors: Jean-Gabriel Luque, J. -Y. Thibon

Abstract: The hyperdeteminants considered here are the simplest analogues of determinants for higher rank tensors which have been defined by Cayley, and apply only to tensors with an even number of indices. We have shown in a previous article that the calculation of certain multidimensional integrals could be reduced to the evaluation of hyperdeterminants of Hankel type. Here, we carry out this computatio… ▽ More The hyperdeteminants considered here are the simplest analogues of determinants for higher rank tensors which have been defined by Cayley, and apply only to tensors with an even number of indices. We have shown in a previous article that the calculation of certain multidimensional integrals could be reduced to the evaluation of hyperdeterminants of Hankel type. Here, we carry out this computation by purely algebraic means in the cases of Selberg's and Aomoto's integrals. △ Less

Submitted 18 July, 2006; originally announced July 2006.

Journal ref: Molecular Physics 102 n11-12 Special Issue: In Memory of Brian Garner Wybourne (2004) 1351-1359

Lazard's Elimination (in traces) is finite-state recognizable

Authors: Gérard Duchamp, Jean-Gabriel Luque

Abstract: We prove that the codes issued from the elimination of any subalphabet in a trace monoid are finite state recognizable. This implies in particular that the transitive factorizations of the trace monoids are recognizable by (boolean) finite-state automata. We prove that the codes issued from the elimination of any subalphabet in a trace monoid are finite state recognizable. This implies in particular that the transitive factorizations of the trace monoids are recognizable by (boolean) finite-state automata. △ Less

Submitted 12 July, 2006; originally announced July 2006.

Hyperdeterminants on semilattices

Authors: Jean-Gabriel Luque

Abstract: We compute hyperdeterminants of hypermatrices whose indices belongs in a meet-semilattice and whose entries depend only of the greatest lower bound of the indices. One shows that an elementary expansion of such a polynomial allows to generalize a theorem of Lindström to higher-dimensional determinants. And we gave as an application generalizations of some results due to Lehmer, Li and Haukkanen. We compute hyperdeterminants of hypermatrices whose indices belongs in a meet-semilattice and whose entries depend only of the greatest lower bound of the indices. One shows that an elementary expansion of such a polynomial allows to generalize a theorem of Lindström to higher-dimensional determinants. And we gave as an application generalizations of some results due to Lehmer, Li and Haukkanen. △ Less

Submitted 22 November, 2006; v1 submitted 12 July, 2006; originally announced July 2006.

Comments: New version of "A remark about factorizing GCD-type Hyperdeterminants". Title changed. Results, examples and remarks added

MSC Class: 15A15; 15A69; 06A12

Noncommutative Symmetric Functions Associated with a Code, Lazard Elimination, and Witt Vectors

Authors: Jean-Gabriel Luque, Jean-Yves Thibon

Abstract: The construction of the universal ring of Witt vectors is related to Lazard's factorizations of free monoids by means of a noncommutative analogue. This is done by associating to a code a specialization of noncommutative symmetric functions. The construction of the universal ring of Witt vectors is related to Lazard's factorizations of free monoids by means of a noncommutative analogue. This is done by associating to a code a specialization of noncommutative symmetric functions. △ Less

Submitted 11 July, 2006; originally announced July 2006.

Period polynomials and Ihara brackets

Authors: Jean-Gabriel Luque, Jean-Christophe Novelli, Jean-Yves Thibon

Abstract: Schneps [J. Lie Theory 16 (2006), 19--37] has found surprising links between Ihara brackets and even period polynomials. These results can be recovered and generalized by considering some identities relating Ihara brackets and classical Lie brackets. The period polynomials generated by this method are found to be essentially the Kohnen-Zagier polynomials. Schneps [J. Lie Theory 16 (2006), 19--37] has found surprising links between Ihara brackets and even period polynomials. These results can be recovered and generalized by considering some identities relating Ihara brackets and classical Lie brackets. The period polynomials generated by this method are found to be essentially the Kohnen-Zagier polynomials. △ Less

Submitted 13 June, 2006; originally announced June 2006.

Comments: 12 pages, LaTEX

Journal ref: Journal of Lie Theory 17:2 (2007), 229--239

Transitive Hall sets

Authors: Gérard Henry Edmond Duchamp, Jean-Gabriel Luque, Marianne Deboysson-Flouret

Abstract: We give the definition of Lazard and Hall sets in the context of transitive factorizations of free monoids. The equivalence of the two properties is proved. This allows to build new effective bases of free partially commutative Lie algebras. The commutation graphs for which such sets exist are completely characterized and we explicit, in this context, the classical PBW rewriting process. We give the definition of Lazard and Hall sets in the context of transitive factorizations of free monoids. The equivalence of the two properties is proved. This allows to build new effective bases of free partially commutative Lie algebras. The commutation graphs for which such sets exist are completely characterized and we explicit, in this context, the classical PBW rewriting process. △ Less

Submitted 2 July, 2005; originally announced July 2005.

MSC Class: 05E99

Free quasi-symmetric functions, product actions and quantum field theory of partitions

Authors: Gerard Henry Edmond Duchamp, Jean-Gabriel Luque, Karol A. Penson, Christophe Tollu

Abstract: We examine two associative products over the ring of symmetric functions related to the intransitive and Cartesian products of permutation groups. As an application, we give an enumeration of some Feynman type diagrams arising in Bender's QFT of partitions. We end by exploring possibilities to construct noncommutative analogues. We examine two associative products over the ring of symmetric functions related to the intransitive and Cartesian products of permutation groups. As an application, we give an enumeration of some Feynman type diagrams arising in Bender's QFT of partitions. We end by exploring possibilities to construct noncommutative analogues. △ Less

Submitted 13 December, 2004; originally announced December 2004.

Comments: Submitted 28.11.04

Pfaffian and hafnian identities in shuffle algebras

Authors: J. -G. Luque, J. -Y. Thibon

Abstract: Chen's lemma on iterated integrals implies that certain identities involving multiple integrals, such as the de Bruijn and Wick formulas, amount to combinatorial identities for Pfaffians and hafnians in shuffle algebras. We provide direct algebraic proofs of such shuffle identities, and obtain various generalizations. We also discuss some Pfaffian identities due to Sundquist and Ishikawa-Wakayam… ▽ More Chen's lemma on iterated integrals implies that certain identities involving multiple integrals, such as the de Bruijn and Wick formulas, amount to combinatorial identities for Pfaffians and hafnians in shuffle algebras. We provide direct algebraic proofs of such shuffle identities, and obtain various generalizations. We also discuss some Pfaffian identities due to Sundquist and Ishikawa-Wakayama, and a Cauchy formula for anticommutative symmetric functions. Finally, we extend some of the previous considerations to hyperpfaffians and hyperhafnians. △ Less

Submitted 12 April, 2002; v1 submitted 2 April, 2002; originally announced April 2002.

Comments: 28 pages, LaTex. Minor typos corrected, two references added

Journal ref: Advances in Applied Mathematics 29 (2002), 620-646