مسئله کاکیا در [[ریاضیات محض]] به بررسی یک رفتار هندسی شگفت‌انگیز می‌پردازد: اگر در یک مجموعه، در هر جهت دلخواه از فضا یک سوزن (پاره‌خطی به طول ۱) قرار دهیم، این خطوط در مجموع چقدر فضا اشغال می‌کنند؟ سوفو کاکیا در سال ۱۹۱۷ این معما را مطرح کرد ((سوفو کاکیا، سال ۱۹۱۷ میلادی)) و مدتی بعد، آبرام بزیکوویچ کشف کرد که می‌توان با بُرش دادن شکل‌ها و لغزاندن آن‌ها روی یکدیگر، کاری کرد که حجم کلاسیک یا همان [[اندازه لبگ]] کل شکل برابر با «صفر» شود ((آبرام بزیکوویچ، سال ۱۹۱۹ میلادی)). یعنی این شکل هندسی با وجود داشتن خطوطی در تمام جهت‌ها، گنجایش یا حجمی مانند آب درون یک بطری ندارد.
اما پرسش اصلی که بیش از یک قرن بی‌پاسخ ماند این بود: آیا حجمِ صفر به این معناست که این خطوط درون یک صفحه نازک جمع شده‌اند، یا آنکه همچنان کل فضای سه‌بعدی را اشغال کرده‌اند؟ در فوریه ۲۰۲۵، هونگ وانگ و جاشوا زال با اثباتی جامع نشان دادند که این ساختارها، هرچند حجم سنتی ندارند، اما از نظر هندسی و فراکتالی تمامِ فضای سه‌بعدی را پوشش می‌دهند ((هونگ وانگ و جاشوا زال، مقاله Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions، سال ۲۰۲۵ میلادی)).
<لبّ کلام قضیه: اگر مجموعه‌ای در فضای سه‌بعدی داشته باشیم که در هر زاویه و جهتی یک سوزن به طول ۱ درون آن جا بگیرد، حتی اگر حجم معمولی آن صفر باشد، «بُعد هاسدورف» و «بُعد مینکوفسکی» آن دقیقاً برابر با ۳ است و به هیچ وجه نمی‌تواند به بعد کمتری فروکاسته شود.>
# تفاوت حجم معمولی و بُعد فراکتالی #
برای درک این مسئله، باید میان «حجم» و «بُعد» تفاوت قائل شد:
* **حجم صفر:** به این معناست که اگر بخواهیم درون این مجموعه مایعی بریزیم، گنجایش آن صفر است.
* **بُعد هاسدورف و مینکوفسکی:** معیارهایی هستند که نشان می‌دهند یک مجموعه با چه نرخی فضا را پر می‌کند. به عنوان مثال، یک صفحه کاغذی دوبعدی ضخامت و حجم سه بعدی ندارد، اما بُعد آن ۲ است. یک منحنی برف‌دانه کخ مساحتی ندارد، اما به دلیل چین‌خوردگی‌های بی‌نهایت، بُعدی بین ۱ و ۲ دارد.
حدس کاکیا ادعا می‌کرد که خطوطِ یک مجموعه کاکیا نمی‌توانند مانند یک تکه کاغذ تخت باشند؛ بلکه چیدمان زاویه‌ای آن‌ها چنان آشفته و فراگیر است که بُعد فراکتالی مجموعه در جهان سه‌بعدی باید حتماً عدد کامل **۳** باشد:
$$
\dim_H(K) = \dim_M(K) = 3
$$
در سال ۱۹۷۱ اثبات شده بود که این حدس در صفحه دوبعدی درست است و بعد آن برابر با ۲ می‌شود ((روی دیویس، ۱۹۷۱ میلادی))، اما رفتار خطوط در فضای سه‌بعدی چالشی بسیار بزرگ‌تر پیش روی ریاضی‌دانان گذاشت.
# مدل‌سازی با لوله‌های باریک #
ریاضی‌دانان برای بررسی این مسئله، سوزن‌های بدون ضخامت را با **لوله‌ها یا استوانه‌های بسیار باریک** جایگزین می‌کنند. فرض کنید لوله‌ای به طول ۱ و ضخامت بسیار ناچیز ${\delta}$ داریم.
اگر تعداد زیادی از این لوله‌ها را در جهت‌های مختلف فضا کنار هم قرار دهیم، پرسش به این نامساوی تبدیل می‌شود: این لوله‌ها در متراکم‌ترین حالت چقدر می‌توانند درون هم فرو بروند و هم‌پوشانی داشته باشند؟ آیا ممکن است آن‌چنان درون هم غرق شوند که حجم کل اجتماع آن‌ها ناچیز شود؟
حدس کاکیا در قالب نامساوی لوله‌ها بیان می‌کند که حجم اجتماع لوله‌ها نمی‌تواند بیش از حد کوچک شود و از یک کران مشخص پایین‌تر نمی‌آید:
$$
\operatorname{Vol}\left( \bigcup_{T} T \right) \ge C_\varepsilon \, \delta^\varepsilon \sum_{T} \operatorname{Vol}(T)
$$
# گره اصلی در فضای سه‌بعدی: صفحات و رویه‌های خمیده #
چرا حل مسئله در فضای سه‌بعدی نیم قرن طول کشید؟ زیرا در سه بعد، خطوط می‌توانند رفتارهای فریبنده‌ای داشته باشند:
1. **تمرکز روی صفحات:** تعداد زیادی لوله با جهت‌های مختلف می‌توانند هم‌زمان روی یک سطح صاف (مثل یک ورقه تخته) بخوابند. در این حالت لوله‌ها در جهات مختلف‌اند، اما در فضا پخش نشده‌اند و فقط یک صفحه دو بعدی را پر کرده‌اند.
2. **رویه‌های خط‌دار:** سطوح خمیده‌ای وجود دارند (مانند یک برج خنک‌کننده نیروگاه یا هذلولی‌گون) که علی‌رغم انحنا، از خطوط راست بافته شده‌اند. لوله‌ها می‌توانند روی پوست این شکل‌ها سر بخورند و حجم کمی اشغال کنند، بدون آنکه خطوط با هم موازی باشند.
ریاضی‌دانان بزرگی مانند توماس ولف و ترنس تائو با روش‌های گوناگون بعد این مجموعه‌ها را تا حدود ۲.۵ رسانده بودند، اما برای رسیدن به عدد کامل ۳، باید راهی پیدا می‌شد که این پدیده «چسبیدن لوله‌ها به صفحات و سطوح» مهار شود.
# راهکار وانگ و زال برای حل مسئله #
اثبات ۱۲۷ صفحه‌ای وانگ و زال از چهار سازوکار کلیدی تشکیل شده است:
## ۱. نگاه کردن به منشورها به جای لوله‌ها ##
آن‌ها متوجه شدند زمانی که لوله‌ها روی یک صفحه جمع می‌شوند، با هم یک شیء جدید می‌سازند: چیزی شبیه به یک تخته گوشت یا منشور بسیار پهن و نازک. بنابراین، مسئله به جای لوله‌ها، به دسته‌هایی از این «منشورهای محدب» تبدیل شد.
## ۲. کوچک‌نمایی و بزرگ‌نمایی (استقرا روی مقیاس) ##
اگر دسته‌ای از لوله‌ها درون یک منشور نازک گیر افتاده باشند، می‌توان با یک تغییر مقیاس ریاضی، ضخامت آن منشور را باز کرد و آن را شبیه به یک لوله جدید در مقیاسی بزرگ‌تر دید. این کار باعث می‌شود همان ساختار درشت‌تر دوباره ارزیابی شود و اجازه ندهد خطاها در مقیاس‌های ریز متوقف شوند.
## ۳. بررسی زاویه تقاطع منشورها ##
وقتی منشورها با هم برخورد می‌کنند، دو حالت دارد: یا با زاویه مشخص از درون هم رد می‌شوند (مانند دو تیغه شمشیر)، که در این صورت حجم تقاطعشان ناچیز است؛ یا اینکه حول یک محور مشترک می‌چرخند (مانند برگه‌های یک کتاب). وانگ و زال نشان دادند که جهت این محورهای مشترک خودشان رفتاری مستقل دارند و نمی‌توانند در حجم ناچیز فشرده شوند.
## ۴. ارتباط با امواج نوری و تبدیل فوریه ##
در بخش نهایی، وانگ و زال از [[آنالیز هارمونیک]] کمک گرفتند. از نظر ریاضی، یک لوله باریک شبیه به یک موج نوری بسیار متمرکز است. تبدیل فوریه به ما می‌گوید که امواج نوری متمرکز، در فضای بسامد پخش می‌شوند. با جدا کردن فرکانس‌های بالا و پایین، آن‌ها اثبات کردند که تداخل این امواج نمی‌تواند اثر یکدیگر را به گونه‌ای خنثی کند که بعد مجموعه از ۳ کمتر شود.
# چرا این مسئله در فیزیک اهمیت دارد؟ #
پرتوهای نور، امواج رادیویی و امواج گرانشی در فضا دقیقاً در امتداد خطوط و لوله‌های باریک منتشر می‌شوند.
* در [[معادلات دیفرانسیل جزئی]] که رفتار امواج را توصیف می‌کنند، همگرایی امواج می‌تواند به تمرکز فاجعه‌بار انرژی در یک نقطه منجر شود. اثبات حدس کاکیا تضمین می‌کند که پرتوهایی که از جهات مختلف می‌آیند، نمی‌توانند در مجموعه‌ای با بعد کمتر از فضا متراکم شوند.
* این دستاورد به فیزیک‌دانان ریاضی کمک می‌کند تا پایداری و رفتار درازمدت جواب‌های معادلات موج و شرودینگر را در غیاب تکینگی بهتر درک کنند.
بدین ترتیب، مسئله‌ای که از چرخاندن یک سوزن ساده روی میز شروع شده بود، نشان داد که جهت‌گیری پاره‌خط‌ها در فضا تابعی تصادفی نیست و ساختار هندسی جهان اجازه نمی‌دهد که جهات گوناگون، بدون پر کردن کامل بعد فضا در کنار هم قرار گیرند.