ریاضیاتپیش‌چاپنظریه۴ دقیقه مطالعه

میز بیلیاردی لیمویی‌شکل که توپ در آن به همه‌جا می‌رود

ریاضی‌دانان برای مطالعهٔ آشوب اسباب‌بازی محبوبی دارند: بیلیارد. نقطه‌ای درون شکلی بسته در خطوط راست حرکت می‌کند و از لبه «همان‌گونه که فوتون در آینه» بازمی‌جهد و با همان زاویه‌ای که آمده دور می‌شود. نه اصطکاکی، نه چرخشی، نه پایانی. پرسش این است که چنین توپی در درازمدت چه می‌کند.

برای برخی میزها، پاسخ تا جای ممکن وحشیانه است. حرکت ارگودیک است: تقریباً هر مسیری سرانجام کل گسترهٔ موقعیت‌ها و جهت‌های ممکن را می‌پیماید و در هر ناحیه به نسبت اندازهٔ آن زمان می‌گذراند. ونتائو فن و بوریس هاسلبلات برای میز خود چیزی باز هم قوی‌تر را اثبات می‌کنند، ویژگی برنولی (Bernoulli property): از نظر آماری، توپِ جهنده مانند دنباله‌ای از قرعه‌کشی‌های تصادفی مستقل رفتار می‌کند.

دردسر لبه‌های گرد

میزهایی که از دیرباز آشوبناک شناخته می‌شوند یک گیر دارند. مجموعه‌ای از معیارها از ریاضی‌دان ماچی وویتکوفسکی توضیح می‌دهد که دیواره‌های خمیده و کانونی‌کننده چگونه می‌توانند آشوب بیافرینند — اما لازم می‌داند که دایرهٔ کاملی که هر دیواره فقط کمانی از آن است، تمام و کمال درون میز جا بگیرد — و این لبه را وادار می‌کند جایی به درون فرو رود. این شرط میزهای اکیداً محدب (strictly convex) را کنار می‌گذارد، یعنی میزهایی که لبه‌شان همه‌جا به بیرون برآمده است و هیچ بخش صاف یا فرورفته‌ای ندارند.

پس پرسشی طبیعی باز ماند: آیا یک بیلیارد اکیداً محدب اصلاً می‌تواند ارگودیک باشد؟

لیمو

در 2013، جینگیو چن، لوک مور، هونگ‌کون ژانگ و پنگ‌فی ژانگ خانواده‌ای از نامزدها را معرفی کردند: بیلیاردهای لیمویی. دو قرص بردارید، یکی به شعاع r و دیگری بسیار بزرگ‌تر به شعاع R، و طوری قرارشان دهید که قرص بزرگ هر دو مرکز را در بر گیرد. ناحیهٔ هم‌پوشانی آن‌ها میز است — در عمل، قرصی کوچک که یک طرفش با کمان ملایم دایره‌ای غول‌آسا تراشیده شده و در دو گوشه به بقیه می‌پیوندد. آن چهار پژوهشگر حدس زدند که وقتی دو شعاع بسیار متفاوت باشند، چنین لیموهایی ارگودیک‌اند.

نمودار میز بیلیارد لیمویی: دایره‌ای کوچک که سمت راستش را کمان دایره‌ای بسیار بزرگ‌تر بریده است، با گوشه‌های A و B.

میز بیلیارد لیمویی L(r, R, ζ): هم‌پوشانی دایره‌ای کوچک به شعاع r و دایره‌ای بزرگ به شعاع R که در گوشه‌های A و B به هم می‌رسند. — شکل 1، Fan و Hasselblatt (2026)، arXiv:2610.28247.

اثبات

فن از دانشگاه نرمال خبی در چین و هاسلبلات از دانشگاه تافتس در ایالات متحده، این حدس را برای لیموهای به‌اندازهٔ کافی نامتقارن اثبات می‌کنند. قضیهٔ اصلی آن‌ها وقتی برقرار است که زاویهٔ ζ، که اندازهٔ برش را تعیین می‌کند، میان 0 و arctan(1/3) — حدود 18 درجه — باشد، و شعاع بزرگ از r · 30,000 / sin²ζ فراتر رود: در بهترین حالت 300,000 برابر r، برای پهن‌ترین برش مجاز، و برای برش باریک‌تر بیشتر. آن‌ها می‌نویسند: «تا جایی که می‌دانیم، این نخستین نمونهٔ بیلیارد اکیداً محدبی است که ارگودیک بودنش اثبات شده است.»

این کار بر مقالهٔ همراهی از همین نویسندگان بنا شده که نشان داد بازگشت‌های توپ به مجموعه‌ای خوش‌انتخاب از برخوردها، مسیرهای نزدیک به هم را با آهنگی ثابت از هم دور می‌کند. آنچه باقی ماند دشوارترین بخش بود: مهار منحنی‌های تکینگی (singularity curves)، یعنی مسیرهایی که از یکی از دو گوشه می‌آیند یا به آن برخورد می‌کنند. این منحنی‌ها نه بر میز، بلکه بر نقشه‌ای از برخوردها کشیده می‌شوند، نقشه‌ای که در آن هر برخورد با جایش بر لبه و زاویهٔ خروجش نشانده می‌شود؛ در بیلیاردهای لیمویی، برخی از این منحنی‌ها آنجا تقریباً عمودی‌اند و علامت شیبشان عوض می‌شود — ویژگی‌ای که «مدت‌ها برای فنون استاندارد بیلیارد به‌شدت مسئله‌ساز شمرده می‌شد». نویسندگان نشان می‌دهند که پس از تنها یک برخورد، این منحنی‌ها مرتب در یک راستا قرار می‌گیرند. دقیقاً به همین دلیل بود که تصمیم گرفتند توپ را نه در هر برخورد، بلکه در پایان هر رشته برخورد پیاپی بر دایرهٔ کوچک زیر نظر بگیرند — در برخورد ماقبل آخر آن رشته، یا در یگانه برخورد وقتی رشته فقط یکی دارد.

باقی کار، بررسی دقیق چهار شرط فنی است که یک قضیهٔ «ارگودیک بودن موضعی» (local ergodicity) از سال 2013، با تطبیق بر لیمو، می‌طلبد. این بررسی تقریباً تمام مقالهٔ 58 صفحه‌ای را پر می‌کند.

گام بعدی

این نتیجه دربارهٔ لیموهای بسیار نامتقارن صدق می‌کند: با آستانهٔ بالا، دایرهٔ بزرگ صدها هزار برابر دایرهٔ کوچک است (دست‌کم 300,000 برابر). لیموهای کمتر نامتقارن هنوز اثبات نشده‌اند.

نویسندگان اهداف بعدی خود را برمی‌شمارند — اینکه حرکت با چه سرعتی آمیخته می‌شود و قوانین آماری‌ای که از آن نتیجه می‌شوند — و با پرسشی بلندپروازانه‌تر به پایان می‌برند. لیموی آن‌ها هنوز دو گوشه دارد. آیا بیلیارد اکیداً محدب ارگودیکی هست که لبه‌اش کاملاً هموار باشد، بی‌هیچ گوشه‌ای؟ آن‌ها به نامزدهای قدیمی‌ای اشاره می‌کنند که «تا نیم قرن پیش» بررسی شده بودند: میزهایی ساخته‌شده از یک مستطیل که دو سرش با کمان‌هایی دایره‌ای بسته شده که به‌نرمی به آن می‌پیوندند. یک سطر در قدردانی‌های آن‌ها هم به چشم می‌آید: «در هیچ جنبه‌ای از آماده‌سازی این مقاله از هوش مصنوعی استفاده نشد.»