KrewerasComplement from Permutation

π⁻¹c with the long cycle c = (1 2 ... n), FindStat's order: position i holds c(π⁻¹(i)).

Permutation → Permutationbijection

Total, a bijection of S_n; it restricts to the classical Kreweras complement of the non-crossing permutations (those below c in absolute order), mapping NC(n) onto itself. K∘K is conjugation by c.

Called as CombinatorialMap(x, "KrewerasComplement"). 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

Also from

The same name out of other carriers, each its own implementation: SignedPermutation.

FindStat Mp00088

Kreweras complement

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

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

Sends the permutation $\pi \in \mathfrak{S}_n$ to the permutation $\pi^{-1}c$ where $c = (1,\ldots,n)$ is the long cycle.

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

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