representation ↗ reference
4049 papers tagged with this keyword
A Unified Construction of Coxeter Group Representations (I)
Published
• View Publication
• BIB
An elementary approach to the construction of Coxeter group representations is presented.
Vertices of Gelfand-Tsetlin Polytopes
Published
• View Publication
• BIB
This paper is a study of the polyhedral geometry of Gelfand-Tsetlin patterns arising in the representation theory $\mathfrak{gl}_n \C$ and algebraic combinatorics. We present a combinatorial characterization of the vertices and a method to calculate the dimension of the lowest-dimensional face containing a given Gelfand-Tsetlin pattern.
As an application, we disprove a conjecture of Berenstein and Kirillov about the integrality of all vertices of the Gelfand-Tsetlin polytopes. We can construct for each $n\geq5$ a counterexample, with arbitrarily increasing denominators as $n$ grows, of a non-integral vertex. This is the first infinite family of non-integral polyhedra for which the Ehrhart counting function is still a polynomial. We also derive a bound on the denominators for the non-integral vertices when $n$ is fixed.
Affine Weyl groups in K-theory and representation theory
Published
• View Publication
• BIB
We give an explicit combinatorial Chevalley-type formula for the equivariant K-theory of generalized flag varieties G/P which is a direct generalization of the classical Chevalley formula. Our formula implies a simple combinatorial model for the characters of the irreducible representations of G and, more generally, for the Demazure characters. This model can be viewed as a discrete counterpart of the Littelmann path model, and has several advantages. Our construction is given in terms of a certain R-matrix, that is, a collection of operators satisfying the Yang-Baxter equation. It reduces to combinatorics of decompositions in the affine Weyl group and enumeration of saturated chains in the Bruhat order on the (nonaffine) Weyl group. Our model easily implies several symmetries of the coefficients in the Chevalley-type formula. We also derive a simple formula for multiplying an arbitrary Schubert class by a divisor class, as well as a dual Chevalley-type formula. The paper contains other applications and examples.
Littelmann paths for the basic representation of an affine Lie algebra
Published
• View Publication
• BIB
We give a new model for the crystal graphs of an affine Lie algebra g^, combining Littelmann's path model with the Kyoto path model. The vertices of the crystal graph are represented by certain infinitely looping paths which we call skeins.
We apply this model to the case when the corresponding finite-dimensional algebra g has a minuscule representation (classical type and E_6, E_7). We prove that the basic level-one representation of g^, when considered as a representation of g, is an infinite tensor product of fundamental representations of g. A similar tensor product phenomenon holds for certain Demazure submodules of the basic representation.
Representations of wreath products on cohomology of De Concini-Procesi compactifications
Published in Intern. Math. Res. Notices 2004:20 (2004), 983-1021
• Search Publication
The wreath product W(r,n) of the cyclic group of order r and the symmetric group S_n acts on the corresponding projective hyperplane complement, and on its wonderful compactification as defined by De Concini and Procesi. We give a formula for the characters of the representations of W(r,n) on the cohomology groups of this compactification, extending the result of Ginzburg and Kapranov in the r=1 case. As a corollary, we get a formula for the Betti numbers which generalizes the result of Yuzvinsky in the r=2 case. Our method involves applying to the nested-set stratification a generalization of Joyal's theory of tensor species, which includes a link between polynomial functors and plethysm for general r. We also give a new proof of Lehrer's formula for the representations of W(r,n) on the cohomology groups of the hyperplane complement.
Short Rational Functions for Toric Algebra and Applications
Published
• View Publication
• BIB
We encode the binomials belonging to the toric ideal $I_A$ associated with an integral $d \times n$ matrix $A$ using a short sum of rational functions as introduced by Barvinok \cite{bar,newbar}. Under the assumption that $d,n$ are fixed, this representation allows us to compute the Graver basis and the reduced Gröbner basis of the ideal $I_A$, with respect to any term order, in time polynomial in the size of the input. We also derive a polynomial time algorithm for normal form computation which replaces in this new encoding the usual reductions typical of the division algorithm. We describe other applications, such as the computation of Hilbert series of normal semigroup rings, and we indicate further connections to integer programming and statistics.
A group-theoretic approach to fast matrix multiplication
Published in Proceedings of the 44th Annual Symposium on Foundations of Computer Science, 11-14 October 2003, Cambridge, MA, IEEE Computer Society, pp. 438-449
• View Publication
• BIB
We develop a new, group-theoretic approach to bounding the exponent of matrix multiplication. There are two components to this approach: (1) identifying groups G that admit a certain type of embedding of matrix multiplication into the group algebra C[G], and (2) controlling the dimensions of the irreducible representations of such groups. We present machinery and examples to support (1), including a proof that certain families of groups of order n^(2 + o(1)) support n-by-n matrix multiplication, a necessary condition for the approach to yield exponent 2. Although we cannot yet completely achieve both (1) and (2), we hope that it may be possible, and we suggest potential routes to that result using the constructions in this paper.
Singular locally-scalar representations of quivers in Hilbert spaces and separating functions
Published
• View Publication
• BIB
A numeric function $ρ$: $ρ(k)=1+\frac{k-1}{k+1}, k \in N$ was considered in [1]. In its terms criterions of finite representability and tameness of marked quivers, posets with equivalence and dyadic posets can be obtained; Dynkin schemes and extended schemes also can be characterized.
In this paper authors consider the connection of function $ρ$ with locally-scalar representations [2] of extended Dynkin graphs. Then a family of functions $ρ_n$ is defined -- a generalization of function $ρ$, which plays an analogous part for more wide class of graphs. Also some properties of functions $ρ$ and $ρ_k$ are proved.
References
[1] L.A. Nazarova, A.V. Roiter. {\it Norm of a relation, separating functions and representations of marked quivers.} Ukr. Math. Jour., 54(2002), No.6, p.808-840.
[2] S.A. Kruglyak, A.V. Roiter. {\it Locally-scalar representations of graphs in the category of Hilbert spaces.} Prepr. Ukr. Math. Jour. (2003).
Notes on Fibonacci Partitions
Published in Experimental Mathematics, 25:4, 482-499 (2016)
• View Publication
• BIB
Let $f_1=1,f_2=2$ and $f_i=f_{i-1}+f_{i-2}$ for $i>2$ be the sequence of Fibonacci numbers. Let $Φ_h(n)$ be the quantity of partitions of natural number $n$ into $h$ different Fibonacci numbers. In terms of Zeckendorf partition of $n$ I deduce a formula for the function $Φ(n;t):=\sum_{h\geq 1}Φ_h(n)t^h$, and use it to analyze the functions $F(n):=Φ(n;1)$ and $χ(n):=Φ(n;-1)$. I obtain the least upper bound for $F(n)$ when $f_i-1\<n\<f_{i+1}-1$. It implies that $F(n)\<\sqrt{n+1}$ for any natural $n$.
I prove also that $|χ(n)|\<1$, and $\mathop{\lim}\limits_{N\to\infty}\frac{1}{N} \left(χ^2(1)+χ^2(2)\dptχ^2(N)\right)=0$.
For any $k\>2$, I define a special finite set $\mathbb{G}(k)$ of solutions of the equation $F(n)=k$, all solutions can be easily obtained from $\mathbb{G}(k)$. This construction uses a representation of rational numbers as certain continued fractions and provides with a canonical identification $\coprod_{k\>2}\mathbb{G}(k)=\G_+$, where $\G_+$ is the monoid freely generated by the positive rational numbers $<1$.
Let $Ψ(k)$ be the cardinality of $\mathbb{G}(k)$. I prove that, for $i\>2k$ and $k\>2$, the interval $[f_i-1,f_{i+1}-1]$ contains exactly $2Ψ(k)$ solutions of the equation $F(n)=k$ and offer a formula for the Dirichlet generating function of the sequence $Ψ(k)$. I formulate conjectures on the set of minimal solutions of the equations $F(n)=k$ as $k$ varies and pose some questions concerning such solutions.
LS-Galleries, the path model and MV-cycles
Published
• View Publication
• BIB
We give an interpretation of the path model of a representation \cite{Lit1} of a complex semisimple algebraic group $G$ in terms of the geometry of its affine Grassmannian. In this setting, the paths are replaced by LS--galleries in the affine Coxeter complex associated to the Weyl group of $G$. To explain the connection with geometry, consider a Demazure--Hansen--Bott--Samelson desingularization $\hatΣ(\lam)$ of the closure of an orbit $G(\bc[[t]]).\lam$ in the affine Grassmannian. The homology of $\hatΣ(\lam)$ has a basis given by Białynicki--Birula cell's, which are indexed by the $T$--fixed points in $\hatΣ(\lam)$. Now the points of $\hatΣ(\lam)$ can be identified with galleries of a fixed type in the affine Tits building associated to $G$, and the $T$--fixed points correspond in this language to combinatorial galleries of a fixed type in the affine Coxeter complex. We determine those galleries such that the associated cell has a non-empty intersection with $G(\bc[[t]]).\lam$ (identified with an open subset of $\hatΣ(\lam)$), and we show that the closures of the strata associated to LS-galleries are exactly the MV--cycles \cite{MV}, which form a basis of the representation $V(\lam)$ for the Langland's dual group $G^\vee$.
Card shuffling and the decomposition of tensor products
Published
• View Publication
• BIB
Let H be a subgroup of a finite group G. We use Markov chains to quantify how large r should be so that the decomposition of the r tensor power of the representation of G on cosets on H behaves (after renormalization) like the regular representation of G. For the case where G is a symmetric group and H a parabolic subgroup, we find that this question is precisely equivalent to the question of how large r should be so that r iterations of a shuffling method randomize the Robinson-Schensted-Knuth shape of a permutation. This equivalence is rather remarkable, if only because the representation theory problem is related to a reversible Markov chain on the set of representations of the symmetric group, whereas the card shuffling problem is related to a nonreversible Markov chain on the symmetric group. The equivalence is also useful, and results on card shuffling can be applied to yield sharp results about the decomposition of tensor powers.
Structures of boson and fermion Fock spaces in the space of symmetric functions
Published in Acta Applicandae Mathematica , 81, 1, e233-268 (2004)
• View Publication
• BIB
We realize the Weil representation of infinite dimensional symplectic group and spinor representation of infinite-dimensional group $GL$ by linear operators in the space of symmetric functions in infinite number of variables.
Multiplicities and tensor product coefficients for $A_r$
We apply some recent developments of Baldoni-DeLoera-Vergne on vector partition functions, to Kostant and Steinberg formulas, in the case of $A_r$. We therefore get a fast {\sc Maple} program that computes for $A_r$: the multiplicity $c_{λ,μ}$ of the weight $μ$ in the representation $V(λ)$ of highest weight $λ$; the multiplicity $c_{λ,μ,ν}$ of the representation $V(ν)$ in $V(λ)\otimes V(μ)$. The computation also gives the locally polynomial functions $c_{λ,μ}$ and $c_{λ,μ,ν}$.
A positive proof of the Littlewood-Richardson rule using the octahedron recurrence
Published in Electron. J. Combin. 11 (2004), Research Paper 61
• View Publication
• BIB
We define the_hive ring_, which has a basis indexed by dominant weights for GL(n), and structure constants given by counting hives [KT1] (or equivalently honeycombs, or Berenstein-Zelevinsky patterns [BZ1]). We use the octahedron rule from [Robbins-Rumsey,Fomin-Zelevinsky,Propp,Speyer] to prove bijectively that this "ring" is indeed associative.
This, and the Pieri rule, give a self-contained proof that the hive ring is isomorphic as a ring-with-basis to the representation ring of GL(n).
In the honeycomb interpretation, the octahedron rule becomes "scattering" of the honeycombs. This recovers some of the "crosses and wrenches" diagrams from the very recent preprint [S], whose results we use to give a closed form for the associativity bijection.
Lattice path combinatorics and asymptotics of multiplicities of weights in tensor powers
Published in J. Funct. Anal. 217 (2004), no. 2, 402--447.
• View Publication
• BIB
We give asymptotic formulas for the multiplicities of weights and irreducible summands in high-tensor powers $V_λ^{\otimes N}$ of an irreducible representation $V_λ$ of a compact connected Lie group $G$. The weights are allowed to depend on $N$, and we obtain several regimes of pointwise asymptotics, ranging from a central limit region to a large deviations region. We use a complex steepest descent method that applies to general asymptotic counting problems for lattice paths with steps in a convex polytope.
Minimal surfaces from circle patterns: Geometry from combinatorics
Published in Ann. of Math. 164:1 (2006), 231-264
• View Publication
• BIB
We suggest a new definition for discrete minimal surfaces in terms of sphere packings with orthogonally intersecting circles. These discrete minimal surfaces can be constructed from Schramm's circle patterns. We present a variational principle which allows us to construct discrete analogues of some classical minimal surfaces. The data used for the construction are purely combinatorial--the combinatorics of the curvature line pattern. A Weierstrass-type representation and an associated family are derived. We show the convergence to continuous minimal surfaces.
Characterization of spectral triples: A combinatorial approach
We describe a general technique to study Dirac operators on noncommutative spaces under some additional assumptions. The main idea is to capture the compact resolvent condition in a combinatorial set up. Using this, we then prove that for a certain class of representations of the C^*-algebra C(SU_q(\ell+1)), any Dirac operator that diagonalises with respect to the natural basis of the underlying Hilbert space must have trivial sign.
Chow rings of toric varieties defined by atomic lattices
Published in Invent. Math. 155 (2004) 515-536.
• View Publication
• BIB
We study a graded algebra D=D(L,G) defined by a finite lattice L and a subset G in L, a so-called building set. This algebra is a generalization of the cohomology algebras of hyperplane arrangement compactifications found in work of De Concini and Procesi. Our main result is a representation of D, for an arbitrary atomic lattice L, as the Chow ring of a smooth toric variety that we construct from L and G. We describe this variety both by its fan and geometrically by a series of blowups and orbit removal. Also we find a Groebner basis of the relation ideal of D and a monomial basis of D over Z.
The inverse problem for representation functions of additive bases
Published
• View Publication
• BIB
Let A be a set of integers. For every integer n, let r_{A,2}(n) denote the number of representations of n in the form n = a_1 + a_2, where a_1 and a_2 are in A and a_1 \leq a_2. The function r_{A,2}: Z \to N_0 \cup {\infty} is the representation function of order 2 for A. The set A is called an asymptotic basis of order 2 if r_{A,2}^{-1}(0) is finite, that is, if every integer with at most a finite number of exceptions can be represented as the sum of two not necessarily distinct elements of A. It is proved that every function is a representation function, that is, if f: Z \to N_0\cup {\infty} is any function such that f^{-1}(0) is finite, then there exists a set A of integers such that f(n) = r_{A,2}(n) for all n \in \Z. Moreover, the set A can be constructed so that card{a\in A : |a| \leq x} \gg x^{1/3}.
On the ubiquity of Sidon sets
Published in Number theory (New York, 2003), Springer, New York, 2004, pages 263--272
• View Publication
• BIB
A Sidon set is a set A of integers such that no integer has two essentially distinct representations as the sum of two elements of A. More generally, for every positive integer g, a B_2[g]-set is a set A of integers such that no integer has more than g essentially distinct representations as the sum of two elements of A. It is proved that almost all small sumsets of {1,2,...,n} are B_2[g]-sets, in the sense that if B_2[g](k,n) denotes the number of B_2[g]-sets of cardinality k contained in the interval {1,2,...,n}, then lim_{n\to\infty} B_2[g](k,n)/\binom{n}{k} = 1 if k = o(n^{g/(2g+2)}).