arXiv++ Combinatorics

In combinatorics there is a well-known duality between non-nesting and non-crossing objects. In algebra there are many objects which are standard, for example Standard Young Tableaux, Standard Monomials, Standard Bitableaux. We adopt a point of view that these standard objects are really non-nesting, and we find their non-crossing counterparts.

Young's lattice, the lattice of all Young diagrams, has the Robinson-Schensted-Knuth correspondence, the correspondence between certain matrices and pairs of semi-standard Young tableaux with the same shape. Fomin introduced generalized Schur operators to generalize the Robinson-Schensted-Knuth correspondence. In this sense, generalized Schur operators are generalizations of semi-standard Young tableaux. We define a generalization of Schur polynomials as expansion coefficients of generalized Schur operators. We show that the commutating relation of generalized Schur operators implies Pieri's formula to generalized Schur polynomials.

We exhibit a weight-preserving bijection between semi-standard Young tableaux and semi-skyline augmented fillings to provide a combinatorial proof that the Schur functions decompose into nonsymmetric functions indexed by compositions. The insertion procedure involved in the proof leads to an analogue of the Robinson-Schensted-Knuth Algorithm for semi-skyline augmented fillings. This procedure commutes with the RSK algorithm, and therefore retains many of its properties.

Let A and B be two central simple algebras of a prime degree n over a field F generating the same subgroup in the Brauer group. We show that the Chow motive of a Severi-Brauer variety SB(A) is a direct summand of the motive of a generalized Severi-Brauer variety SB_d(B) if and only if [A]=d[B] or [A]=-d[B] in the Brauer group. The proof uses methods of Schubert calculus and combinatorial properties of Young tableaux, e.g., Robinson-Schensted correspondence.

Let X,Y be finite sets and T a set of functions from X -> Y which we will call "tableaux". We define a simplicial complex whose facets, all of the same dimension, correspond to these tableaux. Such "tableau complexes" have many nice properties, and are frequently homeomorphic to balls, which we prove using vertex decompositions. In our motivating example, the facets are labeled by semistandard Young tableaux, and the more general interior faces are labeled by Buch's set-valued semistandard tableaux. One vertex decomposition of this "Young tableau complex" parallels Lascoux's transition formula for vexillary double Grothendieck polynomials. Consequently, we obtain formulae (both old and new) for these polynomials. In particular, we present a common generalization of the formulae of Wachs and Buch, each of which implies the classical tableau formula for Schur polynomials.

Algebraic curvature tensors possess generators which can be formed from symmetric or alternating tensors S, A or tensors θwith an irreducible (2,1)-symmetry. In differential geometry examples of curvature formulas are known which contain generators on the basis of S or A realized by differentiable tensor fields in a natural way. We show that certain curvature formulas for stationary or static space-times contain such differentiable realizations of generators based on θ. The tensor θis connected with the timelike Killing vector field of the space-time. θlies in a special symmetry class from the infinite family of irreducible (2,1)-symmetry classes. We determine characteristics of this class. In particular, this class allows a maximal reduction of the length of the curvature formulas. We use a projection formalism by Vladimirov, Young symmetrizers and Littlewood-Richardson products. Computer calculations were carried out by means of the packages Ricci and PERMS.

In this paper, we continue the development of a new combinatorial model for the irreducible characters of a complex semisimple Lie group. This model, which will be referred to as the alcove path model, can be viewed as a discrete counterpart to the Littelmann path model. It leads to an extensive generalization of the combinatorics of irreducible characters from Lie type A (where the combinatorics is based on Young tableaux, for instance) to arbitrary type. The main results of this paper are: (1) a combinatorial description of the crystal graphs corresponding to the irreducible representations (this result includes a transparent proof, based on the Yang-Baxter equation, of the fact that the mentioned description does not depend on the choice involved in our model); (2) a combinatorial realization of Lusztig's involution on the canonical basis (this involution exhibits the crystals as self-dual posets, corresponds to the action of the longest Weyl group element on an irreducible representation, and generalizes Schutzenberger's involution on tableaux); (3) an analog for arbitrary root systems, based on the Yang-Baxter equation, of Schutzenberger's sliding algorithm, which is also known as jeu de taquin (this algorithm has many applications to the representation theory of the Lie algebra of type A).

Let SYT_n be the set of all standard Young tableaux with n cells. After recalling the definitions of four partial orders, the weak, KL, geometric and chain orders on SYT_n and some of their crucial properties, we prove three main results: (i)Intervals in any of these four orders essentially describe the product in a Hopf algebra of tableaux defined by Poirier and Reutenauer. (ii) The map sending a tableau to its descent set induces a homotopy equivalence of the proper parts of all of these orders on tableaux with that of the Boolean algebra 2^{[n-1]}. In particular, the Möbius function of these orders on tableaux is (-1)^{n-3}. (iii) For two of the four orders, one can define a more general order on skew tableaux having fixed inner boundary, and similarly analyze their homotopy type and Möbius function.

This is the third paper in the series. Here we define a few combinatorial orders on Young tableaux. The first order is obtained from induced Duflo order by the extension with the help of Vogan T_{α, β} procedure. We call it Duflo-Vogan order. The second order is obtained from the generalization of Spaltenstein's construction by consideration of an orbital variety as a double chain of nilpotent orbits. We call it the chain order. Again, we use Vogan's T_{α, β} procedure, however, this time to restrict the chain order. We call it Vogan-chain order. The order on Young tableaux defined by the inclusion of orbital variety closures is called a geometric order and the order on Young tableaux defined by inverse inclusion of primitive ideals is called an algebraic order. We get the following relations between the orders: Duflo-Vogan order is an extension of the induced Duflo order; the algebraic order is an extension of Duflo-Vogan order; the geometric order is an extension of the algebraic order; Vogan-chain order is an extension of the geometric order; and, finally, the chain order is an extension of Vogan-chain order. The computationsshow that Duflo-Vogan and Vogan-chain orders coincide on sl_n for n<10 and in n=10 there is one case (up to T_{α,β} procedure and transposition) where Vogan-chain order is a proper extension of Duflo-Vogan order. In this only case the algebraic order coincides with Vogan-chain order. These computations permit us to conjecture that in sl_n the algebraic order coincides with the geometric order. As well we conjecture that the combinatorics of both the inclusions on primitive ideals and on orbital variety closures is defined by Vogan-chain order on Young tableaux.

We demonstrate the use of several tools from Algebraic Combinatorics such as Young tableaux, symmetry operators, the Littlewood-Richardson rule and discrete Fourier transforms of symmetric groups in investigations of algebraic curvature tensors.

Let the sign of a skew standard Young tableau be the sign of the permutation you get by reading it row by row from left to right, like a book. We examine how the sign property is transferred by the skew Robinson-Schensted correspondence invented by Sagan and Stanley. The result is a remarkably simple generalization of the ordinary non-skew formula. The sum of the signs of all standard tableaux on a given skew shape is the sign-imbalance of that shape. We generalize previous results on the sign-imbalance of ordinary partition shapes to skew ones.

Recently, in papers by Knutson, Tao and Woodward, Henriques and Kamnitzer, Pak and Vallejo have been constructed several interesting bijections of associativity and commutativity. In the first two papers bijections relate special sets of discretely concave functions (hives) on triangular grids and the octahedron recurrence plays the key role for these bijections. Pak and Vallejo related special sets of Young tableaux and constructions of these bijections based on standard algorithms in this theory, jeu de taquen, Schutzenberger involution, tableaux switching, etc. In this paper we investigate these constructions from the third point of view, combinatorics of arrays, theory worked out recently by the authors. Arrays naturally related as well to functions on the lattice of integers as to Young tableaux. In the tensor category of arrays, the bijections of associativity and commutativity arise naturally. We establish coincidence of our bijections with that defined in the first two papers and in the integer-valued set-up with the bijection in the third paper (that is, in particular, a solution of Conjecture 1 by Pak and Vallejo). In order to relate different approaches and to reveal combinatorics of the octahedron recurrence, we, first, show that the octahedron recurrence agrees with discrete convexity and, second, we construct another bijection using the octahedron recurrence, the functional form of the RSK correspondence.

We address the following question: When a randomly chosen regular bipartite multi--graph is drawn in the plane in the ``standard way'', what is the distribution of its maximum size planar matching (set of non--crossing disjoint edges) and maximum size planar subgraph (set of non--crossing edges which may share endpoints)? The problem is a generalization of the Longest Increasing Sequence (LIS) problem (also called Ulam's problem). We present combinatorial identities which relate the number of $r$-regular bipartite multi--graphs with maximum planar matching (maximum planar subgraph)of at most $d$ edges to a signed sum of restricted lattice walks in $\ZZ^d$, and to the number of pairs of standard Young tableaux of the same shape and with a ``descend--type'' property. Our results are obtained via generalizations of two combinatorial proofs through which Gessel's identity can be obtained (an identity that is crucial in the derivation of a bivariate generating function associated to the distribution of LISs, and key to the analytic attack on Ulam's problem).

A new $q$-analog of Genocchi numbers is introduced through a q-analog of Seidel's triangle associated to Genocchi numbers. It is then shown that these $q$-Genocchi numbers have interesting combinatorial interpretations in the classical models for Genocchi numbers such as alternating pistols, alternating permutations, non intersecting lattice paths and skew Young tableaux.

The system of one-dimensional symmetric simple random walks, in which none of walkers have met others in a given time period, is called the vicious walker model. It was introduced by Michael Fisher and applications of the model to various wetting and melting phenomena were described in his Boltzmann medal lecture. In the present report, we explain interesting connections among representation theory, probability theory, and random matrix theory using this simple diffusion particle system. Each vicious walk of $N$ walkers is represented by an $N$-tuple of nonintersecting lattice paths on the spatio-temporal plane. There is established a simple bijection between nonintersecting lattice paths and semistandard Young tableaux. Based on this bijection and some knowledge of symmetric polynomials called the Schur functions, we can give a determinantal expression to the partition function of vicious walks, which is regarded as a special case of the Karlin-McGregor formula in the probability theory (or the Lindström-Gessel-Viennot formula in the enumerative combinatorics). Due to a basic property of Schur function, we can take the diffusion scaling limit of the vicious walks and define a noncolliding system of Brownian particles. This diffusion process solves the stochastic differential equations with the drift terms acting as the repulsive two-body forces proportional to the inverse of distances between particles, and thus it is identified with Dyson's Brownian motion model. In other words, the obtained noncolliding system of Brownian particles is equivalent in distribution with the eigenvalue process of a Hermitian matrix-valued process.

Young tableaux are ubiquitous in various branches of mathematics. There are two counting formulas for standard Young tableaux. The first involves a determinant and goes back to Frobenius and Young, and the second is the hook formula by Frame, Robinson and Thrall. We present a generalization of the determinant formula for semistandard Young tableaux of given shape and of given content. Our counting formula -- though not a determinant -- is a generalization of the determinant formula by Frobenius and Young.

We introduce notions of linear reduction and linear equivalence of bijections for the purposes of study bijections between Young tableaux. Originating in Theoretical Computer Science, these notions allow us to give a unified view of a number of classical bijections, and establish formal connections between them.

We study the hive model of gl(n) tensor products, following Knutson, Tao, and Woodward. We define a coboundary category where the tensor product is given by hives and where the associator and commutor are defined using a modified octahedron recurrence. We then prove that this category is equivalent to the category of crystals for the Lie algebra gl(n). The proof of this equivalence uses a new connection between the octahedron recurrence and the Jeu de Taquin and Schutzenberger involution procedures on Young tableaux.

We study subvarieties of the flag variety called Hessenberg varieties, defined by certain linear conditions. These subvarieties arise naturally in applications including geometric representation theory, number theory, and numerical analysis. We describe completely the homology of Hessenberg varieties over GL_n(C) and show that they have no odd-dimensional homology. We provide an explicit geometric construction which partitions each Hessenberg variety into pieces homeomorphic to affine space. We characterize these affine pieces by fillings of Young tableaux and show that the dimension of the affine piece can be computed by combinatorial rules generalizing the Eulerian numbers. We give an equivalent formulation of this result in terms of roots. We conclude with a section on open questions.

Our main result is a limit shape theorem for the two-dimensional surface defined by a uniform random n-by-n square Young tableau. The analysis leads to a calculus of variations minimization problem that resembles the minimization problems studied by Logan-Shepp, Vershik-Kerov, and Cohn-Larsen-Propp. Our solution involves methods from the theory of singular integral equations, and sheds light on the somewhat mysterious derivations in these works. An extension to rectangular diagrams, using the same ideas but involving some nontrivial computations, is also given. We give several applications of the main result. First, we show that the location of a particular entry in the tableau is in the limit governed by a semicircle distribution. Next, we derive a result on the length of the longest increasing subsequence in segments of a minimal Erdos-Szekeres permutation, namely a permutation of the numbers 1,2,...,n^2 whose longest monotone subsequence is of length n (and hence minimal by the Erdos-Szekeres theorem). Finally, we prove a limit shape theorem for the surface defined by a random plane partition of a very large integer over a large square (and more generally rectangular) diagram.