representation ↗ reference
4143 papers tagged with this keyword
A Practical Regularity Partitioning Algorithm and its Applications in Clustering
In this paper we introduce a new clustering technique called Regularity Clustering. This new technique is based on the practical variants of the two constructive versions of the Regularity Lemma, a very useful tool in graph theory. The lemma claims that every graph can be partitioned into pseudo-random graphs. While the Regularity Lemma has become very important in proving theoretical results, it has no direct practical applications so far. An important reason for this lack of practical applications is that the graph under consideration has to be astronomically large. This requirement makes its application restrictive in practice where graphs typically are much smaller. In this paper we propose modifications of the constructive versions of the Regularity Lemma that work for smaller graphs as well. We call this the Practical Regularity partitioning algorithm. The partition obtained by this is used to build the reduced graph which can be viewed as a compressed representation of the original graph. Then we apply a pairwise clustering method such as spectral clustering on this reduced graph to get a clustering of the original graph that we call Regularity Clustering. We present results of using Regularity Clustering on a number of benchmark datasets and compare them with standard clustering techniques, such as $k$-means and spectral clustering. These empirical results are very encouraging. Thus in this paper we report an attempt to harness the power of the Regularity Lemma for real-world applications.
A quasi-stability result for dictatorships in $S_{n}$
Published
• View Publication
• BIB
We prove that Boolean functions on $S_{n}$ whose Fourier transform is highly concentrated on the first two irreducible representations of $S_n$, are close to being unions of cosets of point-stabilizers. We use this to give a natural proof of a stability result on intersecting families of permutations, originally conjectured by Cameron and Ku, and first proved by the first author. We also use it to prove a `quasi-stability' result for an edge-isoperimetric inequality in the transposition graph on $S_n$, namely that subsets of $S_n$ with small edge-boundary in the transposition graph are close to being unions of cosets of point-stabilizers.
Invariant polynomial functions on tensors under the action of a product of orthogonal groups
Published
• View Publication
• BIB
Let K be the product O(n_1) x O(n_2) x ... x O(n_r) of orthogonal groups. Let V the r-fold tensor product of defining representations of each orthogonal factor. We compute a stable formula for the dimension of the K-invariant algebra of degree d homogeneous polynomial functions on V. To accomplish this, we compute a formula for the number of matchings which commute with a fixed permutation. Finally, we provide formulas for the invariants and describe a bijection between a basis for the space of invariants and the isomorphism classes of certain r-regular graphs on d vertices, as well as a method of associating each invariant to other combinatorial settings such as phylogenetic trees.
Finite traces and representations of the group of infinite matrices over a finite field
Published in Advances in Mathematics, 254 (2014), 331-395
• View Publication
• BIB
The article is devoted to the representation theory of locally compact infinite-dimensional group $\mathbb{GLB}$ of almost upper-triangular infinite matrices over the finite field with $q$ elements. This group was defined by S.K., A.V., and Andrei Zelevinsky in 1982 as an adequate $n=\infty$ analogue of general linear groups $\mathbb{GL}(n,q)$. It serves as an alternative to $\mathbb{GL}(\infty,q)$, whose representation theory is poor.
Our most important results are the description of semi-finite unipotent traces (characters) of the group $\mathbb{ GLB}$ via certain probability measures on the Borel subgroup $\mathbb{B}$ and the construction of the corresponding von Neumann factor representations of type $II_\infty$.
As a main tool we use the subalgebra $\mathcal A(\mathbb{ GLB})$ of smooth functions in the group algebra $L_1(\mathbb{GLB})$. This subalgebra is an inductive limit of the finite--dimensional group algebras ${\mathbb C}(\mathbb{GL}(n,q))$ under parabolic embeddings.
As in other examples of the asymptotic representation theory we discover remarkable properties of the infinite case which does not take place for finite groups, like multiplicativity of indecomposable characters or connections to probabilistic concepts.
The infinite dimensional Iwahori-Hecke algebra $\mathcal H_q(\infty)$ plays a special role in our considerations and allows to understand the deep analogy of the developed theory with the representation theory of infinite symmetric group $S(\infty)$ which had been intensively studied in numerous previous papers.
Matroid base polytope decomposition II : sequence of hyperplane splits
Published
• View Publication
• BIB
This is a continuation of the early paper concerning matroid base polytope decomposition. Here, we will present sufficient conditions on $M$ so its base matroid polytope $P(M)$ has a {\em sequence} of hyperplane splits. The latter yields to decompositions of $P(M)$ with two or more pieces for infinitely many matroids $M$. We also present necessary conditions on the Euclidean representation of rank three matroids $M$ for the existences of decompositions of $P(M)$ into $2$ or $3$ pieces. Finally, we prove that $P(M_1 \oplus M_2)$ has a sequence of hyperplane splits if either $P(M_1)$ or $P(M_2)$ also has a sequence of hyperplane splits.
Homology of Littlewood complexes
Published in Selecta Math. (N.S.) 19 (2013), no. 3, 655-698
• View Publication
• BIB
Let V be a symplectic vector space of dimension 2n. Given a partition λwith at most n parts, there is an associated irreducible representation S_{[λ]}(V) of Sp(V). This representation admits a resolution by a natural complex L^λ, which we call the Littlewood complex, whose terms are restrictions of representations of GL(V). When λhas more than n parts, the representation S_{[λ]}(V) is not defined, but the Littlewood complex L^λstill makes sense. The purpose of this paper is to compute its homology. We find that either L^λis acyclic or that it has a unique non-zero homology group, which forms an irreducible representation of Sp(V). The non-zero homology group, if it exists, can be computed by a rule reminiscent of that occurring in the Borel-Weil-Bott theorem. This result can be interpreted as the computation of the "derived specialization" of irreducible representations of Sp(\infty), and as such categorifies earlier results of Koike-Terada on universal character rings. We prove analogous results for orthogonal and general linear groups. Along the way, we will see two topics from commutative algebra: the minimal free resolutions of determinantal ideals and Koszul homology.
Schur polynomials and Weighted Grassmannians
Published
• View Publication
• BIB
In this paper, we introduce a family of symmetric polynomials by specializing the factorial Schur polynomials. These polynomials represent the weighted Schubert classes of the cohomology of the weighted Grassmannian introduced by Corti-Reid, and we regard these polynomials as analogue of the Schur polynomials. We show that those twisted Schur polynomials are the characters of certain representations. Thus we give an interpretation of the Schubert structure constants of the weighted Grassmannians as the (rational) multiplicities of tensor products of the representations. Furthermore, we derive two types of determinantal formulas for the weighted Schubert classes, in terms of special weighted Schubert classes, and also in terms of Chern classes of tautological orbi-bundles.
Completely reducible sets
Published in International Journal of Algebra and Computation, 23 (4), 915-942 (2013)
• View Publication
• BIB
We study the family of rational sets of words, called completely reducible and which are such that the syntactic representation of their characteristic series is completely reducible. This family contains, by a result of Reutenauer, the submonoids generated by bifix codes and, by a result of Berstel and Reutenauer, the cyclic sets. We study the closure properties of this family. We prove a result on linear representations of monoids which gives a generalization of the result concerning the complete reducibility of the submonoid generated by a bifix code to sets called birecurrent. We also give a new proof of the result concerning cyclic sets.
Distributions defined by q-supernomials, fusion products, and Demazure modules
Published in The Electronic Journal of Combinatorics 22(1) (2015), #P1.56
• View Publication
• BIB
We prove asymptotic normality of the distributions defined by q-supernomials, which implies asymptotic normality of the distributions given by the central string functions and the basic specialization of fusion modules of the current algebra of sl2. The limit is taken over linearly scaled fusion powers of a fixed collection of irreducible representations. This includes as special instances all Demazure modules of the affine Kac-Moody algebra associated to sl2. Along with an available complementary result on the asymptotic normality of the basic specialization of graded tensors of the type A standard representation, our result is a central limit theorem for a serious class of graded tensors. It therefore serves as an indication towards universal behavior: The central string functions and the basic specialization of fusion and, in particular, Demazure modules behave asymptotically normal, as the number of fusions scale linearly in an asymptotic parameter, N say.
Simple Asymmetric Exclusion Model and Lattice Paths: Bijections and Involutions
Published
• View Publication
• BIB
We study the combinatorics of the change of basis of three representations of the stationary state algebra of the two parameter simple asymmetric exclusion process. Each of the representations considered correspond to a different set of weighted lattice paths which, when summed over, give the stationary state probability distribution. We show that all three sets of paths are combinatorially related via sequences of bijections and sign reversing involutions.
Representations of general linear groups and categorical actions of Kac-Moody algebras
This is an expanded version of the lectures given by the author on the 3rd school "Lie algebras, algebraic groups and invariant theory" in Togliatti, Russia. In these notes we explain the concept of a categorical Kac-Moody action by studying an example of the category of rational representations of a general linear group in positive characteristic. We also deal with some more advanced topics: a categorical action on the polynomial representations and crystals of categorical actions.
Mixed Schur-Weyl-Sergeev duality for queer Lie superalgebras
Published
• View Publication
• BIB
We introduce a new family of superalgebras $\overrightarrow{B}_{r,s}$ for $r, s \ge 0$ such that $r+s>0$, which we call the walled Brauer superalgebras, and prove the mixed Scur-Weyl-Sergeev duality for queer Lie superalgebras. More precisely, let $\mathfrak{q}(n)$ be the queer Lie superalgebra, ${\mathbf V} =\mathbb{C}^{n|n}$ the natural representation of $\mathfrak{q}(n)$ and ${\mathbf W}$ the dual of ${\mathbf V}$. We prove that, if $n \ge r+s$, the superalgebra $\overrightarrow{B}_{r,s}$ is isomorphic to the supercentralizer algebra $_{\mathfrak{q}(n)}({\mathbf V}^{\otimes r} \otimes {\mathbf W}^{\otimes s})^{\op}$ of the $\mathfrak{q}(n)$-action on the mixed tensor space ${\mathbf V}^{\otimes r} \otimes {\mathbf W}^{\otimes s}$. As an ingredient for the proof of our main result, we construct a new diagrammatic realization $\overrightarrow{D}_{k}$ of the Sergeev superalgebra $Ser_{k}$. Finally, we give a presentation of $\overrightarrow{B}_{r,s}$ in terms of generators and relations.
Weighted representation functions on $\mathbb{Z}_m$
Published in Taiwan. J. Math. 17 (2013), 1311-1319. Erratum. 18 (2014), 1329
• View Publication
• BIB
Let $m$, $k_1$, and $k_2$ be three integers with $m\ge 2$. For any set $A\subseteq \mathbb{Z}_m$ and $n\in \mathbb{Z}_m$, let $\hat{r}_{k_1,k_2}(A,n)$ denote the number of solutions of the equation $n=k_1a_1+k_2a_2$ with $a_1,a_2\in A$. In this paper, using exponential sums, we characterize all $m$, $k_1$, $k_2$, and $A$ for which $\hat{r}_{k_1,k_2}(A,n)=\hat{r}_{k_1,k_2}(\mathbb{Z}_m\setminus A,n)$ for all $n\in \mathbb{Z}_m$. We also pose several problems for further research.
Eigenspace arrangements of reflection groups
Published
• View Publication
• BIB
The lattice of intersections of reflecting hyperplanes of a complex reflection group W may be considered as the poset of 1-eigenspaces of the elements of W. In this paper we replace 1 with an arbitrary eigenvalue and study the topology and homology representation of the resulting poset. After posing the main question of whether this poset is shellable, we show that all its upper intervals are geometric lattices, and then answer the question in the affirmative for the infinite family G(m,p,n) of complex reflection groups, and the first 31 of the 34 exceptional groups, by constructing CL-shellings. In addition, we completely determine when these eigenspaces of W form a K(pi,1) (resp. free) arrangement.
For the symmetric group, we also extend the combinatorial model available for its intersection lattice to all other eigenvalues by introducing "balanced partition posets", presented as particular upper order ideals of Dowling lattices, study the representation afforded by the top (co)homology group, and give a simple map to the posets of pointed d-divisible partitions.
The Distribution of Heights of Discrete Excursions
We compute the limiting distribution of height of a random discrete excursion with step sets consisting of one positive step 1 and arbitrary finite set of non-positive integers. The limit law is the supremum of a Brownian excursion. This is well-known for Dyck and Motzkin paths. We apply a representation of the length and height generating function in terms of certain Schur polynomials put forward in a 2008 paper by Bousquet-Melout which leads to a form of the moment generating functions amenable to a Mellin transform analysis.
Functors from Association Schemes
Published
• View Publication
• BIB
We construct a wide subcategory of the category of finite association schemes with a collection of desirable properties. Our subcategory has a first isomorphism theorem analogous to that of groups. Also, standard constructions taking schemes to groups (thin radicals and thin quotients) or algebras (adjacency algebras) become functorial when restricted to our category. We use our category to give a more conceptual account for a result of Hanaki concerning products of characters of association schemes; i.e. we show that the virtual representations of an association scheme form a module over the representation ring of the thin quotient of the association scheme.
Representation type of finite quiver Hecke algebras of type $A^{(2)}_{2\ell}$
Published
• View Publication
• BIB
We study cyclotomic quiver Hecke algebras $R^{Λ_0}(β)$ in type $A^{(2)}_{2\ell}$, where $Λ_0$ is the fundamental weight. The algebras are natural $A^{(2)}_{2\ell}$-type analogue of Iwahori-Hecke algebras associated with the symmetric group, from the viewpoint of the Fock space theory developed by the first author and his collaborators. We give a formula for the dimension of the algebra, and a simple criterion to tell the representation type. The criterion is a natural generalization of Erdmann and Nakano's for the Iwahori-Hecke algebras. Except for the examples coming from cyclotomic Hecke algebras, no results of these kind existed for cyclotomic quiver Hecke algebras, and our results are the first instances beyond the case of cyclotomic Hecke algebras.
Extending Partial Representations of Proper and Unit Interval Graphs
The recently introduced problem of extending partial interval representations asks, for an interval graph with some intervals pre-drawn by the input, whether the partial representation can be extended to a representation of the entire graph. In this paper, we give a linear-time algorithm for extending proper interval representations and an almost quadratic-time algorithm for extending unit interval representations.
We also introduce the more general problem of bounded representations of unit interval graphs, where the input constrains the positions of some intervals by lower and upper bounds. We show that this problem is NP-complete for disconnected input graphs and give a polynomial-time algorithm for the special class of instances, where the ordering of the connected components of the input graph along the real line is prescribed. This includes the case of partial representation extension.
The hardness result sharply contrasts the recent polynomial-time algorithm for bounded representations of proper interval graphs [Balko et al. ISAAC'13]. So unless $\text{P} = \text{NP}$, proper and unit interval representations have vastly different structure. This explains why partial representation extension problems for these different types of representations require substantially different techniques.
Horton self-similarity of Kingman's coalescent tree
Published
• View Publication
• BIB
The paper establishes a weak version of Horton self-similarity for a tree representation of Kingman's coalescent process. The proof is based on a Smoluchowski-type system of ordinary differential equations for the number of branches of a given Horton-Strahler order in a tree that represents Kingman's N-coalescent process with a constant kernel, in a hydrodynamic limit. We also demonstrate a close connection between the combinatorial Kingman's tree and the combinatorial level set tree of a white noise, which implies Horton self-similarity for the latter.
An application of Cubical Cohomology to Adinkras and Supersymmetry Representations
Published
• View Publication
• BIB
An Adinkra is a class of graphs with certain signs marking its vertices and edges, which encodes off-shell representations of the super Poincaré algebra. The markings on the vertices and edges of an Adinkra are cochains for cubical cohomology. This article explores the cubical cohomology of Adinkras, treating these markings analogously to characteristic classes on smooth manifolds.