We describe algorithms that allow the computation of fundamental domains in the Bruhat–Tits tree for the action of discrete groups arising from quaternion algebras. These algorithms are used to compute spaces of rigid modular forms of arbitrary even weight, and we explain how to evaluate such forms to high precision using overconvergent methods. Finally, these algorithms are applied to the calculation of conjectural equations for the canonical embedding of p-adically uniformizable rational Shimura curves. We conclude with an example in the case of a genus 4 Shimura curve.

If C is a curve of genus 2 defined over a field k and J is its Jacobian, then we can associate a hypersurface K in ℙ3 to J, called the Kummer surface of J. Flynn has made this construction explicit in the case when the characteristic of k is not 2 and C is given by a simplified equation. He has also given explicit versions of several maps defined on the Kummer surface and shown how to perform arithmetic on J using these maps. In this paper we generalize these results to the case of arbitrary characteristic.

We exhibit a practical algorithm for solving the constructive membership problem for discrete free subgroups of rank $2$ in $\mathrm{PSL}_2(\mathbb{R})$ or $\mathrm{SL}_2(\mathbb{R})$. This algorithm, together with methods for checking whether a two-generator subgroup of $\mathrm{PSL}_2(\mathbb{R})$ or $\mathrm{SL}_2(\mathbb{R})$ is discrete and free, have been implemented in Magma for groups defined over real algebraic number fields.

Supplementary materials are available with this article.

We present an efficient algorithm for the condensation of homomorphism spaces. This provides an improvement over the known tensor condensation method which is essentially due to a better choice of bases. We explain the theory behind this approach and describe the implementation in detail. Finally, we give timings to compare with previous methods.

We calculate all decomposition matrices of the cyclotomic Hecke algebras of the rank two exceptional complex reflection groups in characteristic zero. We prove the existence of canonical basic sets in the sense of Geck–Rouquier and show that all modular irreducible representations can be lifted to the ordinary ones.

The problem of counting unlabelled subtrees of a tree (that is, sub-trees that are distinct up to isomorphism) is #P-complete, and hence equivalent in computational difficulty to evaluating the permanent of a 0,1-matrix.

We study the differential structure of the ring of modular forms for the unit group of the quaternion algebra over ℚ of discriminant 6. Using these results we give an explicit formula for Taylor expansions of the modular forms at the elliptic points. Using appropriate normalizations we show that the Taylor coefficients at the elliptic points of the generators of the ring of modular forms are all rational and 6-integral. This gives a rational structure on the ring of modular forms. We give a recursive formula for computing the Taylor coefficients of modular forms at elliptic points and, as an application, give an algorithm for computing modular polynomials.

This paper presents a new probabilistic algorithm to compute modular polynomials modulo a prime. Modular polynomials parameterize pairs of isogenous elliptic curves, and are useful in many aspects of computational number theory and cryptography. The algorithm presented here has the distinguishing feature that it does not involve the computation of Fourier coefficients of modular forms. The need to compute the exponentially large integral coefficients is avoided by working directly modulo a prime, and computing isogenies between elliptic curves via Vélu's formulas.

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.

This paper describes how to obtain bounds on the spectrum of a non-self-adjoint operator by means of what are referred to here as ‘its higher-order numerical ranges’. Proofs of some of their basic properties are given, as well as an explanation of how to compute them. Finally, they are used to obtain new spectral insights into the non-self-adjoint Anderson model in one and two space dimensions.

In this note, the author proves that a group G is a 4-Engel group if and only if the normal closure of every element g ∈ G is a 3-Engel group

A set conjugacy class representatives is given in this paper for the elements in Fischer's baby monster simple group, up to inversion.

We study the equation a2−2b6=cp and its specialization a2−2=cp, where p is a prime, using the modular method. In particular, we use a ℚ-curve defined over for which the solution (a,b,c)=(±1,±1,−1) gives rise to a CM-form. This allows us to apply the modular method to resolve the equation a2−2b6=cp for p in certain congruence classes. For the specialization a2−2=cp, we use the multi-Frey technique of Siksek to obtain further refined results.

The question of what categorical structure is required to give semantics to O‘Hearn et al.'s type system Syntactic Control of Interference Revisited (SCIR) is considered. The previously proposed notion of bireflective model is rejected as being too restrictive to accommodate important concrete models based on game semantics and object spaces; furthermore it is argued that the existing proof-sketch of the important property of coherence for these models is incorrect. A new, more general notion of model is proposed and the coherence property proved.

We discuss the optimal Markovian coupling before an exponential time of the Kolmogorov diffusion, and a class of related stochastic control problems in which the aim is to hit the origin before an exponential time. We provide a scaling argument for the optimal control in the near field and use rational WKB approximation to obtain the optimal control in the far field, and compare these analytical results with numerical experiments. In some of these optimal control problems, in which the advection velocity field is bounded, we show that the probability of success agrees exactly with its leading-order asymptotic approximation in some areas of the plane, up to an undetermined multiplicative constant. We conjecture a necessary and sufficient condition for this behaviour, which is strongly supported by numerical experiments.

The process of classifying possible symmetry-breaking bifurcations requires a computation involving the subgroups and irreducible representations of the original symmetry group. It is shown how this calculation can be automated using a group theory package such as GAP. This enables a number of new results to be obtained for larger symmetry groups, where manual computation is impractical. Examples of symmetric and alternating groups are given, and the method is also applied to the spatial symmetry-breaking of periodic patterns observed in experiments.

In this paper we deal with the operators

$$\begin{eqnarray*}{Z}_{n} (f; x)= \frac{n}{{b}_{n} } { \mathop{\sum }\nolimits}_{k= 0}^{n} {p}_{n, k} \biggl(\frac{x}{{b}_{n} } \biggr)\int \nolimits \nolimits_{0}^{\infty } {s}_{n, k} \biggl(\frac{t}{{b}_{n} } \biggr)f(t)\hspace{0.167em} dt, \quad 0\leq x\leq {b}_{n}\end{eqnarray*}$$

${p}_{n, k} (u)=\bigl(\hspace{-4pt}{\scriptsize \begin{array}{ l} \displaystyle n\\ \displaystyle k\end{array} } \hspace{-4pt}\bigr){u}^{k} \mathop{(1- u)}\nolimits ^{n- k} , (0\leq k\leq n), u\in [0, 1] $

${s}_{n, k} (u)= {e}^{- nu} \mathop{(nu)}\nolimits ^{k} \hspace{-3pt}/ k!, u\in [0, \infty )$

We compute the conjugacy classes of elements and the character tables of the maximal parabolic subgroups of the simple Ree groups 2F4(q2). For one of the maximal parabolic subgroups, we find an irreducible character of the unipotent radical that does not extend to its inertia subgroup.

Bipartivity is an important network concept that can be applied to nodes, edges and communities. Here we focus on directed networks and look for subnetworks made up of two distinct groups of nodes, connected by ‘one-way’ links. We show that a spectral approach can be used to find hidden substructures of this form. Theoretical support is given for the idealized case where there is limited overlap between subnetworks. Numerical experiments show that the approach is robust to spurious and missing edges. A key application of this work is in the analysis of high-throughput gene expression data, and we give an example where a biologically meaningful directed bipartite subnetwork is found from a cancer microarray dataset.

In the study of the rational cohomology of Hilbert schemes of points on a smooth surface, it is particularly interesting to understand the characteristic classes of the tautological bundles and the tangent bundle. In this note we pursue this study. We first collect all results appearing separately in the literature and prove some new formulas using Ohmoto's results on orbifold Chern classes on Hilbert schemes. We also explain the algorithmic counterpart of the topic: the cohomology space is governed by a vertex algebra that can be used to compute characteristic classes. We present an implementation of the vertex operators in the rewriting logic system MAUDE, and address observations and conjectures obtained after symbolic computations.