NoncrossingPermutation from DyckPath

The noncrossing permutation Stump's bijection gives the path: the cycles of its touch points, peeled off round by round.

DyckPath → Permutation

FindStat's Mp00023, Sage's to_noncrossing_permutation. Injective: its image is the noncrossing permutations. It sends the area to the number of inversions.

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

Live

Explore

Each element of DyckPath 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 DyckPath at each size is computed, and compared with the 171 statistics on DyckPath: those that share it are the ones the map sends it to, as far as the sizes computed show.

Statistic DescentsAscentsMajorIndexMinorIndexInversionsSignFixedPointsExcedancesWeakExcedancesAntiexcedancesDenertPeaksValleysLeftToRightMaximaLeftToRightMinimaRightToLeftMaximaRightToLeftMinimaFirstDescentFirstAscentLastDescentRunsDepthCyclicDescentsOccurrencesOf123OccurrencesOf132OccurrencesOf213StackSortableLongestRunLargestRunLengthCycleCountReflectionLengthLargestCycleLengthLongestCycleLengthDistinctCycleLengthsTwoCycleCountThreeCycleCountPermutationOrderPermutationSupportLongestIncreasingSubsequenceLongestDecreasingSubsequenceLeftOuterPeaksRightOuterPeaksOuterPeaksDoubleAscentsDoubleDescentsIsolatedDescentsBigAscentsBigDescentsDescentTopSumDescentBottomSumAscentTopSumAscentBottomSumComajorIndexNontrivialCyclesShortestCycleLengthConjugacyClassSizeWeakAntiexcedancesOccurrencesOf321OccurrencesOf312OccurrencesOf231NonLeftToRightMaximaExclusiveLeftToRightMaximaExclusiveRightToLeftMinimaNonRecordsNonInversionsInversionSumEvenInversionsOddInversionsInverseMajorIndexFirstEntryLastEntrySuccessionsAdjacenciesTwoRisesMaximalRiseSizeBigAscentsAfterPrependingZeroVeryBigAscentsVeryBigDescentsSmallExcedancesTwoExcedancesBigExcedancesDoubleExcedancesDoubleDeficienciesNestedExcedancesPureExcedancesGlobalAscentsGlobalDescentsDecompositionNumberCyclesOfLengthAtLeastThreeInversionsOfDistanceAtMostTwoNonInversionSumTotalDisplacementDescentDifferenceSumShiftedMajorIndexRecoilsDescentsOrRecoilsLeftToRightMaximaPositionSumArithmeticProgressionsOfLengthTwoOccurrencesOf1324OccurrencesOf2143OccurrencesOf4231OccurrencesOf2413OccurrencesOf1432OccurrencesOf21Dash3OccurrencesOf13Dash2OccurrencesOf12Dash3OccurrencesOf31Dash2OccurrencesOf23Dash1OccurrencesOf32Dash1OccurrencesOfInitial213OccurrencesOfInitial231OccurrencesOfInitial312OccurrencesOfInitial321OccurrencesOfInitial132OccurrencesOfInitial123OccurrencesOfInitial12Dash3OccurrencesOfInitial2Dash13OccurrencesOfInitial1Dash23OccurrencesOfConsecutive132OccurrencesOf3241OccurrencesOf4213OccurrencesOf123Or132OccurrencesOf213Or321OccurrencesOf132Or321OccurrencesOf132Or213Or321OccurrencesOf3241Or4231OccurrencesOf4132Or4231OccurrencesOf3412Or4231OccurrencesOf2143Or4213SmallWeakExcedancesNonSmallExcedancesNonSmallWeakExcedancesCyclicSmallExcedancesCyclicSmallWeakExcedancesNonCyclicSmallExcedancesNonCyclicSmallWeakExcedancesOccurrencesOf132Or231OccurrencesOf132Or213OccurrencesOf132Or312OccurrencesOf123Or231OccurrencesOf123Or213OccurrencesOf123Or321OccurrencesOf123Or312OccurrencesOf231Or312OccurrencesOf213Or312OccurrencesOf213Or231OccurrencesOf231Or321OccurrencesOf312Or321OccurrencesOf321Or3412OccurrencesOf52341OccurrencesOf41352Or42351Or51342Or52341ThreeExcedancesThreeRisesBigDeficienciesDescentsOfDistanceTwoAscentsOfDistanceTwoDoubleSuccessionsDescentsPlusRecoilsDescentsAndRecoilsOddDescentsEvenDescentsFinalRisesMidPointsOfOccurrencesOf321MidPointsOfOccurrencesOf123LeftToRightMaximaOrRightToLeftMinimaMajorIndexMinusInversionsInversionsPlusMajorIndexMajorIndexMinusExcedancesMaximalDisplacementValleysIncludingBoundaryMaximalExcedanceAdjacentCyclesStrongFixedPointsSortingIndexLoadCycleDescentsDescentsAfterZeroingFixedPointsMajorIndexAfterZeroingFixedPointsElizaldePakRankDisorderCyclesOfLengthAtMostTwoCyclesOfLengthAtMostThreeInversionsOfDistanceAtMostThreeFirstDirectSummandSizeLargestDirectSummandSizeStretchingPairsInversionIndexTotalSquaredDisplacementLeftToRightMaximaXorRightToLeftMinimaMaximalSuccessiveDifferenceMajorIndexPlusInverseMajorIndexTierRaftsWeakExcedanceMidPointsOfOccurrencesOf321NonWeakExcedanceMidPointsOfOccurrencesOf321TwoShiftedMajorIndexThreeShiftedMajorIndexPinnacleSumAugmentedDoubleAscentsAlternatingRunsUpDownRunsNonInitialLeftToRightMinimaRightFloatsRightRopesRightTethersMinimalJumpMaximalJumpCyclicMaximalJumpNeighboringNumberDistinctDiagonalSumsMaximalDiagonalOccupancyDescentsOfDistanceThreeRepeatedLehmerCodeEntriesAdjacenciesWithZeroAppendedSmallestFixedPointLargestWeakExcedancePositionFixedPointsBeforeLargestMovedPointAscentTopsWithSmallerValuesBeforeDescentsOfTypeTwoLongestSuccessionRunMaximalModularDisplacementAdjacentTranspositionsCyclicallyAdjacentTranspositionsBondsCyclicBondsCrossingsNestingsAlignmentsCyclicValleysCyclePeaksNonOverlappingDescentsVisibleInversionsInvisibleInversionsPrefixSumProductOneBoxPatternsMaximumOfDescentsAndInverseDescentsInvisibleDescentsVisibleDescentsGreaterNeighborOfMaximumInversionsOfThirdEntryInversionsOfSecondEntrySumOfDistancesToGreaterElementNormalizedSumOfDistancesToGreaterElementHalfParityMismatchesDescentWeightMinusInversionsReducedWordSupportPermutationCosineMakMadMaklBabsonSteingrimssonStatisticUlamDistanceEvenWeakDeficienciesAndOddWeakExcedancesVerticalSeparatorsCyclicAlignmentsCyclicMisalignmentsCyclicCrossingsRestrictedNonInversionsBetweenExcedancesInversionsBetweenExcedancesWithLinkedGreaterRestrictedNonInversionsBetweenExcedancesWithLinkedRightmostInversionsBetweenExcedancesAndFixedPointsUpperMiddleEntryLowerMiddleEntryConvexityProperBlocksHertzsprungOccurrencesOf132PositionsOfLetterOneIn123PositionsOfLetterOneIn132PositionsOfLetterTwoIn213PositionsOfLetterThreeIn132OccurrencesOf14Dash2Dash3Or14Dash3Dash2InversionsOfCyclicEmbeddingShareshianWachsAdmissibleInversionsAdmissibleInversionsPlusDescentsAdmissibleInversionsLargestGreatestCommonDivisorOfPositionAndValueMaximalCycleDifferenceLongestKOneTwoPatternSmallestLeafLabelLongestIncreasingSubsequenceCountPrimeColumnSumsPrimeProductsMinusOnePrimeProductsPlusOneLongestArithmeticProgressionDiaconisGrahamDefectInterpolatingPolynomialDegreeMinimalCycleDifferenceNonFixedPointsLargestSearchTreeLeafLabelNormalizedLeafLabelSumDescentsMinusOneUnlessFirstEntryOnePermutationBreadthBoxedOccurrencesOf123BoxedOccurrencesOf132BinStatisticNonNegativeWalkStepsCycleMinimumExceedancesDeficienciesSeparatorsOverlapSetSizeExteriorLengthSimsunDoubleDescentsSymmetryClassSizePermutationGenusPermutationBounceLexicographicRankNonAttackingNeighborsStaircaseSizeOfCodeBruhatLowerCoversTailPairsOfOccurrencesOf321StandardizedBiAlternatingInversionNumberMinimalInversionsEitherDirectionBabsonSteingrimssonStatisticPrimeBabsonSteingrimssonStatisticDoublePrimeHagHalfPermanentOfIdentityPlusPermutationHookFactorizationPrefixLengthHookFactorInversionsPermutationTreeHeightFixedPointMajorIndexRecursiveEndMaximumCountRecursiveStartMinimumCountSmallerChildPathLeafLabelScaledReciprocalPositionValueSum Sizes 1 to

FindStat Mp00023

to non-crossing permutation

Matched by value: our map agrees with FindStat's image on each of the 196 rows of size at most 6 we can read (0 unread; its table has 1200 rows).

InjectionGraded mapas FindStat records them, checked by FindStat's contributors.

Sends a Dyck path $D$ with valley at positions $\{(i_1,j_1),\ldots,(i_k,j_k)\}$ to the unique non-crossing permutation $\pi$ having descents $\{i_1,\ldots,i_k\}$ and whose inverse has descents $\{j_1,\ldots,j_k\}$.

Object	Image
[1,0]	[1]
[1,0,1,0]	[1,2]
[1,1,0,0]	[2,1]
[1,0,1,0,1,0]	[1,2,3]

Data from FindStat, the combinatorial statistic finder; the page at findstat.org/Mp00023 has the rest.