acb_theta.h – Riemann theta functions¶

This module provides methods for the numerical evaluation of theta functions in any dimension \(g\geq 1\). The algorithms will be detailed in the forthcoming paper [EK2023]. In the case \(g=1\), we rely on, but also improve on functionality from acb_modular.h.

In the context of this module, tau or \(\tau\) always denotes an element of the Siegel upper half-space \(\mathbb{H}_g\), which consists of all symmetric \(g\times g\) complex matrices with positive definite imaginary part. The letter \(z\) denotes an element of \(\mathbb{C}^g\). For each \(a,b\in \{0,1\}^g\), the Riemann theta function of characteristic \((a,b)\) is the following analytic function in \(\tau\in \mathbb{H}_g\) and \(z\in \mathbb{C}^g\):

\[\theta_{a,b}(z,\tau) = \sum_{n\in \mathbb{Z}^{g} + \tfrac a2} \exp(\pi i n^T\tau n + 2\pi i n^T (z + \tfrac b2)),\]

considering \(a\), \(b\) and \(z\) as column vectors.

We encode a theta characteristic \(a\in \{0,1\}^g\) as the ulong between \(0\) and \(2^g-1\) that has the corresponding expansion in base 2: thus \(a = (1,0,0)\) for \(g = 3\) will be numbered \(4\). We also use this encoding to order vectors of theta values throughout. Similarly, a pair of characteristics \((a,b)\) is encoded as an ulong between \(0\) and \(2^{2g}-1\), where \(a\) corresponds to the \(g\) more significant bits. With these conventions, the output of acb_modular_theta() is \((-\theta_3,\theta_2,\theta_0,\theta_1)\).

The main user-facing function to evaluate theta functions is acb_theta_all(). This function first reduces the input \((z,\tau)\) using the action of the Siegel modular group \(\mathrm{Sp}_{2g}(\mathbb{Z})\) on \(\mathbb{C}^g\times \mathbb{H}_g\), then uses a quasi-linear algorithm to compute theta values on the reduced domain. At low precisions and when \(\tau\) is reasonably reduced, one may also consider using “naive algorithms” directly, which consist in evaluating a partial sum of the theta series. The main functions to do so are acb_theta_naive_fixed_ab() and acb_theta_naive_all(). We also provide functionality to evaluate derivatives of theta functions, and to evaluate Siegel modular forms in terms of theta functions when \(g=2\).

The numerical functions in this module compute certified error bounds: for instance, if \(\tau\) is represented by an acb_mat_t which is not certainly positive definite at the chosen working precision, the output will have an infinite radius. Throughout, \(g\) must be at least 1 (this is not checked.)

Main user functions¶

void acb_theta_all(acb_ptr th, acb_srcptr z, const acb_mat_t tau, int sqr, slong prec)¶: Sets th to the vector of theta values \(\theta_{a,b}(z,\tau)\) or \(\theta_{a,b}(z,\tau)^2\) for all \(a,b\in \{0,1\}^g\), depending on whether sqr is 0 (false) or nonzero (true).

void acb_theta_naive_fixed_ab(acb_ptr th, ulong ab, acb_srcptr zs, slong nb, const acb_mat_t tau, slong prec)¶

void acb_theta_naive_all(acb_ptr th, acb_srcptr zs, slong nb, const acb_mat_t tau, slong prec)¶: Assuming that zs is the concatenation of nb vectors \(z\) of length \(g\), evaluates \(\theta_{a,b}(z, \tau)\) using the naive algorithm, for either the given value of \((a,b)\) or all \((a,b)\in\{0,1\}^{2g}\). The result th will be a concatenation of nb vectors of length \(1\) or \(2^{2g}\) respectively. The user should ensure that \(\tau\) is reasonably reduced before calling these functions.

void acb_theta_jet_all(acb_ptr dth, acb_srcptr z, const acb_mat_t tau, slong ord, slong prec)¶: Sets dth to the partial derivatives with respect to \(z\) up to total order ord of all functions \(\theta_{a,b}\) for \(a,b\in \{0,1\}^g\) at the given point \((z,\tau)\), as a concatenation of \(2^{2g}\) vectors. (See below for conventions on the numbering and normalization of derivatives.)

void acb_theta_jet_naive_fixed_ab(acb_ptr dth, ulong ab, acb_srcptr z, const acb_mat_t tau, slong ord, slong prec)¶

void acb_theta_jet_naive_all(acb_ptr dth, acb_srcptr z, const acb_mat_t tau, slong ord, slong prec)¶: Sets dth to the partial derivatives with respect to \(z\) up to total order ord of \(\theta_{a,b}\) for the given (resp. all) \((a,b)\in \{0,1\}^g\) at the given point \((z,\tau)\) using the naive algorithm. The user should ensure that \(\tau\) is reasonably reduced before calling these functions.

Example of usage¶

The following code snippet constructs the period matrix \(\tau = iI_2\) for \(g = 2\), computes the associated theta values at \(z = 0\) at 10000 bits of precision in roughly 0.1s, and prints them.

#include "acb_theta.h"

int main()
{
    acb_mat_t tau;
    acb_ptr th, z;
    slong prec = 10000;

    acb_mat_init(tau, 2, 2);
    z = _acb_vec_init(2);
    th = _acb_vec_init(16);

    acb_mat_onei(tau);
    acb_theta_all(th, z, tau, 0, prec);
    _acb_vec_printd(th, 16, 5);

    acb_mat_clear(tau);
    _acb_vec_clear(z, 2);
    _acb_vec_clear(th, 16);
    flint_cleanup();
    return 0;
}

(1.1803 + 0j)  +/-  (2.23e-3010, 1.23e-3010j), (0.99254 + 0j)  +/-  (1.73e-3010, 1.23e-3010j), (0.99254 + 0j)  +/-  (1.73e-3010, 1.23e-3010j), (0.83463 + 0j)  +/-  (1.73e-3010, 1.23e-3010j), (0.99254 + 0j)  +/-  (1.73e-3010, 1.23e-3010j), (0 + 0j)  +/-  (1.23e-3010, 1.23e-3010j), (0.83463 + 0j)  +/-  (1.73e-3010, 1.23e-3010j), (0 + 0j)  +/-  (1.23e-3010, 1.23e-3010j), (0.99254 + 0j)  +/-  (1.73e-3010, 1.23e-3010j), (0.83463 + 0j)  +/-  (1.73e-3010, 1.23e-3010j), (0 + 0j)  +/-  (1.23e-3010, 1.23e-3010j), (0 + 0j)  +/-  (1.23e-3010, 1.23e-3010j), (0.83463 + 0j)  +/-  (1.73e-3010, 1.23e-3010j), (0 + 0j)  +/-  (1.23e-3010, 1.23e-3010j), (0 + 0j)  +/-  (1.23e-3010, 1.23e-3010j), (0 + 0j)  +/-  (1.23e-3010, 1.23e-3010j)

The Siegel modular group¶

We use the type fmpz_mat_t to handle matrices in \(\operatorname{Sp}_{2g}(\mathbb{Z})\). In addition to the functions in this section, methods from fmpz_mat.h such as fmpz_mat_equal() can thus be used on symplectic matrices directly.

In the following functions (with the exception of sp2gz_is_correct()) we always assume that the input matrix mat is square of even size \(2g\), and write it as

\[\begin{split}m = \begin{pmatrix} \alpha&\beta\\ \gamma&\delta \end{pmatrix}\end{split}\]

where \(\alpha,\beta,\gamma,\delta\) are \(g\times g\) blocks.

slong sp2gz_dim(const fmpz_mat_t mat)¶: Returns \(g\), which is half the number of rows (or columns) of mat. This is an inline function only.

void sp2gz_set_blocks(fmpz_mat_t mat, const fmpz_mat_t alpha, const fmpz_mat_t beta, const fmpz_mat_t gamma, const fmpz_mat_t delta)¶: Sets mat to \(\bigl(\begin{smallmatrix} \alpha&\beta\\ \gamma&\delta \end{smallmatrix}\bigr)\). The dimensions must match.

void sp2gz_j(fmpz_mat_t mat)¶: Sets mat to the symplectic matrix \(J = \Bigl(\begin{smallmatrix} 0&I_g\\-I_g&0 \end{smallmatrix}\Bigr)\).

void sp2gz_block_diag(fmpz_mat_t mat, const fmpz_mat_t U)¶: Sets mat to the symplectic matrix \(\Bigl(\begin{smallmatrix} U&0\\0&U^{-T} \end{smallmatrix}\Bigr)\). We require that \(U\in \operatorname{GL}_g(\mathbb{Z})\).

void sp2gz_trig(fmpz_mat_t mat, const fmpz_mat_t S)¶: Sets mat to \(\Bigl(\begin{smallmatrix} I_g&S\\0&I_g \end{smallmatrix}\Bigr)\), where S is a symmetric \(g\times g\) matrix.

void sp2gz_embed(fmpz_mat_t res, const fmpz_mat_t mat)¶

Assuming that mat is a symplectic matrix of size \(2r\times 2r\) and res is square of size \(2g\times 2g\) for some \(g\geq r\), sets res to the symplectic matrix

\[\begin{split}\begin{pmatrix} \alpha && \beta & \\ & I_{g-r} && 0_{g-r} \\ \gamma &&\delta &\\ & 0_{g-r} && I_{g-r} \end{pmatrix}\end{split}\]

where \(\alpha,\beta,\gamma,\delta\) are the \(r\times r\) blocks of mat.

void sp2gz_restrict(fmpz_mat_t res, const fmpz_mat_t mat)¶: Assuming that mat is a symplectic matrix of size \(2g\times 2g\) and res is square of size \(2r\times 2r\) for some \(r\leq g\), sets res to the matrix whose \(r\times r\) blocks are the upper left corners of the corresponding \(g\times g\) block of mat. The result may not be a symplectic matrix.

slong sp2gz_nb_fundamental(slong g)¶: Returns the number of fundamental symplectic matrices used in the reduction algorithm on \(\mathbb{H}_g\). This number is 1 when \(g=1\) (the \(J\) matrix) and 19 when \(g=2\) [Got1959]. When \(g>2\), a complete set of matrices defining the boundary of a fundamental domain for the action of \(\mathrm{Sp}_{2g}(\mathbb{Z})\) is not currently known. As a substitute, we consider two types of matrices: the \(19 g(g-1)/2\) matrices obtained by mimicking the \(g=2\) matrices on any pair of indices between 0 and \(g-1\), and the \(2^g\) matrices obtained by embedding a copy of a lower-dimensional \(J\) matrix on any subset of indices.

void sp2gz_fundamental(fmpz_mat_t mat, slong j)¶: Sets mat to the \(j^{\text{th}}\) fundamental symplectic matrix as defined above.

int sp2gz_is_correct(const fmpz_mat_t mat)¶: Returns true (nonzero) iff mat is a symplectic matrix.

int sp2gz_is_j(const fmpz_mat_t mat)¶: Returns true (nonzero) iff the symplectic matrix mat is the \(J\) matrix.

int sp2gz_is_block_diag(const fmpz_mat_t mat)¶: Returns true (nonzero) iff the symplectic matrix mat is of block-diagonal form as in sp2gz_block_diag().

int sp2gz_is_trig(const fmpz_mat_t mat)¶: Returns true (nonzero) iff the sympletic matrix mat is of trigonal form as in sp2gz_trig().

int sp2gz_is_embedded(fmpz_mat_t res, const fmpz_mat_t mat)¶: Assuming that mat is a \(2g\times 2g\) symplectic matrix and res is square of size \(2r\) for some \(r\leq g\), returns true (nonzero) iff mat can be obtained as the result of sp2gz_embed() from a \(2r\times 2r\) symplectic matrix, and store this matrix in res. Otherwise, returns false (0) and leaves res undefined.

void sp2gz_inv(fmpz_mat_t inv, const fmpz_mat_t mat)¶: Sets inv to the inverse of the symplectic matrix mat.

fmpz_mat_struct *sp2gz_decompose(slong *nb, const fmpz_mat_t mat)¶

Returns a vector res of symplectic matrices and store its length in nb such that the following holds: mat is the product of the elements of res from left to right, and each element of res is block-diagonal, trigonal, the \(J\) matrix, an embedded \(J\) matrix from a lower dimension, or an embedded matrix from dimension 1. The output vector res will need to be freed by the user as follows:

slong k;
for (k = 0; k < *nb; k++)
{
    fmpz_mat_clear(&res[k]);
}
flint_free(res);

void sp2gz_randtest(fmpz_mat_t mat, flint_rand_t state, slong bits)¶: Sets mat to a random symplectic matrix whose coefficients have length approximately bits, obtained as a product of block-diagonal and trigonal symplectic matrices and the \(J\) matrix.

The Siegel half space¶

We continue to denote by \(\alpha,\beta,\gamma,\delta\) the \(g\times g\) blocks of mat, which is always assumed to be symplectic.

void acb_siegel_cocycle(acb_mat_t c, const fmpz_mat_t mat, const acb_mat_t tau, slong prec)¶: Sets c to \(\gamma\tau + \delta\).

void acb_siegel_transform_cocycle_inv(acb_mat_t w, acb_mat_t c, acb_mat_t cinv, const fmpz_mat_t mat, const acb_mat_t tau, slong prec)¶: Sets w, c and cinv to \((\alpha\tau + \beta)(\gamma\tau + \delta)^{-1}\), \(\gamma\tau + \delta\) and \((\gamma\tau + \delta)^{-1}\) respectively.

void acb_siegel_transform(acb_mat_t w, const fmpz_mat_t mat, const acb_mat_t tau, slong prec)¶: Sets w to \((\alpha\tau + \beta)(\gamma\tau + \delta)^{-1}\).

void acb_siegel_transform_z(acb_ptr r, acb_mat_t w, const fmpz_mat_t mat, acb_srcptr z, const acb_mat_t tau, slong prec)¶: Sets w to \((\alpha\tau + \beta)(\gamma\tau + \delta)^{-1}\) and r to \((\gamma\tau + \delta)^{-T}z\).

void acb_siegel_cho(arb_mat_t C, const acb_mat_t tau, slong prec)¶: Sets C to an upper-triangular Cholesky matrix such that \(\pi \mathrm{Im}(\tau) = C^T C\). If one cannot determine that \(\mathrm{Im}(\tau)\) is positive definite at the current working precision, C is set to an indeterminate matrix.

void acb_siegel_yinv(arb_mat_t Yinv, const acb_mat_t tau, slong prec)¶: Sets Yinv to the inverse of \(\mathrm{Im}(\tau)\). If one cannot determine that \(\mathrm{Im}(\tau)\) is invertible at the current working precision, Yinv is set to an indeterminate matrix.

void acb_siegel_reduce(fmpz_mat_t mat, const acb_mat_t tau, slong prec)¶: Sets mat to a symplectic matrix such that \(\mathit{mat}\cdot\tau\) is as reduced as possible, repeatedly reducing the imaginary and real parts of \(\tau\) and applying fundamental symplectic matrices. If the coefficients of \(\tau\) do not have a reasonable size or if \(\det \mathrm{Im}(\tau)\) is vanishingly small, we simply set mat to the identity.

int acb_siegel_is_reduced(const acb_mat_t tau, slong tol_exp, slong prec)¶: Returns true (nonzero) iff it is certainly true that \(\tau\) belongs to the reduced domain defined by the tolerance parameter \(\varepsilon = 2^{\mathit{tol\_exp}}\). This means the following: \(|\mathrm{Re}(\tau_{j,k})| < \frac12 + \varepsilon\) for all \(0\leq j,k < g\); the imaginary part of \(\tau\) passes arb_mat_spd_is_lll_reduced() with the same parameters; and for every matrix obtained from sp2gz_fundamental(), the determinant of the corresponding cocycle is at least \(1-\varepsilon\).

void acb_siegel_randtest(acb_mat_t tau, flint_rand_t state, slong prec, slong mag_bits)¶: Sets tau to a random matrix in \(\mathbb{H}_g\), possibly far from being reduced.

void acb_siegel_randtest_reduced(acb_mat_t tau, flint_rand_t state, slong prec, slong mag_bits)¶: Sets tau to a random reduced matrix in \(\mathbb{H}_g\) that is likely to trigger corner cases for several functions in this module.

void acb_siegel_randtest_vec(acb_ptr z, flint_rand_t state, slong g, slong prec)¶: Sets z to a random vector of length g that is likely to trigger corner cases for several functions in this module.

Theta characteristics¶

void acb_theta_char_get_slong(slong *n, ulong a, slong g)¶: Sets each entry of n to the corresponding bit of a.

ulong acb_theta_char_get_a(const slong *n, slong g)¶: Returns the unique characteristic a such that \(n\in 2\mathbb{Z}^g + a\).

void acb_theta_char_get_arb(arb_ptr v, ulong a, slong g)¶

void acb_theta_char_get_acb(acb_ptr v, ulong a, slong g)¶: Sets v to \(a/2\) seen as an element of \(\mathbb{R}^g\) or \(\mathbb{C}^g\) respectively.

slong acb_theta_char_dot(ulong a, ulong b, slong g)¶: Returns \(\sum_{i=0}^{g-1} a_i b_i\) modulo 4 as an integer between 0 and 3, where \(a_i, b_i\) for \(0\leq i < g\) denote the bits of \(a\) and \(b\) respectively.

slong acb_theta_char_dot_slong(ulong a, const slong *n, slong g)¶: Returns \(\sum_{i=0}^{g-1} a_i n_i\) modulo 4 as an integer between 0 and 3.

void acb_theta_char_dot_acb(acb_t x, ulong a, acb_srcptr z, slong g, slong prec)¶: Sets x to \(\sum_{i=0}^{g-1} a_i z_i\).

int acb_theta_char_is_even(ulong ab, slong g)¶: Returns true iff the characteristic \((a,b)\) is even, i.e. \(a^Tb\) is divisible by 2.

int acb_theta_char_is_goepel(ulong ch1, ulong ch2, ulong ch3, ulong ch4, slong g)¶: Returns true iff the given characteristics define a Göpel quadruple, i.e. they are distinct even characteristics whose sum belongs to \(2\mathbb{Z}^g\).

int acb_theta_char_is_syzygous(ulong ch1, ulong ch2, ulong ch3, slong g)¶: Returns true iff the given characteristics define a syzygous triple, i.e. they can be completed into a Göpel quadruple.

Ellipsoids: types and macros¶

Following [DHBHS2004], naive algorithms will compute a partial sum of theta series over points \(n\) in the lattice \(\mathbb{Z}^g\) contained in certain ellipsoids, and finally add an error bound coming from the tail. We first gather methods to compute with ellipsoids themselves.

Fix an upper-triangular matrix \(C\) with positive diagonal entries (henceforth called a “Cholesky matrix”), a radius \(R\geq 0\), a vector \(v\in \mathbb{R}^g\), and \(1\leq d\leq g\). Consider the ellipsoid \(E\) consisting of points \(n = (n_0,\ldots,n_{g-1})\) satisfying \((v + Cn)^T(v + Cn)\leq R^2\) and such that their last coordinates \(n_{d},\ldots, n_{g-1}\) are fixed. We encode \(E\) as follows: we store the endpoints and midpoint of the interval of allowed values for \(n_{d-1}\) as slong’s, and if \(d\geq 1\), we store a \((d-1)\)-dimensional “child” of \(E\) for each value of \(n_{d-1}\) as another ellipsoid in a recursive way. Children are partitioned between left and right children depending on the position of \(n_{d-1}\) relative to the midpoint (by convention, the midpoint is a right child). When \(d=g\) and for a fixed Cholesky matrix \(C\), this representation uses \(O(R^{g-1})\) space for an ellipsoid of radius \(R\) containing approximately \(O(R^{g})\) points.

type acb_theta_eld_struct¶

type acb_theta_eld_t¶: An acb_theta_eld_t is an array of length one of type acb_theta_eld_struct encoding an ellipsoid as described above, permitting it to be passed by reference.

The following macros are available after E of type acb_theta_eld_t has been initialized using acb_theta_eld_init() below.

acb_theta_eld_dim(E)¶: Macro returning \(d\).

acb_theta_eld_ambient_dim(E)¶: Macro returning \(g\).

The following macros are available after E has been initialized and then computed using acb_theta_eld_set() below.

acb_theta_eld_coord(E, k)¶: Macro returning the common coordinate \(n_k\) of the points in \(E\). This requires \(d \leq k < g\).

acb_theta_eld_min(E)¶

acb_theta_eld_mid(E)¶

acb_theta_eld_max(E)¶: Macros returning the minimum, midpoint, and maximum of \(n_{d-1}\) in \(E\) respectively.

acb_theta_eld_nr(E)¶

acb_theta_eld_nl(E)¶: Macros returning the number of right and left children of \(E\) respectively.

acb_theta_eld_rchild(E, k)¶

acb_theta_eld_lchild(E, k)¶: Macros returning a pointer to the \(k^{\text{th}}\) right (resp. left) child of \(E\) as an acb_theta_eld_t.

acb_theta_eld_nb_pts(E)¶: Macro returning the number of points contained in \(E\).

acb_theta_eld_nb_border(E)¶: Macro returning the number of points in the border of \(E\), defined as follows. If \(d=1\), then it consists of the two points with \(n_0\) equal to \(m - 1\) and \(M + 1\), where \(m\) and \(M\) are the result of acb_theta_eld_max and acb_theta_eld_min respectively. If \(d\geq 2\), then it is the reunion of the borders of all children of \(E\). This is only used for testing.

acb_theta_eld_box(E, k)¶: Macro returning the smallest nonnegative integer \(M_k\) such that all the points in \(E\) satisfy \(|n_k|\leq M_k\). This requires \(0\leq k < d\).

Ellipsoids: memory management and computations¶

void acb_theta_eld_init(acb_theta_eld_t E, slong d, slong g)¶: Initializes E as a d-dimensional ellipsoid in ambient dimension g. We require \(1\leq d\leq g\).

void acb_theta_eld_clear(acb_theta_eld_t E)¶: Clears E as well as any recursive data contained in it.

int acb_theta_eld_set(acb_theta_eld_t E, const arb_mat_t C, const arf_t R2, arb_srcptr v)¶: Assuming that C is upper-triangular with positive diagonal entries, attempts to set E to represent an ellipsoid as defined above, where R2 indicates \(R^2\), and returns 1 upon success. If the ellipsoid points do not fit in slong’s or if the ellipsoid is unreasonably large, returns 0 instead and leaves E undefined.

The following functions are available after acb_theta_eld_set() has been called successfully.

void acb_theta_eld_points(slong *pts, const acb_theta_eld_t E)¶: Sets pts to the list of all the points in \(E\), as a concatenation of vectors of length g.

void acb_theta_eld_border(slong *pts, const acb_theta_eld_t E)¶: Sets pts to the list of all the points in the border of \(E\).

int acb_theta_eld_contains(const acb_theta_eld_t E, slong *pt)¶: Returns true (nonzero) iff pt is contained in \(E\). The vector pt must be of length g.

void acb_theta_eld_print(const acb_theta_eld_t E)¶: Prints a faithful description of \(E\). This may be unwieldy in high dimensions.

Naive algorithms: error bounds¶

By [EK2023], for any \(v\in \mathbb{R}^g\) and any upper-triangular Cholesky matrix \(C\), and any \(R\) such that \(R^2 \geq\max(4,\mathit{ord})\), we have

\[\sum_{n\in C\mathbb{Z}^g + v,\ \lVert n\rVert^2 \geq R^2} \lVert n\rVert^{\mathit{ord}} e^{-\lVert n\rVert^2} \leq 2^{2g+2} R^{g-1+p} e^{-R^2} \prod_{j=0}^{g-1} (1 + \gamma_j^{-1})\]

where \(\gamma_0,\ldots, \gamma_{g-1}\) are the diagonal coefficients of \(C\). We use this to bound the contribution from the tail of the theta series in naive algorithms, and thus to find out which ellipsoid to consider at a given precision. When several vectors \(z\) are present, we first reduce them to a common compact domain and use only one ellipsoid, following [DHBHS2004].

void acb_theta_naive_radius(arf_t R2, arf_t eps, const arb_mat_t C, slong ord, slong prec)¶: Sets R2 and eps such that the above upper bound for R2 and the given ord is at most eps. We choose eps so that the relative error on the output of the naive algorithm should be roughly \(2^{-\mathit{prec}}\) if no cancellations occur in the sum, i.e. \(\mathit{eps} \simeq 2^{-\mathit{prec}} \prod_{j=0}^{g-1} (1 + \gamma_j^{-1})\).

void acb_theta_naive_reduce(arb_ptr v, acb_ptr new_zs, arb_ptr as, acb_ptr cs, arb_ptr us, acb_srcptr zs, slong nb, const acb_mat_t tau, slong prec)¶

Given zs, a concatenation of nb vectors of length \(g\), performs the simultaneous reduction of these vectors with respect to the matrix \(\tau\). This means the following. Let \(0\leq k< \mathit{nb}\), let \(z\) denote the \(k^{\mathrm{th}}\) vector stored in zs, and let \(X,Y\) (resp. \(x,y\)) be the real and imaginary parts of \(\tau\) (resp. \(z\)). Write \(Y^{-1}y = r + a\) where \(a\) is an even integral vector and \(r\) is bounded. (We set \(a=0\) instead if the entries of this vector have an unreasonably large magnitude.) Then

\[\begin{split}\begin{aligned} \theta_{0,b}(z,\tau) &= e^{\pi y^T Y^{-1} y} \sum_{n\in \mathbb{Z}^g} e^{\pi i ((n - a)^T X (n - a) + 2(n - a)^T (x + \tfrac b2))} e^{-\pi (n + r)^T Y (n + r)}\\ &= e^{\pi y^T Y^{-1} y} e^{\pi i (a^T X a - 2a^T x + i r^T Y r)} \theta_{0,b}((x - Xa) + iYr, \tau). \end{aligned}\end{split}\]

The reduction of \(z\) is defined as \((x - Xa) + i Y r\), which has a bounded imaginary part, and this vector is stored as the \(k^{\mathrm{th}}\) vector of new_zs. The vector \(a\) is stored as the \(k^{\mathrm{th}}\) vector of as. The quantity \(u = \exp(\pi y^T Y^{-1} y)\) is a multiplicative factor for the error bound, and is stored as the \(k^{\mathrm{th}}\) entry of us. The quantity

\[c = u \exp(\pi i (a^T X a - 2a^T x + i r^T Y r))\]

is a multiplicative factor for the theta values, and is stored as the \(k^{\mathrm{th}}\) entry of cs. The offset for the corresponding ellipsoid is \(v^{(k)} = C r\) which is also bounded independently of \(k\), and v is set to the acb_union() of the \(v^{(k)}\) for \(0\leq k< \mathit{nb}\).

void acb_theta_naive_term(acb_t res, acb_srcptr z, const acb_mat_t tau, slong *tup, slong *n, slong prec)¶: Sets res to \(n_0^{k_0} \cdots n_{g-1}^{k_{g-1}}\exp(\pi i(n^T\tau n + 2 n^Tz))\), where the \(k_j\) and \(n_j\) denotes the \(j^{\mathrm{th}}\) entry in tup and n respectively. The vector tup may be NULL, which is understood to mean the zero tuple. This is only used for testing.

Naive algorithms: main functions¶

The main worker inside each version of the naive algorithm will process one line inside the computed ellipsoid. Before calling this worker, for fixed \(\tau\) and \(z\) and fixed coordinates \(n_1,\ldots n_{g-1}\) defining a line inside the ellipsoid, if \(n_{\mathrm{min}}\) are \(n_{\mathrm{max}}\) are the endpoints of the interval of allowed values for \(n_0\), we (efficiently) compute:

the vector \(v_1\) with entries \(\exp(\pi i j^2 \tau_{0,0})\) for \(n_{\mathrm{min}}\leq j\leq n_{\mathrm{max}}\),
the vector \(v_2\) with entries \(x^j\) for \(n_{\mathrm{min}}\leq j\leq n_{\mathrm{max}}\), where

\[x = \exp(2 \pi i z_0) \prod_{k = 1}^{g-1} \exp(2 \pi i n_k \tau_{0,k}),\]
the cofactor \(c\in \mathbb{C}\) given by

\[c = \prod_{k = 1}^{g-1} \exp(2 \pi i n_k z_k) \cdot \prod_{1\leq j\leq k < g} \exp(\pi i (2 - \delta_{j,k}) n_j n_k \tau_{j,k}).\]

This allow us to use acb_dot() in the workers while maintaining reasonable memory costs, and to use an average of strictly less than two complex multiplications per lattice point as \(R\to \infty\). Moreover, these multiplications are performed at only a fraction of the full precision for lattice points far from the ellipsoid center. Different versions of the naive algorithm will rely on slightly different workers, so introducing a function pointer type is helpful to avoid code duplication.

The methods in this section are only used when \(g\geq 2\): when \(g=1\), the naive algorithms will call functions from acb_modular.h directly.

type acb_theta_naive_worker_t¶

A function pointer type. A function worker of this type has the following signature:

void worker(acb_ptr th, acb_srcptr v1, acb_srcptr v2, const slong *precs, slong len, const acb_t c, const slong *coords, slong ord, slong g, slong prec, slong fullprec)¶

where:

th denotes the output vector of theta values to which terms will be added,
v1, v2 and c are precomputed as above,
precs contains working precisions for each term \(n_{\mathrm{min}}\leq j\leq n_{\mathrm{max}}\),
len \(= n_{\mathrm{max}} - n_{\mathrm{min}} + 1\) is the common length of v1, v2 and precs,
coords is \((n_{\mathrm{min}}, n_1, \ldots, n_{g-1})\),
ord is the maximal derivation order,
prec is the working precision for this line inside the ellipsoid, and finally
fullprec is the working precision for summing into th.

void acb_theta_naive_worker(acb_ptr th, slong len, acb_srcptr zs, slong nb, const acb_mat_t tau, const acb_theta_eld_t E, slong ord, slong prec, acb_theta_naive_worker_t worker)¶: Runs the naive algorithm by calling worker on each line in the ellipsoid E. The argument zs is a concatenation of nb vectors \(z\in \mathbb{C}^g\), len is the number of theta values computed by worker for each \(z\), and ord is passed as an argument to worker. No error bound coming from the tail is added. Considering several vectors \(z\) at the same time allows for a faster computation of \(\theta_{a,b}(z,\tau)\) for many values of \(z\) and a fixed \(\tau\), since exponentials of the entries of \(\tau\) can be computed only once.

void acb_theta_naive_00(acb_ptr th, acb_srcptr zs, slong nb, const acb_mat_t tau, slong prec)¶

void acb_theta_naive_0b(acb_ptr th, acb_srcptr zs, slong nb, const acb_mat_t tau, slong prec)¶

Evaluates either \(\theta_{0,0}(z^{(k)}, \tau)\), or alternatively \(\theta_{0,b}(z^{(k)}, \tau)\) for each \(b\in \{0,1\}^g\), for each \(0\leq k < \mathit{nb}\). The result th will be a concatenation of nb vectors of length \(1\) or \(2^g\) respectively.

The associated worker performs one acb_dot() operation.

void acb_theta_naive_fixed_a(acb_ptr th, ulong a, acb_srcptr zs, slong nb, const acb_mat_t tau, slong prec)¶

Evaluates \(\theta_{a,b}(z^{(k)}, \tau)\) for all \((a,b)\) where \(b\in \{0,1\}^g\) and \(a\) is fixed, for each \(0\leq k< \mathit{nb}\). The result th will be a concatenation of nb vectors of length \(2^g\).

We reduce to calling acb_theta_naive_0b() by writing

\[\theta_{a,b}(z,\tau) = \exp(\pi i \tfrac{a^T}{2} \tau \tfrac a2) \exp(\pi i a^T(z + \tfrac b 2)) \theta_{0,b}(z + \tau \tfrac{a}{2}, \tau).\]

We proceed similarly in acb_theta_naive_fixed_ab() and acb_theta_naive_all(), using acb_theta_naive_00() for the former.

Naive algorithms for derivatives¶

This section contains methods to evaluate the successive partial derivatives of \(\theta_{a,b}(z,\tau)\) with respect to the \(g\) coordinates of \(z\). Derivatives with respect to \(\tau\) are accounted for by the heat equation

\[\frac{\partial\theta_{a,b}}{\partial \tau_{j,k}} = \frac{1}{2\pi i(1 +\delta_{j,k})} \frac{\partial^2\theta_{a,b}}{\partial z_j \partial z_k}.\]

We encode tuples of derivation orders, henceforth called “derivation tuples”, as vectors of type slong and length \(g\). In agreement with acb_modular.h, we also normalize derivatives in the same way as in the Taylor expansion, so that the tuple \((k_0,\ldots,k_{g-1})\) corresponds to the differential operator

\[\frac{1}{k_0!}\cdots\frac{1}{k_{g-1}!} \cdot \frac{\partial^{|k|}}{\partial z_0^{k_0}\cdots \partial z_{g-1}^{k_{g-1}}},\]

where \(|k|:=\sum k_i\). We always consider all derivation tuples up to a total order ord, and order them first by their total order, then reverse-lexicographically. For example, in the case \(g=2\), the sequence of orders is \((0,0)\), \((1,0)\), \((0,1)\), \((2,0)\), \((1,1)\), etc.

The naive algorithms for derivatives will evaluate a partial sum of the differentiated series:

\[\frac{\partial^{|k|}\theta_{a,b}}{\partial z_0^{k_0}\cdots \partial z_{g-1}^{k_{g-1}}}(z,\tau) = (2\pi i)^{|k|} \sum_{n\in \mathbb{Z}^g + \tfrac a2} n_0^{k_0} \cdots n_{g-1}^{k_{g-1}} e^{\pi i n^T \tau n + 2\pi i n^T (z + \tfrac b2)}.\]

slong acb_theta_jet_nb(slong ord, slong g)¶: Returns the number of derivation tuples with total order at most ord. The result will be zero if ord is negative.

slong acb_theta_jet_total_order(const slong *tup, slong g)¶: Returns the total derivation order for the given tuple tup of length g.

void acb_theta_jet_tuples(slong *tups, slong ord, slong g)¶: Sets tups to the concatenation of all derivation tuples up to total order ord.

slong acb_theta_jet_index(const slong *tup, slong g)¶: Returns n such that tup is the \(n^{\mathrm{th}}\) derivation tuple of length g.

void acb_theta_jet_mul(acb_ptr res, acb_srcptr v1, acb_srcptr v2, slong ord, slong g, slong prec)¶: Sets res to the vector of derivatives of the product \(fg\), assuming that v1 and v2 contains the derivatives of \(f\) and \(g\) respectively.

void acb_theta_jet_compose(acb_ptr res, acb_srcptr v, const acb_mat_t N, slong ord, slong prec)¶: Sets res to the vector of derivatives of the composition \(f(Nz)\), assuming that v contains the derivatives of f at the point \(Nz\).

void acb_theta_jet_exp_pi_i(acb_ptr res, arb_srcptr a, slong ord, slong g, slong prec)¶: Sets res to the vector of derivatives of the function \(\exp(\pi i (a_0 z_1 + \cdots + a_{g-1} z_{g-1}))\) at \(z = 0\), where \(a_0,\ldots a_{g-1}\) are the entries of a.

void acb_theta_jet_naive_radius(arf_t R2, arf_t eps, arb_srcptr v, const arb_mat_t C, slong ord, slong prec)¶

Assuming that C is the upper-triangular Cholesky matrix for \(\pi Y\) and \(v = C Y^{-1} y\) where \(y, Y\) are the imaginary parts of \(z\) and \(\tau\) respectively, returns R2 and eps so that, when summing the above series on terms \(n\in \mathbb{Z}^g\) such that \((v + C n)^T(v + C n)\leq R^2\), the absolute value of the tail of the series (before multiplying by the leading factor \((2\pi i)^{|k|} e^{\pi y^T Y^{-1} y}\), see below) will be bounded above by eps, for any derivation tuple \(k\) with \(|k|\leq \mathit{ord}\).

We can rewrite the above sum as

\[(2\pi i)^{|k|} e^{\pi y^T Y^{-1} y} \sum_{n\in \mathbb{Z}^g + \tfrac a2} n_0^{k_0} \cdots n_{g-1}^{k_{g-1}} e^{\pi i(\cdots)} e^{-\pi (n + Y^{-1}y)^T Y (n + Y^{-1}y)}.\]

We ignore the leading multiplicative factor. Writing \(m = C n + v\), we have

\[n_0^{k_0}\cdots n_{g-1}^{k_{g-1}}\leq (\lVert C^{-1}\rVert_\infty \lVert n\rVert_2 + \lVert Y^{-1}y\rVert_\infty)^{|k|}.\]

Using the upper bound from acb_theta_naive_radius(), we see that the absolute value of the tail of the series is bounded above by

\[(\lVert C^{-1} \rVert_\infty R + \lVert Y^{-1}y \rVert_\infty)^{|k|} 2^{2g+2} R^{g-1} e^{-R^2} \prod_{j=0}^{g-1} (1 + \gamma_j^{-1}).\]

Thus, we proceed as follows. We first compute R2 and eps using acb_theta_naive_radius() with ord = 0. If \(R\leq \lVert Y^{-1}y\rVert_\infty/\lVert C^{-1}\rVert_\infty\), we simply multiply eps by \(\max\{1, 2 \lVert Y^{-1}y \rVert\}^{\mathit{ord}}\). Otherwise, we compute R2 and eps using acb_theta_naive_radius() with the given value of ord. We can then set R2 to the maximum of R2 and \(\lVert Y^{-1}y \rVert_\infty /\lVert C^{-1} \rVert_\infty\), and multiply eps by \(\max\{1, 2\lVert C^{-1}\rVert\}^{\mathit{ord}}\).

void acb_theta_jet_naive_00(acb_ptr dth, acb_srcptr z, const acb_mat_t tau, slong ord, slong prec)¶

Sets dth to the vector of derivatives of \(\theta_{0,0}\) at the given point \((z,\tau)\) up to total order ord.

In acb_theta_jet_naive_fixed_ab(), we reduce to this function using the same formula as in acb_theta_naive_fixed_ab(), making suitable linear combinations of the derivatives.

In acb_theta_jet_naive_all(), we instead use an ellipsoid to encode points in \(\tfrac 12 \mathbb{Z}^g\), and divide \(\tau\) by 4 and \(z\) by 2 to sum the correct terms. The bounds output by acb_theta_jet_naive_radius() are still valid, since this just has the effect of multiplying \(\lVert C^{-1} \rVert\) and each \(\gamma_j^{-1}\) by \(2\).

void acb_theta_jet_error_bounds(arb_ptr err, acb_srcptr z, const acb_mat_t tau, acb_srcptr dth, slong ord, slong prec)¶: Assuming that dth contains the derivatives of a function \(\theta_{a,b}\) up to total order \(\mathit{ord} + 2\), sets err to a vector with the following property. Let \((z_0,\tau_0)\) be the midpoint of \((z,\tau)\), and let \((z_1,\tau_1)\) be any point inside the ball specified by the given z and tau. Then the vectors of derivatives of \(\theta_{a,b}\) at \((z_0,\tau_0)\) and \((z_1,\tau_1)\) up to total order ord differ by at most err elementwise.

Quasi-linear algorithms: presentation¶

We refer to [EK2023] for a detailed description of the quasi-linear algorithm implemented here. In a nutshell, the algorithm relies on the following duplication formula: for all \(z,z'\in \mathbb{C}^g\) and \(\tau\in \mathbb{H}_g\),

\[\theta_{a,0}(z,\tau) \theta_{a,0}(z',\tau) = \sum_{a'\in(\mathbb{Z}/2\mathbb{Z})^g} \theta_{a',0}(z+z',2\tau) \theta_{a+a',0}(z-z',2\tau).\]

In particular,

\[\begin{split}\begin{aligned} \theta_{a,0}(z,\tau)^2 &= \sum_{a'\in (\mathbb{Z}/2\mathbb{Z})^g} \theta_{a',0}(2z,2\tau) \theta_{a+a',0}(0,2\tau),\\ \theta_{a,0}(0,\tau)\theta_{a,0}(z,\tau) &= \sum_{a'\in(\mathbb{Z}/2\mathbb{Z})^g} \theta_{a',0}(z,2\tau) \theta_{a+a',0}(z,2\tau), \\ \theta_{a,0}(0,\tau)^2 &= \sum_{a'\in (\mathbb{Z}/2\mathbb{Z})^g} \theta_{a',0}(0,2\tau) \theta_{a+a',0}(0,2\tau). \end{aligned}\end{split}\]

Applying one of these duplication formulas amounts to taking a step in a (generalized) AGM sequence. These formulas also have analogues for all theta values, not just \(\theta_{a,0}\): for instance, we have

\[\theta_{a,b}(0,\tau)^2 = \sum_{a'\in (\mathbb{Z}/2\mathbb{Z})^g} (-1)^{a'^Tb} \theta_{a',0}(0,2\tau)\theta_{a+a',0}(0,2\tau).\]

Suppose that we wish to compute \(\theta_{a,0}(0,\tau)\) for all \(a\in \{0,1\}^g\) and a reduced matrix \(\tau\in \mathbb{H}_g\). Applying the last formula \(n\) times, we reduce to evaluating \(\theta_{a,0}(0,2^n\tau)\). We expect that the absolute value of this complex number is roughly \(\exp(-d^2)\) for \(d = 2^n\mathrm{Dist}_\tau(0, \mathbb{Z}^g + \tfrac a2))\), where \(\mathrm{Dist}_\tau\) denotes the distance in \(\mathbb{R}^g\) attached to the quadratic form \(\mathrm{Im}(\tau)\). Provided that \(n \simeq \log_2(\mathit{prec})\), we have to sum only \(O_g(1)\) terms in the naive algorithm to evaluate \(\theta_{a,0}(0,2^n\tau)\) at “shifted absolute precision” prec, i.e. absolute precision \(\mathit{prec} + d^2/\log(2)\).

In order to recover \(\theta_{a,0}(0,\tau)\), we then perform \(n\) AGM steps. Assuming that each \(|\theta_{a,0}(0, 2^k\tau)|\) is indeed of the expected order of magnitude, we can ensure that the precision loss is \(O_g(1)\) bits at each step in terms of shifted absolute precision, and we can calculate the correct sign choices of square roots at each step with the naive algorithm. However, depending on the choice of \(\tau\), this assumption may not always hold.

We make the following adjustments to make the algorithm work for all \(\tau\), as well as for theta values at \(z\neq 0\):

If we discover (after applying the naive algorithm) that some value \(\theta_{a,0}(0,2^k\tau)\) is too small, we introduce an auxiliary real vector \(t\). At each step, starting from \(\theta_{a,0}(0,2^{k+1}\tau)\), \(\theta_{a,0}(2^{k+1}t, 2^{k+1}\tau)\) and \(\theta_{a,0}(2^{k+2}t, 2^{k+1}\tau)\), we compute \(\theta_{a,0}(2^{k}t, 2^k\tau)\) and \(\theta_{a,0}(2^{k+1}t, 2^k\tau)\) using square roots (second formula above), then \(\theta_{a,0}(0, 2^k\tau)\) using divisions (third formula). For a huge majority of such \(t\), none of the values \(\theta_{a,0}(2^kt, 2^k\tau)\) and \(\theta_{a,0}(2^{k+1}t, 2^k\tau)\) will be too small [EK2023]. In practice, we choose \(t\) at random and obtain a probabilistic algorithm with a negligible failure probability.
When computing \(\theta_{a,0}(z,\tau)\) for a nonzero \(z\), we compute \(\theta_{a,0}(0, 2^k\tau)\) and \(\theta_{a,0}(2^k z, 2^k\tau)\) using the second and fourth formulas at each step. We actually replace each occurrence of \(\theta_{a,0}(z,\tau)\) by \(e^{-\pi y^T Y^{-1} y}\theta_{a,0}(z,\tau)\), as the absolute values of the latter quantities do not increase as \(y\) gets farther from zero, and they still satisfy the duplication formulas.
These two techniques can be combined by evaluating theta values at the six vectors \(2^k v\) for \(v = 0, t, 2t, z, z + t, z + 2t\). Note that we only have to compute \(\theta_{a,0}(2^kz, 2^k\tau)\) at the last step \(k=0\).
Finally, if the eigenvalues of \(\mathrm{Im}(\tau)\) have different orders of magnitude, then the ellipsoid we have to sum on for the naive algorithm will become very thin in one direction while still being thick in other directions. In such a case, we can split the total sum and compute \(O(1)\) theta values in a lower dimension. This increases the efficiency of the algorithm while ensuring that the absolute precisions we consider are always in \(O(\mathit{prec})\).

Quasi-linear algorithms: distances¶

void acb_theta_dist_pt(arb_t d, arb_srcptr v, const arb_mat_t C, slong *n, slong prec)¶: Sets d to \(\lVert v + Cn\rVert^2\) for the usual Euclidean norm.

void acb_theta_dist_lat(arb_t d, arb_srcptr v, const arb_mat_t C, slong prec)¶: Sets d to \(\mathrm{Dist}(v, C \mathbb{Z}^g)^2\) for the usual Euclidean norm. We first compute an upper bound on the result by considering the \(2^g\) vectors obtained by rounding the entries of \(C^{-1}v\) to integers up or down, then compute an ellipsoid to find the minimum distance.

void acb_theta_dist_a0(arb_ptr d, acb_srcptr z, const acb_mat_t tau, slong prec)¶: Sets d to the vector containing \(\mathrm{Dist}(C \cdot(Y^{-1}y + \tfrac a2), C\cdot \mathbb{Z}^g)^2\) for \(a\in \{0,1\}^g\), where \(y, Y\) are the imaginary parts of \(z, \tau\) respectively and \(C\) is the upper-triangular Cholesky matrix for \(\pi Y\). The \(a^{\mathrm{th}}\) entry of d is also \(\mathrm{Dist}_\tau(-Y^{-1}y, \mathbb{Z}^g + \tfrac a2)^2\), where \(\mathrm{Dist}_\tau\) denotes the distance attached to the quadratic form \(\mathrm{Im}(\tau)\).

slong acb_theta_dist_addprec(const arb_t d)¶: Returns an integer that is close to d divided by \(\log(2)\) if d is finite and of reasonable size, and otherwise returns 0.

Quasi-linear algorithms: AGM steps¶

void acb_theta_agm_hadamard(acb_ptr res, acb_srcptr a, slong g, slong prec)¶: Sets res to the product of the Hadamard matrix \(\bigl(\begin{smallmatrix} 1 & 1 \\ 1 & -1\end{smallmatrix}\bigr)^{\otimes g}\) and the vector \(a\). Both res and \(a\) must be vectors of length \(2^g\). In other words, for each \(k\in \{0,1\}^g\), this sets the \(k^{\mathrm{th}}\) entry of res to \(\sum_{j\in \{0,1\}^g} (-1)^{k^T j} a_j\).

void acb_theta_agm_sqrt(acb_ptr res, acb_srcptr a, acb_srcptr rts, slong nb, slong prec)¶: Sets the \(k^{\mathrm{th}}\) entry \(r_k\) of res for \(0\leq k < \mathit{nb}\) to a square root of the corresponding entry \(a_k\) of \(a\). The choice of sign is determined by rts: each \(r_k\) will overlap the corresponding entry of rts but not its opposite. Exceptional cases are handled as follows: if both square roots of \(a_k\) overlap rts, then \(r_k\) is set to their acb_union(); if none ovelaps rts, then \(r_k\) is set to an indeterminate value.

void acb_theta_agm_mul(acb_ptr res, acb_srcptr a1, acb_srcptr a2, slong g, slong prec)¶

For each \(0\leq k < 2^g\), sets the \(k^{\mathrm{th}}\) entry of res to \(2^{-g}\sum_{b\in \{0,1\}^g} a_{1,b}\, a_{2, b + k}\), where addition is meant in \((\mathbb{Z}/2\mathbb{Z}^g)\) (a bitwise xor).

Following [LT2016], we apply the Hadamard matrix twice with multiplications in-between. This causes precision losses when the absolute values of the entries of a1 and/or a2 are of different orders of magnitude. This function is faster when a1 and a2 are equal as pointers, as we can use squarings instead of multiplications.

void acb_theta_agm_mul_tight(acb_ptr res, acb_srcptr a0, acb_srcptr a, arb_srcptr d0, arb_srcptr d, slong g, slong prec)¶

Assuming that d0 and d are obtained as the result of acb_theta_dist_a0() on \((0,\tau)\) and \((z,\tau)\) respectively, performs the same computation as acb_theta_agm_mul() on the vectors a0 and a with a different management of error bounds. The resulting error bounds on res will be tighter when the absolute value of \(a_k\) is roughly \(e^{-d_k}\) for each \(0\leq k < 2^g\), and similarly for a0 and d0.

When \(g>1\), we manage the error bounds as follows. We compute \(m, \varepsilon\) such that the following holds: for each \(0\leq k < \mathit{nb}\), if \(d_k\) (resp. \(a_k\)) denotes the \(k^{\mathrm{th}}\) entry of d (resp. a), then the absolute value of \(a_k\) is at most \(m \cdot e^{-d_k}\) and the radius of the complex ball \(a_k\) is at most \(\mathit{eps}\cdot e^{-d_k}\). We proceed similarly on a0 and d0 to obtain \(m_0, \varepsilon_0\). Then we call acb_theta_agm_mul() on the midpoints of a0 and a at a higher working precision, and finally add \(e^{-d_k} (m_0 \varepsilon + m \varepsilon_0 + \varepsilon\varepsilon_0)\) to the error bound on the \(k^\mathrm{th}\) entry of res. This is valid for the following reason: keeping notation from acb_theta_dist_a0(), for each \(b\in \{0,1\}^g\), the sum

\[\mathrm{Dist}_\tau(-Y^{-1}y, \mathbb{Z}^g + \tfrac b2)^2 + \mathrm{Dist}_\tau(-Y^{-1} y, \mathbb{Z}^g + \tfrac{b + k}{2})^2\]

is at most \(\mathrm{Dist}_\tau(-Y^{-1}y, \mathbb{Z}^g + \tfrac{k}{2})^2\) by the parallelogram identity.

Quasi-linear algorithms: main functions¶

The functions in this section will work best when \(\tau\) lies in the reduced domain, however \(\mathrm{Im}(\tau)\) may have large eigenvalues.

type acb_theta_ql_worker_t¶

A function pointer type. A function worker of this type has the following signature:

int worker(acb_ptr th, acb_srcptr t, acb_srcptr z, arb_scptr d0, arb_srcptr d, const acb_mat_t tau, slong guard, slong prec)¶

Such a worker will attempt to set th to the values \(\theta_{a,0}(v,\tau)\) for \(v = 0,t,2t,z,z+t,z+2t\) and \(a\in \{0,1\}^g\) at shifted absolute precision prec, and return \(1\) on success and \(0\) on failure. The vectors d0 and d must contain the result of acb_theta_dist_a0() on \((0,\tau)\) and \((z,\tau)\). If \(z = 0\), \(t = 0\), or both, we only compute \(3\), \(2\), or \(1\) vectors of \(2^g\) values respectively.

Two functions of this type are available: acb_theta_ql_a0_naive() and the main function acb_theta_ql_a0(). Using function pointers allows us to write independent test code for the main workhorses acb_theta_ql_a0_steps() and acb_theta_ql_a0_split() below.

int acb_theta_ql_a0_naive(acb_ptr th, acb_srcptr t, acb_srcptr z, arb_srcptr d0, arb_srcptr d, const acb_mat_t tau, slong guard, slong prec)¶: Follows the specifications of a function of type acb_theta_ql_worker_t using the naive algorithm only. The return value is \(1\) iff the output vector th contains finite values.

int acb_theta_ql_a0_split(acb_ptr th, acb_srcptr t, acb_srcptr z, arb_srcptr d, const acb_mat_t tau, slong s, slong guard, slong prec, acb_theta_ql_worker_t worker)¶

Follows the specifications of a function of type acb_theta_ql_worker_t, except for the additional arguments s and worker. We split the theta series according to the first \(s\) coordinates of \(n\in \mathbb{Z}^g\), writing \(n = (n_0,n_1)\) where \(n_0\in \mathbb{Z}^s\) and \(n_1\in \mathbb{Z}^{g - s}\). We must have \(1\leq s\leq g -1\). Then worker is called to evaluate the sum corresponding to each \(n_1\). The return value is 1 iff all the calls to worker succeed.

For each \(0\leq a < 2^g\), we compute R2 and eps as in acb_theta_naive_radius() at shifted absolte precision prec. Note that \(n^T \mathrm{Im}(\tau) n\geq \lVert C_1 n_1\rVert^2\), where \(C_1\) denotes the lower-right block of \(C\) of dimensions \((g-s)\times(g-s)\). Thus, in order to compute \(\theta_{a,0}(z, 2^n\tau)\) at shifted absolute precision prec, it is enough to consider those \(n_1\in \mathbb{Z}^{g - s}\) in an ellipsoid \(E_1\) of radius R2 for the Cholesky matrix \(C_1\). This ellipsoid is meant to contain very few points, and we list all of them. Then, for a given choice of \(n_1\), the sum of the corresponding terms in the theta series is

\[e^{\pi i \bigl((n_1 + \tfrac{a_1}{2})\tau_1 (n_1 + \tfrac{a_1}{2}) + 2 (n_1 + \tfrac{a_1}{2}) z_1\bigr)} \theta_{a_0,0}(z_0 + x (n_1 + \tfrac{a_1}{2}), \tau_0).\]

where \(\tau = \Bigl(\begin{smallmatrix} \tau_0 & x\\x^T & \tau_1\end{smallmatrix}\Bigr)\) and \(z = (z_0,z_1)\). When calling worker, we adjust the shifted absolute precision according to the distance between \(n_1\) and the center of \(E_1\).

int acb_theta_ql_a0_steps(acb_ptr th, acb_srcptr t, acb_srcptr z, arb_srcptr d0, arb_srcptr d, const acb_mat_t tau, slong nb_steps, slong s, slong guard, slong prec, acb_theta_ql_worker_t worker)¶

Follows the specifications of a function of type acb_theta_ql_worker_t, except for the additional arguments nb_steps, s and worker. We first compute low-precision approximations (more precisely, at shifted absolute precision guard) of the square roots we must take to perform nb_steps AGM steps; we hope that none of these approximations contains zero. Then we call acb_theta_ql_a0_naive() or acb_theta_ql_a0_split() (with the given worker) depending on whether s is zero or not, and finally perform the AGM steps. The return value is 1 iff each subprocedure succeeds.

The user should ensure that the eigenvalues of \(2^{\mathit{nb\_steps}}\mathrm{Im}(\tau)\) are not too large when calling this function.

slong acb_theta_ql_a0_nb_steps(const arb_mat_t C, slong s, slong prec)¶: Returns an integer \(n\) such that \(2^n \gamma_s^2 \simeq \mathit{prec}\) where \(\gamma_0,\ldots,\gamma_{g-1}\) denote the diagonal coefficients of \(C\). This \(n\) is meant to be the number of AGM steps to use in acb_theta_ql_a0_steps(), and its precise value is chosen to optimize performance. We require \(0\leq s < g\).

int acb_theta_ql_a0(acb_ptr th, acb_srcptr t, acb_srcptr z, arb_srcptr d0, arb_srcptr d, const acb_mat_t tau, slong guard, slong prec)¶

Follows the specifications of a function of type acb_theta_ql_worker_t.

We first decide how many AGM steps we should use and whether we should use the splitting strategy. Then we run acb_theta_ql_a0_steps() on the midpoints of \(t,z\) and \(\tau\) at a slightly higher precision to account for precision losses in the duplication formulas, using a recursive call to acb_theta_ql_a0() as worker. If the return value is 1, we finally compute provable error bounds on the result using acb_theta_jet_naive_fixed_ab() and acb_theta_jet_error_bounds().

The function acb_theta_ql_a0() may fail for an unlucky choice of auxiliary vector \(t\) or when guard is too small. Thus, we implement a probabilistic algorithm where we gradually increase guard and first choose \(t = 0\), then make a random choice of \(t\) at each step.

slong acb_theta_ql_reduce(acb_ptr new_z, acb_t c, arb_t u, slong *n1, acb_srcptr z, const acb_mat_t tau, slong prec)¶

Sets new_z, c, u, n1 and returns \(-1\leq s\leq g\) such that the following holds. If \(s\geq 0\) is returned, then \(z'\) = new_z is a vector of length \(s\) and \(n_1\) is a vector of length \(g-s\), and for each characteristic \((a,b)\), we have (borrowing notation from acb_theta_ql_a0_split()): either

\[|\theta_{a,b}(z,\tau) - c i^{\,n_1^Tb_1} \theta_{a_0,b_0}(z', \tau_0)| \leq u\]

when the last \(g-s\) coordinates of \(a\) equal \(n_1\) modulo 2, or

\[|\theta_{a,b}(z,\tau)|\leq u\]

otherwise. If \(s=-1\) is returned, then n1, c and new_z are left undefined and we have \(\theta_{a,b}(z,\tau)\leq u\) for all characteristics \((a,b)\). This filters out very large eigenvalues of \(\mathrm{Im}(\tau)\) that have a negligible impact on theta values but would give rise to unreasonable choices of precisions in the final duplication formula for computing all theta values \(\theta_{a,b}\).

This works as follows. We first compute R2 and eps as in acb_theta_naive_radius(), then set c, u and new_z as in acb_theta_naive_reduce() in dimension \(g\). We then set \(s\) such that the ellipsoid \(E\) of radius \(R^2\) that we are interested in is either empty or contains points whose \(g-s\) last coordinates are fixed. In the former case, we return \(s = -1\). Now assume that \(E\) is not empty, let \(n_1\) be the vector of these fixed last \(g-s\) coordinates, and let \(a_1\in \{0,1\}^{g-s}\) be the corresponding characteristic. We can then write the sum defining \(\theta_{a,b}\) over \(E\) as

\[e^{\pi i (\tfrac{n_1^T}{2} \tau_1 \tfrac{n_1}{2} + n_1^T(z_1 + \tfrac{b_1}{2}))} \sum_{n_0\in E_0 \cap (\mathbb{Z}^s + \tfrac{a_0}{2})} e^{\pi i (n_0^T \tau_0 n_0 + 2n_0^T(z_0 + x \tfrac{n_1}{2} + \tfrac{b_0}{2}))}\]

if the last \(g-s\) coordinates of \(a\) are equal to \(n_1\) modulo 2; the sum is zero otherwise. Thus we can set \(z'\) to \(z_0 + x\tfrac{n_1}{2}\) and multiply \(c\) by \(\exp(\pi i (\tfrac{n_1^T}{2}\tau_1\tfrac{n_1}{2} + n_1^Tz_1))\).

void acb_theta_ql_all(acb_ptr th, acb_srcptr z, const acb_mat_t tau, int sqr, slong prec)¶

Sets th to the collection of \(\theta_{a,b}(z,\tau)\) or \(\theta_{a,b}(z,\tau)^2\) for all \(a,b\in \{0,1\}^g\), depending on whether sqr is 0 (false) or nonzero (true).

After calling acb_theta_ql_reduce(), we generally use the duplication formula on the result of acb_theta_ql_a0() at \(2\tau\). When sqr is zero, we add a final square-root step.

Quasi-linear algorithms: derivatives¶

We implement an algorithm for derivatives of theta functions on the reduced domain based on finite differences. Consider the Taylor expansion:

\[\theta_{a,b}(z + h, \tau) = \sum_{k\in \mathbb{Z}^g,\ k\geq 0} a_k\, h_0^{k_0}\cdots h_{g-1}^{k_{g-1}}.\]

If one chooses \(h = h_n = (\varepsilon \zeta^{n_0},\ldots, \varepsilon \zeta^{n_{g-1}})\) where \(\varepsilon > 0\) and \(\zeta\) is a primitive \(m^{\mathrm{th}}\) root of unity and lets \(n\) run through all vectors in \(\{0,\ldots, m - 1\}^g\), then taking a discrete Fourier transform of the resulting values will compute the individual Taylor coefficient for each derivation tuple that is bounded by \(m-1\) elementwise. A constant proportion, for fixed \(g\), of this set consists of all tuples of total order at most \(m-1\). More precisely, fix \(p\in \mathbb{Z}^g\). Then

\[\begin{split}\sum_{n\in \{0,\ldots,m-1\}^g} \zeta^{-p^T n} \theta_{a,b}(z + h_n, \tau) = m^g \sum_{\substack{k\in \mathbb{Z}^g,\ k\geq 0,\\ k = p\ (\text{mod } m)}} a_k\,\varepsilon^{|k|}.\end{split}\]

We obtain an upper bound on the tail of this series from the Cauchy integration formula: if \(|\theta_{a,b}(z,\tau)|\leq c\) uniformly on a ball of radius \(\rho\) centered in \(z\) for \(\lVert\cdot\rVert_\infty\), then the sum is \(m^g (a_p\,\varepsilon^{|p|} + T)\) with

\[|T|\leq 2c g\,\frac{\varepsilon^{|p|+m}}{\rho^m}.\]

Since we divide by \(\varepsilon^{|p|}\) to get \(a_p\), we will add an error of \(2c g \varepsilon^m/\rho^{m+|p|}\) to the result of the discrete Fourier transform.

void acb_theta_jet_ql_bounds(arb_t c, arb_t rho, acb_srcptr z, const acb_mat_t tau, slong ord)¶

Sets c and rho such that on every ball centered at (a point contained in) z of radius rho, the functions \(|\theta_{a,b}|\) for all characteristics \((a,b)\) are uniformly bounded by \(c\). The choice of rho is tuned to get interesting upper bounds on derivatives of \(\theta_{a,b}\) up to order ord.

We proceed as follows. First, we compute \(c_0\), \(c_1\), \(c_2\) such that for any choice of \(\rho\), one can take \(c = c_0\exp((c_1 + c_2\rho)^2)\) above. We can take

\[c_0 = 2^g \prod_{j=0}^{g-1} (1 + 2\gamma_j^{-1}),\]

\[c_1 = \sqrt{\pi y^T Y^{-1} y},\]

\[c_2 = \sup_{\lVert x \rVert_\infty\leq 1} \sqrt{\pi x^T \mathrm{Im}(\tau)^{-1} x}.\]

One can easily compute an upper bound on \(c_2\) from the Cholesky decomposition of \(\pi \mathrm{Im}(\tau)^{-1}\). We then look for a value of \(\rho\) that minimizes \(\exp((c_1 + c_2\rho)^2)/\rho^{2m-1}\) where \(m = \mathit{ord}+1\), i.e. we set \(\rho\) to the positive root of \(2c_2\rho (c_1 + c_2\rho) = 2m-1\).

void acb_theta_jet_ql_radius(arf_t eps, arf_t err, const arb_t c, const arb_t rho, slong ord, slong g, slong prec)¶

Sets eps and err to be a suitable radius and error bound for computing derivatives up to total order ord at precision prec, given c and rho as above.

We set \(varepsilon\) such that \((2 g)^{1/m} \varepsilon \leq \rho\) and \(2 c g \varepsilon^m/\rho^{m+|p|} \leq 2^{-\mathit{prec}}\) where \(m = \mathit{ord} + 1\). We also set err to \(2^{-\mathit{prec}}\).

void acb_theta_jet_ql_finite_diff(acb_ptr dth, const arf_t eps, const arf_t err, acb_srcptr val, slong ord, slong g, slong prec)¶: Assuming that val contains the values \(\theta_{a,b}(z + h_n,\tau)\) where \(h_n = (\varepsilon \zeta^{n_0},\ldots, \varepsilon \zeta^{n_{g-1}})\) for a root of unity \(\zeta\) of order \(\mathit{ord} + 1\), and assuming that eps and err has been computed as in acb_theta_jet_ql_radius(), sets dth to the vector of partial derivatives of \(\theta_{a,b}\) at \((z,\tau)\) up to total order ord. The vector val should be indexed in lexicographic order as in acb_dft(), i.e. writing \(j = \overline{a_{g-1}\cdots a_0}\) in basis \(m\), the \(j^{\mathrm{th}}\) entry of val corresponds to \(n = (a_0,\ldots, a_{g-1})\). The output derivatives are normalized as in the Taylor expansion.

void acb_theta_jet_ql_all(acb_ptr dth, acb_srcptr z, const acb_mat_t tau, slong ord, slong prec)¶

Sets dth to the derivatives of all functions \(\theta_{a,b}\) for \(a,b\in \{0,1\}^g\) at \((z,\tau)\), as a concatenation of \(2^{2g}\) vectors of length \(N\), the total number of derivation tuples of total order at most ord. This algorithm runs in quasi-linear time in \(\mathit{prec}\cdot \mathit{ord}^{\,g}\) for any fixed \(g\) provided that \((z,\tau)\) is reduced.

We first compute c, rho, err and eps as above, then compute theta values \(\theta_{a,b}(z + h_n,\tau)\) at a higher precision at the midpoints of \(z\) and \(\tau\) to account for division by \(\varepsilon^{\mathit{ord}}\cdot (\mathit{ord}+1)^g\). Finally, we adjust the error bounds using acb_theta_jet_error_bounds() and the naive algorithm for derivatives of order at most \(\mathit{ord} + 2\).

The transformation formula¶

The functions in this section implement the theta transformation formula of [Igu1972], p. 176 and [Mum1983], p. 189: for any symplectic matrix \(m\), any \((z,\tau)\in \mathbb{C}^g\times \mathbb{H}_g\), and any characteristic \((a,b)\), we have

\[\theta_{a,b}(m\cdot(z,\tau)) = \kappa(m) \zeta_8^{e(m, a, b)} \det(\gamma\tau + \delta)^{1/2} e^{\pi i z^T (\gamma\tau + \delta)^{-1} \gamma z} \theta_{a',b'}(z,\tau)\]

where

\(\gamma,\delta\) are the lower \(g\times g\) blocks of \(m\),
\(a',b'\) is another characteristic depending on \(m,a,b\),
\(\zeta_8=\exp(i\pi/4)\),
\(e(m,a,b)\) is an integer given by an explicit formula in terms of \(m,a,b\) (this is \(\phi_m\) in Igusa’s notation), and
\(\kappa(m)\) is an \(8^{\mathrm{th}}\) root of unity, only well-defined up to sign unless we choose a particular branch of \(\det(\gamma\tau + \delta)^{1/2}\) on \(\mathbb{H}_g\).

ulong acb_theta_transform_char(slong *e, const fmpz_mat_t mat, ulong ab)¶: Returns the theta characteristic \((a',b')\) and sets e to \(e(\mathit{mat},a,b)\).

void acb_theta_transform_sqrtdet(acb_t res, const acb_mat_t tau, slong prec)¶

Sets res to \(\det(\tau)^{1/2}\), where the branch of the square root is chosen such that the result is \(i^{g/2}\det(Y)\) when \(\tau = iY\) is purely imaginary.

We pick a purely imaginary matrix A and consider the polynomial \(P(t) = \det(A + \tfrac{t+1}{2} (\tau - A))\). Up to choosing another \(A\), we may assume that it has degree \(g\) and that its roots (as complex balls) do not intersect the segment \([-1,1]\subset \mathbb{C}\). We then find the correct branch of \(P(t)^{1/2}\) between \(t=-1\) and \(t=1\) following [MN2019].

slong acb_theta_transform_kappa(acb_t sqrtdet, const fmpz_mat_t mat, const acb_mat_t tau, slong prec)¶

Returns \(0\leq r < 8\) such that \(\kappa(m) = \zeta_8^r\) and sets sqrtdet to the corresponding square root of \(\det(\gamma\tau + \delta)\).

After applying sp2gz_decompose(), we only have to consider four special cases for mat. If mat is trigonal or block-diagonal, one can compute its action on \(\theta_{0,0}\) directly. If mat is an embedded matrix from \(\mathrm{SL}_2(\mathbb{Z})\), we rely on acb_modular_theta_transform(). Finally, if mat is an embedded \(J\) matrix from dimension \(0\leq r\leq g\), then \(\kappa(m) \zeta_8^{e(m,0,0)} i^{r/2} \det(\tau_0)^{1/2} = 1\), where \(\tau_0\) denotes the upper left \(r\times r\) submatrix of \(\tau\) and the square root is computed as in acb_theta_transform_sqrtdet().

slong acb_theta_transform_kappa2(const fmpz_mat_t mat)¶

Returns \(0\leq r < 3\) such that \(\kappa(m)^2 = i^r\), which makes sense without reference to a branch of \(\det(\gamma\tau + \delta)^{1/2}\).

We adopt a similar strategy to acb_theta_transform_kappa() but do not call acb_theta_transform_sqrtdet().

void acb_theta_transform_proj(acb_ptr res, const fmpz_mat_t mat, acb_srcptr th, int sqr, slong prec)¶

Assuming that sqr is 0 (false) and that th contains \(\theta_{a,b}(z,\tau)\) for some \((z,\tau)\), sets res to contain the values \(\theta_{a,b}(\mathit{mat}\cdot (z,\tau))\) up to a common scalar factor in \(\mathbb{C}^\times\). This only permutes the theta values and multiplies them by a suitable \(8^{\mathrm{th}}\) root of unity. If sqr is nonzero (true), does the same computation for squared theta values \(\theta_{a,b}(z,\tau)^2\) instead.

In acb_theta_all() and acb_theta_jet_all(), we first reduce \(\tau\) using acb_siegel_reduce(), then call acb_theta_ql_all(), or acb_theta_jet_ql_all() on the reduced matrix, and finally apply the transformation formula. If the reduction step is not successful, we set the result to indeterminate values.

Dimension 2 specifics¶

In the \(g=2\) case, one can use theta functions to evaluate many fundamental Siegel modular forms. This section contains methods to do so, in analogy with acb_modular_delta() or acb_modular_eisenstein() when \(g=1\).

We use the following notation. Fix \(k,j\geq 0\). A Siegel modular form of weight \(\det^k\otimes \mathrm{Sym}^j\) is by definition an analytic function \(f: \mathbb{H}_g\to \mathbb{C}_j[X]\) (the vector space of polynomials of degree at most \(j\)) such that for any \(\tau\in \mathbb{H}_g\) and \(m\in \mathrm{Sp}_4(\mathbb{Z})\), we have

\[f((\alpha\tau + \beta)(\gamma\tau + \delta)^{-1}) = \det(\gamma\tau + \delta)^k\cdot \mathrm{Sym}^j(\gamma\tau + \delta)(f(\tau)).\]

Here \(\alpha,\beta,\gamma,\delta\) are the \(g\times g\) blocks of \(m\), and the notation \(\mathrm{Sym}^j(r)\) where \(r = \bigl(\begin{smallmatrix} a & b\\ c & d\end{smallmatrix}\bigr)\in \mathrm{GL}_2(\mathbb{C})\) stands for the map

\[P(X) \mapsto (b X + d)^j P\bigl(\tfrac{a X + c}{b X + d}\bigr).\]

For a nonzero \(f\) to exist, \(j\) must be even.

Siegel modular forms generate a bi-graded ring which is not finitely generated. However, if we relax the definition of a Siegel modular form and allow them to have a pole along the diagonal \(\mathbb{H}_1^2 = \bigl\{\bigl(\begin{smallmatrix} \tau_1 & 0 \\ 0 & \tau_2\end{smallmatrix}\bigr)\bigr\}\subset \mathbb{H}_2\) of a certain order (depending on the weight), we indeed find a finitely generated ring corresponding to classical “covariants” of a binary sextic. Historically, covariants are classified in terms of their degree \(k\) and index \(j\), corresponding to Siegel modular functions of weight \(\det^{k - j/2}\otimes \mathrm{Sym}^j\). See [CFG2017] for more details on the correspondence between modular forms and covariants.

ACB_THETA_G2_COV_NB¶: Macro giving the number of generators of the ring of covariants, equal to 26.

void acb_theta_g2_jet_naive_1(acb_ptr dth, const acb_mat_t tau, slong prec)¶

Sets dth in the same way as acb_theta_jet_naive_all() at order 1 for \(z=0\).

We take advantage of the fact that the value (resp. gradients) of \(\theta_{a,b}(z,\tau)\) at \(z = 0\) vanish if \((a,b)\) is an odd (resp. even) characteristic. The attached worker of type acb_theta_naive_worker_t uses one of two available strategies (doing multiplications and then summing, or calling acb_dot() twice) depending on prec.

void acb_theta_g2_detk_symj(acb_poly_t res, const acb_mat_t m, const acb_poly_t f, slong k, slong j, slong prec)¶: Sets res to \(\det(m)^k \mathrm{Sym}^j(m)(f)\). The polynomial \(f\) should be of degree at most \(j\) (any coefficients of larger degree are ignored).

void acb_theta_g2_transvectant(acb_poly_t res, const acb_poly_t g, const acb_poly_t h, slong m, slong n, slong k, slong prec)¶

Sets res to the \(k^{\mathrm{th}}\) transvectant of the polynomials \(g\) and \(h\) of degrees \(m\) and \(n\): considering \(g\) and \(h\) as homogeneous polynomials of degree \(m\) (resp. \(n\)) in \(x_1,x_2\), this sets res to

\[(g,h)_k := \frac{(m-k)!(n-k)!}{m!n!} \sum_{j=0}^{k} (-1)^{k-j} \binom{k}{j} \frac{\partial^k g}{\partial x_1^{k-j}\partial x_2^j} \frac{\partial^k h}{\partial x_1^{j}\partial x_2^{k-j}}.\]

Any coefficients of \(g\) or \(h\) of larger degree than \(m\) (resp. \(n\)) are ignored.

void acb_theta_g2_transvectant_lead(acb_t res, const acb_poly_t g, const acb_poly_t h, slong m, slong n, slong k, slong prec)¶: Sets res to the leading coefficient of \((g,h)_k\) in \(x_1\), with the same conventions as in acb_theta_g2_transvectant().

slong acb_theta_g2_character(const fmpz_mat_t mat)¶: Returns the value in \(\mathbb{Z}/2\mathbb{Z}\) (0 or 1) of the unique nontrivial character of \(\mathrm{Sp}_4(\mathbb{Z})\) at mat, following [CFG2019], §12.

void acb_theta_g2_psi4(acb_t res, acb_srcptr th2, slong prec)¶

void acb_theta_g2_psi6(acb_t res, acb_srcptr th2, slong prec)¶

void acb_theta_g2_chi10(acb_t res, acb_srcptr th2, slong prec)¶

void acb_theta_g2_chi12(acb_t res, acb_srcptr th2, slong prec)¶

Sets res to the value of the Eisenstein series \(\psi_4\), \(\psi_6\) or the cusp forms \(\chi_{10}, \chi_{12}\) corresponding to the given vector th2 of squared theta values (of length 16).

We use the formulas from §7.1 in [Str2014], with the following normalizations:

\[\psi_4 = h_4/4, \quad \psi_6 = h_6/4,\quad \chi_{10} = -2^{-12} h_{10}, \quad \chi_{12} = 2^{-15}h_{12}.\]

We warn that \(\chi_{10}\) and \(\chi_{12}\) differ from the classical notation of Igusa [Igu1979] by scalar factors. Writing \(\tau = \bigl(\begin{smallmatrix} \tau_1 & \tau_2 \\ \tau_2 & \tau_3\end{smallmatrix}\bigr)\) and \(q_j = \exp(2\pi i \tau_j)\), the Fourier expansions of these modular forms begin as follows:

\[\begin{split}\begin{aligned} \psi_4(\tau) &= 1 + 240(q_1 + q_3) + \cdots\\ \psi_6(\tau) &= 1 - 504(q_1 + q_3) + \cdots\\ \chi_{10}(\tau) &= (q_2 - 2 + q_2^{-1}) q_1 q_3 + \cdots\\ \chi_{12}(\tau) &= (q_2 + 10 + q_2^{-1}) q_1 q_3 + \cdots. \end{aligned}\end{split}\]

void acb_theta_g2_chi5(acb_t res, acb_srcptr th, slong prec)¶: Sets res to the value of \(\chi_5 = - 2^{-6} \prod_{(a,b)\text{ even}} \theta_{a,b}\) corresponding to the given theta values th. The form \(\chi_5\) is a Siegel cusp form with character: see [CFG2019] for more details.

void acb_theta_g2_chi35(acb_t res, acb_srcptr th, slong prec)¶

Sets res to the value of the cusp form \(\chi_{35}\) corresponding to the vector of theta values th. The form \(\chi_{35}\) is the unique scalar-valued Siegel modular form of weight \(\det^{35}\otimes \mathrm{Sym}^0\) up to scalars, and is normalized as follows:

\[\chi_{35}(\tau) = q_1^2 q_3^2 (q_1 - q_3 )(q_2 - q_2^{-1}) + \cdots\]

An explicit formula for \(\chi_{35}\) in terms of theta values is given in [Bol1887]. See also [Mum1984], Prop. 6.2 p. 98 for how to translate Bolza’s notation in terms of theta characteristics.

void acb_theta_g2_chi3_6(acb_poly_t res, acb_srcptr dth, slong prec)¶: Sets res to the value of the vector-valued cusp form with character \(\chi_{6,3}\) of weight \(\det^3\otimes \mathrm{Sym}^6\) corresponding to the given values of dth, computed as in e.g. acb_theta_g2_jet_naive_1(). We have by [CFG2017]:

\[\chi_{3,6}(\tau) = \frac{1}{64\pi^6} \prod_{(a,b) \text{ odd}} \left(\frac{\partial \theta_{a,b}}{\partial z_1}(0,\tau) x_1 + \frac{\partial\theta_{a,b}}{\partial z_2}(0,\tau) x_2\right).\]

void acb_theta_g2_sextic(acb_poly_t res, const acb_mat_t tau, slong prec)¶: Sets res to the value of \(\chi_{-2,6}:=\chi_{3,6}/\chi_5\) at \(\tau\). We reduce \(\tau\) to the Siegel fundamental domain and call either acb_theta_g2_jet_naive_1() or acb_theta_jet_ql_all() to compute theta gradients, depending on prec. Under the correspondence between Siegel modular functions and covariants of binary sextics, \(\chi_{-2,6}\) corresponds to the binary sextic itself, hence the name.

void acb_theta_g2_sextic_chi5(acb_poly_t res, acb_t chi5, const acb_mat_t tau, slong prec)¶: Sets res and chi5 to the values of \(\chi_{-2,6}\) and \(\chi_5\) at \(\tau\). Theta values are computed only once.

void acb_theta_g2_covariants(acb_poly_struct *res, const acb_poly_t f, slong prec)¶

Sets res to the vector of 26 generators of the ring of covariants evaluated at the sextic f (any terms of degree \(>6\) are ignored), in the following order:

\(C_{1,6}=f\)
\(C_{2,0}= 60(f,f)_6\)
\(C_{2,4}= 75(f,f)_4\)
\(C_{2,8}= 90(f,f)_2\)
\(C_{3,2}= 30(f,C_{2,4})_4\)
\(C_{3,6}= 30(f,C_{2,4})_2\)
\(C_{3,8}= 6(f,C_{2,4})_1\)
\(C_{3,12}= 6 (f,C_{2,8})_1\)
\(C_{4,0}= 2 (C_{2,4},C_{2,4})_4\)
\(C_{4,4}= 30 (f,C_{3,2})_2\)
\(C_{4,6}= 6(f,C_{3,2})_1\)
\(C_{4,10}= 2(C_{2,8},C_{2,4})_1\)
\(C_{5,2}=(C_{2,4},C_{3,2})_2\)
\(C_{5,4}=\frac 25 (C_{2,4},C_{3,2})_1\)
\(C_{5,8}= 2(C_{2,8},C_{3,2})_1\)
\(C_{6,0}= 2(C_{3,2},C_{3,2})_2\)
\(C_{6,6}^{(1)}= \frac 25(C_{3,6},C_{3,2})_1\)
\(C_{6,6}^{(2)}= \frac 83(C_{3,8},C_{3,2})_2\)
\(C_{7,2}= 30(f,C_{3,2}^2)_4\)
\(C_{7,4}= 12(f,C_{3,2}^2)_3\)
\(C_{8,2}= \frac 25(C_{2,4},C_{3,2}^2)_3\)
\(C_{9,4}= 4(C_{3,8},C_{3,2}^2)_4\)
\(C_{10,0}= 20(f,C_{3,2}^3)_6\)
\(C_{10,2}= \frac 65(f,C_{3,2}^3)_5\)
\(C_{12,2}= \frac 85(C_{3,8},C_{3,2}^3)_6\)
\(C_{15,0}= \frac{1}{30000} (C_{3,8},C_{3,2}^4)_8\).

The scalar factors are chosen so that when evaluated at a formal sextic \(f = \sum a_i x_1^{6-i}x_2^i\), the covariants are integral and primitive as multivariate polynomials in \(a_0,\ldots,a_6,x_1,x_2\).

void acb_theta_g2_covariants_lead(acb_ptr res, const acb_poly_t f, slong prec)¶: Sets res to the vector of leading coefficients in \(x_1\) of the 26 covariants evaluated at f. This is more efficient than taking leading coefficients of acb_theta_g2_covariants(), since we can use acb_theta_g2_transvectant_lead() instead of acb_theta_g2_transvectant().

Tests¶

./build/acb_theta/test/main sp2gz_set_blocks

Generates a random \(2g\times 2g\) matrix, calls sp2gz_set_blocks() on its four \(g\times g\) windows, and checks that the result equals the original matrix.

./build/acb_theta/test/main sp2gz_is_correct

Checks that the return value of sp2gz_is_correct() is 1 on matrices generated by sp2gz_j(), sp2gz_block_diag(), sp2gz_trig() and sp2gz_fundamental(), and 0 on the identity matrix if it is not square of even size.

./build/acb_theta/test/main sp2gz_inv

Checks that the result of sp2gz_inv() agrees with fmpz_mat_inv() on random input.

./build/acb_theta/test/main sp2gz_decompose

Checks that the result of sp2gz_decompose() on random input only consists of symplectic matrices of the allowed types, and that their product equals the original matrix.

./build/acb_theta/test/main acb_siegel_cocycle

Checks that the chain rule holds: if \(m'' = m'm\) is a product of two symplectic matrices and \(\tau\in \mathbb{H}_g\), then \(\gamma''\tau + \delta'' = (\gamma'\tau' + \delta')(\gamma\tau+\delta)\) where \(\tau' = m\tau\). These quantities are computed using acb_siegel_cocycle() and acb_siegel_transform().

./build/acb_theta/test/main acb_siegel_transform

Checks that the chain rule holds, i.e. acb_siegel_transform() defines an action of the group \(\mathrm{Sp}_{2g}(\mathbb{Z})\) on \(\mathbb{H}_g\).

./build/acb_theta/test/main acb_siegel_transform_z

Checks that acb_siegel_transform() and acb_siegel_transform_z() agree on random input, and that acb_siegel_transform_z() on the inverse of any matrix yields the inverse transformation.

./build/acb_theta/test/main acb_siegel_reduce

Generates an input matrix \(\tau\) at a working precision that is not too low compared to the size of its coefficients, and calls acb_siegel_reduce(). Checks that the resulting matrix \(m\) is symplectic and that \(m\tau\) is reduced with a tolerance of \(2^{-10}\) using acb_siegel_is_reduced().

./build/acb_theta/test/main acb_siegel_is_reduced

Checks that acb_siegel_is_reduced() returns 1 on the matrix \(i I_g\), but 0 on other matrices specially constructed to not be reduced.

./build/acb_theta/test/main acb_theta_char_get_a

Generates a random characteristic a, sets n to the result of acb_theta_char_get_slong() on a, and checks that the result of acb_theta_char_get_a() on n gives back a.

./build/acb_theta/test/main acb_theta_char_dot

Checks that dot products computed by acb_theta_char_dot(), acb_theta_char_dot_slong() and acb_theta_char_dot_acb() agree on random input.

./build/acb_theta/test/main acb_theta_char_is_even

Checks that the 10 even theta characteristics for \(g=2\) are 0, 1, 2, 3, 4, 6, 8, 9, 12, 15.

./build/acb_theta/test/main acb_theta_char_is_goepel

Checks that there are exactly 15 Göpel quadruples for \(g=2\).

./build/acb_theta/test/main acb_theta_char_is_syzygous

Checks that there are exactly 60 syzygous triples for \(g=2\).

./build/acb_theta/test/main acb_theta_eld_points

Generates a random ellipsoid E using acb_theta_eld_set(), computes its points using acb_theta_eld_points(), and checks that each of these points lies within the box specified by acb_theta_eld_box. Then, generates random points pt: if pt is in E according to acb_theta_eld_contains(), then pt must appear in the list of points, otherwise the norm of pt according to the chosen Cholesky matrix must be at least the radius of E.

./build/acb_theta/test/main acb_theta_eld_border

Generates a random ellipsoid E, computes its border using acb_theta_eld_border(), and checks that none of these border points lie in E nor any of its children.

./build/acb_theta/test/main acb_theta_naive_radius

Generates a reduced matrix \(\tau\) in \(\mathbb{H}_g\) and vector \(z\in \mathbb{C}^g\), calls acb_theta_naive_radius(), constructs the associated ellipsoid E, and checks that the sums of absolute values of terms of the theta series on the border of E is at most the specified bound.

./build/acb_theta/test/main acb_theta_naive_reduce

Checks that the results of acb_theta_naive_reduce() are sound on some special values of the input, namely when zs has only real entries and when \(\mathrm{Im}(z) = -\mathrm{Im}(\tau) n + \varepsilon\) where n is an even integral vector and \(\varepsilon\) is small.

./build/acb_theta/test/main acb_theta_naive_term

Checks that the result of acb_theta_naive_term() is \(n^k \exp(i\pi(n^2\tau + 2nz))\) in the \(g=1\) case.

./build/acb_theta/test/main acb_theta_naive_00

Checks that the ouput of acb_theta_naive_00() overlaps the first entry of the output of acb_theta_naive_0b().

./build/acb_theta/test/main acb_theta_naive_all

Checks that the results of acb_theta_naive_all() agree with acb_modular_theta() as follows: if the input matrix \(\tau\) is diagonal with coefficients \(\tau_0,\ldots, \tau_{g-1}\), then for all characteristics \((a,b)\) and vectors \(z\), we have

\[\theta_{a,b}(z,\tau) = \prod_{j=0}^{g-1} \theta_{a_j,b_j}(z_j,\tau_j).\]

./build/acb_theta/test/main acb_theta_naive_fixed_a

Checks that the output of acb_theta_naive_fixed_a() overlaps the relevant entries of acb_theta_naive_all() on random input.

./build/acb_theta/test/main acb_theta_naive_fixed_ab

Checks that the output of acb_theta_naive_fixed_ab() overlaps the relevant entries of acb_theta_naive_all() on random input.

./build/acb_theta/test/main acb_theta_jet_tuples

For random g and ord, generates the list of derivation tuples using acb_theta_jet_tuples(), picks an index \(i\) at random, and checks that the result of acb_theta_jet_index() on the \(i^{\mathrm{th}}\) tuple is indeed \(i\).

./build/acb_theta/test/main acb_theta_jet_mul

Checks that the results of acb_theta_jet_mul() agrees with the result of fmpz_mpoly_mul() on any input with integral entries.

./build/acb_theta/test/main acb_theta_jet_compose

Checks that the chain rule holds: if \(N_3 = N_2 N_1\), then applying acb_theta_jet_compose() with \(N_2\), then \(N_1\) corresponds to applying acb_theta_jet_compose() with \(N_3\) directly.

./build/acb_theta/test/main acb_theta_jet_naive_radius

Generates a reduced matrix \(\tau\) in \(\mathbb{H}_g\) and vector \(z\in \mathbb{C}^g\), chooses a random order of derivation, calls acb_theta_jet_naive_radius(), constructs the associated ellipsoid E, and checks that the sums of absolute values of terms of the differentiated theta series on the border of E is at most the specified bound.

./build/acb_theta/test/main acb_theta_jet_naive_all

Checks that the results of acb_theta_jet_naive_all() agree with acb_modular_theta_jet() as follows: if the input matrix \(\tau\) is diagonal with coefficients \(\tau_0,\ldots, \tau_{g-1}\), then for all characteristics \((a,b)\), any vector \(z\), and any derivation tuple \((k_0,\ldots,k_{g-1})\), we have

\[\frac{\partial^{|k|} \theta_{a,b}} {\partial z_0^{k_0}\cdots \partial z_{g-1}^{k-1}}(z,\tau) = \prod_{j=0}^{g-1} \frac{\partial^{k_j}\theta_{a_j,b_j}}{\partial z^{k_j}}(z_j,\tau_j).\]

./build/acb_theta/test/main acb_theta_jet_naive_00

Checks that the output of acb_theta_jet_naive_00() agrees with the relevant entries of acb_theta_jet_naive_all() on random input.

./build/acb_theta/test/main acb_theta_jet_naive_fixed_ab

Checks that the output of acb_theta_jet_naive_fixed_ab() agrees with the relevant entries of acb_theta_jet_naive_all() on random input.

./build/acb_theta/test/main acb_theta_jet_error_bounds

Generates two pairs \((z_1,\tau_1)\) and \((z_2,\tau_2)\) close to each other but not overlapping, sets \((z,\tau)\) to be their reunion (as complex balls on each coefficient), and calls acb_theta_jet_error_bounds() on \((z,\tau)\) for some choice of derivation order. The difference between the results of acb_theta_jet_naive_all() on \((z_1,\tau_1)\) and \((z_2,\tau_2)\) must then be at most two times the computed error.

./build/acb_theta/test/main acb_theta_dist_pt

Checks that for a random Cholesky matrix \(C\) and integral vectors \(n_1,n_2\), the results of acb_theta_dist_pt() on \((v,n) = (Cn_1, n_2)\) and \((Cn_2, n_1)\) agree.

./build/acb_theta/test/main acb_theta_dist_lat

Picks a random Cholesky matrix \(C\) and vector \(v\), calls acb_theta_dist_lat(), and computes the ellipsoid E whose radius is the computed distance. Checks that E contains at least one point and that the minimum distance is correct by looping over all the points in E.

./build/acb_theta/test/main acb_theta_dist_a0

Checks that when \(z = \mathrm{Im}(\tau) \tfrac{a}{2}\) for some theta characteristic \(a\), the result of acb_theta_dist_a0() on \((z,\tau)\) contains zero in its \(a^{\mathrm{th}}\) entry.

./build/acb_theta/test/main acb_theta_agm_hadamard

Checks that calling acb_theta_agm_hadamard() twice on random input is equivalent to multiplying by \(2^g\).

./build/acb_theta/test/main acb_theta_agm_sqrt

Generates a random complex number t, sets rts to a low-precision rounding of t (possibly containing zero), and sets a to the square of t. Checks that the result of acb_theta_agm_sqrt() on this input is finite, contains t, and that the precision loss is small when rts does not contain zero.

./build/acb_theta/test/main acb_theta_agm_mul

Checks that the duplication formula holds: the result of acb_theta_agm_mul() on vectors containing \(\theta_{0,b}(0,\tau)\) and \(\theta_{0,b}(z,\tau)\) for all \(b\in\{0,1\}^g\) and any choice of \((z,\tau)\) contains the squared theta values \(\theta_{0,b}^2(2z,2\tau)\).

./build/acb_theta/test/main acb_theta_agm_mul_tight

Generates random \(\tau\) and \(z\) at working precision prec, computes the associated vectors of distances d0 and d using acb_theta_dist_a0(), and constructs vectors a0 and a with entries of the form \(x e^{-t}\) where \(x\) is uniformly random with \(|x|\leq 1\) (generated by acb_urandom()) and t is the corresponding entry of d0 (resp. d). Calls acb_theta_agm_mul_tight() at a lower precision mprec. For each \(0\leq k< 2^g\), checks that the absolute value of \(k^{\mathrm{th}}\) entry of the result res is at most \(e^{-d_k}\), and that the error bound on that entry is at most \(2^{-\mathit{mprec} + \delta} e^{-d_k}\) for a reasonable value of \(\delta\) (e.g. 25).

./build/acb_theta/test/main acb_theta_ql_a0_split

Checks that the result of acb_theta_ql_a0_split() (using acb_theta_ql_a0_naive() as worker) agrees with that of acb_theta_ql_a0_naive() in case of success.

./build/acb_theta/test/main acb_theta_ql_a0_steps

Checks that the result of acb_theta_ql_a0_steps() (using acb_theta_ql_a0_naive() as worker) agrees with that of acb_theta_ql_a0_naive() in case of success.

./build/acb_theta/test/main acb_theta_ql_a0

Checks that acb_theta_ql_a0(), if successful, agrees with acb_theta_ql_a0_naive() on random input.

./build/acb_theta/test/main acb_theta_ql_reduce

Generates random values \(\tau\) and \(z\) in such a way that acb_theta_ql_reduce() is likely to output \(s < g\) and a nonzero n1, and checks that the claimed inequalities in that function’s documentation hold when computing theta values using acb_theta_naive_all().

./build/acb_theta/test/main acb_theta_ql_all

Checks that acb_theta_ql_all() agrees with acb_theta_naive_all() on random input.

./build/acb_theta/test/main acb_theta_jet_ql_bounds

Generates random \((z,\tau)\) at a working precision that is not too low and calls acb_theta_jet_ql_bounds() to compute the bounds c and rho. Checks that they are finite and that their definition is satisfied by sampling theta values on the corresponding neighborhood of \(z\) at low precisions with acb_theta_naive_all().

./build/acb_theta/test/main acb_theta_jet_ql_radius

Checks that the result of acb_theta_jet_ql_radius() on random input satisfies the required inequalities.

./build/acb_theta/test/main acb_theta_jet_ql_finite_diff

Checks that acb_theta_jet_ql_finite_diff() computes the correct Taylor coefficients for the function \(\exp(z_0+\cdots+z_{g-1})\) at zero. Correct input can be generated by acb_theta_jet_ql_radius(), as the bounds c and rho can be computed directly for this function.

./build/acb_theta/test/main acb_theta_jet_ql_all

Checks that acb_theta_jet_ql_all() agrees with acb_theta_jet_naive_all() on random input.

./build/acb_theta/test/main acb_theta_transform_char

Checks that the \(a\) component of any theta characteristic remains the same after applying acb_theta_transform_char() when the symplectic matrix is trigonal as in sp2gz_trig().

./build/acb_theta/test/main acb_theta_transform_sqrtdet

Checks that the result of acb_theta_transform_sqrtdet() on any input \(\tau\in \mathbb{H}_g\) squares to \(\det(\tau)\).

./build/acb_theta/test/main acb_theta_transform_kappa

Checks that acb_theta_transform_kappa() and acb_theta_transform_kappa2() agree on random input (i.e. they are congruent modulo 4).

./build/acb_theta/test/main acb_theta_transform_proj

Checks that applying acb_theta_transform_proj() with a random symplectic matrix, then its inverse gives back the initial vector up to scaling.

./build/acb_theta/test/main acb_theta_all

Checks that acb_theta_all() agrees with acb_theta_naive_all() on random input. The matrix \(\tau\) is chosen to be a priori non-reduced but still reasonably close to the reduced domain.

./build/acb_theta/test/main acb_theta_jet_all

Checks that acb_theta_jet_all() agrees with acb_theta_jet_naive_all() on random input. The matrix \(\tau\) is chosen to be a priori non-reduced but still reasonably close to the reduced domain.

./build/acb_theta/test/main acb_theta_g2_jet_naive_1

Checks that acb_theta_g2_jet_naive_1() agrees with acb_theta_jet_naive_all() with \(g=2\), \(z = 0\) and \(\mathit{ord} = 1\) on a random matrix \(\tau\).

./build/acb_theta/test/main acb_theta_g2_detk_symj

Checks that the chain rule holds for the representation \(\det^k \mathrm{Sym}^j\) of \(\mathrm{GL}_2(\mathbb{C})\) as computed by acb_theta_g2_detk_symj().

./build/acb_theta/test/main acb_theta_g2_transvectant

Checks that on any sextic polynomial \(f = \sum_{j=0}^6 a_j x^{6-j}\), the transvectant \((f,f)_6\) as computed by acb_theta_g2_transvectant() is \(-3a_2^3 + 8a_2 a_4 - 20a_1 a_5 + 120a_0 a_6\).

./build/acb_theta/test/main acb_theta_g2_transvectant_lead

Checks that the result of acb_theta_g2_transvectant_lead() is indeed the leading term of the result of acb_theta_g2_transvectant() on random input.

./build/acb_theta/test/main acb_theta_g2_character

Checks that the results of acb_theta_g2_character() and acb_theta_transform_kappa2() for \(g=2\) are compatible, using the fact that the product \(\chi_5\) of the ten even theta constants is a Siegel modular form with character.

./build/acb_theta/test/main acb_theta_g2_psi4

Checks that the result of acb_theta_g2_psi4() is invariant when applying acb_theta_transform_proj() on any input vector.

./build/acb_theta/test/main acb_theta_g2_psi6

Checks that the result of acb_theta_g2_psi6() is multiplied by \(\pm 1\) when applying acb_theta_transform_proj() on any input vector. The correct sign is given by acb_theta_transform_kappa2().

./build/acb_theta/test/main acb_theta_g2_chi10

Checks that the result of acb_theta_g2_chi10() is multiplied by \(\pm 1\) when applying acb_theta_transform_proj() on any input vector. The correct sign is given by acb_theta_transform_kappa2().

./build/acb_theta/test/main acb_theta_g2_chi12

Checks that the result of acb_theta_g2_chi12() is invariant when applying acb_theta_transform_proj() on any input vector.

./build/acb_theta/test/main acb_theta_g2_chi5

Checks that the result of acb_theta_g2_chi5() squares to the result of acb_theta_g2_chi10() on any input vector.

./build/acb_theta/test/main acb_theta_g2_chi35

Checks that the result of acb_theta_g2_chi35() is multiplied by \(i^k\) when applying acb_theta_transform_proj() on an input vector of theta values. The exponent \(k\) is given by acb_theta_transform_kappa2().

./build/acb_theta/test/main acb_theta_g2_chi3_6

Checks that the product \(\chi_{8,6} = \chi_{5}\chi_{3,6}\), computed using acb_theta_g2_chi5() and acb_theta_g2_chi3_6(), indeed defines a modular form of weight \(\det^8\mathrm{Sym}^6\) by evaluating both sides of the transformation law on random input.

./build/acb_theta/test/main acb_theta_g2_sextic

Checks that the discriminant of the result of acb_theta_g2_sextic() on a random matrix \(\tau\) is \(2^{12}\chi_{10}(\tau)\), as computed by acb_theta_g2_chi10().

./build/acb_theta/test/main acb_theta_g2_sextic_chi5

Checks that the results of acb_theta_g2_sextic_chi5() agree with those of acb_theta_g2_sextic() and acb_theta_g2_chi5() on random input.

./build/acb_theta/test/main acb_theta_g2_covariants

Checks that the output of acb_theta_g2_covariants() agrees with that of acb_theta_g2_psi4() using the relation \(20\psi_4 = - C_{2,0} + 3 C_{4,0})\). Also checks that each covariant, when evaluated on the result of acb_theta_g2_sextic(), defines a Siegel modular function of the correct weight by evaluating the transformation law, and that covariants take integral values when the input polynomial is integral.

./build/acb_theta/test/main acb_theta_g2_covariants_lead

Checks that the results of acb_theta_g2_covariants_lead() are indeed the leading terms of the results of acb_theta_g2_covariants() on random input.

Profiling¶

./build/acb_theta/profile/p-siegel_reduce g pstep pmax dstep dmax

Prints quick performance measurements for acb_siegel_reduce(): for the given \(g\), for d \(\leq\) dmax by steps of dstep, and prec \(\leq\) pmax by steps of pstep, constructs an input matrix \(w\) as \(\tau/d\) where \(\tau\) is generated by acb_siegel_randtest_reduced() and runs acb_siegel_reduce() on \(w\) at working precision prec.

This is meant to show that reduction is generally not a critical step when evaluating theta functions.

./build/acb_theta/profile/p-ql_a0_split g prec cstep cmax

Prints quick performance measurements for acb_theta_ql_a0_split(): for the given \(g\) and at the given working precision prec, generates an input matrix \(\tau\) as in acb_siegel_randtest_reduced(), but whose lower right \((g-s)\times (g-s)\) submatrix is subsequently multiplied by \(c\), where \(s\) runs between \(1\) and \(g-1\) and \(c\leq\) cmax is increased by steps of cstep. The running times of acb_theta_ql_a0_steps() with or without splitting at \(s\) are then compared on each of these matrices, as well as the running time of acb_theta_ql_a0().

This is meant to provide information on how the choice of splitting in acb_theta_ql_a0() should be made.

./build/acb_theta/profile/p-ql_a0_steps g pstep pmax

Prints quick performance measurements for acb_theta_ql_a0_steps(): for the given \(g\) and for a working precision prec \(\leq\) pmax increasing by steps of pstep, generates a random matrix \(\tau\) in the reduced domain and compares the running time of acb_theta_ql_a0_steps() with different parameters nb_steps.

This is meant to provide information on the correct value to return in acb_theta_ql_a0_nb_steps().

./build/acb_theta/profile/p-all g nb_steps hasz

Prints quick performance measurements for the functions acb_theta_all(), acb_theta_ql_a0(), acb_theta_ql_all() and acb_theta_naive_all() at different precisions on a specific input matrix of the specified dimension g. We start at precision 32, then double it nb_steps times. The parameter hasz should be either 0 (theta constants) or 1 (theta values at a nonzero point).

This is meant to show whether the main user function is slower than naive algorithms at low precisions. (This is currently the case.)

./build/acb_theta/profile/p-jet_all

Prints quick performance measurements for the functions acb_theta_jet_all() and acb_theta_jet_naive_all() at different precisions and order 1 on a specific input matrix for \(g=2\).