On the number of Sudoku squares

We provide an upper bound on the number of $n^2\times n^2$ Sudoku squares, and explain intuitively why there is reason to believe that the bound is tight up to a multiplicative factor of a much smaller order of magnitude. A similar bound is established for Sudoku squares with rectangular regions.     

Global analytic regularity for sums of squares of vector fields

We consider a class of operators in the form of a sum of squares of vector fields with real analytic coefficients on the torus and we show that the zero order term may influence their global analytic hypoellipticity. Also we extend a result of Cordaro-Himonas.

     

Some evaluation of harmonic number sums

In this paper, by using the method of partial fraction decomposition and integral representations of series, we establish some expressions of series involving harmonic numbers and binomial coefficients in terms of zeta values and harmonic numbers. Furthermore, we can obtain some closed form representations of sums of products of quadratic (or cubic) harmonic numbers and reciprocal binomial coefficients, and some explicit evaluations are given as applications. The given representations are new.     

Approximation of the joint spectral radius using sum of squares

We provide an asymptotically tight, computationally efficient approximation of the joint spectral radius of a set of matrices using sum of squares (SOS) programming. The approach is based on a search for an SOS polynomial that proves simultaneous contractibility of a finite set of matrices. We provide a bound on the quality of the approximation that unifies several earlier results and is independent of the number of matrices. Additionally, we present a comparison between our approximation scheme and earlier techniques, including the use of common quadratic Lyapunov functions and a method based on matrix liftings. Theoretical results and numerical investigations show that our approach yields tighter approximations.     

On sums and products of integers

Erdos and Szemerédi conjectured that if is a set of positive integers, then there must be at least integers that can be written as the sum or product of two elements of . Erdos and Szemerédi proved that this number must be at least for some and . In this paper it is proved that the result holds for .

     

On sums and products of integers

Erdös and Szemerédi proved that if is a set of positive integers, then there must be at least integers that can be written as the sum or product of two elements of , where is a constant and . Nathanson proved that the result holds for . In this paper it is proved that the result holds for and .

     

On the representation of integers as sums of an odd number of squares

In a recent work, S. Cooper (J. Number Theory 103:135–162, [1988]) conjectured a formula for r _2k+1(p ²), the number of ways p ² can be expressed as a sum of 2k+1 squares. Inspired by this conjecture, we obtain an explicit formula for r _2k+1(n ²),n≥1. Dedicated to Srinivasa Ramanujan.     

On the number of representations of certain integers as sums of 11 or 13 squares

Let r_k(n) denote the number of representations of an integer n as a sum of k squares. We prove that for odd primes p,

     

On sums of squares of k-nomials

In 2005, Boman et al. introduced the concept of factor width for a real symmetric positive semidefinite matrix. This is the smallest positive integer k for which the matrix A can be written as $A=V{V}^T$ with each column of V containing at most k non-zeros. The cones of matrices of bounded factor width give a hierarchy of inner approximations to the PSD cone. In the polynomial optimization context, a Gram matrix of a polynomial having factor width k corresponds to the polynomial being a sum of squares of polynomials of support at most k. Recently, Ahmadi and Majumdar [1], explored this connection for case $k=2$ and proposed to relax the reliance on polynomials that are sums of squares in semidefinite programming to polynomials that are sums of binomial squares In this paper, we prove some results on the geometry of the cones of matrices with bounded factor widths and their duals, and use them to derive new results on the limitations of certificates of nonnegativity of quadratic forms by sums of k-nomial squares using standard multipliers. In particular we show that they never help for symmetric quadratics, for any quadratic if $k=2$, and any quaternary quadratic if $k=3$. Furthermore we give some evidence that those are a complete list of such cases.     

Semidefinite bounds for the stability number of a graph via sums of squares of polynomials

Lovász and Schrijver (SIAM J. Optim. 1:166–190, 1991) have constructed semidefinite relaxations for the stable set polytope of a graph G = (V,E) by a sequence of lift-and-project operations; their procedure finds the stable set polytope in at most α(G) steps, where α(G) is the stability number of G. Two other hierarchies of semidefinite bounds for the stability number have been proposed by Lasserre (SIAM J. Optim. 11:796–817, 2001; Lecture Notes in Computer Science, Springer, Berlin Heidelberg New York, pp 293–303, 2001) and by de Klerk and Pasechnik (SIAM J. Optim. 12:875–892), which are based on relaxing nonnegativity of a polynomial by requiring the existence of a sum of squares decomposition. The hierarchy of Lasserre is known to converge in α(G) steps as it refines the hierarchy of Lovász and Schrijver, and de Klerk and Pasechnik conjecture that their hierarchy also finds the stability number after α(G) steps. We prove this conjecture for graphs with stability number at most 8 and we show that the hierarchy of Lasserre refines the hierarchy of de Klerk and Pasechnik.      

On a conjecture for representations of integers as sums of squares and double shuffle relations

In this paper, we prove a conjecture of Chan and Chua for the number of representations of integers as sums of $8s$ integral squares. The proof uses a theorem of Imamo?lu and Kohnen, and the double shuffle relations satisfied by the double Eisenstein series of level 2.     

Nonnegative functions as squares or sums of squares

We prove that, for n?4, there are C^∞ nonnegative functions f of n variables (and even flat ones for n?5) which are not a finite sum of squares of C² functions. For n=1, where a decomposition in a sum of two squares is always possible, we investigate the possibility of writing f=g². We prove that, in general, one cannot require a better regularity than g∈C¹. Assuming that f vanishes at all its local minima, we prove that it is possible to get g∈C² but that one cannot require any additional regularity.     

Regressions for sums of squares of spacings

Starting with a new formula for the regression of sum of squares of spacings (SSS) with respect to the maximum we present a characterization of a family of beta type mixtures in terms of the constancy of regression of normalized SSS of order statistics. Related characterization for records describes a family of minima of independent Weibull distributions.     

Non-existence of degree bounds for weighted sums of squares representations

Given a fixed family of polynomials , we study the problem of representing polynomials in the form

(*)

f=s₀+s₁h₁++s_rh_r