PeaksToValleys from DyckPath

The path with a valley wherever the original has a peak of height at least 2, each valley two lower than its peak.

DyckPath → DyckPathbijection

FindStat's Mp00222, the inverse of rowmotion on Dyck paths as order ideals of the triangular poset.

Called as CombinatorialMap(x, "PeaksToValleys"). 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 DyckPath. 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 HeightPeaksValleysDoubleRisesReturnsTouchPointCountInteriorReturnsHillsInitialRiseMajorIndexAreaCoareaLongestAscentLongestDescentDinvBounceBounceCountDinvDeficitBounceDeficitFirstComponentSemilengthDownStepHeightProductValleysAboveAxisOccurrencesOfDDUOccurrencesOfUUUOccurrencesOfUDUPeakHeightSumPeakHeightExcessPeakHeightSquareSumPeakHeightProductLastUpStepPositionFirstDownStepPositionLastDoubleRisePositionRisesOfLengthOneMinimalRiseRisesOfLengthAtLeastTwoUpStepsAtOddPositionsUpStepsAfterLastDoubleRiseDoubleRisePositionSumDoubleFallPositionSumMacMahonEqualIndexLogarithmicHeightFirstMaximalPeakPositionGlobalMaximaLargestAreaSequenceEntryUpStepsAtEvenPositionsUpperInteractionsPyramidWeightCenteredTunnelsLeftTunnelsNestedCenteredTunnelPairsNestedLeftTunnelPairsValleyTunnelSemilengthSumCenteredMultitunnelsRisesOfLengthTwoRisesOfLengthThreeRisesOfLengthAtLeastThreeRunsOfLengthOneRisesOfLengthOneAtOddHeightPeakRectangleAreaSumSkewHookPositionSumDownStepMajorIndexUpStepMajorIndexLongestZigzagBicoloredMotzkinHeightBicoloredMotzkinLevelStepsMinimalValleyHeightHillsOfSizeTwoHillsOfSizeThreeMinimalPeakHeightPeakLeftToRightMaximaWeakPeakLeftToRightMaximaBoxWeightMiddleNonRunHeightSymmetryDegreeParkingFunctionCountValleyPositionSumInteractionDifferenceNonFinalConstantRunsOfLengthAtLeastTwoLongTunnelsHalfMacMahonEqualIndexBoxesBelowOnePeakBoxesBelowAtLeastTwoPeaksDoubleStepVisiblePointsAreaAboveBouncePathWeaklyBelowDyckPathCountProperlyBelowDyckPathCountWeaklyAboveDyckPathCountProperlyAboveDyckPathCountWeaklyAboveLatticePathCountNorthStepOrderingCountThreeCatalanPathCountParallelogramPolyominoAreaParallelogramPolyominoNormalizedAreaParallelogramPolyominoMinimalColumnHeightParallelogramPolyominoMaximalColumnHeightParallelogramPolyominoInnerCornersParallelogramPolyominoUpperInnerCornersSetValuedTableauNaturalDescentsSetValuedTableauComajorIndexAdjointInvariantDescentsDiagonalStandardMonomialDegreeNoncrossingMergeableSingletonPairsNakayamaGlobalDimensionFirstSimpleProjectiveDimensionSimpleProjectiveDimensionSumSimpleProjectiveDimensionProductSimplesOfMaximalProjectiveDimensionSimplesOfProjectiveDimensionTwoSimplesOfProjectiveDimensionThreeSimplesOfProjectiveDimensionFourSimplesOfProjectiveDimensionAtMostTwoSimplesOfProjectiveDimensionAtMostThreeSimplesOfProjectiveDimensionAtMostFourSimplesOfEvenProjectiveDimensionSimplesOfMaximalEvenProjectiveDimensionHalfEvenSimpleProjectiveDimensionSumFirstSimpleOfMaximalProjectiveDimensionLastSimpleOfMaximalProjectiveDimensionPeaksMinusNakayamaGlobalDimensionInjectiveProjectiveDimensionSumInjectivesOfProjectiveDimensionOneInjectivesOfProjectiveDimensionAtMostOneInjectivesOfProjectiveDimensionAtMostTwoInjectivesOfMaximalProjectiveDimensionInjectivesOfProjectiveDimensionOneBelowMaximalInjectivesOfEvenProjectiveDimensionModulesOfMaximalProjectiveDimensionModulesOfProjectiveDimensionAtMostOneInjectivesOfProjectiveDimensionTwoModulesOfProjectiveDimensionTwoTwoDimensionalModulesOfProjectiveDimensionOneThreeDimensionalModulesOfProjectiveDimensionOneSecondToLastInjectiveProjectiveDimensionSimpleSummandsOfSecondRadicalLayerNakayamaDominantDimensionNakayamaGlobalMinusDominantDimensionPeaksMinusNakayamaDominantDimensionInjectivesOfCodominantDimensionEqualToGlobalDimensionInjectivesOfCodominantDimensionAtLeastTwoNonProjectiveInjectiveCodominantDimensionSumProjectiveMinusCodominantDimensionSumSimplesOfNonMaximalProjectiveDimensionNonProjectiveInjectiveProjectiveDimensionSpreadProjectivesOfMaximalInjectiveDimensionSimplesOfEqualProjectiveAndInjectiveDimensionModulesOfMaximalProjectiveAndInjectiveDimensionModulesOfProjectiveAndInjectiveDimensionAtMostOneModulesOfProjectiveOrInjectiveDimensionAtMostOneModulesOfProjectiveAndInjectiveDimensionAtLeastTwoMaximalSimpleProjectiveAndInjectiveDimensionSumMaximalModuleProjectiveAndInjectiveDimensionSumSimplesOfSmallInjectiveDimensionOrPositiveDominantDimensionSimplesOfDominantDimensionEqualToGlobalDimensionSimplesOfDominantDimensionAtLeastThreeMaximalSimpleDominantDimensionUnitIntervalGraphTwinVerticesNonProjectiveInjectiveToNonInjectiveProjectiveHomDimensionDualRegularModuleFirstExtensionDimensionRadicalEndomorphismDimensionRadicalSelfExtensionDimensionRadicalToSquaredRadicalExtensionDimensionSocleToRadicalExtensionDimensionRegularModuloSocleToRadicalExtensionDimensionMaximalFirstExtensionWithRegularModuleModulesOfVanishingFirstExtensionWithRegularModuleSimplesOfVanishingSecondExtensionWithRegularModuleMaximalSecondExtensionOfSimplesWithRegularModuleSimplesOfTwoDimensionalSecondExtensionWithRegularModuleInjectivesOfNonVanishingSecondExtensionWithRegularModuleInjectivesOfNonMaximalSocleProjectiveDimensionMinusProjectiveInjectivesSocleSimplesOfVanishingFirstExtensionWithRegularModule Sizes 1 to

FindStat Mp00222

peaks-to-valleys

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).

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

Return the path that has a valley wherever the original path has a peak of height at least one.

Object	Image
[1,0]	[1,0]
[1,0,1,0]	[1,1,0,0]
[1,1,0,0]	[1,0,1,0]
[1,0,1,0,1,0]	[1,1,1,0,0,0]

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