The aim of the discrete logarithm problem with auxiliary inputs is to solve for ${\it\alpha}$, given the elements $g,g^{{\it\alpha}},\ldots ,g^{{\it\alpha}^{d}}$ of a cyclic group $G=\langle g\rangle$, of prime order $p$. The best-known algorithm, proposed by Cheon in 2006, solves for ${\it\alpha}$ in the case where $d\mid (p\pm 1)$, with a running time of $O(\sqrt{p/d}+d^{i})$ group exponentiations ($i=1$ or $1/2$ depending on the sign). There have been several attempts to generalize this algorithm to the case of ${\rm\Phi}_{k}(p)$ where $k\geqslant 3$. However, it has been shown by Kim, Cheon and Lee that a better complexity cannot be achieved than that of the usual square root algorithms.

We propose a new algorithm for solving the DLPwAI. We show that this algorithm has a running time of $\widetilde{O}(\sqrt{p/{\it\tau}_{f}}+d)$ group exponentiations, where ${\it\tau}_{f}$ is the number of absolutely irreducible factors of $f(x)-f(y)$. We note that this number is always smaller than $\widetilde{O}(p^{1/2})$.

In addition, we present an analysis of a non-uniform birthday problem.

We prove that every integer $n\geqslant 10$ such that $n\not \equiv 1\text{ mod }4$ can be written as the sum of the square of a prime and a square-free number. This makes explicit a theorem of Erdős that every sufficiently large integer of this type may be written in such a way. Our proof requires us to construct new explicit results for primes in arithmetic progressions. As such, we use the second author’s numerical computation regarding the generalised Riemann hypothesis to extend the explicit bounds of Ramaré–Rumely.

In recent years, Com–Poisson has emerged as one of the most popular discrete models in the analysis of count data owing to its flexibility in handling different types of dispersion. However, in a stationary longitudinal Com–Poisson count data set-up where the covariates are time independent, estimation of regression and dispersion parameters based on a generalized quasi-likelihood (GQL) approach involves some major computational difficulties particularly in the inversion of the joint covariance matrix. On the other hand, in practical real-life longitudinal studies, time-dependent covariates leading to non-stationary responses are more frequently encountered. This implies that further computational problems will now arise when estimating parameters under non-stationary set-ups. This paper overcomes this problem by approximating the inverse of the ill-conditioned covariance matrix in the GQL approach through a multidimensional conjugate gradient method. The performance of this novel version of the GQL approach is then assessed on simulations of AR(1) stationary and AR(1) non-stationary longitudinal Com–Poisson counts and on real-life epileptic seizure counts. However, there is not yet an algorithm to generate non-stationary longitudinal Com–Poisson counts nor a GQL algorithm to estimate the parameters under non-stationary set-ups. Thus, the paper also provides a framework to generate non-stationary AR(1) Com–Poisson counts along with the construction of a GQL equation under non-stationary set-ups.

This article considers the positive integers $N$ for which ${\it\zeta}_{N}(s)=\sum _{n=1}^{N}n^{-s}$ has zeroes in the half-plane $\Re (s)>1$. Building on earlier results, we show that there are no zeroes for $1\leqslant N\leqslant 18$ and for $N=20,21,28$. For all other $N$ there are infinitely many such zeroes.

If $S$ is a quintic surface in $\mathbb{P}^{3}$ with singular set 15 3-divisible ordinary cusps, then there is a Galois triple cover ${\it\phi}:X\rightarrow S$ branched only at the cusps such that $p_{g}(X)=4$, $q(X)=0$, $K_{X}^{2}=15$ and ${\it\phi}$ is the canonical map of $X$. We use computer algebra to search for such quintics having a free action of $\mathbb{Z}_{5}$, so that $X/\mathbb{Z}_{5}$ is a smooth minimal surface of general type with $p_{g}=0$ and $K^{2}=3$. We find two different quintics, one of which is the van der Geer–Zagier quintic; the other is new.

We also construct a quintic threefold passing through the 15 singular lines of the Igusa quartic, with 15 cuspidal lines there. By taking tangent hyperplane sections, we compute quintic surfaces with singular sets $17\mathsf{A}_{2}$, $16\mathsf{A}_{2}$, $15\mathsf{A}_{2}+\mathsf{A}_{3}$ and $15\mathsf{A}_{2}+\mathsf{D}_{4}$.

We consider plane Cremona maps with proper base points and the base ideal generated by the linear system of forms defining the map. The object of this work is to study the link between the algebraic properties of the base ideal and those of the ideal of these points fattened by the virtual multiplicities arising from the linear system. We reveal conditions which naturally regulate this association, with particular emphasis on the homological side. While most classical numerical inequalities concern the three highest virtual multiplicities, here we emphasize also the role of one single highest multiplicity. In this vein we describe classes of Cremona maps for large and small values of the highest virtual multiplicity. We also deal with the delicate question as to when is the base ideal non-saturated and consider the structure of its saturation.

We study cup products in the integral cohomology of the Hilbert scheme of $n$ points on a K3 surface and present a computer program for this purpose. In particular, we deal with the question of which classes can be represented by products of lower degrees.

Supplementary materials are available with this article.

Consider the first-order retarded differential equation

$$\begin{eqnarray}x^{\prime }(t)+p(t)x({\it\tau}(t))=0,\quad t\geqslant t_{0},\end{eqnarray}$$

$p(t)\geqslant 0$

${\it\tau}(t)$

${\it\tau}(t)\leqslant t$

$t\geqslant t_{0}$

$\lim _{t\rightarrow \infty }{\it\tau}(t)=\infty$

$\liminf$

$$\begin{eqnarray}\liminf _{t\rightarrow \infty }\int _{{\it\tau}(t)}^{t}p(s)\,ds>\frac{1}{e}\end{eqnarray}$$

The point-line collinearity graph ${\mathcal{G}}$ of the maximal 2-local geometry for the largest simple Fischer group, $Fi_{24}^{\prime }$, is extensively analysed. For an arbitrary vertex $a$ of ${\mathcal{G}}$, the $i\text{th}$-disc of $a$ is described in detail. As a consequence, it follows that ${\mathcal{G}}$ has diameter $5$. The collapsed adjacency matrix of ${\mathcal{G}}$ is given as well as accompanying computer files which contain a wealth of data about ${\mathcal{G}}$.

Supplementary materials are available with this article.

In this paper we perform an extensive study of the spaces of automorphic forms for $\text{GL}_{2}$ of weight $2$ and level $\mathfrak{n}$, for $\mathfrak{n}$ an ideal in the ring of integers of the quartic CM field $\mathbb{Q}({\it\zeta}_{12})$ of twelfth roots of unity. This study is conducted through the computation of the Hecke module $H^{\ast }({\rm\Gamma}_{0}(\mathfrak{n}),\mathbb{C})$, and the corresponding Hecke action. Combining this Hecke data with the Faltings–Serre method for proving equivalence of Galois representations, we are able to provide the first known examples of modular elliptic curves over this field.

Supplementary materials are available with this article.

We investigate the central moments of (regular) hexagons and derive accordingly a discrete approximation to definite integrals on hexagons. The seven-point cubature rule makes use of interior and neighbor center nodes, and is of fourth order by construction. The result is expected to be useful in two-dimensional (open-field) applications of integral equations or image processing.

The pseudo-Frobenius numbers of a numerical semigroup are those gaps of the numerical semigroup that are maximal for the partial order induced by the semigroup. We present a procedure to detect if a given set of integers is the set of pseudo-Frobenius numbers of a numerical semigroup and, if so, to compute the set of all numerical semigroups having this set as set of pseudo-Frobenius numbers.

There is always a natural embedding of $S_{s}\wr S_{k}$ into the linear programming (LP) relaxation permutation symmetry group of an orthogonal array integer linear programming (ILP) formulation with equality constraints. The point of this paper is to prove that in the $2$-level, strength-$1$ case the LP relaxation permutation symmetry group of this formulation is isomorphic to $S_{2}\wr S_{k}$ for all $k$, and in the $2$-level, strength-$2$ case it is isomorphic to $S_{2}^{k}\rtimes S_{k+1}$ for $k\geqslant 4$. The strength-$2$ result reveals previously unknown permutation symmetries that cannot be captured by the natural embedding of $S_{2}\wr S_{k}$. We also conjecture a complete characterization of the LP relaxation permutation symmetry group of the ILP formulation.

Supplementary materials are available with this article.

We propose an algorithm to verify the $p$-part of the class number for a number field $K$, provided $K$ is totally real and an abelian extension of the rational field $\mathbb{Q}$, and $p$ is any prime. On fields of degree 4 or higher, this algorithm has been shown heuristically to be faster than classical algorithms that compute the entire class number, with improvement increasing with larger field degrees.

In this paper we describe methods for finding very small maximal subgroups of very large groups, with particular application to the subgroup 47:23 of the Baby Monster. This example is completely intractable by standard or naïve methods. The example of finding 31:15 inside the Thompson group $\text{Th}$ is also discussed as a test case.

Let $G$ be a simple simply connected exceptional algebraic group of type $G_{2}$, $F_{4}$, $E_{6}$ or $E_{7}$ over an algebraically closed field $k$ of characteristic $p>0$ with $\mathfrak{g}=\text{Lie}(G)$. For each nilpotent orbit $G\cdot e$ of $\mathfrak{g}$, we list the Jordan blocks of the action of $e$ on the minimal induced module $V_{\text{min}}$ of $\mathfrak{g}$. We also establish when the centralizers $G_{v}$ of vectors $v\in V_{\text{min}}$ and stabilizers $\text{Stab}_{G}\langle v\rangle$ of $1$-spaces $\langle v\rangle \subset V_{\text{min}}$ are smooth; that is, when $\dim G_{v}=\dim \mathfrak{g}_{v}$ or $\dim \text{Stab}_{G}\langle v\rangle =\dim \text{Stab}_{\mathfrak{g}}\langle v\rangle$.

The Li coefficients $\unicode[STIX]{x1D706}_{F}(n)$ of a zeta or $L$ -function $F$ provide an equivalent criterion for the (generalized) Riemann hypothesis. In this paper we define these coefficients, and their generalizations, the $\unicode[STIX]{x1D70F}$ -Li coefficients, for a subclass of the extended Selberg class which is known to contain functions violating the Riemann hypothesis such as the Davenport–Heilbronn zeta function. The behavior of the $\unicode[STIX]{x1D70F}$ -Li coefficients varies depending on whether the function in question has any zeros in the half-plane $\text{Re}(z)>\unicode[STIX]{x1D70F}/2.$ We investigate analytically and numerically the behavior of these coefficients for such functions in both the $n$ and $\unicode[STIX]{x1D70F}$ aspects.

The aim of this paper is to find a formula for the double Laplace transform of the truncated variation of a Brownian motion with drift. In order to find the double Laplace transform, we also prove some identities for the Brownian motion with drift, which may be of independent interest.

In this paper, the semilocal convergence for ameliorated super-Halley methods in Banach spaces is considered. Different from the results in [J. M. Gutiérrez and M. A. Hernández, Comput. Math. Appl. 36 (1998) 1–8], these ameliorated methods do not need to compute a second derivative, the computation for inversion is reduced and the $R$ -order is also heightened. Under a weaker condition, an existence–uniqueness theorem for the solution is proved.