pith. sign in

arxiv: 2606.00646 · v1 · pith:S4EU65BLnew · submitted 2026-05-30 · 🧮 math.CO

A Refinement of the Fixed--Pixed Points Equidistribution on restricted Permutations

Yao Dong , Chao Xu This is my paper

Pith reviewed 2026-06-28 18:39 UTC · model grok-4.3

classification 🧮 math.CO
keywords pattern avoidanceequidistributiondescentsfixed pointspixed pointspermutationsgenerating functionssymmetric group
0
0 comments X

The pith

For each set Π in the conjecture, the pairs (des,fix) and (ides,pix) are equidistributed over S_n(Π).

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves a bivariate refinement of an equidistribution result on pattern-avoiding permutations. It shows that the joint distribution of descents with fixed points equals that of inverse descents with pixed points, for every pattern set Π appearing in the original conjecture. The argument proceeds by writing down explicit ordinary generating functions for each restricted class that track the two pairs of statistics. A sympathetic reader would care because the refinement incorporates an additional descent statistic while preserving the equidistribution on exactly those classes.

Core claim

Given a set Π from the conjecture, the pairs of statistics (des, fix) and (ides, pix) are equidistributed over the set of permutations in S_n that avoid all patterns in Π. The proof relies on deriving explicit ordinary generating functions for these restricted permutation classes that encode the joint distributions.

What carries the argument

Explicit ordinary generating functions for the pattern-avoiding classes that encode the joint (des,fix) and (ides,pix) distributions.

If this is right

  • The equidistribution holds simultaneously for all n and every Π in the conjecture.
  • The ordinary generating functions supply an explicit means to extract the refined counts.
  • The original fixed-point and pixed-point equidistribution follows immediately by summing over the descent variable.
  • The same generating-function technique applies uniformly across the relevant pattern sets.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The explicit generating functions may admit simplification or closed forms that reveal further structure in these classes.
  • Similar bivariate refinements could be attempted for other pairs of statistics on the same pattern-avoiding sets.
  • The approach suggests checking whether the equidistribution persists when additional statistics such as inversions are tracked.

Load-bearing premise

The explicit ordinary generating functions derived for the pattern-avoiding classes correctly encode the joint distributions of the descent and fixed-point statistics.

What would settle it

A direct count for n=5 on one of the listed pattern sets showing unequal numbers of permutations with a given (des,fix) pair versus the corresponding (ides,pix) pair would falsify the equidistribution.

read the original abstract

Motivated by a recent conjecture of Bsila, Cox, Hugo, Styron and Zhuang concerning fixed points and pixed points on pattern-avoiding permutations, we prove a bivariate refinement involving descent statistics. Given a set of permutations $\Pi$, let $\mathfrak{S}_n(\Pi)$ denote the set of permutations in the symmetric group $\mathfrak{S}_n$ that avoid every element of $\Pi$ in the sense of pattern avoidance. For each set $\Pi$ appearing in their conjecture, we show that the pairs of statistics $(\mathrm{des},\mathrm{fix})$ and $(\mathrm{ides},\mathrm{pix})$ are equidistributed over $\mathfrak{S}_n(\Pi)$. Our proof is based on explicit ordinary generating functions for the corresponding pattern-avoiding classes.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript proves a bivariate refinement of the Bsila-Cox-Hugo-Styron-Zhuang conjecture on fixed-point and pixed-point equidistribution. For each pattern set Π appearing in the conjecture, it establishes that the pairs (des, fix) and (ides, pix) are equidistributed over the Π-avoiding permutations in S_n by deriving explicit bivariate ordinary generating functions for the joint distributions on the relevant avoidance classes and showing that the two generating functions coincide.

Significance. If the explicit OGF derivations are correct, the result supplies a direct generating-function proof of a refined equidistribution that incorporates descent and inverse-descent statistics, thereby strengthening the original conjecture. The approach is standard in refined enumeration of pattern-avoiding permutations and yields verifiable closed forms that may support further computations or extensions.

minor comments (2)
  1. The abstract and introduction refer to 'each set Π appearing in their conjecture' without an explicit enumerated list of the Π's treated; adding a short table or numbered list in §1 would improve readability.
  2. Notation for the bivariate generating functions (e.g., the variables tracking des/fix versus ides/pix) should be introduced once with a clear display equation early in §2 or §3 rather than inline.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and significance assessment, as well as the recommendation of minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; direct GF computation is self-contained

full rationale

The paper establishes the equidistribution claim by deriving explicit bivariate OGFs that jointly track (des,fix) and (ides,pix) on each relevant S_n(Π) and verifying that the two generating functions coincide. This is a standard direct enumeration via decomposition or recurrence on the pattern-avoiding classes; no step reduces a claimed prediction to a fitted input, no self-citation is invoked as a load-bearing uniqueness theorem, and no ansatz or renaming is smuggled in. The derivation chain is therefore independent of the target result and does not collapse by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the proof is asserted to rest on computable ordinary generating functions for the avoidance classes.

pith-pipeline@v0.9.1-grok · 5657 in / 942 out tokens · 25357 ms · 2026-06-28T18:39:33.699690+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

86 extracted references · 51 canonical work pages · 1 internal anchor

  1. [1]

    Zhuang, Yan , title =

  2. [2]

    Robertson, Aaron and Saracino, Dan and Zeilberger, Doron , TITLE =. Ann. Comb. , FJOURNAL =. 2002 , NUMBER =. doi:10.1007/s000260200015 , URL =

    work page doi:10.1007/s000260200015 2002

  3. [3]

    , TITLE =

    Simion, Rodica and Schmidt, Frank W. , TITLE =. European J. Combin. , FJOURNAL =. 1985 , NUMBER =. doi:10.1016/S0195-6698(85)80052-4 , URL =

    work page doi:10.1016/s0195-6698(85)80052-4 1985

  4. [4]

    Israel Journal of Mathematics , volume =

    Foata, Dominique and Han, Guo-Niu , title =. Israel Journal of Mathematics , volume =. 2008 , pages =

    2008

  5. [5]

    2011 , PAGES =

    Kitaev, Sergey , TITLE =. 2011 , PAGES =. doi:10.1007/978-3-642-17333-2 , URL =

    work page doi:10.1007/978-3-642-17333-2 2011

  6. [6]

    , TITLE =

    Knuth, Donald E. , TITLE =. 1998 , PAGES =

    1998

  7. [7]

    and Hugo, Anna S

    Bsila, Chadi and Cox, Caroline E. and Hugo, Anna S. and Styron, Lindsey A. and Zhuang, Yan , TITLE =. Discrete Math. Theor. Comput. Sci. , FJOURNAL =. 2025 , NOTE =. doi:10.46298/dmtcs.14375 , URL =

    work page doi:10.46298/dmtcs.14375 2025

  8. [8]

    Journal of Combinatorial Theory, Series A , volume =

    Foata, Dominique and Han, Guo-Niu , title =. Journal of Combinatorial Theory, Series A , volume =. 2008 , pages =

    2008

  9. [9]

    Une autre interpr

    D. Une autre interpr. S. 1984 , pages =

    1984

  10. [10]

    Cohen, Daniel I. A. , TITLE =. 1978 , PAGES =

    1978

  11. [11]

    European J

    Brenti, Francesco , TITLE =. European J. Combin. , FJOURNAL =. 1994 , NUMBER =. doi:10.1006/eujc.1994.1046 , URL =

    work page doi:10.1006/eujc.1994.1046 1994

  12. [12]

    , TITLE =

    Foata, Dominique and Sch\"utzenberger, Marcel-P. , TITLE =. 1970 , PAGES =

    1970

  13. [13]

    Zhang, Rong , TITLE =. Contrib. Discrete Math. , FJOURNAL =. 2026 , NUMBER =

    2026

  14. [14]

    2026 , eprint=

    Combinatorial relations among restricted and half Eulerian polynomials of types A , B , and D , author=. 2026 , eprint=

    2026

  15. [15]

    Pacific J

    Brenti, Francesco , TITLE =. Pacific J. Math. , FJOURNAL =. 1993 , NUMBER =

    1993

  16. [16]

    The excedances and descents of bi-increasing permutations

    The excedances and descents of bi-increasing permutations , author=. arXiv preprint math/0212247 , year=

    work page internal anchor Pith review Pith/arXiv arXiv

  17. [17]

    , TITLE =

    Athanasiadis, Christos A. , TITLE =. S\'em. Lothar. Combin. , FJOURNAL =. 2018 , PAGES =

    2018

  18. [18]

    and Fu, Shishuo , TITLE =

    Chen, Joanna N. and Fu, Shishuo , TITLE =. Adv. in Appl. Math. , FJOURNAL =. 2023 , PAGES =. doi:10.1016/j.aam.2023.102573 , URL =

    work page doi:10.1016/j.aam.2023.102573 2023

  19. [19]

    2010 , PAGES =

    Pinkus, Allan , TITLE =. 2010 , PAGES =

    2010

  20. [20]

    and Zhu, Bao-Xuan , TITLE =

    P\'etr\'eolle, Mathias and Sokal, Alan D. and Zhu, Bao-Xuan , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2023 , NUMBER =

    2023

  21. [21]

    Forum Math

    Hwang, Byung-Hak and Jang, Jihyeug and Oh, Jaeseong , TITLE =. Forum Math. Sigma , FJOURNAL =. 2023 , PAGES =. doi:10.1017/fms.2023.79 , URL =

    work page doi:10.1017/fms.2023.79 2023

  22. [22]

    European J

    Shin, Heesung and Zeng, Jiang , TITLE =. European J. Combin. , FJOURNAL =. 2016 , PAGES =. doi:10.1016/j.ejc.2015.10.004 , URL =

    work page doi:10.1016/j.ejc.2015.10.004 2016

  23. [23]

    European J

    Josuat-Verg\`es, Matthieu , TITLE =. European J. Combin. , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.ejc.2010.01.008 , URL =

    work page doi:10.1016/j.ejc.2010.01.008 2010

  24. [24]

    Fran con, Jean , TITLE =. Ann. Sci. Math. Qu\'ebec , FJOURNAL =. 1992 , NUMBER =

    1992

  25. [25]

    European J

    Zeng, Jiang , TITLE =. European J. Combin. , FJOURNAL =. 1989 , NUMBER =. doi:10.1016/S0195-6698(89)80038-1 , URL =

    work page doi:10.1016/s0195-6698(89)80038-1 1989

  26. [26]

    Viennot, Xavier G. Une th. 1992 , note =

    1992

  27. [27]

    , TITLE =

    Stanley, Richard P. , TITLE =. 2012 , PAGES =

    2012

  28. [28]

    Kyle , TITLE =

    Petersen, T. Kyle , TITLE =. 2015 , PAGES =. doi:10.1007/978-1-4939-3091-3 , URL =

    work page doi:10.1007/978-1-4939-3091-3 2015

  29. [29]

    European J

    Br\"and\'en, Petter , TITLE =. European J. Combin. , FJOURNAL =. 2008 , NUMBER =. doi:10.1016/j.ejc.2006.12.010 , URL =

    work page doi:10.1016/j.ejc.2006.12.010 2008

  30. [30]

    2006 , eprint =

    Postnikov, Alexander , title =. 2006 , eprint =

    2006

  31. [31]

    Postnikov, Alex and Reiner, Victor and Williams, Lauren , TITLE =. Doc. Math. , FJOURNAL =. 2008 , PAGES =

    2008

  32. [32]

    Xu, Chao and Zeng, Jiang , TITLE =. Adv. in Appl. Math. , FJOURNAL =. 2026 , PAGES =. doi:10.1016/j.aam.2025.102975 , URL =

    work page doi:10.1016/j.aam.2025.102975 2026

  33. [33]

    Ramanujan J

    Dong, Yao and Lin, Zhicong and Pan, Qiongqiong , TITLE =. Ramanujan J. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s11139-024-00939-x , URL =

    work page doi:10.1007/s11139-024-00939-x 2024

  34. [34]

    and Scoville, Richard , TITLE =

    Carlitz, L. and Scoville, Richard , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1974 , PAGES =. doi:10.1515/crll.1976.288.218 , URL =

    work page doi:10.1515/crll.1976.288.218 1974

  35. [35]

    , TITLE =

    Ji, Kathy Q. , TITLE =. Sci. China Math. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s11425-024-2362-3 , URL =

    work page doi:10.1007/s11425-024-2362-3 2025

  36. [36]

    Kyle , title =

    Petersen, T. Kyle , title =

  37. [37]

    2025 , eprint=

    Web permutations, Seidel triangle and normalized -coefficients , author=. 2025 , eprint=

    2025

  38. [38]

    Pan, Qiong Qiong and Zeng, Jiang , TITLE =. J. Combin. Theory Ser. A , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.jcta.2021.105445 , URL =

    work page doi:10.1016/j.jcta.2021.105445 2021

  39. [39]

    Han, Guo-Niu , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1090/tran/8031 , URL =

    work page doi:10.1090/tran/8031 2020

  40. [40]

    , TITLE =

    Sokal, Alan D. , TITLE =. Expo. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1016/j.exmath.2018.08.001 , URL =

    work page doi:10.1016/j.exmath.2018.08.001 2020

  41. [41]

    Foata, Dominique and Strehl, Volker , TITLE =. Math. Z. , FJOURNAL =. 1974 , PAGES =. doi:10.1007/BF01237393 , URL =

    work page doi:10.1007/bf01237393 1974

  42. [42]

    European J

    Hetyei, G\'abor and Reiner, Ethan , TITLE =. European J. Combin. , FJOURNAL =. 1998 , NUMBER =. doi:10.1006/eujc.1998.0233 , URL =

    work page doi:10.1006/eujc.1998.0233 1998

  43. [43]

    Shankar, Umesh and Sivasubramanian, Sivaramakrishnan , TITLE =. J. Algebraic Combin. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s10801-024-01359-2 , URL =

    work page doi:10.1007/s10801-024-01359-2 2024

  44. [44]

    Sokal , title =

    Alan D. Sokal , title =

  45. [45]

    Gantmakher and M

    F. Gantmakher and M. Krein , title =. Compositio Mathematica , volume =. 1937 , url =

    1937

  46. [46]

    Annales de la Facult

    Stieltjes, Thomas Jan , title =. Annales de la Facult. 1894 , url =

  47. [47]

    Andr. D. CR Acad. Sci. Paris , volume=

  48. [48]

    Kyle , TITLE =

    Guay-Paquet, Mathieu and Petersen, T. Kyle , TITLE =. Electron. J. Combin. , FJOURNAL =. 2014 , NUMBER =. doi:10.37236/4329 , URL =

    work page doi:10.37236/4329 2014

  49. [49]

    , TITLE =

    Han, Tian and Kitaev, Sergey and Zhang, Philip B. , TITLE =. J. Combin. Theory Ser. A , FJOURNAL =. 2025 , PAGES =. doi:10.1016/j.jcta.2025.106034 , URL =

    work page doi:10.1016/j.jcta.2025.106034 2025

  50. [50]

    Kyle and Tenner, Bridget Eileen , TITLE =

    Petersen, T. Kyle and Tenner, Bridget Eileen , TITLE =. J. Comb. , FJOURNAL =. 2015 , NUMBER =. doi:10.4310/JOC.2015.v6.n1.a9 , URL =

    work page doi:10.4310/joc.2015.v6.n1.a9 2015

  51. [51]

    Bijective Enumeration and Sign-Imbalance for Permutation Depth and Excedances , volume=

    Eu, Sen-Peng and Fu, Tung-Shan and Lo, Yuan-Hsun , year=. Bijective Enumeration and Sign-Imbalance for Permutation Depth and Excedances , volume=. doi:10.4204/eptcs.403.19 , journal=

    work page doi:10.4204/eptcs.403.19

  52. [52]

    2024 , eprint=

    Gamma positivity of variations of ( ,t) -Eulerian polynomials , author=. 2024 , eprint=

    2024

  53. [53]

    European J

    Biane, Philippe , TITLE =. European J. Combin. , FJOURNAL =. 1993 , NUMBER =. doi:10.1006/eujc.1993.1031 , URL =

    work page doi:10.1006/eujc.1993.1031 1993

  54. [54]

    Foata, Dominique and Zeilberger, Doron , TITLE =. Stud. Appl. Math. , FJOURNAL =. 1990 , NUMBER =. doi:10.1002/sapm199083131 , URL =

    work page doi:10.1002/sapm199083131 1990

  55. [55]

    Corteel, Sylvie , TITLE =. Adv. in Appl. Math. , FJOURNAL =. 2007 , NUMBER =. doi:10.1016/j.aam.2006.01.006 , URL =

    work page doi:10.1016/j.aam.2006.01.006 2007

  56. [56]

    , TITLE =

    Flajolet, P. , TITLE =. Discrete Math. , FJOURNAL =. 1980 , NUMBER =. doi:10.1016/0012-365X(80)90050-3 , URL =

    work page doi:10.1016/0012-365x(80)90050-3 1980

  57. [57]

    Discrete Math

    Fran con, Jean and Viennot, G\'erard , TITLE =. Discrete Math. , FJOURNAL =. 1979 , NUMBER =. doi:10.1016/0012-365X(79)90182-1 , URL =

    work page doi:10.1016/0012-365x(79)90182-1 1979

  58. [58]

    , TITLE =

    de M\'edicis, Anne and Viennot, Xavier G. , TITLE =. Adv. in Appl. Math. , FJOURNAL =. 1994 , NUMBER =. doi:10.1006/aama.1994.1010 , URL =

    work page doi:10.1006/aama.1994.1010 1994

  59. [59]

    Viennot, G. Une th. 1983 , publisher=

    1983

  60. [60]

    and Steingr\'imsson, Einar and Zeng, Jiang , TITLE =

    Clarke, Robert J. and Steingr\'imsson, Einar and Zeng, Jiang , TITLE =. Adv. in Appl. Math. , FJOURNAL =. 1997 , NUMBER =. doi:10.1006/aama.1996.0506 , URL =

    work page doi:10.1006/aama.1996.0506 1997

  61. [61]

    European J

    Shin, Heesung and Zeng, Jiang , TITLE =. European J. Combin. , FJOURNAL =. 2012 , NUMBER =. doi:10.1016/j.ejc.2011.08.005 , URL =

    work page doi:10.1016/j.ejc.2011.08.005 2012

  62. [62]

    European J

    Shin, Heesung and Zeng, Jiang , TITLE =. European J. Combin. , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.ejc.2010.04.003 , URL =

    work page doi:10.1016/j.ejc.2010.04.003 2010

  63. [63]

    and Zeng, Jiang , TITLE =

    Sokal, Alan D. and Zeng, Jiang , TITLE =. Adv. in Appl. Math. , FJOURNAL =. 2022 , PAGES =. doi:10.1016/j.aam.2022.102341 , URL =

    work page doi:10.1016/j.aam.2022.102341 2022

  64. [64]

    Discrete Math

    Elizalde, Sergi , TITLE =. Discrete Math. Theor. Comput. Sci. , FJOURNAL =. 2017 , NUMBER =

    2017

  65. [65]

    Arnol'd, V. I. , TITLE =. Uspekhi Mat. Nauk , FJOURNAL =. 1992 , NUMBER =. doi:10.1070/RM1992v047n01ABEH000861 , URL =

    work page doi:10.1070/rm1992v047n01abeh000861 1992

  66. [66]

    T. A. Springer , title =. Nieuw Arch. Wisk. , volume =. 1971 , pages =

    1971

  67. [67]

    Foata and G.-N

    D. Foata and G.-N. Han , title =. Adv. Appl. Math. , volume =. 2001 , pages =

    2001

  68. [68]

    N. J. A. Sloane , title =. 2025 , note =

    2025

  69. [69]

    Disanto, Filippo , TITLE =. S\'. 2013 , PAGES =

    2013

  70. [70]

    Australas

    Josuat-Verg\`es, Matthieu , TITLE =. Australas. J. Combin. , FJOURNAL =. 2014 , PAGES =

    2014

  71. [71]

    Lin, Zhicong and Wang, David G. L. and Zeng, Jiang , TITLE =. European J. Combin. , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.ejc.2019.01.010 , URL =

    work page doi:10.1016/j.ejc.2019.01.010 2019

  72. [72]

    Kyle , TITLE =

    Petersen, T. Kyle , TITLE =. Adv. in Appl. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.aam.2011.02.001 , URL =

    work page doi:10.1016/j.aam.2011.02.001 2011

  73. [73]

    European J

    Zeng, Jiang , TITLE =. European J. Combin. , FJOURNAL =. 1993 , NUMBER =. doi:10.1006/eujc.1993.1041 , URL =

    work page doi:10.1006/eujc.1993.1041 1993

  74. [74]

    Generalized permutation patterns and a classification of the

    Babson, Eric and Steingr\'. Generalized permutation patterns and a classification of the. S\'. 2000 , PAGES =

    2000

  75. [75]

    Permutations, moments, measures , JOURNAL =

    Blitvi\'. Permutations, moments, measures , JOURNAL =. 2021 , NUMBER =. doi:10.1090/tran/8330 , URL =

    work page doi:10.1090/tran/8330 2021

  76. [76]

    and Stanton, D

    Simion, R. and Stanton, D. , TITLE =. J. Comput. Appl. Math. , FJOURNAL =. 1996 , NUMBER =. doi:10.1016/0377-0427(95)00250-2 , URL =

    work page doi:10.1016/0377-0427(95)00250-2 1996

  77. [77]

    Permutation tableaux and permutation patterns , JOURNAL =

    Steingr\'. Permutation tableaux and permutation patterns , JOURNAL =. 2007 , NUMBER =. doi:10.1016/j.jcta.2006.04.001 , URL =

    work page doi:10.1016/j.jcta.2006.04.001 2007

  78. [78]

    2025 , eprint=

    An involution for trivariate symmetries of vincular patterns , author=. 2025 , eprint=

    2025

  79. [79]

    Han, Bin and Mao, Jianxi and Zeng, Jiang , TITLE =. Adv. in Appl. Math. , FJOURNAL =. 2020 , PAGES =. doi:10.1016/j.aam.2020.102092 , URL =

    work page doi:10.1016/j.aam.2020.102092 2020

  80. [80]

    , TITLE =

    D\'esarm\'enien, Jacques and Wachs, Michelle L. , TITLE =. J. Combin. Theory Ser. A , FJOURNAL =. 1993 , NUMBER =. doi:10.1016/0097-3165(93)90100-M , URL =

    work page doi:10.1016/0097-3165(93)90100-m 1993

Showing first 80 references.