Showing 1–18 of 18 results for author: Fieker, C

Computing the Determinant of a Dense Matrix over Z

Authors: John Abbott, Claus Fieker

Abstract: We present a new, practical algorithm for computing the determinant of a non-singular dense, uniform matrix over Z; the aim is to achieve better practical efficiency, which is always at least as good as currently known methods. The algorithm uses randomness internally, but the result is guaranteed correct. The main new idea is to use a modular HNF in cases where the Pauderis--Storjohann HCOL metho… ▽ More We present a new, practical algorithm for computing the determinant of a non-singular dense, uniform matrix over Z; the aim is to achieve better practical efficiency, which is always at least as good as currently known methods. The algorithm uses randomness internally, but the result is guaranteed correct. The main new idea is to use a modular HNF in cases where the Pauderis--Storjohann HCOL method performs poorly. The algorithm is implemented in OSCAR~1.0. △ Less

Submitted 12 April, 2024; originally announced April 2024.

Comments: 8 pages, subnitted as extended abtract to ICMS 2024 (Durham)

MSC Class: 15B36 (Primary); 11C20 (Secondary); 15-04; 15A15

Number Theory in OSCAR

Authors: Claus Fieker, Tommy Hofmann

Abstract: We give a brief introduction to computational algebraic number theory in OSCAR. Our main focus is on number fields, rings of integers and their invariants. After recalling some classical results and their constructive counterparts, we showcase the functionality in two examples related to the investigation of the Cohen-Lenstra heuristic for quadratic fields and the Galois module structure of rings… ▽ More We give a brief introduction to computational algebraic number theory in OSCAR. Our main focus is on number fields, rings of integers and their invariants. After recalling some classical results and their constructive counterparts, we showcase the functionality in two examples related to the investigation of the Cohen-Lenstra heuristic for quadratic fields and the Galois module structure of rings of integers. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: Submitted as chapter for the upcoming book on the computer algebra system OSCAR

MSC Class: 11Y40; 11-04; 11R29; 11R33; 11R37; 11N45

Group theory in OSCAR

Authors: Claus Fieker, Max Horn

Abstract: OSCAR is an innovative new computer algebra system which combines and extends the power of its four cornerstone systems - GAP (group theory), Singular (algebra and algebraic geometry), Polymake (polyhedral geometry), and Antic (number theory). Assuming little familiarity with the subject, we give an introduction to computations in group theory using OSCAR, as a chapter of the upcoming OSCAR book. OSCAR is an innovative new computer algebra system which combines and extends the power of its four cornerstone systems - GAP (group theory), Singular (algebra and algebraic geometry), Polymake (polyhedral geometry), and Antic (number theory). Assuming little familiarity with the subject, we give an introduction to computations in group theory using OSCAR, as a chapter of the upcoming OSCAR book. △ Less

Submitted 12 April, 2024; v1 submitted 8 April, 2024; originally announced April 2024.

Comments: add/update a few references

MSC Class: 20-04

Feynman integral reduction using Gröbner bases

Authors: Mohamed Barakat, Robin Brüser, Claus Fieker, Tobias Huber, Jan Piclum

Abstract: We investigate the reduction of Feynman integrals to master integrals using Gröbner bases in a rational double-shift algebra Y in which the integration-by-parts (IBP) relations form a left ideal. The problem of reducing a given family of integrals to master integrals can then be solved once and for all by computing the Gröbner basis of the left ideal formed by the IBP relations. We demonstrate thi… ▽ More We investigate the reduction of Feynman integrals to master integrals using Gröbner bases in a rational double-shift algebra Y in which the integration-by-parts (IBP) relations form a left ideal. The problem of reducing a given family of integrals to master integrals can then be solved once and for all by computing the Gröbner basis of the left ideal formed by the IBP relations. We demonstrate this explicitly for several examples. We introduce so-called first-order normal-form IBP relations which we obtain by reducing the shift operators in Y modulo the Gröbner basis of the left ideal of IBP relations. For more complicated cases, where the Gröbner basis is computationally expensive, we develop an ansatz based on linear algebra over a function field to obtain the normal-form IBP relations. △ Less

Submitted 31 May, 2023; v1 submitted 11 October, 2022; originally announced October 2022.

Comments: 25 pages, 4 figures, 12 ancillary files; v2: clarified text and improved notation

Report number: SI-HEP-2022-30, P3H-22-101 MSC Class: 13P10; 16D25; 16Z05; 81Q30; 81T18

Journal ref: JHEP 05 (2023) 168

Computing Galois groups of Ehrhart polynomials in OSCAR

Authors: Claus Fieker, Tommy Hofmann, Michael Joswig

Abstract: We report on an implementation of Galois groups in the new computer algebra system OSCAR. As an application we compute Galois groups of Ehrhart polynomials of lattice polytope We report on an implementation of Galois groups in the new computer algebra system OSCAR. As an application we compute Galois groups of Ehrhart polynomials of lattice polytope △ Less

Submitted 19 March, 2022; originally announced March 2022.

Constructions using Galois Theory

Authors: Claus Fieker, Nicole Sutherland

Abstract: We describe algorithms to compute fixed fields, splitting fields and towers of radical extensions without using polynomial factorisation in towers or constructing any field containing the splitting field, instead extending Galois group computations for this task. We also describe the computation of geometric Galois groups (monodromy groups) and their use in computing absolute factorizations. We describe algorithms to compute fixed fields, splitting fields and towers of radical extensions without using polynomial factorisation in towers or constructing any field containing the splitting field, instead extending Galois group computations for this task. We also describe the computation of geometric Galois groups (monodromy groups) and their use in computing absolute factorizations. △ Less

Submitted 27 October, 2022; v1 submitted 3 October, 2020; originally announced October 2020.

Comments: Various editing improvements

MSC Class: 11R32 11Y40 12F10 (Primary); 12F12 (Secondary)

Resultants over principal Artinian rings

Authors: Claus Fieker, Tommy Hofmann, Carlo Sircana

Abstract: The resultant of two univariate polynomials is an invariant of great importance in commutative algebra and vastly used in computer algebra systems. Here we present an algorithm to compute it over Artinian principal rings with a modified version of the Euclidean algorithm. Using the same strategy, we show how the reduced resultant and a pair of Bézout coefficient can be computed. Particular attenti… ▽ More The resultant of two univariate polynomials is an invariant of great importance in commutative algebra and vastly used in computer algebra systems. Here we present an algorithm to compute it over Artinian principal rings with a modified version of the Euclidean algorithm. Using the same strategy, we show how the reduced resultant and a pair of Bézout coefficient can be computed. Particular attention is devoted to the special case of $\mathbf{Z}/n\mathbf{Z}$, where we perform a detailed analysis of the asymptotic cost of the algorithm. Finally, we illustrate how the algorithms can be exploited to improve ideal arithmetic in number fields and polynomial arithmetic over $p$-adic fields. △ Less

Submitted 7 April, 2020; originally announced April 2020.

Norm relations and computational problems in number fields

Authors: Jean-François Biasse, Claus Fieker, Tommy Hofmann, Aurel Page

Abstract: For a finite group $G$, we introduce a generalization of norm relations in the group algebra $\mathbb Q[G]$. We give necessary and sufficient criteria for the existence of such relations and apply them to obtain relations between the arithmetic invariants of the subfields of a normal extension of algebraic number fields with Galois group $G$. On the algorithmic side this leads to subfield based al… ▽ More For a finite group $G$, we introduce a generalization of norm relations in the group algebra $\mathbb Q[G]$. We give necessary and sufficient criteria for the existence of such relations and apply them to obtain relations between the arithmetic invariants of the subfields of a normal extension of algebraic number fields with Galois group $G$. On the algorithmic side this leads to subfield based algorithms for computing rings of integers, $S$-unit groups and class groups. For the $S$-unit group computation this yields a polynomial time reduction to the corresponding problem in subfields. We compute class groups of large number fields under GRH, and new unconditional values of class numbers of cyclotomic fields. △ Less

Submitted 14 July, 2021; v1 submitted 27 February, 2020; originally announced February 2020.

MSC Class: Primary: 11Y16; 20C05; 11R32; Secondary 11R29; 11R04; 11Y40; 11R18; 11R27

Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language

Authors: Claus Fieker, William Hart, Tommy Hofmann, Fredrik Johansson

Abstract: We introduce two new packages, Nemo and Hecke, written in the Julia programming language for computer algebra and number theory. We demonstrate that high performance generic algorithms can be implemented in Julia, without the need to resort to a low-level C implementation. For specialised algorithms, we use Julia's efficient native C interface to wrap existing C/C++ libraries such as Flint, Arb, A… ▽ More We introduce two new packages, Nemo and Hecke, written in the Julia programming language for computer algebra and number theory. We demonstrate that high performance generic algorithms can be implemented in Julia, without the need to resort to a low-level C implementation. For specialised algorithms, we use Julia's efficient native C interface to wrap existing C/C++ libraries such as Flint, Arb, Antic and Singular. We give examples of how to use Hecke and Nemo and discuss some algorithms that we have implemented to provide high performance basic arithmetic. △ Less

Submitted 17 May, 2017; originally announced May 2017.

Comments: ISSAC '17, Kaiserslautern, Germany, July 25-28, 2017, 8 pages

Bad Primes in Computational Algebraic Geometry

Authors: Janko Boehm, Wolfram Decker, Claus Fieker, Santiago Laplagne, Gerhard Pfister

Abstract: Computations over the rational numbers often suffer from intermediate coefficient swell. One solution to this problem is to apply the given algorithm modulo a number of primes and then lift the modular results to the rationals. This method is guaranteed to work if we use a sufficiently large set of good primes. In many applications, however, there is no efficient way of excluding bad primes. In th… ▽ More Computations over the rational numbers often suffer from intermediate coefficient swell. One solution to this problem is to apply the given algorithm modulo a number of primes and then lift the modular results to the rationals. This method is guaranteed to work if we use a sufficiently large set of good primes. In many applications, however, there is no efficient way of excluding bad primes. In this note, we describe a technique for rational reconstruction which will nevertheless return the correct result, provided the number of good primes in the selected set of primes is large enough. We give a number of illustrating examples which are implemented using the computer algebra system Singular and the programming language Julia. We discuss applications of our technique in computational algebraic geometry. △ Less

Submitted 22 February, 2017; originally announced February 2017.

Comments: 8 pages, 1 figure, 1 table

MSC Class: 13P10 (Primary) 68W10; 52C05 (Secondary)

Journal ref: LNCS 9725 (2016), 93-102

On the computation of the HNF of a module over the ring of integers of a number field

Authors: Jean-François Biasse, Claus Fieker, Tommy Hofmann

Abstract: We present a variation of the modular algorithm for computing the Hermite normal form of an $\mathcal O_K$-module presented by Cohen, where $\mathcal O_K$ is the ring of integers of a number field $K$. An approach presented in (Cohen 1996) based on reductions modulo ideals was conjectured to run in polynomial time by Cohen, but so far, no such proof was available in the literature. In this paper,… ▽ More We present a variation of the modular algorithm for computing the Hermite normal form of an $\mathcal O_K$-module presented by Cohen, where $\mathcal O_K$ is the ring of integers of a number field $K$. An approach presented in (Cohen 1996) based on reductions modulo ideals was conjectured to run in polynomial time by Cohen, but so far, no such proof was available in the literature. In this paper, we present a modification of the approach of Cohen to prevent the coefficient swell and we rigorously assess its complexity with respect to the size of the input and the invariants of the field $K$. △ Less

Submitted 30 December, 2016; originally announced December 2016.

MSC Class: 11Y40

Journal ref: Journal of Symbolic Computation, Volume 80 (2017), Pages 581-615

Computing in quotients of rings of integers

Authors: Tommy Hofmann, Claus Fieker

Abstract: We develop algorithms to turn quotients of rings of rings of integers into effective Euclidean rings by giving polynomial algorithms for all fundamental ring operations. In addition, we study normal forms for modules over such rings and their behavior under certain quotients. We illustrate the power of our ideas in a new modular normal form algorithm for modules over rings of integers, vastly outp… ▽ More We develop algorithms to turn quotients of rings of rings of integers into effective Euclidean rings by giving polynomial algorithms for all fundamental ring operations. In addition, we study normal forms for modules over such rings and their behavior under certain quotients. We illustrate the power of our ideas in a new modular normal form algorithm for modules over rings of integers, vastly outperforming classical algorithms. △ Less

Submitted 29 December, 2016; originally announced December 2016.

MSC Class: 11Y40 (Primary); 11-04 (Secondary)

Journal ref: LMS Journal of Computation and Mathematics, 17(A) (2014), 349-365

Gröbner Bases over Algebraic Number Fields

Authors: Dereje Kifle Boku, Claus Fieker, Wolfram Decker, Andreas Steenpass

Abstract: Although Buchberger's algorithm, in theory, allows us to compute Gröbner bases over any field, in practice, however, the computational efficiency depends on the arithmetic of the ground field. Consider a field $K = \mathbb{Q}(α)$, a simple extension of $\mathbb{Q}$, where $α$ is an algebraic number, and let $f \in \mathbb{Q}[t]$ be the minimal polynomial of $α$. In this paper we present a new effi… ▽ More Although Buchberger's algorithm, in theory, allows us to compute Gröbner bases over any field, in practice, however, the computational efficiency depends on the arithmetic of the ground field. Consider a field $K = \mathbb{Q}(α)$, a simple extension of $\mathbb{Q}$, where $α$ is an algebraic number, and let $f \in \mathbb{Q}[t]$ be the minimal polynomial of $α$. In this paper we present a new efficient method to compute Gröbner bases in polynomial rings over the algebraic number field $K$. Starting from the ideas of Noro [Noro, 2006], we proceed by joining $f$ to the ideal to be considered, adding $t$ as an extra variable. But instead of avoiding superfluous S-pair reductions by inverting algebraic numbers, we achieve the same goal by applying modular methods as in [Arnold, 2003; Böhm et al., 2015; Idrees et al., 2011], that is, by inferring information in characteristic zero from information in characteristic $p > 0$. For suitable primes $p$, the minimal polynomial $f$ is reducible over $\mathbb{F}_p$. This allows us to apply modular methods once again, on a second level, with respect to the factors of $f$. The algorithm thus resembles a divide and conquer strategy and is in particular easily parallelizable. At current state, the algorithm is probabilistic in the sense that, as for other modular Gröbner basis computations, an effective final verification test is only known for homogeneous ideals or for local monomial orderings. The presented timings show that for most examples, our algorithm, which has been implemented in SINGULAR, outperforms other known methods by far. △ Less

Submitted 5 August, 2015; v1 submitted 17 April, 2015; originally announced April 2015.

Comments: 16 pages, 1 figure, 1 table

MSC Class: 13P10 (Primary); 11R09; 12F05 (Secondary)

Journal ref: Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, Bath. ACM (2015), 16-24 (J.-G. Dumas, E.L. Kaltofen)

Computation of Galois groups of rational polynomials

Authors: Claus Fieker, Jürgen Klüners

Abstract: Computational Galois theory, in particular the problem of computing the Galois group of a given polynomial is a very old problem. Currently, the best algorithmic solution is Stauduhar's method. Computationally, one of the key challenges in the application of Stauduhar's method is to find, for a given pair of groups H<G a G-relative H-invariant, that is a multivariate polynomial F that is H-invaria… ▽ More Computational Galois theory, in particular the problem of computing the Galois group of a given polynomial is a very old problem. Currently, the best algorithmic solution is Stauduhar's method. Computationally, one of the key challenges in the application of Stauduhar's method is to find, for a given pair of groups H<G a G-relative H-invariant, that is a multivariate polynomial F that is H-invariant, but not G-invariant. While generic, theoretical methods are known to find such F, in general they yield impractical answers. We give a general method for computing invariants of large degree which improves on previous known methods, as well as various special invariants that are derived from the structure of the groups. We then apply our new invariants to the task of computing the Galois groups of polynomials over the rational numbers, resulting in the first practical degree independent algorithm. △ Less

Submitted 28 August, 2013; v1 submitted 15 November, 2012; originally announced November 2012.

Comments: Improved version and new title

Journal ref: LMS J. Comput. Math. 17 (2014) 141-158

The use of Bad Primes in Rational Reconstruction

Authors: Janko Boehm, Wolfram Decker, Claus Fieker, Gerhard Pfister

Abstract: A standard method for finding a rational number from its values modulo a collection of primes is to determine its value modulo the product of the primes via Chinese remaindering, and then use Farey sequences for rational reconstruction. Successively enlarging the set of primes if needed, this method is guaranteed to work if we restrict ourselves to good primes. Depending on the particular applicat… ▽ More A standard method for finding a rational number from its values modulo a collection of primes is to determine its value modulo the product of the primes via Chinese remaindering, and then use Farey sequences for rational reconstruction. Successively enlarging the set of primes if needed, this method is guaranteed to work if we restrict ourselves to good primes. Depending on the particular application, however, there may be no efficient way of identifying good primes. In the algebraic and geometric applications we have in mind, the final result consists of an a priori unknown ideal (or module) which is found via a construction yielding the (reduced) Groebner basis of the ideal. In this context, we discuss a general setup for modular and, thus, potentially parallel algorithms which can handle bad primes. A key new ingredient is an error tolerant algorithm for rational reconstruction via Gaussian reduction. △ Less

Submitted 7 October, 2013; v1 submitted 6 July, 2012; originally announced July 2012.

Comments: 15 pages; added a section on types of bad primes, and an example

MSC Class: 13P10 (Primary) 68W10; 52C05 (Secondary)

Journal ref: Math. Comp. 84 (2015), 3013-3027

A polynomial time algorithm for computing the HNF of a module over the integers of a number field

Authors: Jean-François Biasse, Claus Fieker

Abstract: We present a variation of the modular algorithm for computing the Hermite Normal Form of an $\OK$-module presented by Cohen, where $\OK$ is the ring of integers of a number field K. The modular strategy was conjectured to run in polynomial time by Cohen, but so far, no such proof was available in the literature. In this paper, we provide a new method to prevent the coefficient explosion and we rig… ▽ More We present a variation of the modular algorithm for computing the Hermite Normal Form of an $\OK$-module presented by Cohen, where $\OK$ is the ring of integers of a number field K. The modular strategy was conjectured to run in polynomial time by Cohen, but so far, no such proof was available in the literature. In this paper, we provide a new method to prevent the coefficient explosion and we rigorously assess its complexity with respect to the size of the input and the invariants of the field K. △ Less

Submitted 5 April, 2012; originally announced April 2012.

Comments: 11 pages

MSC Class: Primary 54C40; 14E20; Secondary 46E25; 20C20

New techniques for computing the ideal class group and a system of fundamental units in number fields

Authors: Jean-François Biasse, Claus Fieker

Abstract: We describe a new algorithm for computing the ideal class group, the regulator and a system of fundamental units in number fields under the generalized Riemann hypothesis. We use sieving techniques adapted from the number field sieve algorithm to derive relations between elements of the ideal class group, and $p$-adic approximations to manage the loss of precision during the computation of units.… ▽ More We describe a new algorithm for computing the ideal class group, the regulator and a system of fundamental units in number fields under the generalized Riemann hypothesis. We use sieving techniques adapted from the number field sieve algorithm to derive relations between elements of the ideal class group, and $p$-adic approximations to manage the loss of precision during the computation of units. This new algorithm is particularily efficient for number fields of small degree for which a speed-up of an order of magnitude is achieved with respect to the standard methods. △ Less

Submitted 5 April, 2012; originally announced April 2012.

Comments: 17 pages

MSC Class: Primary 54C40; 14E20; Secondary 46E25; 20C20

Constructing algebraic Lie algebras

Authors: Claus Fieker, Willem de Graaf

Abstract: We give an algorithm for constructing the algebraic hull of a given matrix Lie algebra in characteristic zero. It is based on an algorithm for finding integral linear dependencies of the roots of a polynomial, that is probably of independent interest. We give an algorithm for constructing the algebraic hull of a given matrix Lie algebra in characteristic zero. It is based on an algorithm for finding integral linear dependencies of the roots of a polynomial, that is probably of independent interest. △ Less

Submitted 14 November, 2006; originally announced November 2006.

Comments: 18 pages, 2 figures

MSC Class: 17B45; 11Y40