representation ↗ reference
4143 papers tagged with this keyword
Discriminantal bundles, arrangement groups, and subdirect products of free groups
Published
• View Publication
• BIB
We construct bundles $E_k(\A,\F) \to M$ over the complement $M$ of a complex hyperplane arrangement \A, depending on an integer $k \geq 1$ and a set $\F=\{f_1, \ldots, f_μ\}$ of continuous functions $f_i \colon M \to \C$ whose differences are nonzero on $M$, generalizing the configuration space bundles arising in the Lawrence-Krammer-Bigelow representation of the pure braid group. We display such families \F\ for rank two arrangements, reflection arrangements of types $A_\ell$, $B_\ell$, $D_\ell$, $F_4$, and for arrangements supporting multinet structures with three classes, with the resulting bundles having nontrivial monodromy around each hyperplane. The construction extends to arbitrary arrangements by pulling back these bundles along products of inclusions arising from subarrangements of these types.
We then consider the faithfulness of the resulting representations of the arrangement group $π_1(M)$. We describe the kernel of the product $ρ_\X \colon G \to \prod_{S \in \X} G_S$ of homomorphisms of a finitely-generated group $G$ onto quotient groups $G_S$ determined by a family \X\ of subsets of a fixed set of generators of $G$, extending a result of T.~Stanford about Brunnian braids. When the projections $G \to G_S$ split in a compatible way, we show the image of $ρ_\X$ is normal with free abelian quotient, and identify the cohomological finiteness type of $G$. These results apply to some well-studied arrangements, implying several qualitative and residual properties of $π_1(M)$, including an alternate proof of a result of Artal, Cogolludo, and Matei on arrangement groups and Bestvina-Brady groups, and a dichotomy for a decomposable arrangement \A: either $π_1(M)$ has a conjugation-free presentation or it is not residually nilpotent.
Generalized Involution Models for Wreath Products
Published in Israel J. Math. 192 (2012) 157-195
• View Publication
• BIB
We prove that if a finite group $H$ has a generalized involution model, as defined by Bump and Ginzburg, then the wreath product $H \wr S_n$ also has a generalized involution model. This extends the work of Baddeley concerning involution models for wreath products. As an application, we construct a Gelfand model for wreath products of the form $A \wr S_n$ with $A$ abelian, and give an alternate proof of a recent result due to Adin, Postnikov, and Roichman describing a particularly elegant Gelfand model for the wreath product $\ZZ_r \wr S_n$. We conclude by discussing some notable properties of this representation and its decomposition into irreducible constituents, proving a conjecture of Adin, Roichman, and Postnikov's.
A probabilistic interpretation of the Macdonald polynomials
Published
• View Publication
• BIB
The two-parameter Macdonald polynomials are a central object of algebraic combinatorics and representation theory. We give a Markov chain on partitions of k with eigenfunctions the coefficients of the Macdonald polynomials when expanded in the power sum polynomials. The Markov chain has stationary distribution a new two-parameter family of measures on partitions, the inverse of the Macdonald weight (rescaled). The uniform distribution on permutations and the Ewens sampling formula are special cases. The Markov chain is a version of the auxiliary variables algorithm of statistical physics. Properties of the Macdonald polynomials allow a sharp analysis of the running time. In natural cases, a bounded number of steps suffice for arbitrarily large k.
Degenerate two-boundary centralizer algebras
Published
• View Publication
• BIB
Diagram algebras (e.g. graded braid groups, Hecke algebras, Brauer algebras) arise as tensor power centralizer algebras, algebras of commuting operators for a Lie algebra action on a tensor space. This work explores centralizers of the action of a complex reductive Lie algebra $\mathfrak{g}$ on tensor space of the form $M \otimes N \otimes V^{\otimes k}$. We define the degenerate two-boundary braid algebra $\mathcal{G}_k$ and show that centralizer algebras contain quotients of this algebra in a general setting. As an example, we study in detail the combinatorics of special cases corresponding to Lie algebras $\mathfrak{gl}_n$ and $\mathfrak{sl}_n$ and modules $M$ and $N$ indexed by rectangular partitions. For this setting, we define the degenerate extended two-boundary Hecke algebra $\mathcal{H}_k^{\mathrm{ext}}$ as a quotient of $\mathcal{G}_k$, and show that a quotient of $\mathcal{H}_k^{\mathrm{ext}}$ is isomorphic to a large subalgebra of the centralizer. We further study the representation theory of $\mathcal{H}_k^{\mathrm{ext}}$ to find that the seminormal representations are indexed by a known family of partitions. The bases for the resulting modules are given by paths in a lattice of partitions, and the action of $\mathcal{H}_k^{\mathrm{ext}}$ is given by combinatorial formulas.
Poset pinball, GKM-compatible subspaces, and Hessenberg varieties
Published
• View Publication
• BIB
This paper has three main goals. First, we set up a general framework to address the problem of constructing module bases for the equivariant cohomology of certain subspaces of GKM spaces. To this end we introduce the notion of a GKM-compatible subspace of an ambient GKM space. We also discuss poset-upper-triangularity, a key combinatorial notion in both GKM theory and more generally in localization theory in equivariant cohomology. With a view toward other applications, we present parts of our setup in a general algebraic and combinatorial framework. Second, motivated by our central problem of building module bases, we introduce a combinatorial game which we dub poset pinball and illustrate with several examples. Finally, as first applications, we apply the perspective of GKM-compatible subspaces and poset pinball to construct explicit and computationally convenient module bases for the $S^1$-equivariant cohomology of all Peterson varieties of classical Lie type, and subregular Springer varieties of Lie type $A$. In addition, in the Springer case we use our module basis to lift the classical Springer representation on the ordinary cohomology of subregular Springer varieties to $S^1$-equivariant cohomology in Lie type $A$.
$λ$-factorials of $n$
Published
• View Publication
• BIB
Recently, by the Riordan's identity related to tree enumerations, \begin{eqnarray*} \sum_{k=0}^{n}\binom{n}{k}(k+1)!(n+1)^{n-k} &=& (n+1)^{n+1}, \end{eqnarray*} Sun and Xu derived another analogous one, \begin{eqnarray*} \sum_{k=0}^{n}\binom{n}{k}D_{k+1}(n+1)^{n-k} &=& n^{n+1}, \end{eqnarray*} where $D_{k}$ is the number of permutations with no fixed points on $\{1,2,\dots, k\}$. In the paper, we utilize the $λ$-factorials of $n$, defined by Eriksen, Freij and W$\ddot{a}$stlund, to give a unified generalization of these two identities. We provide for it a combinatorial proof by the functional digraph theory and another two algebraic proofs. Using the umbral representation of our generalized identity and the Abel's binomial formula, we deduce several properties for $λ$-factorials of $n$ and establish the curious relations between the generating functions of general and exponential types for any sequence of numbers or polynomials.
On the hardness of recognizing triangular line graphs
Published
• View Publication
• BIB
Given a graph G, its triangular line graph is the graph T(G) with vertex set consisting of the edges of G and adjacencies between edges that are incident in G as well as being within a common triangle. Graphs with a representation as the triangular line graph of some graph G are triangular line graphs, which have been studied under many names including anti-Gallai graphs, 2-in-3 graphs, and link graphs. While closely related to line graphs, triangular line graphs have been difficult to understand and characterize. Van Bang Le asked if recognizing triangular line graphs has an efficient algorithm or is computationally complex. We answer this question by proving that the complexity of recognizing triangular line graphs is NP-complete via a reduction from 3-SAT.
Overlap Number of Graphs
Published in Journal of Graph Theory. Vol. 70(1), 2012, pp. 10-28
• View Publication
• BIB
An {\it overlap representation} of a graph $G$ assigns sets to vertices so that vertices are adjacent if and only if their assigned sets intersect with neither containing the other. The {\it overlap number} $\ol(G)$ (introduced by Rosgen) is the minimum size of the union of the sets in such a representation. We prove the following: (1) An optimal overlap representation of a tree can be produced in linear time, and its size is the number of vertices in the largest subtree in which the neighbor of any leaf has degree 2. (2) If $δ(G)\ge 2$ and $G\ne K_3$, then $\ol(G)\le |E(G)|-1$, with equality when $G$ is connected and triangle-free and has no star-cutset. (3) If $G$ is an $n$-vertex plane graph with $n\ge5$, then $\ol(G)\le 2n-5$, with equality when every face has length 4 and there is no star-cutset. (4) If $G$ is an $n$-vertex graph with $n\ge 14$, then $\ol(G)\le \floor{n^2/4-n/2-1}$, and this is sharp (for even $n$, equality holds when $G$ arises from $K_{n/2,n/2}$ by deleting a perfect matching).
Deformed Kazhdan-Lusztig elements and Macdonald polynomials
Published in J. Alg. Comb. Theory A 119 (2012), 183-211
• View Publication
• BIB
We introduce deformations of Kazhdan-Lusztig elements and specialised nonsymmetric Macdonald polynomials, both of which form a distinguished basis of the polynomial representation of a maximal parabolic subalgebra of the Hecke algebra. We give explicit integral formula for these polynomials, and explicitly describe the transition matrices between classes of polynomials. We further develop a combinatorial interpretation of homogeneous evaluations using an expansion in terms of Schubert polynomials in the deformation parameters.
Generalized crested products of Markov chains
Published in European J. Combin. 32, Issue 2 (2011), 243-257
• Search Publication
We define a finite Markov chain, called generalized crested product, which naturally appears as a generalization of the first crested product of Markov chains. A complete spectral analysis is developed and the $k$-step transition probability is given. It is important to remark that this Markov chain describes a more general version of the classical Ehrenfest diffusion model. As a particular case, one gets a generalization of the classical Insect Markov chain defined on the ultrametric space. Finally, an interpretation in terms of representation group theory is given, by showing the correspondence between the spectral decomposition of the generalized crested product and the Gelfand pairs associated with the generalized wreath product of permutation groups.
Evolving Graph Representation and Visualization
The study of evolution of networks has received increased interest with the recent discovery that many real-world networks possess many things in common, in particular the manner of evolution of such networks. By adding a dimension of time to graph analysis, evolving graphs present opportunities and challenges to extract valuable information. This paper introduces the Evolving Graph Markup Language (EGML), an XML application for representing evolving graphs and related results. Along with EGML, a software tool is provided for the study of evolving graphs. New evolving graph drawing techniques based on the force-directed graph layout algorithm are also explored. Our evolving graph techniques reduce vertex movements between graph instances, so that an evolving graph can be viewed with smooth transitions
Combinatorics on permutation tableaux of type $A$ and type $B$
Published in European J. Combin. 32 (2011) 563-579
• View Publication
• BIB
We give another bijective proof of a result of Corteel and Nadeau. We find a generating function related to unrestricted columns of permutation tableaux. As a consequence, we obtain a sign-imbalance formula for permutation tableaux. We extend the first bijection of Corteel and Nadeau between permutations and permutation tableaux to type $B$ objects. Using this type $B$ bijection, we generalize a result of Lam and Williams. We prove that the bijection of Corteel and Nadeau and our type $B$ bijection can be expressed as zigzag maps on the alternative representation.
Combinatorics of RNA-RNA interaction
Published
• View Publication
• BIB
RNA-RNA binding is an important phenomenon observed for many classes of non-coding RNAs and plays a crucial role in a number of regulatory processes. Recently several MFE folding algorithms for predicting the joint structure of two interacting RNA molecules have been proposed. Here joint structure means that in a diagram representation the intramolecular bonds of each partner are pseudoknot-free, that the intermolecular binding pairs are noncrossing, and that there is no so-called ``zig-zag'' configuration. This paper presents the combinatorics of RNA interaction structures including their generating function, singularity analysis as well as explicit recurrence relations. In particular, our results imply simple asymptotic formulas for the number of joint structures.
The orbit rigidity matrix of a symmetric framework
Published
• View Publication
• BIB
A number of recent papers have studied when symmetry causes frameworks on a graph to become infinitesimally flexible, or stressed, and when it has no impact. A number of other recent papers have studied special classes of frameworks on generically rigid graphs which are finite mechanisms. Here we introduce a new tool, the orbit matrix, which connects these two areas and provides a matrix representation for fully symmetric infinitesimal flexes, and fully symmetric stresses of symmetric frameworks. The orbit matrix is a true analog of the standard rigidity matrix for general frameworks, and its analysis gives important insights into questions about the flexibility and rigidity of classes of symmetric frameworks, in all dimensions.
With this narrower focus on fully symmetric infinitesimal motions, comes the power to predict symmetry-preserving finite mechanisms - giving a simplified analysis which covers a wide range of the known mechanisms, and generalizes the classes of known mechanisms. This initial exploration of the properties of the orbit matrix also opens up a number of new questions and possible extensions of the previous results, including transfer of symmetry based results from Euclidean space to spherical, hyperbolic, and some other metrics with shared symmetry groups and underlying projective geometry.
Representations of Quivers over F1
Published
• View Publication
• BIB
We define and study the category $\RepQ$ of representations of a quiver in $\VFun$ - the category of vector spaces "over $\Fun$". $\RepQ$ is an $\Fun$-linear category possessing kernels, co-kernels, and direct sums. Moreover, $\RepQ$ satisfies analogues of the Jordan-Hölder and Krull-Schmidt theorems. We are thus able to define the Hall algebra $\HQ$ of $\RepQ$, which behaves in some ways like the specialization at $q=1$ of the Hall algebra of $\on{Rep}(\Q, \mathbf{F}_q)$. We prove the existence of a Hopf algebra homomorphism of $ ρ': \U(\n_+) \rightarrow \HQ$, from the enveloping algebra of the nilpotent part $\n_+$ of the Kac-Moody algebra with Dynkin diagram $\bar{\Q}$ - the underlying unoriented graph of $\Q$. We study $ρ'$ when $\Q$ is the Jordan quiver, a quiver of type $A$, the cyclic quiver, and a tree respectively.
On Kiselman quotients of 0-Hecke monoids
Published in Int. Electron. J. Algebra 10 (2011) 174-191
• Search Publication
Combining the definition of 0-Hecke monoids with that of Kiselman semigroups, we define what we call Kiselman quotients of 0-Hecke monoids associated with simply laced Dynkin diagrams. We classify these monoids up to isomorphism, determine their idempotents and show that they are $\mathcal{J}$-trivial. For type $A$ we show that Catalan numbers appear as the maximal cardinality of our monoids, in which case the corresponding monoid is isomorphic to the monoid of all order-preserving and order-decreasing total transformations on a finite chain. We construct various representations of these monoids by matrices, total transformations and binary relations. Motivated by these results, with a mixed graph we associate a monoid, which we call a Hecke-Kiselman monoid, and classify such monoids up to isomorphism. Both Kiselman semigroups and Kiselman quotients of 0-Hecke monoids are natural examples of Hecke-Kiselman monoids.
Valuations from representation theory and tropical geometry
We recall the space of seminorms discussed by Payne in \cite{P} and define a slight modification, the space of graded valuations. After explaining how these spaces relate to tropical geometry, we describe examples of graded valuations which come from the representation theory of reductive groups.
The Tutte-Potts connection in the presence of an external magnetic field
Published in Adv. in Appl. Math., 47 (2011) 772-782
• View Publication
• BIB
The classical relationship between the Tutte polynomial of graph theory and the Potts model of statistical mechanics has resulted in valuable interactions between the disciplines. Unfortunately, it does not include the external magnetic fields that appear in most Potts model applications. Here we define the V-polynomial, which lifts the classical relationship between the Tutte polynomial and the zero field Potts model to encompass external magnetic fields. The V-polynomial generalizes Nobel and Welsh's W-polynomial, which extends the Tutte polynomial by incorporating vertex weights and adapting contraction to accommodate them. We prove that the variable field Potts model partition function (with its many specializations) is an evaluation of the V-polynomial, and hence a polynomial with deletion-contraction reduction and Fortuin-Kasteleyn type representation. This unifies an important segment of Potts model theory and brings previously successful combinatorial machinery, including complexity results, to bear on a wider range of statistical mechanics models.
A simple bijection between standard (n,n,n) tableaux and irreducible webs for sl_3
Published
• View Publication
• BIB
Combinatorial spiders are a model for the invariant space of the tensor product of representations. The basic objects, webs, are certain directed planar graphs with boundary; algebraic operations on representations correspond to graph-theoretic operations on webs. Kuperberg developed spiders for rank 2 Lie algebras and sl_2. Building on a result of Kuperberg's, Khovanov-Kuperberg found a recursive algorithm giving a bijection between standard Young tableaux of shape (n,n,n) and irreducible webs for sl_3 whose boundary vertices are all sources. In this paper, we give a simple and explicit map from standard Young tableaux of shape (n,n,n) to irreducible webs for sl_3 whose boundary vertices are all sources, and show that it is the same as Khovanov-Kuperberg's map. Our construction generalizes to some webs with both sources and sinks on the boundary. Moreover, it allows us to extend the correspondence between webs and tableaux in two ways. First, we provide a short, geometric proof of Petersen-Pylyavskyy-Rhoades's recent result that rotation of webs corresponds to jeu-de-taquin promotion on (n,n,n) tableaux. Second, we define another natural operation on tableaux called a shuffle, and show that it corresponds to the join of two webs. Our main tool is an intermediary object between tableaux and webs that we call an m-diagram. The construction of m-diagrams, like many of our results, applies to shapes of tableaux other than (n,n,n).
How close can we come to a parity function when there isn't one?
Consider a group G such that there is no homomorphism f:G to {+1,-1}. In that case, how close can we come to such a homomorphism? We show that if f has zero expectation, then the probability that f(xy) = f(x) f(y), where x, y are chosen uniformly and independently from G, is at most 1/2(1+1/sqrt{d}), where d is the dimension of G's smallest nontrivial irreducible representation. For the alternating group A_n, for instance, d=n-1. On the other hand, A_n contains a subgroup isomorphic to S_{n-2}, whose parity function we can extend to obtain an f for which this probability is 1/2(1+1/{n \choose 2}). Thus the extent to which f can be "more homomorphic" than a random function from A_n to {+1,-1} lies between O(n^{-1/2}) and Omega(n^{-2}).