English
Related papers

Related papers: Semialgebraic decomposition of real binary forms o…

200 papers

We present an algorithm for computing a separating linear form of a system of bivariate polynomials with integer coefficients, that is a linear combination of the variables that takes different values when evaluated at distinct (complex)…

Symbolic Computation · Computer Science 2014-01-21 Yacine Bouzidi , Sylvain Lazard , Marc Pouget , Fabrice Rouillier

We study the decomposition of multivariate polynomials as sums of powers of linear forms. We give a randomized algorithm for the following problem: If a homogeneous polynomial $f \in K[x_1 , . . . , x_n]$ (where $K \subseteq \mathbb{C}$) of…

Computational Complexity · Computer Science 2021-10-12 Pascal Koiran , Subhayan Saha

The problem of writing a totally positive element as a sum of squares has a long history in mathematics, going back to Bachet and Lagrange. While for some specific rings (like integers or polynomials over the rationals), there are known…

Number Theory · Mathematics 2021-11-17 Przemysław Koprowski

In this thesis, a new class of algorithms based on Sums of Squares Programming is developed. These allow to reduce a degree-$d$ homogeneous polynomial $T = \sum_{i = 1}^m \langle a_i, X \rangle^d $ to a quadratic form being close to a…

Numerical Analysis · Mathematics 2018-12-14 Alexander Taveira Blomenhofer

The $K$-rank of a binary form $f$ in $K[x,y],~K\subseteq \mathbb{C},$ is the smallest number of $d$-th powers of linear forms over $K$ of which $f$ is a $K$-linear combination. We provide lower bounds for the $\mathbb{C}$-rank (Waring rank)…

Algebraic Geometry · Mathematics 2020-05-26 Neriman Tokcan

We consider the problem of decomposing a real-valued symmetric tensor as the sum of outer products of real-valued vectors. Algebraic methods exist for computing complex-valued decompositions of symmetric tensors, but here we focus on…

Numerical Analysis · Mathematics 2018-08-23 Tamara G. Kolda

Higher degree forms are homogeneous polynomials of degree $d > 2,$ or equivalently symmetric $d$-linear spaces. This paper is mainly concerned about the algebraic structure of the centers of higher degree forms with applications…

Rings and Algebras · Mathematics 2021-10-08 Hua-Lin Huang , Huajun Lu , Yu Ye , Chi Zhang

This paper studies the problem of decomposing a low-rank matrix into a factor with binary entries, either from $\{\pm 1\}$ or from $\{0,1\}$, and an unconstrained factor. The research answers fundamental questions about the existence and…

Data Structures and Algorithms · Computer Science 2019-08-01 Richard Kueng , Joel A. Tropp

The problem of decomposition of bilinear forms which satisfy a certain condition has been studied by many authors by example in \cite{H08}: Let $H$ and $K$ be Hilbert spaces and let $A,C \in B(H),B,D\in B(K)$. Assume that $u:H\times Karrow…

Functional Analysis · Mathematics 2014-11-04 Mohamed ElMursi

We determine the Waring ranks of all sextic binary forms with complex coefficients using a Geometric Invariant Theory approach. Using the five basic invariants for sextic binary forms, our results give a rapid method to determine the Waring…

Algebraic Geometry · Mathematics 2022-08-10 Alexandru Dimca , Gabriel Sticlaru

This paper studies the problem of decomposing a low-rank positive-semidefinite matrix into symmetric factors with binary entries, either $\{\pm 1\}$ or $\{0,1\}$. This research answers fundamental questions about the existence and…

Data Structures and Algorithms · Computer Science 2019-08-01 Richard Kueng , Joel A. Tropp

Let $R$ be a real closed field. We consider basic semi-algebraic sets defined by $n$-variate equations/inequalities of $s$ symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by $2d < n$. Such a…

Symbolic Computation · Computer Science 2018-06-22 Cordian Riener , Mohab Safey El Din

In this paper we study sums of powers of affine functions in (mostly) one variable. Although quite simple, this model is a generalization of two well-studied models: Waring decomposition and sparsest shift. For these three models there are…

Computational Complexity · Computer Science 2017-10-25 Ignacio Garcia-Marco , Pascal Koiran , Timothée Pecatte

Semialgebraic splines are functions that are piecewise polynomial with respect to a cell decomposition into sets defined by polynomial inequalities. We study bivariate semialgebraic splines, formulating spaces of semialgebraic splines in…

Commutative Algebra · Mathematics 2016-04-21 Michael DiPasquale , Frank Sottile , Lanyin Sun

This paper analyses a Waring type decomposition of a noncommuting (NC) polynomial $p$ with respect to the goal of evaluating $p$ efficiently on tuples of matrices. Such a decomposition can reduce the number of matrix multiplications needed…

Functional Analysis · Mathematics 2022-02-24 Eric Evert , J. William Helton , Shiyuan Huang , Jiawang Nie

We determine the Waring rank of the fundamental skew invariant of any complex reflection group whose highest degree is a regular number. This includes all irreducible real reflection groups.

Algebraic Geometry · Mathematics 2015-06-17 Zach Teitler , Alexander Woo

A semialgebraic bijection from the field of p-adic numbers to itself minus one point is constructed. Semialgebraic p-adic sets are classified up to semialgebraic bijection. A cell decomposition theorem for restricted analytic p-adic maps is…

Logic · Mathematics 2007-05-23 Raf Cluckers

We describe new algorithms to compute Whitney stratifications of real algebraic varieties. Using either conormal or polar techniques, these algorithms stratify a complexification of a given real variety. We then show that the resulting…

Algebraic Geometry · Mathematics 2025-09-03 Martin Helmer , Anton Leykin , Vidit Nanda

We give algorithms to compute decompositions of a given polynomial, or more generally mixed tensor, as sum of rank one tensors, and to establish whether such a decomposition is unique. In particular, we present methods to compute the…

Algebraic Geometry · Mathematics 2021-07-12 Antonio Laface , Alex Massarenti , Rick Rischter

We consider the problem of computing sample points in each connected component of a semi-algebraic set defined by the non-vanishing or the positivity of an n-variate polynomial of degree d, with rational coefficients of bit size bounded by…

Symbolic Computation · Computer Science 2026-05-27 Jérémy Berthomieu , Edern Gillot , Mohab Safey El Din