Optimal systems of fundamental S-units for LLL-reduction

DOI10.1007/S10998-009-9053-XzbMATH Open1199.11135arXiv0905.0745OpenAlexW2008886287MaRDI QIDQ987569FDOQ987569

Authors: Lajos Hajdu 

Publication date: 13 August 2010

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

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.

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

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

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)

Cites Work

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

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)