پژوهش هونگ وانگ و جاشوا زال تحت عنوان «تخمین حجم برای اجتماع مجموعه‌های محدب و حدس مجموعه کاکیا در سه بُعد» به طور مستقیم به اثبات کران‌های پایین حجمی برای خانواده‌ای از لوله‌های استوانه‌ای ${\delta}$ در فضای ${\mathbb{R}^3}$ می‌پردازد ((هونگ وانگ و جاشوا زال، مقاله Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions، آرشیو arXiv:2502.17655، سال ۲۰۲۵ میلادی)). در این چارچوب، مسئله بدون توسل به مقدمات تاریخی، مستقیماً به عنوان یک قضیه در [[نظریه اندازه هندسی]] در مورد کنترل تداخل و هم‌پوشانی مجموعه‌های محدب هم‌مرز صورت‌بندی می‌شود.
<قضیه اصلی (قضیه ۱.۱ مقاله): به ازای هر ${\varepsilon > 0}$، ثابتی مانند ${C_\varepsilon > 0}$ وجود دارد به طوری که اگر ${\mathbb{T}}$ خانواده‌ای از لوله‌های ${\delta}$ در فضای ${\mathbb{R}^3}$ باشد که جهت‌های آن‌ها ${\delta}$-جداشده باشند، آنگاه حجم اجتماع آن‌ها کران پایین ${\operatorname{Vol}(\bigcup_{T \in \mathbb{T}} T) \ge C_\varepsilon \delta^\varepsilon \sum_{T \in \mathbb{T}} \operatorname{Vol}(T)}$ را ارضا می‌کند. در نتیجه، هر مجموعه بزیکوویچ در ${\mathbb{R}^3}$ دارای بُعد مینکوفسکی و [[بُعد هاسدورف]] برابر با ۳ است.>
# تعاریف پایه و صورت‌بندی گسسته در مقیاس دلتا #
فرض کنید ${\delta > 0}$ پارامتر مقیاس کوچکی باشد. یک **لوله ${\delta}$** که با نماد ${T}$ نمایش داده می‌شود، استوانه‌ای هم‌مرز در ${\mathbb{R}^3}$ به طول ${1}$ و شعاع مقطع ${\delta}$ است که در امتداد یک پاره‌خط واحد با بردار جهت ${\omega(T) \in \mathbb{S}^2}$ قرار دارد. حجم هر لوله منفرد از مرتبه ${\operatorname{Vol}(T) \sim \delta^2}$ است.
برای دقیق کردن نحوه توزیع لوله‌ها در فضا، مقاله از مفهوم **«شرایط توزیع کاتز-تائو»** و **«شمارش چندگانگی»** استفاده می‌کند:
* **جدایی جهتی و شرط غیرمتمرکز بودن:** مجموعه لوله‌های ${\mathbb{T}}$ را دارای جهت‌های ${\delta}$-جداشده می‌نامیم هرگاه برای هر دو لوله متمایز ${T, T' \in \mathbb{T}}$، فاصله زاویه‌ای بردارهای جهت آن‌ها در نامساوی ${\angle(\omega(T), \omega(T')) \ge \delta}$ صدق کند. در حالت کلی‌تر، خانواده ${\mathbb{T}}$ در شرط توزیع دوگان با توان ${s}$ صدق می‌کند اگر در هر کلاهک کروی به شعاع ${\rho}$ روی کره واحد ${\mathbb{S}^2}$، تعداد جهت‌ها از مرتبه ${\rho^s}$ کنترل شود.
* **سایه‌زنی «Shading» و تابع چگالی:** به هر لوله ${T \in \mathbb{T}}$ یک زیرمجموعه اندازه‌پذیر ${Y(T) \subset T}$ نسبت داده می‌شود که در آن ${\operatorname{Vol}(Y(T)) \ge \lambda \operatorname{Vol}(T)}$ است (${0 < \lambda \le 1}$ پارامتر تراکم سایه‌زنی است). تابع چندگانگی یا هم‌پوشانی در هر نقطه ${x \in \mathbb{R}^3}$ به صورت زیر تعریف می‌شود:
$$
\mu_{\mathbb{T}, Y}(x) = \sum_{T \in \mathbb{T}} \chi_{Y(T)}(x)
$$
هدف اثبات، نشان دادن این است که مقدار میانگین چندگانگی ${\mu_{\mathbb{T}, Y}}$ روی تکیه‌گاه اجتماع لوله‌ها نمی‌تواند بزرگ‌تر از ${\delta^{-\varepsilon}}$ باشد. از آنجا که انتگرال ${\mu_{\mathbb{T}, Y}}$ روی کل فضا برابر با ${\sum_{T \in \mathbb{T}} \operatorname{Vol}(Y(T))}$ است، برقراری کران بالا بر روی چندگانگی مستقیماً به کران پایین بر روی حجم اجتماع منجر می‌شود:
$$
\operatorname{Vol}\left( \bigcup_{T \in \mathbb{T}} Y(T) \right) \ge \frac{\sum_{T \in \mathbb{T}} \operatorname{Vol}(Y(T))}{\|\mu_{\mathbb{T}, Y}\|_{L^\infty}}
$$
# هندسه مجموعه‌های محدب و منشورهای میانی #
بخش محوری مقاله، تعمیم مطالعه از «لوله‌های استوانه‌ای متقارن» به **«مجموعه‌های محدب با ابعاد سهگانه دلخواه»** است. هر مجموعه محدب فشرده ${U \subset \mathbb{R}^3}$ طبق لم جان «John's Ellipsoid Lemma» با یک بیضی‌گون یا متوازی‌السطوح مستطیلی هم‌مرز با ابعاد ${a \le b \le c}$ تقریب زده می‌شود.
در ساختار اثبات وانگ و زال، علاوه بر لوله‌های اولیه با ابعاد ${\delta \times \delta \times 1}$، دو رده از مجموعه‌های محدب میانی نقش اساسی ایفا می‌کنند:
1. **منشورها یا تخته‌های مسطح «Slabs / Prisms»:** مجموعه‌های محدب ${P}$ با ابعاد تقریبی ${\delta \times \rho \times 1}$ که در آن ${\delta \le \rho \le 1}$ است. این منشورها زمانی ظاهر می‌شوند که زیرخانواده‌ای از لوله‌های ${\mathbb{T}}$ در مقیاس میانی ${\rho}$ در مجاورت یک صفحه دوبعدی متمرکز شوند.
2. **لوله‌های ضخیم‌شده در مقیاس درشت:** استوانه‌هایی با ابعاد ${\rho \times \rho \times 1}$ که به عنوان پوششی در مقیاس ${\rho}$ برای دسته‌بندی لوله‌های اولیه به کار می‌روند.
برای هر منشور ${P}$ با ابعاد ${a \times b \times c}$، بردار یکه عمود بر صفحه پهن‌ترین وجه آن (در راستای بُعد کوچک ${a}$) به عنوان «بردار نرمال منشور» ${n(P) \in \mathbb{S}^2}$ تعریف می‌گردد. اگر لوله‌ای مانند ${T}$ در درون منشور ${P}$ قرار گیرد (${T \subset P}$)، بردار جهت لوله باید تقریباً بر بردار نرمال منشور عمود باشد:
$$
|\omega(T) \cdot n(P)| \lesssim \frac{a}{c} = \delta
$$
# ساختار استقرا روی مقیاس و گزاره اصلی کاهش مقیاس #
اثبات قضیه اصلی از طریق یک حلقه استقرایی روی پارامتر مقیاس ${\delta}$ و پارامتر تمرکز میانی پیش می‌رود. برای این منظور، نویسندگان گزاره‌ای کلی درباره اجتماع مجموعه‌های محدب درون یک خانواده پوششی تدوین می‌کنند.
فرض کنید ${\mathbb{U}}$ خانواده‌ای از مجموعه‌های محدب هم‌مرز با ابعاد ${\delta \times \rho \times 1}$ باشد. ما دو خاصیت ساختاری متضاد را برای آرایش اعضای ${\mathbb{U}}$ تعریف می‌کنیم:
## ۱. خاصیت غیردسته شدن درونی «Non-Clustering Property» ##
می‌گوییم خانواده ${\mathbb{U}}$ در مقیاس‌های بزرگ‌تر از ${\rho}$ دچار «دسته شدن صفحه‌ای» نمی‌شود، هرگاه برای هر مقیاس میانی ${\tilde{\rho} \in (\rho, 1)}$ و هر منشور بزرگ‌تر ${\tilde{P}}$ با ابعاد ${\delta \times \tilde{\rho} \times 1}$، تعداد اعضای ${U \in \mathbb{U}}$ که درون ${\tilde{P}}$ قرار می‌گیرند، از حد مجازِ ناشی از تراکم طبیعی تجاوز نکند:
$$
\#\{ U \in \mathbb{U} : U \subset \tilde{P} \} \le \Delta_{\text{max}}(\tilde{\rho})
$$
## ۲. خاصیت تمرکز ماکسیمال روی منشورها ##
در حالت مقابل، اگر خاصیت اول نقض شود، مقیاس بحرانی ${\rho^* \in (\delta, 1]}$ وجود دارد که در آن می‌توان خانواده اولیه لوله‌ها را به زیرخانواده‌هایی افراز کرد که هر زیرخانواده به طور متراکم درون یک منشور محدب ${P \in \mathbb{P}}$ با ابعاد ${\delta \times \rho^* \times 1}$ جای گرفته است:
$$
\mathbb{T} = \bigsqcup_{P \in \mathbb{P}} \mathbb{T}[P], \quad \forall T \in \mathbb{T}[P] : T \subset P
$$
<ایده کلیدی استقرا: با اعمال یک تبدیل آفین خطی که منشور ${P}$ با ابعاد ${\delta \times \rho^* \times 1}$ را در راستای ضخامتش با ضریب ${1/\rho^*}$ بازنگاشت «Rescale» می‌کند، منشور ${P}$ به یک لوله استاندارد با ابعاد ${\tilde{\delta} \times 1 \times 1}$ (با مقیاس جدید ${\tilde{\delta} = \delta/\rho^*}$) تبدیل می‌شود و لوله‌های ${T \in \mathbb{T}[P]}$ به لوله‌هایی در مقیاس درشت‌تر تبدیل می‌گردند.>
بنابراین، مسئله به دو بخش مجزا تقسیم می‌شود:
* **بخش درون‌منشوری:** محاسبه حجم اجتماع لوله‌های ${\mathbb{T}[P]}$ در داخل یک منشور منفرد ${P}$ (که یک مسئله تقریباً دوبعدی با ضخامت ${\delta}$ است).
* **بخش برون‌منشوری:** محاسبه نحوه هم‌پوشانی خودِ منشورهای محدب ${P \in \mathbb{P}}$ در فضای سه‌بعدی ${\mathbb{R}^3}$.
# تحلیل برخورد منشورها: عرضیت، دوجانبگی و چندگانگی تنگ #
سخت‌ترین بخش فنی مقاله، اثبات این است که منشورهای محدب ${\mathbb{P}}$ با ابعاد ${\delta \times \rho \times 1}$ نمی‌توانند بدون آنکه در منشورهای پهن‌تری ادغام شوند، هم‌پوشانی بیش از حد داشته باشند. اگر دو منشور ${P_1}$ و ${P_2}$ در نقطه‌ای مانند ${x}$ یکدیگر را قطع کنند، شکل هندسی تقاطع ${P_1 \cap P_2}$ به زاویه میان بردارهای نرمال آن‌ها یعنی ${\theta = \angle(n(P_1), n(P_2))}$ بستگی دارد:
$$
\operatorname{Vol}(P_1 \cap P_2) \lesssim \frac{\delta^2 \rho}{\sin\theta + (\delta/\rho)}
$$
نویسندگان برای کنترل تقاطع‌های چندگانه، از **«برآوردهای سه‌خطی و چندخطی عرضی»** «Broad / Transverse Multilinear Estimates» استفاده می‌کنند:
## ۱. حالت عرضی «Broad Case» ##
اگر در یک گوی کوچک ${B_\delta(x)}$ از فضا، منشورهایی که از آن گوی عبور می‌کنند دارای بردارهای نرمال ${n(P)}$ باشند که در یک کلاهک باریک یا روی یک دایره عظیمه متمرکز نشده‌اند، می‌توان سه زیرخانواده ${\mathbb{P}_1, \mathbb{P}_2, \mathbb{P}_3}$ یافت که بردارهای نرمال آن‌ها به طور یکنواخت مستقل خطی هستند:
$$
\left| n(P_1) \wedge n(P_2) \wedge n(P_3) \right| \ge \nu > 0
$$
در این وضعیت، با بهره‌گیری از نامساوی سه‌خطی بنت-کاربری-تائو «Bennett-Carbery-Tao Multilinear Kakeya Inequality»، انتگرال حاصل‌ضرب توابع مشخصه در گوی‌های مقیاس ${\delta}$ کنترل می‌شود:
$$
\int_{\mathbb{R}^3} \left( \sum_{P_1 \in \mathbb{P}_1} \chi_{P_1} \right)^{\frac{1}{2}} \left( \sum_{P_2 \in \mathbb{P}_2} \chi_{P_2} \right)^{\frac{1}{2}} \left( \sum_{P_3 \in \mathbb{P}_3} \chi_{P_3} \right)^{\frac{1}{2}} dx \lesssim \delta^{-\varepsilon} \left( \#\mathbb{P}_1 \, \#\mathbb{P}_2 \, \#\mathbb{P}_3 \right)^{\frac{1}{2}} \delta^3
$$
## ۲. حالت تنگ یا هم‌صفحه برای نرمال‌ها «Narrow Case» ##
اگر در نقطه ${x}$، تقریباً تمام بردارهای نرمال منشورهای عبوری در همسایگی باریکی به عرض ${\tau}$ حول یک دایره عظیمه روی ${\mathbb{S}^2}$ قرار بگیرند، به این معناست که بردارهای عمود بر این نرمال‌ها همگی یک راستا یا محور مشترک ${v(x) \in \mathbb{S}^2}$ را مشخص می‌کنند. از نظر هندسی، این وضعیت نشان می‌دهد که تمام منشورهای متقاطع در نقطه ${x}$، حول یک خط مشترک به موازات بردار ${v(x)}$ چرخیده‌اند (پدیده **«محور چرخش مشترک»** یا ساختار کتاب‌گونه «Book-like Structure»).
در این حالت، بخش مشترک منشورها، یک استوانه یا لوله در امتداد بردار ${v(x)}$ را تشکیل می‌دهد. مقاله با ردیابی میدان برداریِ جهت‌های ${v(x)}$ و استفاده از قضایای نظم‌دهی ترکیبیاتی نشان می‌دهد که این محورهای مشترک خودشان یک خانواده از لوله‌های کاکیا را شکل می‌دهند که جهت‌هایشان نمی‌تواند بدون نقض فرض «عدم دسته شدن ماکسیمال» متمرکز شود.
# تحلیل فوریه و تفکیک فرکانس بالا و فرکانس پایین #
برای تکمیل حلقه استقرا در حالتی که تقاطع‌ها در زاویه‌های میانی رخ می‌دهند، وانگ و زال از [[آنالیز هارمونیک]] و خواص تبدیل فوریه توابع هموارشده روی مجموعه‌های محدب بهره می‌گیرند.
برای هر منشور یا لوله ${U}$ با ابعاد ${a \times b \times c}$، مجموعه دوگان در فضای فرکانس که با ${U^*}$ نمایش داده می‌شود، یک متوازی‌السطوح مستطیلی مزدوج در مبدا فضای فوریه ${\widehat{\mathbb{R}}^3}$ با ابعاد معکوس است:
$$
\operatorname{Dim}(U^*) = a^{-1} \times b^{-1} \times c^{-1} = \delta^{-1} \times \rho^{-1} \times 1
$$
با انتخاب یک تابع پنجره هموار ${\psi_U}$ که روی ${U}$ متمرکز است و تبدیل فوریه آن ${\widehat{\psi}_U(\xi)}$ دارای تکیه‌گاه فشرده روی مجموعه دوگان ${U^*}$ است، تابع چگالی کل به دو مولفه فرکانسی تجزیه می‌گردد:
$$
f(x) = \sum_{U \in \mathbb{U}} \psi_U(x) = \left( f * \check{\eta}_{\text{low}} \right)(x) + \left( f * \check{\eta}_{\text{high}} \right)(x) = f_{\text{low}}(x) + f_{\text{high}}(x)
$$
که در آن ${\eta_{\text{low}}(\xi)}$ تابع برش فرکانسی روی گوی به شعاع ${\rho^{-1} \delta^{-\varepsilon}}$ است:
1. **تحلیل بخش فرکانس پایین (${f_{\text{low}}}$):** چون فرکانس‌های بالای ${\rho^{-1}}$ حذف شده‌اند، تابع ${f_{\text{low}}}$ در مقیاس‌های کوچک‌تر از ${\rho}$ تقریباً ثابت است. این یعنی ضخامت ${\delta}$ منشورها به ضخامت مؤثر ${\rho}$ پهن (تار) شده است. در نتیجه، برآورد نرم ${L^p}$ برای ${f_{\text{low}}}$ مستقیماً به مسئله کاکیا در مقیاس درشت‌تر (${\rho}$ به جای ${\delta}$) فروکاسته شده و از فرض استقرا نتیجه می‌شود.
2. **تحلیل بخش فرکانس بالا (${f_{\text{high}}}$):** در فضای فرکانس، خارج از گوی شعاع ${\rho^{-1}}$، متوازی‌السطوح‌های دوگان ${U^*}$ که دارای ابعاد ${\delta^{-1} \times \rho^{-1} \times 1}$ هستند، به دلیل تفاوت در جهت‌گیری منشورها، هم‌پوشانی بسیار کمی با یکدیگر دارند. با اعمال **قضیه پلانشرل** و نامساوی کوشی-شوارتز در فضای فرکانس، نرم ${L^2}$ بخش فرکانس بالا به صورت متعامد جمع بسته می‌شود:
$$
\int_{\mathbb{R}^3} |f_{\text{high}}(x)|^2 \, dx = \int_{\widehat{\mathbb{R}}^3} |\widehat{f}_{\text{high}}(\xi)|^2 \, d\xi \le \|\Omega_{\text{overlap}}\|_{L^\infty(\xi)} \sum_{U \in \mathbb{U}} \int_{\mathbb{R}^3} |\psi_U(x)|^2 \, dx
$$
کنترل هم‌پوشانی مجموعه دوگان ${\Omega_{\text{overlap}}(\xi)}$ در فرکانس‌های بالا ثابت می‌کند که اگر بخش فرکانس بالا غالب باشد، انرژی کل به شدت کوچک می‌شود که این به نوبه خود کران پایین بهینه برای حجم تکیه‌گاه ${f}$ را به دست می‌دهد.
# جمع‌بندی گام‌های استنتاج نهایی در مقاله #
ترکیب این ابزارها، زنجیره منطقی اثبات قضیه ۱.۱ را کامل می‌کند:
* هر آرایش دلخواه از لوله‌های ${\mathbb{T}}$ با جهت‌های ${\delta}$-جداشده، توسط یک الگوریتم حریصانه چندمقیاسی به تجمعاتی از منشورهای محدب در دنباله‌ای از مقیاس‌ها ${\delta = \rho_0 < \rho_1 < \dots < \rho_k = 1}$ افراز می‌شود.
* در هر پله از مقیاس ${\rho_j}$ به ${\rho_{j+1}}$، به دلیل برقراری شرط «غیردسته شدن ماکسیمال» در آن مقیاس، ترکیبی از برآورد سه‌خطی عرضی و تجزیه فرکانس بالا/پایین فوریه نشان می‌دهد که اتلاف حجم در گذار بین دو مقیاس حداکثر از مرتبه ${\left( \rho_{j+1}/\rho_j \right)^\varepsilon}$ است.
* با ضرب کردن این کران‌ها در طول کل زنجیره مقیاس‌ها، نامساوی نهایی حجم بدون هیچ افت نمایی در توان ${\delta}$ حاصل می‌گردد:
$$
\operatorname{Vol}\left( \bigcup_{T \in \mathbb{T}} T \right) \ge C_\varepsilon \, \delta^\varepsilon \left( \#\mathbb{T} \cdot \delta^2 \right)
$$
برای یک مجموعه کاکیا (بزیکوویچ) که حاوی پاره‌خطی در تمام جهات ${\mathbb{S}^2}$ است، تعداد لوله‌های ${\delta}$-جداشده برابر با ${\#\mathbb{T} \sim \delta^{-2}}$ است؛ بنابراین حجم همسایگی ${\delta}$ مجموعه از مرتبه ${\ge C_\varepsilon \delta^\varepsilon}$ باقی می‌ماند که بلافاصله نتیجه می‌دهد ${\dim_H(K) = \dim_M(K) = 3}$.