KnuthClassRepresentative from Permutation

The row reading word of σ's RSK insertion tableau — the canonical word of its Knuth (plactic) class.

Permutation → Permutationidempotent

Two permutations are Knuth-equivalent exactly when they share an insertion tableau (Schensted), so reading that tableau back out — bottom row to top, left to right — picks one fixed representative per class. Idempotent: the representative's own insertion tableau is the same P, so applying this again changes nothing.

Called as CombinatorialMap(x, "KnuthClassRepresentative"). The head's page has its examples.

Live

Explore

Each element of Permutation at a size, and its image, applied in your browser; sizes past 7 are not offered.

Size

Properties

Sizes 1 to

Transport a statistic

Pick a statistic on Permutation. Its distribution over the images of Permutation at each size is computed, and compared with the 323 statistics on Permutation: those that share it are the ones the map sends it to, as far as the sizes computed show.

Statistic DescentsAscentsMajorIndexMinorIndexInversionsSignFixedPointsExcedancesWeakExcedancesAntiexcedancesDenertPeaksValleysLeftToRightMaximaLeftToRightMinimaRightToLeftMaximaRightToLeftMinimaFirstDescentFirstAscentLastDescentRunsDepthCyclicDescentsOccurrencesOf123OccurrencesOf132OccurrencesOf213StackSortableLongestRunLargestRunLengthCycleCountReflectionLengthLargestCycleLengthLongestCycleLengthDistinctCycleLengthsTwoCycleCountThreeCycleCountPermutationOrderPermutationSupportLongestIncreasingSubsequenceLongestDecreasingSubsequenceLeftOuterPeaksRightOuterPeaksOuterPeaksDoubleAscentsDoubleDescentsIsolatedDescentsBigAscentsBigDescentsDescentTopSumDescentBottomSumAscentTopSumAscentBottomSumComajorIndexNontrivialCyclesShortestCycleLengthConjugacyClassSizeWeakAntiexcedancesOccurrencesOf321OccurrencesOf312OccurrencesOf231NonLeftToRightMaximaExclusiveLeftToRightMaximaExclusiveRightToLeftMinimaNonRecordsNonInversionsInversionSumEvenInversionsOddInversionsInverseMajorIndexFirstEntryLastEntrySuccessionsAdjacenciesTwoRisesMaximalRiseSizeBigAscentsAfterPrependingZeroVeryBigAscentsVeryBigDescentsSmallExcedancesTwoExcedancesBigExcedancesDoubleExcedancesDoubleDeficienciesNestedExcedancesPureExcedancesGlobalAscentsGlobalDescentsDecompositionNumberCyclesOfLengthAtLeastThreeInversionsOfDistanceAtMostTwoNonInversionSumTotalDisplacementDescentDifferenceSumShiftedMajorIndexRecoilsDescentsOrRecoilsLeftToRightMaximaPositionSumArithmeticProgressionsOfLengthTwoOccurrencesOf1324OccurrencesOf2143OccurrencesOf4231OccurrencesOf2413OccurrencesOf1432OccurrencesOf21Dash3OccurrencesOf13Dash2OccurrencesOf12Dash3OccurrencesOf31Dash2OccurrencesOf23Dash1OccurrencesOf32Dash1OccurrencesOfInitial213OccurrencesOfInitial231OccurrencesOfInitial312OccurrencesOfInitial321OccurrencesOfInitial132OccurrencesOfInitial123OccurrencesOfInitial12Dash3OccurrencesOfInitial2Dash13OccurrencesOfInitial1Dash23OccurrencesOfConsecutive132OccurrencesOf3241OccurrencesOf4213OccurrencesOf123Or132OccurrencesOf213Or321OccurrencesOf132Or321OccurrencesOf132Or213Or321OccurrencesOf3241Or4231OccurrencesOf4132Or4231OccurrencesOf3412Or4231OccurrencesOf2143Or4213SmallWeakExcedancesNonSmallExcedancesNonSmallWeakExcedancesCyclicSmallExcedancesCyclicSmallWeakExcedancesNonCyclicSmallExcedancesNonCyclicSmallWeakExcedancesOccurrencesOf132Or231OccurrencesOf132Or213OccurrencesOf132Or312OccurrencesOf123Or231OccurrencesOf123Or213OccurrencesOf123Or321OccurrencesOf123Or312OccurrencesOf231Or312OccurrencesOf213Or312OccurrencesOf213Or231OccurrencesOf231Or321OccurrencesOf312Or321OccurrencesOf321Or3412OccurrencesOf52341OccurrencesOf41352Or42351Or51342Or52341ThreeExcedancesThreeRisesBigDeficienciesDescentsOfDistanceTwoAscentsOfDistanceTwoDoubleSuccessionsDescentsPlusRecoilsDescentsAndRecoilsOddDescentsEvenDescentsFinalRisesMidPointsOfOccurrencesOf321MidPointsOfOccurrencesOf123LeftToRightMaximaOrRightToLeftMinimaMajorIndexMinusInversionsInversionsPlusMajorIndexMajorIndexMinusExcedancesMaximalDisplacementValleysIncludingBoundaryMaximalExcedanceAdjacentCyclesStrongFixedPointsSortingIndexLoadCycleDescentsDescentsAfterZeroingFixedPointsMajorIndexAfterZeroingFixedPointsElizaldePakRankDisorderCyclesOfLengthAtMostTwoCyclesOfLengthAtMostThreeInversionsOfDistanceAtMostThreeFirstDirectSummandSizeLargestDirectSummandSizeStretchingPairsInversionIndexTotalSquaredDisplacementLeftToRightMaximaXorRightToLeftMinimaMaximalSuccessiveDifferenceMajorIndexPlusInverseMajorIndexTierRaftsWeakExcedanceMidPointsOfOccurrencesOf321NonWeakExcedanceMidPointsOfOccurrencesOf321TwoShiftedMajorIndexThreeShiftedMajorIndexPinnacleSumAugmentedDoubleAscentsAlternatingRunsUpDownRunsNonInitialLeftToRightMinimaRightFloatsRightRopesRightTethersMinimalJumpMaximalJumpCyclicMaximalJumpNeighboringNumberDistinctDiagonalSumsMaximalDiagonalOccupancyDescentsOfDistanceThreeRepeatedLehmerCodeEntriesAdjacenciesWithZeroAppendedSmallestFixedPointLargestWeakExcedancePositionFixedPointsBeforeLargestMovedPointAscentTopsWithSmallerValuesBeforeDescentsOfTypeTwoLongestSuccessionRunMaximalModularDisplacementAdjacentTranspositionsCyclicallyAdjacentTranspositionsBondsCyclicBondsCrossingsNestingsAlignmentsCyclicValleysCyclePeaksNonOverlappingDescentsVisibleInversionsInvisibleInversionsPrefixSumProductOneBoxPatternsMaximumOfDescentsAndInverseDescentsInvisibleDescentsVisibleDescentsGreaterNeighborOfMaximumInversionsOfThirdEntryInversionsOfSecondEntrySumOfDistancesToGreaterElementNormalizedSumOfDistancesToGreaterElementHalfParityMismatchesDescentWeightMinusInversionsReducedWordSupportPermutationCosineMakMadMaklBabsonSteingrimssonStatisticUlamDistanceEvenWeakDeficienciesAndOddWeakExcedancesVerticalSeparatorsCyclicAlignmentsCyclicMisalignmentsCyclicCrossingsRestrictedNonInversionsBetweenExcedancesInversionsBetweenExcedancesWithLinkedGreaterRestrictedNonInversionsBetweenExcedancesWithLinkedRightmostInversionsBetweenExcedancesAndFixedPointsUpperMiddleEntryLowerMiddleEntryConvexityProperBlocksHertzsprungOccurrencesOf132PositionsOfLetterOneIn123PositionsOfLetterOneIn132PositionsOfLetterTwoIn213PositionsOfLetterThreeIn132OccurrencesOf14Dash2Dash3Or14Dash3Dash2InversionsOfCyclicEmbeddingShareshianWachsAdmissibleInversionsAdmissibleInversionsPlusDescentsAdmissibleInversionsLargestGreatestCommonDivisorOfPositionAndValueMaximalCycleDifferenceLongestKOneTwoPatternSmallestLeafLabelLongestIncreasingSubsequenceCountPrimeColumnSumsPrimeProductsMinusOnePrimeProductsPlusOneLongestArithmeticProgressionDiaconisGrahamDefectInterpolatingPolynomialDegreeMinimalCycleDifferenceNonFixedPointsLargestSearchTreeLeafLabelNormalizedLeafLabelSumDescentsMinusOneUnlessFirstEntryOnePermutationBreadthBoxedOccurrencesOf123BoxedOccurrencesOf132BinStatisticNonNegativeWalkStepsCycleMinimumExceedancesDeficienciesSeparatorsOverlapSetSizeExteriorLengthSimsunDoubleDescentsSymmetryClassSizePermutationGenusPermutationBounceLexicographicRankNonAttackingNeighborsStaircaseSizeOfCodeBruhatLowerCoversTailPairsOfOccurrencesOf321StandardizedBiAlternatingInversionNumberMinimalInversionsEitherDirectionBabsonSteingrimssonStatisticPrimeBabsonSteingrimssonStatisticDoublePrimeHagHalfPermanentOfIdentityPlusPermutationHookFactorizationPrefixLengthHookFactorInversionsPermutationTreeHeightFixedPointMajorIndexRecursiveEndMaximumCountRecursiveStartMinimumCountSmallerChildPathLeafLabelScaledReciprocalPositionValueSum Sizes 1 to