arXiv++ Combinatorics

The original Beck conjecture, now a theorem due to Andrews, states that the difference in the number of parts in all partitions into odd parts and the number of parts in all strict partitions is equal to the number of partitions whose set of even parts has one element, and also to the number of partitions with exactly one part repeated. This is a companion identity to Euler's identity. The theorem has been generalized by Yang to a companion identity to Glaisher's identity. Franklin generalized Glaisher's identity, and in this article, we provide a Beck-type companion identity to Franklin's identity and prove it both analytically and combinatorially. Andrews' and Yang's respective theorems fit naturally into this very general frame. We also discuss a generalization to Franklin's identity of the second Beck-type companion identity proved by Andrews and Yang in their respective work.

Let $\mathcal O_r(n)$ be the set of $r$-regular partitions of $n$, $\mathcal D_r(n)$ the set of partitions of $n$ with parts repeated at most $r-1$ times, $\mathcal O_{1,r}(n)$ the set of partitions with exactly one part (possibly repeated) divisible by $r$, and let $\mathcal D_{1,r}(n)$ be the set of partitions in which exactly one part appears at least $r$ times. If $E_{r, t}(n)$ is the excess in the number of parts congruent to $t \pmod r$ in all partitions in $\mathcal O_r(n)$ over the number of different parts appearing at least $t$ times in all partitions in $\mathcal D_r(n)$, then $E_{r, t}(n) = |\mathcal O_{1,r}(n)| = |\mathcal D_{1,r}(n)|$. We prove this analytically and combinatorially using a bijection due to Xiong and Keith. As a corollary, we obtain the first Beck-type identity, i.e., the excess in the number of parts in all partitions in $\mathcal{O}_r(n)$ over the number of parts in all partitions in $\mathcal{D}_r(n)$ equals $(r - 1)|\mathcal{O}_{1,r}(n)|$ and also $(r - 1)|\mathcal{D}_{1,r}(n)|$. Our work provides a new combinatorial proof of this result that does not use Glaisher's bijection. We also give a new combinatorial proof based of the Xiong-Keith bijection for a second Beck-Type identity that has been proved previously using Glaisher's bijection.

Partition identities are often statements asserting that the set $\mathcal P_X$ of partitions of $n$ subject to condition $X$ is equinumerous to the set $\mathcal P_Y$ of partitions of $n$ subject to condition $Y$. A Beck-type identity is a companion identity to $|\mathcal P_X|=|\mathcal P_Y|$ asserting that the difference $b(n)$ between the number of parts in all partitions in $\mathcal P_X$ and the number of parts in all partitions in $\mathcal P_Y$ equals a $c|\mathcal P_{X'}|$ and also $c|\mathcal P_{Y'}|$, where $c$ is some constant related to the original identity, and $X'$, respectively $Y'$, is a condition on partitions that is a very slight relaxation of condition $X$, respectively $Y$. A second Beck-type identity involves the difference $b'(n)$ between the total number of different parts in all partitions in $\mathcal P_X$ and the total number of different parts in all partitions in $\mathcal P_Y$. We extend these results to Beck-type identities accompanying all identities given by Euler pairs of order $r$ (for any $r\geq 2$). As a consequence, we obtain many families of new Beck-type identities. We give analytic and bijective proofs of our results.

The minimal excludant of a partition $λ$, $\rm{mex}(λ)$, is the smallest positive integer that is not a part of $λ$. For a positive integer $n$, $ σ\, \rm{mex}(n)$ denotes the sum of the minimal excludants of all partitions of $n$. Recently, Andrews and Newman obtained a new combinatorial interpretations for $σ\, \rm{mex}(n)$. They showed, using generating functions, that $σ\, \rm{mex}(n)$ equals the number of partitions of $n$ into distinct parts using two colors. In this paper, we provide a purely combinatorial proof of this result and new properties of the function $σ\, \rm{mex}(n)$. We generalize this combinatorial interpretation to $σ_r\, \rm{mex}(n)$, the sum of least $r$-gaps in all partitions of $n$. The least $r$-gap of a partition $λ$ is the smallest positive integer that does not appear at least $r$ times as a part of $λ$.

We prove combinatorially some identities related to Euler's partition identity (the number of partitions of $n$ into distinct parts equals the number of partitions of $n$ into odd parts). They were conjectured by Beck and proved by Andrews via generating functions. Let $a(n)$ be the number of partitions of $n$ such that the set of even parts has exactly one element, $b(n)$ be the difference between the number of parts in all odd partitions of $n$ and the number of parts in all distinct partitions of $n$, and $c(n)$ be the number of partitions of $n$ in which exactly one part is repeated. Then, $a(n)=b(n)=c(n)$. The identity $a(n)=c(n)$ was proved combinatorially (in greater generality) by Fu and Tang. We prove combinatorially that $a(n)=b(n)$ and $b(n)=c(n)$. Our proof relies on bijections between a set and a multiset, where the partitions in the multiset are decorated with bit strings. Let $c_1(n)$ be the number of partitions of $n$ such that there is exactly one part occurring three times while all other parts occur only once and let $b_1(n)$ to be the difference between the total number of parts in the partitions of $n$ into distinct parts and the total number of different parts in the partitions of $n$ into odd parts. We prove combinatorially that $c_1(n)=b_1(n)$. In addition to these results by Andrews, we prove combinatorially that $b_1(n)=a_1(n)$, where $a_1(n)$ counts partitions of $n$ such that the set of even parts has exactly one element and satisfying some additional conditions. We also treat the case when exactly one part occurs twice while all other parts occur only once.

In the 1995 paper entitled "Noncommutative symmetric functions," Gelfand, et. al. defined two noncommutative symmetric function analogues for the power sum basis of the symmetric functions, along with analogues for the elementary and the homogeneous bases. They did not consider the noncommutative symmetric power sum duals in the quasisymmetric functions, which have since been explored only in passing by Derksen and Malvenuto-Reutenauer. These two distinct quasisymmetric power sum bases are the topic of this paper. In contrast to the simplicity of the symmetric power sums, or the other well known bases of the quasisymmetric functions, the quasisymmetric power sums have a more complex combinatorial description. As a result, although symmetric function proofs often translate directly to quasisymmetric analogues, this is not the case for quasisymmetric power sums. Neither is there a model for working with the quasisymmetric power sums in the work of Gelfand, et. al., which relies heavily on quasi-determinants (which can only be exploited by duality for our purposes) and is not particularly combinatorial in nature. This paper therefore offers a first glimpse at working with these two relatively unstudied quasisymmetric bases, avoiding duality where possible to encourage a previously unexplored combinatorial understanding.

The least $r$-gap, $g_r(λ)$, of a partition $λ$ is the smallest part of $λ$ appearing less than $r$ times. In this article we introduce two new partition functions involving least $r$-gaps. We consider a bisection of a classical theta identity and prove new identities relating Euler's partition function $p(n)$, polygonal numbers, and the new partition functions. To prove the results we use an interplay of combinatorial and $q$-series methods. We also give a combinatorial interpretation for $$\sum_{n=0}^\infty (\pm 1)^{k(k+1)/2} p(n-r\cdot k(k+1)/2).$$

We use recent work of Jonah Blasiak (2012) to prove a stability result for the coefficients in the Kronecker product of two Schur functions: one indexed by a hook partition and one indexed by a rectangle partition. We also give bounds for the size of the partition starting with which the Kronecker coefficients are stable. Moreover, we show that once the bound is reached, no new Schur functions appear in the decomposition of Kronecker product, thus allowing one to recover the decomposition from the smallest case in which the stability holds.

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.

Determining if a symmetric function is Schur-positive is a prevalent and, in general, a notoriously difficult problem. In this paper we study the Schur-positivity of a family of symmetric functions. Given a partition λ, we denote by λ^c its complement in a square partition (m^m). We conjecture a Schur-positivity criterion for symmetric functions of the form s_{μ'}s_{μ^c}-s_{λ'}s_{λ^c}, where λis a partition of weight |μ|-1 contained in μand the complement of μis taken in the same square partition as the complement of λ. We prove the conjecture in many cases.

Since every even power of the Vandermonde determinant is a symmetric polynomial, we want to understand its decomposition in terms of the basis of Schur functions. We investigate several combinatorial properties of the coefficients in the decomposition. In particular, we give recursive formulas for the coefficient of the Schur function $s_{\m}$ in the decomposition of an even power of the Vandermonde determinant in $n + 1$ variables in terms of the coefficient of the Schur function $s_ł$ in the decomposition of the same even power of the Vandermonde determinant in $n$ variables if the Young diagram of $\m$ is obtained from the Young diagram of $ł$ by adding a tetris type shape to the top or to the left. An extended abstract containing the statement of the results presented here appeared in the Proceedings of FPSAC11

We use the representation theory of the quasisplit form G of SU(3) over a p-adic field to investigate whether certain quotients of the Bruhat--Tits tree associated to this form are Ramanujan bigraphs. We show that a quotient of the tree associated with G (which is a biregular bigraph) is Ramanujan if and only if G satisfies a Ramanujan type conjecture. This result is analogous to the seminal case of PGL(2) considered by Lubotzky-Phillips-Sarnak. As a consequence, the classification by Rogawski of the automorphic spectrum of U(3) implies the existence of certain infinite families of Ramanujan bigraphs.

We generalize the zig-zag product construction to produce infinite families of regular graphs of any constant degree. We analyze the second largest eigenvalue of this new zig-zag product to show that the modified zig-zag product of good expanders is again a good expander (yet not Ramanujan).