Advances in random matrix theory, zeta functions, and sphere packing

Over four hundred years ago, Sir Walter Raleigh asked his mathematical assistant to find formulas for the number of cannonballs in regularly stacked piles. These investigations aroused the curiosity of the astronomer Johannes Kepler and led to a problem that has gone centuries without a solution: why is the familiar cannonball stack the most efficient arrangement possible? Here we discuss the solution that Hales found in 1998. Almost every part of the 282-page proof relies on long computer verifications. Random matrix theory was developed by physicists to describe the spectra of complex nuclei. In particular, the statistical fluctuations of the eigenvalues (“the energy levels”) follow certain universal laws based on symmetry types. We describe these and then discuss the remarkable appearance of these laws for zeros of the Riemann zeta function (which is the generating function for prime numbers and is the last special function from the last century that is not understood today.) Explaining this phenomenon is a central problem. These topics are distinct, so we present them separately with their own introductory remarks.

New infinite families of exact sums of squares formulas, Jacobi elliptic functions, and Ramanujan’s tau function

In this paper, we give two infinite families of explicit exact formulas that generalize Jacobi’s (1829) 4 and 8 squares identities to 4n2 or 4n(n + 1) squares, respectively, without using cusp forms. Our 24 squares identity leads to a different formula for Ramanujan’s tau function τ(n), when n is odd. These results arise in the setting of Jacobi elliptic functions, Jacobi continued fractions, Hankel or Turánian determinants, Fourier series, Lambert series, inclusion/exclusion, Laplace expansion formula for determinants, and Schur functions. We have also obtained many additional infinite families of identities in this same setting that are analogous to the η-function identities in appendix I of Macdonald’s work [Macdonald, I. G. (1972) Invent. Math. 15, 91–143]. A special case of our methods yields a proof of the two conjectured [Kac, V. G. and Wakimoto, M. (1994) in Progress in Mathematics, eds. Brylinski, J.-L., Brylinski, R., Guillemin, V. & Kac, V. (Birkhäuser Boston, Boston, MA), Vol. 123, pp. 415–456] identities involving representing a positive integer by sums of 4n2 or 4n(n + 1) triangular numbers, respectively. Our 16 and 24 squares identities were originally obtained via multiple basic hypergeometric series, Gustafson’s Cℓ nonterminating 6φ5 summation theorem, and Andrews’ basic hypergeometric series proof of Jacobi’s 4 and 8 squares identities. We have (elsewhere) applied symmetry and Schur function techniques to this original approach to prove the existence of similar infinite families of sums of squares identities for n2 or n(n + 1) squares, respectively. Our sums of more than 8 squares identities are not the same as the formulas of Mathews (1895), Glaisher (1907), Ramanujan (1916), Mordell (1917, 1919), Hardy (1918, 1920), Kac and Wakimoto, and many others.

Phase separation in aqueous solutions of lens gamma-crystallins: special role of gamma s.

We have studied liquid-liquid phase separation in aqueous ternary solutions of calf lens gamma-crystallin proteins. Specifically, we have examined two ternary systems containing gamma s--namely, gamma IVa with gamma s in water and gamma II with gamma s in water. For each system, the phase-separation temperatures (Tph (phi)) alpha as a function of the overall protein volume fraction phi at various fixed compositions alpha (the "cloud-point curves") were measured. For the gamma IVa, gamma s, and water ternary solution, a binodal curve composed of pairs of coexisting points, (phi I, alpha 1) and (phi II, alpha II), at a fixed temperature (20 degrees C) was also determined. We observe that on the cloud-point curve the critical point is at a higher volume fraction than the maximum phase-separation temperature point. We also find that typically the difference in composition between the coexisting phases is at least as significant as the difference in volume fraction. We show that the asymmetric shape of the cloud-point curve is a consequence of this significant composition difference. Our observation that the phase-separation temperature of the mixtures in the high volume fraction region is strongly suppressed suggests that gamma s-crystallin may play an important role in maintaining the transparency of the lens.

The anchorage function of CipA (CelL), a scaffolding protein of the Clostridium thermocellum cellulosome.

Enzymatic cellulose degradation is a heterogeneous reaction requiring binding of soluble cellulase molecules to the solid substrate. Based on our studies of the cellulase complex of Clostridium thermocellum (the cellulosome), we have previously proposed that such binding can be brought about by a special "anchorage subunit." In this "anchor-enzyme" model, CipA (a major subunit of the cellulosome) enhances the activity of CelS (the most abundant catalytic subunit of the cellulosome) by anchoring it to the cellulose surface. We have subsequently reported that CelS contains a conserved duplicated sequence at its C terminus and that CipA contains nine repeated sequences with a cellulose binding domain (CBD) in between the second and third repeats. In this work, we reexamined the anchor-enzyme mechanism by using recombinant CelS (rCelS) and various CipA domains, CBD, R3 (the repeat next to CBD), and CBD/R3, expressed in Escherichia coli. As analyzed by non-denaturing gel electrophoresis, rCelS, through its conserved duplicated sequence, formed a stable complex with R3 or CBD/R3 but not with CBD. Although R3 or CBD alone did not affect the binding of rCelS to cellulose, such binding was dependent on CBD/R3, indicating the anchorage role of CBD/R3. Such anchorage apparently increased the rCelS activity toward crystalline cellulose. These results substantiate the proposed anchor-enzyme model and the expected roles of individual CipA domains and the conserved duplicated sequence of CelS.