2025-11-10T03:14:05.649617

A new description of uniformly spread discrete sets

Dudko, Favorov
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.
academic

рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рдЕрд╕рддрдд рд╕рдореБрдЪреНрдЪрдп рдХрд╛ рдПрдХ рдирдпрд╛ рд╡рд┐рд╡рд░рдг

рдмреБрдирд┐рдпрд╛рджреА рдЬрд╛рдирдХрд╛рд░реА

  • рдкреЗрдкрд░ ID: 2510.11061
  • рд╢реАрд░реНрд╖рдХ: рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рдЕрд╕рддрдд рд╕рдореБрдЪреНрдЪрдп рдХрд╛ рдПрдХ рдирдпрд╛ рд╡рд┐рд╡рд░рдг
  • рд▓реЗрдЦрдХ: A. Dudko, S. Favorov
  • рд╡рд░реНрдЧреАрдХрд░рдг: math.MG (рдореАрдЯреНрд░рд┐рдХ рдЬреНрдпрд╛рдорд┐рддрд┐)
  • рдкреНрд░рдХрд╛рд╢рди рд╕рдордп: 13 рдЕрдХреНрдЯреВрдмрд░ 2025
  • рдкреЗрдкрд░ рд▓рд┐рдВрдХ: https://arxiv.org/abs/2510.11061

рд╕рд╛рд░рд╛рдВрд╢

рдпрд╣ рдкреЗрдкрд░ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ рдХрд┐ рдпреВрдХреНрд▓рд┐рдбреАрдп рдЕрдВрддрд░рд┐рдХреНрд╖ рдореЗрдВ рдкреНрд░рддреНрдпреЗрдХ рдЕрд╕рддрдд рд╕рдореБрдЪреНрдЪрдп рдЬрд┐рд╕рдореЗрдВ рдХрд┐рд╕реА рднреА рд╕реНрдерд╛рдирд╛рдВрддрд░рдг рдХреЗ рддрд╣рдд рдкрд░рд┐рдмрджреНрдз рднрд┐рдиреНрдирддрд╛ рд╣реИ, рд╡рд░реНрдЧ рдЬрд╛рд▓рдХ рдХрд╛ рдПрдХ рдкрд░рд┐рдмрджреНрдз рд╡рд┐рдХреНрд╖реЛрдн рд╣реИ, рдЕрд░реНрдерд╛рддреН Laszkovich рдХреЗ рдЕрд░реНрде рдореЗрдВ рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рд╕рдореБрдЪреНрдЪрдпред рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ, рдкреНрд░рддреНрдпреЗрдХ рдЗрдХрд╛рдИ рджреНрд░рд╡реНрдпрдорд╛рди рдХреЗ рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдХрд╛ рд╕рдорд░реНрдерди рд╕рдореБрдЪреНрдЪрдп рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рд╣реИред

рдЕрдиреБрд╕рдВрдзрд╛рди рдкреГрд╖реНрдарднреВрдорд┐ рдФрд░ рдкреНрд░реЗрд░рдгрд╛

рд╕рдорд╕реНрдпрд╛ рдХреА рдорд╣рддреНрддрд╛

  1. рдРрддрд┐рд╣рд╛рд╕рд┐рдХ рдкреГрд╖реНрдарднреВрдорд┐: рдпрд╣ рдЕрдиреБрд╕рдВрдзрд╛рди Laczkovich рдХреЗ Tarski рдХреА рдкреНрд░рд╕рд┐рджреНрдз рд╕рдорд╕реНрдпрд╛ (рд╡рд░реНрдЧ рдФрд░ рдбрд┐рд╕реНрдХ рдХреЗ рд╡рд┐рдШрдЯрди) рдХреЗ рдкреНрд░рдорд╛рдг рдХреЗ рдПрдХ рдорд╣рддреНрд╡рдкреВрд░реНрдг рднрд╛рдЧ рд╕реЗ рдЙрддреНрдкрдиреНрди рд╣реЛрддрд╛ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рд╕рдорддрд▓ рдкрд░ рддрдерд╛рдХрдерд┐рдд рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рдЕрд╕рддрдд рд╕рдореБрдЪреНрдЪрдп рдХрд╛ рдЕрдзреНрдпрдпрди рд╢рд╛рдорд┐рд▓ рд╣реИред
  2. рдореВрд▓ рд╕рдорд╕реНрдпрд╛: Laszkovich рдиреЗ рджреНрд╡рд┐рдЖрдпрд╛рдореА рд╕реНрдерд┐рддрд┐ рдореЗрдВ рдЕрд╕рддрдд рд╕рдореБрдЪреНрдЪрдп AтКВтДЭ┬▓ рдХреЗ рджреЛ рд╕рдорддреБрд▓реНрдп рд╢рд░реНрддреЗрдВ рд╕реНрдерд╛рдкрд┐рдд рдХреАрдВ:
    • рдПрдХ рд╕реНрдерд┐рд░рд╛рдВрдХ C < тИЮ рдФрд░ рдПрдХ рджреНрд╡рд┐рднрд╛рдЬрди ╧Г: A тЖТ ╬▒^(-1/2)тДд┬▓ рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рдРрд╕рд╛ рдХрд┐ sup_{xтИИA}|╧Г(x)-x| < C
    • рдПрдХ рд╕реНрдерд┐рд░рд╛рдВрдХ C' < тИЮ рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рдРрд╕рд╛ рдХрд┐ рдкреНрд░рддреНрдпреЗрдХ рдкрд░рд┐рдмрджреНрдз Jordan рдХреНрд╖реЗрддреНрд░ H рдХреЗ рд▓рд┐рдП, |#(AтИйH) - ╬▒mтВВ(H)| < C'mтВБ(тИВH)
  3. рд╡рд░реНрддрдорд╛рди рд╕реАрдорд╛рдПрдВ:
    • Laszkovich рдиреЗ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ d > 2 рдХреЗ рд▓рд┐рдП рдкреНрд░рддреНрдпрдХреНрд╖ рд╕рд╛рджреГрд╢реНрдп рдорд╛рдиреНрдп рдирд╣реАрдВ рд╣реИ
    • рд╕рднреА рдореМрдЬреВрджрд╛ рд╢рд░реНрддреЗрдВ рдкреИрд░рд╛рдореАрдЯрд░ ╬▒ тИИ (0,тИЮ) рдкрд░ рдирд┐рд░реНрднрд░ рд╣реИрдВ
    • ╬▒ рд╕реЗ рд╕реНрд╡рддрдВрддреНрд░ рдирд┐рд░реНрдгрдп рдорд╛рдирджрдВрдб рдХрд╛ рдЕрднрд╛рд╡ рд╣реИ
  4. рдЕрдиреБрд╕рдВрдзрд╛рди рдкреНрд░реЗрд░рдгрд╛: рдкреИрд░рд╛рдореАрдЯрд░ ╬▒ рд╕реЗ рд╕реНрд╡рддрдВрддреНрд░ рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рд╕рдореБрдЪреНрдЪрдп рдХреЗ рдирд┐рд░реНрдгрдп рдорд╛рдирджрдВрдб рдХреЛ рдЦреЛрдЬрдирд╛, рдЬреЛ рдЗрд╕ рдкреЗрдкрд░ рдХреА рдореВрд▓ рд╕рдорд╕реНрдпрд╛ рд╣реИред

рдореБрдЦреНрдп рдпреЛрдЧрджрд╛рди

  1. рдирдИ рдЕрд╡рдзрд╛рд░рдгрд╛ рдХрд╛ рдкрд░рд┐рдЪрдп: "рдореЛрдЯреЗ рд╕реНрдерд╛рдирд╛рдВрддрд░рдг-рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╕рдореБрдЪреНрдЪрдп" (roughly shift-invariant set) рдХреА рдЕрд╡рдзрд╛рд░рдгрд╛ рдкреНрд░рд╕реНрддреБрдд рдХреА, рдЬреЛ рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рд╕рдореБрдЪреНрдЪрдп рдХрд╛ рдирдпрд╛ рд▓рдХреНрд╖рдг рд╡рд░реНрдгрди рд╣реИ
  2. рд╕рдорддреБрд▓реНрдпрддрд╛ рд╕реНрдерд╛рдкрдирд╛: рдореЛрдЯреЗ рд╕реНрдерд╛рдирд╛рдВрддрд░рдг-рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдпрддрд╛ рдФрд░ рд╕рдорд╛рди рдкреНрд░рд╕рд╛рд░ рдХреЗ рдмреАрдЪ рд╕рдорддреБрд▓реНрдпрддрд╛ рд╕рдВрдмрдВрдз рд╕рд┐рджреНрдз рдХрд┐рдпрд╛
  3. рдШрдирддреНрд╡ рдЕрд╕реНрддрд┐рддреНрд╡: рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ рдкреНрд░рддреНрдпреЗрдХ рдореЛрдЯреЗ рд╕реНрдерд╛рдирд╛рдВрддрд░рдг-рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╕рдореБрдЪреНрдЪрдп рдореЗрдВ рд╕рдорд╛рди рдШрдирддреНрд╡ рд╣реЛрддрд╛ рд╣реИ
  4. рдЕрдиреБрдкреНрд░рдпреЛрдЧ рд╡рд┐рд╕реНрддрд╛рд░: рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рдмрд╣реБ-рд╕рдореБрдЪреНрдЪрдп рддрдХ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдХрд┐рдпрд╛ рдФрд░ рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдкрд░ рд▓рд╛рдЧреВ рдХрд┐рдпрд╛
  5. рдЧреНрд░рд╛рдл рд╕рд┐рджреНрдзрд╛рдВрдд рдпреЛрдЧрджрд╛рди: рдкреНрд░рдорд╛рдг рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдореЗрдВ рдЕрдирдВрдд рдЧреНрд░рд╛рдл рдкрд░ рд╕рдореАрдХрд░рдг рд╕рдорд╛рдзрд╛рди рдХреЗ рдирдП рдкрд░рд┐рдгрд╛рдо рдкреНрд░рд╛рдкреНрдд рдХрд┐рдП

рд╡рд┐рдзрд┐ рд╡рд┐рд╡рд░рдг

рдХрд╛рд░реНрдп рдкрд░рд┐рднрд╛рд╖рд╛

рдЗрдирдкреБрдЯ: рдпреВрдХреНрд▓рд┐рдбреАрдп рдЕрдВрддрд░рд┐рдХреНрд╖ тДЭс╡И рдореЗрдВ рдЕрд╕рддрдд рд╕рдореБрдЪреНрдЪрдп 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

рддрдХрдиреАрдХреА рдирд╡рд╛рдЪрд╛рд░

  1. рд░рдЪрдирд╛рддреНрдордХ рдкреНрд░рдорд╛рдг: рд╕рдорддреБрд▓реНрдпрддрд╛ рдХреЛ рд╕рд┐рджреНрдз рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рд╕реНрдкрд╖реНрдЯ рджреНрд╡рд┐рднрд╛рдЬрди рдирд┐рд░реНрдорд╛рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рди рдХрд┐ рдЕрд╕реНрддрд┐рддреНрд╡ рдкреНрд░рдорд╛рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ
  2. рддреАрди-рдЪрд░рдг рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо:
    • рдкреНрд░рдердо рдЪрд░рдг: рд╕реНрдерд╛рдиреАрдп рдкрддреНрд░рд╛рдЪрд╛рд░ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдирд╛
    • рджреНрд╡рд┐рддреАрдп рдЪрд░рдг: "рдЦрд░рд╛рдм рдЪрдХреНрд░" рдХреЛ рд╕рдорд╛рдкреНрдд рдХрд░рдирд╛ рддрд╛рдХрд┐ рдорд╛рди рдкреВрд░реНрдгрд╛рдВрдХ рдХреЗ рдирд┐рдХрдЯ рд╣реЛрдВ
    • рддреГрддреАрдп рдЪрд░рдг: рдЬреБрдбрд╝реЗ рд╣реБрдП рдШрдЯрдХреЛрдВ рдкрд░ рдЖрдЧрдорди рджреНрд╡рд╛рд░рд╛ рдкреВрд░реНрдгрд╛рдВрдХ рд╕рдорд╛рдзрд╛рди рдХрд╛ рдирд┐рд░реНрдорд╛рдг
  3. рдЧреНрд░рд╛рдл рд╕рд┐рджреНрдзрд╛рдВрдд рд╡рд┐рдзрд┐: рд╕рдорд╕реНрдпрд╛ рдХреЛ рдЕрдирдВрдд рдЧреНрд░рд╛рдл рдкрд░ рд╕рдореАрдХрд░рдг рд╕рдорд╛рдзрд╛рди рд╕рдорд╕реНрдпрд╛ рдореЗрдВ рд░реВрдкрд╛рдВрддрд░рд┐рдд рдХрд░рдирд╛

рдкреНрд░рд╛рдпреЛрдЧрд┐рдХ рд╕реЗрдЯрдЕрдк

рдпрд╣ рдкреЗрдкрд░ рд╢реБрджреНрдз рдЧрдгрд┐рддреАрдп рд╕рд┐рджреНрдзрд╛рдВрдд рдЕрдиреБрд╕рдВрдзрд╛рди рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдкреНрд░рдпреЛрдЧ рд╢рд╛рдорд┐рд▓ рдирд╣реАрдВ рд╣реИрдВ, рдмрд▓реНрдХрд┐ рд╕рд┐рджреНрдзрд╛рдВрдд рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдХрдареЛрд░ рдЧрдгрд┐рддреАрдп рдкреНрд░рдорд╛рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗред

рдкреНрд░рдорд╛рдг рд░рдгрдиреАрддрд┐

  1. рд╕рд╣рд╛рдпрдХ рдкреНрд░рд╕реНрддрд╛рд╡: 4 рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рд╣рд╛рдпрдХ рдкреНрд░рд╕реНрддрд╛рд╡реЛрдВ рдХреА рд╕реНрдерд╛рдкрдирд╛, рдЬрд┐рд╕рдореЗрдВ рдмрд┐рдВрджреБ рдЧрдгрдирд╛ рдХреА рд╕реНрдерд╛рдиреАрдп рдкрд░рд┐рдмрджреНрдзрддрд╛ рдФрд░ рдПрдХрд░реВрдкрддрд╛ рд╢рд╛рдорд┐рд▓ рд╣реИ
  2. рдШрдирддреНрд╡ рддрд░реНрдХ: Cauchy рдЕрдиреБрдХреНрд░рдо рдХреА рд╡рд┐рдзрд┐ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдШрдирддреНрд╡ рд╕реАрдорд╛ рдХреЗ рдЕрд╕реНрддрд┐рддреНрд╡ рдХреЛ рд╕рд┐рджреНрдз рдХрд░рдирд╛
  3. рд░рдЪрдирд╛рддреНрдордХ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо: рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдорд╛рдзрд╛рди рдХреЛ рдкреВрд░реНрдгрд╛рдВрдХ рд╕рдорд╛рдзрд╛рди рдореЗрдВ рд░реВрдкрд╛рдВрддрд░рд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рддреАрди-рдЪрд░рдг рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдбрд┐рдЬрд╛рдЗрди рдХрд░рдирд╛

рдореБрдЦреНрдп рддрдХрдиреАрдХреА рд╡рд┐рд╡рд░рдг

рдкреНрд░рд╕реНрддрд╛рд╡ 1: K < тИЮ рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рд╣реИ рдРрд╕рд╛ рдХрд┐ #(AтИйQ(x,1)) < K рд╕рднреА x рдХреЗ рд▓рд┐рдП, рдФрд░:

#(AтИйQ(x,N)) тЙд KNс╡И

рдкреНрд░рд╕реНрддрд╛рд╡ 2: рдкрд░реНрдпрд╛рдкреНрдд рдмрдбрд╝реЗ N рдХреЗ рд▓рд┐рдП:

|#(AтИйQ(x,N)) - #(AтИйQ(0,N))| < N^(d-1/2)

рдпреЗ рдЕрдиреБрдорд╛рди рдмрд╛рдж рдХреЗ рдирд┐рд░реНрдорд╛рдг рдХреЗ рд▓рд┐рдП рдЖрдзрд╛рд░ рд╣реИрдВред

рдкреНрд░рд╛рдпреЛрдЧрд┐рдХ рдкрд░рд┐рдгрд╛рдо

рдореБрдЦреНрдп рдкрд░рд┐рдгрд╛рдо

  1. рдШрдирддреНрд╡ рд╕реВрддреНрд░: рдореЛрдЯреЗ рд╕реНрдерд╛рдирд╛рдВрддрд░рдг-рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╕рдореБрдЪреНрдЪрдп A рдХреЗ рд▓рд┐рдП:
    #(AтИйB(x,R)) = DmтВР(B(x,R)) + O(R^(d-1))
    
  2. рд╡рд┐рдХреНрд╖реЛрдн рд╕реАрдорд╛: рдПрдХ рджреНрд╡рд┐рднрд╛рдЬрди рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рдРрд╕рд╛ рдХрд┐ рдкреНрд░рддреНрдпреЗрдХ рдмрд┐рдВрджреБ рдХрд╛ рд╡рд┐рд╕реНрдерд╛рдкрди рд╕реНрдерд┐рд░рд╛рдВрдХ C рд╕реЗ рдЕрдзрд┐рдХ рди рд╣реЛ
  3. рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдкрд░рд┐рдгрд╛рдо: рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рдмрд╣реБ-рд╕рдореБрдЪреНрдЪрдп рд╕реНрдерд┐рддрд┐ рддрдХ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдХрд┐рдпрд╛, рд╕рдорд╛рди рдЧреБрдгреЛрдВ рдХреЛ рдмрдирд╛рдП рд░рдЦрддреЗ рд╣реБрдП

рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдкрд░рд┐рдгрд╛рдо

рдкреНрд░рдореЗрдп 6 (рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓): рдХрд┐рд╕реА рднреА рдЗрдХрд╛рдИ рджреНрд░рд╡реНрдпрдорд╛рди рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдХреЗ рд╕рдорд░реНрдерди рд╕рдореБрдЪреНрдЪрдп ╬Ы рдХреЗ рд▓рд┐рдП, тДЭс╡И рдореЗрдВ x рдХреЗ рд╕рдВрдмрдВрдз рдореЗрдВ рд╕рдорд╛рди рд░реВрдк рд╕реЗ:

#(╬ЫтИйB(x,R)) = DmтВР(B(x,R)) + O(R^(d-1))

рдФрд░ рдПрдХ рджреНрд╡рд┐рднрд╛рдЬрди ╧Г: D^(-1/d)тДдс╡И тЖТ ╬Ы рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рд╣реИ рдРрд╕рд╛ рдХрд┐ ╬╗ = h + O(1)ред

рд╕рдВрдмрдВрдзрд┐рдд рдХрд╛рд░реНрдп

рдРрддрд┐рд╣рд╛рд╕рд┐рдХ рд╡рд┐рдХрд╛рд╕

  1. Laczkovich (1990, 1992): рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рд╕рдореБрдЪреНрдЪрдп рдХрд╛ рд╢рд╛рд╕реНрддреНрд░реАрдп рд╕рд┐рджреНрдзрд╛рдВрдд рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛
  2. Kurasov & Sarnak (2020): рдкрд╣рд▓рд╛ рдЧреИрд░-рддреБрдЪреНрдЫ рдЗрдХрд╛рдИ рджреНрд░рд╡реНрдпрдорд╛рди рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдЙрджрд╛рд╣рд░рдг рджрд┐рдпрд╛
  3. Olevsky & Ulanovskii (2020): рдПрдХ-рдЖрдпрд╛рдореА рд╕реНрдерд┐рддрд┐ рдореЗрдВ рдкреВрд░реНрдг рд▓рдХреНрд╖рдг рд╡рд░реНрдгрди рд╕рд┐рджреНрдз рдХрд┐рдпрд╛

рдЗрд╕ рдкреЗрдкрд░ рдХрд╛ рдпреЛрдЧрджрд╛рди

  • рдШрдирддреНрд╡ рдкреИрд░рд╛рдореАрдЯрд░ рд╕реЗ рд╕реНрд╡рддрдВрддреНрд░ рдирдпрд╛ рд▓рдХреНрд╖рдг рд╡рд░реНрдгрди рдкреНрд░рджрд╛рди рдХрд┐рдпрд╛
  • рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛
  • рдЕрдирдВрдд рдЧреНрд░рд╛рдл рд╕рдореАрдХрд░рдг рд╕рдВрднрд╛рд▓рдиреЗ рдХреА рдирдИ рд╡рд┐рдзрд┐ рд╡рд┐рдХрд╕рд┐рдд рдХреА

рдирд┐рд╖реНрдХрд░реНрд╖ рдФрд░ рдЪрд░реНрдЪрд╛

рдореБрдЦреНрдп рдирд┐рд╖реНрдХрд░реНрд╖

  1. рдореЛрдЯреЗ рд╕реНрдерд╛рдирд╛рдВрддрд░рдг-рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдпрддрд╛ рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рд╕рдореБрдЪреНрдЪрдп рдХреЛ рдкреВрд░реА рддрд░рд╣ рд╕реЗ рд▓рдХреНрд╖рдгрд┐рдд рдХрд░рддреА рд╣реИ
  2. рдкреНрд░рддреНрдпреЗрдХ рдРрд╕реЗ рд╕рдореБрдЪреНрдЪрдп рдореЗрдВ рд╕реНрдкрд╖реНрдЯ рд░реВрдк рд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдШрдирддреНрд╡ рд╣реЛрддрд╛ рд╣реИ
  3. рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдХреЗ рд╕рдорд░реНрдерди рд╕рдореБрдЪреНрдЪрдп рдореЗрдВ рдЕрдЪреНрдЫреЗ рд╡рд┐рддрд░рдг рдЧреБрдг рд╣реЛрддреЗ рд╣реИрдВ

рд╕реАрдорд╛рдПрдВ

  1. рд╕реНрдерд┐рд░рд╛рдВрдХ C рдХреА рдЗрд╖реНрдЯрддрдорддрд╛ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдирд╣реАрдВ рд╣реИ
  2. рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рд╕реНрдерд┐рддрд┐ рдореЗрдВ рд╡рд┐рд╢рд┐рд╖реНрдЯ рдирд┐рд░реНрдорд╛рдг рдЬрдЯрд┐рд▓ рд╣реЛ рд╕рдХрддрд╛ рд╣реИ
  3. рд╕рд╛рдорд╛рдиреНрдп рдЬрдЯрд┐рд▓ рджреНрд░рд╡реНрдпрдорд╛рди рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдХрд╛ рдЙрдкрдЪрд╛рд░ рдЕрддрд┐рд░рд┐рдХреНрдд рд╢рд░реНрддреЛрдВ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИ

рднрд╡рд┐рд╖реНрдп рдХреА рджрд┐рд╢рд╛рдПрдВ

рдкреЗрдкрд░ рджреЛ рдЦреБрд▓реА рд╕рдорд╕реНрдпрд╛рдПрдВ рдкреНрд░рд╕реНрддреБрдд рдХрд░рддрд╛ рд╣реИ:

  1. рд╕рдорд╕реНрдпрд╛ 1: рдХреНрдпрд╛ рдПрдХ-рдЖрдпрд╛рдореА рд╕реНрдерд┐рддрд┐ рдХреЗ рд╕рдорд╛рди an = n/D + ╧Ж(n) рдХрд╛ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рдореЗрдВ рдореМрдЬреВрдж рд╣реИ?
  2. рд╕рдорд╕реНрдпрд╛ 2: рд╡рд┐рдХреНрд╖реЛрдн рд╕реНрдерд┐рд░рд╛рдВрдХ C рдХрд╛ рдЗрд╖реНрдЯрддрдо рдорд╛рди рдХреНрдпрд╛ рд╣реИ?

рдЧрд╣рди рдореВрд▓реНрдпрд╛рдВрдХрди

рд▓рд╛рдн

  1. рд╕рд┐рджреНрдзрд╛рдВрдд рдирд╡рд╛рдЪрд╛рд░: рдирдИ рдЕрд╡рдзрд╛рд░рдгрд╛ рдврд╛рдВрдЪрд╛ рдкреНрд░рд╕реНрддреБрдд рдХрд░рддрд╛ рд╣реИ, рд╕рдорд╕реНрдпрд╛ рдХрд╛ рдкреВрд░реА рддрд░рд╣ рдирдпрд╛ рджреГрд╖реНрдЯрд┐рдХреЛрдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ
  2. рд╡рд┐рдзрд┐ рдирд╡реАрдирддрд╛: рддреАрди-рдЪрд░рдг рдирд┐рд░реНрдорд╛рдг рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рд╕рд╛рдорд╛рдиреНрдп рд╣реИ, рдЕрдиреНрдп рд╕рдорд╕реНрдпрд╛рдУрдВ рдкрд░ рд▓рд╛рдЧреВ рд╣реЛ рд╕рдХрддрд╛ рд╣реИ
  3. рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдореВрд▓реНрдп: рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз рдорд╣рддреНрд╡рдкреВрд░реНрдг рднреМрддрд┐рдХ рдЕрд░реНрде рд░рдЦрддрд╛ рд╣реИ
  4. рдкреНрд░рдорд╛рдг рдХрдареЛрд░рддрд╛: рдЧрдгрд┐рддреАрдп рддрд░реНрдХ рдкреВрд░реНрдг рдФрд░ рд░рдЪрдирд╛рддреНрдордХ рд╣реИ

рдХрдорд┐рдпрд╛рдВ

  1. рд╕реНрдерд┐рд░рд╛рдВрдХ рдЕрдиреБрдорд╛рди: рдкреНрд░рдорд╛рдг рдореЗрдВ рд╕реНрдерд┐рд░рд╛рдВрдХ рдЗрд╖реНрдЯрддрдо рдирд╣реАрдВ рд╣реЛ рд╕рдХрддреЗ рд╣реИрдВ
  2. рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рдЬрдЯрд┐рд▓рддрд╛: рджреНрд╡рд┐рднрд╛рдЬрди рдирд┐рд░реНрдорд╛рдг рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреА рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдЬрдЯрд┐рд▓рддрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рд┐рдд рдирд╣реАрдВ рд╣реИ
  3. рдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдВрддрд░реНрдЬреНрдЮрд╛рди: рдЬреНрдпрд╛рдорд┐рддреАрдп рд╡реНрдпрд╛рдЦреНрдпрд╛ рдХреА рдХрдореА рд╣реИ

рдкреНрд░рднрд╛рд╡

  1. рд╕рд┐рджреНрдзрд╛рдВрдд рдпреЛрдЧрджрд╛рди: рдЕрд╕рддрдд рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреЛ рдирдП рдЙрдкрдХрд░рдг рдФрд░ рджреГрд╖реНрдЯрд┐рдХреЛрдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ
  2. рдЕрдиреБрдкреНрд░рдпреЛрдЧ рд╕рдВрднрд╛рд╡рдирд╛: рдХреНрд░рд┐рд╕реНрдЯрд▓реЛрдЧреНрд░рд╛рдлреА рдФрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдЕрдиреБрд╕рдВрдзрд╛рди рдореЗрдВ рд╕рдВрднрд╛рд╡рд┐рдд рдЕрдиреБрдкреНрд░рдпреЛрдЧ
  3. рдкрджреНрдзрддрд┐ рдореВрд▓реНрдп: рдЧреНрд░рд╛рдл рд╕рд┐рджреНрдзрд╛рдВрдд рд╡рд┐рдзрд┐ рдЕрдиреНрдп рдЧрдгрд┐рддреАрдп рд╕рдорд╕реНрдпрд╛рдУрдВ рдкрд░ рд▓рд╛рдЧреВ рд╣реЛ рд╕рдХрддреА рд╣реИ

рд▓рд╛рдЧреВ рдкрд░рд┐рджреГрд╢реНрдп

  • рдЕрд╕рддрдд рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рд╡рд┐рддрд░рдг рд╕рдорд╕реНрдпрд╛рдПрдВ
  • рдлреВрд░рд┐рдпрд░ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдореЗрдВ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдЕрдиреБрд╕рдВрдзрд╛рди
  • рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдбрд╛рдпреЛрдлреЗрдВрдЯрд╛рдЗрди рд╕рдиреНрдирд┐рдХрдЯрди рд╕рдорд╕реНрдпрд╛рдПрдВ
  • рдЧреНрд░рд╛рдл рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдЕрдирдВрдд рдЧреНрд░рд╛рдл рд╕рдореАрдХрд░рдг рд╕рдорд╛рдзрд╛рди

рд╕рдВрджрд░реНрдн

рдкреЗрдкрд░ 16 рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдВрджрд░реНрднреЛрдВ рдХрд╛ рд╣рд╡рд╛рд▓рд╛ рджреЗрддрд╛ рд╣реИ, рдЬреЛ Laczkovich рдХреЗ рд╢рд╛рд╕реНрддреНрд░реАрдп рдХрд╛рд░реНрдп рд╕реЗ рд▓реЗрдХрд░ рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рдХреЗ рд╣рд╛рд▓ рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рддрдХ рдлреИрд▓реЗ рд╣реБрдП рд╣реИрдВ, рдЬреЛ рд╕рдорд╕реНрдпрд╛ рдХреЗ рдРрддрд┐рд╣рд╛рд╕рд┐рдХ рд╡рд┐рдХрд╛рд╕ рдФрд░ рдЖрдзреБрдирд┐рдХ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдореВрд▓реНрдп рдХреЛ рдкреНрд░рджрд░реНрд╢рд┐рдд рдХрд░рддрд╛ рд╣реИред


рдпрд╣ рдкреЗрдкрд░ рдореЛрдЯреЗ рд╕реНрдерд╛рдирд╛рдВрддрд░рдг-рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдпрддрд╛ рдХреА рдЕрд╡рдзрд╛рд░рдгрд╛ рдкреНрд░рд╕реНрддреБрдд рдХрд░рдХреЗ, рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдкреНрд░рд╕рд╛рд░рд┐рдд рдЕрд╕рддрдд рд╕рдореБрдЪреНрдЪрдп рдХреЗ рд▓рд┐рдП рдирдпрд╛ рд▓рдХреНрд╖рдг рд╡рд░реНрдгрди рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ, рди рдХреЗрд╡рд▓ рдПрдХ рдореМрд▓рд┐рдХ рдЧрдгрд┐рддреАрдп рд╕рдорд╕реНрдпрд╛ рдХреЛ рд╣рд▓ рдХрд░рддрд╛ рд╣реИ, рдмрд▓реНрдХрд┐ рдЖрдзреБрдирд┐рдХ рдлреВрд░рд┐рдпрд░ рдЕрд░реНрдз-рдХреНрд░рд┐рд╕реНрдЯрд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд╕рд╛рде рдЧрд╣рд░рд╛ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ, рд╢реБрджреНрдз рдЧрдгрд┐рдд рдЕрдиреБрд╕рдВрдзрд╛рди рдХреА рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЧрд╣рд░рд╛рдИ рдФрд░ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдореВрд▓реНрдп рдХреЛ рдкреНрд░рджрд░реНрд╢рд┐рдд рдХрд░рддрд╛ рд╣реИред