A352521 -id:A352521 - cp's OEIS frontend

A238349 Triangle T(n,k) read by rows: T(n,k) is the number of compositions of n with k parts p at position p (fixed points), n>=0, 0<=k<=n.

1, 0, 1, 1, 1, 0, 2, 1, 1, 0, 3, 4, 1, 0, 0, 6, 7, 3, 0, 0, 0, 11, 16, 4, 1, 0, 0, 0, 22, 29, 12, 1, 0, 0, 0, 0, 42, 60, 23, 3, 0, 0, 0, 0, 0, 82, 120, 47, 7, 0, 0, 0, 0, 0, 0, 161, 238, 100, 12, 1, 0, 0, 0, 0, 0, 0, 316, 479, 198, 30, 1, 0, 0, 0, 0, 0, 0, 0, 624, 956, 404, 61, 3, 0, 0, 0, 0, 0, 0, 0, 0, 1235, 1910, 818, 126, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0

Offset: 0

Joerg Arndt and Alois P. Heinz, Feb 25 2014

T(n*(n+3)/2,n) = A227682(n).
From Vaclav Kotesovec, Sep 07 2014: (Start)
In general, column k is asymptotic to c(k) * 2^n. The constants c(k) numerically:
c(0) = 0.144394047543301210639449860964615390044455952420342... = A048651/2
c(1) = 0.231997216225445223894202367545783700531838988546098... = c(0)*A065442
c(2) = 0.104261929557371534733906196116707679501974368826074...
c(3) = 0.017956317806894073430249112172514186063327165575720...
c(4) = 0.001343254222922697613125145839110293324517874530073...
c(5) = 0.000046459767012163920051487037952792359225887287888...
c(6) = 0.000000768651747857094917953943327540619110335556499...
c(7) = 0.000000006200599904985793344094393321042983316604040...
c(8) = 0.000000000024656652167851516076173236693314090168122...
c(9) = 0.000000000000048633746319332356416193899916110113745...
c(10)= 0.000000000000000047750743608910618576944191079881479...
c(20)= 1.05217230403079700467566...*10^(-63)
For big k is c(k) ~ m * 2^(-k*(k+1)/2), where m = 1/(4*c(0)) = 1/(2*A048651) = 1.7313733097275318...
(End)

			Triangle starts:
00:  1,
01:  0, 1,
02:  1, 1, 0,
03:  2, 1, 1, 0,
04:  3, 4, 1, 0, 0,
05:  6, 7, 3, 0, 0, 0,
06:  11, 16, 4, 1, 0, 0, 0,
07:  22, 29, 12, 1, 0, 0, 0, 0,
08:  42, 60, 23, 3, 0, 0, 0, 0, 0,
09:  82, 120, 47, 7, 0, 0, 0, 0, 0, 0,
10:  161, 238, 100, 12, 1, 0, 0, 0, 0, 0, 0,
11:  316, 479, 198, 30, 1, 0, 0, 0, 0, 0, 0, 0,
12:  624, 956, 404, 61, 3, 0, 0, 0, 0, 0, 0, 0, 0,
13:  1235, 1910, 818, 126, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0,
14:  2449, 3817, 1652, 258, 16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
15:  4864, 7633, 3319, 537, 30, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
...
From _Gus Wiseman_, Apr 03 2022: (Start)
Row n = 5 counts the following compositions (empty columns indicated by dots):
  (5)     (14)     (113)   .  .  .
  (23)    (32)     (122)
  (41)    (131)    (1211)
  (212)   (221)
  (311)   (1112)
  (2111)  (1121)
          (11111)
(End)

M. Archibald, A. Blecher and A. Knopfmacher, Fixed points in compositions and words, accepted by the Journal of Integer Sequences.

Joerg Arndt and Alois P. Heinz, Table of n, a(n) for n = 0..10010 (rows 0..140, flattened)
M. Archibald, A. Blecher, and A. Knopfmacher, Fixed Points in Compositions and Words, J. Int. Seq., Vol. 23 (2020), Article 20.11.1.

Row sums are A011782.
Columns k=0-10 give: A238351, A240736, A240737, A240738, A240739, A240740, A240741, A240742, A240743, A240744, A240745.
The version for permutations is A008290.
The version with all zeros removed is A238350.
The version for reversed partitions is A238352.
The corresponding rank statistic is A352512, nonfixed A352513.
The version for nonfixed points is A352523, A352520 (k=1).
Below: comps = compositions, first = column k=0, stat = rank statistic.
- A352521 counts comps by strong nonexcedances, first A219282, stat A352514.
- A352522 counts comps by weak nonexcedances, first A238874, stat A352515.
- A352524 counts comps by strong excedances, first A008930, stat A352516.
- A352525 counts comps by weak excedances, A177510 (k=1), stat A352517.
Cf. A008292, A088218, A098825, A227682, A352487.

b:= proc(n, i) option remember; `if`(n=0, 1, expand(
       add(b(n-j, i+1)*`if`(i=j, x, 1), j=1..n)))
    end:
T:= n-> (p-> seq(coeff(p, x, i), i=0..n))(b(n, 1)):
seq(T(n), n=0..15);

b[n_, i_] := b[n, i] = If[n == 0, 1, Expand[Sum[b[n-j, i+1]*If[i == j, x, 1], {j, 1, n}]]]; T[n_] := Function[{p}, Table[Coefficient[p, x, i], {i, 0, n}]][b[n, 1]]; Table[T[n], {n, 0, 15}] // Flatten (* Jean-François Alcover, Jan 06 2015, after Alois P. Heinz *)
pq[y_]:=Length[Select[Range[Length[y]],#==y[[#]]&]];
Table[Length[Select[Join@@Permutations/@IntegerPartitions[n],pq[#]==k&]],{n,0,9},{k,0,n}] (* Gus Wiseman, Apr 03 2022 *)

A114088 Triangle read by rows: T(n,k) is number of partitions of n whose tail below its Durfee square has k parts (n >= 1; 0 <= k <= n-1).

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2, 2, 1, 1, 1, 3, 3, 2, 1, 1, 1, 3, 4, 3, 2, 1, 1, 1, 4, 5, 5, 3, 2, 1, 1, 1, 5, 6, 6, 5, 3, 2, 1, 1, 1, 6, 8, 8, 7, 5, 3, 2, 1, 1, 1, 7, 10, 10, 9, 7, 5, 3, 2, 1, 1, 1, 9, 13, 13, 12, 10, 7, 5, 3, 2, 1, 1, 1, 10, 16, 17, 15, 13, 10, 7, 5, 3, 2, 1, 1, 1, 12, 20, 22, 20, 17

Offset: 1

Emeric Deutsch, Feb 12 2006

From Gus Wiseman, May 21 2022: (Start)
Also the number of integer partitions of n with k parts below the diagonal. For example, the partition (3,2,2,1) has two parts (at positions 3 and 4) below the diagonal (1,2,3,4). Row n = 8 counts the following partitions:
  8    71    611    5111    41111    311111   2111111   11111111
  44   332   2222   22211   221111
  53   422   3221   32111
  62   431   3311
       521   4211
Indices of parts below the diagonal are also called strong nonexcedances.
(End)

			T(7,2)=3 because we have [5,1,1], [3,2,1,1] and [2,2,2,1] (the bottom tails are [1,1], [1,1] and [2,1], respectively).
Triangle starts:
  1;
  1, 1;
  1, 1, 1;
  2, 1, 1, 1;
  2, 2, 1, 1, 1;
  3, 3, 2, 1, 1, 1;
  3, 4, 3, 2, 1, 1, 1;

G. E. Andrews, The Theory of Partitions, Addison-Wesley, 1976 (pp. 27-28).
G. E. Andrews and K. Eriksson, Integer Partitions, Cambridge Univ. Press, 2004 (pp. 75-78).

John Tyler Rascoe, Rows n = 1..140, flattened
Findstat, St000183: The side length of the Durfee square of an integer partition

Cf. A114087, A114089, A115995, A116365.
Row sums: A000041.
Column k = 0: A003114.
Weak opposite: A115994.
Permutations: A173018, weak A123125.
Ordered: A352521, rank stat A352514, weak A352522.
Opposite ordered: A352524, first col A008930, rank stat A352516.
Weak opposite ordered: A352525, first col A177510, rank stat A352517.
Weak: A353315.
Opposite: A353318.
A000700 counts self-conjugate partitions, ranked by A088902.
A115720 counts partitions by Durfee square, rank stat A257990.
A352490 gives the (strong) nonexcedance set of A122111, counted by A000701.
Cf. A002620, A006918, A219282, A238352, A238874, A325039, A330644, A352487.

g:=sum(z^(k^2)/product((1-z^j)*(1-t*z^j),j=1..k),k=1..20): gserz:=simplify(series(g,z=0,30)): for n from 1 to 14 do P[n]:=coeff(gserz,z^n) od: for n from 1 to 14 do seq(coeff(t*P[n],t^j),j=1..n) od; # yields sequence in triangular form

subdiags[y_]:=Length[Select[Range[Length[y]],#>y[[#]]&]];
Table[Length[Select[IntegerPartitions[n],subdiags[#]==k&]],{n,1,15},{k,0,n-1}] (* Gus Wiseman, May 21 2022 *)

T_qt(max_row) = {my(N=max_row+1, q='q+O('q^N), h = sum(k=1,N, q^(k^2)/prod(j=1,k, (1-q^j)*(1-t*q^j))) ); for(i=1, N-1, print(Vecrev(polcoef(h, i))))}
T_qt(10) \\ John Tyler Rascoe, Oct 24 2024

G.f. = Sum_{k>=1} q^(k^2) / Product_{j=1..k} (1 - q^j)*(1 - t*q^j).

Sum_{k=0..n-1} k*T(n,k) = A114089(n).

A352523 Number of integer compositions of n with exactly k nonfixed points (parts not on the diagonal).

Original entry on oeis.org

1, 1, 0, 0, 2, 0, 1, 1, 2, 0, 0, 4, 2, 2, 0, 0, 5, 5, 4, 2, 0, 1, 3, 12, 8, 6, 2, 0, 0, 7, 14, 19, 14, 8, 2, 0, 0, 8, 21, 33, 32, 22, 10, 2, 0, 0, 9, 30, 54, 63, 54, 32, 12, 2, 0, 1, 6, 47, 80, 116, 116, 86, 44, 14, 2, 0, 0, 11, 53, 129, 194, 229, 202, 130, 58, 16, 2, 0

Offset: 0

Gus Wiseman, Mar 26 2022

A nonfixed point in a composition c is an index i such that c_i != i.

			Triangle begins:
   1
   1   0
   0   2   0
   1   1   2   0
   0   4   2   2   0
   0   5   5   4   2   0
   1   3  12   8   6   2   0
   0   7  14  19  14   8   2   0
   0   8  21  33  32  22  10   2   0
   0   9  30  54  63  54  32  12   2   0
   1   6  47  80 116 116  86  44  14   2   0
   ...
For example, row n = 6 counts the following compositions (empty column indicated by dot):
  (123)  (6)   (24)    (231)    (2112)   (21111)    .
         (15)  (33)    (312)    (2121)   (111111)
         (42)  (51)    (411)    (3111)
               (114)   (1113)   (11112)
               (132)   (1122)   (11121)
               (141)   (1311)   (11211)
               (213)   (2211)
               (222)   (12111)
               (321)
               (1131)
               (1212)
               (1221)

John Tyler Rascoe, Rows n = 0..130, flattened

Column k = 0 is A010054.
Row sums are A011782.
The version for permutations is A098825.
The corresponding rank statistic is A352513.
Column k = 1 is A352520.
A238349 and A238350 count comps by fixed points, first col A238351, rank stat A352512.
A352486 gives the nonfixed points of A122111, counted by A330644.
A352521 counts comps by strong nonexcedances, first A219282, stat A352514.
A352522 counts comps by weak nonexcedances, first col A238874, stat A352515.
A352524 counts comps by strong excedances, first col A008930, stat A352516.
A352525 counts comps by weak excedances, first col A177510, stat A352517.
Cf. A000700, A064428, A088218, A114088, A115994, A123125, A173018, A238352.

b:= proc(n, i) option remember; expand(`if`(n=0, 1,
      add(`if`(i=j, 1, x)*b(n-j, i+1), j=1..n)))
    end:
T:= n-> (p-> seq(coeff(p, x, i), i=0..n))(b(n, 1)):
seq(T(n), n=0..12);  # Alois P. Heinz, Mar 19 2025

pnq[y_]:=Length[Select[Range[Length[y]],#!=y[[#]]&]];
Table[Length[Select[Join@@Permutations/@IntegerPartitions[n],pnq[#]==k&]],{n,0,9},{k,0,n}]

T_xy(max_row) = {my(N=max_row+1, x='x+O('x^N), h= sum(i=0, N, prod(j=1, i, y*(x/(1-x)-x^j)+x^j))); vector(N, n, my(r=Vecrev(polcoeff(h, n-1))); if(n<2, r, concat(r,[0])))}
T_xy(10) \\ John Tyler Rascoe, Mar 21 2025

G.f.: Sum_{i>=0} Product_{j=1..i} y*(x/(1-x) - x^j) + x^j. - John Tyler Rascoe, Mar 19 2025

A352512 Number of fixed points in the n-th composition in standard order.

Original entry on oeis.org

0, 1, 0, 1, 0, 0, 2, 1, 0, 0, 1, 0, 1, 2, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 1, 2, 2, 2, 1, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 3, 2, 2, 2, 1, 2, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 2, 1, 1

Offset: 0

Gus Wiseman, Mar 26 2022

nonn

The k-th composition in standard order (graded reverse-lexicographic, A066099) is obtained by taking the set of positions of 1's in the reversed binary expansion of k, prepending 0, taking first differences, and reversing again. This gives a bijective correspondence between nonnegative integers and integer compositions. See also A000120, A059893, A070939, A114994, A225620.

A fixed point of composition c is an index i such that c_i = i.

			The 169th composition in standard order is (2,2,3,1), with fixed points {2,3}, so a(169) = 2.

The version counting permutations is A008290, unfixed A098825.
The triangular version is A238349, first column A238351.
Unfixed points are counted by A352513, triangle A352523, first A352520.
A011782 counts compositions.
A088902 gives the fixed points of A122111, counted by A000700.
A352521 counts comps by strong nonexcedances, first A219282, stat A352514.
A352522 counts comps by weak nonexcedances, first col A238874, stat A352515.
A352524 counts comps by strong excedances, first col A008930, stat A352516.
A352525 counts comps by weak excedances, first col A177510, stat A352517.
Cf. A088218, A114088, A115994, A238352, A330644, A350841, A352486.

stc[n_]:=Differences[Prepend[Join@@ Position[Reverse[IntegerDigits[n,2]],1],0]]//Reverse;
pq[y_]:=Length[Select[Range[Length[y]],#==y[[#]]&]];
Table[pq[stc[n]],{n,0,100}]

A000120(n) = A352512(n) + A352513(n).

A352525 Irregular triangle read by rows where T(n,k) is the number of integer compositions of n with k weak excedances (parts on or above the diagonal), all zeros removed.

Original entry on oeis.org

1, 1, 2, 3, 1, 5, 3, 8, 8, 14, 17, 1, 25, 35, 4, 46, 70, 12, 87, 137, 32, 167, 268, 76, 1, 324, 525, 170, 5, 634, 1030, 367, 17, 1248, 2026, 773, 49, 2466, 3999, 1598, 129, 4887, 7914, 3267, 315, 1, 9706, 15695, 6631, 730, 6, 19308, 31181, 13393, 1631, 23

Offset: 0

Gus Wiseman, Mar 22 2022

			Triangle begins:
     1
     1
     2
     3     1
     5     3
     8     8
    14    17     1
    25    35     4
    46    70    12
    87   137    32
   167   268    76     1
   324   525   170     5
For example, row n = 6 counts the following compositions:
  (6)       (15)     (123)
  (51)      (24)
  (312)     (33)
  (411)     (42)
  (1113)    (114)
  (1122)    (132)
  (2112)    (141)
  (2121)    (213)
  (3111)    (222)
  (11112)   (231)
  (11121)   (321)
  (11211)   (1131)
  (21111)   (1212)
  (111111)  (1221)
            (1311)
            (2211)
            (12111)

Andrew Howroyd, Table of n, a(n) for n = 0..2489 (rows 0..200)
MathOverflow, Why 'excedances' of permutations? [closed].

Row sums are A011782.
The version for partitions is A115994.
The version for permutations is A123125, strong A173018.
Column k = 1 is A177510.
The corresponding rank statistic is A352517.
The strong opposite is A352521, first col A219282, rank statistic A352514.
The opposite version is A352522, first col A238874, rank statistic A352515.
The strong version is A352524, first column A008930, rank statistic A352516.
A008292 is the triangle of Eulerian numbers (version without zeros).
A238349 counts comps by fixed points, first col A238351, rank stat A352512.
A352489 lists the weak excedance set of A122111.
A352523 counts comps by unfixed points, first A352520, rank stat A352513.
Cf. A088218, A098825, A114088, A238352, A319005, A350839, A352488.

pdw[y_]:=Length[Select[Range[Length[y]],#<=y[[#]]&]];
DeleteCases[Table[Length[Select[Join@@ Permutations/@IntegerPartitions[n],pdw[#]==k&]],{n,0,10},{k,0,n}],0,{2}]

T(n)={my(v=vector(n+1, i, i==1), r=v); for(k=1, n, v=vector(#v, j, sum(i=1, j-1, if(k<=i,x,1)*v[j-i])); r+=v); r[1]=x; [Vecrev(p) | p<-r/x]}
{ my(A=T(10)); for(i=1, #A, print(A[i])) } \\ Andrew Howroyd, Jan 19 2023

A352513 Number of nonfixed points in the n-th composition in standard order.

Original entry on oeis.org

0, 0, 1, 1, 1, 2, 0, 2, 1, 2, 1, 3, 1, 1, 2, 3, 1, 2, 1, 3, 2, 2, 3, 4, 1, 2, 1, 2, 1, 3, 3, 4, 1, 2, 1, 3, 2, 2, 3, 4, 2, 3, 2, 3, 2, 4, 4, 5, 1, 2, 2, 3, 0, 2, 2, 3, 2, 2, 3, 4, 3, 4, 4, 5, 1, 2, 1, 3, 2, 2, 3, 4, 2, 3, 2, 3, 2, 4, 4, 5, 2, 3, 3, 4, 1, 3, 3

Offset: 0

Gus Wiseman, Mar 27 2022

nonn

The k-th composition in standard order (graded reverse-lexicographic, A066099) is obtained by taking the set of positions of 1's in the reversed binary expansion of k, prepending 0, taking first differences, and reversing again. This gives a bijective correspondence between nonnegative integers and integer compositions. See also A000120, A059893, A070939, A114994, A225620.

A nonfixed point in a composition c is an index i such that c_i != i.

			The 169th composition in standard order is (2,2,3,1), with nonfixed points {1,4}, so a(169) = 2.

The version counting permutations is A098825, fixed A008290.
Fixed points are counted by A352512, triangle A238349, first A238351.
The triangular version is A352523, first nontrivial column A352520.
A011782 counts compositions.
A352486 gives the nonfixed points of A122111, counted by A330644.
A352521 counts comps by strong nonexcedances, first A219282, stat A352514.
A352522 counts comps by weak nonexcedances, first col A238874, stat A352515.
A352524 counts comps by strong excedances, first col A008930, stat A352516.
A352525 counts comps by weak excedances, first col A177510, stat A352517.
Cf. A000700, A088218, A088902, A114088, A115994, A238352, A350841.

stc[n_]:=Differences[Prepend[Join@@ Position[Reverse[IntegerDigits[n,2]],1],0]]//Reverse;
pnq[y_]:=Length[Select[Range[Length[y]],#!=y[[#]]&]];
Table[pnq[stc[n]],{n,0,100}]

A000120(n) = A352512(n) + A352513(n).

A352522 Triangle read by rows where T(n,k) is the number of integer compositions of n with k weak nonexcedances (parts on or below the diagonal).

Original entry on oeis.org

1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 3, 1, 2, 1, 2, 3, 4, 3, 3, 1, 3, 4, 8, 6, 6, 4, 1, 4, 7, 12, 13, 12, 10, 5, 1, 5, 13, 16, 26, 24, 22, 15, 6, 1, 7, 19, 27, 43, 48, 46, 37, 21, 7, 1, 10, 26, 47, 68, 90, 93, 83, 58, 28, 8, 1, 14, 36, 77, 109, 159, 180, 176, 141

Offset: 0

Gus Wiseman, Mar 22 2022

			Triangle begins:
   1
   0   1
   1   0   1
   1   1   1   1
   1   3   1   2   1
   2   3   4   3   3   1
   3   4   8   6   6   4   1
   4   7  12  13  12  10   5   1
   5  13  16  26  24  22  15   6   1
   7  19  27  43  48  46  37  21   7   1
  10  26  47  68  90  93  83  58  28   8   1
For example, row n = 6 counts the following compositions:
  (6)   (15)   (114)  (123)   (1113)   (11112)  (111111)
  (24)  (42)   (132)  (1311)  (1122)   (11121)
  (33)  (51)   (141)  (2112)  (1131)   (11211)
        (231)  (213)  (2121)  (1212)   (12111)
               (222)  (2211)  (1221)
               (312)  (3111)  (21111)
               (321)
               (411)

Andrew Howroyd, Table of n, a(n) for n = 0..1325 (rows 0..50)
MathOverflow, Why 'excedances' of permutations? [closed].

Row sums are A011782.
The strong version for partitions is A114088.
The opposite version for partitions is A115994.
The version for permutations is A123125, strong A173018.
Column k = 0 is A238874.
The corresponding rank statistic is A352515.
The strong version is A352521, first column A219282, rank statistic A352514.
The strong opposite is A352524, first col A008930, rank statistic A352516.
The opposite version is A352525, first col A177510, rank statistic A352517.
A000041 counts integer partitions, strict A000009.
A008292 is the triangle of Eulerian numbers (version without zeros).
A238349 counts comps by fixed points, first col A238351, rank stat A352512.
A352488 lists the weak nonexcedance set of A122111.
A352523 counts comps by unfixed points, first A352520, rank stat A352513.
Cf. A088218, A098825, A238352, A352489.

pw[y_]:=Length[Select[Range[Length[y]],#>=y[[#]]&]];
Table[Length[Select[Join@@Permutations/@IntegerPartitions[n],pw[#]==k&]],{n,0,15},{k,0,n}]

T(n)={my(v=vector(n+1, i, i==1), r=v); for(k=1, n, v=vector(#v, j, sum(i=1, j-1, if(k>=i,x,1)*v[j-i])); r+=v); [Vecrev(p) | p<-r]}
{ my(A=T(10)); for(i=1, #A, print(A[i])) } \\ Andrew Howroyd, Jan 19 2023

A352524 Irregular triangle read by rows where T(n,k) is the number of integer compositions of n with k excedances (parts above the diagonal), all zeros removed.

Original entry on oeis.org

1, 1, 1, 1, 2, 2, 3, 5, 6, 9, 1, 11, 18, 3, 21, 35, 8, 41, 67, 20, 80, 131, 44, 1, 157, 257, 94, 4, 310, 505, 197, 12, 614, 996, 406, 32, 1218, 1973, 825, 80, 2421, 3915, 1669, 186, 1, 4819, 7781, 3364, 415, 5, 9602, 15486, 6762, 901, 17, 19147, 30855, 13567, 1918, 49

Offset: 0

Gus Wiseman, Mar 22 2022

			Triangle begins:
     1
     1
     1     1
     2     2
     3     5
     6     9     1
    11    18     3
    21    35     8
    41    67    20
    80   131    44     1
   157   257    94     4
   310   505   197    12
   614   996   406    32
For example, row n = 5 counts the following compositions:
  (113)    (5)     (23)
  (122)    (14)
  (1112)   (32)
  (1121)   (41)
  (1211)   (131)
  (11111)  (212)
           (221)
           (311)
           (2111)

Andrew Howroyd, Table of n, a(n) for n = 0..2507 (rows 0..200)
MathOverflow, Why 'excedances' of permutations? [closed].

The version for permutations is A008292, weak A123125.
Column k = 0 is A008930.
Row sums are A011782.
The opposite version for partitions is A114088.
The weak version for partitions is A115994.
Column k = 1 is A351983.
The corresponding rank statistic is A352516.
The opposite version is A352521, first col A219282, rank statistic A352514.
The weak opposite version is A352522, first col A238874, rank stat A352515.
The weak version is A352525, first col (k = 1) A177510, rank stat A352517.
A238349 counts comps by fixed points, first col A238351, rank stat A352512.
A352487 lists the excedance set of A122111, opposite A352490.
A352523 counts comps by unfixed points, first A352520, rank stat A352513.
Cf. A088218, A098825, A238352, A350839.

pd[y_]:=Length[Select[Range[Length[y]],#

S(v,u)={vector(#v, k, sum(i=1, k-1, v[k-i]*u[i]))}
T(n)={my(v=vector(1+n), s); v[1]=1; s=v; for(i=1, n, v=S(v, vector(n, j, if(j>i,'x,1))); s+=v); [Vecrev(p) | p<-s]}
{ my(A=T(12)); for(n=1, #A, print(A[n])) } \\ Andrew Howroyd, Jan 02 2023

A352833 Irregular triangle read by rows where T(n,k) is the number of integer partitions of n with k fixed points, k = 0, 1.

Original entry on oeis.org

1, 0, 0, 1, 1, 1, 2, 1, 3, 2, 4, 3, 6, 5, 8, 7, 12, 10, 16, 14, 23, 19, 30, 26, 42, 35, 54, 47, 73, 62, 94, 82, 124, 107, 158, 139, 206, 179, 260, 230, 334, 293, 420, 372, 532, 470, 664, 591, 835, 740, 1034, 924, 1288, 1148, 1588, 1422, 1962, 1756, 2404, 2161

Offset: 0

Gus Wiseman, Apr 08 2022

A fixed point of a sequence y is an index y(i) = i. A fixed point of a partition is unique if it exists, so all columns k > 1 are zeros.
Conjecture:
(1) This is A064428 interleaved with A001522.
(2) Reversing rows gives A300788, the strict version of A300787.

			Triangle begins:
  0: {1,0}
  1: {0,1}
  2: {1,1}
  3: {2,1}
  4: {3,2}
  5: {4,3}
  6: {6,5}
  7: {8,7}
  8: {12,10}
  9: {16,14}
For example, row n = 7 counts the following partitions:
  (7)       (52)
  (61)      (421)
  (511)     (322)
  (43)      (3211)
  (4111)    (2221)
  (331)     (22111)
  (31111)   (1111111)
  (211111)

Row sums are A000041.
The version for permutations is A008290, for nonfixed points A098825.
The columns appear to be A064428 and A001522.
The version counting strong nonexcedances is A114088.
The version for compositions is A238349, rank statistic A352512.
The version for reversed partitions is A238352.
Reversing rows appears to give A300788, the strict case of A300787.
A000700 counts self-conjugate partitions, ranked by A088902.
A115720 and A115994 count partitions by their Durfee square.
A330644 counts non-self-conjugate partitions, ranked by A352486.
Cf. A000701, A219282, A257990, A350839, A352513, A352521-A352525.

pq[y_]:=Length[Select[Range[Length[y]],#==y[[#]]&]];
Table[Length[Select[IntegerPartitions[n],pq[#]==k&]],{n,0,15},{k,0,1}]

A352490 Nonexcedance set of A122111. Numbers k > A122111(k), where A122111 represents partition conjugation using Heinz numbers.

Original entry on oeis.org

4, 8, 12, 16, 18, 24, 27, 32, 36, 40, 48, 50, 54, 60, 64, 72, 80, 81, 90, 96, 100, 108, 112, 120, 128, 135, 140, 144, 150, 160, 162, 168, 180, 192, 196, 200, 216, 224, 225, 240, 243, 250, 252, 256, 270, 280, 288, 300, 315, 320, 324, 336, 352, 360, 375, 378

Offset: 1

Gus Wiseman, Mar 20 2022

nonn

The Heinz number of a partition (y_1,...,y_k) is prime(y_1)*...*prime(y_k). The sequence lists all Heinz numbers of partitions whose Heinz number is greater than that of their conjugate.

			The terms together with their prime indices begin:
    4: (1,1)
    8: (1,1,1)
   12: (2,1,1)
   16: (1,1,1,1)
   18: (2,2,1)
   24: (2,1,1,1)
   27: (2,2,2)
   32: (1,1,1,1,1)
   36: (2,2,1,1)
   40: (3,1,1,1)
   48: (2,1,1,1,1)
   50: (3,3,1)
   54: (2,2,2,1)
   60: (3,2,1,1)
   64: (1,1,1,1,1,1)
For example, the partition (4,4,1,1) has Heinz number 196 and its conjugate (4,2,2,2) has Heinz number 189, and 196 > 189, so 196 is in the sequence, and 189 is not.

Alois P. Heinz, Table of n, a(n) for n = 1..2000
Richard Ehrenborg and Einar Steingrímsson, The Excedance Set of a Permutation, Advances in Applied Mathematics 24, (2000), 284-299.
MathOverflow, Why 'excedances' of permutations? [closed].

These partitions are counted by A000701.
The opposite version is A352487, weak A352489.
The weak version is A352488, counted by A046682.
These are the positions of positive terms in A352491.
A000041 counts integer partitions, strict A000009.
A000700 counts self-conjugate partitions, ranked by A088902 (cf. A258116).
A003963 = product of prime indices, conjugate A329382.
A056239 adds up prime indices, row sums of A112798 and A296150.
A122111 = partition conjugation using Heinz numbers, parts A321649/A321650.
A124010 gives prime signature, sorted A118914, length A001221, sum A001222.
A173018 counts permutations by excedances, weak A123125.
A330644 counts non-self-conjugate partitions, ranked by A352486.
A352521 counts compositions by subdiagonals, rank statistic A352514.
Cf. A000720, A114088, A114324, A321648, A324850, A325037, A325038, A325040.

primeMS[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
conj[y_]:=If[Length[y]==0,y,Table[Length[Select[y,#>=k&]],{k,1,Max[y]}]];
Select[Range[100],#>Times@@Prime/@conj[primeMS[#]]&]

a(n) > A122111(a(n)).

cp's OEIS Frontend

A238349 Triangle T(n,k) read by rows: T(n,k) is the number of compositions of n with k parts p at position p (fixed points), n>=0, 0<=k<=n.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

A114088 Triangle read by rows: T(n,k) is number of partitions of n whose tail below its Durfee square has k parts (n >= 1; 0 <= k <= n-1).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

A352523 Number of integer compositions of n with exactly k nonfixed points (parts not on the diagonal).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

A352512 Number of fixed points in the n-th composition in standard order.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

A352525 Irregular triangle read by rows where T(n,k) is the number of integer compositions of n with k weak excedances (parts on or above the diagonal), all zeros removed.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

A352513 Number of nonfixed points in the n-th composition in standard order.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

A352522 Triangle read by rows where T(n,k) is the number of integer compositions of n with k weak nonexcedances (parts on or below the diagonal).

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI