cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A321729 Number of integer partitions of n whose Young diagram can be partitioned into vertical sections of the same sizes as the parts of the original partition.

This page as a plain text file.
%I A321729 #10 Jan 05 2021 21:34:18
%S A321729 1,1,1,2,3,4,6,8,12,16,22,28,40,51
%N A321729 Number of integer partitions of n whose Young diagram can be partitioned into vertical sections of the same sizes as the parts of the original partition.
%C A321729 First differs from A046682 at a(11) = 28, A046682(11) = 29.
%C A321729 A vertical section is a partial Young diagram with at most one square in each row. For example, a suitable partition (shown as a coloring by positive integers) of the Young diagram of (322) is:
%C A321729   1 2 3
%C A321729   1 2
%C A321729   2 3
%C A321729 Conjecture: a(n) is the number of half-loop-graphical partitions of n. An integer partition is half-loop-graphical if it comprises the multiset of vertex-degrees of some graph with half-loops, where a half-loop is an edge with one vertex, to be distinguished from a full loop, which has two equal vertices.
%F A321729 a(n) is the number of integer partitions y of n such that the coefficient of m(y) in e(y) is nonzero, where m is monomial symmetric functions and e is elementary symmetric functions.
%F A321729 a(n) = A000041(n) - A321728(n).
%e A321729 The a(1) = 1 through a(8) = 12 partitions whose Young diagram cannot be partitioned into vertical sections of the same sizes as the parts of the original partition are the same as the half-loop-graphical partitions up to n = 8:
%e A321729   (1)  (11)  (21)   (22)    (221)    (222)     (322)      (332)
%e A321729              (111)  (211)   (311)    (321)     (2221)     (2222)
%e A321729                     (1111)  (2111)   (2211)    (3211)     (3221)
%e A321729                             (11111)  (3111)    (4111)     (3311)
%e A321729                                      (21111)   (22111)    (4211)
%e A321729                                      (111111)  (31111)    (22211)
%e A321729                                                (211111)   (32111)
%e A321729                                                (1111111)  (41111)
%e A321729                                                           (221111)
%e A321729                                                           (311111)
%e A321729                                                           (2111111)
%e A321729                                                           (11111111)
%e A321729 For example, the half-loop-graphs
%e A321729   {{1},{1,2},{1,3},{2,3}}
%e A321729   {{1},{2},{3},{1,2},{1,3}}
%e A321729 both have degrees y = (3,2,2), so y is counted under a(7).
%t A321729 spsu[_,{}]:={{}};spsu[foo_,set:{i_,___}]:=Join@@Function[s,Prepend[#,s]&/@spsu[Select[foo,Complement[#,Complement[set,s]]=={}&],Complement[set,s]]]/@Cases[foo,{i,___}];
%t A321729 ptnpos[y_]:=Position[Table[1,{#}]&/@y,1];
%t A321729 ptnverts[y_]:=Select[Join@@Table[Subsets[ptnpos[y],{k}],{k,Reverse[Union[y]]}],UnsameQ@@First/@#&];
%t A321729 Table[Length[Select[IntegerPartitions[n],Length[Select[spsu[ptnverts[#],ptnpos[#]],Function[p,Sort[Length/@p]==Sort[#]]]]>0&]],{n,8}]
%Y A321729 The complement is counted by A321728.
%Y A321729 Cf. A000110, A000258, A000700, A000701, A006052, A007016, A008277, A046682, A319056, A319616, A321730, A321737, A321738.
%Y A321729 The following pertain to the conjecture.
%Y A321729 Half-loop-graphical partitions by length are A029889 or A339843 (covering).
%Y A321729 The version for full loops is A339656.
%Y A321729 A027187 counts partitions of even length, ranked by A028260.
%Y A321729 A058696 counts partitions of even numbers, ranked by A300061.
%Y A321729 A320663/A339888 count unlabeled multiset partitions into singletons/pairs.
%Y A321729 A322661 counts labeled covering half-loop-graphs, ranked by A340018/A340019.
%Y A321729 A339659 is a triangle counting graphical partitions by length.
%Y A321729 Cf. A006129, A025065, A062740, A095268, A096373, A167171, A320461, A338915, A339842, A339844, A339845.
%K A321729 nonn,more
%O A321729 0,4
%A A321729 _Gus Wiseman_, Nov 18 2018