Related papers: On the generalized sum of squared logarithms inequ…

Let f(z) = sum_n a(n) n^{(k-1)/2} e(nz) be a cusp form for Gamma_0(N), character chi and weight k geq 4. Let q(x) = x^2 + sx + t be a polynomial with integral coefficients. It is shown that sum_{n \leq X} a(q(n)) = cX + O(X^{6/7+eps}) for…

For univalent and normalized functions $f$ the logarithmic coefficients $\gamma_n(f)$ are determined by the formula $\log(f(z)/z)=\sum_{n=1}^{\infty}2\gamma_n(f)z^n$. In the paper \cite{Pon} the authors posed the conjecture that a locally…

Let $(P_n(x;z;\lambda))_{n\geq 0}$ be the sequence of monic orthogonal polynomials with respect to the symmetric linear functional $\mathbf{s}$ defined by $$\langle\mathbf{s},p\rangle=\int_{-1}^1 p(x)(1-x^2)^{(\lambda-1/2)}…

In this paper, we establish Newton-Maclaurin type inequalities for functions arising from linear combinations of primitively symmetric polynomials. This generalization extends the classical Newton-Maclaurin inequality to a broader class of…

An extension of the theory of the Iterated Logarithmic Algebra gives the logarithmic analog of a Sheffer or Appell sequence of polynomials. This leads to several examples including Stirling's formula and a logarithmic version of the…

Logarithmic Sobolev inequalities are a fundamental class of inequalities that play an important role in information theory. They play a key role in establishing concentration inequalities and in obtaining quantitative estimates on the…

Let $sym^{2} f$ denote the symmetric square lift of a Hecke eigenform $f \in S_{k}(\Gamma_{0}(N))$ with the $n^{\rm th}$-Fourier coefficients $ \lambda_{sym^{2}f}(n)$. In this article, we prove an estimate for the first moment of the…

We study how well functions over the boolean hypercube of the form $f_k(x)=(|x|-k)(|x|-k-1)$ can be approximated by sums of squares of low-degree polynomials, obtaining good bounds for the case of approximation in $\ell_{\infty}$-norm as…

For each pair (k,r) of positive integers with r>1, we consider an ideal I^(k,r)_n of the ring of symmetric polynomials in n variables. The ideal I_n^(k,r) has a basis consisting of Macdonald polynomials P(x_1,...,x_n;q,t) at…

For supersymmetric gauge theories a consistent regularization scheme that preserves supersymmetry and gauge invariance is not known. In this article we tackle this problem for supersymmetric QED within the framework of algebraic…

In the process of proving a sharpened form of G\r{a}rding's inequality, Fefferman & Phong demonstrated that every non-negative function $f\in C^{3,1}(\mathbb{R}^n)$ can be written as a finite sum of squares of functions in…

A natural question about Dedekind sums is to find conditions on the integers $a_1, a_2$, and $b$ such that $s(a_1,b) = s(a_2, b)$. We prove that if the former equality holds then $ b \ | \ (a_1a_2-1)(a_1-a_2)$. Surprisingly, to the best of…

Let $\mathrm{R}$ be a real closed field and $\mathrm{D} \subset \mathrm{R}$ an ordered domain. We consider the algorithmic problem of computing the generalized Euler-Poincar\'e characteristic of real algebraic as well as semi-algebraic…

We establish a lower bound for the frequency with which an irreducible monic cubic polynomial with negative discriminant can be expressed as a sum of two squares ($\square_{2}$). This provides a quantitative answer to a question posed by…

We prove inequalities on non-integer powers of products of generalized matrices functions on the sum of positive semi-definite matrices. For example, for any real number $r \in \{1\} \cup [2, \infty)$, positive semi-definite matrices $A_i,\…

We study the extent of independence needed to approximate the product of bounded random variables in expectation, a natural question that has applications in pseudorandomness and min-wise independent hashing. For random variables whose…

We prove the inequality sum_{k=1}^infty (-1)^{k+1} r^k cos(k*phi) (k+2)^{-1} < sum_{k=1}^infty(-1)^{k+1} r^k (k+2)^{-1} for 0 < r <= 1 and 0 < phi < pi. For the case r = 1 we give two proofs. The first one is by means of a general numerical…

Fix non-zero reals $\alpha_1,\ldots,\alpha_n$ with $n\ge 2$ and let $K$ be a non-empty open connected set in a topological vector space such that $\sum_{i\le n}\alpha_iK\subseteq K$ (which holds, in particular, if $K$ is an open convex cone…

We show that any differential operator of the form $L(y)=\sum_{k=0}^{k=N} a_{k}(x) y^{(k)}$, where $a_k$ is a real polynomial of degree $\leq k$, has all real eigenvalues in the space of polynomials of degree at most n, for all n. The…

We prove new exact formulas for the generalized sum-of-divisors functions, $\sigma_{\alpha}(x) := \sum_{d|x} d^{\alpha}$. The formulas for $\sigma_{\alpha}(x)$ when $\alpha \in \mathbb{C}$ is fixed and $x \geq 1$ involves a finite sum over…