Pascal arrays: counting Catalan sets

Bethany Marsh,Paul Martin

DOI: https://doi.org/10.48550/arXiv.math/0612572

2006-12-20

Abstract:Motivated by representation theory we exhibit an interior structure to Catalan sequences and many generalisations thereof. Certain of these coincide with well known (but heretofore isolated) structures. The remainder are new.

Combinatorics,Representation Theory

What problem does this paper attempt to address?

On One-Parameter Catalan Arrays

José Agapito,Ângela Mestre,Pasquale Petrullo,Maria M. Torres

DOI: https://doi.org/10.48550/arXiv.1505.05568

2015-05-21

Abstract:We present a parametric family of Riordan arrays which are obtained by multiplying any Riordan array with a generalized Pascal array. In particular, we focus on some interesting properties of one-parameter Catalan triangles. We obtain several combinatorial identities that involve two special Catalan matrices, the Chebyshev polynomials of the second kind, some periodic sequences, and the Fibonacci numbers.

Combinatorics
Integer Sequences and Output Arrays

John P. D'Angelo,Jiri Lebl

DOI: https://doi.org/10.48550/arXiv.2208.09544

2022-08-20

Abstract:The first author recently introduced an integer sequence now numbered A355519 in OEIS. This sequence arose from counting bracket tournaments; its study evokes the analysis of the Catalan triangle (sequence A009766 in OEIS) and the related Catalan numbers, sequence A000108 in OEIS. We therefore introduce a general construction that places these sequences on the same footing and suggests many new integer sequences. We provide code for performing this construction and a lengthy list of examples. This construction determines a function from input sequences to output sequences. Some of the resulting output sequences are in OEIS and others are not.

Number Theory,Combinatorics
Set-Valued Catalan Combinatorics

Alexander Lazar,Svante Linusson

2024-10-07

Abstract:Set-valued standard Young tableaux are a generalization of standard Young tableaux due to Buch (2002) with applications in algebraic geometry. The enumeration of set-valued SYT is significantly more complicated than in the ordinary case, although product formulas are known in certain special cases. In this work we study the case of two-rowed set-valued SYT with a fixed number of entries. These tableaux are a new combinatorial model for the Catalan, Narayana, and Kreweras numbers, and can be shown to be in correspondence with both 321-avoiding permutations and a certain class of bicolored Motzkin paths. We also introduce a generalization of the set-valued comajor index studied by Hopkins, Lazar, and Linusson (2023), and use this statistic to find seemingly new q-analogs of the Catalan and Narayana numbers.

Combinatorics
Remark on Pascal's Triangle

Chaim Goodman-Strauss

2024-05-26

Abstract:Through a series of elementary exercises, we explain the fractal structure of Pascal's triangle when written modulo $p$ using an 1852 theorem due to Kummer: A prime $p$ divides $\dfrac {n!}{i!j!} $ if and only if there is a carry in the addition $i+j=n$ when written in base $p$.

History and Overview
On arithmetic sums of Cantor-type sequences of integers

Norbert Hegyvári

2023-07-14

Abstract:We are looking for integer sets that resemble classical Cantor set and investigate the structure of their sum sets. Especially we investigate $FS(B)$ the subset sum of sequence type $B=\{\lfloor p^n\alpha\rfloor\}^\infty_{n=0}$. When $p=2$, then we prove $FS(B)+FS(B)=\N$ by analogy with the Cantor set, and some structure theorem for $p>2$

Combinatorics,Number Theory
Recursive bijections for Catalan objects

Stefan Forcey,Mohammadmehdi Kafashan,Mehdi Maleki,Michael Strayer

DOI: https://doi.org/10.48550/arXiv.1212.1188

2012-12-05

Combinatorics

Abstract:In this note we introduce several instructive examples of bijections found between several different combinatorially defined sequences of sets. Each sequence has cardinalities given by the Catalan numbers. Our results answer some questions posed by R. Stanley in the addendum to his textbook. We actually discuss two types of bijection, one defined recursively and the other defined in a more local, relative, fashion. It is interesting to compare the results of the two.
Catalan and Motzkin Integral Representations

Peter McCalla,Asamoah Nkwanta

DOI: https://doi.org/10.48550/arXiv.1901.07092

2019-01-22

Abstract:We present new proofs of eight integral representations of the Catalan numbers. Then, we create analogous integral representations of the Motzkin numbers and obtain new results. Most integral representations of counting sequences found in the literature are proved by using advanced mathematical techniques. All integral representations in this paper are proved by using standard techniques from integral calculus. Thus, we provide a more simplistic approach of proving integral representations of the Catalan and Motzkin numbers.

Number Theory
Algebraic sums of achievable sets involving Cantorvals

Jacek Marchwicki,Piotr Nowakowski,Franciszek Prus-Wiśniowski

2023-09-04

Abstract:In this paper we look at the topological type of algebraic sum of achievement sets. We show that there is a Cantorval such that the algebraic sum of its $k$ copies is still a Cantorval for any $k \in \mathbb{N}$. We also prove that for any $m,p \in (\mathbb{N}\setminus \{1\}) \cup \{\infty\}$, $p \geq m$, the algebraic sum of $k$ copies of a Cantor set can transit from a Cantor set to a Cantorval for $k=m$ and then to an interval for $k=p$. These two main results are based on a new characterization of sequences whose achievement sets are Cantorvals. We also define a new family of achievable Cantorvals which are not generated by multigeometric series. In the final section we discuss various decompositions of sequences related to the topological typology of achievement sets.

Classical Analysis and ODEs
Constructible representations and Catalan numbers

George Lusztig,Eric Sommers

2024-03-05

Abstract:We establish a connection between constructible representations (arising in the study of left cells in Weyl groups) and Catalan numbers.

Representation Theory
Catalan's intervals and realizers of triangulations

Olivier Bernardi,Nicolas Bonichon

DOI: https://doi.org/10.48550/arXiv.0704.3731

2007-04-28

Abstract:The Stanley lattice, Tamari lattice and Kreweras lattice are three remarkable orders defined on the set of Catalan objects of a given size. These lattices are ordered by inclusion: the Stanley lattice is an extension of the Tamari lattice which is an extension of the Kreweras lattice. The Stanley order can be defined on the set of Dyck paths of size $n$ as the relation of \emph{being above}. Hence, intervals in the Stanley lattice are pairs of non-crossing Dyck paths. In a former article, the second author defined a bijection $\Phi$ between pairs of non-crossing Dyck paths and the realizers of triangulations (or Schnyder woods). We give a simpler description of the bijection $\Phi$. Then, we study the restriction of $\Phi$ to Tamari's and Kreweras' intervals. We prove that $\Phi$ induces a bijection between Tamari intervals and minimal realizers. This gives a bijection between Tamari intervals and triangulations. We also prove that $\Phi$ induces a bijection between Kreweras intervals and the (unique) realizers of stack triangulations. Thus, $\Phi$ induces a bijection between Kreweras intervals and stack triangulations which are known to be in bijection with ternary trees.

Combinatorics
Set partitions, tableaux, and subspace profiles under regular diagonal matrices

Amritanshu Prasad,Samrith Ram

DOI: https://doi.org/10.1016/j.ejc.2024.104060

2024-09-16

Abstract:We introduce a family of univariate polynomials indexed by integer partitions. At prime powers, they count the number of subspaces in a finite vector space that transform under a regular diagonal matrix in a specified manner. This enumeration formula is a combinatorial solution to a problem introduced by Bender, Coley, Robbins and Rumsey. At $1$, they count set partitions with specified block sizes. At $0$, they count standard tableaux of specified shape. At $-1$, they count standard shifted tableaux of a specified shape. These polynomials are generated by a new statistic on set partitions (called the interlacing number) as well as a polynomial statistic on standard tableaux. They allow us to express $q$-Stirling numbers of the second kind as sums over standard tableaux and as sums over set partitions. For partitions whose parts are at most two, these polynomials are the non-zero entries of the Catalan triangle associated to the $q$-Hermite orthogonal polynomial sequence. In particular, when all parts are equal to two, they coincide with the polynomials defined by Touchard that enumerate chord diagrams by the number of crossings.

Combinatorics
Multinomial Catalan Numbers and Lucas Analogues

Joaquim Cera Da Conceição

2024-10-07

Abstract:We define a new generalization of Catalan numbers to multinomial coefficients. With arithmetic methods, we study their integrality and the integrality of their Lucasnomial generalization. We give a complete characterization of regular Lucas sequences for which they yield integers up to finitely many cases.

Number Theory
Cataland: Why the Fuss?

Christian Stump,Hugh Thomas,Nathan Williams

DOI: https://doi.org/10.48550/arXiv.1503.00710

2018-10-26

Abstract:The three main objects in noncrossing Catalan combinatorics associated to a finite Coxeter system are noncrossing partitions, clusters, and sortable elements. The first two of these have known Fuss-Catalan generalizations. We provide new viewpoints for both and introduce the missing generalization of sortable elements by lifting the theory from the Coxeter system to the associated positive Artin monoid. We show how this new perspective ties together all three generalizations, providing a uniform framework for noncrossing Fuss-Catalan combinatorics. Having developed the combinatorial theory, we provide an interpretation of our generalizations in the language of the representation theory of hereditary Artin algebras.

Combinatorics,Representation Theory
Catalan numbers: from FC elements to classical diagram algebras

Sadek Al Harbat

2024-01-17

Abstract:Let $W^c(A_n)$ be the set of fully commutative elements in the $A_n$-type Coxeter group. Using only the settings of their canonical form, we recount $W^c(A_n)$ by the recurrence that is taken as a definition of the Catalan number $C_{n+1}$ and we find the Narayana numbers as well as the Catalan triangle via suitable set partitions of $W^c(A_n)$. We determine the unique bijection between $W^c(A_n)$ and the set of non-crossing diagrams of $n+1$ strings that respects the diagrammatic multiplication by concatenation in the $A_n$-type Temperley-Lieb algebra, along with the two algorithms implementing this bijection and its inverse.

Combinatorics,Representation Theory
Variations on Pascal's Theorem

Ciro Ciliberto,Rick Miranda

2024-11-12

Abstract:In this paper we present a variety of statements that are in the spirit of the famous theorem of Pascal, often referred to as the Mystic Hexagon. We give explicit equations describing the conditions for $d+4$ points to lie on rational normal curves. A collection of problems of Pascal type are considered for quadric surfaces in $\bbP^3$. Finally we reprove, using computer algebra methods, a remarkable theorem of Richmond, Segre, and Brown, for quadrics in $\bbP^4$ containing five general lines.

Algebraic Geometry
A Riordan array family for some integrable lattice models

Paul Barry

2024-09-15

Abstract:We study a family of Riordan arrays whose square symmetrizations lead to the Robbins numbers as well as numbers associated to the $20$ vertex model. We provide closed-form expressions for the elements of these arrays, and also give a canonical Catalan factorization for them. We describe a related family of Riordan arrays whose symmetrizations also lead to the same integer sequences.

Combinatorics
Illumination of Pascal's Hexagrammum and Octagrammum Mysticum

Djordje Baralic,Igor Spasojevic

DOI: https://doi.org/10.48550/arXiv.1209.4795

2012-11-12

Abstract:We prove general results which include classical facts about 60 Pascal's lines as special cases. Along similar lines we establish analogous results about configurations of 2520 conics arising from Mystic Octagon. We offer a more combinatorial outlook on these results and their dual statements. Bezout's theorem is the main tool, however its application is guided by the empirical evidence and computer experiments with program Cinderella. We also emphasize a connection with $k$-nets of algebraic curves.

Algebraic Geometry,Combinatorics
Integral representations of Catalan numbers using Touchard-like identities

Jean-Christophe Pain

2024-08-02

Abstract:In this article, we use the Touchard identity in order to obtain new integral representations for Catalan numbers. The main idea consists in combining the identity with a known integral representation and resorting to the binomial theorem. The same procedure is applied to a variant of the Touchard identity proposed by Callan a few years ago. The method presented here can be generalized to derive additional integral representations from known ones, provided that the latter have a well-suited form and lend themselves to an analytical summation under the integral sign.

Combinatorics,Number Theory
Counting the lattice rectangles inside Aztec diamonds and square biscuits

Teofil Bogdan,Mircea Dan Rus

DOI: https://doi.org/10.48550/arXiv.2007.13472

2020-07-27

Combinatorics

Abstract:We are counting the lattice rectangles that can be constructed inside several planar shapes and identify the corresponding sequences in the OEIS.
Nested Perfect Arrays

Verónica Becher,Olivier Carton

DOI: https://doi.org/10.1109/tit.2024.3445122

IF: 2.5

2024-09-20

IEEE Transactions on Information Theory

Abstract:We introduce two-dimensional periodic arrays that are a variant of the de Bruijn tori. We call them nested perfect arrays. Instead of asking that every array of a given size has exactly one occurrence, we partition the positions in congruence classes and we ask exactly one occurrence in each congruence class. We also ask that this property applies recursively to each of the subarrays. We give a method to construct nested perfect arrays based on Pascal triangle matrix modulo 2. For the two-symbol alphabet, and for n being a power of 2, we partition the positions of the arrays in many congruence classes by taking the row number modulo n and the column number modulo n. We construct arrays where each possible array occurs times, once in each congruence class. Our method yields exponentially many (in ) different nested perfect arrays.

computer science, information systems,engineering, electrical & electronic

Pascal arrays: counting Catalan sets

On One-Parameter Catalan Arrays

Integer Sequences and Output Arrays

Set-Valued Catalan Combinatorics

Remark on Pascal's Triangle

On arithmetic sums of Cantor-type sequences of integers

Recursive bijections for Catalan objects

Catalan and Motzkin Integral Representations

Algebraic sums of achievable sets involving Cantorvals

Constructible representations and Catalan numbers

Catalan's intervals and realizers of triangulations

Set partitions, tableaux, and subspace profiles under regular diagonal matrices

Multinomial Catalan Numbers and Lucas Analogues

Cataland: Why the Fuss?

Catalan numbers: from FC elements to classical diagram algebras

Variations on Pascal's Theorem

A Riordan array family for some integrable lattice models

Illumination of Pascal's Hexagrammum and Octagrammum Mysticum

Integral representations of Catalan numbers using Touchard-like identities

Counting the lattice rectangles inside Aztec diamonds and square biscuits

Nested Perfect Arrays