representation ↗ reference
4143 papers tagged with this keyword
Gelfand models and Robinson-Schensted correspondence
Published
• View Publication
• BIB
In [F. Caselli, Involutory reflection groups and their models, J. Algebra 24 (2010), 370--393] there is constructed a uniform Gelfand model for all non-exceptional irreducible complex reflection groups which are involutory. Such model can be naturally decomposed into the direct sum of submodules indexed by $S_n$-conjugacy classes, and we present here a general result that relates the irreducible decomposition of these submodules with the projective Robinson-Schensted correspondence. This description also reflects in a very explicit way the existence of split representations for these groups.
Inequivalent Representations of Matroids over Prime Fields
Published
• View Publication
• BIB
It is proved that for each prime field $GF(p)$, there is an integer $f(p)$ such that a 4-connected matroid has at most $f(p)$ inequivalent representations over $GF(p)$. We also prove a stronger theorem that obtains the same conclusion for matroids satisfying a connectivity condition, intermediate between 3-connectivity and 4-connectivity that we term "$k$-coherence".
We obtain a variety of other results on inequivalent representations including the following curious one. For a prime power $q$, let ${\mathcal R}(q)$ denote the set of matroids representable over all fields with at least $q$ elements. Then there are infinitely many Mersenne primes if and only if, for each prime power $q$, there is an integer $m_q$ such that a 3-connected member of ${\mathcal R}(q)$ has at most $m_q$ inequivalent GF(7)-representations.
The theorems on inequivalent representations of matroids are consequences of structural results that do not rely on representability. The bulk of this paper is devoted to proving such results.
Enumerating Projective Reflection Groups
Published
• View Publication
• BIB
Projective re ection groups have been recently dened by the second author. They include a special class of groups denoted G(r; p; s; n) which contains all classical Weyl groups and more generally all the complex re ection groups of type G(r; p; n). In this paper we dene some statistics analogous to descent number and major index over the projective re ection groups G(r; p; s; n), and we compute several generating functions concerning these parameters. Some aspects of the representation theory of G(r; p; s; n), as distribution of one-dimensional characters and computation of Hilbert series of invariant algebras, are also treated.
On representation of an integer as the sum of three squares and the ternary quadratic forms with the discriminants p^2, 16p^2
Published
• View Publication
• BIB
Let s(n) be the number of representations of n as the sum of three squares. We prove a remarkable new identity for s(p^2n)- ps(n) with p being an odd prime. This identity makes nontrivial use of ternary quadratic forms with discriminants p^2 and 16p^2. These forms are related by Watson's transformations. To prove this identity we employ the Siegel--Weil and the Smith--Minkowski product formulas.
Finite Sholander Trees, Trees, and their Betweenness
We provide a proof of Sholander's claim (Trees, lattices, order, and betweenness, Proc. Amer. Math. Soc. 3, 369-381 (1952)) concerning the representability of collections of so-called segments by trees, which yields a characterization of the interval function of a tree. Furthermore, we streamline Burigana's characterization (Tree representations of betweenness relations defined by intersection and inclusion, Mathematics and Social Sciences 185, 5-36 (2009)) of tree betweenness and provide a relatively short proof.
Cohomology of Coxeter arrangements and Solomon's descent algebra
Published
• View Publication
• BIB
We refine a conjecture by Lehrer and Solomon on the structure of the Orlik-Solomon algebra of a finite Coxeter group $W$ and relate it to the descent algebra of $W$. As a result, we claim that both the group algebra of $W$, as well as the Orlik-Solomon algebra of $W$ can be decomposed into a sum of induced one-dimensional representations of element centralizers, one for each conjugacy class of elements of $W$. We give a uniform proof of the claim for symmetric groups. In addition, we prove that a relative version of the conjecture holds for every pair $(W, W_L)$, where $W$ is arbitrary and $W_L$ is a parabolic subgroup of $W$ all of whose irreducible factors are of type $A$.
A new fusion procedure for the Brauer algebra and evaluation homomorphisms
Published in IMRN (2012), 2571-2606
• View Publication
• BIB
We give a new fusion procedure for the Brauer algebra by showing that all primitive idempotents can be found by evaluating a rational function in several variables which has the form of a product of R-matrix type factors. In particular, this provides a new fusion procedure for the symmetric group involving an arbitrary parameter. The R-matrices are solutions of the Yang--Baxter equation associated with the classical Lie algebras g_N of types B, C and D. Moreover, we construct an evaluation homomorphism from a reflection equation algebra B(g_N) to U(g_N) and show that the fusion procedure provides an equivalence between natural tensor representations of B(g_N) with the corresponding evaluation modules.
On Weyl modules of cyclotomic $q$-Schur algebras
Published
• View Publication
• BIB
We study on Weyl modules of cyclotomic $q$-Schur algebras. In particular, we give the character formula of the Weyl modules by using the Kostka numbers and some numbers which are computed by a generalization of Littlewood-Richardson rule. We also study corresponding symmetric functions. Finally, we give some simple applications to modular representations of cyclotomic $q$-Schur algebras.
On W-algebra extensions of (2,p) minimal models: p > 3
This is a continuation of arXiv:0908.4053, where, among other things, we classified irreducible representations of the triplet vertex algebra W_{2,3}. In this part we extend the classification to W_{2,p}, for all odd p>3. We also determine the structure of the center of the Zhu algebra A(W_{2,p}) which implies the existence of a family of logarithmic modules having L(0)-nilpotent ranks 2 and 3. A logarithmic version of Macdonald-Morris constant term identity plays a key role in the paper.
On a partition problem of Canfield and Wilf
Published in Integers 12A (2012), \#A11, pp. 1--8
• Search Publication
Let A and M be nonempty sets of positive integers. A partition of the positive integer n with parts in A and multiplicities in M is a representation of n in the form n = \sum_{a\in A} m_a a, where m_a is in M U {0} for all a in A, and m_a is in M for only finitely many a. Denote by p_{A,M}(n) the number of partitions of n with parts in A and multiplicities in M. It is proved that there exist infinite sets A and M of positive integers whose partition function p_{A,M} has weakly superpolynomial but not superpolynomial growth. The counting function of the set A is A(x) = \sum_{a \in A, a\leq x} 1. It is also proved that p_{A,M} must have at least weakly superpolynomial growth if M is infinite and A(x) >> log x.
On sums related to central binomial and trinomial coefficients
Published in In: M. B. Nathanson (ed.), Combinatorial and Additive Number Theory: CANT 2011 and 2012, in: Springer Proc. in Math. & Stat., Vol. 101, Springer, New York, 2014, pp. 257-312
• View Publication
• BIB
A generalized central trinomial coefficient $T_n(b,c)$ is the coefficient of $x^n$ in the expansion of $(x^2+bx+c)^n$ with $b,c\in\mathbb Z$. In this paper we investigate congruences and series for sums of terms related to central binomial coefficients and generalized central trinomial coefficients. The paper contains many conjectures on congruences related to representations of primes by certain binary quadratic forms, and 62 proposed new series for $1/π$ motivated by congruences and related dualities.
Quivers of monoids with basic algebras
Published in Compositio Math. 148 (2012) 1516-1560
• View Publication
• BIB
We compute the quiver of any monoid that has a basic algebra over an algebraically closed field of characteristic zero. More generally, we reduce the computation of the quiver over a splitting field of a class of monoids that we term rectangular monoids (in the semigroup theory literature the class is known as $\mathbf{DO}$) to representation theoretic computations for group algebras of maximal subgroups. Hence in good characteristic for the maximal subgroups, this gives an essentially complete computation. Since groups are examples of rectangular monoids, we cannot hope to do better than this.
For the subclass of $\mathscr R$-trivial monoids, we also provide a semigroup theoretic description of the projective indecomposables and compute the Cartan matrix.
Small (2,s)-colorable graphs without 1-obstacle representations
An obstacle representation of a graph G is a set of points on the plane together with a set of polygonal obstacles that determine a visibility graph isomorphic to G. The obstacle number of G is the minimum number of obstacles over all obstacle representations of G. Alpert, Koch, and Laison gave a 12-vertex bipartite graph and proved that its obstacle number is two. We show that a 10-vertex induced subgraph of this graph has obstacle number two. Alpert et al. also constructed very large graphs with vertex set consisting of a clique and an independent set in order to show that obstacle number is an unbounded parameter. We specify a 70-vertex graph with vertex set consisting of a clique and an independent set, and prove that it has obstacle number greater than one. This is an ancillary document to our article in press. We conclude by showing that a 10-vertex graph with vertex set consisting of two cliques has obstacle number greater than one, improving on a result therein.
Cluster categories
Published
• View Publication
• BIB
Cluster algebras were introduced by Fomin-Zelevinsky in 2002 in order to give a combinatorial framework for phenomena occurring in the context of algebraic groups. Cluster algebras also have links to a wide range of other subjects, including the representation theory of finite dimensional algebras, as first discovered by Marsh- Reineke-Zelevinsky. Modifying module categories over hereditary algebras, cluster categories were introduced in work with Buan-Marsh-Reineke-Todorov in order to "categorify" the essential ingredients in the definition of cluster algebras in the acyclic case. They were shown to be triangulated by Keller. Related work was done by Geiss-Leclerc-Schröer using preprojective algebras of Dynkin type. In work by many authors there have been further developments, leading to feedback to cluster algebras, new interesting classes of finite dimensional algebras, and the investigation of categories of Calabi-Yau dimension $2.$
The Graph Isomorphism Problem and approximate categories
Published
• View Publication
• BIB
It is unknown whether two graphs can be tested for isomorphism in polynomial time. A classical approach to the Graph Isomorphism Problem is the d-dimensional Weisfeiler-Lehman algorithm. The d-dimensional WL-algorithm can distinguish many pairs of graphs, but the pairs of non-isomorphic graphs constructed by Cai, Furer and Immerman it cannot distinguish. If d is fixed, then the WL-algorithm runs in polynomial time. We will formulate the Graph Isomorphism Problem as an Orbit Problem: Given a representation V of an algebraic group G and two elements v_1,v_2 in V, decide whether v_1 and v_2 lie in the same G-orbit. Then we attack the Orbit Problem by constructing certain approximate categories C_d(V), d=1,2,3,... whose objects include the elements of V. We show that v_1 and v_2 are not in the same orbit by showing that they are not isomorphic in the category C_d(V) for some d. For every d this gives us an algorithm for isomorphism testing. We will show that the WL-algorithms reduce to our algorithms, but that our algorithms cannot be reduced to the WL-algorithms. Unlike the Weisfeiler-Lehman algorithm, our algorithm can distinguish the Cai-Furer-Immerman graphs in polynomial time.
Littlewood-Richardson coefficients for reflection groups
Published in Advances in Math. vol 284, 22 (2015), 54-111
• View Publication
• BIB
In this paper we explicitly compute all Littlewood-Richardson coefficients for semisimple or Kac-Moody groups G, that is, the structure coefficients of the cohomology algebra H^*(G/P), where P is a parabolic subgroup of G. These coefficients are of importance in enumerative geometry, algebraic combinatorics and representation theory. Our formula for the Littlewood-Richardson coefficients is given in terms of the Cartan matrix and the Weyl group of G. However, if some off-diagonal entries of the Cartan matrix are 0 or -1, the formula may contain negative summands. On the other hand, if the Cartan matrix satisfies $a_{ij}a_{ji}\ge 4$ for all $i,j$, then each summand in our formula is nonnegative that implies nonnegativity of all Littlewood-Richardson coefficients. We extend this and other results to the structure coefficients of the T-equivariant cohomology of flag varieties G/P and Bott-Samelson varieties Gamma_\ii(G).
Generalizing Tanisaki's ideal via ideals of truncated symmetric functions
Published in Journal of Algebraic Combinatorics, Volume 37 (2013), 167--199
• View Publication
• BIB
We define a family of ideals $I_h$ in the polynomial ring $\mathbb{Z}[x_1,...,x_n]$ that are parametrized by Hessenberg functions $h$ (equivalently Dyck paths or ample partitions). The ideals $I_h$ generalize algebraically a family of ideals called the Tanisaki ideal, which is used in a geometric construction of permutation representations called Springer theory. To define $I_h$, we use polynomials in a proper subset of the variables ${x_1,...,x_n}$ that are symmetric under the corresponding permutation subgroup. We call these polynomials {\em truncated symmetric functions} and show combinatorial identities relating different kinds of truncated symmetric polynomials. We then prove several key properties of $I_h$, including that if $h>h'$ in the natural partial order on Dyck paths then $I_{h} \subset I_{h'}$, and explicitly construct a Gröbner basis for $I_h$. We use a second family of ideals $J_h$ for which some of the claims are easier to see, and prove that $I_h = J_h$. The ideals $J_h$ arise in work of Ding, Develin-Martin-Reiner, and Gasharov-Reiner on a family of Schubert varieties called partition varieties. Using earlier work of the first author, the current manuscript proves that the ideals $I_h = J_h$ generalize the Tanisaki ideals both algebraically and geometrically, from Springer varieties to a family of nilpotent Hessenberg varieties.
A simple proof of a generalization of the Chu-Vandermonde identity
We provide a simple proof of a generalization of the multivariate Chu-Vandermonde identity recently derived in Favaro et al. (2010a). Exploiting known results for rising factorials and fourth Lauricella polynomials we show resorting to Laplace-type integral representation of the fourth Lauricella function may be avoided.
The biHecke monoid of a finite Coxeter group and its representations
Published in Algebra and Number Theory Vol. 7 (2013), No. 3, 595-671
• View Publication
• BIB
For any finite Coxeter group W, we introduce two new objects: its cutting poset and its biHecke monoid. The cutting poset, constructed using a generalization of the notion of blocks in permutation matrices, almost forms a lattice on W. The construction of the biHecke monoid relies on the usual combinatorial model for the 0-Hecke algebra H_0(W), that is, for the symmetric group, the algebra (or monoid) generated by the elementary bubble sort operators. The authors previously introduced the Hecke group algebra, constructed as the algebra generated simultaneously by the bubble sort and antisort operators, and described its representation theory. In this paper, we consider instead the monoid generated by these operators. We prove that it admits |W| simple and projective modules. In order to construct the simple modules, we introduce for each w in W a combinatorial module T_w whose support is the interval [1,w]_R in right weak order. This module yields an algebra, whose representation theory generalizes that of the Hecke group algebra, with the combinatorics of descents replaced by that of blocks and of the cutting poset.
Convex Graph Invariants
Published in SIAM Review, 54(3), pp. 513-541, 2012
• View Publication
• BIB
The structural properties of graphs are usually characterized in terms of invariants, which are functions of graphs that do not depend on the labeling of the nodes. In this paper we study convex graph invariants, which are graph invariants that are convex functions of the adjacency matrix of a graph. Some examples include functions of a graph such as the maximum degree, the MAXCUT value (and its semidefinite relaxation), and spectral invariants such as the sum of the $k$ largest eigenvalues. Such functions can be used to construct convex sets that impose various structural constraints on graphs, and thus provide a unified framework for solving a number of interesting graph problems via convex optimization. We give a representation of all convex graph invariants in terms of certain elementary invariants, and describe methods to compute or approximate convex graph invariants tractably. We also compare convex and non-convex invariants, and discuss connections to robust optimization. Finally we use convex graph invariants to provide efficient convex programming solutions to graph problems such as the deconvolution of the composition of two graphs into the individual components, hypothesis testing between graph families, and the generation of graphs with certain desired structural properties.