Optimal systems of fundamental S-units for LLL-reduction

DOI10.1007/S10998-009-9053-XMaRDI QIDQ987569zbMATHOpenAlexFDO

Authors Lajos Hajdu

Publication date 13 August 2010

Published in Periodica Mathematica Hungarica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0905.0745

zbMATH Keywords

\(S\)-unit equationsfundamental system of \(S\)-unitsLLL-reduction

Mathematics Subject Classification ID

Exponential Diophantine equations (11D61) Units and factorization (11R27) Computer solution of Diophantine equations (11Y50)

Abstract: We show that a particular parameter plays a vital role in the resolution of S-unit equations, at the stage where LLL-reduction is applied. We define the notion of optimal system of fundamental S-units (with respect to this parameter), and prove that such a system exists and can be effectively constructed. Applying our results and methods, one can obtain much better bounds for the solutions of S-unit equations after the reduction step, than earlier. We briefly also discuss some effects of our results on the method of Wildanger and Smart for the resolution of S-unit equations.

Recommendations

• A formalization of the LLL basis reduction algorithm
• Progress on LLL and lattice reduction
• scientific article; zbMATH DE number 4014037
• scientific article; zbMATH DE number 3950287
• An LLL-reduction algorithm with quasi-linear time complexity, extended abstract
• Fast LLL-type lattice reduction
• Faster LLL-type Reduction of Lattice Bases
• Optimal reductions in interaction systems
• scientific article; zbMATH DE number 774636
• scientific article; zbMATH DE number 1263596

Cites work

• scientific article; zbMATH DE number 3979149 (Why is no real title available?)
• scientific article; zbMATH DE number 44151 (Why is no real title available?)
• scientific article; zbMATH DE number 149292 (Why is no real title available?)
• scientific article; zbMATH DE number 1756268 (Why is no real title available?)
• An explicit lower bound for a homogeneous rational linear form in logarithms of algebraic numbers. II
• Bounds for the solutions of S-unit equations and decomposable form equations
• Determining the small solutions to 𝑆-unit equations
• Improved Methods for Calculating Vectors of Short Length in a Lattice, Including a Complexity Analysis
• Index form equations in quintic fields
• Index form equations in sextic fields: a hard computation
• KANT V4
• Linear equations in variables which lie in a multiplicative group
• On the Elliptic Logarithm Method for Elliptic Diophantine Equations: Reflections and an Improvement
• On the number of solutions of linear equations in units of an algebraic number field
• On the resolution of index form equations in biquadratic number fields. I
• On the resolution of index form equations in biquadratic number fields. II
• On the resolution of relative Thue equations
• On the solution of units and index form equations in algebraic number fields
• P-adic logarithmic forms and group varieties III
• The Magma algebra system. I: The user language
• The Solution of Triangularly Connected Decomposable Form Equations

Cited in

(3)

• Parallel LLL-reduction for bounding the integral solutions of elliptic Diophantine equations
• Solving 𝑆-unit, Mordell, Thue, Thue–Mahler and Generalized Ramanujan–Nagell Equations via the Shimura–Taniyama Conjecture
• Characterizations of strongly regular rings, II

Describes a project that uses

Uses Software

• KANT/KASH
• Magma
• PARI/GP

This page was built for publication: Optimal systems of fundamental \(S\)-units for LLL-reduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q987569)