Related papers: Black Cell Capacity in Catalan polyominoes
In this paper, firstly, we introduce a higher-dimensional analogue of hypergraphs, namely $\omega$-hypergraphs. This notion is thoroughly flexible because unlike ordinary $\omega$-graphs, an n-dimensional edge called an n-cell has many…
Fully bracketed implication terms on $n$ variables are evaluated in G\"odel $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…
A polynomial $A(q)=\sum_{i=0}^n a_iq^i$ is said to be unimodal if $a_0\le a_1\le \cdots \le a_k\ge a_{k+1} \ge \cdots \ge a_n$. We investigate the unimodality of rational $q$-Catalan polynomials, which is defined to be $C_{m,n}(q)=…
A new class of alternating convolutions concerning binomial coefficients and Catalan numbers are evaluated in closed forms.
We prove that, for all binary-input symmetric memoryless channels, polar codes enable reliable communication at rates within $\epsilon > 0$ of the Shannon capacity with a block length, construction complexity, and decoding complexity all…
For a Catalan state $C$ of a lattice crossing $L\left( m,n\right) $ with no returns on one side, we find its coefficient $C\left( A\right) $ in the Relative Kauffman Bracket Skein Module expansion of $L\left( m,n\right) $. We show, in…
Given an $n\times n$ array $M$ ($n\ge 7$), where each cell is colored in one of two colors, we give a necessary and sufficient condition for the existence of a partition of $M$ into $n$ diagonals, each containing at least one cell of each…
Towards the study of the Kashiwara B(infinity) crystal, sets H^t of functions were introduced given by equivalence classes of unordered partitions satisfying certain boundary conditions. Here it is shown that H^t is a Catalan set of order…
This article surveys some theoretical aspects of Cellular Automata (CAs) research. In particular, we discuss on maximal length CA. An n-cell CA is a maximal length CA, if all the configurations except one form a single cycle. There is a…
We describe arithmetic algorithms on a canonical number representation based on the Catalan family of combinatorial objects specified as a Haskell type class. Our algorithms work on a {\em generic} representation that we illustrate on…
Let $\lambda$ be a partition, viewed as a Young diagram. We define the hook difference of a cell of $\lambda$ to be the difference of its leg and arm lengths. Define $h_{1,1}(\lambda)$ to be the number of cells of $\lambda$ with hook…
The Voronoi tessellation of a homogeneous Poisson point process in the lower half-plane gives rise to a family of vertical elongated cells in the upper half-plane. The set of edges of these cells is ruled by a Markovian branching mechanism…
This work considers a binomial noise channel. The paper can be roughly divided into two parts. The first part is concerned with the properties of the capacity-achieving distribution. In particular, for the binomial channel, it is not known…
The binomial coefficients and Catalan triangle numbers appear as weight multiplicities of the finite-dimensional simple Lie algebras and affine Kac--Moody algebras. We prove that any binomial coefficient can be written as weighted sums…
We refine Catalan numbers and Fu{\ss}-Catalan numbers by introducing colour statistics for triangulations of polygons and $d$-dimensional generalisations there-of which we call Fu{\ss}-Catalan complexes. Our refinements consist in showing…
We present a new framework for creating elegant algorithms for exact uniform sampling of important Catalan structures, such as triangulations of convex polygons, Dyck words, monotonic lattice paths and mountain ranges. Along with sampling,…
While the number of polyominoes is known to be supermultiplicative by a simple concatenation argument, it is still unknown whether the same applies to polyiamonds. This article proves that if $\ell,m$ are not both $1$, then $T(\ell+m)\ge…
It is well known that the Catalan number C_n counts dissections of a regular (n+2)-gon into triangles. Here we count such dissections by number of triangles that contain two sides of the polygon among their three edges, leading to a…
Nicholas Pippenger and Kristin Schleich have recently given a combinatorial interpretation for the second-order super-Catalan numbers (u_{n})_{n>=0}=(3,2,3,6,14,36,...): they count "aligned cubic trees" on n internal vertices. Here we give…
Satisfiability Modulo Theories (SMT) solvers check the satisfiability of quantifier-free first-order logic formulas. We consider the theory of non-linear real arithmetic where the formulae are logical combinations of polynomial constraints.…