SearcharxivSearch

arXiv subjects

Shaun Cooper

Publications and source records attributed to Shaun Cooper.

16 recordsLinked to original sources

Quadratic irrational analogues of Ramanujan's series for $1/\pi$

About 40 years ago Jonathan and Peter Borwein discovered the series identity $$ \sum_{n=0}^\infty \frac{(-1)^n(6n)!}{(3n)!(n!)^3} \frac{(A+nB)}{C^{n+1/2}} = \frac{1}{12\pi} $$ where \begin{align*} A&=1657145277365+212175710912\sqrt{61},\cr B&=107578229802750+13773980892672\sqrt{61},\cr C&=\left(5280(236674+30303\sqrt{61})\right)^3 \end{align*} which adds roughly 25 digits of accuracy per term. They noted that if each of the quadratic irrationals $A$, $B$ and $C$ is replaced by their conjugates, that is, each number $a+b\sqrt{61}$ is changed to $a-b\sqrt{61}$, then the resulting series also converges to a rational multiple of $1/\pi$. They gave several other examples of quadratic irrational series for $1/\pi$, and noted that the conjugate series converges to another rational multiple of $1/\pi$ or in some cases the conjugate series diverges. The purpose of this work is to provide an explanation and classification of such series. Our classification includes Ramanujan's 17 original series, as well as series of the Borweins, Chudnovskys, Sato and others. We extend the classification to genus-zero subgroups $\Gamma_0(\ell)+$, that is, for each $\ell \in \big\{1,2,3,\ldots,36,38,39,41,42,44,45,46,47,49,50,51,54,55,56,59,60,62,66,69,70, 71,78,87,92,94,95,105,110,119\big\}$ we calculate the Hauptmoduls, associated weight two modular forms, and the corresponding rational and real quadratic irrational series for $1/\pi$. The classification reveals many interrelations among the different series. For example, we show that the Borweins' series above, and its conjugate, are equivalent by hypergeometric transformation formulas to the level~7 rational series $$ \sum_{n=0}^\infty \left\{\sum_{j=0}^n {n \choose j}^2{2j \choose n} {n+j \choose j}\right\} (11895n+1286) \frac{(-1)^n}{22^{3n+3}} = \frac{1}{\pi\sqrt{7}}. $$

math.NT

Cost-Effective, Low Latency Vector Search with Azure Cosmos DB

Vector indexing enables semantic search over diverse corpora and has become an important interface to databases for both users and AI agents. Efficient vector search requires deep optimizations in database systems. This has motivated a new class of specialized vector databases that optimize for vector search quality and cost. Instead, we argue that a scalable, high-performance, and cost-efficient vector search system can be built inside a cloud-native operational database like Azure Cosmos DB while leveraging the benefits of a distributed database such as high availability, durability, and scale. We do this by deeply integrating DiskANN, a state-of-the-art vector indexing library, inside Azure Cosmos DB NoSQL. This system uses a single vector index per partition stored in existing index trees, and kept in sync with underlying data. It supports < 20ms query latency over an index spanning 10 million vectors, has stable recall over updates, and offers approximately 43x and 12x lower query cost compared to Pinecone and Zilliz serverless enterprise products. It also scales out to billions of vectors via automatic partitioning. This convergent design presents a point in favor of integrating vector indices into operational databases in the context of recent debates on specialized vector databases, and offers a template for vector indexing in other databases.

cs.DB

Exact lattice summations for Lennard-Jones potentials coupled to a three-body Axilrod-Teller-Muto term applied to cuboidal phase transitions

This work provides a rigorous analysis of Bain-type cuboidal lattice transformations, which connect the face-centered cubic (fcc), mean-centered cubic (mcc), body-centered cubic (bcc) and axially centered cubic (acc) lattices. Our study incorporates a general $(n,m)$ Lennard-Jones two-body potential and a long-range repulsive Axilrod-Teller-Muto (ATM) three-body potential. The two-body lattice sums and their meromorphic continuations are evaluated to full precision using super-exponentially convergent series expansions. Furthermore, we introduce a novel approach to computing three-body lattice sums by converting the multi-dimensional sum into an integral involving products of Epstein zeta functions. This enables us to evaluate three-body lattice sums and their meromorphic continuations to machine precision within minutes on a standard laptop. Using our computational framework, we analyze the stability of cuboidal lattice phases relative to the close-packed fcc structure along a Bain transformation path for varying ATM coupling strengths. We analytically demonstrate that the ATM cohesive energy exhibits an extremum at the bcc phase and show numerically that it corresponds to a minimum for repulsive three-body forces along the Bain path. Our results indicate that strong repulsive three-body interactions can destabilize the fcc phase and render bcc energetically favorable for soft LJ potentials. However, even in this scenario, the bcc phase remains susceptible to further cuboidal distortions. These results suggest that the stability of the bcc phase is, besides vibrational, temperature, and pressure effects, strongly influenced by higher than two-body forces. Because of the wrong short-range behavior of the triple-dipole ATM model the LJ potential is limited to exponents $n>9$ for the repulsive wall, otherwise one observes distortion into a set of linear chains collapsing to the origin.

cond-mat.mtrl-sci

Exploring the mechanism of phase transitions between the hexagonal close-packed and the cuboidal structures

By introducing appropriate lattice parameters for a bi-lattice smoothly connecting the hexagonal close-packed (hcp) with the cuboidal structures, namely the body-centered (bcc) and the face centered cubic (fcc) lattices, we were able to map out the minimum energy path for a Burgers-Bain type of phase transition. We demonstrate that for three different models applied, i.e. the kissing hard-sphere model, the Lennard-Jones potential, and density functional theory for metallic lithium, the direct transition path is always from hcp to fcc with a separate path leading from fcc to bcc. This solves, at least for the models considered here, a long-standing controversy of whether or not fcc acts as an intermediate phase in martensitic type of phase transitions.

cond-mat.mtrl-sci

A Minimum Property for Cuboidal Lattice Sums

We analyse a family of lattices considered by Conway and Sloane and show that the corresponding Epstein zeta function attains a local minimum for the body-centred cubic lattice.

math.NT

Ramanujan--Fine integrals for level 10

We investigate the question of when an eta quotient is a derivative of a formal power series with integer coefficients and present an analysis in the case of level 10. As a consequence, we establish and classify an infinite number of integral evaluations such as $$ \int_0^{e^{-2\pi/\sqrt{10}}} q\prod_{j=1}^\infty \frac{(1-q^j)^3(1-q^{10j})^8}{(1-q^{5j})^7} \text{d} q = \frac14\left(\sqrt{10-4\sqrt{5}}-1\right). $$ We describe how the results were found and give reasons for why it is reasonable to conjecture that the list is complete for level 10.

math.NT

Lattice Instabilities Along the Transformation from Hexagonal to Cuboidal Structures in Hard- and Soft-Sphere Models

The diffusionless Burgers-Bain phase transition from a hcp arrangement to a cuboidal lattice (fcc and bcc) is analysed in great detail for Lennard-Jones solids. From the lattice vectors of an underlying bi-lattice smoothly connecting these phases, we are able to express the corresponding lattice sums for inverse power potentials in terms of fast converging Bessel function expansions resulting in an efficient evaluation to computer accuracy for cohesive energies. From the kissing hard-sphere limit we derive exact analytical expressions for the lattice parameters varying along the minimum energy path of the phase transition. This simple model suggests that for the Burgers-Bain transformation of a LJ solid requires a minimum of four lattice parameters, $(a,\alpha,\beta,\gamma=c/a)$, describing the change in the base lattice lengths $a$ and $c$, the shear force acting on the hexagonal base plane ($\alpha$), the sliding force of the middle layer of the original hexagonal packing arrangement($\beta$), and the cuboidal transformation ($\gamma=c/a$). This choice results in a two-step process: hcp$\to$fcc$\to$bcc. However, a further extension of the parameter space including an additional slide parameter for the middle layer, one suddenly observes a distinct symmetry-breaking effect along the hcp$\rightarrow$fcc transition path with a bifurcation point appearing joining the original Burgers with the Bain path of the bcc$\rightarrow$fcc cuboidal transition. Furthermore, for soft LJ potentials the bcc phase appears as a local minimum along the Burgers hcp$\rightarrow$fcc path with two transition states to either the hcp or fcc phase. The underlying topology of the Burgers-Bain phase transition also incorporates the rhombohedral distortion of the bcc phase, which is analyzed in detail.

cond-mat.mtrl-sci

Ap\'ery-like sequences defined by four-term recurrence relations

The Ap\'ery numbers may be defined by a cubic three-term recurrence relation, that is, a three-term relation where the coefficients are polynomials in the index of degree $3$. In this work, we first provide a systematic review of Ap\'ery numbers and other related sequences that satisfy quadratic or cubic three-term recurrence relations, and show how they are interrelated and how they may be classified. This leads to sequences defined by cubic $k$-term recurrence relations. The cases corresponding to $k=2$ in this framework lead to Ramanujan's theories of elliptic functions to alternative bases, while the cases corresponding to $k=3$ correspond to the Ap\'ery, Domb, Almkvist--Zudilin numbers and other sequences that are well-studied. We conduct a detailed analysis for the case $k=4$. Some of the sequences that arise are new. Of particular interest are ten sequences that are said to be self-starting in the sense that a single initial condition is enough to start the recurrence relation. Of additional interest are two sequences which take values in $\mathbb{Z}[i]$ and two others with values in $\mathbb{Z}[\sqrt{2}]$. Congruence properties and asymptotic expansions for the ten self-starting sequences are investigated and several conjectures are presented. For example, we conjecture that the integer-valued sequence defined by the recurrence relation \begin{align*} (n+1)^3T(n+1) &=2(2n+1)(5n^2+5n+2)T(n) \\ &\qquad -8n(7n^2+1)T(n-1)+22n(2n-1)(n-1)T(n-2) \end{align*} and initial condition $T(0)=1$ satisfies a Lucas congruence for every prime $p$. Moreover, the sequence is conjectured to satisfy the supercongruence $$ T(pn) \equiv T(n) \pmod{p^2} \quad\text{for all positive integers $n$} $$ if $p=2,\;59$ or $5581$, and for no other primes $p<10^4$.

math.NT

The Madelung Constant in $N$ Dimensions

We introduce two convergent series expansions (direct and recursive) in terms of Bessel functions and representations of sums $r_N(m)$ of squares for $N$-dimensional Madelung constants, $M_N(s)$, where $s$ is the exponent of the Madelung series (usually chosen as $s=1/2$). The functional behavior including analytical continuation, and the convergence of the Bessel function expansion is discussed in detail. Recursive definitions are used to evaluate $r_N(m)$. Values for $M_N(s)$ for $s=\tfrac{1}{2}, \tfrac{3}{2}, 3$ and 6 for dimension up to $N=20$ and for $M_N(1/2)$ up to $N=100$ are presented. Zucker's original analysis on $N$-dimensional Madelung constants for even dimensions up to $N=8$ and their possible continuation into higher dimensions is briefly analyzed.

math-ph

Instability of the Body-Centered Cubic Lattice within the Sticky Hard Sphere and Lennard-Jones Model obtained from Exact Lattice Summations

A smooth path of rearrangement from the body-centered cubic (bcc) to the face-centered cubic (fcc) lattice is obtained by introducing a single parameter to cuboidal lattice vectors. As a result, we obtain analytical expressions in terms of lattice sums for the cohesive energy. This is described by a Lennard-Jones (LJ) interaction potential and the sticky hard sphere (SHS) model with an $r^{-n}$ long-range attractive term. These lattice sums are evaluated to computer precision by expansions in terms of a fast converging series of Bessel functions. Applying the whole range of lattice parameters for the SHS and LJ potentials demonstrates that the bcc phase is unstable (or at best metastable) toward distortion into the fcc phase. Even if more accurate potentials are used, such as the extended LJ potential for argon or chromium, the bcc phase remains unstable. This strongly indicates that the appearance of a low temperature bcc phase for several elements in the periodic table is due to higher than two-body forces in atomic interactions.

cond-mat.mtrl-sci

The Cuboidal Lattices and their Lattice Sums

Lattice sums of cuboidal lattices, which connect the face-centered with the mean-centered and the body-centered cubic lattices through parameter dependent lattice vectors, are evaluated by decomposing them into two separate lattice sums related to a scaled cubic lattice and a scaled Madelung constant. Using theta functions we were able to derive fast converging series in terms of Bessel functions. Analytical continuations of these lattice sums are discussed in detail.

math-ph

Hypergeometric modular equations

We record $$ \binom{42}2+\binom{23}2+\binom{13}2=1192 $$ functional identities that, apart from being amazingly amusing by themselves, find applications in derivation of Ramanujan-type formulas for $1/\pi$ and in computation of mathematical constants.

math.NT

Crouching AGM, Hidden Modularity

Special arithmetic series $f(x)=\sum_{n=0}^{\infty}c_nx^n$, whose coefficients $c_n$ are normally given as certain binomial sums, satisfy "self-replicating" functional identities. For example, the equation $$\frac1{(1+4z)^2}f\biggl(\frac{z}{(1+4z)^3}\biggr)=\frac1{(1+2z)^2}f\biggl(\frac{z^2}{(1+2z)^3}\biggr)$$ generates a modular form $f(x)$ of weight 2 and level 7, when a related modular parametrization $x=x(\tau)$ is properly chosen. In this note we investigate the potential of describing modular forms by such self-replicating equations as well as applications of the equations that do not make use of the modularity. In particular, we outline a new recipe of generating AGM-type algorithms for computing $\pi$ and other related constants. Finally, we indicate some possibilities to extend the functional equations to a two-variable setting.

math.NT

Holonomic alchemy and series for $1/\pi$

We adopt the "translation" as well as other techniques to express several identities conjectured by Z.-W. Sun in arXiv:1102.5649v47 by means of known formulas for $1/\pi$ involving Domb and other Ap\'ery-like sequences.

math.NT