Related papers: Level optimization in the totally real case
In previous work, the first author developed an algorithm for the computation of Hilbert modular forms. In this paper, we extend this to all totally real number fields of even degree and nontrivial class group. Using the algorithm over…
We give a complete characterization of degree two rational maps with potential good reduction over local fields. We show this happens exactly when the map corresponds to an integral point in the moduli space. We detail an algorithm by which…
We study multilevel techniques, commonly used in PDE multigrid literature, to solve structured optimization problems. For a given hierarchy of levels, we formulate a coarse model that approximates the problem at each level and provides a…
Given any finite direction set $\Omega$ of cardinality $N$ in Euclidean space, we consider the maximal directional Hilbert transform $H_{\Omega}$ associated to this direction set. Our main result provides an essentially sharp uniform bound,…
In this note we improve on the results of our earlier paper[BLGG12], proving a near-optimal theorem on the existence of ordinary lifts of a mod l Hilbert modular form for any odd prime l.
We design efficient algorithms to evaluate modular equations of Siegel and Hilbert type for abelian surfaces over number fields or finite fields using complex approximations. Their output is provably correct when the associated graded ring…
We show that optimal $L^2$-convergence in the finite element method on quasi-uniform meshes can be achieved if, for some $s_0 > 1/2$, the boundary value problem has the mapping property $H^{-1+s} \rightarrow H^{1+s}$ for $s \in [0,s_0]$.…
For a maximal ideal $\mathfrak m$ of some anemic Hecke algebra $\mathbb{T}^S_\xi$ of a similitude group of signature $(1,d-1)$, one can associate a Galois $\overline{\mathbb F}_l$-representation $\overline \rho_{\mathfrak m}$ as well as a…
Let F be a totally real field and p a rational prime unramified in F. We prove a partial classicality theorem for overconvergent Hilbert modular forms: when the slope is small compared to certain but not all weights, an overconvergent form…
In this paper, we prove optimal convergence rates results for regularisation methods for solving linear ill-posed operator equations in Hilbert spaces. The result generalises existing convergence rates results on optimality to general…
Let $F$ be an arbitrary totally real field. Under weak conditions we prove the existence of certain Eisenstein congruences between parallel weight $k \geq 3$ Hilbert eigenforms of level $\mathfrak{mp}$ and Hilbert Eisenstein series of level…
The Mazur principle give simple conditions for an irreducible unramified $\overline{\mathbb{F}_l}$-representation coming from a modular form of level $\Gamma_0(Np)$ to come for some modular form of level $\Gamma_0(N)$. The aim of this work…
In this note we settle some technical questions concerning finite rank quasi-free Hilbert modules and develop some useful machinery. In particular, we provide a method for determining when two such modules are unitarily equivalent. Along…
Most models in machine learning contain at least one hyperparameter to control for model complexity. Choosing an appropriate set of hyperparameters is both crucial in terms of model accuracy and computationally challenging. In this work we…
We present a new effective Nullstellensatz with bounds for the degrees which depend not only on the number of variables and on the degrees of the input polynomials but also on an additional parameter called the {\it geometric degree of the…
We give an effective proof of Faltings' theorem for curves mapping to Hilbert modular stacks over odd-degree totally real fields. We do this by giving an effective proof of the Shafarevich conjecture for abelian varieties of…
The aim of this paper is to present an explicit reduction algorithm for Hilbert modular groups over arbitrary totally real number fields. An implementation of the algorithm is available to download from [19]. The exposition is…
In this paper we investigate the parallelization of two modular algorithms. In fact, we consider the modular computation of Gr\"obner bases (resp. standard bases) and the modular computation of the associated primes of a zero-dimensional…
The linear optimization degree gives an algebraic measure of complexity of optimizing a linear objective function over an algebraic model. Geometrically, it can be interpreted as the degree of a projection map on the {affine} conormal…
Recent quasi-optimal error estimates for the finite element approximation of total-variation regularized minimization problems require the existence of a Lipschitz continuous dual solution. We discuss the validity of this condition and…