关于立方自由问题的注记

A note on cube-free problems

摘要 Abstract

Eberhard和Pohoata猜测,每个$3$-立方自由的$[N]$子集大小小于$2N/3+o(N)$。在本文中,我们证明了如果将$[N]$替换为$\mathbb{Z}_N$,则上界$2N/3$成立,并且当$N$能被$3$整除时该界是紧的,因为存在集合$A=\{a\in \mathbb{Z}_N:a\equiv 1,2\pmod{3}\}$。受此启发,我们推测$\mathbb{Z}_N$中的每个$d$-立方自由子集大小小于$(d-1)N/d$,其中$N$能被$d$整除,并通过提供示例$B=\{b\in\mathbb{Z}_N:b\equiv 1,2,\ldots,d-1\pmod{d}\}$证明了该界的紧性。我们对若干有趣的情况证明了该猜想,包括当$d$是$N$的最小素因数或$N$为素数幂时。我们还讨论了关于$\{x,dx\}$-自由集和$\{x,2x,\ldots,dx\}$-自由集的相关问题。我们应用的主要工具是将所有整数排列在一个方阵中,其坐标为$(s+1,l-\lfloor l/d\rfloor)$,其中$d$是给定整数,$l$不能被$d$整除。

Eberhard and Pohoata conjectured that every $3$-cube-free subset of $[N]$ has size less than $2N/3+o(N)$. In this paper we show that if we replace $[N]$ with $\mathbb{Z}_N$ the upper bound of $2N/3$ holds, and the bound is tight when $N$ is divisible by $3$ since we have $A=\{a\in \mathbb{Z}_N:a\equiv 1,2\pmod{3}\}.$ Inspired by this observation we conjecture that every $d$-cube-free subset of $\mathbb{Z}_N$ has size less than $(d-1)N/d$ where $N$ is divisible by $d$, and we show the tightness of this bound by providing an example $B=\{b\in\mathbb{Z}_N:b\equiv 1,2,\ldots,d-1\pmod{d}\}$. We prove the conjecture for several interesting cases, including when $d$ is the smallest prime factor of $N$, or when $N$ is a prime power. We also discuss some related issues regarding $\{x,dx\}$-free sets and $\{x,2x,\ldots,dx\}$-free sets. A main ingredient we apply is to arrange all the integers into some square matrix, with $m=d^s\times l$ having the coordinate $(s+1,l-\lfloor l/d\rfloor)$. Here $d$ is a given integer and $l$ is not divisible by $d$.

关于立方自由问题的注记 - arXiv