44 problems

Let $T_r=A_{2r}/\mathbb{Z}_2$ be the tadpole Dynkin diagram, and let $\mathbf{T}_r$ be its Cartan matrix. For $\mathbf{x}_r=(x_1,\ldots,x_r)$, define the tadpole Nahm sum … The sum…

Let $L$ be a quadratic lattice and let $\nu\in\mathbb{Q}L$. Define the proper spinor-genus theta series by … where the sum is over representatives of the proper classes in the prop…

Let $p$ be a prime, and let $S_2(\Gamma_0(p))$ denote the space of cusp forms on $\Gamma_0(p)$. For the definite quaternion division algebra of discriminant $p$, consider the theta…

Let $\Theta_{\Lambda}(x)$ be the theta series of a $d$-dimensional lattice, and let $\mathcal{P}_n$ denote the class of generating functions whose $n$th roots have integral coeffic…

Let $\Lambda$ be a lattice in $\mathbb{R}^{24}$ and let $g$ be the Schwartz function constructed by the paper's linear-programming method, with $g(x)\leq 0$ beyond the relevant vec…

Let $L$ be a lattice and let its flatness factor be denoted by $\mathcal{E}_L(\sigma)$. Say that a lattice is stable when it satisfies the stability condition used in the source. S…

Regev–Stephens-Davidowitz conjecture. The integer lattice maximizes Gaussian mass among integral lattices of fixed rank:

Regev–Stephens-Davidowitz conjecture. For every integral lattice $\Lambda\subset\mathbb{R}^n$ and every $t>0$,

The Barnes–Wall lattices form an infinite series of lattices of dimension $2^m$ for $m\in\mathbb{N}$. For a lattice, the second minimum is the smallest norm of a nonzero vector who…

Regev–Stephen-Davidowitz conjecture. For every stable lattice $\Lambda$ and every $\tau>0$,

Secrecy gain conjecture. This ratio is minimized at a (unique) symmetry point. The paper provides counterexamples, so the conjecture as stated is refuted.

Partial theta series conjecture. The partial theta series associated with the tensor products satisfy

Let $R$ and $S$ be positive integers with $1\leq S<R$, let $k>\ell\geq1$, and assume $k\geq4$. There exists an integer $N$ such that the theta series … has nonnegative coefficients…

Andrews–Merca–Guo–Zeng conjecture. This coefficient is nonnegative. This conjecture is solved: it was proved analytically by Mao and combinatorially by Yee in 2015, and later repro…

Let $n\geq 1$ and $n\geq m\geq 1$. For a triple $(\mathcal{G},h,\mathcal{E})$ in the moduli stack of skew-Hermitian bundles with a Lagrangian sub-bundle, let…

Binary-code upper-bound conjecture. For any binary self-dual $[n,n/2]$ code $\mathcal{C}$, one has $\Delta_{\Lambda_{\mathrm{A}}(\mathcal{C})}(\tau)\leq 1$; equivalently,

Global-minimum conjecture. The theta series ratio achieves its global minimum at $\tau=1$:

Let $\ell$, $R$ and $S$ be positive integers with $1\leq S<R/2$, and let $(a;q)_\infty$ denote the $q$-Pochhammer symbol. Andrews–Merca and Guo–Zeng's conjecture. The coefficient o…

Modularity conjecture. The function $\widetilde{Z}^{r}_{m}$ is independent of the choice of Lagrangian sub-bundle $\mathcal{E}\subset\mathcal{G}$; equivalently, it descends along t…

Algebraicity conjecture. If all Fourier coefficients of the holomorphic part of $\tilde f$ are algebraic, then $\xi(\tilde f)$ is either a unary theta series with…

Let $\Gamma$ be a formally unimodular packing, and let $\Xi_{\Gamma}(\tau)$ denote its secrecy function and $\xi_{\Gamma}$ its maximum value. Formally unimodular packing secrecy fu…

Let $G_p$ be the genus of lattices of rank $6$ and discriminant $D=p$. Kernel-dimension conjecture. The kernel of $\theta^{(2)}$ on $G_p$ has dimension equal to the number of class…

Let $G_p$ be the genus of lattices of rank $6$ and discriminant $p$, and let $k_p$ be the number of isomorphism classes in $G_p$ of lattices with no automorphism of determinant…

Let $\mathcal{E}$ be a rank $m$ vector bundle on $X'$, let $\mathcal{E}'=\sigma^{*}\underline{\operatorname{Hom}}(\mathcal{E},\nu^{*}\mathfrak{L})$, and suppose the maximal slope o…

Let $\mathcal{E}$ be a rank $m$ vector bundle on $X'$, let $\mathcal{E}'=\sigma^{*}\underline{\operatorname{Hom}}(\mathcal{E},\nu^{*}\mathfrak{L})$, and let…