Related papers: Roth's theorem in Z_4^n

We prove that |A^n| > c_n |A|^{[\frac{n+1}{2}]} for any finite subset A of a free group if A contains at least two noncommuting elements, where c_n>0 are constants not depending on A. Simple examples show that the order of these estimates…

We classify three fold isolated quotient Gorenstein singularity $C^3/G$. These singularities are rigid, i.e. there is no non-trivial deformation, and we conjecture that they define 4d $\mathcal{N}=2$ SCFTs which do not have a Coulomb…

Let $G$ be a real algebraic group defined over $\mathbb{Q}$, $\Gamma$ be an arithmetic subgroup of $G$, and $T$ be a maximal $\mathbb{R}$-split torus. A trajectory in $G/\Gamma$ is divergent if eventually it leaves every compact subset. In…

Let $n>3$ be a natural number. By a 1975 result of H. Strietz, the lattice Part$(n)$ of all partitions of an $n$-element set has a four-element generating set. In 1983, L. Z\'adori gave a new proof of this fact with a particularly elegant…

We improve a result of Solymosi on sum-products in R, namely, we prove that max{|A+A|,|AA|}\gg |A|^{4/3+c}, where c>0 is an absolute constant. New lower bounds for sums of sets with small product set are found. Previous results are improved…

We show that any subset of $\mathbb{Z}_p^n$ ($p$ an odd prime) without $3$-term arithmetic progression has size $O(p^{cn})$, where $c:=1-\frac{1}{18\log p}<1$. In particular, we find an upper bound of $O(2.84^n)$ on the maximum size of an…

The Bohr theorem states that any function $f(z) = \sum_{n=0}^{\infty} a_{n} z^{n}$, analytic and bounded in the open unit disk, obeys the inequality $\sum_{n=0}^{\infty} |a_{n}| |z|^{n} < 1$ in the open disk of radius 1/3, the so-called…

Let $\Z/pZ$ be the finite field of prime order $p$ and $A$ be a subsequence of $\Z/pZ$. We prove several classification results about the following questions: (1) When can one represent zero as a sum of some elements of $A$ ? (2) When can…

Recently, Voros has found the sums involving certain powers of z-1/2, which, when taken over Riemann xi-function zeroes /rho, must be positive for the Riemann hypothesis holds true and vice versa. Here we analyze these sums, write them as…

Motohashi established an explicit identity between the fourth moment of the Riemann zeta function weighted by some test function and a spectral cubic moment of automorphic L-functions. By an entirely different method, we prove a…

Lagrange's four squares theorem is a classical theorem in number theory. Recently, Z.-W. Sun found that it can be further refined in various ways. In this paper we study some conjectures of Sun and obtain various refinements of Lagrange's…

Let $\mathrm{Diff}_{\partial}(D^{n})$ be the topological group of diffeomorphisms of $D^{n}$ which agree with the identity near the boundary. In this short note, we compute the fundamental groups $\pi_1 \mathrm{Diff}_{\partial}(D^{4k})$ for…

Let A and B be subsets of Z/pZ such that |A+B| < |A|+|B|+2. We prove that, if |A|>3, |B|>4, |A+B|<p-4 and p > 52, then A and B are included in arithmetic progressions with the same difference and of size |A|+2 and |B|+2 respectively. This…

We improve the lower bound on the number of permutations of {1,2,...,n} in which no 3-term arithmetic progression occurs as a subsequence, and derive lower bounds on the upper and lower densities of subsets of the positive integers that can…

We prove that for any $n\times n$ matrix, $A$, and $z$ with $|z|\geq \|A\|$, we have that $\|(z-A)^{-1}\|\leq\cot (\frac{\pi}{4n}) \dist (z, \spec(A))^{-1}$. We apply this result to the study of random orthogonal polynomials on the unit…

Let $L$ be an even positive definite lattice with no roots, i.e., $L(2)=\{x\in L\mid (x|x)=2\}=\emptyset$. Let $g\in O(L)$ be an isometry of order $4$ such that $g^2=-1$ on $L$. In this article, we determine the full automorphism group of…

We prove a four dimensional version of the Bernstein Theorem, with complex polynomials being replaced by quaternionic polynomials. We deduce from the theorem a quaternionic Bernstein's inequality and give a formulation of this last result…

For any positive integer $m$, let $\mathbb{Z}_{m}$ be the set of residue classes modulo $m$. For $A\subseteq \mathbb{Z}_{m}$ and $\overline{n}\in \mathbb{Z}_{m}$, let representation function $R_{A}(\overline{n})$ denote the number of…

Let $n\le 5$ be an integer, and let $\Gamma$ be a finite group. We prove that if $\rho , \rho': \Gamma \to O(n)$ are two representations that are conjugate by an orientation-preserving diffeomorphism, then they are conjugate by an element…

The generic structure of 4-point functions of fields residing in indecomposable representations of arbitrary rank is given. The presented algorithm is illustrated with some non-trivial examples and permutation symmetries are exploited to…