TransposePartition from IntegerPartition

The conjugate partition: column i of the Ferrers diagram becomes row i.

IntegerPartition → IntegerPartitioninvolution

Entry i of the result counts the parts that are at least i, so it is its own inverse and swaps the number of parts with the largest part. Combinatorica's TransposePartition; FindStat's Mp00044, "conjugate". Wolfram's Conjugate is the complex conjugate, not this map.

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

Live

Explore

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

Statistic LargestPartMultiplicityOfLargestPartDistinctPartsEvenPartsOddPartsPartsEqualOnePartsAtLeastTwoConjugateOddPartsConjugateDistinctPartsDurfeeSquareArmOfFirstCellLegOfFirstCellCornersHalfPerimeterIsSelfConjugateSumOfHookLengthsHookProductStandardTableauCountDysonRankCrankHookLengthOfFirstCellHookLengthOfLastDiagonalCellDiagonalHookLengthProductSymmetricDiagonalHooksCellsOutsideDurfeeSquareFirstRowHookLengthSumHookLengthSquareSumCohookLengthProductDiagonalInversionsDiagonalInversionDefectCellsWithEqualArmAndLegLargestRepeatedPartMultiplicityOfSmallestPartFlooredHalfMultiplicitySumDistinctRepeatedPartsSingletonPartsDistinctMultiplicitiesLargestMultiplicityPartsEqualToMultiplicityDistinctPartsEqualToMultiplicityWeightedSizeAddableCellsPartsExceedingOnesContentSumLargestStaircaseSideContainingSquareSideCellsOutsideLargestStaircaseAftSmallestMissingPartPairwiseProductSumPartRangeContainingRectangleShortSideMaximalRectangleHalfPerimeterLargestShiftedPartRemovableHorizontalDominoesCellsOutsideFirstRowCellsOutsideFirstHookRowCellPairsCellsWithZeroLegAndOddArmCornerMajorIndexPartProductPartSquareSumPartFactorialProductMultiplicityFactorialProductSumOfEvenPartsSumOfOddPartsSumOfPartsAtLeastTwoGreatestCommonDivisorOfPartsLeastCommonMultipleOfPartsPairwiseGreatestCommonDivisorSumLargestEvenPartEvenOddCrankOddPartsBelowLargestEvenPartDistinctEvenPartsBerkovichGarvanRankPartsEqualToNextPartLargestMissingPartSmallestNonRepeatedIntegerDistinctSubsetSumsDistinctEvenSubsetSumsDistinctOddSubsetSumsPartsNotCongruentToTwoModuloThreePartsNotCongruentToZeroModuloThreePartsNotCongruentToOneModuloThreePartsEqualTwoHalfSumOfEvenPartsHalfLargestEvenPartDistinctOddPartsBelowLargestEvenPartPartSquareProductMultinomialOfPartsExponensConsonantiaeCyclicSievingPolynomialDegreeGiniIndexInterlacingPartitionCountMinimalSubpartitionSizeDifferenceAlladiWeightSecondAlladiWeightCentralizerSizeConjugacyClassSizeSetPartitionsWithBlockSizesCountKrewerasNumberInvariantSubsetCountInvariantTwoElementSubsetCountInvariantThreeElementSubsetCountEdgeOrbitCountElementarySymmetricFunctionAtOneSubsetGreatestCommonDivisorSumSemistandardTableauCountWithEntriesUpToTwoSemistandardTableauCountWithEntriesUpToThreeSemistandardTableauCountWithEntriesUpToFourSemistandardTableauCountWithEntriesUpToLengthSemistandardTableauCountWithEntriesUpToSizePlancherelCountCubedStandardTableauCountShiftedStandardTableauCountTwiceMeanMajorIndexOfStandardTableauxTwelveTimesMajorIndexVarianceOfStandardTableauxPairsOfDistinctPartsDiagonalArmSumRimHooksRemovedToTwoCoreRimHooksRemovedToThreeCoreMultipartitionCountPartRearrangementCountLagrangeInversionCoefficientLogarithmicDerivativeCoefficientStarTranspositionFactorizationCountTransitiveMonotoneFactorizationCountSymplecticDimensionRankTwoSymplecticDimensionRankThreeBorderSkewStandardTableauCountSubpartitionCountSameLengthSubpartitionCountYoungLatticeCoveringRelationCountPartCountLengthCrankSeaweedAlgebraDimensionCartanDeterminantRookPlacementCountMaximalRookPlacementCountShorterSideRookPlacementCountNecklaceCountBraceletCountBulgarianSolitairePreimageCountInvariantOrientedCycleCountSmirnovWordCountStandardTableauCountWithMajorIndexCongruentToOneModuloSizeUpperCoverCountInDominanceOrderLowerCoverCountInDominanceOrderInvariantGraphCountCompleteHomogeneousSymmetricFunctionAtOnePowerSumSymmetricFunctionAtOneCubeRootCountDominatedPartitionCountBulgarianSolitaireOrbitSizeBulgarianSolitairePreperiodPartitionSizeCouplesAreForeverGrundyValueRowRemovalGrundyValueOrderedRefinementCountRefinementCountCoarseningCountSingletonRefinementCountHurwitzNumberMonotoneHurwitzNumberNonDominatingSubmultisetCount Sizes 1 to

FindStat Mp00044

conjugate

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

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

Return the conjugate partition of the partition.

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

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