Skip to content
Preprint

A proof of the Freiman-Lev conjecture

Aug 2026 · 0 citations · 8 references
Mathematics

Abstract

Let $A=\{a_{0}, a_{1}, \ldots, a_{k-1}\}$ be a set of $k>7$ integers such that $0=a_{0}<a_1<\cdots<a_{k-1}$ and $\gcd(A)=1$. The set $2^{\wedge}A=\{a+b: a, b\in A, a\neq b\}$ is called the restricted sumsets of $A$. Freiman-Lev conjecture is a well-known conjecture which related to restricted sumsets [V.F. Lev, Restricted set addition in groups, I. The classical setting, J. London Math. Soc. 62(2000), 27-40]. Up to now, Freiman-Lev conjecture is still open for all $a_{k-2}\geqslant 2k-4$ and $a_{k-1}\geqslant 2k-2$. In this paper, we complete the proof of the Freiman-Lev conjecture by resolving this final and most challenging case.

View source

Similar papers

Preprint Sep 2026

Affine Copies of Three-Point Patterns in Sets of Integers

Let $P=\{0,a,b\}$, where $0<a<b$ and $\gcd(a,b)=1$. For a finite set $A\subset\mathbb Z$, let $M_P^+(A)$ count the copies $x,x+ad,x+bd\in A$ with $d>0$, and let $M_P(A)$ count the copies with any $d\ne0$. We prove that every such three-point pattern other than the arithmetic progression $\{0,1,2\}$ satisfies \[ M_P^+(A...

Samuel Korsky · 1 citation
Preprint Sep 2026

Skolem-Mahler-Lech in rings of positive characteristic: a shorter proof and a multi-dimensional generalization

Let $R$ be a commutative ring and $f(a_1, \ldots, a_n) = \sum_{i=1}^k r_{i1}^{a_1} \cdots r_{in}^{a_n} m_i$ be a linear-exponential map over an $R$-module $M$. Dong and Shafrir (2026) showed that, when $\ell M = 0$ for some $\ell \in \mathbb{N}_{>0}$, the zero set of $f$ is the intersection of effectively computable $p...

Rui-Wen Dong, Doron Shafrir · 0 citations
Preprint Jul 2026

A Complete Proof for Tu-Deng Conjecture

Let $N=2^k-1$ and let $\operatorname{wt}(n)$ denote the binary Hamming weight. The Tu-Deng conjecture asserts that, for every $1\le t\le N-1$, at most $2^{k-1}$ pairs $(a,b)\in\{0,\ldots,N-1\}^2$ satisfy $a+b\equiv t\pmod N$ and $\operatorname{wt}(a)+\operatorname{wt}(b)<k$. Partial results are known. We give a complet...

Renzhang Liu, Heng-Yi Luo, Tianyuan Xie · 2 citations · ⚡1
Preprint Aug 2026

A Milnor exact sequence for $E$-theory

For separable $C^*$-algebras $A$ and $B$, the $E$-theory group $E(A,B)$ carries a natural, generally non-Hausdorff, second-countable group topology, Hausdorff exactly when the closure of zero $\overline{\{0\}} \subseteq E(A,B)$ is trivial. The nonzero elements of $\overline{\{0\}}$ are the phantom classes, invisible to...

José R. Carrión · 0 citations
Preprint Aug 2026

Counterexamples to the Minimum Period Conjecture for Restricted Partition Functions

For a finite sequence of positive integers $\boldsymbol{a}=(a_1,\dots,a_n)$, the restricted partition function $q_{\boldsymbol{a}}(k)$ denote the number of nonnegative integer solutions to the equation $a_1x_1+a_2x_2+\cdots +a_nx_n=k$. It is proved to be a quasi-polynomial of degree $n-1$. Write $q_{\boldsymbol{a}}(k)=...

Fei-Hu Liu, Jinlong Tang, Guoce Xin et al. · 0 citations
Preprint Aug 2026

On an Instance of the Small Cohen-Macaulay Conjecture II

We show that any $d$-dimensional local ring $A$ with a dualizing complex, $\mathrm{depth} A=d-1$, and cyclic deficiency module $K^{d-1}(A)$ admits a maximal Cohen--Macaulay module. It is constructed as the unique nonzero cohomology module of the cone of the derived morphism induced by a surjection $A\to K^{d-1}(A)$. Wh...

Likun Xie · 1 citation · ⚡1

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.