Researcher profile

Mark van Hoeij

Mark van Hoeij contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Symbolic Computation math.NT math.AG hep-th Computational Complexity Discrete Mathematics math.CO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author

12works

0followers

7topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Desingularization and p-Curvature of Recurrence Operators

Linear recurrence operators in characteristic $p$ are classified by their $p$-curvature. For a recurrence operator $L$, denote by $χ(L)$ the characteristic polynomial of its $p$-curvature. We can obtain information about the factorization of $L$ by factoring $χ(L)$. The main theorem of this paper gives an unexpected relation between $χ(L)$ and the true singularities of $L$. An application is to speed up a fast algorithm for computing $χ(L)$ by desingularizing $L$ first. Another contribution of this paper is faster desingularization.

preprint2020arXiv

A Divisor Formula and a Bound on the $\mathbb{Q}$-gonality of the Modular Curve $X_1(N)$

We give a formula for divisors of modular units on $X_1(N)$ and use it to prove that the $\mathbb{Q}$-gonality of the modular curve $X_1(N)$ is bounded above by $\left[\frac{11N^2}{840}\right]$, where $[\bullet]$ denotes the nearest integer.

preprint2020arXiv

A Family of Denominator Bounds for First Order Linear Recurrence Systems

For linear recurrence systems, the problem of finding rational solutions is reduced to the problem of computing polynomial solutions by computing a content bound or a denominator bound. There are several bounds in the literature. The sharpest bound leads to polynomial solutions of lower degrees, but this advantage need not compensate for the time spent on computing that bound. To strike the best balance between sharpness of the bound versus CPU time spent obtaining it, we will give a family of bounds. The $J$'th member of this family is similar to (Abramov, Barkatou, 1998) when $J=1$, similar to (van Hoeij, 1998) when $J$ is large, and novel for intermediate values of $J$, which give the best balance between sharpness and CPU time. The setting for our content bounds are systems $τ(Y) = MY$ where $τ$ is an automorphism of a UFD, and $M$ is an invertible matrix with entries in its field of fractions. This setting includes the shift case, the $q$-shift case, the multi-basic case and others. We give two versions, a global version, and a version that bounds each entry separately.

preprint2014arXiv

Computing Galois representations and equations for modular curves $X_H(\ell)$

We construct plane models of the modular curve $X_H(\ell)$, and use their explicit equations to compute Galois representations associated to modular forms for values of $\ell$ that are significantly higher than in prior works.

preprint2014arXiv

Low Degree Places on the Modular Curve X1(N)

This short note gives questions and examples of points on X1(N) defined over number fields whose degrees are lower than the gonality.

preprint2013arXiv

Algorithms and differential relations for Belyi functions

A tool package for computing genus 0 Belyi functions is presented, including simplification routines, computation of moduli fields, decompositions, dessins d'enfant. The main algorithm for computing the Belyi functions themselves is based on implied transformations of the hypergeometric differential equation to Fuchsian equations, preferably with few singular points. This gives interesting differential relations between polynomial components of a Belyi function.

preprint2013arXiv

Computing Puiseux Expansions at Cusps of the Modular Curve X0(N)

The goal in this preprint is to give an efficient algorithm to compute Puiseux expansions at cusps of X0(N). It is based on a relation with a hypergeometric function that holds for any N.

preprint2012arXiv

On Hirzebruch invariants of elliptic fibrations

We compute all Hirzebruch invariants $χ_q$ for $D_5$, $E_6$, $E_7$ and $E_8$ elliptic fibrations of every dimension. A single generating series $χ(t,y)$ is produced for each family of fibrations such that the coefficient of $t^{k}y^{q}$ encodes $χ_q$ over a base of dimension $k$, solely in terms of invariants of the base of the fibration.

preprint2012arXiv

On stringy invariants of GUT vacua

We investigate aspects of certain stringy invariants of singular elliptic fibrations which arise in engineering Grand Unified Theories in F-theory. In particular, we exploit the small resolutions of the total space of these fibrations provided recently in the physics literature to compute `stringy characteristic classes', and find that numerical invariants obtained by integrating such characteristic classes are predetermined by the topology of the base of the elliptic fibration. Moreover, we derive a simple (dimension independent) formula for pushing forward powers of the exceptional divisor of a blowup, which one may use to reduce any integral (in the sense of Chow cohomology) on a small resolution of a singular elliptic fibration to an integral on the base. We conclude with a speculatory note on the cohomology of small resolutions of GUT vacua, where we conjecture that certain simple formulas for their Hodge numbers may be given solely in terms of the first Chern class and Hodge numbers of the base.}

preprint2011arXiv

Explicit formula for the generating series of diagonal 3D rook paths

Let $a_n$ denote the number of ways in which a chess rook can move from a corner cell to the opposite corner cell of an $n \times n \times n$ three-dimensional chessboard, assuming that the piece moves closer to the goal cell at each step. We describe the computer-driven \emph{discovery and proof} of the fact that the generating series $G(x)= \sum_{n \geq 0} a_n x^n$ admits the following explicit expression in terms of a Gaussian hypergeometric function: \[ G(x) = 1 + 6 \cdot \int_0^x \frac{\,\pFq21{1/3}{2/3}{2} {\frac{27 w(2-3w)}{(1-4w)^3}}}{(1-4w)(1-64w)} \, dw.\]

preprint2010arXiv

Gradual sub-lattice reduction and a new complexity for factoring polynomials

We present a lattice algorithm specifically designed for some classical applications of lattice reduction. The applications are for lattice bases with a generalized knapsack-type structure, where the target vectors are boundably short. For such applications, the complexity of the algorithm improves traditional lattice reduction by replacing some dependence on the bit-length of the input vectors by some dependence on the bound for the output vectors. If the bit-length of the target vectors is unrelated to the bit-length of the input, then our algorithm is only linear in the bit-length of the input entries, which is an improvement over the quadratic complexity floating-point LLL algorithms. To illustrate the usefulness of this algorithm we show that a direct application to factoring univariate polynomials over the integers leads to the first complexity bound improvement since 1984. A second application is algebraic number reconstruction, where a new complexity bound is obtained as well.

preprint2010arXiv

Isomorphisms of Algebraic Number Fields

Let $\mathbb{Q}(α)$ and $\mathbb{Q}(β)$ be algebraic number fields. We describe a new method to find (if they exist) all isomorphisms, $\mathbb{Q}(β) \rightarrow \mathbb{Q}(α)$. The algorithm is particularly efficient if the number of isomorphisms is one.

Mark van Hoeij

Quick read

Decide how to stay connected

How to connect with this researcher

Open a focused conversation when the fit is right

See the researcher in context

Building this graph slice

12 published item(s)

Desingularization and p-Curvature of Recurrence Operators

A Divisor Formula and a Bound on the $\mathbb{Q}$-gonality of the Modular Curve $X_1(N)$

A Family of Denominator Bounds for First Order Linear Recurrence Systems

Computing Galois representations and equations for modular curves $X_H(\ell)$

Low Degree Places on the Modular Curve X1(N)

Algorithms and differential relations for Belyi functions

Computing Puiseux Expansions at Cusps of the Modular Curve X0(N)

On Hirzebruch invariants of elliptic fibrations

On stringy invariants of GUT vacua

Explicit formula for the generating series of diagonal 3D rook paths

Gradual sub-lattice reduction and a new complexity for factoring polynomials

Isomorphisms of Algebraic Number Fields