-
Reaching sub-milimag photometric precision on Beta Pictoris with a nanosat: the PicSat mission
Authors:
M. Nowak,
S. Lacour,
V. Lapeyrère,
L. David,
A. Crouzier,
C. Dufoing,
H. Faiz,
T. Lemoult,
P. Trebuchet
Abstract:
PicSat is a nanosatellite currently being developed to observe the transit of the giant planet \b{eta} Pictoris, expected some time between July 2017 and June 2018. The mission is based on a Cubesat architecture, with a small but ambitious 2 kg opto-mechanical payload specifically designed for high precision photometry. The satellite will be launched in early 2017, probably on a 600 km Sun synchro…
▽ More
PicSat is a nanosatellite currently being developed to observe the transit of the giant planet \b{eta} Pictoris, expected some time between July 2017 and June 2018. The mission is based on a Cubesat architecture, with a small but ambitious 2 kg opto-mechanical payload specifically designed for high precision photometry. The satellite will be launched in early 2017, probably on a 600 km Sun synchronous orbit. The main objective of the mission is the constant monitoring of the brightness of Pic at an unprecedented combination of reliability and precision (200 ppm per hour, with interruptions of at most 30 minutes) to finely characterize the transiting exoplanet and detect exocomets in the Pictoris system. To achieve this difficult objective, the payload is designed with a 3.5 cm effective aperture telescope which injects the light in a single-mode optical fiber linked to an avalanche photodioode. A two-axis piezoelectric actuation system, driven by a tailor-made feedback loop control algorithm, is used to lock the fiber on the center of the star in the focal plane. These actuators complement the attitude determination and control system of the satellite to maintain the sub-arcsecond pointing accuracy required to reach the excellent level of photometric precision. Overall, the mission raises multiple very difficult challenges: high temperature stability of the avalanche detector (achieved with a thermoelectric colling device), high pointing accuracy and stability, and short timeframe for the development.
△ Less
Submitted 25 October, 2016;
originally announced October 2016.
-
Toric Border Bases
Authors:
Bernard Mourrain,
Philippe Trebuchet
Abstract:
We extend the theory and the algorithms of Border Bases to systems of Laurent polynomial equations, defining "toric" roots. Instead of introducing new variables and new relations to saturate by the variable inverses, we propose a more efficient approach which works directly with the variables and their inverse. We show that the commutation relations and the inversion relations characterize toric b…
▽ More
We extend the theory and the algorithms of Border Bases to systems of Laurent polynomial equations, defining "toric" roots. Instead of introducing new variables and new relations to saturate by the variable inverses, we propose a more efficient approach which works directly with the variables and their inverse. We show that the commutation relations and the inversion relations characterize toric border bases. We explicitly describe the first syzygy module associated to a toric border basis in terms of these relations. Finally, a new border basis algorithm for Laurent polynomials is described and a proof of its termination is given for zero-dimensional toric ideals.
△ Less
Submitted 4 June, 2014;
originally announced June 2014.
-
Unconstraint global polynomial optimization via Gradient Ideal
Authors:
Marta Abril Bucero,
Bernard Mourrain,
Philippe Trebuchet
Abstract:
In this paper, we describe a new method to compute the minimum of a real polynomial function and the ideal defining the points which minimize this polynomial function, assuming that the minimizer ideal is zero-dimensional. Our method is a generalization of Lasserre relaxation method and stops in a finite number of steps. The proposed algorithm combines Border Basis, Moment Matrices and Semidefinit…
▽ More
In this paper, we describe a new method to compute the minimum of a real polynomial function and the ideal defining the points which minimize this polynomial function, assuming that the minimizer ideal is zero-dimensional. Our method is a generalization of Lasserre relaxation method and stops in a finite number of steps. The proposed algorithm combines Border Basis, Moment Matrices and Semidefinite Programming. In the case where the minimum is reached at a finite number of points, it provides a border basis of the minimizer ideal.
△ Less
Submitted 21 March, 2013; v1 submitted 22 January, 2013;
originally announced January 2013.
-
Moment Matrices, Border Bases and Real Radical Computation
Authors:
Jean-Bernard Lasserre,
Monique Laurent,
Bernard Mourrain,
Philipp Rostalski,
Philippe Trébuchet
Abstract:
In this paper, we describe new methods to compute the radical (resp. real radical) of an ideal, assuming it complex (resp. real) variety is finite. The aim is to combine approaches for solving a system of polynomial equations with dual methods which involve moment matrices and semi-definite programming. While the border basis algorithms of [17] are efficient and numerically stable for computing co…
▽ More
In this paper, we describe new methods to compute the radical (resp. real radical) of an ideal, assuming it complex (resp. real) variety is finite. The aim is to combine approaches for solving a system of polynomial equations with dual methods which involve moment matrices and semi-definite programming. While the border basis algorithms of [17] are efficient and numerically stable for computing complex roots, algorithms based on moment matrices [12] allow the incorporation of additional polynomials, e.g., to re- strict the computation to real roots or to eliminate multiple solutions. The proposed algorithm can be used to compute a border basis of the input ideal and, as opposed to other approaches, it can also compute the quotient structure of the (real) radical ideal directly, i.e., without prior algebraic techniques such as Gröbner bases. It thus combines the strength of existing algorithms and provides a unified treatment for the computation of border bases for the ideal, the radical ideal and the real radical ideal.
△ Less
Submitted 14 December, 2011;
originally announced December 2011.
-
Stable normal forms for polynomial system solving
Authors:
Bernard Mourrain,
Philippe Trébuchet
Abstract:
This paper describes and analyzes a method for computing border bases of a zero-dimensional ideal $I$. The criterion used in the computation involves specific commutation polynomials and leads to an algorithm and an implementation extending the one provided in [MT'05]. This general border basis algorithm weakens the monomial ordering requirement for \grob bases computations. It is up to date the…
▽ More
This paper describes and analyzes a method for computing border bases of a zero-dimensional ideal $I$. The criterion used in the computation involves specific commutation polynomials and leads to an algorithm and an implementation extending the one provided in [MT'05]. This general border basis algorithm weakens the monomial ordering requirement for \grob bases computations. It is up to date the most general setting for representing quotient algebras, embedding into a single formalism Gröbner bases, Macaulay bases and new representation that do not fit into the previous categories. With this formalism we show how the syzygies of the border basis are generated by commutation relations. We also show that our construction of normal form is stable under small perturbations of the ideal, if the number of solutions remains constant. This new feature for a symbolic algorithm has a huge impact on the practical efficiency as it is illustrated by the experiments on classical benchmark polynomial systems, at the end of the paper.
△ Less
Submitted 29 November, 2008;
originally announced December 2008.
-
Strong bi-homogeneous Bézout theorem and its use in effective real algebraic geometry
Authors:
Mohab Safey El Din,
Philippe Trebuchet
Abstract:
Let f1, ..., fs be a polynomial family in Q[X1,..., Xn] (with s less than n) of degree bounded by D. Suppose that f1, ..., fs generates a radical ideal, and defines a smooth algebraic variety V. Consider a projection P. We prove that the degree of the critical locus of P restricted to V is bounded by D^s(D-1)^(n-s) times binomial of n and n-s. This result is obtained in two steps. First the crit…
▽ More
Let f1, ..., fs be a polynomial family in Q[X1,..., Xn] (with s less than n) of degree bounded by D. Suppose that f1, ..., fs generates a radical ideal, and defines a smooth algebraic variety V. Consider a projection P. We prove that the degree of the critical locus of P restricted to V is bounded by D^s(D-1)^(n-s) times binomial of n and n-s. This result is obtained in two steps. First the critical points of P restricted to V are characterized as projections of the solutions of Lagrange's system for which a bi-homogeneous structure is exhibited. Secondly we prove a bi-homogeneous Bézout Theorem, which bounds the sum of the degrees of the equidimensional components of the radical of an ideal generated by a bi-homogeneous polynomial family. This result is improved when f1,..., fs is a regular sequence. Moreover, we use Lagrange's system to design an algorithm computing at least one point in each connected component of a smooth real algebraic set. This algorithm generalizes, to the non equidimensional case, the one of Safey El Din and Schost. The evaluation of the output size of this algorithm gives new upper bounds on the first Betti number of a smooth real algebraic set. Finally, we estimate its arithmetic complexity and prove that in the worst cases it is polynomial in n, s, D^s(D-1)^(n-s) and the binomial of n and n-s, and the complexity of evaluation of f1,..., fs.
△ Less
Submitted 20 October, 2006; v1 submitted 10 October, 2006;
originally announced October 2006.
