arXiv++ Combinatorics

Let \(A=(A,\star)\) be a finite binary algebra, not necessarily associative. For each \(n\geq 1\), every full binary bracketing on \(x_1,\dots,x_n\) determines an \(n\)-ary term operation on \(A\), and hence an evaluation word obtained by listing its values on \(A^n\) in lexicographic order. This produces an \(m^n\times C_{n-1}\) array, where \(m=|A|\) and \(C_{n-1}\) is the \((n-1)\)st Catalan number. We show that the recursive structure of these arrays is governed by the translation monoid \[ T(A)=\langle L_a,R_a:a\in A\rangle\leq A^A, \qquad L_a(x)=a\star x,\quad R_a(x)=x\star a. \] More precisely, context maps arising from subterms are exactly the elements of \(T(A)\), so every element of the translation monoid occurs as a recursive block map. We also prove that rank defines a natural chain of two-sided ideals in \(T(A)\), that the minimum-rank elements form a minimal nonempty two-sided ideal, and that Green's \(\mathcal J\)-classes are contained in rank layers. Finally, we show by example that equal rank does not determine the \(\mathcal J\)-class in general.

Fully bracketed implication terms on $n$ variables are evaluated in Gödel $m$-valued logic on a finite chain, and we enumerate truth-table rows by output value across all Catalan bracketings. Using the Catalan decomposition, we derive a finite system of generating functions for these value counts and introduce a root-split refinement that records the ordered pair of truth values at the top implication, yielding $m^2$ pair classes. We prove that the associated generating functions share a common dominant square-root singularity, which implies a universal $n^{-3/2}$ asymptotic form with exponential growth rate $(4m)^n$ and a limiting output distribution as $n\to\infty$. The root-split refinement yields matching uniform asymptotics for the pair classes and gives a transparent factorization of the original counts.

We investigate the divisibility properties of σ(C_n), the sum-of-divisors function applied to Catalan numbers, in relation to other number-theoretic functions. We establish conditions under which C_n has prime factors of the form 6k-1, derive sufficient criteria for divisibility of σ(C_n), and explore asymptotic estimates for the growth of σ(C_n) using de Bruijn's theorem. These results provide new insights into the arithmetic structure of Catalan numbers.

In this paper we investigate some divisibility properties of Jacobsthal numbers.

In this paper we investigate the algebraic structure of the truth tables of all bracketed formulae with n distinct variables connected by the binary connective of implication.

In this paper we investigate the general combinatorical structure of the truth tables of all bracketed formulae with n distinct variables connected by the binary connective of implication, an m-implication.

In this paper we count the number of rows yn with the value "false" in the truth tables of all bracketed formulae with n distinct variables connected by the binary connective of 2modified-implication". We find a recurrence and an asymptotic formulae for yn. We also determine the parity of yn.

In this paper we determine the parity of some sequences which are related to Catalan numbers. Also we introduce a combinatorical object called, \Catalan tree", and discuss its properties.

In this paper we count the number of rows f_n with the value "false" in the truth tables of all bracketed formulae with n distinct variables connected by the binary connective of implication. We find a recurrence and an asymptotic formulae for f_n. We also show that the ratio of f_n to the total number of rows converges to \frac{3-\sqrt{3}}{6}.