In this article, we establish optimality results regarding the dynamical Borel-Cantelli lemma and the the Hausdorff dimension of certain dynamical diophantine sets.
рдкреЗрдкрд░ ID : 2505.21464рд╢реАрд░реНрд╖рдХ : рдзреАрдореА рдмрд╣реБрдкрдж рдорд┐рд╢реНрд░рдг, рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рд▓реЗрдореНрдорд╛ рдФрд░ рдЧрддрд┐рд╢реАрд▓ Diophantine рд╕рдореБрдЪреНрдЪрдп рдХрд╛ Hausdorff рдЖрдпрд╛рдорд▓реЗрдЦрдХ : E. Daviaud (рд▓реАрдЬ рд╡рд┐рд╢реНрд╡рд╡рд┐рджреНрдпрд╛рд▓рдп)рд╡рд░реНрдЧреАрдХрд░рдг : math.NT (рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд), math.DS (рдЧрддрд┐рд╢реАрд▓ рдкреНрд░рдгрд╛рд▓реА), math.MG (рдореАрдЯреНрд░рд┐рдХ рдЬреНрдпрд╛рдорд┐рддрд┐)рдкреНрд░рдХрд╛рд╢рди рд╕рдордп : 25 рдЕрдХреНрдЯреВрдмрд░ 2025 (arXiv v2)рдкреЗрдкрд░ рд▓рд┐рдВрдХ : https://arxiv.org/abs/2505.21464 рдЗрд╕ рдкреЗрдкрд░ рдореЗрдВ, рд▓реЗрдЦрдХ рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рд▓реЗрдореНрдорд╛ рдФрд░ рдХреБрдЫ рдЧрддрд┐рд╢реАрд▓ Diophantine рд╕рдореБрдЪреНрдЪрдп рдХреЗ Hausdorff рдЖрдпрд╛рдо рдХреЗ рд╕рдВрдмрдВрдз рдореЗрдВ рдЗрд╖реНрдЯрддрдо рдкрд░рд┐рдгрд╛рдо рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИред
Diophantine рд╕рдиреНрдирд┐рдХрдЯрди рд╕рд┐рджреНрдзрд╛рдВрдд : рдпрд╣ рдЕрдиреБрд╕рдВрдзрд╛рди рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ Dirichlet рдХреЗ рдХрд╛рд░реНрдп рд╕реЗ рдЙрддреНрдкрдиреНрди рд╣реЛрддрд╛ рд╣реИ, рдЬреЛ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХреЗ рдкрд░рд┐рдореЗрдп рд╕рдВрдЦреНрдпрд╛рдУрдВ рджреНрд╡рд╛рд░рд╛ рд╕рдиреНрдирд┐рдХрдЯрди рдХреА рдЧрддрд┐ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИред Dirichlet рдиреЗ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ рдХрд┐рд╕реА рднреА рдЕрдкрд░рд┐рдореЗрдп рд╕рдВрдЦреНрдпрд╛ x рдХреЗ рд▓рд┐рдП, рдЕрдирдВрдд рдХрдИ рд╕рд╣рдЕрднрд╛рдЬреНрдп рдкреВрд░реНрдгрд╛рдВрдХ рдпреБрдЧреНрдо (p,q) рдореМрдЬреВрдж рд╣реИрдВ рдЬреИрд╕реЗ рдХрд┐ |x - p/q| тЙд 1/q┬▓редрдЧрддрд┐рд╢реАрд▓ рд╕рд╛рджреГрд╢реНрдп : рдЧрддрд┐рд╢реАрд▓ рдкреНрд░рдгрд╛рд▓рд┐рдпреЛрдВ рдореЗрдВ, рдХрдХреНрд╖рд╛ рд╕рдиреНрдирд┐рдХрдЯрди рдХреА рд╕рдорд╛рди рд╕рдорд╕реНрдпрд╛рдПрдВ рд╕реНрд╡рд╛рднрд╛рд╡рд┐рдХ рд░реВрдк рд╕реЗ рдЙрддреНрдкрдиреНрди рд╣реЛрддреА рд╣реИрдВред рджрд┐рдП рдЧрдП рдорд╛рдкрдиреАрдп рдорд╛рдирдЪрд┐рддреНрд░ T: тДЭс╡И тЖТ тДЭс╡И рдФрд░ T-ergodic рдорд╛рдк ╬╝ рдХреЗ рд▓рд┐рдП, рд╕рдореБрдЪреНрдЪрдп {x : ||TтБ┐(xтВА) - x||тИЮ тЙд 1/nс╡И i.o.} рдХреЗ рдорд╛рдк рдФрд░ Hausdorff рдЖрдпрд╛рдо рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░реЗрдВредрдореМрдЬреВрджрд╛ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреА рд╕реАрдорд╛рдПрдВ :Galatolo рдиреЗ 5 рдореЗрдВ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ рдШрд╛рддрд╛рдВрдХреАрдп рдорд┐рд╢реНрд░рдг рдкреНрд░рдгрд╛рд▓рд┐рдпрд╛рдВ рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рд▓реЗрдореНрдорд╛ рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддреА рд╣реИрдВ 3 рдореЗрдВ (╬│,╧Ж)-рдорд┐рд╢реНрд░рдг рдЧреБрдг рдХреЗ рддрд╣рдд рдкрд░рд┐рдгрд╛рдо рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдП рдЧрдП рдереЗ, рд▓реЗрдХрд┐рди рдорд┐рд╢реНрд░рдг рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреА рдЗрд╖реНрдЯрддрдорддрд╛ рдЕрдЬреНрдЮрд╛рдд рдереАрдпрд╣ рдкреЗрдкрд░ рд╕рд╛рд╣рд┐рддреНрдп 3 рдореЗрдВ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдорд┐рд╢реНрд░рдг рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреА рдЗрд╖реНрдЯрддрдорддрд╛ рдХреЛ рд╕рд┐рджреНрдз рдХрд░рдиреЗ рдХрд╛ рд▓рдХреНрд╖реНрдп рд░рдЦрддрд╛ рд╣реИ, рдЬреЛ рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рд▓реЗрдореНрдорд╛ рдФрд░ рд╢рд╛рд╕реНрддреНрд░реАрдп рдЧрддрд┐рд╢реАрд▓ Diophantine рд╕рдореБрдЪреНрдЪрдп рдХреЗ рдЖрдпрд╛рдо рдЕрдиреБрдорд╛рди рджреЛрдиреЛрдВ рдХреЗ рд▓рд┐рдП рдорд╛рдиреНрдп рд╣реИред
Galatolo-Rousseau-Saussol рдЙрджрд╛рд╣рд░рдг рдореЗрдВ рд╕реБрдзрд╛рд░ : рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ рдпрд╣ рдЙрджрд╛рд╣рд░рдг (9, n тЖж C/n╦в)-рдорд┐рд╢реНрд░рдг рд╣реИ, рдЬрд╣рд╛рдВ 0 < s тЙд 1редрдЗрд╖реНрдЯрддрдорддрд╛ рдкрд░рд┐рдгрд╛рдо рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдП : Lebesgue рдорд╛рдк рдХреЗ рд▓рдЧрднрдЧ рдкреНрд░рддреНрдпреЗрдХ xтВА рдХреЗ рд▓рд┐рдП рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐dimтВХ{x : ||TтБ┐(xтВА) - x||тИЮ тЙд 1/n^(1/3) i.o.} < 3
рдорд┐рд╢реНрд░рдг рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреА рдЗрд╖реНрдЯрддрдорддрд╛ рд╕рд┐рджреНрдз рдХреА : рджрд┐рдЦрд╛рдпрд╛ рдХрд┐ (╬│, n тЖж C/n^(1+╬╡))-рдорд┐рд╢реНрд░рдг Borel-Cantelli рд▓реЗрдореНрдорд╛ рдФрд░ рдЖрдпрд╛рдо рд╕реВрддреНрд░ рдХреЛ рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдкрд░реНрдпрд╛рдкреНрдд рд╣реИ, рдЬрдмрдХрд┐ (╬│, n тЖж C/n^(1-╬╡))-рдорд┐рд╢реНрд░рдг рдЕрдкрд░реНрдпрд╛рдкреНрдд рд╣реИредрдЧрддрд┐рд╢реАрд▓ рдкреНрд░рдгрд╛рд▓реА (T,╬╝) рдореЗрдВ рджреЛ рдореМрд▓рд┐рдХ рд╕рдорд╕реНрдпрд╛рдУрдВ рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░реЗрдВ:
рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рд▓реЗрдореНрдорд╛: рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░реЗрдВ рдХрд┐ ╬╝({x : TтБ┐(x) тИИ B(xтВА,rтВЩ) i.o.}) рдХрдм 0 рдпрд╛ 1 рдХреЗ рдмрд░рд╛рдмрд░ рд╣реИ рдЧрддрд┐рд╢реАрд▓ Diophantine рд╕рдореБрдЪреНрдЪрдп рдХреЗ Hausdorff рдЖрдпрд╛рдо рдХреА рдЧрдгрдирд╛ ergodic рдкреНрд░рдгрд╛рд▓реА (T,╬╝) рдХреЗ рд▓рд┐рдП, рдпрджрд┐ рдкреНрд░рддреНрдпреЗрдХ рдЧреЛрд▓реЗ A,B рдФрд░ рдкреНрд░рддреНрдпреЗрдХ n тИИ тДХ рдХреЗ рд▓рд┐рдП:
╬╝(TтБ╗тБ┐(A) тИй B) тЙд ╬│╬╝(A)╬╝(B) + ╧Ж(n)╬╝(A)
рддреЛ рдкреНрд░рдгрд╛рд▓реА рдХреЛ (╬│,╧Ж)-рдорд┐рд╢реНрд░рдг рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИред
╬▒ тИИ тДЭ┬▓ рдХреЗ рд▓рд┐рдП, рдЗрд╕рдХрд╛ Diophantine рд░реИрдЦрд┐рдХ рд░реВрдк рдкрд░рд┐рднрд╛рд╖рд┐рдд рд╣реИ:
╬│тВЧ(╬▒) = inf{╬│ тЙе 0 : тИГC > 0, dтДд(╬▒┬╖k) тЙе C/||k||тИЮ^╬│, тИАk тИИ тДд┬▓}
рдорд╛рдирдЪрд┐рддреНрд░ SтВР: ЁЭХЛ┬╣ ├Ч ЁЭХЛ┬▓ тЖТ ЁЭХЛ┬│ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВ, рдкрд░рд┐рднрд╛рд╖рд┐рдд:
SтВР(x,t) = (2x, t + ╬▒╧З[0,1/2[(x))
рдЬрд╣рд╛рдВ ╬▒ тИИ тДЭ┬▓ рдирд┐рд░реНрджреЗрд╢рд╛рдВрдХ рдЕрдкрд░рд┐рдореЗрдп рд╕рдВрдмрдВрдзрд┐рдд рд╕рджрд┐рд╢ рд╣реИред
Proposition 2.1 рдХреЗ рдЕрдиреБрд╕рд╛рд░, ╬▒тВБ,╬▒тВВ тИИ тДЭ рдореМрдЬреВрдж рд╣реИрдВ рдЬреИрд╕реЗ рдХрд┐:
рдЙрдирдХреЗ рдирд┐рд░рдВрддрд░ рднрд┐рдиреНрди рд╡рд┐рд╕реНрддрд╛рд░ рдХреЗ рдЖрдВрд╢рд┐рдХ рднрд╛рдЬрдХ рд╡рд┐рд╢реЗрд╖ рд╕рдВрдмрдВрдз рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддреЗ рд╣реИрдВ ╬│тВЧ(╬▒тВБ,╬▒тВВ) = 16 рд╕реВрдХреНрд╖реНрдо рдорд┐рд╢реНрд░рдг рд╡рд┐рд╢реНрд▓реЗрд╖рдг : dyadic рдШрдиреЛрдВ рдХреЗ рд╡рд┐рдШрдЯрди рдФрд░ Abel рдпреЛрдЧ рд╕реВрддреНрд░ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рдорд┐рд╢реНрд░рдг рджрд░ рдХрд╛ рд╕рдЯреАрдХ рдЕрдиреБрдорд╛рдиредрдЖрдпрд╛рдо рдЧрдгрдирд╛ рддрдХрдиреАрдХреЗрдВ : рдирд┐рд░рдВрддрд░ рднрд┐рдиреНрди рд╕рд┐рджреНрдзрд╛рдВрдд рдФрд░ Diophantine рд╕рдиреНрдирд┐рдХрдЯрди рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ, Hausdorff рдЖрдпрд╛рдо рдХреЗ рдКрдкрд░реА рд╕реАрдорд╛ рдЕрдиреБрдорд╛рдиредрдЗрд╖реНрдЯрддрдорддрд╛ рдкреНрд░рдорд╛рдг рд░рдгрдиреАрддрд┐ : рдареЛрд╕ рдкреНрд░рддрд┐рдЙрджрд╛рд╣рд░рдгреЛрдВ рдХреЗ рдирд┐рд░реНрдорд╛рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреА рддреАрдХреНрд╖реНрдгрддрд╛ рд╕рд┐рджреНрдз рдХрд░рдирд╛редрдпрд╣ рдкреЗрдкрд░ рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдХрд╛рд░реНрдп рд╣реИ, рдЬреЛ рдХрдареЛрд░ рдЧрдгрд┐рддреАрдп рдкреНрд░рдорд╛рдгреЛрдВ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ, рди рдХрд┐ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдкреНрд░рдпреЛрдЧреЛрдВ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗред
Theorem 3.1 : 2D рдЯреЛрд░рд╕ рдкрд░ рдШреВрд░реНрдгрди рдХреЗ рдЕрдВрддрд░ рдЕрдиреБрдорд╛рди рдХрд╛ рдЙрдкрдпреЛрдЧLemma 3.2 : рд╡рд┐рднрд┐рдиреНрди рдорд┐рд╢реНрд░рдг рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреА рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐ рдХреА рд╕рдорд╛рдирддрд╛ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдирд╛рдкреНрд░рдердо рднрд╛рдЧ : рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ (SтВР,тДТ┬│) (9, n тЖж C/n╦в)-рдорд┐рд╢реНрд░рдг рд╣реИ, рдЬрд╣рд╛рдВ s = 1/╬│, ╬│ > 16редрджреНрд╡рд┐рддреАрдп рднрд╛рдЧ : рдкреНрд░рддреНрдпреЗрдХ xтВА рдХреЗ рд▓рд┐рдП:dimтВХ{x : ||TтБ┐(xтВА) - x||тИЮ тЙд 1/n^(1/3) i.o.} < 3
Abel рдпреЛрдЧ рдФрд░ dyadic рд╡рд┐рдШрдЯрди рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рдкреНрд░рд╛рдкреНрдд:
тДТ┬│(SтБ╗тБ┐тВР(A) тИй B) тЙд 9тДТ┬│(A) ├Ч тДТ┬│(B) + ╬╖/n^(1/╬│) ├Ч тДТ┬│(A)
Proposition 4.1 рдореЗрдВ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛:
dimтВХ{y тИИ ЁЭХЛ┬▓ : ||k╬▒ - y||тИЮ тЙд 1/k^(1/3) i.o.} < 2
рд╢рд╛рд╕реНрддреНрд░реАрдп Diophantine рд╕рдиреНрдирд┐рдХрдЯрди : Jarnik-Besicovitch рдкреНрд░рдореЗрдп рдФрд░ рдЗрд╕рдХреЗ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдгрдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рд▓реЗрдореНрдорд╛ : Chernov-Kleinbock рдФрд░ Galatolo рдХрд╛ рдХрд╛рд░реНрдпрднрдЧреНрди рдЬреНрдпрд╛рдорд┐рддрд┐ : Hausdorff рдЖрдпрд╛рдо рдХреА рдЧрдгрдирд╛ рд╡рд┐рдзрд┐рдпрд╛рдВ10 рдореЗрдВ Galatolo-Saussol-Rousseau рдХреЗ рдЙрджрд╛рд╣рд░рдг рдореЗрдВ рд╕реБрдзрд╛рд░3 рдореЗрдВ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдврд╛рдВрдЪреЗ рдХреЛ рдкреВрд░реНрдг рдХрд░рдирд╛9 рдореЗрдВ (╬│,╧Ж)-рдорд┐рд╢реНрд░рдг рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд╕рд╛рде рдкреНрд░рддрд┐рдзреНрд╡рдирд┐рд╕рд╛рд╣рд┐рддреНрдп 3 рдореЗрдВ рдорд┐рд╢реНрд░рдг рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреА рдЗрд╖реНрдЯрддрдорддрд╛ рд╕рд┐рджреНрдз рдХреА рдЧрддрд┐рд╢реАрд▓ Diophantine рд╕рдореБрдЪреНрдЪрдп рдХреЗ Hausdorff рдЖрдпрд╛рдо рдХреЗ рд╕рдЯреАрдХ рдЕрдиреБрдорд╛рди рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдП рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рдкреВрд░реНрдг рдХрд┐рдпрд╛ рдпрд╣ рдкрд░рд┐рдгрд╛рдо рджрд░реНрд╢рд╛рддрд╛ рд╣реИ рдХрд┐:
(╬│, n тЖж C/n^(1+╬╡))-рдорд┐рд╢реНрд░рдг Borel-Cantelli рд▓реЗрдореНрдорд╛ рдХреЛ рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рд╕рдмрд╕реЗ рдХрдордЬреЛрд░ рдкрд░реНрдпрд╛рдкреНрдд рд╕реНрдерд┐рддрд┐ рд╣реИ рдЖрдпрд╛рдо рд╕реВрддреНрд░ dimтВХ = 1/╬┤ рдЗрд╖реНрдЯрддрдо рдорд┐рд╢реНрд░рдг рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреЗ рддрд╣рдд рдорд╛рдиреНрдп рд╣реИ рдЙрдЪреНрдЪ рдЖрдпрд╛рдореА рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдореЗрдВ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рдЕрдиреНрдп рдкреНрд░рдХрд╛рд░ рдХреА рдЧрддрд┐рд╢реАрд▓ рдкреНрд░рдгрд╛рд▓рд┐рдпреЛрдВ рдХрд╛ рдЕрдзреНрдпрдпрди рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдЕрдиреБрдкреНрд░рдпреЛрдЧреЛрдВ рдХреА рдЦреЛрдЬ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдкреВрд░реНрдгрддрд╛ : рдорд┐рд╢реНрд░рдг рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреА рдЗрд╖реНрдЯрддрдорддрд╛ рдХрд╛ рдкреВрд░реНрдг рд▓рдХреНрд╖рдг рд╡рд░реНрдгрди рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрддрдХрдиреАрдХреА рдХреМрд╢рд▓ : рдЧрддрд┐рд╢реАрд▓ рдкреНрд░рдгрд╛рд▓реА рд╕рд┐рджреНрдзрд╛рдВрдд, Diophantine рд╕рдиреНрдирд┐рдХрдЯрди рдФрд░ рднрдЧреНрди рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреЛ рдЪрддреБрд░рд╛рдИ рд╕реЗ рд╕рдВрдпреЛрдЬрд┐рдд рдХрд░рддрд╛ рд╣реИрддреАрдХреНрд╖реНрдг рдкрд░рд┐рдгрд╛рдо : рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рд╕реАрдорд╛ рдХреА рд╕рдЯреАрдХрддрд╛ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИрд╡рд┐рдзрд┐ рдирд╡рд╛рдЪрд╛рд░ : рдореМрдЬреВрджрд╛ рдирд┐рд░реНрдорд╛рдгреЛрдВ рдореЗрдВ рд╕реБрдзрд╛рд░ рдХрд░рддрд╛ рд╣реИ, рдирдИ рд╡рд┐рд╢реНрд▓реЗрд╖рдгрд╛рддреНрдордХ рддрдХрдиреАрдХреЗрдВ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрдирд┐рд░реНрдорд╛рдг рд╡рд┐рд╢реЗрд╖рддрд╛ : рд╡рд┐рд╢реЗрд╖ рдореБрдбрд╝реЗ рд╣реБрдП рдЙрддреНрдкрд╛рдж рдорд╛рдирдЪрд┐рддреНрд░ рдирд┐рд░реНрдорд╛рдг рдкрд░ рдирд┐рд░реНрднрд░рдЖрдпрд╛рдо рд╕реАрдорд╛ : рдореБрдЦреНрдп рдкрд░рд┐рдгрд╛рдо 3D рдЯреЛрд░рд╕ рддрдХ рд╕реАрдорд┐рддрддрдХрдиреАрдХреА рдЬрдЯрд┐рд▓рддрд╛ : рдкреНрд░рдорд╛рдг рдХрдИ рдЧрд╣рди рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХреЛ рд╢рд╛рдорд┐рд▓ рдХрд░рддреЗ рд╣реИрдВ, рд╕рдордЭрдиреЗ рдХреА рджрд╣рд▓реАрдЬ рдЕрдзрд┐рдХ рд╣реИрд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдпреЛрдЧрджрд╛рди : рдЧрддрд┐рд╢реАрд▓ Diophantine рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рдкреВрд░реНрдг рдХрд░рддрд╛ рд╣реИрд╡рд┐рдзрд┐ рдореВрд▓реНрдп : рдкреНрд░рджрд╛рди рдХреА рдЧрдИ рддрдХрдиреАрдХреЗрдВ рд╕рдорд╛рди рд╕рдорд╕реНрдпрд╛рдУрдВ рдкрд░ рд▓рд╛рдЧреВ рд╣реЛ рд╕рдХрддреА рд╣реИрдВрд╡рд┐рд╖рдп рдЕрдВрддрд░реНрд╕рдВрдмрдВрдз : рдЧрддрд┐рд╢реАрд▓ рдкреНрд░рдгрд╛рд▓реА рдФрд░ рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдмреАрдЪ рд╕рд╣рдпреЛрдЧ рдХреЛ рдмрдврд╝рд╛рд╡рд╛ рджреЗрддрд╛ рд╣реИрдпрд╣ рд╡рд┐рдзрд┐ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдХреЗ рд▓рд┐рдП рд▓рд╛рдЧреВ рд╣реИ:
рдЧрддрд┐рд╢реАрд▓ рдкреНрд░рдгрд╛рд▓рд┐рдпреЛрдВ рдореЗрдВ рдорд┐рд╢реНрд░рдг рдЧреБрдгреЛрдВ рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди Diophantine рд╕рдиреНрдирд┐рдХрдЯрди рдХрд╛ рдЧрддрд┐рд╢реАрд▓ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рднрдЧреНрди рд╕рдореБрдЪреНрдЪрдп рдХреЗ рдЖрдпрд╛рдо рдХреА рдЧрдгрдирд╛ рдкреЗрдкрд░ 10 рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдВрджрд░реНрднреЛрдВ рдХрд╛ рд╣рд╡рд╛рд▓рд╛ рджреЗрддрд╛ рд╣реИ, рдЬрд┐рдирдореЗрдВ рд╢рд╛рдорд┐рд▓ рд╣реИрдВ:
Beresnevitch-Velani рдХрд╛ рджреНрд░рд╡реНрдпрдорд╛рди рд╕реНрдерд╛рдирд╛рдВрддрд░рдг рд╕рд┐рджреНрдзрд╛рдВрдд Galatolo рдХрд╛ рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рдкрд░ рдХрд╛рд░реНрдп Koukoulopoulos-Maynard рдХрд╛ Duffin-Schaeffer рдЕрдиреБрдорд╛рди рдкрд░ рдкрд░рд┐рдгрд╛рдо рд╢рд╛рд╕реНрддреНрд░реАрдп рднрдЧреНрди рдЬреНрдпрд╛рдорд┐рддрд┐ рдкрд╛рдареНрдпрдкреБрд╕реНрддрдХреЗрдВ (Falconer) рдпрд╣ рдкреЗрдкрд░ рдЧрддрд┐рд╢реАрд▓ рдкреНрд░рдгрд╛рд▓реА рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдПрдХ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдпреЛрдЧрджрд╛рди рд╣реИ, рдЬреЛ рд╕реБрдВрджрд░ рдирд┐рд░реНрдорд╛рдг рдФрд░ рдЧрд╣рди рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рдкреВрд░реНрдг рдХрд░рддрд╛ рд╣реИ рдФрд░ рд╕рдВрдмрдВрдзрд┐рдд рдХреНрд╖реЗрддреНрд░реЛрдВ рдХреЛ рдирдИ рдЕрдВрддрд░реНрджреГрд╖реНрдЯрд┐ рдФрд░ рд╡рд┐рдзрд┐рдпрд╛рдВ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИред