scholarly journals Sums of squares in quaternion rings

2017 ◽  
Vol 10 (4) ◽  
pp. 651-664 ◽  
Author(s):  
Anna Cooke ◽  
Spencer Hamblen ◽  
Sam Whitfield
Keyword(s):  
Sums Of Squares ◽  
Quaternion Rings

scholarly journals Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares

2021 ◽  
Vol 107 ◽  
pp. 67-105
Author(s):  
Elisabeth Gaar ◽  
Daniel Krenn ◽  
Susan Margulies ◽  
Angelika Wiegele
Keyword(s):  
Semidefinite Programming ◽  
Sums Of Squares

scholarly journals Optimization Over the Boolean Hypercube Via Sums of Nonnegative Circuit Polynomials

2021 ◽  
Author(s):  
Mareike Dressler ◽  
Adam Kurpisz ◽  
Timo de Wolff
Keyword(s):  
Computer Science ◽  
Affine Transformation ◽  
Optimization Problems ◽  
Polynomial Optimization ◽  
Theoretical Computer Science ◽  
Sums Of Squares ◽  
Theoretical Computer ◽  
Complexity Bounds ◽  
Polynomial Optimization Problems ◽  
Transformation Of Variables

AbstractVarious key problems from theoretical computer science can be expressed as polynomial optimization problems over the boolean hypercube. One particularly successful way to prove complexity bounds for these types of problems is based on sums of squares (SOS) as nonnegativity certificates. In this article, we initiate optimization problems over the boolean hypercube via a recent, alternative certificate called sums of nonnegative circuit polynomials (SONC). We show that key results for SOS-based certificates remain valid: First, for polynomials, which are nonnegative over the n-variate boolean hypercube with constraints of degree d there exists a SONC certificate of degree at most $$n+d$$ n + d . Second, if there exists a degree d SONC certificate for nonnegativity of a polynomial over the boolean hypercube, then there also exists a short degree d SONC certificate that includes at most $$n^{O(d)}$$ n O ( d ) nonnegative circuit polynomials. Moreover, we prove that, in opposite to SOS, the SONC cone is not closed under taking affine transformation of variables and that for SONC there does not exist an equivalent to Putinar’s Positivstellensatz for SOS. We discuss these results from both the algebraic and the optimization perspective.

On the Structure of Quaternion Rings Over $${\mathbb{Z}/n\mathbb{Z}}$$ Z / n Z

2015 ◽  
Vol 25 (4) ◽  
pp. 875-887 ◽  
Author(s):  
José María Grau ◽  
Celino Miguel ◽  
Antonio M. Oller-Marcén
Keyword(s):  
Quaternion Rings

scholarly journals The parametric restrictions of the Gardner and Eberhart diallel analysis model: heterosis analysis

2000 ◽  
Vol 23 (4) ◽  
pp. 869-875 ◽  
Author(s):  
José Marcelo Soriano Viana
Keyword(s):  
Statistical Models ◽  
Combining Ability ◽  
Genetic Parameter ◽  
Diallel Analysis ◽  
Sums Of Squares ◽  
Analysis Model ◽  
Model Method ◽  
Combining Ability Analysis ◽  
Definition Of ◽  
Parameter Values

It was studied the parametric restrictions of the diallel analysis model of Griffing, method 2 (parents and F1 generations) and model 1 (fixed), in order to address the questions: i) does the statistical model need to be restricted? ii) do the restrictions satisfy the genetic parameter values? and iii) do they make the analysis and interpretation easier? Objectively, these questions can be answered as: i) yes, ii) not all of them, and iii) the analysis is easier, but the interpretation is the same as in the model with restrictions that satisfy the parameter values. The main conclusions were that: the statistical models for combining ability analysis are necessarily restricted; in the Griffing model (method 2, model 1), the restrictions relative to the specific combining ability (SCA) effects, <img src="http:/img/fbpe/gmb/v23n4/6246s1.gif" align="absmiddle"> and <img src="http:/img/fbpe/gmb/v23n4/6246s2.gif" align="absmiddle"> for all j, do not satisfy the parametric values, and the same inferences should be established from the analyses using the model with restrictions that satisfy the parametric values of SCA effects and that suggested by Griffing. A consequence of the restrictions of the Griffing model is to allow the definition of formulas for estimating the effects, their variances and the variances of contrasts of effects, as well as for calculating orthogonal sums of squares.

scholarly journals On the number of primitive representations of integers as sums of squares

2007 ◽  
Vol 13 (1-3) ◽  
pp. 7-25 ◽  
Author(s):  
Shaun Cooper ◽  
Michael Hirschhorn
Keyword(s):  
Sums Of Squares ◽  
Representations Of Integers
Sign in / Sign up

Export Citation Format

Share Document