Related papers: Sums of squares II: matrix functions

Error: Peer-review process exposed an error in Theorem 1 that, unfourtunately, is not repairable. Idempotent semigroups are always finite. See Green and Rees [1952], Siekmann and Szab\'o [1981] for details Anti-unification is a fundamental…

We define a series $\mathcal{F}_{M,N}$ as a certain generalization of $q$-hypergeometric function. We study its duality and the system of $q$-difference nonlinear equations which admits particular solutions in terms of $\mathcal{F}_{1,M}$.

In this paper we define infinite-dimensional algebra and its representation, whose basis is naturally identified with semi-infinite configurations of the square ladder model. We also extrapolate the ideas for the cyclic 3-leg triangular…

We classify all totally real number fields of degree at most 5 that admit a universal quadratic form with rational integer coefficients; in fact, there are none over the previously unsolved cases of quartic and quintic fields. This fully…

These notes are devoted to the theory of exponential sums over finite fields. The first chapter recalls some of the number-theoretic interest of such sums. The second chapter discusses the $L$-functions attached to such sums, the "Weil…

We derive a new bound for some bilinear sums over points of an elliptic curve over a finite field. We use this bound to improve a series of previous results on various exponential sums and some arithmetic problems involving points on…

We study sums of the shape $\sum_{n \leqslant x} f \left( \lfloor x/n \rfloor \right)$ where $f$ is either the von Mangoldt function or the Dirichlet-Piltz divisor functions. We improve previous estimates when $f = \Lambda$ and $f = \tau$,…

We provide an example of a nonnegative $k$-regulous function on $\mathbb{R}^n$ for $k\geq 1$ and $n \geq 2$ which cannot be written as a sum of squares of $k$-regulous functions. We then obtain lower bounds for Pythagoras numbers…

For a bivariate $P(x,y) \in \mathbb{R}[x,y]\setminus (\mathbb{R}[x] \cup \mathbb{R}[y])$, our first result shows that for all finite $A \subseteq \mathbb{R}$, $|P(A,A)|\geq \alpha|A|^{5/4}$ with $\alpha =\alpha(\mathrm{deg} P) \in…

There are many instances known when the Fourier coefficients of modular forms are congruent to partial sums of hypergeometric series. In our previous work arXiv:1803.01830, such partial sums are related to the radial asymptotics of infinite…

The recurrence matrix relations, differentiation formulas, and analytical and fractional integral properties of incomplete gamma matrix functions $\gamma(Q, x)$ and $\Gamma(Q, x)$ are all covered in this article. The generalized incomplete…

Results are presented for some infinite series appearing in Feynman diagram calculations, many of which are similar to the Euler series. These include both one-, two- and three-dimensional series. The sums of these series can be evaluated…

The summatory function of $t_j(n^2)$ is estimated, where $H_j(s) = \sum_{n=1}^\infty t_j(n)n^{-s}$ is the Hecke series of a non-holomorphic cusp form. The analogous problem of holomorphic cusp forms is also treated.

It is known that every complex square matrix with nonnegative determinant is the product of positive semi-definite matrices. There are characterizations of matrices that require two or five positive semi-definite matrices in the product.…

Let $F(X_1,X_2)\in\mathbb{Z}[X_1,X_2] $ be an irreducible binary form of degree $3$ and $h$ an arithmetic function. We give some estimates for the average order $\sum_{\substack{|n_1|\leq x,|n_2|\leq x}}h(F(n_1,n_2))$ when $h$ satisfy…

This paper studies sum-of-squares (SOS) representations for structured biquadratic forms. We prove that diagonally dominated symmetric biquadratic tensors are always SOS. For the special case of symmetric biquadratic forms, we establish…

Necessary and sufficient conditions are obtained under which the numerator of the partial derivative of a rational function holomorphic in open upper poly-halfplane is the sum of squares of polynomials.

We formulate N-fold supersymmetry in quantum mechanical matrix models. As an example, we construct general two-by-two Hermitian matrix 2-fold supersymmetric quantum mechanical systems. We find that there are two inequivalent such systems,…

In [arXiv:2107.01437], the authors studied the mean-square of certain sums of the divisor function $d_k(f)$ over the function field $\mathbb{F}_q[T]$ in the limit as $q \to \infty$ and related these sums to integrals over the ensemble of…

We derive and prove an explicit formula for the sum of the fractional parts of certain geometric series. Although the proof is straightforward, we have been unable to locate any reference to this result. This summation formula allows us to…