-
Linearized Polynomial Chinese remainder codes
Authors:
Philippe Gaborit,
Camille Garnier,
Olivier Ruatta
Abstract:
In this paper, we introduce a new family of codes relevent for rank and sum-rank metrics. These codes are based on an effective Chinese remainders theorem for linearized polynomials over finite fields. We propose a decoding algorithm for some instances of these codes.
In this paper, we introduce a new family of codes relevent for rank and sum-rank metrics. These codes are based on an effective Chinese remainders theorem for linearized polynomials over finite fields. We propose a decoding algorithm for some instances of these codes.
△ Less
Submitted 21 May, 2025;
originally announced May 2025.
-
Flip procedure in geometric approximation of multiple-component shapes -- Application to multiple-inclusion detection
Authors:
Pierre Bonnelie,
Loïc Bourdin,
Fabien Caubet,
Olivier Ruatta
Abstract:
We are interested in geometric approximation by parameterization of two-dimensional multiple-component shapes, in particular when the number of components is a priori unknown. Starting a standard method based on successive shape deformations with a one-component initial shape in order to approximate a multiple-component target shape usually leads the deformation flow to make the boundary evolve un…
▽ More
We are interested in geometric approximation by parameterization of two-dimensional multiple-component shapes, in particular when the number of components is a priori unknown. Starting a standard method based on successive shape deformations with a one-component initial shape in order to approximate a multiple-component target shape usually leads the deformation flow to make the boundary evolve until it surrounds all the components of the target shape. This classical phenomenon tends to create double points on the boundary of the approximated shape. In order to improve the approximation of multiple-component shapes (without any knowledge on the number of components in advance), we use in this paper a piecewise Bézier parameterization and we consider two procedures called intersecting control polygons detection and flip procedure. The first one allows to prevent potential collisions between two parts of the boundary of the approximated shape, and the second one permits to change its topology by dividing a one-component shape into a two-component shape. For an experimental purpose, we include these two processes in a basic geometrical shape optimization algorithm and test it on the classical inverse obstacle problem. This new approach allows to obtain a numerical approximation of the unknown inclusion, detecting both the topology (i.e. the number of connected components) and the shape of the obstacle. Several numerical simulations are performed.
△ Less
Submitted 7 March, 2018;
originally announced March 2018.
-
Over-constrained Weierstrass iteration and the nearest consistent system
Authors:
Olivier Ruatta,
Mark Sciabica,
Agnes Szanto
Abstract:
We propose a generalization of the Weierstrass iteration for over-constrained systems of equations and we prove that the proposed method is the Gauss-Newton iteration to find the nearest system which has at least $k$ common roots and which is obtained via a perturbation of prescribed structure. In the univariate case we show the connection of our method to the optimization problem formulated by Ka…
▽ More
We propose a generalization of the Weierstrass iteration for over-constrained systems of equations and we prove that the proposed method is the Gauss-Newton iteration to find the nearest system which has at least $k$ common roots and which is obtained via a perturbation of prescribed structure. In the univariate case we show the connection of our method to the optimization problem formulated by Karmarkar and Lakshman for the nearest GCD. In the multivariate case we generalize the expressions of Karmarkar and Lakshman, and give explicitly several iteration functions to compute the optimum.
The arithmetic complexity of the iterations is detailed.
△ Less
Submitted 20 January, 2014;
originally announced January 2014.
-
On the geometry and the deformation of shape represented by a piecewise continuous Bézier curve with application to shape optimization
Authors:
Olivier Ruatta
Abstract:
In this work, we develop a framework based on piecewize Bézier curves to plane shapes deformation and we apply it to shape optimization problems. We describe a general setting and some general result to reduce the study of a shape optimization problem to a finite dimensional problem of integration of a special type of vector field. We show a practical problem where this approach leads to efficient…
▽ More
In this work, we develop a framework based on piecewize Bézier curves to plane shapes deformation and we apply it to shape optimization problems. We describe a general setting and some general result to reduce the study of a shape optimization problem to a finite dimensional problem of integration of a special type of vector field. We show a practical problem where this approach leads to efficient algorithms.
△ Less
Submitted 18 February, 2013;
originally announced February 2013.
-
On the Computation of the Topology of a Non-Reduced Implicit Space Curve
Authors:
Daouda Niang Diatta,
Bernard Mourrain,
Olivier Ruatta
Abstract:
An algorithm is presented for the computation of the topology of a non-reduced space curve defined as the intersection of two implicit algebraic surfaces. It computes a Piecewise Linear Structure (PLS) isotopic to the original space curve. The algorithm is designed to provide the exact result for all inputs. It's a symbolic-numeric algorithm based on subresultant computation. Simple algebraic cr…
▽ More
An algorithm is presented for the computation of the topology of a non-reduced space curve defined as the intersection of two implicit algebraic surfaces. It computes a Piecewise Linear Structure (PLS) isotopic to the original space curve. The algorithm is designed to provide the exact result for all inputs. It's a symbolic-numeric algorithm based on subresultant computation. Simple algebraic criteria are given to certify the output of the algorithm. The algorithm uses only one projection of the non-reduced space curve augmented with adjacency information around some "particular points" of the space curve. The algorithm is implemented with the Mathemagix Computer Algebra System (CAS) using the SYNAPS library as a backend.
△ Less
Submitted 7 March, 2008;
originally announced March 2008.
