representation ↗ reference
4143 papers tagged with this keyword
Quiver varieties, category O for rational Cherednik algebras, and Hecke algebras
Published
• View Publication
• BIB
We relate the representations of the rational Cherednik algebras associated with the complex reflection group G(m,1,n) to sheaves on Nakajima quiver varieties associated with extended Dynkin gaphs via a Z-algebra construction. As the parameters defining the Cherednik algebra vary, the stability conditions defining the quiver variety change. We interpret the ordering on category O geometrically using this relationship; we also relate the geometry to the a-function for Hecke algebras with unequal parameters.
Polynomials that Sign Represent Parity and Descartes' Rule of Signs
Published in Comput. Complexity, 17 (2008) 377-406
• View Publication
• BIB
A real polynomial $P(X_1,..., X_n)$ sign represents $f: A^n \to \{0,1\}$ if for every $(a_1, ..., a_n) \in A^n$, the sign of $P(a_1,...,a_n)$ equals $(-1)^{f(a_1,...,a_n)}$. Such sign representations are well-studied in computer science and have applications to computational complexity and computational learning theory. In this work, we present a systematic study of tradeoffs between degree and sparsity of sign representations through the lens of the parity function. We attempt to prove bounds that hold for any choice of set $A$. We show that sign representing parity over $\{0,...,m-1\}^n$ with the degree in each variable at most $m-1$ requires sparsity at least $m^n$. We show that a tradeoff exists between sparsity and degree, by exhibiting a sign representation that has higher degree but lower sparsity. We show a lower bound of $n(m -2) + 1$ on the sparsity of polynomials of any degree representing parity over $\{0,..., m-1\}^n$. We prove exact bounds on the sparsity of such polynomials for any two element subset $A$. The main tool used is Descartes' Rule of Signs, a classical result in algebra, relating the sparsity of a polynomial to its number of real roots. As an application, we use bounds on sparsity to derive circuit lower bounds for depth-two AND-OR-NOT circuits with a Threshold Gate at the top. We use this to give a simple proof that such circuits need size $1.5^n$ to compute parity, which improves the previous bound of ${4/3}^{n/2}$ due to Goldmann (1997). We show a tight lower bound of $2^n$ for the inner product function over $\{0,1\}^n \times \{0, 1\}^n$.
The ultrafilter: A peerless tool
Published in Tatra Mt. Math. Publ. Density Concepts, 31 (2005) 131--176
• Search Publication
This is a translation into English of a paper written in French, published in Tatra Mountains Mathematical Publications, {L'ultrafiltre, un outil incomparable}, Tatra Mt. Math. Publ. {\bf 31} (2005), 131-176.It was also posted as {arXiv:math/0702587v1} [math.HO] 20 Feb 2007. This paper was meant for a series of talks at the Bratislava Workshop on the density concept, May 2004. A number of the very many facets of ultrafilters are reviewed (some of them, a bit cursorily, as is to be expected in a short space, and time) including Condorcet's Paradox, ultraproducts and the theory of infinitesimals (non-standard analysis), Banach generalized limits in sequence spaces, Choquet's limits for families of closed sets in general topology and intrinsic geometry, representations of topologies as binary relations among ultrafilters, additive bases in number theory.
Representation Theory of Finite Semigroups, Semigroup Radicals and Formal Language Theory
Published in Trans. Amer. Math. Soc. 361 (2009), 1429-1461
• View Publication
• BIB
In this paper we characterize the congruence associated to the direct sum of all irreducible representations of a finite semigroup over an arbitrary field, generalizing results of Rhodes for the field of complex numbers. Applications are given to obtain many new results, as well as easier proofs of several results in the literature, involving: triangularizability of finite semigroups; which semigroups have (split) basic semigroup algebras, two-sided semidirect product decompositions of finite monoids; unambiguous products of rational languages; products of rational languages with counter; and Černý's conjecture for an important class of automata.
Infinitely Often Dense Bases of Integers with a Prescribed Representation Function
Published
• View Publication
• BIB
Nathanson constructed asymptotic bases for the integers with a prescribed representation function, then asked how dense they can be. We can easily obtain an upper bound using a simple argument. In this paper, we will see this is indeed the best bound we can get for asymptotic bases for the integers with an arbitrary representation function prescribed.
Monic non-commutative orthogonal polynomials
Published in Proc. Amer. Math. Soc. 136 (2008), 2395-2405
• View Publication
• BIB
Among all states on the algebra of non-commutative polynomials, we characterize the ones that have monic orthogonal polynomials. The characterizations involve recursion relations, Hankel-type determinants, and a representation as a joint distribution of operators on a Fock space.
Three combinatorial models for affine sl(n) crystals, with applications to cylindric plane partitions
Published in Math. Res. Not. IMRN 2008(2):Art. ID rnm143, 40, 2008
• View Publication
• BIB
We define three combinatorial models for \hat{sl(n)} crystals, parametrized by partitions, configurations of beads on an `abacus', and cylindric plane partitions, respectively. These are reducible, but we can identify an irreducible subcrystal corresponding to any dominant integral highest weight. Cylindric plane partitions actually parametrize a basis for the tensor product of an irreducible representation with the space spanned by all partitions. We use this to calculate the partition function for a system of random cylindric plane partitions. We also observe a form of rank level duality. Finally, we use an explicit bijection to relate our work to the Kyoto path model.
Factorials as sums
In this paper we give an additive representation of the factorial, which can be proven by a simple quick analytical argument. We also present some generalizations, which are linked, on the one hand to an arithmetical theorem proven by Euler (decomposition of primes as the sum of two squares), and, on the other hand, to modern combinatorics (Stirling numbers).
n-Ary quasigroups of order 4
Published in SIAM J. Discrete Math. 23(2) 2009, 561-570
• View Publication
• BIB
We characterize the set of all N-ary quasigroups of order 4: every N-ary quasigroup of order 4 is permutably reducible or semilinear. Permutable reducibility means that an N-ary quasigroup can be represented as a composition of K-ary and (N-K+1)-ary quasigroups for some K from 2 to N-1, where the order of arguments in the representation can differ from the original order. The set of semilinear N-ary quasigroups has a characterization in terms of Boolean functions. Keywords: Latin hypercube, n-ary quasigroup, reducibility
Algorithims for Representation Theory of Real Groups (withdrawn)
This article has been replaced by arXiv:0807.3093
A combinatorial proof of a Weyl type formula for hook Schur polynomials
Published
• View Publication
• BIB
In this paper, we present a simple combinatorial proof of a Weyl type formula for hook Schur polynomials, which has been obtained by using a Kostant type cohomology formula for $\frak{gl}_{m|n}$. In general, we can obtain in a combinatorial way a Weyl type formula for various highest weight representations of a Lie superalgebra, which together with a general linear algebra forms a Howe dual pair.
On the existence of non-abelian representations of slim dense near hexagons having big quads
This paper has been withdrawn as the statements in Proposition 4.4 and Theorem 1.4(i) are not correct.
Cubical token systems
Published
• View Publication
• BIB
The paper deals with combinatorial and stochastic structures of cubical token systems. A cubical token system is an instance of a token system, which in turn is an instance of a transition system. It is shown that some basic results of combinatorial and stochastic parts of media theory hold almost in identical form for cubical token systems, although some underlying concepts are quite different. A representation theorem for a cubical token system is established asserting that the graph of such a system is cubical.
Representation of Numerical Semigroups by Dyck Paths
Published
• View Publication
• BIB
We introduce square diagrams that represent numerical semigroups and we obtain an injection from the set of numerical semigroups into the set of Dyck paths.
Pseudo-Triangulations - a Survey
Published in In: Surveys on Discrete and Computational Geometry-Twenty Years Later. Herausgeber: Jacob E. Goodman, János Pach und Richard Pollack, Contemporary Mathematics, Band 453, American Mathematical Society, 2008, pp. 343-410
• View Publication
• BIB
A pseudo-triangle is a simple polygon with three convex vertices, and a pseudo-triangulation is a face-to-face tiling of a planar region into pseudo-triangles. Pseudo-triangulations appear as data structures in computational geometry, as planar bar-and-joint frameworks in rigidity theory and as projections of locally convex surfaces.
This survey of current literature includes combinatorial properties and counting of special classes, rigidity theoretical results, representations as polytopes, straight-line drawings from abstract versions called combinatorial pseudo-triangulations, algorithms and applications of pseudo-triangulations.
Pascal arrays: counting Catalan sets
Motivated by representation theory we exhibit an interior structure to Catalan sequences and many generalisations thereof. Certain of these coincide with well known (but heretofore isolated) structures. The remainder are new.
Multiplicity-free representations of the symmetric group
Published
• View Publication
• BIB
We determine all the multiplicity-free representations of the symmetric group. This project is motivated by a combinatorial problem involving systems of set-partitions with a specific pattern of intersection.
On the order of a non-abelian representation group of a slim dense near hexagon
Published in Journal of Algebraic Combinatorics, 29 (2009), 195-213
• View Publication
• BIB
We show that, if the representation group $R$ of a slim dense near hexagon $S$ is non-abelian, then $R$ is of exponent 4 and $|R|=2^β$, $1+NPdim(S)\leq β\leq 1+dimV(S)$, where $NPdim(S)$ is the near polygon embedding dimension of $S$ and $dimV(S)$ is the dimension of the universal representation module $V(S)$ of $S$. Further, if $β=1+NPdim(S)$, then $R$ is an extraspecial 2-group (Theorem 1.6).
Noncrossing partitions and representations of quivers
Published
• View Publication
• BIB
We situate the noncrossing partitions associated to a finite Coxeter group within the context of the representation theory of quivers. We describe Reading's bijection between noncrossing partitions and clusters in this context, and show that it extends to the extended Dynkin case. Our setup also yields a new proof that the noncrossing partitions associated to a finite Coxeter group form a lattice.
We also prove some new results within the theory of quiver representations. We show that the finitely generated, exact abelian, and extension-closed subcategories of the representations of a quiver $Q$ without oriented cycles are in natural bijection with the cluster-tilting objects in the associated cluster category. We also show these subcategories are exactly the finitely generated categories that can be obtained as the semistable objects with respect to some stability condition.
Algebraic Structures on Grothendieck Groups of a Tower of Algebras
Published in J. Algebra 321 (2009), no. 8, 2068-2084
• View Publication
• BIB
The Grothendieck group of the tower of symmetric group algebras has a self-dual graded Hopf algebra structure. Inspired by this, we introduce by way of axioms, a general notion of a tower of algebras and study two Grothendieck groups on this tower linked by a natural paring. Using representation theory, we show that our axioms give a structure of graded Hopf algebras on each Grothendieck groups and these structures are dual to each other. We give some examples to indicate why these axioms are necessary. We also give auxiliary results that are helpful to verify the axioms. We conclude with some remarks on generalized towers of algebras leading to a structure of generalized bialgebras (in the sense of Loday) on their Grothendieck groups.