Related papers: Discrete Fourier restriction via efficient congrue…
Let $s_1, s_2, \ldots$ be the sequence of positive integers, arranged in increasing order, that are representable by any binary quadratic form of fixed discriminant $D$. We show that \[ \limsup_{n \rightarrow \infty} \frac{s_{n+1}-s_n}{\log…
We study the Diophantine equation $a^k + b^k = c^k + d^k$ with integer variables and exponent $k>1$, under the linear constraint $(c+d) - (a+b) = h$. We analyze the geometry and arithmetic of these linear slices. On the central slice $h=0$,…
We derive a new criterion for a real-valued function $u$ to be in the Sobolev space $W^{1,2}(\R^n)$. This criterion consists of comparing the value of a functional $\int f(u)$ with the values of the same functional applied to convolutions…
It is proved that the complex double Fourier series of an integrable function $f(x,y)$ with coefficients $\{c_{jk}\}$ satisfying certain conditions, will converge in $L^{1}$-norm. The conditions used here are the combinations of Tauberian…
The well-known middle levels conjecture asserts that for every integer $n\geq 1$, all binary strings of length $2(n+1)$ with exactly $n+1$ many 0s and 1s can be ordered cyclically so that any two consecutive strings differ in swapping the…
Let $n, m\ge 2$. Let $\Gamma<\text{SO}^\circ(n+1,1)$ be a Zariski dense convex cocompact subgroup and $\Lambda\subset\mathbb{S}^n$ be its limit set. Let $\rho : \Gamma \to \text{SO}^\circ(m+1,1)$ be a Zariski dense convex cocompact faithful…
We find the complete branching law for the restriction of certain unitary representations of $O(1,n+1)$ to the subgroups $O(1,m+1)\times O(n-m)$, $0\leq m\leq n$. The unitary representations we consider belong either to the unitary…
We present and analyze an algorithm to enumerate all integers $n\le x$ that can be written as the sum of consecutive $k$th powers of primes, for $k>1$. We show that the number of such integers $n$ is asymptotically bounded by a constant…
LSQR, a Lanczos bidiagonalization based Krylov subspace iterative method, and its mathematically equivalent CGLS applied to normal equations system, are commonly used for large-scale discrete ill-posed problems. It is well known that LSQR…
In this paper, we prove restriction theorems for the Fourier-Laguerre transform and establish Strichartz estimates for the Schr\"{o}dinger propagator $e^{-itL_\alpha}$ for the Laguerre operator…
Let $F(s)=\sum_n a_n/\lambda_n^s$ be a general Dirichlet series which is absolutely convergent on $\Re(s)>1$. Assume that $F(s)$ has an analytic continuation and satisfies a growth condition, which gives rise to certain invariants namely…
We show that the fractional Sobolev inequality for the embedding $\H \hookrightarrow L^{\frac{2N}{N-s}}(\R^N)$, $s \in (0,N)$ can be sharpened by adding a remainder term proportional to the distance to the set of optimizers. As a corollary,…
Fix an integer k, and let I(l), l=1,2,..., be a sequence of k-dimensional vectors of multiple Wiener-It\^o integrals with respect to a general Gaussian process. We establish necessary and sufficient conditions to have that, as l diverges,…
We analyze the Fourier growth, i.e. the $L_1$ Fourier weight at level $k$ (denoted $L_{1,k}$), of various well-studied classes of "structured" $\mathbb{F}_2$-polynomials. This study is motivated by applications in pseudorandomness, in…
For a class $F$ of complex-valued functions on a set $D$, we denote by $g_n(F)$ its sampling numbers, i.e., the minimal worst-case error on $F$, measured in $L_2$, that can be achieved with a recovery algorithm based on $n$ function…
Consider the group ${\mathbb{R}}^2$ with the discrete topology, and denote its Fourier algebra by $A({{\mathbb{R}}_{\rm d}^2})$. We reformulate a theorem of V.A. Yudin as a statement about restrictions of functions in $A({{\mathbb{R}}_{\rm…
Given a polynomial $f$ defined over a number field $K$, we make effective certain special cases of a conjecture of S. Ih, on the finiteness of $f$-preperiodic points which are $S$-integral with respect to a fixed non-preperiodic point…
Let $\left\{a_1, \dots, a_n\right\} \subset \mathbb{N}$ be a set of positive integers, $a_n$ denoting the largest element, so that for any two of the $2^n$ subsets the sum of all elements is distinct. Erd\H{o}s asked whether this implies…
Given a lacunary sequence $(n_k)_{k \in \mathbb{N}}$, arbitrary positive weights $(c_k)_{k \in \mathbb{N}}$ that satisfy a Lindeberg-Feller condition, and a function $f: \mathbb{T} \to \mathbb{R}$ whose Fourier coefficients $\hat{f_k}$…
Let us define for a compact set $A \subset \mathbb{R}^n$ the sequence $$ A(k) = \left\{\frac{a_1+\cdots +a_k}{k}: a_1, \ldots, a_k\in A\right\}=\frac{1}{k}\Big(\underset{k\ {\rm times}}{\underbrace{A + \cdots + A}}\Big). $$ It was…