Showing 1–42 of 42 results for author: van Hoeij, M

Solving Third Order Linear Difference Equations in Terms of Second Order Equations

Authors: Heba Bou KaedBey, Mark van Hoeij, Man Cheung Tsui

Abstract: We present two algorithms for computing what we call the absolute factorization of a difference operator. We also give an algorithm to solve third order difference equations in terms of second order equations, together with applications to OEIS sequences. The latter algorithm is similar to existing algorithms for differential equations. We present two algorithms for computing what we call the absolute factorization of a difference operator. We also give an algorithm to solve third order difference equations in terms of second order equations, together with applications to OEIS sequences. The latter algorithm is similar to existing algorithms for differential equations. △ Less

Submitted 10 June, 2024; v1 submitted 16 February, 2024; originally announced February 2024.

Solving Order 3 Difference Equations

Authors: Heba Bou KaedBey, Mark van Hoeij, Man Cheung Tsui

Abstract: We classify order $3$ linear difference operators over $\mathbb{C}(x)$ that are solvable in terms of lower order difference operators. To prove this result, we introduce the notion of absolute irreducibility for difference modules, and classify modules that are irreducible but not absolutely irreducible by using restricted and induced modules. We also show how restriction and induction give coordi… ▽ More We classify order $3$ linear difference operators over $\mathbb{C}(x)$ that are solvable in terms of lower order difference operators. To prove this result, we introduce the notion of absolute irreducibility for difference modules, and classify modules that are irreducible but not absolutely irreducible by using restricted and induced modules. We also show how restriction and induction give coordinate-free formulations of sectioning and interlacing of sequences. △ Less

Submitted 6 March, 2024; v1 submitted 6 February, 2024; originally announced February 2024.

Comments: 19 pages, revised Sections 3 and 8, updated exposition

MSC Class: 12H10; 39A06

Hypergeometric Solutions of Linear Difference Systems

Authors: Moulay Barkatou, Mark van Hoeij, Johannes Middeke, Yi Zhou

Abstract: We extend Petkovšek's algorithm for computing hypergeometric solutions of scalar difference equations to the case of difference systems $τ(Y) = M Y$, with $M \in {\rm GL}_n(C(x))$, where $τ$ is the shift operator. Hypergeometric solutions are solutions of the form $γP$ where $P \in C(x)^n$ and $γ$ is a hypergeometric term over $C(x)$, i.e. ${τ(γ)}/γ \in C(x)$. Our contributions concern efficient c… ▽ More We extend Petkovšek's algorithm for computing hypergeometric solutions of scalar difference equations to the case of difference systems $τ(Y) = M Y$, with $M \in {\rm GL}_n(C(x))$, where $τ$ is the shift operator. Hypergeometric solutions are solutions of the form $γP$ where $P \in C(x)^n$ and $γ$ is a hypergeometric term over $C(x)$, i.e. ${τ(γ)}/γ \in C(x)$. Our contributions concern efficient computation of a set of candidates for ${τ(γ)}/γ$ which we write as $λ= c\frac{A}{B}$ with monic $A, B \in C[x]$, $c \in C^*$. Factors of the denominators of $M^{-1}$ and $M$ give candidates for $A$ and $B$, while another algorithm is needed for $c$. We use the super-reduction algorithm to compute candidates for $c$, as well as other ingredients to reduce the list of candidates for $A/B$. To further reduce the number of candidates $A/B$, we bound the so-called type of $A/B$ by bounding local types. Our algorithm has been implemented in Maple and experiments show that our implementation can handle systems of high dimension, which is useful for factoring operators. △ Less

Submitted 16 January, 2024; originally announced January 2024.

Comments: 24 pages

MSC Class: 39A04 ACM Class: G.2.1

Submodule approach to creative telesco**

Authors: Mark van Hoeij

Abstract: This paper proposes ideas to speed up the process of creative telesco**, particularly when the telescoper is reducible. One can interpret telesco** as computing an annihilator $L \in D$ for an element $m$ in a $D$-module $M$. The main idea is to look for submodules of $M$. If $N$ is a non-trivial submodule of $M$, constructing the minimal operator $R$ of the image of $m$ in $M/N$ gives a right… ▽ More This paper proposes ideas to speed up the process of creative telesco**, particularly when the telescoper is reducible. One can interpret telesco** as computing an annihilator $L \in D$ for an element $m$ in a $D$-module $M$. The main idea is to look for submodules of $M$. If $N$ is a non-trivial submodule of $M$, constructing the minimal operator $R$ of the image of $m$ in $M/N$ gives a right-factor of $L$ in $D$. Then $L = L' R$ where the left-factor $L'$ is the telescoper of $R(m) \in N$. To expedite computing $L'$, compute the action of $D$ on a natural basis of $N$, then obtain $L'$ with a cyclic vector computation. The next main idea is that when $N$ has automorphisms, use them to construct submodules. An automorphism with distinct eigenvalues can be used to decompose $N$ as a direct sum $N_1 \oplus \cdots \oplus N_k$. Then $L'$ is the LCLM (Least Common Left Multiple) of $L_1, \ldots, L_k$ where $L_i$ is the telescoper of the projection of $R(m)$ on $N_i$. An LCLM can greatly increase the degrees of coefficients, so $L'$ and $L$ can be much larger expressions than the factors $L_1,\ldots,L_k$ and $R$. Examples show that computing each factor $L_i$ and $R$ seperately can save a lot of CPU time compared to computing $L$ in expanded form with standard creative telesco**. △ Less

Submitted 23 May, 2024; v1 submitted 16 January, 2024; originally announced January 2024.

Comments: 10 pages

MSC Class: 39A04 ACM Class: G.2.1

A hyperelliptic saga on a generating function of the squares of Legendre polynomials

Authors: Mark van Hoeij, Duco van Straten, Wadim Zudilin

Abstract: We decompose the generating function $\sum_{n=0}^\infty\binom{2n}nP_n(y)^2z^n$ of the squares of Legendre polynomials as a product of periods of hyperelliptic curves. These periods satisfy a family of $\textit{second}$ order differential equations. This is highly unusual since $\textit{four}$ is the expected order for genus 2. These second order equations are arithmetic and yet, surprisingly, thei… ▽ More We decompose the generating function $\sum_{n=0}^\infty\binom{2n}nP_n(y)^2z^n$ of the squares of Legendre polynomials as a product of periods of hyperelliptic curves. These periods satisfy a family of $\textit{second}$ order differential equations. This is highly unusual since $\textit{four}$ is the expected order for genus 2. These second order equations are arithmetic and yet, surprisingly, their monodromy group is dense in $\operatorname{SL}_2(\mathbb{R})$. This suggests that they cannot be solved in terms of hypergeometric functions, which is novel for arithmetic second order differential equations that are $\textit{defined over}$ $\mathbb{Q}$, and also novel for a $\textit{family}$ of such equations. We complement our analysis with a recipe for constructing similar examples. Maple's support for the paper is available at https://www.math.fsu.edu/~hoeij/saga/. △ Less

Submitted 17 January, 2024; v1 submitted 7 June, 2023; originally announced June 2023.

Comments: 26 pages, 8 figures

MSC Class: 11F99; 11Y60; 14H45; 14Q05; 33C20; 33E30; 34M35

Desingularization and p-Curvature of Recurrence Operators

Authors: Yi Zhou, Mark van Hoeij

Abstract: 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 sp… ▽ More 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. △ Less

Submitted 17 February, 2022; originally announced February 2022.

Comments: 7 pages

Sporadic Cubic Torsion

Authors: Maarten Derickx, Anastassia Etropolski, Mark van Hoeij, Jackson S. Morrow, David Zureick-Brown

Abstract: Let $K$ be a number field, and let $E/K$ be an elliptic curve over $K$. The Mordell--Weil theorem asserts that the $K$-rational points $E(K)$ of $E$ form a finitely generated abelian group. In this work, we complete the classification of the finite groups which appear as the torsion subgroup of $E(K)$ for $K$ a cubic number field. To do so, we determine the cubic points on the modular curves… ▽ More Let $K$ be a number field, and let $E/K$ be an elliptic curve over $K$. The Mordell--Weil theorem asserts that the $K$-rational points $E(K)$ of $E$ form a finitely generated abelian group. In this work, we complete the classification of the finite groups which appear as the torsion subgroup of $E(K)$ for $K$ a cubic number field. To do so, we determine the cubic points on the modular curves $X_1(N)$ for \[N = 21, 22, 24, 25, 26, 28, 30, 32, 33, 35, 36, 39, 45, 65, 121.\] As part of our analysis, we determine the complete list of $N$ for which $J_0(N)$ (resp., $J_1(N)$, resp., $J_1(2,2N)$) has rank 0. We also provide evidence to a generalized version of a conjecture of Conrad, Edixhoven, and Stein by proving that the torsion on $J_1(N)(\mathbb{Q})$ is generated by $\text{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$-orbits of cusps of $X_1(N)_{\bar{\mathbb{Q}}}$ for $N\leq 55$, $N \neq 54$. △ Less

Submitted 3 June, 2024; v1 submitted 27 July, 2020; originally announced July 2020.

Comments: 24 pages. v2: we corrected an error in Theorem 3.1

MSC Class: 11G18; (11G05; 14H45; 11Y50)

Journal ref: Alg. Number Th. 15 (2021) 1837-1864

A Family of Denominator Bounds for First Order Linear Recurrence Systems

Authors: Mark van Hoeij, Moulay Barkatou, Johannes Middeke

Abstract: 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… ▽ More 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. △ Less

Submitted 6 July, 2020; originally announced July 2020.

Comments: 13 pages

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

Authors: Mark van Hoeij, Hanson Smith

Abstract: 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. 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. △ Less

Submitted 3 May, 2020; v1 submitted 28 April, 2020; originally announced April 2020.

Comments: 18 pages. An omission in the second proof of the main theorem has been corrected. Appendix B summarizes notation. Comments are welcome!

MSC Class: 11G16 (Primary) 14H52; 11G05; 14G35; 11F03 (Secondary)

Computing an order complete basis for $M^{\infty}(N)$ and Applications

Authors: Mark van Hoeij, Cristian-Silviu Radu

Abstract: This paper gives a quick way to construct all modular functions for the group $Γ_0(N)$ having only a pole at $τ= i \infty$. We assume that we are given two modular functions $f,g$ for $Γ_0(N)$ with poles only at $i \infty$ and coprime pole orders. As an application we obtain two new identities from which one can derive that $p(11n+6)\equiv 0\pmod{11}$, here $p(n)$ is the usual partition function. This paper gives a quick way to construct all modular functions for the group $Γ_0(N)$ having only a pole at $τ= i \infty$. We assume that we are given two modular functions $f,g$ for $Γ_0(N)$ with poles only at $i \infty$ and coprime pole orders. As an application we obtain two new identities from which one can derive that $p(11n+6)\equiv 0\pmod{11}$, here $p(n)$ is the usual partition function. △ Less

Submitted 1 July, 2019; originally announced July 2019.

Comments: 6 pages

MSC Class: 11F03; 11P83

Stringy Hirzebruch classes of Weierstrass fibrations

Authors: James Fullwood, Mark van Hoeij

Abstract: A Weierstrass fibration is an elliptic fibration $Y\to B$ whose total space $Y$ may be given by a global Weierstrass equation in a $\mathbb{P}^2$-bundle over $B$. In this note, we compute stringy Hirzebruch classes of singular Weierstrass fibrations associated with constructing non-Abelian gauge theories in $F$-theory. For each Weierstrass fibration $Y\to B$ we then derive a generating function… ▽ More A Weierstrass fibration is an elliptic fibration $Y\to B$ whose total space $Y$ may be given by a global Weierstrass equation in a $\mathbb{P}^2$-bundle over $B$. In this note, we compute stringy Hirzebruch classes of singular Weierstrass fibrations associated with constructing non-Abelian gauge theories in $F$-theory. For each Weierstrass fibration $Y\to B$ we then derive a generating function $χ^{\text{str}}_y(Y;t)$, whose degree-$d$ coefficient encodes the stringy $χ_y$-genus of $Y\to B$ over an unspecified base of dimension $d$, solely in terms of invariants of the base. To facilitate our computations, we prove a formula for general characteristic classes of blowups along (possibly singular) complete intersections. △ Less

Submitted 25 October, 2018; v1 submitted 23 October, 2018; originally announced October 2018.

Comments: 24 pages, no figures

The $ρ$ parameter at three loops and elliptic integrals

Authors: J. Blümlein, A. De Freitas, M. van Hoeij, E. Imamoglu, P. Marquard, C. Schneider

Abstract: We describe the analytic calculation of the master integrals required to compute the two-mass three-loop corrections to the $ρ$ parameter. In particular, we present the calculation of the master integrals for which the corresponding differential equations do not factorize to first order. The homogeneous solutions to these differential equations are obtained in terms of hypergeometric functions at… ▽ More We describe the analytic calculation of the master integrals required to compute the two-mass three-loop corrections to the $ρ$ parameter. In particular, we present the calculation of the master integrals for which the corresponding differential equations do not factorize to first order. The homogeneous solutions to these differential equations are obtained in terms of hypergeometric functions at rational argument. These hypergeometric functions can further be mapped to complete elliptic integrals, and the inhomogeneous solutions are expressed in terms of a new class of integrals of combined iterative non-iterative nature. △ Less

Submitted 13 July, 2018; originally announced July 2018.

Comments: 14 pages Latex, 7 figures, to appear in the Proceedings of "Loops and Legs in Quantum Field Theory - LL 2018", 29 April - 4 May 2018, PoS

Report number: DESY 18-117, DO-TH 18/15

Iterated Elliptic and Hypergeometric Integrals for Feynman Diagrams

Authors: J. Ablinger, J. Blümlein, A. De Freitas, M. van Hoeij, E. Imamoglu, C. G. Raab, C. -S. Radu, C. Schneider

Abstract: We calculate 3-loop master integrals for heavy quark correlators and the 3-loop QCD corrections to the $ρ$-parameter. They obey non-factorizing differential equations of second order with more than three singularities, which cannot be factorized in Mellin-$N$ space either. The solution of the homogeneous equations is possible in terms of convergent close integer power series as $_2F_1$ Gauß hyperg… ▽ More We calculate 3-loop master integrals for heavy quark correlators and the 3-loop QCD corrections to the $ρ$-parameter. They obey non-factorizing differential equations of second order with more than three singularities, which cannot be factorized in Mellin-$N$ space either. The solution of the homogeneous equations is possible in terms of convergent close integer power series as $_2F_1$ Gauß hypergeometric functions at rational argument. In some cases, integrals of this type can be mapped to complete elliptic integrals at rational argument. This class of functions appears to be the next one arising in the calculation of more complicated Feynman integrals following the harmonic polylogarithms, generalized polylogarithms, cyclotomic harmonic polylogarithms, square-root valued iterated integrals, and combinations thereof, which appear in simpler cases. The inhomogeneous solution of the corresponding differential equations can be given in terms of iterative integrals, where the new innermost letter itself is not an iterative integral. A new class of iterative integrals is introduced containing letters in which (multiple) definite integrals appear as factors. For the elliptic case, we also derive the solution in terms of integrals over modular functions and also modular forms, using $q$-product and series representations implied by Jacobi's $\vartheta_i$ functions and Dedekind's $η$-function. The corresponding representations can be traced back to polynomials out of Lambert--Eisenstein series, having representations also as elliptic polylogarithms, a $q$-factorial $1/η^k(τ)$, logarithms and polylogarithms of $q$ and their $q$-integrals. Due to the specific form of the physical variable $x(q)$ for different processes, different representations do usually appear. Numerical results are also presented. △ Less

Submitted 5 June, 2017; originally announced June 2017.

Comments: 68 pages LATEX, 10 Figures

Report number: DESY 16--147, DO--TH 16/14

Functional Decomposition using Principal Subfields

Authors: Luiz E. Allem, Juliane Capaverde, Mark van Hoeij, Jonas Szutkoski

Abstract: Let $f\in K(t)$ be a univariate rational function. It is well known that any non-trivial decomposition $g \circ h$, with $g,h\in K(t)$, corresponds to a non-trivial subfield $K(f(t))\subsetneq L \subsetneq K(t)$ and vice-versa. In this paper we use the idea of principal subfields and fast subfield-intersection techniques to compute the subfield lattice of $K(t)/K(f(t))$. This yields a Las Vegas ty… ▽ More Let $f\in K(t)$ be a univariate rational function. It is well known that any non-trivial decomposition $g \circ h$, with $g,h\in K(t)$, corresponds to a non-trivial subfield $K(f(t))\subsetneq L \subsetneq K(t)$ and vice-versa. In this paper we use the idea of principal subfields and fast subfield-intersection techniques to compute the subfield lattice of $K(t)/K(f(t))$. This yields a Las Vegas type algorithm with improved complexity and better run times for finding all non-equivalent complete decompositions of $f$. △ Less

Submitted 26 May, 2017; v1 submitted 12 January, 2017; originally announced January 2017.

Comments: 8 pages, accepted for ISSAC'17

MSC Class: 68W30 ACM Class: I.1.2

Reduction-Based Creative Telesco** for Fuchsian D-finite Functions

Authors: Shaoshi Chen, Mark van Hoeij, Manuel Kauers, Christoph Koutschan

Abstract: Continuing a series of articles in the past few years on creative telesco** using reductions, we adapt Trager's Hermite reduction for algebraic functions to fuchsian D-finite functions and develop a reduction-based creative telesco** algorithm for this class of functions, thereby generalizing our recent reduction-based algorithm for algebraic functions, presented at ISSAC 2016. Continuing a series of articles in the past few years on creative telesco** using reductions, we adapt Trager's Hermite reduction for algebraic functions to fuchsian D-finite functions and develop a reduction-based creative telesco** algorithm for this class of functions, thereby generalizing our recent reduction-based algorithm for algebraic functions, presented at ISSAC 2016. △ Less

Submitted 22 November, 2016; originally announced November 2016.

Comments: arXiv admin note: text overlap with arXiv:1602.00424

Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane

Authors: Alin Bostan, Frédéric Chyzak, Mark van Hoeij, Manuel Kauers, Lucien Pech

Abstract: We study nearest-neighbors walks on the two-dimensional square lattice, that is, models of walks on $\mathbb{Z}^2$ defined by a fixed step set that is a subset of the non-zero vectors with coordinates 0, 1 or $-1$. We concern ourselves with the enumeration of such walks starting at the origin and constrained to remain in the quarter plane $\mathbb{N}^2$, counted by their length and by the position… ▽ More We study nearest-neighbors walks on the two-dimensional square lattice, that is, models of walks on $\mathbb{Z}^2$ defined by a fixed step set that is a subset of the non-zero vectors with coordinates 0, 1 or $-1$. We concern ourselves with the enumeration of such walks starting at the origin and constrained to remain in the quarter plane $\mathbb{N}^2$, counted by their length and by the position of their ending point. Bousquet-Mélou and Mishna [Contemp. Math., pp. 1--39, Amer. Math. Soc., 2010] identified 19 models of walks that possess a D-finite generating function; linear differential equations have then been guessed in these cases by Bostan and Kauers [FPSAC 2009, Discrete Math. Theor. Comput. Sci. Proc., pp. 201--215, 2009]. We give here the first proof that these equations are indeed satisfied by the corresponding generating functions. As a first corollary, we prove that all these 19 generating functions can be expressed in terms of Gauss' hypergeometric functions that are intimately related to elliptic integrals. As a second corollary, we show that all the 19 generating functions are transcendental, and that among their $19 \times 4$ combinatorially meaningful specializations only four are algebraic functions. △ Less

Submitted 20 October, 2016; v1 submitted 9 June, 2016; originally announced June 2016.

Comments: 29 pages, 6 tables

MSC Class: 05A15; 14N10; 33F10; 68W30 (Primary); 33C05; 97N80; 11J89 (Secondary)

Computing Hypergeometric Solutions of Second Order Linear Differential Equations using Quotients of Formal Solutions and Integral Bases

Authors: Erdal Imamoglu, Mark van Hoeij

Abstract: We present two algorithms for computing hypergeometric solutions of second order linear differential operators with rational function coefficients. Our first algorithm searches for solutions of the form \[ \exp(\int r \, dx)\cdot{_{2}F_1}(a_1,a_2;b_1;f) \] where $r,f \in \overline{\mathbb{Q}(x)}$, and $a_1,a_2,b_1 \in \mathbb{Q}$. It uses modular reduction and Hensel lifting. Our second algorithm… ▽ More We present two algorithms for computing hypergeometric solutions of second order linear differential operators with rational function coefficients. Our first algorithm searches for solutions of the form \[ \exp(\int r \, dx)\cdot{_{2}F_1}(a_1,a_2;b_1;f) \] where $r,f \in \overline{\mathbb{Q}(x)}$, and $a_1,a_2,b_1 \in \mathbb{Q}$. It uses modular reduction and Hensel lifting. Our second algorithm tries to find solutions in the form \[ \exp(\int r \, dx)\cdot \left( r_0 \cdot{_{2}F_1}(a_1,a_2;b_1;f) + r_1 \cdot{_{2}F_1}'(a_1,a_2;b_1;f) \right) \] where $r_0, r_1 \in \overline{\mathbb{Q}(x)}$, as follows: It tries to transform the input equation to another equation with solutions of the first type, and then uses the first algorithm. △ Less

Submitted 5 June, 2016; originally announced June 2016.

MSC Class: 68W30 ACM Class: I.1.2

The Complexity of Computing all Subfields of an Algebraic Number Field

Authors: Jonas Szutkoski, Mark van Hoeij

Abstract: For a finite separable field extension K/k, all subfields can be obtained by intersecting so-called principal subfields of K/k. In this work we present a way to quickly compute these intersections. If the number of subfields is high, then this leads to faster run times and an improved complexity. For a finite separable field extension K/k, all subfields can be obtained by intersecting so-called principal subfields of K/k. In this work we present a way to quickly compute these intersections. If the number of subfields is high, then this leads to faster run times and an improved complexity. △ Less

Submitted 20 November, 2017; v1 submitted 3 June, 2016; originally announced June 2016.

Comments: Slides available at: http://www.math.fsu.edu/~hoeij/2017/Presentation.pdf

MSC Class: 11Y16; 12Y05; 13P05; 68W30 ACM Class: I.1.2; F.2.1

Classifying (almost)-Belyi maps with Five Exceptional Points

Authors: Mark van Hoeij, Vijay Jung Kunwar

Abstract: We classify all rational functions whose branching pattern above {0, 1, infinity} satisfy a certain regularity condition with precisely d=5 exceptions. This work is motivated by solving second order linear differential equations, with d=5 true singularities, in terms of hypergeometric functions. A similar problem was solved for d=4 by Vidunas and Filipuk. We classify all rational functions whose branching pattern above {0, 1, infinity} satisfy a certain regularity condition with precisely d=5 exceptions. This work is motivated by solving second order linear differential equations, with d=5 true singularities, in terms of hypergeometric functions. A similar problem was solved for d=4 by Vidunas and Filipuk. △ Less

Submitted 31 May, 2018; v1 submitted 27 April, 2016; originally announced April 2016.

Comments: 20 pages

MSC Class: 05-04; 05C30; 05C85; 34-04; 68W30 ACM Class: G.2.1; G.2.2; I.1.2

The perimeter generating functions of three-choice, imperfect, and 1-punctured staircase polygons

Authors: M. Assis, M. van Hoeij, J-M. Maillard

Abstract: We consider the isotropic perimeter generating functions of three-choice, imperfect, and 1-punctured staircase polygons, whose 8th order linear Fuchsian ODEs are previously known. We derive simple relationships between the three generating functions, and show that all three generating functions are joint solutions of a common 12th order Fuchsian linear ODE. We find that the 8th order differential… ▽ More We consider the isotropic perimeter generating functions of three-choice, imperfect, and 1-punctured staircase polygons, whose 8th order linear Fuchsian ODEs are previously known. We derive simple relationships between the three generating functions, and show that all three generating functions are joint solutions of a common 12th order Fuchsian linear ODE. We find that the 8th order differential operators can each be rewritten as a direct sum of a direct product, with operators no larger than 3rd order. We give closed-form expressions for all the solutions of these operators in terms of $_2F_1$ hypergeometric functions with rational and algebraic arguments. The solutions of these linear differential operators can in fact be expressed in terms of two modular forms, since these $_2F_1$ hypergeometric functions can be expressed with two, rational or algebraic, pullbacks. △ Less

Submitted 2 February, 2016; originally announced February 2016.

Comments: 28 pages

MSC Class: 03D05; 11Yxx; 33Cxx; 34Lxx; 34Mxx; 34M55; 39-04; 68Q70

A Modular Algorithm for Computing Polynomial GCDs over Number Fields presented with Multiple Extensions

Authors: Mark van Hoeij, Michael Monagan

Abstract: We consider the problem of computing the monic gcd of two polynomials over a number field L = Q(alpha_1,...,alpha_n). Langemyr and McCallum have already shown how Brown's modular GCD algorithm for polynomials over Q can be modified to work for Q(alpha) and subsequently, Langemyr extended the algorithm to L[x]. Encarnacion also showed how to use rational number to make the algorithm for Q(alpha) ou… ▽ More We consider the problem of computing the monic gcd of two polynomials over a number field L = Q(alpha_1,...,alpha_n). Langemyr and McCallum have already shown how Brown's modular GCD algorithm for polynomials over Q can be modified to work for Q(alpha) and subsequently, Langemyr extended the algorithm to L[x]. Encarnacion also showed how to use rational number to make the algorithm for Q(alpha) output sensitive, that is, the number of primes used depends on the size of the integers in the gcd and not on bounds based on the input polynomials. Our first contribution is an extension of Encarnacion's modular GCD algorithm to the case n>1, which, like Encarnacion's algorithm, is is output sensitive. Our second contribution is a proof that it is not necessary to test if p divides the discriminant. This simplifies the algorithm; it is correct without this test. Our third contribution is a modification to the algorithm to treat the case of reducible extensions. Such cases arise when solving systems of polynomial equations. Our fourth contribution is an implementation of the modular GCD algorithm in Maple and in Magma. Both implementations use a recursive dense polynomial data structure for representing polynomials over number fields with multiple field extensions. Our fifth contribution is a primitive fraction-free algorithm. This is the best non-modular approach. We present timing comparisons of the Maple and Magma implementations demonstrating various optimizations and comparing them with the monic Euclidan algorithm and our primitive fraction-free algorithm. △ Less

Submitted 5 January, 2016; originally announced January 2016.

Comments: 36 pages. An early version of this paper appeared in the Proceedings of ISSAC 2002, ACM Press, pp. 207-213. This version represents work done between 2003 and 2005 outlined as contributions 3, 4 and 5 in the abstract

Groebner basis in Boolean rings is not polynomial-space

Authors: Mark van Hoeij

Abstract: We give an example where the number of elements of a Groebner basis in a Boolean ring is not polynomially bounded in terms of the bitsize and degrees of the input. We give an example where the number of elements of a Groebner basis in a Boolean ring is not polynomially bounded in terms of the bitsize and degrees of the input. △ Less

Submitted 26 February, 2015; v1 submitted 25 February, 2015; originally announced February 2015.

Comments: 3 pages

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

Authors: Maarten Derickx, Mark van Hoeij, **xiang Zeng

Abstract: 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. 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. △ Less

Submitted 18 March, 2014; v1 submitted 24 December, 2013; originally announced December 2013.

Comments: 17 pages

Gonality of the modular curve X1(N)

Authors: Maarten Derickx, Mark van Hoeij

Abstract: In this paper we compute the gonality over Q of the modular curve X1(N) for all N <= 40 and give upper bounds for each N <= 250. This allows us to determine all N for which X1(N) has infinitely points of degree <= 8. We conjecture that the modular units of Q(X1(N)) are freely generated by f_2,...,f_{[N/2]+1} where f_k is obtained from the equation for X1(k). In this paper we compute the gonality over Q of the modular curve X1(N) for all N <= 40 and give upper bounds for each N <= 250. This allows us to determine all N for which X1(N) has infinitely points of degree <= 8. We conjecture that the modular units of Q(X1(N)) are freely generated by f_2,...,f_{[N/2]+1} where f_k is obtained from the equation for X1(k). △ Less

Submitted 1 April, 2014; v1 submitted 22 July, 2013; originally announced July 2013.

Comments: 17 pages. In this version, Theorem 3 is extended from d <= 6 to d <= 8

Journal ref: Journal of Algebra 417 (2014), Pages 52-71

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

Authors: Mark van Hoeij

Abstract: 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. 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. △ Less

Submitted 5 July, 2013; originally announced July 2013.

Comments: 4 pages

Algorithms and differential relations for Belyi functions

Authors: Mark van Hoeij, Raimundas Vidunas

Abstract: 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 differe… ▽ More 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. △ Less

Submitted 30 May, 2013; originally announced May 2013.

Comments: 29 pages, 1 fugure

MSC Class: 14-04; 57M12; 33C05

Belyi functions for hyperbolic hypergeometric-to-Heun transformations

Authors: Mark van Hoeij, Raimundas Vidunas

Abstract: A complete classification of Belyi functions for transforming certain hypergeometric equations to Heun equations is given. The considered hypergeometric equations have the local exponent differences 1/k,1/l,1/m that satisfy k,l,m in N and the hyperbolic condition 1/k+1/l+1/m<1. There are 366 Galois orbits of Belyi functions giving the considered (non-parametric) hypergeometric-to-Heun pull-back tr… ▽ More A complete classification of Belyi functions for transforming certain hypergeometric equations to Heun equations is given. The considered hypergeometric equations have the local exponent differences 1/k,1/l,1/m that satisfy k,l,m in N and the hyperbolic condition 1/k+1/l+1/m<1. There are 366 Galois orbits of Belyi functions giving the considered (non-parametric) hypergeometric-to-Heun pull-back transformations. Their maximal degree is 60, which is well beyond reach of standard computational methods. To obtain these Belyi functions, we developed two efficient algorithms that exploit the implied pull-back transformations. △ Less

Submitted 15 May, 2014; v1 submitted 16 December, 2012; originally announced December 2012.

Comments: 41 pages; ~15 figures, ~15 tables in a more compact form

MSC Class: 33E30; 33C05; 57M12; 14-04

On stringy invariants of GUT vacua

Authors: James Fullwood, Mark van Hoeij

Abstract: 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 characterist… ▽ More 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.} △ Less

Submitted 26 November, 2012; originally announced November 2012.

Low Degree Places on the Modular Curve X1(N)

Authors: Mark van Hoeij

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

Submitted 21 June, 2014; v1 submitted 20 February, 2012; originally announced February 2012.

Comments: 3 pages (Feb 2012) Added a 4'th page with a table for N <= 60 (Aug 2013). Added a 5'th page with a table for N <= 80 (June 2014)

On Hirzebruch invariants of elliptic fibrations

Authors: James Fullwood, Mark van Hoeij

Abstract: 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. 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. △ Less

Submitted 25 April, 2012; v1 submitted 31 October, 2011; originally announced November 2011.

Diagonal Ising susceptibility: elliptic integrals, modular forms and Calabi-Yau equations

Authors: M. Assis, S. Boukraa, S. Hassani, M. van Hoeij, J-M. Maillard, B. M. McCoy

Abstract: We give the exact expressions of the partial susceptibilities $χ^{(3)}_d$ and $χ^{(4)}_d$ for the diagonal susceptibility of the Ising model in terms of modular forms and Calabi-Yau ODEs, and more specifically, $_3F_2([1/3,2/3,3/2],\, [1,1];\, z)$ and $_4F_3([1/2,1/2,1/2,1/2],\, [1,1,1]; \, z)$ hypergeometric functions. By solving the connection problems we analytically compute the behavior at a… ▽ More We give the exact expressions of the partial susceptibilities $χ^{(3)}_d$ and $χ^{(4)}_d$ for the diagonal susceptibility of the Ising model in terms of modular forms and Calabi-Yau ODEs, and more specifically, $_3F_2([1/3,2/3,3/2],\, [1,1];\, z)$ and $_4F_3([1/2,1/2,1/2,1/2],\, [1,1,1]; \, z)$ hypergeometric functions. By solving the connection problems we analytically compute the behavior at all finite singular points for $χ^{(3)}_d$ and $χ^{(4)}_d$. We also give new results for $χ^{(5)}_d$. We see in particular, the emergence of a remarkable order-six operator, which is such that its symmetric square has a rational solution. These new exact results indicate that the linear differential operators occurring in the $n$-fold integrals of the Ising model are not only "Derived from Geometry" (globally nilpotent), but actually correspond to "Special Geometry" (homomorphic to their formal adjoint). This raises the question of seeing if these "special geometry" Ising-operators, are "special" ones, reducing, in fact systematically, to (selected, k-balanced, ...) $_{q+1}F_q$ hypergeometric functions, or correspond to the more general solutions of Calabi-Yau equations. △ Less

Submitted 11 December, 2011; v1 submitted 8 October, 2011; originally announced October 2011.

Comments: 35 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

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

Authors: Alin Bostan, Frédéric Chyzak, Mark van Hoeij, Lucien Pech

Abstract: 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… ▽ More 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.\] △ Less

Submitted 30 September, 2011; v1 submitted 23 May, 2011; originally announced May 2011.

Comments: To appear in "Séminaire Lotharingien de Combinatoire"

MSC Class: Primary 05A15; 14N10; 33F10; 68W30; Secondary 33C05; 97N80

Isomorphisms of Algebraic Number Fields

Authors: Mark van Hoeij, Vivek Pal

Abstract: 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. 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. △ Less

Submitted 2 December, 2010; v1 submitted 1 December, 2010; originally announced December 2010.

Comments: 16 pages

The Ising model: from elliptic curves to modular forms and Calabi-Yau equations

Authors: A. Bostan, S. Boukraa, S. Hassani, M. van Hoeij, J. -M. Maillard, J-A. Weil, N. Zenine

Abstract: We show that almost all the linear differential operators factors obtained in the analysis of the n-particle contribution of the susceptibility of the Ising model for $\, n \le 6$, are operators "associated with elliptic curves". Beyond the simplest factors which are homomorphic to symmetric powers of the second order operator associated with the complete elliptic integral E, the second and third… ▽ More We show that almost all the linear differential operators factors obtained in the analysis of the n-particle contribution of the susceptibility of the Ising model for $\, n \le 6$, are operators "associated with elliptic curves". Beyond the simplest factors which are homomorphic to symmetric powers of the second order operator associated with the complete elliptic integral E, the second and third order differential operators can actually be interpreted as modular forms of the elliptic curve of the Ising model. A last order-four globally nilpotent operator is not reducible to this elliptic curve, modular forms scheme. It is shown to actually correspond to a natural generalization of this elliptic curve, modular forms scheme, with the emergence of a Calabi-Yau equation, corresponding to a selected $_4F_3$ hypergeometric function which can also be seen as a Hadamard product of the complete elliptic integral K, with a remarkably simple algebraic pull-back, the corresponding Calabi-Yau fourth-order differential operator having a symplectic differential Galois group SP(4,C). The associated mirror maps and higher order Schwarzian ODEs has an exact (isogenies) representation of the generators of the renormalization group, extending the modular group SL(2,Z) to a GL(2, Z) symmetry group. △ Less

Submitted 10 December, 2010; v1 submitted 4 July, 2010; originally announced July 2010.

Comments: 46 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

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

Authors: Mark Van Hoeij, Andrew Novocin

Abstract: 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… ▽ More 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. △ Less

Submitted 3 February, 2010; originally announced February 2010.

Journal ref: in Gradual sub-lattice reduction and a new complexity for factoring polynomials - LATIN 2010, Oaxaca : Mexico (2010)

The Fourth-Order Type Linear Ordinary Differential Equations

Authors: W. N. Everitt, D. J. Smith, M. van Hoeij

Abstract: This note reports on the recent advancements in the search for explicit representation, in classical special functions, of the solutions of the fourth-order ordinary differential equations named Bessel-type, Jacobi-type, Laguerre-type, Legendre-type. This note reports on the recent advancements in the search for explicit representation, in classical special functions, of the solutions of the fourth-order ordinary differential equations named Bessel-type, Jacobi-type, Laguerre-type, Legendre-type. △ Less

Submitted 21 March, 2006; originally announced March 2006.

Comments: 11 pages

MSC Class: Primary: 33C15; 33D15; 33F10. Secondary: 33C05; 34B05

Solving conics over Q(t1,..,tk)

Authors: Mark van Hoeij

Abstract: Let K = Q(t1,..,tk) and a,b,c in K. We give a simple algorithm to find, if it exists, X,Y,Z in K, not all zero, for which aX^2 + bY^2 + cZ^2 = 0. Let K = Q(t1,..,tk) and a,b,c in K. We give a simple algorithm to find, if it exists, X,Y,Z in K, not all zero, for which aX^2 + bY^2 + cZ^2 = 0. △ Less

Submitted 18 October, 2004; originally announced October 2004.

Comments: 8 pages

MSC Class: 11D09; 68W30

Factoring polynomials over global fields

Authors: K. Belabas, M. van Hoeij, J. Klueners, A. Steel

Abstract: Let K be a global field and f in K[X] be a polynomial. We present an efficient algorithm which factors f in polynomial time. Let K be a global field and f in K[X] be a polynomial. We present an efficient algorithm which factors f in polynomial time. △ Less

Submitted 27 September, 2004; originally announced September 2004.

Comments: 10 pages

MSC Class: 11Y16

Apparent Singularities of Linear Difference Equations with Polynomial Coefficients

Authors: S. A. Abramov, M. A. Barkatou, M. van Hoeij

Abstract: Let L be a linear difference operator with polynomial coefficients. We consider singularities of L that correspond to roots of the trailing (resp. leading) coefficient of L. We prove that one can effectively construct a left multiple with polynomial coefficients L' of L such that every singularity of L' is a singularity of L that is not apparent. As a consequence, if all singularities of L are a… ▽ More Let L be a linear difference operator with polynomial coefficients. We consider singularities of L that correspond to roots of the trailing (resp. leading) coefficient of L. We prove that one can effectively construct a left multiple with polynomial coefficients L' of L such that every singularity of L' is a singularity of L that is not apparent. As a consequence, if all singularities of L are apparent, then L has a left multiple whose trailing and leading coefficients equal 1. △ Less

Submitted 27 September, 2004; originally announced September 2004.

A conjecture in the problem of rational definite summation

Authors: Mark van Hoeij

Abstract: A conjecture is given that, if true, could lead to an algorithm for computing definite sums of rational functions. A conjecture is given that, if true, could lead to an algorithm for computing definite sums of rational functions. △ Less

Submitted 10 October, 2002; originally announced October 2002.

Comments: 4 pages

MSC Class: 05A19; 11B37

Computing Riemann Theta Functions

Authors: Bernard Deconinck, Matthias Heil, Alexander Bobenko, Mark van Hoeij, Markus Schmies

Abstract: The Riemann theta function is a complex-valued function of g complex variables. It appears in the construction of many (quasi-) periodic solutions of various equations of mathematical physics. In this paper, algorithms for its computation are given. First, a formula is derived allowing the pointwise approximation of Riemann theta functions, with arbitrary, user-specified precision. This formula… ▽ More The Riemann theta function is a complex-valued function of g complex variables. It appears in the construction of many (quasi-) periodic solutions of various equations of mathematical physics. In this paper, algorithms for its computation are given. First, a formula is derived allowing the pointwise approximation of Riemann theta functions, with arbitrary, user-specified precision. This formula is used to construct a uniform approximation formula, again with arbitrary precision. △ Less

Submitted 3 July, 2002; v1 submitted 10 June, 2002; originally announced June 2002.

Comments: 28 pages, 22 figures. Version with high resolution figures available from http://www.math.colostate.edu/~deconinc/papers.html. Some typos corrected in web addresses

An algorithm for computing the Weierstrass normal form of hyperelliptic curves

Authors: Mark van Hoeij

Abstract: An algorithm is given to compute a normal form for hyperelliptic curves. The elliptic case has been treated in a previous paper. In this paper the hyperelliptic case is treated. An algorithm is given to compute a normal form for hyperelliptic curves. The elliptic case has been treated in a previous paper. In this paper the hyperelliptic case is treated. △ Less

Submitted 13 March, 2002; originally announced March 2002.

Comments: 4 pages

MSC Class: 14Q05