representation ↗ reference
4049 papers tagged with this keyword
Combinatorics and Topology of partitions of spherical measures by 2 and 3 fans
An arrangement of k-semilines in the Euclidean (projective) plane or on the 2-sphere is called a k-fan if all semilines start from the same point. A k-fan is an $α$-partition for a probability measure $μ$ if $μ(σ_i)=α_i$ for each $i=1,...,k$ where $\{σ_i\}_{i=1}^k$ are conical sectors associated with the k-fan and $α= (α_1,... ,α_k)$. The set of all $α= (α_1,... ,α_m)$ such that for any collection of probability measures $μ_1,... ,μ_m$ there exists a common $α$-partition by a k-fan is denoted by ${\cal A}_{m,k}$. We prove, as a central result of this paper, that ${\cal A}_{3,2} = \{(s,t)\in \mathbb{R}^2\mid s+t=1 {\rm and} s,t>0\}$. The result follows from the fact that under mild conditions there does not exist a $Q_{4n}$-equivariant map $f : S^3\to V\setminus {\cal A}(α)$ where ${\cal A}(α)$ is a $Q_{4n}$-invariant, linear subspace arrangement in a $Q_{4n}$-representation V, where $Q_{4n}$ is the generalized quaternion group. This fact is established by showing that an appropriate obstruction in the group $Ω_1(Q_{4n})$ of $Q_{4n}$-bordisms does not vanish.
Representation of matroids
In this paper we give a necessary and sufficient criterion for representability of a matroid over an algebraic closed field. This leads to an algorithm, based on an extension of Groebner Bases, in order to decide if a given matroid is representable over such a field.
Unique representation bases for the integers
Published in Acta Arithmetica 108:1 (2003), 1-8.
• View Publication
• BIB
Arbitrarily sparse sets A of integers are constructed with the property that every integer can be represented uniquely in the form n = a + a', where a and a' belong to the set A and a < a' or a = a'. Some related open problems are stated.
Qualitative Visualization of Distance Information
Different types of two- and three-dimensional representations of a finite metric space are studied that focus on the accurate representation of the linear order among the distances rather than their actual values. Lower and upper bounds for representability probabilities are produced by experiments including random generation, a rubber-band algorithm for accuracy optimization, and automatic proof generation. It is proved that both farthest neighbour representations and cluster tree representations always exist in the plane. Moreover, a measure of order accuracy is introduced, and some lower bound on the possible accuracy is proved using some clustering method and a result on maximal cuts in graphs.
Estimating Maximum by Moments for Functions on Orbits
Published
• View Publication
• BIB
Let G be a compact group acting in a real vector space V. We obtain a number of inequalities relating the L^infinity norm of a matrix element of the representation of G with its L^p norm for p<infinity. We apply our results to obtain approximation algorithms to find the maximum absolute value of a given multivariate polynomial over the unit sphere (in which case G is the orthogonal group) and for the multidimensional assignment problem, a hard problem of combinatorial optimization (in which case G is the symmetric group).
Descent Representations and Multivariate Statistics
Published
• View Publication
• BIB
Combinatorial identities on Weyl groups of types $A$ and $B$ are derived from special bases of the corresponding coinvariant algebras. Using the Garsia-Stanton descent basis of the coinvariant algebra of type $A$ we give a new construction of the Solomon descent representations. An extension of the descent basis to type $B$, using new multivariate statistics on the group, yields a refinement of the descent representations. These constructions are then applied to refine well-known decomposition rules of the coinvariant algebra and to generalize various identities.
EL-labelings, Supersolvability and 0-Hecke Algebra Actions on Posets
Published in Journal of Combinatorial Theory (Series A) 101 (2003), 69-89
• View Publication
• BIB
We show that a finite graded lattice of rank n is supersolvable if and only if it has an EL-labeling where the labels along any maximal chain form a permutation. We call such a labeling an S_n EL-labeling and we consider finite graded posets of rank n with unique top and bottom elements that have an S_n EL-labeling. We describe a type A 0-Hecke algebra action on the maximal chains of such posets. This action is local and gives a representation of these Hecke algebras whose character has characteristic that is closely related to Ehrenborg's flag quasi-symmetric function. We ask what other classes of posets have such an action and in particular we show that finite graded lattices of rank n have such an action if and only if they have an S_n EL-labeling.
Asymptotic representation theory and Riemann-Hilbert problem
Published
• View Publication
• BIB
We show how the Riemann-Hilbert problem can be used to compute correlation kernels for determinantal point processes arising in different models of asymptotic combinatorics and representation theory. The Whittaker kernel and the discrete Bessel kernel are computed as examples.
A polytope combinatorics for semisimple groups
Published
• View Publication
• BIB
Mirkovic and Vilonen discovered a canonical basis of algebraic cycles for the intersection homology of (the closures of the strata of) the loop Grassmannian. The moment map images of these varieties are a collection of polytopes, and they may be used to compute weight multiplicities and tensor product multiplicities for representations of a semisimple group. The polytopes are explicitly described for a few low rank groups.
The problem of harmonic analysis on the infinite-dimensional unitary group
Published in J. Funct. Anal. 205 (2003), no. 2, 464--524
• View Publication
• BIB
The goal of harmonic analysis on a (noncommutative) group is to decompose the most `natural' unitary representations of this group (like the regular representation) on irreducible ones. The infinite-dimensional unitary group U(infinity) is one of the basic examples of `big' groups whose irreducible representations depend on infinitely many parameters. Our aim is to explain what the harmonic analysis on U(infinity) consists of.
We deal with unitary representations of a reasonable class, which are in 1-1 correspondence with characters (central, positive definite, normalized functions on U(infinity)). The decomposition of any representation of this class is described by a probability measure (called spectral measure) on the space of indecomposable characters. The indecomposable characters were found by Dan Voiculescu in 1976.
The main result of the present paper consists in explicitly constructing a 4-parameter family of `natural' representations and computing their characters. We view these representations as a substitute of the nonexisting regular representation of U(infinity). We state the problem of harmonic analysis on U(infinity) as the problem of computing the spectral measures for these `natural' representations. A solution to this problem is given in the next paper math/0109194, joint with Alexei Borodin.
We also prove a few auxiliary general results. In particular, it is proved that the spectral measure of any character of U(infinity) can be approximated by a sequence of (discrete) spectral measures for the restrictions of the character to the compact unitary groups U(N). This fact is a starting point for computing spectral measures.
Harmonic analysis on the infinite-dimensional unitary group and determinantal point processes
Published in Ann. of Math. 161 (2005), no. 3, 1319--1422
• View Publication
• BIB
The infinite-dimensional unitary group U(infinity) is the inductive limit of growing compact unitary groups U(N). In this paper we solve a problem of harmonic analysis on U(infinity) stated in the previous paper math/0109193. The problem consists in computing spectral decomposition for a remarkable 4-parameter family of characters of U(infinity). These characters generate representations which should be viewed as analogs of nonexisting regular representation of U(infinity).
The spectral decomposition of a character of U(infinity) is described by the spectral measure which lives on an infinite-dimensional space Omega of indecomposable characters. The key idea which allows us to solve the problem is to embed Omega into the space of point configurations on the real line without 2 points. This turns the spectral measure into a stochastic point process on the real line. The main result of the paper is a complete description of the processes corresponding to our concrete family of characters. We prove that each of the processes is a determinantal point process. That is, its correlation functions have determinantal form with a certain kernel. Our kernels have a special `integrable' form and are expressed through the Gauss hypergeometric function.
In simpler situations of harmonic analysis on infinite symmetric group and harmonic analysis of unitarily invariant measures on infinite hermitian matrices similar results were obtained in our papers math/9810015, math/9904010, math-ph/0010015.
Natural Associativity without the Pentagon condition
A premonoidal category is equipped only with a bifunctor and a natural isomorphism for associativity. We introduce a (deformation) natural automorphism representing the deviation from the Pentagon condition. We uncover a binary tree representation for all diagrams involving associativity natural isomorphisms and (deformation) natural automorphisms and provide a link to permutations and linear orderings. This leads to other notions of premonoidalness. We define these notions and prove coherence results for each.
Kasteleyn cokernels
Published in Electron. J. Combin. 9 (2002), #R29
• View Publication
• BIB
We consider Kasteleyn and Kasteleyn-Percus matrices, which arise in enumerating matchings of planar graphs, up to matrix operations on their rows and columns. If such a matrix is defined over a principal ideal domain, this is equivalent to considering its Smith normal form or its cokernel. Many variations of the enumeration methods result in equivalent matrices. In particular, Gessel-Viennot matrices are equivalent to Kasteleyn-Percus matrices.
We apply these ideas to plane partitions and related planar of tilings. We list a number of conjectures, supported by experiments in Maple, about the forms of matrices associated to enumerations of plane partitions and other lozenge tilings of planar regions and their symmetry classes. We focus on the case where the enumerations are round or $q$-round, and we conjecture that cokernels remain round or $q$-round for related ``impossible enumerations'' in which there are no tilings. Our conjectures provide a new view of the topic of enumerating symmetry classes of plane partitions and their generalizations. In particular we conjecture that a $q$-specialization of a Jacobi-Trudi matrix has a Smith normal form. If so it could be an interesting structure associated to the corresponding irreducible representation of $\SL(n,\C)$. Finally we find, with proof, the normal form of the matrix that appears in the enumeration of domino tilings of an Aztec diamond.
Derangements and tensor powers of adjoint modules for sl_n
Published in Journal of Algebraic Combinatorics 16 (2002), 31-42
• View Publication
• BIB
We obtain the decomposition of the tensor space $\mathfrak{sl}_n^{\otimes k}$ as a module for $\mathfrak{sl}_n$, find an explicit formula for the multiplicities of its irreducible summands, and (when $n \ge 2k$) describe the centralizer algebra $C=End_{\mathfrak{sl}_n}(\mathfrak{sl}_n^{\otimes k})$ and its representations. The multiplicities of the irreducible summands are derangement numbers in several important instances, and the dimension of $C$ is given by the number of derangements of a set of $2k$ elements.
K^F-invariants in irreducible representations of G^F, when G=GL_n
Published in J. Algebra 261 (2003), no. 1, 102--144
• View Publication
• BIB
Using a general result of Lusztig, we give explicit formulas for the dimensions of K^F-invariants in irreducible representations of G^F, when G=GL_n, F:G->G is a Frobenius map, and K is an F-stable subgroup of finite index in G^theta for some involution theta:G->G commuting with F. The proofs use some combinatorial facts about characters of symmetric groups.
Bosonic formulas for (k,l)-admissible partitions
Published
• View Publication
• BIB
Bosonic formulas for generating series of partitions with certain restrictions are obtained by solving a set of linear matrix q-difference equations. Some particular cases are related to combinatorial problems arising from solvable lattice models, representation theory and conformal field theory.
Correlation function of Schur process with application to local geometry of a random 3-dimensional Young diagram
Published
• View Publication
• BIB
Schur process is a time-dependent analog of the Schur measure on partitions studied in math.RT/9907127. Our first result is that the correlation functions of the Schur process are determinants with a kernel that has a nice contour integral representation in terms of the parameters of the process. This general result is then applied to a particular specialization of the Schur process, namely to random 3-dimensional Young diagrams. The local geometry of a large random 3-dimensional diagram is described in terms of a determinantal point process on a 2-dimensional lattice with the incomplete beta function kernel (which generalizes the discrete sine kernel). A brief discussion of the universality of this answer concludes the paper.
The honeycomb model of GL(n) tensor products II: Puzzles determine facets of the Littlewood-Richardson cone
Published in Journal of the AMS, 17 (2004) 19-48
• View Publication
• BIB
The set of possible spectra (λ,μ,ν) of zero-sum triples of Hermitian matrices forms a polyhedral cone. We give a complete determination of its facets, finishing a long story with recent highlights by [Helmke-Rosenthal, Klyachko, Belkale]. We introduce_puzzles_, which are new combinatorial gadgets to compute Grassmannian Schubert calculus, and will probably be the main point of interest for many readers. As the proofs indicate, the Hermitian sum problem is very naturally studied using puzzles directly, and their connection to Schubert calculus is quite incidental to our approach. In particular, we get new, puzzle-theoretic, proofs of the results in [H,Kly,HR,Be]. Along the way we give a characterization of ``rigid'' puzzles, which we use to prove a conjecture of W. Fulton: ``if for a triple of dominant weights λ,μ,νof GL(n,C) the irreducible representation V_νappears exactly once in V_λtensor V_μ, then for all N\in \naturals, V_{Nλ} appears exactly once in V_{Nλ} tensor V_{Nμ}.''
Absolutely indecomposable representations and Kac-Moody Lie algebras (with an appendix by Hiraku Nakajima)
A conjecture of Kac states that the polynomial counting the number of absolutely indecomposable representations of a quiver over a finite field with given dimension vector has positive coefficients and furthermore that its constant term is equal to the multiplicity of the corresponding root in the associated Kac-Moody Lie algebra. In this paper we prove these conjectures for indivisible dimension vectors.
Integrable systems and effectivisation of Riemann theorem about domaims of the complex plane
Published
• View Publication
• BIB
Consider a closed analytic curve $γ$ in the complex plane and denote by > $D_+$ and $D_-$ the interior and exterior domains with respect to the curve. The point $z=0$ is assumed to be in $D_+$. Then according to Riemann theorem there exists a function $w(z)=\frac 1r z+\sum_{j=0}^\infty p_j z^{-j}$, mapping $D_-$ to the exterior of the unit disk $\{w\in C|| w | >1\}$. It is follow from [arXiv : hep-th /0005259] that this function is described by formula $\log w=\log z-\partial_{t_0} (\frac 12\partial_{t_0}+\sum\limits_{k\geqslant 1}\frac{z^{-k}}{k} \partial_{t_k})v$, where $v=v(t_0, t_1, \bar t_1, t_2, \bar t_2,...)$ is a function from the area $t_0$ of $D_+$ and the momemts $t_k$ of $D_-$. Moreover, this function satisfies the dispersionless Hirota equation for 2D Toda lattice hierarchy.
Thus for an effectivisation of Riemann theorem it is sufficiently to find a representation of $v$ in the form of Taylor series $v=\sum N(i_0 | i_1,...,i_k| \bar i_1,...,\bar i_{\bar k})t_0 t_{i_1},...,t_k \bar t_{\bar i_1},...,\bar t_{\bar i_{\bar k}}$. The numbers $N(i_0 | i_1,...,i_k | \bar i_1, ..., \bar i_{\bar k})$ for $i_α, \bar i_β\leqslant 2$ is found in [arXiv: hep-th/0005259]. In this paper we find some recurrence relations that give a possible to find all $N(i_0\bigl| i_1,...,i_k|\bar i_1,...,\bar i_{\bar k})$.