We prove that each discrete set in the Euclidean space that has bounded changes under every translation is a bounded perturbation of a square lattice, i.e., a uniformly spread set in the sense of Laszkovich. In particular, the support of every Fourier quasicrystal with unit masses is uniformly spread.
рдкреЗрдкрд░ ID : 2510.11061рд╢реАрд░реНрд╖рдХ : рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рдЕрд╕рддрдд рд╕рдореБрдЪреНрдЪрдп рдХрд╛ рдПрдХ рдирдпрд╛ рд╡рд┐рд╡рд░рдгрд▓реЗрдЦрдХ : A. Dudko, S. Favorovрд╡рд░реНрдЧреАрдХрд░рдг : math.MG (рдореАрдЯреНрд░рд┐рдХ рдЬреНрдпрд╛рдорд┐рддрд┐)рдкреНрд░рдХрд╛рд╢рди рд╕рдордп : 13 рдЕрдХреНрдЯреВрдмрд░ 2025рдкреЗрдкрд░ рд▓рд┐рдВрдХ : https://arxiv.org/abs/2510.11061 рдпрд╣ рдкреЗрдкрд░ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ рдХрд┐ рдпреВрдХреНрд▓рд┐рдбреАрдп рдЕрдВрддрд░рд┐рдХреНрд╖ рдореЗрдВ рдкреНрд░рддреНрдпреЗрдХ рдЕрд╕рддрдд рд╕рдореБрдЪреНрдЪрдп рдЬрд┐рд╕рдореЗрдВ рдХрд┐рд╕реА рднреА рд╕реНрдерд╛рдирд╛рдВрддрд░рдг рдХреЗ рддрд╣рдд рдкрд░рд┐рдмрджреНрдз рднрд┐рдиреНрдирддрд╛ рд╣реИ, рд╡рд░реНрдЧ рдЬрд╛рд▓рдХ рдХрд╛ рдПрдХ рдкрд░рд┐рдмрджреНрдз рд╡рд┐рдХреНрд╖реЛрдн рд╣реИ, рдЕрд░реНрдерд╛рддреН Laszkovich рдХреЗ рдЕрд░реНрде рдореЗрдВ рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рд╕рдореБрдЪреНрдЪрдпред рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ, рдкреНрд░рддреНрдпреЗрдХ рдЗрдХрд╛рдИ рджреНрд░рд╡реНрдпрдорд╛рди рдХреЗ рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдХрд╛ рд╕рдорд░реНрдерди рд╕рдореБрдЪреНрдЪрдп рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рд╣реИред
рдРрддрд┐рд╣рд╛рд╕рд┐рдХ рдкреГрд╖реНрдарднреВрдорд┐ : рдпрд╣ рдЕрдиреБрд╕рдВрдзрд╛рди Laczkovich рдХреЗ Tarski рдХреА рдкреНрд░рд╕рд┐рджреНрдз рд╕рдорд╕реНрдпрд╛ (рд╡рд░реНрдЧ рдФрд░ рдбрд┐рд╕реНрдХ рдХреЗ рд╡рд┐рдШрдЯрди) рдХреЗ рдкреНрд░рдорд╛рдг рдХреЗ рдПрдХ рдорд╣рддреНрд╡рдкреВрд░реНрдг рднрд╛рдЧ рд╕реЗ рдЙрддреНрдкрдиреНрди рд╣реЛрддрд╛ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рд╕рдорддрд▓ рдкрд░ рддрдерд╛рдХрдерд┐рдд рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рдЕрд╕рддрдд рд╕рдореБрдЪреНрдЪрдп рдХрд╛ рдЕрдзреНрдпрдпрди рд╢рд╛рдорд┐рд▓ рд╣реИредрдореВрд▓ рд╕рдорд╕реНрдпрд╛ : Laszkovich рдиреЗ рджреНрд╡рд┐рдЖрдпрд╛рдореА рд╕реНрдерд┐рддрд┐ рдореЗрдВ рдЕрд╕рддрдд рд╕рдореБрдЪреНрдЪрдп AтКВтДЭ┬▓ рдХреЗ рджреЛ рд╕рдорддреБрд▓реНрдп рд╢рд░реНрддреЗрдВ рд╕реНрдерд╛рдкрд┐рдд рдХреАрдВ:рдПрдХ рд╕реНрдерд┐рд░рд╛рдВрдХ C < тИЮ рдФрд░ рдПрдХ рджреНрд╡рд┐рднрд╛рдЬрди ╧Г: A тЖТ ╬▒^(-1/2)тДд┬▓ рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рдРрд╕рд╛ рдХрд┐ sup_{xтИИA}|╧Г(x)-x| < C рдПрдХ рд╕реНрдерд┐рд░рд╛рдВрдХ C' < тИЮ рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рдРрд╕рд╛ рдХрд┐ рдкреНрд░рддреНрдпреЗрдХ рдкрд░рд┐рдмрджреНрдз Jordan рдХреНрд╖реЗрддреНрд░ H рдХреЗ рд▓рд┐рдП, |#(AтИйH) - ╬▒mтВВ(H)| < C'mтВБ(тИВH) рд╡рд░реНрддрдорд╛рди рд╕реАрдорд╛рдПрдВ :Laszkovich рдиреЗ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ d > 2 рдХреЗ рд▓рд┐рдП рдкреНрд░рддреНрдпрдХреНрд╖ рд╕рд╛рджреГрд╢реНрдп рдорд╛рдиреНрдп рдирд╣реАрдВ рд╣реИ рд╕рднреА рдореМрдЬреВрджрд╛ рд╢рд░реНрддреЗрдВ рдкреИрд░рд╛рдореАрдЯрд░ ╬▒ тИИ (0,тИЮ) рдкрд░ рдирд┐рд░реНрднрд░ рд╣реИрдВ ╬▒ рд╕реЗ рд╕реНрд╡рддрдВрддреНрд░ рдирд┐рд░реНрдгрдп рдорд╛рдирджрдВрдб рдХрд╛ рдЕрднрд╛рд╡ рд╣реИ рдЕрдиреБрд╕рдВрдзрд╛рди рдкреНрд░реЗрд░рдгрд╛ : рдкреИрд░рд╛рдореАрдЯрд░ ╬▒ рд╕реЗ рд╕реНрд╡рддрдВрддреНрд░ рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рд╕рдореБрдЪреНрдЪрдп рдХреЗ рдирд┐рд░реНрдгрдп рдорд╛рдирджрдВрдб рдХреЛ рдЦреЛрдЬрдирд╛, рдЬреЛ рдЗрд╕ рдкреЗрдкрд░ рдХреА рдореВрд▓ рд╕рдорд╕реНрдпрд╛ рд╣реИредрдирдИ рдЕрд╡рдзрд╛рд░рдгрд╛ рдХрд╛ рдкрд░рд┐рдЪрдп : "рдореЛрдЯреЗ рд╕реНрдерд╛рдирд╛рдВрддрд░рдг-рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╕рдореБрдЪреНрдЪрдп" (roughly shift-invariant set) рдХреА рдЕрд╡рдзрд╛рд░рдгрд╛ рдкреНрд░рд╕реНрддреБрдд рдХреА, рдЬреЛ рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рд╕рдореБрдЪреНрдЪрдп рдХрд╛ рдирдпрд╛ рд▓рдХреНрд╖рдг рд╡рд░реНрдгрди рд╣реИрд╕рдорддреБрд▓реНрдпрддрд╛ рд╕реНрдерд╛рдкрдирд╛ : рдореЛрдЯреЗ рд╕реНрдерд╛рдирд╛рдВрддрд░рдг-рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдпрддрд╛ рдФрд░ рд╕рдорд╛рди рдкреНрд░рд╕рд╛рд░ рдХреЗ рдмреАрдЪ рд╕рдорддреБрд▓реНрдпрддрд╛ рд╕рдВрдмрдВрдз рд╕рд┐рджреНрдз рдХрд┐рдпрд╛рдШрдирддреНрд╡ рдЕрд╕реНрддрд┐рддреНрд╡ : рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ рдкреНрд░рддреНрдпреЗрдХ рдореЛрдЯреЗ рд╕реНрдерд╛рдирд╛рдВрддрд░рдг-рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╕рдореБрдЪреНрдЪрдп рдореЗрдВ рд╕рдорд╛рди рдШрдирддреНрд╡ рд╣реЛрддрд╛ рд╣реИрдЕрдиреБрдкреНрд░рдпреЛрдЧ рд╡рд┐рд╕реНрддрд╛рд░ : рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рдмрд╣реБ-рд╕рдореБрдЪреНрдЪрдп рддрдХ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдХрд┐рдпрд╛ рдФрд░ рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдкрд░ рд▓рд╛рдЧреВ рдХрд┐рдпрд╛рдЧреНрд░рд╛рдл рд╕рд┐рджреНрдзрд╛рдВрдд рдпреЛрдЧрджрд╛рди : рдкреНрд░рдорд╛рдг рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдореЗрдВ рдЕрдирдВрдд рдЧреНрд░рд╛рдл рдкрд░ рд╕рдореАрдХрд░рдг рд╕рдорд╛рдзрд╛рди рдХреЗ рдирдП рдкрд░рд┐рдгрд╛рдо рдкреНрд░рд╛рдкреНрдд рдХрд┐рдПрдЗрдирдкреБрдЯ : рдпреВрдХреНрд▓рд┐рдбреАрдп рдЕрдВрддрд░рд┐рдХреНрд╖ тДЭс╡И рдореЗрдВ рдЕрд╕рддрдд рд╕рдореБрдЪреНрдЪрдп A
рдЖрдЙрдЯрдкреБрдЯ : рдпрд╣ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░рдирд╛ рдХрд┐ A рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рд╣реИ рдпрд╛ рдирд╣реАрдВ
рд▓рдХреНрд╖реНрдп : рдШрдирддреНрд╡ рдкреИрд░рд╛рдореАрдЯрд░ рд╕реЗ рд╕реНрд╡рддрдВрддреНрд░ рдирд┐рд░реНрдгрдп рдорд╛рдирджрдВрдб рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдирд╛
рдкрд░рд┐рднрд╛рд╖рд╛ 1 (рдореЛрдЯреЗ рд╕реНрдерд╛рдирд╛рдВрддрд░рдг-рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╕рдореБрдЪреНрдЪрдп) : рдЕрд╕рддрдд рд╕рдореБрдЪреНрдЪрдп A тКВ тДЭс╡И рдХреЛ рдореЛрдЯреЗ рд╕реНрдерд╛рдирд╛рдВрддрд░рдг-рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ, рдпрджрд┐ L < тИЮ рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рд╣реЛ рдРрд╕рд╛ рдХрд┐ рдХрд┐рд╕реА рднреА x тИИ тДЭс╡И рдХреЗ рд▓рд┐рдП, рдПрдХ рджреНрд╡рд┐рднрд╛рдЬрди ╧ГтВУ: A тЖТ A рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рд╣реЛ рдЬреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░реЗ:
sup_{aтИИA} |a + x - ╧ГтВУ(a)| < L
рдкрд░рд┐рднрд╛рд╖рд╛ 2 (рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рд╕рдореБрдЪреНрдЪрдп) : Laszkovich рдХреА рдкрд░рд┐рднрд╛рд╖рд╛ рдХреЗ рдЕрдиреБрд╕рд╛рд░, рд╕рдореБрдЪреНрдЪрдп A рдХреЛ рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ рдпрджрд┐:
рдПрдХ рджреНрд╡рд┐рднрд╛рдЬрди ╧Г: A тЖТ ╬▒^(-1/d)тДдс╡И рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рд╣реЛ рдРрд╕рд╛ рдХрд┐ sup_{xтИИA}|╧Г(x)-x| < C рдкрд░реНрдпрд╛рдкреНрдд рдмрдбрд╝реЗ рд╕рдореБрдЪреНрдЪрдп H рдХреЗ рд▓рд┐рдП, рдмрд┐рдВрджреБ рдЧрдгрдирд╛ рдЖрдпрддрди рдХреЗ рдЕрдиреБрдкрд╛рдд рдореЗрдВ рд╣реЛ: |#(AтИйH) - ╬▒mтВР(H)| тЙд C'рд╕реАрдорд╛ рдорд╛рдк рдкреНрд░рдореЗрдп 1 (рдШрдирддреНрд╡ рдЕрд╕реНрддрд┐рддреНрд╡) : рдкреНрд░рддреНрдпреЗрдХ рдореЛрдЯреЗ рд╕реНрдерд╛рдирд╛рдВрддрд░рдг-рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╕рдореБрдЪреНрдЪрдп A рдХреЗ рд▓рд┐рдП, рдПрдХ рдШрдирддреНрд╡ D > 0 рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рд╣реИ рдРрд╕рд╛ рдХрд┐:
lim_{TтЖТтИЮ} #(AтИйB(x,T))/mтВР(B(x,T)) = D
тДЭс╡И рдореЗрдВ x рдХреЗ рд╕рдВрдмрдВрдз рдореЗрдВ рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдорд╛рдиреНрдп рд╣реИред
рдкреНрд░рдореЗрдп 2 (рд╕рдорддреБрд▓реНрдпрддрд╛) : рдкреНрд░рддреНрдпреЗрдХ рдореЛрдЯреЗ рд╕реНрдерд╛рдирд╛рдВрддрд░рдг-рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╕рдореБрдЪреНрдЪрдп A тКВ тДЭс╡И рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рд╣реИ, рдФрд░ рдПрдХ рд╕реНрдерд┐рд░рд╛рдВрдХ C < тИЮ рдФрд░ рджреНрд╡рд┐рднрд╛рдЬрди ╬Ш: A тЖТ D^(-1/d)тДдс╡И рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рд╣реИ рдРрд╕рд╛ рдХрд┐:
sup_{aтИИA} |a - ╬Ш(a)| < C
рд░рдЪрдирд╛рддреНрдордХ рдкреНрд░рдорд╛рдг : рд╕рдорддреБрд▓реНрдпрддрд╛ рдХреЛ рд╕рд┐рджреНрдз рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рд╕реНрдкрд╖реНрдЯ рджреНрд╡рд┐рднрд╛рдЬрди рдирд┐рд░реНрдорд╛рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рди рдХрд┐ рдЕрд╕реНрддрд┐рддреНрд╡ рдкреНрд░рдорд╛рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗрддреАрди-рдЪрд░рдг рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо :
рдкреНрд░рдердо рдЪрд░рдг: рд╕реНрдерд╛рдиреАрдп рдкрддреНрд░рд╛рдЪрд╛рд░ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдирд╛ рджреНрд╡рд┐рддреАрдп рдЪрд░рдг: "рдЦрд░рд╛рдм рдЪрдХреНрд░" рдХреЛ рд╕рдорд╛рдкреНрдд рдХрд░рдирд╛ рддрд╛рдХрд┐ рдорд╛рди рдкреВрд░реНрдгрд╛рдВрдХ рдХреЗ рдирд┐рдХрдЯ рд╣реЛрдВ рддреГрддреАрдп рдЪрд░рдг: рдЬреБрдбрд╝реЗ рд╣реБрдП рдШрдЯрдХреЛрдВ рдкрд░ рдЖрдЧрдорди рджреНрд╡рд╛рд░рд╛ рдкреВрд░реНрдгрд╛рдВрдХ рд╕рдорд╛рдзрд╛рди рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдЧреНрд░рд╛рдл рд╕рд┐рджреНрдзрд╛рдВрдд рд╡рд┐рдзрд┐ : рд╕рдорд╕реНрдпрд╛ рдХреЛ рдЕрдирдВрдд рдЧреНрд░рд╛рдл рдкрд░ рд╕рдореАрдХрд░рдг рд╕рдорд╛рдзрд╛рди рд╕рдорд╕реНрдпрд╛ рдореЗрдВ рд░реВрдкрд╛рдВрддрд░рд┐рдд рдХрд░рдирд╛рдпрд╣ рдкреЗрдкрд░ рд╢реБрджреНрдз рдЧрдгрд┐рддреАрдп рд╕рд┐рджреНрдзрд╛рдВрдд рдЕрдиреБрд╕рдВрдзрд╛рди рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдкреНрд░рдпреЛрдЧ рд╢рд╛рдорд┐рд▓ рдирд╣реАрдВ рд╣реИрдВ, рдмрд▓реНрдХрд┐ рд╕рд┐рджреНрдзрд╛рдВрдд рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдХрдареЛрд░ рдЧрдгрд┐рддреАрдп рдкреНрд░рдорд╛рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗред
рд╕рд╣рд╛рдпрдХ рдкреНрд░рд╕реНрддрд╛рд╡ : 4 рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рд╣рд╛рдпрдХ рдкреНрд░рд╕реНрддрд╛рд╡реЛрдВ рдХреА рд╕реНрдерд╛рдкрдирд╛, рдЬрд┐рд╕рдореЗрдВ рдмрд┐рдВрджреБ рдЧрдгрдирд╛ рдХреА рд╕реНрдерд╛рдиреАрдп рдкрд░рд┐рдмрджреНрдзрддрд╛ рдФрд░ рдПрдХрд░реВрдкрддрд╛ рд╢рд╛рдорд┐рд▓ рд╣реИрдШрдирддреНрд╡ рддрд░реНрдХ : Cauchy рдЕрдиреБрдХреНрд░рдо рдХреА рд╡рд┐рдзрд┐ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдШрдирддреНрд╡ рд╕реАрдорд╛ рдХреЗ рдЕрд╕реНрддрд┐рддреНрд╡ рдХреЛ рд╕рд┐рджреНрдз рдХрд░рдирд╛рд░рдЪрдирд╛рддреНрдордХ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо : рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдорд╛рдзрд╛рди рдХреЛ рдкреВрд░реНрдгрд╛рдВрдХ рд╕рдорд╛рдзрд╛рди рдореЗрдВ рд░реВрдкрд╛рдВрддрд░рд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рддреАрди-рдЪрд░рдг рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдбрд┐рдЬрд╛рдЗрди рдХрд░рдирд╛рдкреНрд░рд╕реНрддрд╛рд╡ 1 : K < тИЮ рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рд╣реИ рдРрд╕рд╛ рдХрд┐ #(AтИйQ(x,1)) < K рд╕рднреА x рдХреЗ рд▓рд┐рдП, рдФрд░:
рдкреНрд░рд╕реНрддрд╛рд╡ 2 : рдкрд░реНрдпрд╛рдкреНрдд рдмрдбрд╝реЗ N рдХреЗ рд▓рд┐рдП:
|#(AтИйQ(x,N)) - #(AтИйQ(0,N))| < N^(d-1/2)
рдпреЗ рдЕрдиреБрдорд╛рди рдмрд╛рдж рдХреЗ рдирд┐рд░реНрдорд╛рдг рдХреЗ рд▓рд┐рдП рдЖрдзрд╛рд░ рд╣реИрдВред
рдШрдирддреНрд╡ рд╕реВрддреНрд░ : рдореЛрдЯреЗ рд╕реНрдерд╛рдирд╛рдВрддрд░рдг-рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╕рдореБрдЪреНрдЪрдп A рдХреЗ рд▓рд┐рдП:#(AтИйB(x,R)) = DmтВР(B(x,R)) + O(R^(d-1))
рд╡рд┐рдХреНрд╖реЛрдн рд╕реАрдорд╛ : рдПрдХ рджреНрд╡рд┐рднрд╛рдЬрди рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рдРрд╕рд╛ рдХрд┐ рдкреНрд░рддреНрдпреЗрдХ рдмрд┐рдВрджреБ рдХрд╛ рд╡рд┐рд╕реНрдерд╛рдкрди рд╕реНрдерд┐рд░рд╛рдВрдХ C рд╕реЗ рдЕрдзрд┐рдХ рди рд╣реЛрд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдкрд░рд┐рдгрд╛рдо : рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рдмрд╣реБ-рд╕рдореБрдЪреНрдЪрдп рд╕реНрдерд┐рддрд┐ рддрдХ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдХрд┐рдпрд╛, рд╕рдорд╛рди рдЧреБрдгреЛрдВ рдХреЛ рдмрдирд╛рдП рд░рдЦрддреЗ рд╣реБрдПрдкреНрд░рдореЗрдп 6 (рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓) : рдХрд┐рд╕реА рднреА рдЗрдХрд╛рдИ рджреНрд░рд╡реНрдпрдорд╛рди рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдХреЗ рд╕рдорд░реНрдерди рд╕рдореБрдЪреНрдЪрдп ╬Ы рдХреЗ рд▓рд┐рдП, тДЭс╡И рдореЗрдВ x рдХреЗ рд╕рдВрдмрдВрдз рдореЗрдВ рд╕рдорд╛рди рд░реВрдк рд╕реЗ:
#(╬ЫтИйB(x,R)) = DmтВР(B(x,R)) + O(R^(d-1))
рдФрд░ рдПрдХ рджреНрд╡рд┐рднрд╛рдЬрди ╧Г: D^(-1/d)тДдс╡И тЖТ ╬Ы рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рд╣реИ рдРрд╕рд╛ рдХрд┐ ╬╗ = h + O(1)ред
Laczkovich (1990, 1992) : рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рд╕рдореБрдЪреНрдЪрдп рдХрд╛ рд╢рд╛рд╕реНрддреНрд░реАрдп рд╕рд┐рджреНрдзрд╛рдВрдд рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛Kurasov & Sarnak (2020) : рдкрд╣рд▓рд╛ рдЧреИрд░-рддреБрдЪреНрдЫ рдЗрдХрд╛рдИ рджреНрд░рд╡реНрдпрдорд╛рди рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдЙрджрд╛рд╣рд░рдг рджрд┐рдпрд╛Olevsky & Ulanovskii (2020) : рдПрдХ-рдЖрдпрд╛рдореА рд╕реНрдерд┐рддрд┐ рдореЗрдВ рдкреВрд░реНрдг рд▓рдХреНрд╖рдг рд╡рд░реНрдгрди рд╕рд┐рджреНрдз рдХрд┐рдпрд╛рдШрдирддреНрд╡ рдкреИрд░рд╛рдореАрдЯрд░ рд╕реЗ рд╕реНрд╡рддрдВрддреНрд░ рдирдпрд╛ рд▓рдХреНрд╖рдг рд╡рд░реНрдгрди рдкреНрд░рджрд╛рди рдХрд┐рдпрд╛ рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛ рдЕрдирдВрдд рдЧреНрд░рд╛рдл рд╕рдореАрдХрд░рдг рд╕рдВрднрд╛рд▓рдиреЗ рдХреА рдирдИ рд╡рд┐рдзрд┐ рд╡рд┐рдХрд╕рд┐рдд рдХреА рдореЛрдЯреЗ рд╕реНрдерд╛рдирд╛рдВрддрд░рдг-рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдпрддрд╛ рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рд╕рдореБрдЪреНрдЪрдп рдХреЛ рдкреВрд░реА рддрд░рд╣ рд╕реЗ рд▓рдХреНрд╖рдгрд┐рдд рдХрд░рддреА рд╣реИ рдкреНрд░рддреНрдпреЗрдХ рдРрд╕реЗ рд╕рдореБрдЪреНрдЪрдп рдореЗрдВ рд╕реНрдкрд╖реНрдЯ рд░реВрдк рд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдШрдирддреНрд╡ рд╣реЛрддрд╛ рд╣реИ рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдХреЗ рд╕рдорд░реНрдерди рд╕рдореБрдЪреНрдЪрдп рдореЗрдВ рдЕрдЪреНрдЫреЗ рд╡рд┐рддрд░рдг рдЧреБрдг рд╣реЛрддреЗ рд╣реИрдВ рд╕реНрдерд┐рд░рд╛рдВрдХ C рдХреА рдЗрд╖реНрдЯрддрдорддрд╛ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдирд╣реАрдВ рд╣реИ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рд╕реНрдерд┐рддрд┐ рдореЗрдВ рд╡рд┐рд╢рд┐рд╖реНрдЯ рдирд┐рд░реНрдорд╛рдг рдЬрдЯрд┐рд▓ рд╣реЛ рд╕рдХрддрд╛ рд╣реИ рд╕рд╛рдорд╛рдиреНрдп рдЬрдЯрд┐рд▓ рджреНрд░рд╡реНрдпрдорд╛рди рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдХрд╛ рдЙрдкрдЪрд╛рд░ рдЕрддрд┐рд░рд┐рдХреНрдд рд╢рд░реНрддреЛрдВ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИ рдкреЗрдкрд░ рджреЛ рдЦреБрд▓реА рд╕рдорд╕реНрдпрд╛рдПрдВ рдкреНрд░рд╕реНрддреБрдд рдХрд░рддрд╛ рд╣реИ:
рд╕рдорд╕реНрдпрд╛ 1 : рдХреНрдпрд╛ рдПрдХ-рдЖрдпрд╛рдореА рд╕реНрдерд┐рддрд┐ рдХреЗ рд╕рдорд╛рди an = n/D + ╧Ж(n) рдХрд╛ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рдореЗрдВ рдореМрдЬреВрдж рд╣реИ?рд╕рдорд╕реНрдпрд╛ 2 : рд╡рд┐рдХреНрд╖реЛрдн рд╕реНрдерд┐рд░рд╛рдВрдХ C рдХрд╛ рдЗрд╖реНрдЯрддрдо рдорд╛рди рдХреНрдпрд╛ рд╣реИ?рд╕рд┐рджреНрдзрд╛рдВрдд рдирд╡рд╛рдЪрд╛рд░ : рдирдИ рдЕрд╡рдзрд╛рд░рдгрд╛ рдврд╛рдВрдЪрд╛ рдкреНрд░рд╕реНрддреБрдд рдХрд░рддрд╛ рд╣реИ, рд╕рдорд╕реНрдпрд╛ рдХрд╛ рдкреВрд░реА рддрд░рд╣ рдирдпрд╛ рджреГрд╖реНрдЯрд┐рдХреЛрдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрд╡рд┐рдзрд┐ рдирд╡реАрдирддрд╛ : рддреАрди-рдЪрд░рдг рдирд┐рд░реНрдорд╛рдг рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рд╕рд╛рдорд╛рдиреНрдп рд╣реИ, рдЕрдиреНрдп рд╕рдорд╕реНрдпрд╛рдУрдВ рдкрд░ рд▓рд╛рдЧреВ рд╣реЛ рд╕рдХрддрд╛ рд╣реИрдЕрдиреБрдкреНрд░рдпреЛрдЧ рдореВрд▓реНрдп : рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз рдорд╣рддреНрд╡рдкреВрд░реНрдг рднреМрддрд┐рдХ рдЕрд░реНрде рд░рдЦрддрд╛ рд╣реИрдкреНрд░рдорд╛рдг рдХрдареЛрд░рддрд╛ : рдЧрдгрд┐рддреАрдп рддрд░реНрдХ рдкреВрд░реНрдг рдФрд░ рд░рдЪрдирд╛рддреНрдордХ рд╣реИрд╕реНрдерд┐рд░рд╛рдВрдХ рдЕрдиреБрдорд╛рди : рдкреНрд░рдорд╛рдг рдореЗрдВ рд╕реНрдерд┐рд░рд╛рдВрдХ рдЗрд╖реНрдЯрддрдо рдирд╣реАрдВ рд╣реЛ рд╕рдХрддреЗ рд╣реИрдВрдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рдЬрдЯрд┐рд▓рддрд╛ : рджреНрд╡рд┐рднрд╛рдЬрди рдирд┐рд░реНрдорд╛рдг рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреА рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдЬрдЯрд┐рд▓рддрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рд┐рдд рдирд╣реАрдВ рд╣реИрдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдВрддрд░реНрдЬреНрдЮрд╛рди : рдЬреНрдпрд╛рдорд┐рддреАрдп рд╡реНрдпрд╛рдЦреНрдпрд╛ рдХреА рдХрдореА рд╣реИрд╕рд┐рджреНрдзрд╛рдВрдд рдпреЛрдЧрджрд╛рди : рдЕрд╕рддрдд рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреЛ рдирдП рдЙрдкрдХрд░рдг рдФрд░ рджреГрд╖реНрдЯрд┐рдХреЛрдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрдЕрдиреБрдкреНрд░рдпреЛрдЧ рд╕рдВрднрд╛рд╡рдирд╛ : рдХреНрд░рд┐рд╕реНрдЯрд▓реЛрдЧреНрд░рд╛рдлреА рдФрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдЕрдиреБрд╕рдВрдзрд╛рди рдореЗрдВ рд╕рдВрднрд╛рд╡рд┐рдд рдЕрдиреБрдкреНрд░рдпреЛрдЧрдкрджреНрдзрддрд┐ рдореВрд▓реНрдп : рдЧреНрд░рд╛рдл рд╕рд┐рджреНрдзрд╛рдВрдд рд╡рд┐рдзрд┐ рдЕрдиреНрдп рдЧрдгрд┐рддреАрдп рд╕рдорд╕реНрдпрд╛рдУрдВ рдкрд░ рд▓рд╛рдЧреВ рд╣реЛ рд╕рдХрддреА рд╣реИрдЕрд╕рддрдд рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рд╡рд┐рддрд░рдг рд╕рдорд╕реНрдпрд╛рдПрдВ рдлреВрд░рд┐рдпрд░ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдореЗрдВ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдЕрдиреБрд╕рдВрдзрд╛рди рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдбрд╛рдпреЛрдлреЗрдВрдЯрд╛рдЗрди рд╕рдиреНрдирд┐рдХрдЯрди рд╕рдорд╕реНрдпрд╛рдПрдВ рдЧреНрд░рд╛рдл рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдЕрдирдВрдд рдЧреНрд░рд╛рдл рд╕рдореАрдХрд░рдг рд╕рдорд╛рдзрд╛рди рдкреЗрдкрд░ 16 рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдВрджрд░реНрднреЛрдВ рдХрд╛ рд╣рд╡рд╛рд▓рд╛ рджреЗрддрд╛ рд╣реИ, рдЬреЛ Laczkovich рдХреЗ рд╢рд╛рд╕реНрддреНрд░реАрдп рдХрд╛рд░реНрдп рд╕реЗ рд▓реЗрдХрд░ рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдХреЗ рд╣рд╛рд▓ рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рддрдХ рдлреИрд▓реЗ рд╣реБрдП рд╣реИрдВ, рдЬреЛ рд╕рдорд╕реНрдпрд╛ рдХреЗ рдРрддрд┐рд╣рд╛рд╕рд┐рдХ рд╡рд┐рдХрд╛рд╕ рдФрд░ рдЖрдзреБрдирд┐рдХ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдореВрд▓реНрдп рдХреЛ рдкреНрд░рджрд░реНрд╢рд┐рдд рдХрд░рддрд╛ рд╣реИред
рдпрд╣ рдкреЗрдкрд░ рдореЛрдЯреЗ рд╕реНрдерд╛рдирд╛рдВрддрд░рдг-рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдпрддрд╛ рдХреА рдЕрд╡рдзрд╛рд░рдгрд╛ рдкреНрд░рд╕реНрддреБрдд рдХрд░рдХреЗ, рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рдЕрд╕рддрдд рд╕рдореБрдЪреНрдЪрдп рдХреЗ рд▓рд┐рдП рдирдпрд╛ рд▓рдХреНрд╖рдг рд╡рд░реНрдгрди рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ, рди рдХреЗрд╡рд▓ рдПрдХ рдореМрд▓рд┐рдХ рдЧрдгрд┐рддреАрдп рд╕рдорд╕реНрдпрд╛ рдХреЛ рд╣рд▓ рдХрд░рддрд╛ рд╣реИ, рдмрд▓реНрдХрд┐ рдЖрдзреБрдирд┐рдХ рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд╕рд╛рде рдЧрд╣рд░рд╛ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ, рд╢реБрджреНрдз рдЧрдгрд┐рдд рдЕрдиреБрд╕рдВрдзрд╛рди рдХреА рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЧрд╣рд░рд╛рдИ рдФрд░ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдореВрд▓реНрдп рдХреЛ рдкреНрд░рджрд░реНрд╢рд┐рдд рдХрд░рддрд╛ рд╣реИред