Invariants algébriques de graphes et reconstruction
We report on results about a study of algebraic graph invariants, based on computer exploration, and motivated by graph-isomorphism and reconstruction problems.
math.CO↗
arXiv subjects
Nicolas M. Thiéry
Publications and source records attributed to Nicolas M. Thiéry.
Algebraic invariants of graphs; a study based on computer exploration
We consider the ring I_n of polynomial invariants over weighted graphs on n vertices. Our primary interest is the use of this ring to define and explore algebraic versions of isomorphism problems of graphs, such as Ulam's reconstruction conjecture. There is a huge body of literature on invariant theory which provides both general results and algorithms. However, there is a combinatorial explosion in the computations involved and, to our knowledge, the ring I_n has only been completely described for n<=4. This led us to study the ring I_n in its own right. We used intensive computer exploration for small n, and developed PerMuVAR, a library for MuPAD, for computing in invariant rings of permutation groups. We present general properties of the ring I_n, as well as results obtained by computer exploration for small n, including the construction of a medium sized generating set for I_5. We address several conjectures suggested by those results (low degree system of parameters, unimodality), for I_n as well as for more general invariant rings. We also show that some particular sets are not generating, disproving a conjecture of Pouzet related to reconstruction, as well as a lemma of Grigoriev on the invariant ring over digraphs. We finally provide a very simple minimal generating set of the field of invariants.
math.CO↗
Hecke group algebras as quotients of affine Hecke algebras at level 0
The Hecke group algebra $HW_0$ of a finite Coxeter group $W_0$, as introduced by the first and last author, is obtained from $W_0$ by gluing appropriately its 0-Hecke algebra and its group algebra. In this paper, we give an equivalent alternative construction in the case when $W_0$ is the classical Weyl group associated to an affine Weyl group $W$. Namely, we prove that, for $q$ not a root of unity, $HW_0$ is the natural quotient of the affine Hecke algebra through its level 0 representation. We further show that the level 0 representation is a calibrated principal series representation for a suitable choice of character, so that the quotient factors (non trivially) through the principal central specialization. This explains in particular the similarities between the representation theory of the classical 0-Hecke algebra and that of the affine Hecke algebra at this specialization.
math.RT↗
The Hecke group algebra of a Coxeter group and its representation theory
Let W be a finite Coxeter group. We define its Hecke-group algebra by gluing together appropriately its group algebra and its 0-Hecke algebra. We describe in detail this algebra (dimension, several bases, conjectural presentation, combinatorial construction of simple and indecomposable projective modules, Cartan map) and give several alternative equivalent definitions (as symmetry preserving operator algebra, as poset algebra, as commutant algebra, ...). In type A, the Hecke-group algebra can be described as the algebra generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. It turns out to be closely related to the monoid algebras of respectively nondecreasing functions and nondecreasing parking functions, the representation theory of which we describe as well. This defines three towers of algebras, and we give explicitly the Grothendieck algebras and coalgebras given respectively by their induction products and their restriction coproducts. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.
math.RT↗
Representation theories of some towers of algebras related to the symmetric groups and their Hecke algebras
We study the representation theory of three towers of algebras which are related to the symmetric groups and their Hecke algebras. The first one is constructed as the algebras generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. The two others are the monoid algebras of nondecreasing functions and nondecreasing parking functions. For these three towers, we describe the structure of simple and indecomposable projective modules, together with the Cartan map. The Grothendieck algebras and coalgebras given respectively by the induction product and the restriction coproduct are also given explicitly. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.
math.RT↗
Convex cones and SAGBI bases of permutation invariants
Let G be a permutation group acting on {1,...,n}, and < be any admissible term order on the polynomial ring K[x_1,...,x_n]. We prove that the invariant ring K[x_1,...,x_n]^G of G has a finite SAGBI basis if, and only if, G is generated by reflections.
math.AC↗
Some relational structures with polynomial growth and their associated algebras
The profile of a relational structure R is the function phi_R which counts for every integer n the number, possibly infinite, phi_R(n) of substructures of R induced on the n-element subsets, isomorphic substructures being identified. Several graded algebras can be associated with R in such a way that the profile of R is simply the Hilbert function. An example of such graded algebra is the age algebra introduced by P.~J.~Cameron. In this paper, we give a closer look at this association, particularly when the relational structure R decomposes into finitely many monomorphic components. In this case, several well-studied graded commutative algebras (e.g. the invariant ring of a finite permutation group, the ring of quasi-symmetric polynomials) are isomorphic to some age algebras. Also, phi_R is a quasi-polynomial, this supporting the conjecture that, with mild assumptions on R, phi_R is a quasi-polynomial when it is bounded by some polynomial.
math.CO↗