Related papers: Sums of linear transformations
Let $t\geq 1$, let $A$ and $B$ be finite, nonempty subsets of an abelian group $G$, and let $A\pp{i} B$ denote all the elements $c$ with at least $i$ representations of the form $c=a+b$, with $a\in A$ and $b\in B$. For $|A|, |B|\geq t$, we…
For any irrational real number xi, let lambda(xi) denote the supremum of all real numbers lambda such that, for each sufficiently large X, the inequalities |x_0| < X, |x_0*xi-x_1| < X^{-lambda} and |x_0*xi^2-x_2| < X^{-lambda} admit a…
This survey paper is based on a talk given at the 44th Summer Symposium in Real Analysis in Paris. This line of research was initiated by a question of Haight and Weizs\"aker concerning almost everywhere convergence properties of series of…
Let $\lambda$ denote the Liouville function. Assuming the Riemann Hypothesis, we prove that $$\int_X^{2X}\Big|\sum_{x\leq n \leq x+h}\lambda(n) \Big|^2 dx \ll Xh(\log X)^6,$$ as $X\rightarrow \infty$, provided $h=h(X)\leq…
$ \newcommand{\R}{\ensuremath{\mathbb{R}}} \newcommand{\lat}{\mathcal{L}} \newcommand{\ensuremath}[1]{#1} $We show that \[ \mu(\lat) \lambda_1(\lat^*) < \big( 0.1275 + o(1) \big) \cdot n \; , \] where $\mu(\lat)$ is the covering radius of…
We show that if $A\subset \mathbb{Z}$ is a finite set of integers in which every integer is divisible by $O(1)$ many primes then \[\max(\lvert A+A\rvert,\lvert AA\rvert) \geq \lvert A\rvert^{12/7-o(1)}\] and, for any $m\geq 2$,…
Let $A$ be a subset of integers and let $2\cdot A+k\cdot A=\{2a_1+ka_2 : a_1,a_2\in A\}$. Y. O. Hamidoune and J. Ru\' e proved that if $k$ is an odd prime and $A$ a finite set of integers such that $|A|>8k^k$, then $|2\cdot A+k\cdot A|\ge…
In this paper, we estimate the shifted convolution sum \[\sum_{n\geqslant1}\lambda_1(1,n)\lambda_2(n+h)V\Big(\frac{n}{X}\Big),\] where $V$ is a smooth function with support in $[1,2]$, $1\leqslant|h|\leqslant X$, $\lambda_1(1,n)$ and…
Let K^0_lambda be the class of structures < lambda,<,A>, where A subseteq lambda is disjoint from a club, and let K^1_lambda be the class of structures < lambda,<,A>, where A subseteq lambda contains a club. We prove that if lambda =…
We introduce the notion of a w-good $\lambda$-frame which is a weakening of Shelah's notion of a good $\lambda$-frame. Existence of a w-good $\lambda$-frame implies existence of a model of size $\lambda^{++}$. Tameness and amalgamation…
We show that every set $A$ of natural numbers with positive upper density can be shifted to contain the restricted sumset $\{b_1 + b_2 : b_1, b_2\in B \text{ and } b_1 \neq b_2 \}$ for some infinite set $B \subset A$.
Let $\lambda$ denote the Liouville function. We show that as $X \rightarrow \infty$, $$ \int_{X}^{2X} \sup_{\alpha} \left | \sum_{x < n \leq x + H} \lambda(n) e(-\alpha n) \right | dx = o ( X H) $$ for all $H \geq X^{\theta}$ with $\theta >…
We prove that if $A \subset {\Bbb F}_q$ is such that $$|A|>q^{{1/2}+\frac{1}{2d}},$$ then $${\Bbb F}_q^{*} \subset dA^2=A^2+...+A^2 d \text{times},$$ where $$A^2=\{a \cdot a': a,a' \in A\},$$ and where ${\Bbb F}_q^{*}$ denotes the…
Weighted discrete Hilbert transforms $(a_n)_n \mapsto \sum_n a_n v_n/(z-\gamma_n)$ from $\ell^2_v$ to a weighted $L^2$ space are studied, with $\Gamma=(\gamma_n)$ a sequence of distinct points in the complex plane and $v=(v_n)$ a…
We define two extensions of the typed linear lambda-calculus that yield minimal Turing-complete systems. The extensions are based on unbounded recursion in one case, and bounded recursion with minimisation in the other. We show that both…
Let $A \subset \mathbb R$ and $G \subset A \times A$. We prove that, for any $\lambda \in \mathbb R \setminus \{-1,0,1\}$, \[ \max \{|A+_G A|, |A+_G \lambda A|, |A\cdot_G A|\} \gg |G|^{6/11}. \]
The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms. They arise independently in distinct contexts: the former is a fragment of the…
This paper concerns cheaply computable formulas and bounds for the condition number of the TLS problem. For a TLS problem with data $A$, $b$, two formulas are derived that are simpler and more compact than the known results in the…
We describe a type system for the linear-algebraic $\lambda$-calculus. The type system accounts for the linear-algebraic aspects of this extension of $\lambda$-calculus: it is able to statically describe the linear combinations of terms…
Let $\Lambda$ be a finite dimensional algebra of type ${\mathbb A}_n$ over an algebraically closed field $K$ with the quiver $Q$ and let $|\Det(\Lambda)|$ be the number of the minimal right determiners of all irreducible morphisms between…