representation ↗ reference
4049 papers tagged with this keyword
Automorphisms and Enumeration of Maps of Cayley Graph of a Finite Group
A map is a connected topological graph $Γ$ cellularly embedded in a surface. In this paper, applying Tutte's algebraic representation of map, new ideas for enumerating non-equivalent orientable or non-orientable maps of graph are presented. By determining automorphisms of maps of Cayley graph $Γ={\rm Cay}(G:S)$ with ${\rm Aut} Γ\cong G\times H$ on locally, orientable and non-orientable surfaces, formulae for the number of non-equivalent maps of $Γ$ on surfaces (orientable, non-orientable or locally orientable) are obtained . Meanwhile, using reseults on GRR graph for finite groups, we enumerate the non-equivalent maps of GRR graph of symmetric groups, groups generated by 3 involutions and abelian groups on orientable or non-orientable surfaces.
Dessins d'enfants and differential equations
We state and solve a discrete version of the classical Riemann-Hilbert problem. In particular, we associate a Riemann-Hilbert problem to every dessin d'enfants. We show how to compute the solution for a dessin that is a tree. This amounts to finding a Fuchsian differential equation satisfied by the local inverses of a Shabat polynomial. We produce a universal annihilating operator for the inverses of a generic polynomial. We classify those plane trees that have a representation by Mobius transformations and those that have a linear representation of dimension at most two. This yields an analogue for trees of Schwarz's classical list, that is, a list of those plane trees whose Riemann-Hilbert problem has a hypergeometric solution of order at most two.
Representation of ideals of relational structures
The \textit{age} of a relational structure $\mathfrak A$ of signature $μ$ is the set $age(\mathfrak A)$ of its finite induced substructures, considered up to isomorphism. This is an ideal in the poset $Ω_μ$ consisting of finite structures of signature $μ$ and ordered by embeddability. If the structures are made of infinitely many relations and if, among those, infinitely many are at least binary then there are ideals which do not come from an age. We provide many examples. We particularly look at metric spaces and offer several problems. We also provide an example of an ideal $I$ of isomorphism types of at most countable structures whose signature consists of a single ternary relation symbol. This ideal does not come from the set $\age_{\mathfrak I}(\mathfrak A)$ of isomorphism types of substructures of $\mathfrak A$ induced on the members of an ideal $\mathfrak I$ of sets. This answers a question due to R. Cusin and J.F. Pabion (1970).
Multiparking Functions, Graph Searching, and the Tutte Polynomial
A parking function of length n is a sequence (b_1, b_2,..., b_n) of nonnegative integers whose nondecreasing rearrangement (a_1, a_2,...,a_n) has the property that a_i < i for every i. A well-known result about parking functions is that the polynomial P_n(q), which enumerates the complements of parking functions by the sum of their terms, is the generating function for the number of connected graphs by the number of excess edges when evaluated at (1+q). In this paper we extend this result to arbitrary connected graphs G. In general the polynomial that encodes information about subgraphs of G is the Tutte polynomial, which is the generating function for two parameters, namely the internal and external activities, associated with the spanning trees of G. We define G-multiparking functions, which generalize the G-parking functions that Postnikov and Shapiro introduced in the study of certain quotients of the polynomial ring. We construct a family of algorithmic bijections between the spanning forests of a graph G and the G-multiparking functions. In particular, the bijection induced by the breadth-first search leads to a new characterization of external activity, and hence a representation of Tutte polynomial by the reversed sum of G-multiparking functions.
Möbius Functions and Semigroup Representation Theory II: Character formulas and multiplicities
Published
• View Publication
• BIB
We generalize the character formulas for multiplicities of irreducible constituents from group theory to semigroup theory using Rota's theory of Möbius inversion. The technique works for a large class of semigroups including: inverse semigroups, semigroups with commuting idempotents, idempotent semigroups and semigroups with basic algebras. Using these tools we are able to give a complete description of the spectra of random walks on finite semigroups admitting a faithful representation by upper triangular matrices over the complex numbers. These include the random walks on chambers of hyperplane arrangements studied by Bidigare, Hanlon, Rockmere, Brown and Diaconis. Applications are also given to decomposing tensor powers and exterior products of rook matrix representations of inverse semigroups, generalizing and simplifying earlier results of Solomon for the rook monoid.
On asymptotics, Stirling numbers, Gamma function and polylogs
We apply the Euler--Maclaurin formula to find the asymptotic expansion of the sums $\sum_{k=1}^n (\log k)^p / k^q$, ~$\sum k^q (\log k)^p$, ~$\sum (\log k)^p /(n-k)^q$, ~$\sum 1/k^q (\log k)^p $ in closed form to arbitrary order ($p,q \in\N$). The expressions often simplify considerably and the coefficients are recognizable constants. The constant terms of the asymptotics are either $ζ^{(p)}(\pm q)$ (first two sums), 0 (third sum) or yield novel mathematical constants (fourth sum). This allows numerical computation of $ζ^{(p)}(\pm q)$ faster than any current software. One of the constants also appears in the expansion of the function $\sum_{n\geq 2} (n\log n)^{-s}$ around the singularity at $s=1$; this requires the asymptotics of the incomplete gamma function. The manipulations involve polylogs for which we find a representation in terms of Nielsen integrals, as well as mysterious conjectures for Bernoulli numbers. Applications include the determination of the asymptotic growth of the Taylor coefficients of $(-z/\log(1-z))^k$. We also give the asymptotics of Stirling numbers of first kind and their formula in terms of harmonic numbers.
Generating loop graphs via Hopf algebra in quantum field theory
Published in J.Math.Phys.47:122302,2006
• View Publication
• BIB
We use the Hopf algebra structure of the time-ordered algebra of field operators to generate all connected weighted Feynman graphs in a recursive and efficient manner. The algebraic representation of the graphs is such that they can be evaluated directly as contributions to the connected n-point functions. The recursion proceeds by loop order and vertex number.
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.
Noncrossing normal ordering for functions of boson operators
Published
• View Publication
• BIB
Normally ordered forms of functions of boson operators are important in many contexts in particular concerning Quantum Field Theory and Quantum Optics. Beginning with the seminal work of Katriel [Lett. Nuovo Cimento, 10(13):565--567, 1974], in the last few years, normally ordered forms have been shown to have a rich combinatorial structure, mainly in virtue of a link with the theory of partitions. In this paper, we attempt to enrich this link. By considering linear representations of noncrossing partitions, we define the notion of noncrossing normal ordering. Given the growing interest in noncrossing partitions, because of their many unexpected connections (like, for example, with free probability), noncrossing normal ordering appears to be an intriguing notion. We explicitly give the noncrossing normally ordered form of the functions (a^{r}(a^†)^{s})^{n}) and (a^{r}+(a^†)^{s})^{n}, plus various special cases. We are able to establish for the first time bijections between noncrossing contractions of these functions, k-ary trees and sets of lattice paths.
Generalized cluster complexes via quiver representations
Published
• View Publication
• BIB
We give a quiver representation theoretic interpretation of generalized cluster complexes defined by Fomin and Reading.
By using $d-$cluster categories which are defined by Keller as triangulated orbit categories of (bounded) derived categories of representations of valued quivers, we define a $d-$compatibility degree $(-||-)$ on any pair of ``colored'' almost positive real Schur roots which generalizes previous definitions on the non-colored case, and call two such roots compatible provided the $d-$compatibility degree of them is zero. Associated to the root system $Φ$ corresponding to the valued quiver, by using this compatibility relation, we define a simplicial complex which has colored almost positive real Schur roots as vertices and $d-$compatible subsets as simplicies. If the valued quiver is an alternating quiver of a Dynkin diagram, then this complex is the generalized cluster complex defined by Fomin and Reading.
A generalized Cartan decomposition for the double coset space U(n_1) x U(n_2) x U(n_3)) U(n) / U(p) x U(q)
Published in Journal of Mathematical Society of Japan 59 (2007), pages 669-691,
• View Publication
• BIB
Motivated by recent developments on visible actions on complex manifolds, we raise a question whether or not the multiplication of three subgroups $L$, $G'$ and $H$ surjects a Lie group $G$ in the setting that $G/H$ carries a complex structure and contains $G'/G' \cap H$ as a totally real submanifold.
Particularly important cases are when $G/L$ and $G/H$ are generalized flag varieties, and we classify pairs of Levi subgroups $(L, H)$ such that $L G' H = G$, or equivalently, the real generalized flag variety $G'/H \cap G'$ meets every $L$-orbit on the complex generalized flag variety $G/H$ in the setting that $(G, G') = (U(n), O(n))$.
For such pairs $(L, H)$, we introduce a \textit{herringbone stitch} method to find a generalized Cartan decomposition for the double coset space $L \backslash G/H$, for which there has been no general theory in the non-symmetric case.
Our geometric results provides a unified proof of various multiplicity-free theorems in representation theory of general linear groups.
Multivariable Christoffel-Darboux Kernels and Characteristic Polynomials of Random Hermitian Matrices
Published in SIGMA 2 (2006), 085, 12 pages
• View Publication
• BIB
We study multivariable Christoffel-Darboux kernels, which may be viewed as reproducing kernels for antisymmetric orthogonal polynomials, and also as correlation functions for products of characteristic polynomials of random Hermitian matrices. Using their interpretation as reproducing kernels, we obtain simple proofs of Pfaffian and determinant formulas, as well as Schur polynomial expansions, for such kernels. In subsequent work, these results are applied in combinatorics (enumeration of marked shifted tableaux) and number theory (representation of integers as sums of squares).
Full heaps and representations of affine Kac--Moody algebras
We give a combinatorial construction, not involving a presentation, of almost all untwisted affine Kac--Moody algebras modulo their one-dimensional centres in terms of signed raising and lowering operators on a certain distributive lattice ${\Cal B}$. The lattice ${\Cal B}$ is constructed combinatorially as a set of ideals of a ``full heap'' over the Dynkin diagram, which leads to a kind of categorification of the positive roots for the Kac--Moody algebra. The lattice ${\Cal B}$ is also a crystal in the sense of Kashiwara, and its span affords representations of the associated quantum affine algebra and affine Weyl group. There are analogues of these results for two infinite families of twisted affine Kac--Moody algebras, which we hope to treat more fully elsewhere.
By restriction, we obtain combinatorial constructions of the finite dimensional simple Lie algebras over $\complex$, except those of types $E_8$, $F_4$ and $G_2$. The Chevalley basis corresponding to an arbitrary orientation of the Dynkin diagram is then represented explicitly by raising and lowering operators. We also obtain combinatorial constructions of the spin modules for Lie algebras of types $B$ and $D$, which avoid Clifford algebras, and in which the action of Chevalley bases on the canonical bases of the modules may be explicitly calculated.
Multiplication of polynomials on Hermitian symmetric spaces and Littlewood-Richardson coefficients
Published
• View Publication
• BIB
Let K be a complex reductive algebraic group and V a representation of K. Let S denote the ring of polynomials on V. Assume that the action of K on S is multiplicity free. If V_λ is an irreducible representation of K, let S_λ denote the corresponding isotypic component of S. Write S_λ S_μ for the subspace of S spanned by products of S_λ and S_μ. If V_ν occurs as an irreducible constituent of the tensor product of V_λ and V_μ, is it true that S_ν is contained in S_λ S_μ? We investigate this question for representations arising in the context of Hermitian symmetric pairs. We show that the answer is yes in some cases and, using an earlier result of Ruitenburg, that in the remaining classical cases, the answer is yes provided that a conjecture of Stanley on the multiplication of Jack polynomials is true. We also show how the conjecture connects multiplication in the ring S to the usual Littlewood-Richardson rule.
Representation theory of Mantaci-Reutenauer algebras
We study some aspects of the representation theory of Mantaci-Reutenauer algebras: Cartan matrix, Loewy length, modular representations.
Hadwiger's Conjecture for Proper Circular Arc Graphs
Published
• View Publication
• BIB
Circular arc graphs are graphs whose vertices can be represented as arcs on a circle such that any two vertices are adjacent if and only if their corresponding arcs intersect. Proper circular arc graphs are graphs which have a circular arc representation where no arc is completely contained in any other arc. Hadwiger's conjecture states that if a graph $G$ has chromatic number $k$, then a complete graph of $k$ vertices is a minor of $G$. We prove Hadwiger's conjecture for proper circular arc graphs.
Crystal bases and combinatorics of infinite rank quantum groups
Published
• View Publication
• BIB
The tensor powers of the vector representation associated to an infinite rank quantum group decompose into irreducible components with multiplicities independant of the infinite root system considered. Although the irreducible modules obtained in this way are not of highest weight, they admit a crystal basis and a canonical basis. This permits in particular to obtain for each familly of classical Lie algebras a Robinson-Schensted correspondence on biwords defined on infinite alphabets. We then depict a structure of bi-crystal on these bi-words. This RS-correspondence yields also a plactic algebra and plactic Schur functions distinct for each infinite root system. Surprisingly, the algebras spanned by these plactic Schur functions are all isomorphic to the algebra of symmetric functions.
Permutation representations on Schubert varieties
Published
• View Publication
• BIB
This paper defines and studies permutation representations on the equivariant cohomology of Schubert varieties, as representations both over C and over C[t_1, t_2,...,t_n]. We show these group actions are the same as an action of simple transpositions studied geometrically by M. Brion, and give topological meaning to the divided difference operators studied by Berstein-Gelfand-Gelfand, Demazure, Kostant-Kumar, and others. We analyze these representations using the combinatorial approach to equivariant cohomology introduced by Goresky-Kottwitz-MacPherson. We find that each permutation representation on equivariant cohomology produces a representation on ordinary cohomology that is trivial, though the equivariant representation is not.
Combinatorics of $A_2$-crystals
Published in J. of Algebra, 310, 2007, 218-234
• Search Publication
We show that a connected regular $A_2$-crystal (the crystal graph of an irreducible representation of $sl_3$) can be produced from two half-grids by replicating them and glying together in a certain way. Also some extensions and related aspects are discussed.
Problems in additive number theory, I
Published
• View Publication
• BIB
Problems in additive number theory related to sum and difference sets, more general binary linear forms, and representation functions of additive bases for the integers and nonnegative integers.