arXiv++ Combinatorics

There is an asymptotic relationship between the multiplicative relations among multinomial coefficients and the (additive) recurrence property of Shannon entropy known as the chain rule. We show that both types of identities are manifestations of a unique algebraic construction: a $1$-cocycle condition in \emph{information cohomology}, an algebraic invariant of phesheaves of modules on \emph{information structures} (categories of observables). Baudot and Bennequin introduced this cohomology and proved that Shannon entropy represents the only nontrivial cohomology class in degree $1$ when the coefficients are a natural presheaf of probabilistic functionals. The author obtained later a $1$-parameter family of deformations of that presheaf, in such a way that each Tsallis $α$-entropy appears as the unique $1$-cocycle associated to the parameter $α$. In this article, we introduce a new presheaf of \emph{combinatorial functionals}, which are measurable functions of finite arrays of integers; these arrays represent \emph{histograms} associated to random experiments. In this case, the only cohomology class in degree $0$ is generated by the exponential function and $1$-cocycles are Fontené-Ward generalized multinomial coefficients. As a byproduct, we get a simple combinatorial analogue of the fundamental equation of information theory that characterizes the generalized binomial coefficients. The asymptotic relationship mentioned above is extended to a correspondence between certain generalized multinomial coefficients and any $α$-entropy, that sheds new light on the meaning of the chain rule and its deformations.

We obtain some new results on the unimodal sequences of the real values of rational functions by polynomials with positive integer coefficients. Thus, we introduce the notion of merged-log-concavity of rational functions. Roughly speaking, the notion extends Stanley's $q$-log-concavity of polynomials. We construct explicit merged-log-concave rational functions by $q$-binomial coefficients, Hadamard products, and convolutions, extending the Cauchy-Binet formula. Then, we obtain the unimodal sequences of rational functions by Young diagrams. Moreover, we consider the variation of unimodal sequences by critical points that separate strictly increasing, strictly decreasing, and hill-shape sequences among almost strictly unimodal sequences. Also, the critical points are zeros of polynomials in a suitable setting. The study above extends the $t$-power series of $(\pm t;q)_{\infty}^{\mp 1}$ to some extent by polynomials with positive integer coefficients and the variation of unimodal sequences. We then obtain the golden ratio of quantum dilogarithms ($q$-exponentials) as a critical point. Additionally, we consider eta products, generalized Narayana numbers, and weighted $q$-multinomial coefficients, which we introduce. In statistical mechanics, we discuss the grand canonical partition functions of some ideal boson-fermion gases with or without Casimir energies (Ramanujan summation). The merged-log-concavity gives phase transitions on Helmholtz free energies by critical points of the metallic ratios including the golden ratio. In particular, the phase transitions implies non-zero particle vacua from zero particle vacua as the temperature rises.

We provide bivariate asymptotics for the poly-Bernoulli numbers, a combinatorial array that enumerates lonesum matrices, using the methods of Analytic Combinatorics in Several Variables (ACSV). For the diagonal asymptotic (i.e., for the special case of square lonesum matrices) we present an alternative proof based on Parseval's identity. In addition, we provide an application in Algebraic Statistics on the asymptotic ML-degree of the bivariate multinomial missing data problem, and we strengthen an existing result on asymptotic enumeration of permutations having a specified excedance set.

In the paper, the authors establish an inequality involving exponential functions and sums, introduce a ratio of many gamma functions, discuss properties, including monotonicity, logarithmic convexity, (logarithmically) complete monotonicity, and the Bernstein function property, of the newly introduced ratio, and construct two inequalities of multinomial coefficients and multivariate beta functions.

Using sequences of finite length with positive integer elements and the inversion statistic on such sequences, a collection of binomial and multinomial identities are extended to their $q$-analog form via combinatorial proofs. Using the major index statistic on sequences, a connection between integer partitions with kinds and finite differences of the coefficients of generalized Galois numbers is established.

Given any n-tuple of complex numbers, one can canonically define a polynomial of degree n+1 that has the entries of this n-tuple as its critical points. In 2002, Beardon, Carne, and Ng studied a map $θ\colon \mathbb{C}^n\to \mathbb{C}^n$ which outputs the critical values of the canonical polynomial constructed from the input, and they proved that this map is onto. Along the way, they showed that $θ$ is a local homeomorphism whenever the entries of the input are distinct and nonzero, and, implicitly, they produced a polynomial expression for the Jacobian determinant of $θ$. In this article we extend and generalize both the local homeomorphism result and the elegant determinant identity to analogous situations where the critical points occur with multiplicities. This involves stratifying $\mathbb{C}^n$ according to which coordinates are equal and generalizing $θ$ to a similar map $\mathbb{C}^\ell \to \mathbb{C}^\ell$ where $\ell$ is the number of distinct critical points. The more complicated determinant identity that we establish is closely connected to the multinomial identity known as Dyson's conjecture.

Let $G$ be the group scheme $\operatorname{SL}_{d+1}$ over $\mathbb{Z}$ and let $Q$ be the parabolic subgroup scheme corresponding to the simple roots $α_{2},\cdots,α_{d-1}$. Then $G/Q$ is the $\mathbb{Z} $-scheme of partial flags $\{D_{1}\subset H_{d}\subset V\}$. We will calculate the cohomology modules of line bundles over this flag scheme. We will prove that the only non-trivial ones are isomorphic to the kernel or the cokernel of certain matrices with multinomial coefficients.

In this brief note a straightforward combinatorial proof for an identity directly connecting rooted forests and unordered set partitions is provided. Furthermore, references that put this type of identity in the context of forest volumes and multinomial identities are given.

We introduce a notion of finite sampling consistency for phylogenetic trees and show that the set of finitely sampling consistent and exchangeable distributions on n leaf phylogenetic trees is a polytope. We use this polytope to show that the set of all exchangeable and infinite sampling consistent distributions on 4 leaf phylogenetic trees is exactly Aldous' beta-splitting model and give a description of some of the vertices for the polytope of distributions on 5 leaves. We also introduce a new semialgebraic set of exchangeable and sampling consistent models we call the multinomial model and use it to characterize the set of exchangeable and sampling consistent distributions.

Dyson's celebrated constant term conjecture ({\em J. Math. Phys.}, 3 (1962): 140--156) states that the constant term in the expansion of $\prod_{1\leqq i\neq j\leqq n} (1-x_i/x_j)^{a_j}$ is the multinomial coefficient $(a_1 + a_2 + \cdots + a_n)!/ (a_1! a_2! \cdots a_n!)$. The definitive proof was given by I. J. Good ({\em J. Math. Phys.}, 11 (1970) 1884). Later, Andrews extended Dyson's conjecture to a $q$-analog ({\em The Theory and Application of Special Functions}, (R. Askey, ed.), New York: Academic Press, 191--224, 1975.) In this paper, closed form expressions are given for the coefficients of several other terms in the Dyson product, and are proved using an extension of Good's idea. Also, conjectures for the corresponding $q$-analogs are supplied. Finally, perturbed versions of the $q$-Dixon summation formula are presented.

The set of permutations on a finite set can be given the lattice structure known as the weak Bruhat order. This lattice structure is generalized to the set of words on a fixed alphabet $Σ$ = {x,y,z,...}, where each letter has a fixed number of occurrences. These lattices are known as multinomial lattices and, when card($Σ$) = 2, as lattices of lattice paths. By interpreting the letters x, y, z, . . . as axes, these words can be interpreted as discrete increasing paths on a grid of a d-dimensional cube, with d = card($Σ$).We show how to extend this ordering to images of continuous monotone functions from the unit interval to a d-dimensional cube and prove that this ordering is a lattice, denoted by L(I^d). This construction relies on a few algebraic properties of the quantale of join-continuous functions from the unit interval of the reals to itself: it is cyclic $\star$-autonomous and it satisfies the mix rule.We investigate structural properties of these lattices, which are self-dual and not distributive. We characterize join-irreducible elements and show that these lattices are generated under infinite joins from their join-irreducible elements, they have no completely join-irreducible elements nor compact elements. We study then embeddings of the d-dimensional multinomial lattices into L(I^d). We show that these embeddings arise functorially from subdivisions of the unit interval and observe that L(I^d) is the Dedekind-MacNeille completion of the colimit of these embeddings. Yet, if we restrict to embeddings that take rational values and if d > 2, then every element of L(I^d) is only a join of meets of elements from the colimit of these embeddings.

We offer a new proof that a certain q-analogue of multinomial coeffi- cients furnishes a q-counting of the set of permutations of an associated multiset of positive integers, according to the number of inversions in such arrangements. Our proof uses the fact that such q-multinomial coefficients enumerate certain classes of chains of subspaces of a fnite dimensional vector space over a fnite field of cardinality q. Additionally, we investigate the function that counts the number of permutations of a multiset having a fixed number of inversions.

The set of permutations on a finite set can be given a lattice structure (known as the weak Bruhat order). The lattice structure is generalized to the set of words on a fixed alphabet $Σ= \{ x, y, z, ... \}$, where each letter has a fixed number of occurrences (these lattices are known as multinomial lattices and, in dimension 2, as lattices of lattice paths). By interpreting the letters $x, y, z, ...$ as axes, these words can be interpreted as discrete increasing paths on a grid of a $d$-dimensional cube, where $d = {\rm card}(Σ)$. We show in this paper how to extend this order to images of continuous monotone paths from the unit interval to a $d$-dimensional cube. The key tool used to realize this construction is the quantale $\mathsf{L}_{\vee}(\mathbb{I})$ of join-continuous functions from the unit interval to itself; the construction relies on a few algebraic properties of this quantale: it is $\star$-autonomous and it satisfies the mix rule. We begin developing a structural theory of these lattices by characterizing join-irreducible elements, and by proving these lattices are generated from their join-irreducible elements under infinite joins.

In this paper, we completely determine the isotopism classes of the Budaghyan-Helleseth commutative semifields constructed in [L. Budaghyan, T. Helleseth, New commutative semifields defined by PN multinomials, Crypto. Comm. 3 (1), 2011, p. 1-16].

Exponential sums have applications to a variety of scientific fields, including, but not limited to, cryptography, coding theory and information theory. Closed formulas for exponential sums of symmetric Boolean functions were found by Cai, Green and Thierauf in the late 1990's. Their closed formulas imply that these exponential sums are linear recursive. The linear recursivity of these sums has been exploited in numerous papers and has been used to compute the asymptotic behavior of such sequences. In this article, we extend the result of Cai, Green and Thierauf, that is, we find closed formulas for exponential sums of symmetric polynomials over any Galois fields. Our result also implies that the recursive nature of these sequences is not unique to the binary field, as they are also linear recursive over any finite field. In fact, we provide explicit linear recurrences with integer coefficients for such sequences. As a byproduct of our results, we discover a link between exponential sums of symmetric polynomials over Galois fields and a problem for multinomial coefficients which similar to the problem of bisecting binomial coefficients.

Following the work of Cano and Diaz, we consider a continuous analog of lattice path enumeration. This allows us to define a continuous version of any discrete object that counts certain types of lattice paths. We define continuous versions of binomials and multinomials, and describe some identities and partial differential equations they satisfy. Finally, we illustrate a general process to recover discrete combinatorial quantities from their continuous analogs.

In 1947 Nathan Fine gave a beautiful product for the number of binomial coefficients $\binom{n}{m}$, for $m$ in the range $0 \leq m \leq n$, that are not divisible by $p$. We give a matrix product that generalizes Fine's formula, simultaneously counting binomial coefficients with $p$-adic valuation $α$ for each $α\geq 0$. For each $n$ this information is naturally encoded in a polynomial generating function, and the sequence of these polynomials is $p$-regular in the sense of Allouche and Shallit. We also give a further generalization to multinomial coefficients.

This paper shows how the study of colored compositions of integers reveals some unexpected and original connection with the Invert operator. The Invert operator becomes an important tool to solve the problem of directly counting the number of colored compositions for any coloration. The interesting consequences arising from this relationship also give an immediate and simple criterion to determine whether a sequence of integers counts the number of some colored compositions. Applications to Catalan and Fibonacci numbers naturally emerge, allowing to clearly answer to some open questions. Moreover, the definition of colored compositions with the "black tie" provides straightforward combinatorial proofs to a new identity involving multinomial coefficients and to a new closed formula for the Invert operator. Finally, colored compositions with the "black tie" give rise to a new combinatorial interpretation for the convolution operator, and to a new and easy method to count the number of parts of colored compositions.

Fibonacci numbers can be expressed in terms of multinomial coefficients as sums over integer partitions into odd parts. We use this fact to introduce a family of double inequalities involving the generating function for the number of partitions into odd parts and the generating function for the number of odd divisors.

We prove that, for any prime $p$ and positive integer $r$ with $p^r>2$, the number of multinomial coefficients such that $$ {k\choose k_1,k_2,\ldots,k_n}=p^r,\quad \text{and}\quad k_1+2k_2+\cdots+nk_n=n, $$ is given by $$ δ_{p^r,\,k}\left(\left\lfloor\frac{n-1}{p^r-1}\right\rfloor -δ_{0,\,n\bmod p^r} \right), $$ where $δ_{i,j}$ is the Kronecker delta and $\lfloor x\rfloor$ stands for the largest integer not exceeding $x$. This confirms a recent conjecture of Mircea Merca.