Investigation of properties of equivalence classes of permutations by inverse Robinson — Schensted — Knuth transformation

2019 ◽  
pp. 11-22
Author(s):  
N. N. Vassiliev ◽  
V. S. Duzhin ◽  
A. D. Kuzmin
Keyword(s):  
Software Package ◽  
Numerical Experiments ◽  
Young Tableau ◽  
Infinite Sequence ◽  
Equivalence Classes ◽  
Young Tableaux ◽  
Young Diagrams ◽  
C Programming ◽  
Set Of Permutations ◽  
Knuth Equivalence

Introduction:All information about a permutation, i.e. about an element of a symmetric groupS(n), is contained in a pair of Young tableaux mapped to it by RSK transformation. However, when considering an infinite sequence of natural or real numbers instead of a permutation, all information about it is contained only in an insertion infinite Young tableau. The connection between the first element of an infinite sequence of uniformly distributed random values and the limit angle of the recording tableau nerve was found in a recent work by D. Romik and P. Śniady. However, so far there were no massive numerical experiments devoted to the reconstruction of the beginning of such a sequence by the beginning of an insertion Young tableau. The reconstruction accuracy is very important, because even the value of the first element of a sequence can be determined only by an infinite tableau.Purpose:Developing a software package for operations on Young diagrams and Young tableaux, and its application for numerical experiments with large Young tableaux. Studying the properties of Knuth equivalence classes and dual Knuth equivalence classes on a set of permutations by numerical experiments using direct and inverse RSK transformation.Results:A software package is developed using the C ++ programming language. It includes functions for dealing with Young diagrams and tableaux. The dependence of values of the first element of a permutation obtained by inverse RSK transformation on the recording tableau nerve end coordinates was investigated by conducting massive numerical experiments. Standard deviations of these values were calculated for permutations of different sizes. We determined possible positions of 1 in permutations of the same Knuth equivalence class. It has been found out that the number of these positions does not exceed the number of corner boxes of the corresponding Young diagram. Experiments showed that for a fixed insertion tableau, the value of the first element of a permutation depends only on the recording tableau nerve end coordinates.

scholarly journals The Combinatorics of Orbital Varieties Closures of Nilpotent Order 2 in sl${}_n$

10.37236/1918 ◽  
2005 ◽  
Vol 12 (1) ◽  
Author(s):  
Anna Melnikov
Keyword(s):  
Symmetric Group ◽  
Linear Algebra ◽  
Young Tableau ◽  
Dominance Order ◽  
Young Tableaux ◽  
Young Diagrams ◽  
Special Linear ◽  
A Chain ◽  
Standard Young Tableaux ◽  
Right Order

We consider two partial orders on the set of standard Young tableaux. The first one is induced to this set from the weak right order on symmetric group by Robinson-Schensted algorithm. The second one is induced to it from the dominance order on Young diagrams by considering a Young tableau as a chain of Young diagrams. We prove that these two orders of completely different nature coincide on the subset of Young tableaux with 2 columns or with 2 rows. This fact has very interesting geometric implications for orbital varieties of nilpotent order 2 in special linear algebra $sl_n.$

scholarly journals Investigation of insertion tableau evolution in the Robinson-Schensted-Knuth correspondence

2019 ◽  
Vol 27 (4) ◽  
pp. 316-324
Author(s):  
Vasilii S. Duzhin
Keyword(s):  
Software Package ◽  
Ordered Set ◽  
Input Sequence ◽  
Computer Experiments ◽  
Young Tableaux ◽  
Young Diagrams ◽  
Rsk Algorithm ◽  
2D And 3D ◽  
Linearly Ordered Set

Robinson-Schensted-Knuth (RSK) correspondence occurs in different contexts of algebra and combinatorics. Recently, this topic has been actively investigated by many researchers. At the same time, many investigations require conducting the computer experiments involving very large Young tableaux. The article is devoted to such experiments. RSK algorithm establishes a bijection between sequences of elements of linearly ordered set and the pairs of Young tableaux of the same shape called insertion tableau and recording tableau . In this paper we study the dynamics of tableau and the dynamics of different concrete values in tableau during the iterations of RSK algorithm. Particularly, we examine the paths within tableaux called bumping routes along which the elements of an input sequence pass. The results of computer experiments with Young tableaux of sizes up to 108 were presented. These experiments were made using the software package for dealing with 2D and 3D Young diagrams and tableaux.

scholarly journals Search for Young diagrams with large dimensions

2019 ◽  
pp. 33-43
Author(s):  
Vasilii S. Duzhin ◽  
◽  
Anastasia A. Chudnovskaya ◽  
Keyword(s):  
Symmetric Group ◽  
Young Diagram ◽  
Numerical Experiments ◽  
Irreducible Representations ◽  
Young Diagrams ◽  
Maximum Dimension ◽  
Asymptotic Combinatorics

Search for Young diagrams with maximum dimensions or, equivalently, search for irreducible representations of the symmetric group $S(n)$ with maximum dimensions is an important problem of asymptotic combinatorics. In this paper, we propose algorithms that transform a Young diagram into another one of the same size but with a larger dimension. As a result of massive numerical experiments, the sequence of $10^6$ Young diagrams with large dimensions was constructed. Furthermore, the proposed algorithms do not change the first 1000 elements of this sequence. This may indicate that most of them have the maximum dimension. It has been found that the dimensions of all Young diagrams of the resulting sequence starting from the 75778th exceed the dimensions of corresponding diagrams of the greedy Plancherel sequence.

scholarly journals Enumeration of Standard Young Tableaux of Shifted Strips with Constant Width

10.37236/6466 ◽  
2017 ◽  
Vol 24 (2) ◽  
Author(s):  
Ping Sun
Keyword(s):  
Integral Method ◽  
Recurrence Relations ◽  
Young Tableau ◽  
Constant Width ◽  
Young Tableaux ◽  
Pell Number ◽  
Standard Young Tableaux ◽  
Standard Young Tableau

Let $g_{n_1,n_2}$ be the number of standard Young tableau of truncated shifted shape with $n_1$ rows and $n_2$ boxes in each row. By using the integral method this paper derives the recurrence relations of $g_{3,n}$, $g_{n,4}$ and $g_{n,5}$ respectively. Specifically, $g_{n,4}$ is the $(2n-1)$-st Pell number.

scholarly journals Combinatorics of Tableau Inversions

10.37236/4932 ◽  
2015 ◽  
Vol 22 (2) ◽  
Author(s):  
Jonathan E. Beagley ◽  
Paul Drube
Keyword(s):  
Betti Number ◽  
Young Tableau ◽  
Betti Numbers ◽  
Young Tableaux ◽  
Standard Tableau ◽  
Specific Standard ◽  
Different Shapes ◽  
Springer Fibers ◽  
Standard Young Tableau ◽  
Fixed Standard

A tableau inversion is a pair of entries in row-standard tableau $T$ that lie in the same column of $T$ yet lack the appropriate relative ordering to make $T$ column-standard.  An $i$-inverted Young tableau is a row-standard tableau along with precisely $i$ inversion pairs. Tableau inversions were originally introduced by Fresse to calculate the Betti numbers of Springer fibers in Type A, with the number of $i$-inverted tableaux that standardize to a fixed standard Young tableau corresponding to a specific Betti number of the associated fiber. In this paper we approach the topic of tableau inversions from a completely combinatorial perspective. We develop formulas enumerating the number of $i$-inverted Young tableaux for a variety of tableaux shapes, not restricting ourselves to inverted tableau that standardize a specific standard Young tableau, and construct bijections between $i$-inverted Young tableaux of a certain shape with $j$-inverted Young tableaux of different shapes. Finally, we share some the results of a computer program developed to calculate tableaux inversions.

scholarly journals Inversions of Semistandard Young Tableaux

10.37236/5469 ◽  
2016 ◽  
Vol 23 (1) ◽  
Author(s):  
Paul Drube
Keyword(s):  
Young Tableau ◽  
Betti Numbers ◽  
Young Tableaux ◽  
Closed Formula ◽  
General Shape ◽  
Combinatorial Objects ◽  
Standard Tableau ◽  
Specific Shape ◽  
Springer Fibers ◽  
Standard Young Tableaux

A tableau inversion is a pair of entries from the same column of a row-standard tableau that lack the relative ordering necessary to make the tableau column-standard. An $i$-inverted Young tableau is a row-standard tableau with precisely $i$ inversion pairs, and may be interpreted as a generalization of (column-standard) Young tableaux. Inverted Young tableaux that lack repeated entries were introduced by Fresse to calculate the Betti numbers of Springer fibers in Type A, and were later developed as combinatorial objects in their own right by Beagley and Drube. This paper generalizes earlier notions of tableau inversions to row-standard tableaux with repeated entries, yielding an interesting new generalization of semistandard (as opposed to merely standard) Young tableaux. We develop a closed formula for the maximum numbers of inversion pairs for a row-standard tableau with a specific shape and content, and show that the number of $i$-inverted tableaux of a given shape is invariant under permutation of content. We then enumerate $i$-inverted Young tableaux for a variety of shapes and contents, and generalize an earlier result that places $1$-inverted Young tableaux of a general shape in bijection with $0$-inverted Young tableaux of a variety of related shapes.

A Numerical Study of Crash Optimization

1999 ◽  
Author(s):  
R. J. Yang ◽  
C. H. Tho ◽  
C. C. Wu ◽  
D. Johnson ◽  
J. Cheng
Keyword(s):  
Software Package ◽  
Numerical Experiments ◽  
Optimization Problem ◽  
Numerical Study ◽  
Surface Method ◽  
Gradient Based ◽  
Nonlinear Transient ◽  
Commercial Software Package ◽  
Crash Model ◽  
Single Objective

Abstract In this paper, numerical crash optimization was performed and studied. Three design optimization approaches: gradient-based, DOE/Penalty/Gradient-based, and DOE/Penalty/Response Surface Method, were employed to solve a front rail crash optimization problem using two single-objective formulations. An in-house explicit code FCRASH was used for solving the nonlinear, transient crash problem. The optimization process was carried out using a commercial software package, iSIGHT from Engineous Software Inc. A front rail crash model was used as the benchmark to demonstrate those approaches. Based on the numerical experiments, a simple, viable, and relatively efficient approach is proposed.

scholarly journals Beyond Alternating Permutations: Pattern Avoidance in Young Diagrams and Tableaux

10.37236/3246 ◽  
2013 ◽  
Vol 20 (4) ◽  
Author(s):  
Nihal Gowravaram ◽  
Ravi Jagadeesan
Keyword(s):  
Pattern Avoidance ◽  
General Context ◽  
Young Tableaux ◽  
Young Diagrams ◽  
Alternating Permutations ◽  
Equivalence Type ◽  
Shape Equivalence ◽  
Pattern Avoiding Permutations ◽  
Wilf Equivalence

We investigate pattern avoidance in alternating permutations and generalizations thereof. First, we study pattern avoidance in an alternating analogue of Young diagrams. In particular, we extend Babson-West's notion of shape-Wilf equivalence to apply to alternating permutations and so generalize results of Backelin-West-Xin and Ouchterlony to alternating permutations. Second, we study pattern avoidance in the more general context of permutations with restricted ascents and descents. We consider a question of Lewis regarding permutations that are the reading words of thickened staircase Young tableaux, that is, permutations that have $k-1$ ascents followed by a descent, followed by $k-1$ ascents, et cetera. We determine the relative sizes of the sets of pattern-avoiding $(k-1)$-ascent permutations in terms of the forbidden pattern. Furthermore, inequalities in the sizes of sets of pattern-avoiding permutations in this context arise from further extensions of shape-equivalence type enumerations. This paper is the first of a two-paper series presenting the work of Beyond alternating permutations: Pattern avoidance in Young diagrams and tableaux (arXiv:1301.6796v1). The second in the series is Ascent-descent Young diagrams and pattern avoidance in alternating permutations (by the second author, submitted).

scholarly journals On the Parity of Certain Coefficients for a $q$-Analogue of the Catalan Numbers

10.37236/2313 ◽  
2012 ◽  
Vol 19 (4) ◽  
Author(s):  
Kendra Killpatrick
Keyword(s):  
Equivalence Classes ◽  
Catalan Numbers ◽  
Major Index ◽  
Powers Of 2 ◽  
Set Of Permutations ◽  
Adic Valuation ◽  
Permutation Statistic ◽  
Wilf Equivalence

The 2-adic valuation (highest power of 2) dividing the well-known Catalan numbers, $C_n$, has been completely determined by Alter and Kubota and further studied combinatorially by Deutsch and Sagan.  In particular, it is well known that $C_n$ is odd if and only if $n = 2^k-1$ for some $k \geq 0$.  The polynomial $F_n^{ch}(321;q) = \sum_{\sigma \in Av_n(321)} q^{ch(\sigma)}$, where $Av_n(321)$ is the set of permutations in $S_n$ that avoid 321 and $ch$ is the charge statistic, is a $q$-analogue of the Catalan numbers since specializing $q=1$ gives $C_n$.  We prove that the coefficient of $q^i$ in $F_{2^k-1}^{ch}(321;q)$ is even if $i \geq 1$, giving a refinement of the "if" direction of the $C_n$ parity result.  Furthermore, we use a bijection between the charge statistic and the major index to prove a conjecture of Dokos, Dwyer, Johnson, Sagan and Selsor regarding powers of 2 and the major index.    In addition, Sagan and Savage have recently defined a notion of $st$-Wilf equivalence for any permutation statistic $st$ and any two sets of permutations $\Pi$ and $\Pi'$.  We say $\Pi$ and $\Pi'$ are $st$-Wilf equivalent if $\sum_{\sigma \in Av_n(\Pi)} q^{st(\sigma)} = \sum_{\sigma \in Av_n(\Pi')} q^{st(\sigma)}$.  In this paper we show how one can characterize the charge-Wilf equivalence classes for subsets of $S_3$.

scholarly journals Generating Functions for Inverted Semistandard Young Tableaux and Generalized Ballot Numbers

10.37236/6376 ◽  
2017 ◽  
Vol 24 (2) ◽  
Author(s):  
Paul Drube
Keyword(s):  
Generating Function ◽  
Generating Functions ◽  
Young Tableau ◽  
Young Tableaux ◽  
Dyck Paths ◽  
Standard Tableau ◽  
Ballot Numbers ◽  
Standard Young Tableaux

An inverted semistandard Young tableau is a row-standard tableau along with a collection of inversion pairs that quantify how far the tableau is from being column semistandard. Such a tableau with precisely $k$ inversion pairs is said to be a $k$-inverted semistandard Young tableau. Building upon earlier work by Fresse and the author, this paper develops generating functions for the numbers of $k$-inverted semistandard Young tableaux of various shapes $\lambda$ and contents $\mu$. An easily-calculable generating function is given for the number of $k$-inverted semistandard Young tableaux that "standardize" to a fixed semistandard Young tableau. For $m$-row shapes $\lambda$ and standard content $\mu$, the total number of $k$-inverted standard Young tableaux of shape $\lambda$ is then enumerated by relating such tableaux to $m$-dimensional generalizations of Dyck paths and counting the numbers of "returns to ground" in those paths. In the rectangular specialization of $\lambda = n^m$ this yields a generating function that involves $m$-dimensional analogues of the famed Ballot numbers. Our various results are then used to directly enumerate all $k$-inverted semistandard Young tableaux with arbitrary content and two-row shape $\lambda = a^1 b^1$, as well as all $k$-inverted standard Young tableaux with two-column shape $\lambda=2^n$.

Sign in / Sign up

Export Citation Format

Share Document