arXiv++ Combinatorics

The article describes prime intervals into the prime factorization of the middle binomial coefficient. Prime factors and prime powers are distributed in layers. Each layer consists of non-repeated prime numbers which are chosen (not calculated) from the noncrossing prime intervals. Repeated factors are formed when primes are duplicated among different layers.

We establish discrete and continuous log-concavity results for a biparametric extension of the $q$-numbers and of the $q$-binomial coefficients. By using classical results for the Jacobi theta function we are able to lift some of our log-concavity results to the elliptic setting. One of our main ingredients is a putatively new lemma involving a multiplicative analogue of Turán's inequality.

For non-negative integers $k\leq n$, we prove a combinatorial identity for the $p$-binomial coefficient $\binom{n}{k}_p$ based on abelian p-groups. A purely combinatorial proof of this identity is not known. While proving this identity, for $r\in \mathbb{N}\cup\{0\},s\in \mathbb{N}$ and $p$ a prime, we present a purely combinatorial formula for the number of subgroups of $\mathbb{Z}^s$ of finite index $p^r$ with quotient isomorphic to the finite abelian $p$-group of type $\underlineλ$, which is a partition of $r$ into at most $s$ parts. This purely combinatorial formula is similar to that for the enumeration of subgroups of a certain type in a finite abelian $p$-group obtained by Lynne Marie Butler. As consequences, this combinatorial formula gives rise to many enumeration formulae that involve polynomials in $p$ with non-negative integer coefficients.

Starting with some determinants of binomial coefficients which are related to Fibonacci and Lucas polynomials we study similar determinants for some generalizations of these polynomials and their q-analogues.

In this note, we confirm two conjectural supercongruences on double sums of binomial coefficients due to El Bachraoui.

In 2009, Sagan and Savage introduced a combinatorial model for the Fibonomial numbers, integer numbers that are obtained from the binomial coefficients by replacing each term by its corresponding Fibonacci number. In this paper, we present a combinatorial description for the $q$-analog and elliptic analog of the Fibonomial numbers. This is achieved by introducing some $q$-weights and elliptic weights to a slight modification of the combinatorial model of Sagan and Savage.

The Lucas polynomials, $\{n\}$, are polynomials in $s$ and $t$ given by $\{ n \} = s \{ n-1 \} + t \{ n-2 \}$ for $n \geq 2$ with $ \{ 0 \} = 0$ and $\{ 1 \} = 1$. The lucanomial coefficients, an analogue of the binomial coefficients, are given by \[ \Bigl\{ \begin{array}{c} n\\k \end{array} \Bigr \} = \frac{ \{n\}! }{ \{k\}! \{n-k\}!}. \] When $s = t = 1$ then $\{ n \} = F_n$ and the lucanomial coefficient becomes the fibonomial coefficient \[ \binom{n}{k}_F = \frac{F_n!}{F_k! F_{n-k}!}. \] The well-known Narayana numbers, $N_{n,k}$ satisfy the equation \[ N_{n,k} = \frac{1}{n} \binom{n}{k} \binom{n}{k-1}. \] \[ %C_n = \sum_{k=1}^n N_{n,k}. %\] In 2018, Bennett, Carrillo, Machacek and Sagan defined the generalized Narayana numbers and conjectured that these numbers are positive integers for $n \geq 1$. In this paper we define the FiboNarayana number $N_{n,k,F}$ and give a new recurrence relation for both the FiboNarayana numbers and the generalized Narayana numbers, proving the conjecture that these are positive integers for $n \geq 1$.

Convolutions for Tribonacci numbers involving binomial coefficients are treated with ordinary generating functions and the diagonalization method of Hautus and Klarner. In this way, the relevant generating function can be established, which is rational. The coefficients can also be expressed. It is sketched how to extend this to Tetranacci numbers and similar quantities.

A binary Steinhaus triangle is a triangle of zeroes and ones that points down and with the same local rule as the Pascal triangle modulo 2. A binary Steinhaus triangle is said to be rotationally symmetric, horizontally symmetric or dihedrally symmetric if it is invariant under the 120 degrees rotation, the horizontal reflection or both, respectively. The first part of this paper is devoted to the study of linear subspaces of rotationally symmetric, horizontally symmetric and dihedrally symmetric binary Steinhaus triangles. We obtain simple explicit bases for each of them by using elementary properties of the binomial coefficients. A Steinhaus graph is a simple graph with an adjacency matrix whose upper-triangular part is a binary Steinhaus triangle. A Steinhaus graph is said to be even or odd if all its vertex degrees are even or odd, respectively. One of the main results of this paper is the existence of an isomorphism between the linear subspace of even Steinhaus graphs and a certain linear subspace of dihedrally symmetric binary Steinhaus triangles. This permits us to give, in the second part of this paper, an explicit basis for even Steinhaus graphs and for the vector space of parity-regular Steinhaus graphs; i.e., the linear subspace of Steinhaus graphs that are even or odd. Finally, in the last part of this paper, we consider the generalized Pascal triangles, that are triangles of zeroes and ones, that point up now, and always with the same local rule as the Pascal triangle modulo 2. New simple bases for each linear subspace of symmetric generalized Pascal triangles are deduced from the results of the first part.

The $q$-binomial coefficients are q-analogues of the binomial coefficients, counting the number of $k$-dimensional subspaces in the $n$-dimensional vector space $\mathbb{F}^n_q$ over $\mathbb{F}_{q}$. In this paper, we define a Euclidean analogue of $q$-binomial coefficients as the number of $k$-dimensional subspaces which have an orthonormal basis in the quadratic space $(\mathbb{F}_{q}^{n},x_{1}^{2}+x_{2}^{2}+\cdots+x_{n}^{2})$ using a poset structure on these subspaces. We prove its various combinatorial properties comparing with those of $q$-binomial coefficients. In addition, we formulate the number of subspaces of other quadratic types and study some related properties.

Worpitzky's identity expresses $n^p$ in terms of the Eulerian numbers and binomial coefficients: $$n^p = \sum_{i=0}^{p-1} \genfrac<>{0pt}{}{p}{i} \binom{n+i}{p}.$$ Pita-Ruiz recently defined numbers $A_{a,b,r}(p,i)$ implicitly to satisfy a generalized Worpitzky identity $$\binom{an+b}{r}^p = \sum_{i=0}^{rp} A_{a,b,r}(p,i) \binom{n+rp-i}{rp},$$ and asked whether there is a combinatorial interpretation of the numbers $A_{a,b,r}(p,i)$. We provide such a combinatorial interpretation by defining a notion of descents in colored multipermutations, and then proving that $A_{a,b,r}(p,i)$ is equal to the number of colored multipermutations of $\{1^r, 2^r, \ldots, p^r\}$ with $a$ colors and $i$ weak descents. We use this to give combinatorial proofs of several identities involving $A_{a,b,r}(p,i)$, including the aforementioned generalized Worpitzky identity.

In this study, depending on the upper and the lower indices of the hyperharmonic number $h_{n}^{(r)}$, nonlinear recurrence relations are obtained. It is shown that generalized harmonic number and hyperharmonic number can be obtained from derivatives of the binomial coefficients. Taking into account of difference and derivative operators, several identities of the harmonic and hyperharmonic numbers are given. Negative-ordered hyperharmonic number is defined and its alternative representations are given.

Abstract. We generalize the $b$-ary binomial coefficients with negative entries, which is based on the generating function obtained in early work. Besides an explicit expression involving the restricted partition, several properties such as symmetry, congruence and Pascal-like recurrence are studies. Finally, we also provide two different generalizations, partially satisfying Pascal-like recurrences.

We show that for every fixed $\ell\in\mathbb{N}$, the set of $n$ with $n^\ell|\binom{2n}{n}$ has a positive asymptotic density $c_\ell$, and we give an asymptotic formula for $c_\ell$ as $\ell\to \infty$. We also show that $\# \{n\le x, (n,\binom{2n}{n})=1 \} \sim cx/\log x$ for some constant $c$. One novelty is a method to capture the effect of large prime factors of integers in general sequences.

Lewis, Reiner, and Stanton conjectured a Hilbert seriesfor a space of invariants under an action of finite general linear groups using $(q,t)$-binomial coefficients. This work gives an analog in positive characteristic of theorems relating various Catalan numbers to the representation theory of rational Cherednik algebras. They consider a finite general linear group as a reflection group acting on the quotient of a polynomial ring by iterated powers of the irrelevant ideal under the Frobenius map. We prove a variant of their conjecture in the local case, when the group acting fixes a reflecting hyperplane.

In number theory, we know Legendre's formula $ v_p(n!) = \sum_{k \ge 1} \lfloor \frac{n}{p^k} \rfloor $, which calculates the $p$-adic valuation of the factorial, i.e. the exponent of the greatest power of a prime $p$ that divides $n!$. There is also the second (or alternative) equality $ v_p (n!) = \frac{n-s_p(n)}{p-1} $ where $s_p(n)$ is the $p$-adic weight of $n$ or the sum of digits of $n$ in base $p$. Both kinds of Legendre's formula allow us to determine valuations of the natural number, the odd factorial, binomial coefficients, Catalan numbers, and other combinatorial objects. The article examines the relationship between the $p$-adic valuation and $p$-adic weight and considers their increments. The arithmetic of the $p$-adic increments is proposed.

We study logarithmic integrals of the form $\int_0^1 x^i\ln^n(x)\ln^m(1-x)dx$. They are expressed as a rational linear combination of certain rational numbers $(n,m)_i$, which we call tiered binomial coefficients, and products of the zeta values $ζ(2)$, $ζ(3)$,\dots. Various properties of the tiered binomial coefficients are established. They involve, amongst others, the binomial transform, truncated multiple zeta and multiple zeta star values, as well as special functions. As an application we discuss the limit law of the number of comparisons of the Quicksort algorithm: we reprove that the moments of the limit law are rational polynomials in the zeta values. A novel expression for the cumulants of the Quicksort limit is also presented.

We introduce the tetrahedron trinomial coefficient transform which takes a Pascal-like arithmetical triangle to a sequence. We define a Pascal-like infinite tetrahedron H, and prove that the application of the tetrahedron trinomial transform to one face T of H provides the opposite edge E to T in H. It follows from the construction that the other directions in H parallel to E can be obtained similarly. In case of Pascal's triangle the sequence generated by the trinomial transform coincides the binomial transform of the central binomial coefficients.

In order to better understand the structure of classical rings of invariants for binary forms, Dixmier proposed, as a conjectural homogeneous system of parameters, an explicit collection of invariants previously studied by Hilbert. We generalize Dixmier's collection and show that a particular subfamily is algebraically independent. Our proof relies on showing certain alternating sums of products of binomial coefficients are nonzero. Along the way we provide a very elementary proof à la Racah, namely, only using the Chu-Vandermonde Theorem, for Dixon's Summation Theorem. We also provide explicit computations of invariants, for the binary octavic, which can serve as ideal introductory examples to Gordan's 1868 method in classical invariant theory.

We provide a unified, probabilistic approach using renewal theory to derive some novel limits of sums for the normalized binomial coefficients and for the normalized Eulerian numbers. We also investigate some corresponding results for their associated distributions -- the binomial distributions for the binomial coefficients and the Irwin-Hall distributions (uniform B-splines) for the Eulerian numbers.