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.
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...
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...
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...
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...
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
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.