Sixth order mock theta functions

Two new mock theta functions of the sixth order are defined. The main theorem in this paper (Theorem 1.1) provides four transformation formulas relating the new mock theta functions with Ramanujan's mock theta functions of the sixth order. Two further representations of the new mock theta functions are established. Lastly, a hitherto unproved entry from Ramanujan's lost notebook related to sixth order mock theta functions is proved.     

Higher integrality conditions, volumes and Ehrhart polynomials

A polytope is integral if all of its vertices are lattice points. The constant term of the Ehrhart polynomial of an integral polytope is known to be 1. In previous work, we showed that the coefficients of the Ehrhart polynomial of a lattice-face polytope are volumes of projections of the polytope. We generalize both results by introducing a notion of k-integral polytopes, where 0-integral is equivalent to integral. We show that the Ehrhart polynomial of a k-integral polytope P has the properties that the coefficients in degrees less than or equal to k are determined by a projection of P, and the coefficients in higher degrees are determined by slices of P. A key step of the proof is that under certain generality conditions, the volume of a polytope is equal to the sum of volumes of slices of the polytope.     

A combinatorial formula for Macdonald polynomials

In this paper we use the combinatorics of alcove walks to give uniform combinatorial formulas for Macdonald polynomials for all Lie types. These formulas resemble the formulas of Haglund, Haiman and Loehr for Macdonald polynomials of type GLn. At q=0 these formulas specialize to the formula of Schwer for the Macdonald spherical function in terms of positively folded alcove walks and at q=t=0 these formulas specialize to the formula for the Weyl character in terms of the Littelmann path model (in the positively folded gallery form of Gaussent and Littelmann).     

A remark on the law of the logarithm for weighted sums of random variables with multidimensional indices

In this work, a sharp upper bound on the law of the logarithm for the weighted sums of random variables with multidimensional indices is obtained. The main result improves the result in [Li, Rao and Wang, 1995. On strong law of large numbers and the law of the logarithm for weighted sums of independent random variables with multidimensional indices. J. Multivariate Anal. 52, 181–198], partly.     

Rank and crank moments for overpartitions

We study two types of crank moments and two types of rank moments for overpartitions. We show that the crank moments and their derivatives, along with certain linear combinations of the rank moments and their derivatives, can be written in terms of quasimodular forms. We then use this fact to prove exact relations involving the moments as well as congruence properties modulo 3, 5, and 7 for some combinatorial functions which may be expressed in terms of the second moments. Finally, we establish a congruence modulo 3 involving one such combinatorial function and the Hurwitz class number H(n).     

The Bailey chain and mock theta functions

Standard applications of the Bailey chain preserve mixed mock modularity but not mock modularity. After illustrating this with some examples, we show how to use a change of base in Bailey pairs due to Bressoud, Ismail and Stanton to explicitly construct families of q$q$-hypergeometric multisums which are mock theta functions. We also prove identities involving some of these multisums and certain classical mock theta functions.     

Discrete Tomography and plane partitions

A plane partition   is a p×q$p\times q$ matrix A=(_aij)$A=(a_{ij})$, where 1?i?p$1?i?p$ and 1?j?q$1?j?q$, with non-negative integer entries, and whose rows and columns are weakly decreasing. From a geometric point of view plane partitions are equivalent to pyramids  , subsets of the integer lattice Z³${\mathbb{Z}}^3$ which play an important role in Discrete Tomography. As a consequence, some typical problems concerning the tomography of discrete lattice sets can be rephrased and considered via plane partitions. In this paper we focus on some of them. In particular, we get a necessary and sufficient condition for additivity, a canonical procedure for checking the existence of (weakly) bad configurations, and an algorithm which constructs minimal pyramids (with respect to the number of levels) with assigned projection of a bad configurations.     

Proof of the Andrews–Dyson–Rhoades conjecture on the spt-crank

The spt-crank of a vector partition, or an S  -partition, was introduced by Andrews, Garvan and Liang. Let _NS(m,n)$N_S(m,n)$ denote the net number of S-partitions of n with spt-crank m, that is, the number of S  -partitions (_π1,_π2,_π3)$({\pi }_1,{\pi }_2,{\pi }_3)$ of n with spt-crank m   such that the length of _π1${\pi }_1$ is odd minus the number of S  -partitions (_π1,_π2,_π3)$({\pi }_1,{\pi }_2,{\pi }_3)$ of n with spt-crank m   such that the length of _π1${\pi }_1$ is even. Andrews, Dyson and Rhoades conjectured that _{NS(m,n)}m${\{N_S(m,n)\}}_m$ is unimodal for any n  , and they showed that this conjecture is equivalent to an inequality between the rank and crank of ordinary partitions. They obtained an asymptotic formula for the difference between the rank and crank of ordinary partitions, which implies _NS(m,n)≥_NS(m+1,n)$N_S(m,n)\ge N_S(m+1,n)$ for sufficiently large n and fixed m. In this paper, we introduce a representation of an ordinary partition, called the m-Durfee rectangle symbol, which is a rectangular generalization of the Durfee symbol introduced by Andrews. We give a proof of the conjecture of Andrews, Dyson and Rhoades. We also show that this conjecture implies an inequality between the positive rank and crank moments obtained by Andrews, Chan and Kim.     

Coefficients of half-integral weight modular forms

In this paper, we study the distribution of the coefficients a(n) of half-integral weight modular forms modulo odd integers M. As a consequence, we obtain improvements of indivisibility results for the central critical values of quadratic twists of L-functions associated with integral weight newforms established in Ono and Skinner (Fourier coefficients of half-integral weight modular forms modulo ?, Ann. of Math. 147 (1998) 453-470). Moreover, we find a simple criterion for proving cases of Newman's conjecture for the partition function.     

Sur les bonnes valeurs initiales de la suite de Lucas–Lehmer

In this article we give an infinite number of good initial values for the Lucas–Lehmer sequence.     

?-adic properties of smallest parts functions

We prove explicit congruences modulo powers of arbitrary primes for three smallest parts functions: one for partitions, one for overpartitions, and one for partitions without repeated odd parts. The proofs depend on ?-adic properties of certain modular forms and mock modular forms of weight 3/2 with respect to the Hecke operators T(?2m).     

Restricted 123-avoiding Baxter permutations and the Padovan numbers

Baxter studied a particular class of permutations by considering fixed points of the composite of commuting functions. This class is called Baxter permutations. In this paper we investigate the number of 123-avoiding Baxter permutations of length n that also avoid (or contain a prescribed number of occurrences of) another certain pattern of length k. In several interesting cases the generating function depends only on k and is expressed via the generating function for the Padovan numbers.     

Lie algebroid fibrations

A degree 1 non-negative graded super manifold equipped with a degree 1 vector field Q satisfying [Q,Q]=1, namely a so-called NQ-1 manifold is, in plain differential geometry language, a Lie algebroid. We introduce a notion of fibration for such super manifolds, that essentially involves a complete Ehresmann connection. As it is the case for Lie algebras, such fibrations turn out not to be just locally trivial products. We also define homotopy groups and prove the expected long exact sequence associated to a fibration. In particular, Crainic and Fernandes's obstruction to the integrability of Lie algebroids is interpreted as the image of a transgression map in this long exact sequence.     

Modular relations for the nonic analogues of the Rogers-Ramanujan functions with applications to partitions

We define the nonic Rogers-Ramanujan-type functions D(q), E(q) and F(q) and establish several modular relations involving these functions, which are analogous to Ramanujan's well known forty identities for the Rogers-Ramanujan functions. We also extract partition theoretic results from some of these relations.     

Topological flatness of local models for ramified unitary groups. I. The odd dimensional case

Local models are certain schemes, defined in terms of linear-algebraic moduli problems, which give étale-local neighborhoods of integral models of certain p-adic PEL Shimura varieties defined by Rapoport and Zink. When the group defining the Shimura variety ramifies at p, the local models (and hence the Shimura models) as originally defined can fail to be flat, and it becomes desirable to modify their definition so as to obtain a flat scheme. In the case of unitary similitude groups whose localizations at Qp are ramified, quasi-split GUn, Pappas and Rapoport have added new conditions, the so-called wedge and spin conditions, to the moduli problem defining the original local models and conjectured that their new local models are flat. We prove a preliminary form of their conjecture, namely that their new models are topologically flat, in the case n is odd.     

Overpartition pairs and two classes of basic hypergeometric series

We study the combinatorics of two classes of basic hypergeometric series. We first show that these series are the generating functions for certain overpartition pairs defined by frequency conditions on the parts. We then show that when specialized these series are also the generating functions for overpartition pairs with bounded successive ranks, overpartition pairs with conditions on their Durfee dissection, as well as certain lattice paths. When further specialized, the series become infinite products, leading to numerous identities for partitions, overpartitions, and overpartition pairs.     

Partitions and overpartitions with attached parts

We show how to interpret a certain q-series as a generating function for overpartitions with attached parts. A number of families of partition theorems follow as corollaries. Received: 12 April 2006     

An extension to overpartitions of the Rogers-Ramanujan identities for even moduli

We study a class of well-poised basic hypergeometric series , interpreting these series as generating functions for overpartitions defined by multiplicity conditions on the number of parts. We also show how to interpret the as generating functions for overpartitions whose successive ranks are bounded, for overpartitions that are invariant under a certain class of conjugations, and for special restricted lattice paths. We highlight the cases (a,q)→(1/q,q), (1/q,q²), and (0,q), where some of the functions become infinite products. The latter case corresponds to Bressoud's family of Rogers-Ramanujan identities for even moduli.     

Asymptotics of multivariate sequences, part III: Quadratic points

We consider a number of combinatorial problems in which rational generating functions may be obtained, whose denominators have factors with certain singularities. Specifically, there exist points near which one of the factors is asymptotic to a nondegenerate quadratic. We compute the asymptotics of the coefficients of such a generating function. The computation requires some topological deformations as well as Fourier–Laplace transforms of generalized functions. We apply the results of the theory to specific combinatorial problems, such as Aztec diamond tilings, cube groves, and multi-set permutations.     

The iterated Aluthge transforms of a matrix converge

Given an r×r complex matrix T, if T=U|T| is the polar decomposition of T, then, the Aluthge transform is defined byΔ(T)=|T|^1/2U|T|^1/2. Let Δn(T) denote the n-times iterated Aluthge transform of T, i.e., Δ⁰(T)=T and Δn(T)=Δ(Δn−1(T)), n∈N. We prove that the sequence {Δn(T)}_n∈N converges for every r×r matrix T. This result was conjectured by Jung, Ko and Pearcy in 2003. We also analyze the regularity of the limit function.