The arithmetic mean/geometric mean-inequality (AM/GM-inequality) facilitates classes of non-negativity certificates and of relaxation techniques for polynomials and, more generally, for exponential sums. Here, we present a first systematic study of the AM/GM-based techniques in the presence of symmetries under the linear action of a finite group. We prove a symmetry-adapted representation theorem and develop techniques to reduce the size of the resulting relative entropy programs. We study in more detail the complexity gain in the case of the symmetric group. In this setup, we can show in particular certain stabilization results. We exhibit several sequences of examples in growing dimensions where the size of the problem stabilizes. Finally...
18 pagesSymmetries occur naturally in CSP or SAT problems and are not very difficult to discover, bu...
International audienceWe consider integer linear programs whose solutions are binary matrices and wh...
Much of the literature on symmetry reductions for model checking assumes a simple model of computati...
The arithmetic mean/geometric mean inequality (AM/GM inequality) facilitates classes of nonnegativit...
We address the problem of symmetry reduction of optimal control problems under the action of a finit...
Integer optimization is in the class of NP-hard problems, and it is very time and memory intensive t...
The sum of squares (SoS) hierarchy gives an automatized technique to create a family of increasingly...
International audienceOne important issue of automated theorem proving is the complexity of the infe...
This dissertation develops the theory of symmetry for constrained linear systems. We use symmetry to...
We present a general framework to exploit the symmetries present in the Navascu{\'e}s-Pironio-Ac{\'i...
This paper deals with exploiting symmetry for solving linear and integer programming problems. Basic...
AbstractWe investigate the representation of multivariate symmetric polynomials as sum of squares, a...
Symmetries in constraint satisfaction or combinatorial optimization problems can cause considerable...
International audience— We present a method of exploiting symmetries of discrete-time optimal contro...
AbstractMuch of the literature on symmetry reductions for model checking assumes a simple model of c...
18 pagesSymmetries occur naturally in CSP or SAT problems and are not very difficult to discover, bu...
International audienceWe consider integer linear programs whose solutions are binary matrices and wh...
Much of the literature on symmetry reductions for model checking assumes a simple model of computati...
The arithmetic mean/geometric mean inequality (AM/GM inequality) facilitates classes of nonnegativit...
We address the problem of symmetry reduction of optimal control problems under the action of a finit...
Integer optimization is in the class of NP-hard problems, and it is very time and memory intensive t...
The sum of squares (SoS) hierarchy gives an automatized technique to create a family of increasingly...
International audienceOne important issue of automated theorem proving is the complexity of the infe...
This dissertation develops the theory of symmetry for constrained linear systems. We use symmetry to...
We present a general framework to exploit the symmetries present in the Navascu{\'e}s-Pironio-Ac{\'i...
This paper deals with exploiting symmetry for solving linear and integer programming problems. Basic...
AbstractWe investigate the representation of multivariate symmetric polynomials as sum of squares, a...
Symmetries in constraint satisfaction or combinatorial optimization problems can cause considerable...
International audience— We present a method of exploiting symmetries of discrete-time optimal contro...
AbstractMuch of the literature on symmetry reductions for model checking assumes a simple model of c...
18 pagesSymmetries occur naturally in CSP or SAT problems and are not very difficult to discover, bu...
International audienceWe consider integer linear programs whose solutions are binary matrices and wh...
Much of the literature on symmetry reductions for model checking assumes a simple model of computati...