On Semisymmetric Height and a Multidimensional Generalization of Weighted Catalan Numbers

Dimana Pramatarova; Ryota Inagaki

arxiv: 2604.04900 · v1 · submitted 2026-04-06 · 🧮 math.CO

On Semisymmetric Height and a Multidimensional Generalization of Weighted Catalan Numbers

Ryota Inagaki , Dimana Pramatarova This is my paper

Pith reviewed 2026-05-10 19:33 UTC · model grok-4.3

classification 🧮 math.CO

keywords semisymmetric heightk-dimensional Catalan numbersweighted Catalan numbersDyck pathsNarayana numberseventual periodicityWeyl chamber A_{k-1}lattice path enumeration

0 comments

The pith

Semisymmetric height defines k-dimensional generalizations of weighted Catalan numbers that are eventually periodic modulo any integer and yield formulas for bounded cases plus new Narayana analogs.

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

The authors introduce semisymmetric height as a statistic on points with non-negative integer coordinates in k dimensions. This statistic is motivated by the reflection symmetries in k-dimensional Dyck paths and the fundamental Weyl chamber of type A. They use it to define the k-dimensional semisymmetric weighted Catalan numbers and their u-bounded variants as weighted sums over these paths. The central results establish that these numbers eventually repeat their values periodically when reduced modulo any fixed positive integer m, and provide closed-form expressions for several families of the bounded versions. The same height statistic also produces direct k-dimensional counterparts to the classic sequence that tallies Dyck paths according to their height and to the Narayana numbers that refine the Catalan numbers.

Core claim

We introduce the notion of semisymmetric height on points in the non-negative orthant of k-dimensional space. This height respects the geometric symmetries of k-dimensional Dyck paths and the Weyl chamber of type A_{k-1}. With it we define the k-dimensional semisymmetric weighted Catalan numbers (SSWCNs) and the u-bounded SSWCNs. We prove eventual periodicity of these sequences modulo any integer m and obtain explicit formulas for several classes of the u-bounded SSWCNs. We further construct k-dimensional analogs of the height enumeration sequence for Dyck paths and of the Narayana numbers.

What carries the argument

Semisymmetric height, a statistic on lattice points in Z^k_{>=0} defined to be invariant under the reflections that generate the symmetries of the A_{k-1} Weyl chamber, used to weight the k-dimensional Dyck paths in the generalized Catalan sums.

Load-bearing premise

The semisymmetric height statistic is well-defined on the relevant lattice points and that the weighted sums it produces satisfy the periodicity and formula properties claimed.

What would settle it

Finding a specific k, m, and large enough n where the nth term of the k-dimensional SSWCN sequence modulo m differs from the (n + period) term, violating eventual periodicity.

Figures

Figures reproduced from arXiv: 2604.04900 by Dimana Pramatarova, Ryota Inagaki.

**Figure 2.** Figure 2: The five 3-dimensional balanced ballot paths of length 6, with intermediate points labeled [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗

**Figure 3.** Figure 3: A 3-dimensional balanced ballot path. We label each intermediate point by its semisym [PITH_FULL_IMAGE:figures/full_fig_p010_3.png] view at source ↗

**Figure 4.** Figure 4: A Standard Young Tableau of shape 3 × 4. Given an SYT T of shape k × n, a subtableau T ′ with n ′ boxes of T is the standard Young tableau consisting of the boxes of T containing numbers 1, 2, . . . n′ . SYTs are a natural combinatorial setting for defining multidimensional analogs of weighted Catalan numbers. We contend this by observing that the balanced ballot paths and their intermediate points have a… view at source ↗

read the original abstract

Weighted Catalan numbers are a class of weighted sums over Dyck paths. Well-studied for their arithmetic properties and applications to enumerative combinatorics, these numbers were recently generalized to the setting of $k$-dimensional Catalan numbers for $k \geq 2$. In this paper, we introduce the $k$-dimensional semisymmetric weighted Catalan numbers ($k$-dimensional SSWCNs), an alternative $k$-dimensional generalization, along with their variant, the $k$-dimensional $u$-bounded semisymmetric weighted Catalan numbers ($k$-dimensional $u$-bounded SSWCNs). We define these two classes of numbers using the notion of semisymmetric height, a new statistic on points in $\mathbb{Z}^k_{\geq 0}$ motivated by geometric symmetries of $k$-dimensional analogs of Dyck paths and of the fundamental Weyl chamber of type $A_{k-1}$. For our main results, we prove the eventual periodicity of $k$-dimensional SSWCNs and their $u$-bounded variants modulo a suitable integer $m$, and we derive formulas for several classes of $k$-dimensional $u$-bounded SSWCNs. Additionally, using semisymmetric height, we derive novel analogs in the $k$-dimensional setting of the integer sequence counting Dyck paths by height and of the Narayana numbers. We conclude the paper with a future direction for generalizing weighted Catalan numbers to the $k$-dimensional setting.

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.

Desk Editor's Note private letter to a colleague

The paper defines a semisymmetric height statistic on k-dimensional lattice points and uses it to prove eventual periodicity of new k-dimensional weighted Catalan numbers modulo m, plus explicit formulas for the bounded cases.

read the letter

The main takeaway is that this work introduces semisymmetric height as a statistic on points in Z^k >=0, chosen to respect the symmetries of the A_{k-1} Weyl chamber and k-dimensional Dyck paths. From there it defines the k-dimensional semisymmetric weighted Catalan numbers and their u-bounded variants, then proves those sums are eventually periodic modulo a suitable m and gives closed formulas for several families of the bounded versions. It also produces k-dimensional versions of the height enumeration sequence and the Narayana numbers. Those are the concrete outputs. The paper carries the definitions through to arithmetic statements that can be checked, which is the part that actually adds to the literature on multidimensional Catalan objects. The geometric motivation for the height function is laid out clearly enough to see where it comes from. The periodicity and formula results are the kind of explicit properties that make these numbers usable for further enumeration work. On the softer side, the periodicity claim rests on the height statistic aligning tightly enough with the chamber symmetries to force the arithmetic behavior for the chosen weights. If that alignment is only partial, the periodicity could require extra conditions on the weight function that are not fully spelled out in the abstract. A reader would want to see the induction or reduction step that shows why the sums stabilize modulo m without additional restrictions. Small explicit computations for k=2 or k=3 would also help confirm the formulas match the definitions. This is a paper for people already working on weighted path counts and k-dimensional Catalan generalizations. It does not claim broad applications or resolve long-standing open problems, but it supplies a new variant with verifiable properties. The results are narrow but self-contained, so the paper is worth sending to referees who can verify the periodicity proofs and the new analogs directly.

Referee Report

3 major / 2 minor

Summary. The paper introduces k-dimensional semisymmetric weighted Catalan numbers (k-dimensional SSWCNs) and their u-bounded variants, defined via a new statistic called semisymmetric height on points in Z^k_{>=0}. This height is motivated by geometric symmetries of k-dimensional Dyck paths and the fundamental Weyl chamber of type A_{k-1}. The central claims are proofs of eventual periodicity of these numbers (and u-bounded variants) modulo a suitable integer m, explicit formulas for several classes of the u-bounded SSWCNs, and k-dimensional analogs of the integer sequence counting Dyck paths by height together with the Narayana numbers.

Significance. If the derivations hold, the work supplies a symmetry-respecting generalization of weighted Catalan numbers to higher dimensions that preserves key arithmetic features such as eventual periodicity. The explicit formulas and the new analogs of height-counting sequences and Narayana numbers constitute concrete enumerative contributions. The geometric motivation via the A_{k-1} chamber is a strength, as is the derivation of closed forms for the bounded case.

major comments (3)

[§3] §3 (definition of semisymmetric height): the geometric motivation is stated, but the precise mapping from points in Z^k_{>=0} to the height value is not shown to force eventual periodicity of the weighted sums for arbitrary weight functions w; the proof of Theorem 4.1 appears to rely on an unstated compatibility between the height statistic and the chosen weights that is not verified by reduction to the chamber symmetries alone.
[Theorem 5.2] Theorem 5.2 (formulas for u-bounded SSWCNs): the derivation of the closed forms for the listed classes assumes that the u-bounded truncation commutes with the periodicity argument; no explicit check is given that the truncation preserves the eventual period when u is finite, which is load-bearing for the claim that the formulas hold for the bounded variants.
[§6] §6 (analogs of height-counting sequence and Narayana numbers): the bijections or generating-function identities used to obtain the k-dimensional versions are only sketched; without an explicit combinatorial or algebraic verification that semisymmetric height reproduces the classical counts when k=2, the novelty claim rests on an unverified reduction.

minor comments (2)

Notation for the weight function w and the modulus m is introduced without a consolidated table of definitions; a short notation index would improve readability.
[Introduction] The abstract claims 'we prove the eventual periodicity... and we derive formulas'; the introduction should cross-reference the precise theorem numbers for these statements.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We are grateful to the referee for their insightful comments, which have helped us identify areas where the manuscript can be improved for clarity. We respond to each major comment below, indicating the changes we will implement.

read point-by-point responses

Referee: [§3] §3 (definition of semisymmetric height): the geometric motivation is stated, but the precise mapping from points in Z^k_{>=0} to the height value is not shown to force eventual periodicity of the weighted sums for arbitrary weight functions w; the proof of Theorem 4.1 appears to rely on an unstated compatibility between the height statistic and the chosen weights that is not verified by reduction to the chamber symmetries alone.

Authors: Thank you for this observation. The semisymmetric height is defined by taking the minimal representative in the Weyl chamber under the action of the symmetric group, which induces the periodicity modulo the order of the group action for weights that respect the symmetry. To address the concern, we will revise the proof of Theorem 4.1 to include an explicit lemma establishing this compatibility for general weight functions w, thereby verifying the reduction to chamber symmetries. revision: yes
Referee: [Theorem 5.2] Theorem 5.2 (formulas for u-bounded SSWCNs): the derivation of the closed forms for the listed classes assumes that the u-bounded truncation commutes with the periodicity argument; no explicit check is given that the truncation preserves the eventual period when u is finite, which is load-bearing for the claim that the formulas hold for the bounded variants.

Authors: We agree that an explicit check would strengthen the argument. The u-bounded SSWCNs are defined as sums over paths with height at most u, and since the periodicity is eventual, for any fixed u the sequence is eventually periodic as it coincides with the unbounded case after a certain index. We will add this verification as a remark following Theorem 5.2 in the revised manuscript. revision: yes
Referee: [§6] §6 (analogs of height-counting sequence and Narayana numbers): the bijections or generating-function identities used to obtain the k-dimensional versions are only sketched; without an explicit combinatorial or algebraic verification that semisymmetric height reproduces the classical counts when k=2, the novelty claim rests on an unverified reduction.

Authors: The referee is correct that the verification for k=2 is sketched rather than fully detailed. In the revised version, we will provide an explicit algebraic verification in §6 showing that for k=2 the semisymmetric height coincides with the classical Dyck path height, and the resulting analogs reduce precisely to the known sequences and Narayana numbers. This will be done via direct computation of the generating functions. revision: yes

Circularity Check

0 steps flagged

No circularity: new statistic and periodicity proofs are independent

full rationale

The paper introduces semisymmetric height as a fresh statistic on Z^k_{>=0} motivated by Weyl chamber geometry, then defines the k-dimensional SSWCNs and u-bounded variants directly from it. Periodicity modulo m and the explicit formulas are stated as theorems proved from these definitions rather than obtained by fitting parameters or renaming prior results. No self-citation chain is load-bearing for the central claims, and the derivation does not reduce any prediction to an input by construction. The work is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The work rests on standard assumptions about multidimensional Dyck paths and Weyl chamber geometry plus the new definition of semisymmetric height; no free parameters or invented physical entities are apparent from the abstract.

axioms (1)

domain assumption Standard definitions and properties of k-dimensional Dyck paths and lattice paths staying within the fundamental Weyl chamber of type A_{k-1}
Invoked to motivate the semisymmetric height statistic and the weighted sums over paths.

invented entities (1)

semisymmetric height no independent evidence
purpose: New statistic on points in Z^k >=0 used to define the weighted Catalan numbers
Introduced as motivated by geometric symmetries; no independent evidence outside the paper's definitions is provided in the abstract.

pith-pipeline@v0.9.0 · 5563 in / 1375 out tokens · 50992 ms · 2026-05-10T19:33:32.890900+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat recovery / 8-tick period echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Theorem 3.1. … The sequence {bC^{b,c}_{k,u,n} (mod m)} n≥0 of the k-dimensional u-bounded SSWCNs modulo m is eventually periodic.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[1]

Adin, Victor Reiner, and Yuval Roichman

Ron M. Adin, Victor Reiner, and Yuval Roichman. On cyclic descents for tableaux.Int. Math. Res. Not. IMRN, (24):10231–10276, 2020

work page 2020
[2]

ProQuest LLC, Ann Arbor, MI, 2010

Junkyu An.Combinatorial Enumeration of Weighted Catalan Numbers. ProQuest LLC, Ann Arbor, MI, 2010. Thesis (Ph.D.)–Massachusetts Institute of Technology

work page 2010
[3]

Canon permutations and generalized descents of standard Young tableaux.Enu- mer

Sergi Elizalde. Canon permutations and generalized descents of standard Young tableaux.Enu- mer. Comb. Appl., 5(2):Paper No. S2R13, 10, 2025

work page 2025
[4]

Arithmetic of weighted Catalan numbers.J

Yibo Gao and Andrew Gu. Arithmetic of weighted Catalan numbers.J. Number Theory, 226:213– 242, 2021. 35

work page 2021
[5]

Goulden and David M

Ian P. Goulden and David M. Jackson.Combinatorial enumeration. Dover Publications, Inc., Mineola, NY, 2004. With a foreword by Gian-Carlo Rota, Reprint of the 1983 original

work page 2004
[6]

Humphreys.Reflection groups and Coxeter groups, volume 29 ofCambridge Studies in Advanced Mathematics

James E. Humphreys.Reflection groups and Coxeter groups, volume 29 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1990

work page 1990
[7]

On weighted and bounded multidimensional Catalan numbers.Enumer

Ryota Inagaki and Dimana Pramatarova. On weighted and bounded multidimensional Catalan numbers.Enumer. Comb. Appl., 6(2):Article #S2R14, 2026

work page 2026
[8]

Chapman and Hall/CRC, 2025

Oscar Levin.Discrete Mathematics: An Open Introduction. Chapman and Hall/CRC, 2025

work page 2025
[9]

Neil J. A. Sloane, OEIS Foundation Inc. The on-line encyclopedia of integer sequences. Published electronically athttps://oeis.org, 2025

work page 2025
[10]

Counting morse curves and links

Alexander Postnikov. Counting morse curves and links. Preprint, MIT Mathematics, December

work page
[11]

8 pages, available athttps://math.mit.edu/ ~apost/papers/morse-brief.pdf

work page
[12]

Weighted catalan numbers and their divisibility properties

Sarah Shader. Weighted catalan numbers and their divisibility properties. Undergraduate re- search paper, Massachusetts Institute of Technology, Research Science Institute, 2013

work page 2013
[13]

Stanley.Catalan numbers

Richard P. Stanley.Catalan numbers. Cambridge: Cambridge University Press, 2015

work page 2015
[14]

Stanley.Enumerative combinatorics

Richard P. Stanley.Enumerative combinatorics. Vol. 2, volume 208 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, second edition, [2024]©2024. With an appendix by Sergey Fomin

work page 2024
[15]

Robert A. Sulanke. Generalizing Narayana and Schr¨ oder numbers to higher dimensions.Electron. J. Combin., 11(1):Research Paper 54, 20, 2004

work page 2004
[16]

Akademik Kiril Popov

Kenta Suzuki. Private communication, 2025. Ryota Inagaki Department of Mathematics, Massachusetts Institute of Technology 77 Massachusetts A venue, Building 2, Cambridge, Massachusetts, U.S.A. 02139 E-mail address:inaga270@mit.edu Dimana Pramatarova “Akademik Kiril Popov” High School of Mathematics E-mail address:dimanapramatarova@gmail.com 36

work page 2025

[1] [1]

Adin, Victor Reiner, and Yuval Roichman

Ron M. Adin, Victor Reiner, and Yuval Roichman. On cyclic descents for tableaux.Int. Math. Res. Not. IMRN, (24):10231–10276, 2020

work page 2020

[2] [2]

ProQuest LLC, Ann Arbor, MI, 2010

Junkyu An.Combinatorial Enumeration of Weighted Catalan Numbers. ProQuest LLC, Ann Arbor, MI, 2010. Thesis (Ph.D.)–Massachusetts Institute of Technology

work page 2010

[3] [3]

Canon permutations and generalized descents of standard Young tableaux.Enu- mer

Sergi Elizalde. Canon permutations and generalized descents of standard Young tableaux.Enu- mer. Comb. Appl., 5(2):Paper No. S2R13, 10, 2025

work page 2025

[4] [4]

Arithmetic of weighted Catalan numbers.J

Yibo Gao and Andrew Gu. Arithmetic of weighted Catalan numbers.J. Number Theory, 226:213– 242, 2021. 35

work page 2021

[5] [5]

Goulden and David M

Ian P. Goulden and David M. Jackson.Combinatorial enumeration. Dover Publications, Inc., Mineola, NY, 2004. With a foreword by Gian-Carlo Rota, Reprint of the 1983 original

work page 2004

[6] [6]

Humphreys.Reflection groups and Coxeter groups, volume 29 ofCambridge Studies in Advanced Mathematics

James E. Humphreys.Reflection groups and Coxeter groups, volume 29 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1990

work page 1990

[7] [7]

On weighted and bounded multidimensional Catalan numbers.Enumer

Ryota Inagaki and Dimana Pramatarova. On weighted and bounded multidimensional Catalan numbers.Enumer. Comb. Appl., 6(2):Article #S2R14, 2026

work page 2026

[8] [8]

Chapman and Hall/CRC, 2025

Oscar Levin.Discrete Mathematics: An Open Introduction. Chapman and Hall/CRC, 2025

work page 2025

[9] [9]

Neil J. A. Sloane, OEIS Foundation Inc. The on-line encyclopedia of integer sequences. Published electronically athttps://oeis.org, 2025

work page 2025

[10] [10]

Counting morse curves and links

Alexander Postnikov. Counting morse curves and links. Preprint, MIT Mathematics, December

work page

[11] [11]

8 pages, available athttps://math.mit.edu/ ~apost/papers/morse-brief.pdf

work page

[12] [12]

Weighted catalan numbers and their divisibility properties

Sarah Shader. Weighted catalan numbers and their divisibility properties. Undergraduate re- search paper, Massachusetts Institute of Technology, Research Science Institute, 2013

work page 2013

[13] [13]

Stanley.Catalan numbers

Richard P. Stanley.Catalan numbers. Cambridge: Cambridge University Press, 2015

work page 2015

[14] [14]

Stanley.Enumerative combinatorics

Richard P. Stanley.Enumerative combinatorics. Vol. 2, volume 208 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, second edition, [2024]©2024. With an appendix by Sergey Fomin

work page 2024

[15] [15]

Robert A. Sulanke. Generalizing Narayana and Schr¨ oder numbers to higher dimensions.Electron. J. Combin., 11(1):Research Paper 54, 20, 2004

work page 2004

[16] [16]

Akademik Kiril Popov

Kenta Suzuki. Private communication, 2025. Ryota Inagaki Department of Mathematics, Massachusetts Institute of Technology 77 Massachusetts A venue, Building 2, Cambridge, Massachusetts, U.S.A. 02139 E-mail address:inaga270@mit.edu Dimana Pramatarova “Akademik Kiril Popov” High School of Mathematics E-mail address:dimanapramatarova@gmail.com 36

work page 2025