Related papers: Roth's theorem in Z_4^n

In this paper we use topological tools to investigate the structure of the algebraic K-groups K_4 (Z[i]) and K_4 (Z[rho]), where i := sqrt{-1} and rho := (1+sqrt{-3})/2. We exploit the close connection between homology groups of GL_n(R) for…

We use theta series and modular forms to prove that Z^n is the only integral unimodular lattice of rank n without characteristic vectors of norm <n, i.e. the only integral unimodular lattice not containing a vector w such that (w,w)<n and…

This work presents theorems which state (i) Z is a proper subset for any bijection f between A and Z, where Z is contained in P(A), A is a non-finite set and |Z|=|A|, and (ii) being Z a proper subset of P(A) nothing affirms or denies that…

Peterzil and Starchenko have proved the following surprising generalization of Chow's theorem: A closed analytic subset of a complex algebraic variety that is definable in an o-minimal structure, is in fact an algebraic subset. In this…

We show that the algebra of the coloured rook monoid $R_n^{(r)}$, {\em i.e.} the monoid of $n \times n$ matrices with at most one non-zero entry (an $r$-th root of unity) in each column and row, is the algebra of a finite groupoid, thus is…

In this paper, a product formula of Hermite polynomials is given and then the relation between the real Wiener-It\^{o} chaos and the complex Wiener-It\^{o} chaos (or: multiple integrals) is shown. By this relation and the known multivariate…

We show that if the difference of two elements of a set $A \subseteq [N]$ is never one less than a prime number, then $|A| = O (N \exp (-c (\log N)^{1/3}))$ for some absolute constant $c>0$.

We study the regular representation $\rho_\zeta$ of the single-fermion algebra ${\cal A}_\zeta$, i.e., $c^2=c^{+2}=0$, $cc^++c^+c=\zeta~1$, for $\zeta\in [0,1]$. We show that $\rho_0$ is a four-dimensional nonunitary representation of…

The Rado-Horn theorem provides necessary and sufficient conditions for when a collection of vectors can be partitioned into a fixed number of linearly independent sets. Such partitions exist if and only if every subset of the vectors…

We investigate the function $d_\mathbf{A}(n)$, which gives the size of a least size generating set for $\mathbf{A}^n$, in the case where $\mathbf{A}$ has a cube term. We show that if $\mathbf{A}$ has a $k$-cube term and $\mathbf{A}^k$ is…

Define the following order among all natural numbers except for 2 and 1: \[ 4\gg 6\gg 3\gg \dots \gg 4n\gg 4n+2\gg 2n+1\gg 4n+4\gg\dots \] Let $f$ be a continuous interval map. We show that if $m\gg s$ and $f$ has a cycle with no division…

In this paper, we give a form of refined Roth's theorem. As an application, we prove a special case of the $abc$-conjecture.

The following is proven using arguments that do not revolve around the Riemann Hypothesis or Sieve Theory. If $p_n$ is the $n^{\rm th}$ prime and $g_n=p_{n+1}-p_n$, then $g_n=O({p_n}^{2/3})$.

It is shown that 4-th order term in the translation-invariant polaron theory vanishes.

Let A be a unital AF-algebra (simple or non-simple) and let \alpha be an automorphism of A. Suppose that \alpha has certain Rokhlin property and A is \alpha-simple. Suppose also that there is an integer J\geq1 such that…

Let $A$ be a closed densely defined operator on a separable Hilbert space $\mathcal{H}$. Assume the resolvent set $\rho(A)$ is non-empty. For $z,z'\in\rho(A)$ let $[z,z']$ denote the straight line segment from $z$ to $z'$. For each…

We prove that every graph $G$ contains either $k$ edge-disjoint $K_4$-subdivisions or a set $X$ of at most $O(k^8 \log k)$ edges such that $G-X$ does not contain any $K_4$-subdivision. This shows that $K_4$-subdivisions have the…

In this paper we prove a basic theorem which says that if f : F_p^n -> [0,1] has the property that ||f^||_(1/3) is not too ``large''(actually, it also holds for quasinorms 1/2-\delta in place of 1/3), and E(f) = p^{-n} sum_m f(m) is not too…

For a given monic polynomial $p(t)$ of degree $n$ over a commutative ring $k$, the splitting algebra is the universal $k$-algebra in which $p(t)$ has $n$ roots, or, more precisely, over which $p(t)$ factors, $p(t)=(t-\xi_1)...(t-\xi_n)$.…

We show that if A is a subset of {1, ..., n} such that it has no pairs of elements whose difference is equal to p-1 with p a prime number, then the size of A is O(n(loglog n)^(-clogloglogloglog n)) for some positive constant c.