- Computer Science Laboratory Sorbonne Université - CNRS UMR 7606

LIP6 supports the Pink October campaign for breast cancer awareness.

TRAN Kevin

Postdoc at Sorbonne University
Team : PolSys
https://tran.perso.lip6.fr

Supervision : Jérémy BERTHOMIEU
Co-supervision : LEBRETON Romain

Fast and generalized extended Euclidean algorithm with applications to recurrences and Gröbner bases

This thesis studies algorithms for computing linear recurrence relations with constant coefficients satisfied by a sequence. This computation is highly structured and can be formulated in terms of structured linear algebra involving Hankel matrices. In 1968 and 1969, Berlekamp and Massey independently designed an algorithm exploiting this structure to compute these recurrences for uni-indexed sequences. This algorithm relies on the computation of Padé approximants, which can be obtained in a quasi-optimal complexity using the Half-GCD algorithm. For multi-index sequences, computing recurrences have at least quadratic complexity, and it seems difficult to fully exploit the structure of the problem to design a more efficient algorithm.

This thesis makes two main contributions: improving the computation of rational reconstruction and computing recurrences for bi-indexed sequences. For the first aspect, recent algorithmic improvements in polynomial matrices allowed us to obtain a constant-factor reduction in the complexity of the Half-GCD algorithm. For the second, we define a Half-GCD algorithm on univariate polynomials with uni-index sequence coefficients, whose intermediate computations allow us to recover a Gröbner basis of the ideal of relations, and to derive a solver for bi-Hankel matrices. Efficient algorithms for solving such matrices could therefore lead to faster Gröbner basis computations via the Sparse-FGLM algorithm.


Phd defence : 09/22/2026

Jury members :

Delphine Boucher, IRMAR, Université de Rennes [Rapporteur]
Grégoire Lecerf, CNRS, LIX, Institut Polytechnique de Paris [Rapporteur]
Alin Bostan, Inria, LIP6, Sorbonne Université
François Boulier, CRIStAL, Université de Lille
Gilles Villard, CNRS, LIP, École Normale Supérieure de Lyon
Jérémy Berthomieu, LIP6, Sorbonne Université
Romain Lebreton, LIRMM, Université de Montpellier

Departure date : 09/30/2026

2025-2026 Publications