Related papers: Expressing Forms as a sum of Pfaffians
For each integer k >= 2, let F(k) denote the largest n for which there exists a permutation \sigma \in S_n, all of whose patterns of length k are distinct. We prove that F(k) = k + \lfloor \sqrt{2k-3} \rfloor + e_k, where e_k \in {-1,0} for…
Let $f$ be a normalized Hecke eigenform with rational integer Fourier coefficients. It is an interesting question to know how often an integer $n$ has a factor common with the $n$-th Fourier coefficient of $f$. The second author…
Let $F: C^n \rightarrow C^m$ be a polynomial map with $degF=d \geq 2$. We prove that $F$ is invertible if $m = n$ and $\sum^{d-1}_{i=1} JF(\alpha_i)$ is invertible for all $i$, which is trivially the case for invertible quadratic maps. More…
Let F be an algebraically closed field of characteristic different from 2. We show that every nonsingular skew-symmetric n by n matrix X over F is orthogonally similar to a bidiagonal skew-symmetric matrix. In the singular case one has to…
For an even integer $k\geq 2$, let $f$ be a primitive holomorphic cusp form of weight $k$ for the full modular group $SL(2,\mathbb{Z})$ and let $\lambda_{{\rm{sym}}^jf}(n)$ denote the $n^\text{th}$ normalized Fourier coefficient of the…
The enumeration of diagonally symmetric alternating sign matrices (DSASMs) is studied, and a Pfaffian formula is obtained for the number of DSASMs of any fixed size, where the entries for the Pfaffian are positive integers given by simple…
Let $H_k$ be the set of all normalized primitive holomorphic cusp forms of even integral weight $k\geq 2$ for the full modular group $SL(2, \mathbb{Z})$, and let $j\geq 3$ be any fixed integer. For $f\in H_k$, we write $\lambda_{{\rm{sym}^j…
It is established that for every pair of additive forms $f=\sum_{i=1}^s a_i x_i^k, g=\sum_{i=1}^s b_i x_i^k$ of degree $k$ in $s>2k^2$ variables the equations $f=g=0$ have a non-trivial $p$-adic solution for all odd primes $p$.
Let $f$ be a Hecke-Maass cusp form for $\rm SL_2(\mathbb{Z})$ with Laplace eigenvalue $\lambda_f(\Delta)=1/4+\mu^2$ and let $\lambda_f(n)$ be its $n$-th normalized Fourier coefficient. It is proved that, uniformly in $\alpha, \beta \in…
Let R be a commutative ring with 1. We prove that every homogeneous polynomial f(x_0,x_1,x_2) in R[x_0,x_1,x_2] up to degree 5 admits a linear Pfaffian R-representation. We believe that conceptually we give the shortest self-contained proof…
Let $A_f(1,n)$ be the normalized Fourier coefficients of a Hecke-Maass cusp form $f$ for $SL_3(\mathbb{Z})$ and $$ r_3(n)=\#\left\{(n_1,n_2,n_3)\in \mathbb{Z}^3:n_1^2+n_2^2+n_3^2=n\right\}. $$ Let $1\leq h\leq X$ and $\phi(x)$ be a smooth…
Let $A = [a_{i j}]_{i,j=1}^n$ be a nonnegative matrix with $a_{1 1} = 0$. We prove some lower bounds for the spread $s(A)$ of $A$ that is defined as the maximum distance between any two eigenvalues of $A$. If $A$ has only two distinct…
The following theorem is proved: Suppose $M = (a_{i,j})$ be a $k \times k$ matrix with positive entries and $a_{i,j}a_{i+1,j+1} > 4\cos ^2 \frac{\pi}{k+1} a_{i,j+1}a_{i+1,j} \quad (1 \leq i \leq k-1, 1 \leq j \leq k-1).$ Then $\det M > 0 .$…
It is known that any symmetric matrix $M$ with entries in $\R[x]$ and which is positive semi-definite for any substitution of $x\in\R$, has a Smith normal form whose diagonal coefficients are constant sign polynomials in $\R[x]$. We…
Given a positive noncommutative polynomial $f$, equivalently a sum of Hermitian squares (SOHS), there exists a positive semidefinite Gram matrix that encrypts all the structural essence of $f$. There are no available methods for extending a…
In this paper, we investigate the conditions under which a diagonal quadratic form $\sum_{i=1}^{m}a_i X_i^2$ represents every $n \times n$ integral matrix, where $a_i$ ($1 \leq i \leq m$) are integers. For $n=2$, we give a necessary and…
We define an abelian group homomorphism $\mathscr{F}$, which we call the Frobenius transform, from the ring of symmetric functions to the ring of the symmetric power series. The matrix entries of $\mathscr{F}$ in the Schur basis are the…
We give a short and elementary proof of a theorem of Procesi, Schacher and (independently) Gondard, Ribenboim that generalizes a famous result of Artin. Let $A$ be an $n \times n$ symmetric matrix with entries in the polynomial ring…
Let ${\mathbb{F}_{q}}$ be the finite field of order $q$. Let $G$ be one of the three groups ${\rm GL}(n, \mathbb{F}_q)$, ${\rm SL}(n, \mathbb{F}_q)$ or ${\rm U}(n, \mathbb{F}_q)$ and let $W$ be the standard $n$-dimensional representation of…
In this paper, we generalize D. H. Lehmer's result to give a sufficient condition for level one cusp forms $f$ with integral Fourier coefficients such that the smallest $n$ for which the coefficients $a_n(f)=0$ must be a prime. Then we…