Skip to content

BerkovichGarvanRank ​

The sum of a checkerboard filling of the diagram, +1 on cells whose coordinates sum to an even number and -1 on the others.

✓ checked against that system · ! checked, with disagreements (hover a chip)FindStatSt001383via IntegerPartition✓
BerkovichGarvanRank(partition)The sum of a checkerboard filling of the diagram, +1 on cells whose coordinates sum to an even number and -1 on the others.
Typed signatures
TypePackageApplies
(integer_partition) -> numbercombinatoricsalways

Domain: Partition statistics

Details
  • Defined over IntegerPartition as an expression in _x, evaluated by compute-engine — the definition IS the implementation.
  • Takes a IntegerPartition and nothing else — it reads values against their positions, or walks the orbits, so it needs the bijection. Applying it to a bare list is a type error, not a wrong answer.
  • A row of even length cancels and one of odd length leaves a single cell, counted + in the first row, - in the second, and so on.

Definition

Epsil, as the implementation runs it.

on IntegerPartition, over _x

0 if Length(_x) < 1 else Sum(Map(Function((1 if i % 2 == 1 else -1) *
                                          (_x[i] % 2), i), Range(1, Length(_x))))

Examples

Basic #

the partition 4+2+14 + 2 + 1 of 77

live ↗
InBerkovichGarvanRank(IntegerPartition⁡([4,2,1]))\mathrm{BerkovichGarvanRank}({\operatorname{IntegerPartition}}([4, 2, 1]))Out11

the partition 3+3+13 + 3 + 1 of 77

live ↗
InBerkovichGarvanRank(IntegerPartition⁡([3,3,1]))\mathrm{BerkovichGarvanRank}({\operatorname{IntegerPartition}}([3, 3, 1]))Out11
Properties #

FindStat's value for [1]

live ↗
InCombinatorialStat(IntegerPartition⁡([1]),BerkovichGarvanRank)\mathrm{CombinatorialStat}({\operatorname{IntegerPartition}}([1]), \text{BerkovichGarvanRank})Out11

Known value · FindStat St001383

FindStat's value for [2]

live ↗
InCombinatorialStat(IntegerPartition⁡([2]),BerkovichGarvanRank)\mathrm{CombinatorialStat}({\operatorname{IntegerPartition}}([2]), \text{BerkovichGarvanRank})Out00

Known value · FindStat St001383

FindStat's value for [3]

live ↗
InCombinatorialStat(IntegerPartition⁡([3]),BerkovichGarvanRank)\mathrm{CombinatorialStat}({\operatorname{IntegerPartition}}([3]), \text{BerkovichGarvanRank})Out11

Known value · FindStat St001383

About
Examples5
CrosswalkFindStat