سیتپـــــور مطالب

فرمول‌بندی مسئله

$n$ جسم و $n+1$ نخ آن‌طور که در شکل ۱ نشان داده شده است را در نظر می‌گیریم. جرم هرکدام از اجسام را برابر $m$ و نخ‌ها را بی جرم فرض می‌کنیم. همان‌طور که در شکل مشخص است، سیستم در شتاب گرانش $g$ قرار دارد. به نخ پایین نیروی ثابت $F$ را وارد می‌کنیم به‌طوری که شتاب ثابت $a$ را به سمت پایین به انتهای نخ آخر بدهد. برای به‌دست آوردن زمان پاره شدن نخ‌ها، ابتدا $x_i(t)$ها را که در شکل مشخص شده‌اند به‌دست می‌آوریم. بعد از این کار کافی است فرض کنیم که اگر نخ‌ها به‌اندازه $\Delta l$ کشیده شوند پاره می‌شوند.

برای بررسی حرکت دستگاه، نخ‌ها را به‌صورت فنرهایی با طول اولیه $l_0$ و ثابت $k$ در نظر می‌گیریم. وقتی این مجموعه را به‌طور قائم بیاویزیم، طول نخ $p$ام (از بالا) به‌اندازه $\Delta l_p = (n-p+1)mg/k$ افزایش می‌یابد که ناشی از وزن اجسام است. در این حالت با انتخاب نقاط مرجع مناسب می‌توانیم تابع انرژی پتانسیل را به‌صورت زیر تعریف کنیم.

$$U(x_1, x_2, \cdots, x_n, y) = \sum_{i=1}\left[ \frac{1}{2}k(x_i \mathbin{-} x_{i-1} + \Delta l_i)^2 \mathbin{-} mgx_i \right] + \frac{1}{2}k(y \mathbin{-} x_n)^2. \quad (۱)$$

توجه کنید که $x_p(t)$ از محل تعادل جرم شماره $p$ (از بالا) و $x_0=0$ در نظر گرفته شده. در واقع در این حالت جملات ثابتی نیز باید در انرژی پتانسیل دستگاه در نظر گرفت که به علت عدم تأثیر در معادلات حرکت از نوشتن آن‌ها صرف‌نظر کرده‌ایم.

با توجه به اینکه $m\ddot{x}_p = -\partial U / \partial x_p$، معادلات حرکت را می‌توان چنین نوشت:

$$m\ddot{x}_1 + k(2x_1\mathbin{-} x_2) = 0,$$ $$m\ddot{x}_p + k(2x_p\mathbin{-} x_{p-1} \mathbin{-} x_{p+1}) = 0, \quad (۲)$$ $$m\ddot{x}_n + k(x_n \mathbin{-} x_{n-1} \mathbin{-} y) = 0.$$

چون شتاب ثابت است، $y = (1/2)at^2$ و بنابراین می‌توانیم جواب‌های معادلات بالا را چنین بنویسیم:

$$x_p(t) = \sum_{j=1}^{n} \big(A_{pj} \cos(\omega_j t) + B_{pj} \sin(\omega_j t)\big) + C_{p1}t^2 + C_{p2}t + C_{p3}.$$

با جایگذاری جواب‌هایی به شکل فوق در دستگاه معادلات (۲) به‌دست می‌آوریم $\omega_j^2 =(k/m)\lambda_j$، آن‌گاه $\lambda_j$ها جواب‌های معادله زیرند:

$$(2 \mathbin{-} \lambda)\left(2 \mathbin{-} \lambda \mathbin{-} \frac{1}{2 \mathbin{-} \lambda}\right)\left(2 \mathbin{-} \lambda \mathbin{-} \frac{1}{2 \mathbin{-} \lambda \mathbin{-} \frac{1}{2 \mathbin{-} \lambda}}\right) \dots = 0.$$

همچنین $C_{p1} = (pa/2(n+1))$ و $C_{p2}=0$ است. $C_{p3} = (map/6k(n+1))(p^2-n(n+2)-1)$ و با توجه به شرایط اولیه $x_p(0) = \dot{x}_p(0) = 0$، ضرایب $A_{pj}$ و $B_{pj}$ نیز مشخص می‌شوند. با مشخص شدن $x_j(t)$ها، می‌توانیم معادلات مربوط به پاره شدن نخ‌ها را به‌دست آوریم. برای این کار کافی است فرض کنیم که وقتی نخ‌ها به‌طور مشخص $L$ می‌رسند پاره می‌شوند. پس زمان پاره شدن نخ‌ها را باید از روابط زیر به‌دست آوریم:

$$x_1 + l_0 + l_1 = L,$$ $$\vdots$$ $$(x_p \mathbin{-} x_{p-1}) + l_0 + l_p = L, \quad (۳)$$ $$\vdots$$ $$(y\mathbin{-} x_n) + l_0 = L.$$

زمان پاره شدن نخ $p$ام، $t_p$، با قرار دادن $x_{p-1}$ و $x_p$ در معادلهٔ $p$ام (از بالا) دستگاه معادلات (۳) و حل آن به‌دست می‌آید. با مقایسهٔ مقادیر زمان‌های لازم برای پاره شدن نخ‌ها می‌توانیم نخی را که در اثر کشیدن انتهای پایینی مجموعه پاره می‌شود مشخص کنیم. از آن‌جا که که بررسی جواب‌ها حتی در حالت $n=1$ به سبب وجود جملات مثلثاتی کار آسانی نیست از روش‌های عددی استفاده می‌کنیم و مسئله را در حالت‌های خاص (یک و دو جسم) بررسی می‌کنیم.

حالت خاص n=1

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

$$x(t) = \frac{a}{2\omega^2} \left( \cos(\omega t) \mathbin{-} 1 \right) + \frac{a}{4} t^2, \quad \omega^2 = \frac{2k}{m}.$$

پس معادلات مربوط به زمان پاره شدن نخ‌ها چنین‌اند ($l = mg/k$):

$$\Delta l \mathbin{-} l = \frac{a}{2\omega^2}( \cos(\omega t_1)\mathbin{-} 1) + \frac{a}{4}t^2_1, \quad (۴)$$ $$\Delta l = \frac{-a}{2\omega^2}( \cos(\omega t_2)\mathbin{-} 1) + \frac{a}{4}t^2_2.$$

پارامترهای مؤثر در زمان پاره شدن نخ $k/m$ ، $\Delta l$ و $a$ هستند. ابتدا حالتی خاص را بررسی می‌کنیم. فرض کنید $k/m$ هزار بر مجذور ثانیه و $\Delta l$ دو میلی‌متر باشد. این مقادیر گستره بزرگی از حالت‌های معمول و قابل آزمایش در مورد این مسئله را در بر می‌گیرند. با حل عددی و به‌دست آوردن $t_1$ و $t_2$ از معادلات (۴) به‌ازای این مقادیر $k/m$ و $\Delta l$ و برای چندین شتاب مختلف نمودار شکل ۲ به‌دست می‌آید. این نمودار نشان می‌دهد که (برای شتاب‌هایی در بازه مشخص شده در شکل) برای شتاب‌های به‌اندازه کافی بزرگ، نخ پایینی و برای شتاب‌های کم، نخ بالایی پاره می‌شود این نتیجه‌گیری با درک شهودی ما از مسئله کاملاً توافق دارد.

اکنون شتاب مربوط به نقطه برخورد در این حالت را پیدا می‌کنیم. فرض کنید $t=t_1=t_2$. دو طرف معادلات (۴) را با هم جمع می‌کنیم و $t$ را به‌دست می‌آوریم. اکنون اگر مقدار $a$ در $t=2\sqrt{(2\Delta l \mathbin{-} l)/a}$ را در یکی از معادله‌ها قرار دهیم و تعریف کنیم $\beta = \sqrt{\left(\frac{\Delta l}{l} \mathbin{-} 1\right)}$ و $\alpha = \sqrt{\frac{a}{4g}}$ نتیجه می‌شود:

$$\alpha^2(\cos(\beta/\alpha) \mathbin{-} 1 ) + \frac{1}{2} = 0. \quad (۵)$$

نمودار تابع $F(x) = x^2\big(\cos(\beta/x) \mathbin{-} 1 \big) + \frac{1}{2}$ در شکل ۳ برای حالتی که در آن $\beta = \beta_1 \approx 1.755$ رسم شده است. با حل معادله $F(x) = 0$ (به وسیله کامپیوتر)، ریشه $0.507$ (که در شکل ۳ مشخص شده است) به دست می آید. یعنی شتاب لازم برای پاره شدن همزمان نخ‌ها تقریبا ده متر بر مجذور ثانیه است. که با نمودار شکل ۲ توافق دارد.

برای اینکه ثابت کنیم معادله $F(x) = 0$ فقط همین یک ریشه را دارد، کافی است ثابت کنیم که $F'(x)$ به ازای مقادیر $x$ بزرگتر از $\alpha$ نزولی است. این کار را می‌توان با محاسبه $F'(x)$ و تقریب زدن $\cos(\beta/x)$ و $\sin(\beta/x)$ با چند جمله از بسط سری آن‌ها به سادگی نشان داد. بنابراین $F(x) = 0$ فقط یک ریشه دارد.

اکنون نشان می‌دهیم که در همه حالتهای مورد بحث، موضوع به همین شکل است. یعنی همواره یک نقطه برخورد وجود دارد که برای شتاب‌های کوچکتر از شتاب آن نقطه، نخ بالایی و برای شتاب‌های بزرگتر از شتاب آن نقطه، نخ پایینی پاره می‌شود. ابتدا این موضوع را که معادله ۵ یک و فقط یک ریشه دارد، به مقادیر منطقی و مورد بحث در این مقاله تعمیم می‌دهیم (منظور از مقادیر مورد بحث $\beta$ بعدا مشخص می‌شود). فرض کنید که بخواهیم معادله (۵) را برای $\beta \approx \beta_2$ بررسی کنیم. اگر $d=\beta_2/\beta_1$ و $\beta_1 = 1.755$ در این صورت با تغییر متغیر $X = x/d$ حل معادله مورد نظر متناظر با یافتن ریشه $H(X)=0$ است که در آن

$$H(X) = X^2(\cos(\beta_1/X) \mathbin{-} 1 ) + \frac{1}{2d^2}.$$

نمودار تابع $H$ از انتقال تابع $F$ به دست می‌آید. ولی نمودار $F(x)$ اگر تا جایی به پایین انتقال پیدا کند که قسمت تناوبی آن بالای محور $x$ قرار گیرد، نمودار فقط در یک نقطه با این محور برخورد خواهد کرد. با توجه به شکل ۳ می‌توان دریافت که اگر انتقال حدوداً کمتر از $0.4$ واحد باشد یعنی اگر $(1/2) \mathbin{-} (1/2d^2) \leq 0.4$، این برخورد صورت نمی‌گیرد. این شرط با توجه به اینکه در نمودار شکل ۲ داریم $\Delta l/l \approx 2$ متناظر با این است که $\Delta l/l \leq 8$ باشد.

اما در چه حالت‌هایی بیش از یک نقطه برخورد وجود دارد؟ $\Delta l/l>8$ نشان می‌دهد که افزایش طول لازم برای پاره شدن نخ، هشت برابر طولی است که در ابتدا با وصل کردن جسم به آن داده می‌شود. این موضوع نشان می‌دهد که مقدار کش آمدن نخ و یا ثابتی که برای آن انتخاب کرده‌ایم در مقابل جسم جرم آنقدر زیاد است که تاثیر جسم در پاره شدن نخ، که به صورت جمله نوسانی و مقدار $l$ در معادلات ظاهر می‌شود، تقریبا از بین می‌رود. زیرا اگر $\Delta l$ بسیار بزرگتر از $l$ باشد، از معادلات (۴) نتیجه می‌شود که تاثیر وجود جسم، که به صورت جمله کسینوس و همچنین کاهش مقدار کششی لازم برای پاره شدن نخ بالایی از $\Delta l$ به $\Delta l \mathbin{-} l$ ظاهر می‌شود، رفته رفته از بین می‌رود. بنابراین فقط حالت‌هایی را بررسی می‌کنیم که نسبت $\Delta l/l$ در حدی باشد که نقش وجود جسم در پاره شدن نخ کاملاً مشخص باشد. به همین دلیل است که در ابتدا جرمی بین دو نخ در نظر می‌گیریم و دستگاه را به طور قائم در شتاب گرانش قرار می‌دهیم.

تا اینجا مشخص شد که به ازای تمامی حالتهایی که جسم — با تقریب ما برای آن‌ها — وجود دارد، یک و فقط یک شتاب $a_0$ موجود است که هر نخ را همزمان پاره می‌کند. اکنون اگر نشان دهیم که شتابهایی مانند $a_1$ و $a_2$ وجود دارند که به ازای $a_c < a_1$ و $t_1 > t_2$ و به ازای $a_c >a_2$ و $t_1 < t_2$ آنچه می‌خواهیم به آسانی ثابت می‌شود. اگر معادلات (۴) را به صورت زیر بنویسیم:

$$\frac{\Delta l \mathbin{-} l}{a} + \frac{1}{2\omega^2} \big(\cos(\omega t_1) – 1\big) = \frac{1}{4}t_1^2,$$ $$\frac{\Delta l}{a} + \frac{1}{2\omega^2} \big(\cos(\omega t_2) – 1\big) = \frac{1}{4}t_2^2.$$

چون جمله کسینوس کراندار است با کم کردن $a$ برای مقادیر ثابت $\omega, l, \Delta l$ تاثیر این جمله کم و بیش از بین می‌رود، بنابراین همیشه می‌توانیم $a <a_0$ را آنقدر کوچک بگیریم که این جمله در معادلات قابل چشم پوشی
باشد. در این صورت $t_1 = 2\sqrt{(\Delta l \mathbin{-} l)/a}$ و $t_2 = 2\sqrt{\Delta l/a}$. پس همواره از$a <a_0$ نتیجه می‌شود $t_1 <t_2$.

حالا فرض کنید که $t_1$ و $t_2$ در معادله (۴) بسیار کوچک باشند، به طوری که بتوانیم بسط سری کسینوس را به صورت زیر بنویسم:

$$\Delta l \mathbin{-} l \approx (1 \mathbin{-} \frac{\omega^2 t_1^2}{2} + \frac{\omega^4 t_1^4}{4}\mathbin{-}1) \frac{a}{2\omega^2} + \frac{1}{4}at_1^2, \quad (۶)$$ $$\Delta l \approx \frac{\omega^2 t_2^2}{2} \frac{a}{2\omega^2}+ \frac{1}{4}at_2^2$$

در این صورت، این جواب‌ها به‌دست می‌آیند: $t_{1} = \sqrt[4]{\frac{48\,(\Delta l \mathbin{-} l)}{a\,\omega^2}}$ و $t_{2} = \sqrt{\frac{2\,\Delta l}{a}}$.

با توجه به فرض بسیار کوچک بودن $t_{1}$ و $t_{2}$ و این‌که $a$ برای جواب هر دو زمان در مخرج ظاهر شده است، نتیجه می‌گیریم که برای مقادیر بسیار بزرگ $a$، جواب‌های (۴) با تقریب خوبی به شکل (۶) هستند. با توجه به جواب $t_{1}$ و $t_{2}$ اگر $a<a_c$ آنگاه $t_2<t_1$ به طوری که $a_c =
 \frac{\Delta l^2 \omega^2}{2(\Delta l \mathbin{-} l)}$. پس برای شتاب‌های بزرگ و زمان‌های کوچک می‌شود دید که $t_2<t_1$.

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

حالت خاص n=2

برای دو جسم، معادلات زیر را در مورد زمان پاره شدن نخ‌ها به‌دست آوریم:

$$\Delta l \mathbin{-} l_1= \frac{a}{2\omega_1^2} \cos(\omega_1 t_1)\mathbin{-}\frac{a}{6\omega_2^2} \cos(\omega_2 t_1)+\frac{1}{6}at_1^2 \mathbin{-} \frac{4a}{9\omega_1}),$$ $$\Delta l \mathbin{-}l_2 = \frac{a}{3\omega_2} \cos(\omega_2 t_2) +\frac{1}{6}at_2^2\mathbin{-}\frac{a}{9\omega_1^2},$$ $$\Delta l = \frac{1}{6}at_1^2 \mathbin{-} \frac{a}{2\omega_1^2}\cos(\omega_1t_3)\mathbin{-} \frac{a}{6\omega_2^2}\cos(\omega_2t_3) + \frac{5}{9\omega_1^2}a. \quad (۷)$$

که در این معادلات $\omega_1^2 = \frac{k}{m}, \omega_2^2 = \frac{3k}{m}, l_1 = \frac{2mg}{k}, l_2 = \frac{mg}{k}$.

مشخص است که معادلات (۷) نسبت به حالت $n=1$ بسیار پیچیده‌ترند و بحث در مورد آن‌ها بسیار دشوارتر از حالت قبل است. در این حالت، به بررسی جواب‌ها فقط در یک مورد خاص بسنده می‌کنیم.

دوباره مقادیر قبلی را برای $\Delta l$ و $k/m$ در نظر بگیرید. اگر جواب‌های (۷) را برای شتاب‌های مختلف با کمک کامپیوتر به‌دست بیاوریم، به نمودار شکل ۴ می‌رسیم. در این نمودار رفتار شتاب تا $50 \text{ms}^{-2}$ بررسی شده است. این نمودار نشان می‌دهد که در شتاب‌های معمولی نخ وسطی پاره نمی‌شود. حل عددی به ما نشان می‌دهد که شتاب لازم برای کوچک‌تر شدن $t_2$ از $t_3$ در حدود ۲۵۰ متر بر مجذور ثانیه است و برای این‌که $t_2$ از $t_1$ کوچکتر شود شتاب بسیار بیشتر که منطقی نیست لازم است. بنابراین آنچه که ما در شتاب‌های معمولی می‌بینیم این است که مانند حالت $n=1$ برای شتاب‌های به‌اندازه کافی کوچک، نخ بالایی و برای شتاب‌های بزرگ نخ پایینی پاره می‌شود.

نتیجه‌گیری

نتایجی که در پایان حالت‌های خاص گرفته شد، یعنی پاره شدن نخ بالایی برای شتاب‌های کم و نخ پایینی برای شتاب‌های زیاد، با درک فیزیکی ما از مسئله کاملاً سازگار است. جواب‌هایی که در کلاس‌های درس مکانیک به حالت $n=1$ داده می‌شود بیشتر جنبه کیفی دارد ولی آنچه ما در اینجا نشان دادیم، بیانگر این موضوع است که این جواب‌های کیفی با حل کمی نیز تأیید می‌شوند. در طول حل مسئله مواردی پیش آمد که به منظور جلوگیری از پراکنده شدن مطلب اصلی، اقدام به بیان دقیق و بررسی جزئیات و انجام اعمال ریاضی نکردیم؛ دقیق‌تر کردن این موارد با کسی حوصله‌مند امکان‌پذیر است (نویسنده این کار را انجام داده است). در هر صورت با وجود ایرادهایی که به فرض‌های اولیه ما وارد است، مثلاً این‌که طبیعت نخ‌ها مخصوصاً در آستانه پاره شدن به صورت یک فنر ایده‌آل که ما فرض کردیم رفتار نمی‌کنند و یا فرضیه‌هایی مانند برابر بودن جرم اجسام و یا ثابت بودن شتاب پایین کشیدن نخ‌ها که از کلیت مسئله می‌کاهد، موضوع جالب توجه اینجاست که جواب به‌دست آمده با تقریب در نظر گرفتن نخ‌ها به‌صورت فنر در محدوده مورد بررسی، کاملاً با تجربه سازگار است و شهود کیفی ما را از مسئله تأیید می‌کند.

سپاسگزاری

در اینجا لازم است از آقای دکتر محمود بهمن‌آبادی که برای حل این مسئله از راهنمایی‌های ارزنده ایشان استفاده کرده‌ام تشکر کنم.

شرلوک هولمز در کتاب نشانهٔ چهار روشی را برای کشف حقیقت به‌کار می‌برد که می‌توان اسمش را گذاشت روش حذف ناممکن‌ها: وقتی همهٔ حالت‌های ناممکن را کنار گذاشته باشی، آنچه باقی می‌ماند، هرچه‌قدر هم نامحتمل، باید حقیقت باشد.

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

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

– من فریاد زدم از سوراخ سقف آمده؟
– معلوم است که از آنجا آمده.

نشانهٔ چهار، آرتور کانن دویل، ترجمهٔ مژده دقیقی، (انتشارات هرمس ۱۳۷۸).

خطا در تشخیص ناممکن بودن حالت‌ها

برای بررسی خطای آزمون‌هایی که حالت‌های ناممکن را مشخص می‌کنند مثال ساده‌ای در نظر می‌گیرم. فرض کنید $n+1$ جعبه داریم که در یکی از آن‌ها یک توپ وجود دارد. جعبه‌ها را با
$1,2,\cdots, n , z$ برچسب می‌زنیم. هیچ اطلاعات اضافهٔ دیگری که بتواند راهنمایی برای تشخیص جعبهٔ محتوی توپ باشد نداریم، بنابراین فرض می‌کنیم که توپ می‌تواند با احتمال یکسان در هر یک از این $n+1$ جعبه باشد. (می‌توان مسئله را به شکل عام‌تری هم طرح کرد، مثلاً می‌توان فرض کرد که احتمال این که توپ در جعبهٔ شمارهٔ $i$ باشد $p_i$ است و $\sum_{i=1}^n p_i+p_z=1$.)

فرض کنید $A_i$ پیشامد قرار داشتن توپ در جعبهٔ شمارهٔ $i$ باشد. همچنین فرض کنید برای تشخیص این که یک جعبه توپی در درونش ندارد از آزمایشی مانند تکان دادن جعبه یا اسکن کردن آن با پرتو ایکس استفاده کنیم. پیشامدی را که در آن نتیجهٔ آزمایش روی جعبهٔ شمارهٔ $i$ خالی بودن آن را نشان می‌دهد $E_i$ می‌نامیم. این آزمایش ممکن است خطا داشته باشد، به‌این معنی که ممکن است توپ در جعبهٔ شمارهٔ $i$ باشد ولی نتیجهٔ آزمایش خلاف این را گزارش کند. احتمال چنین خطایی را با $r$ نشان می‌دهیم. به بیان ریاضی $P(E_i|A_i)=r$.

جعبه‌های شمارهٔ $1$ تا $n$ را آزمایش می‌کنیم و نتیجهٔ آزمایش این است که توپ در هیچ‌ یک از این جعبه‌ها نیست. طبق روش هولمز می‌توانیم بگوییم که توپ قطعاً در جعبهٔ $z$ است. اما احتمال خطا در آزمایش‌های ما وجود دارد و بنابراین ممکن است توپ در یکی از جعبه‌هایی باشد که آزمایش خالی بودن آن را نشان داده. در چنین شرایطی نمی‌توان گفت که توپ قطعاً در جعبهٔ $z$ است. سؤال درست این است که احتمال قرار داشتن توپ در جعبهٔ $z$ چه‌قدر است. چنین احتمالی با عبارت ریاضی زیر بیان می‌شود
$$P(A_z|\bigcap_{i=1}^{n} E_i) = P(A_z|E_1\cap E_2\cap \cdots \cap E_n) = P(A_z \mid \mathcal{E}).$$ در اینجا $\mathcal{E} := \bigcap_{i=1}^{n} E_i$ اشتراک بین همه پیشامدهاست. با به کارگیری قاعدهٔ بیز: $$\begin{aligned}
P(A_z \mid \mathcal{E}) = \frac{P(A_z \cap \mathcal{E})}{P(\mathcal{E})}
\end{aligned}$$ و در نتیجه $$P(A_z \mid \mathcal{E})= \frac{P(\mathcal{E} \mid A_z)\, P(A_z)}{P(\mathcal{E} \mid A_z)\, P(A_z) + \sum_{i=1}^{n} P(\mathcal{E} \mid A_i)\, P(A_i)}$$

فرض می‌کنیم آزمایش‌های جعبه‌های مختلف مستقل باشند یعنی آزمایش یک جعبه روی نتیجهٔ آزمایش یک جعبهٔ دیگر اثری نداشته باشد. در این‌صورت خواهیم داشت $$P(\mathcal{E}|A_z)=(1-r)^n$$
زیرا اگر توپ در جعبهٔ شمارهٔ $z$ باشد یعنی همهٔ آزمایش‌ها نتیجهٔ درست داده‌اند و احتمال درست بودن نتیجهٔ هر آزمایش $1-r$ است. به‌همین ترتیب به‌سادگی می‌توان دید که
$$P(\mathcal{E}|A_i)=r(1-r)^{n-1}\,, i=1,2,\cdots , n$$ و بنابراین
\begin{eqnarray}
P & = & \frac{(1-r)P(A_z)}{r\left(1-P(A_z)\right)+(1-r)P(A_z)}\nonumber\
& = & \frac{1-r}{nr+1-r}\nonumber
\end{eqnarray} که در آن از $P(A_z)=\frac{1}{n+1}$ استفاده کرده‌ایم.

بیایید نگاهی به نتیجهٔ این رابطه برای یک حالت مشخص بیندازیم. فرض کنید ده جعبه داریم (یعنی $n=9
$) و آزمایش ما برای تشخیص خالی بودن جعبه‌ها ده درصد خطا دارد (به‌ این معنی که به طور میانگین از هر ده آزمایش یکی نتیجهٔ نادرست می‌دهد). در این صورت رابطهٔ بالا می‌گوید که $P=0.5$. یعنی احتمال این که توپ در جعبهٔ آخر (جعبه‌ای که آزمایش نشده) باشد پنجاه درصد است. به‌طور کلی اگر احتمال خطا در آزمایش تشخیص حالت‌های ناممکن برابر با احتمال همان حالتی باشد که در آخر و پس از حذف ناممکن‌ها قرار است به‌عنوان «حقیقت» معرفی شود، خطای تشخیص حقیقت پنجاه درصد خواهد بود!

خطا در تعیین همهٔ حالت‌های ممکن

ایراد دیگری که می‌تواند کارایی این روش را به‌ چالش بکشد این است که از ابتدا همهٔ حالت‌های ممکن را تشخیص نداده باشیم و بعضی از آن‌ها از چشم ما دور مانده باشند. اگر به مثال بخش قبل برگردیم می‌توانیم فرض کنیم که مثلاً یک جعبهٔ دیگر (جعبهٔ شمارهٔ $m$ وجود دارد) که در میان $n+1$ جعبهٔ موجود نیست و مثلاً پشت یک پرده مخفی شده است ولی توپ می‌تواند درون آن جعبه هم باشد. احتمال وجود توپ در آن جعبه را با $P(A_m)$ نشان می‌دهیم. به‌عبارت دیگر اگرچه ما تصور می‌کنیم که حاصل‌جمع احتمال‌های وجود توپ در $n+1$ جعبهٔ موجود برابر با یک است ولی درواقع این احتمال کوچک‌تر از یک است:
$$\sum_{i=1}^n P(A_i)+P(A_z)=1-P(A_m)$$. بنابراین حتی اگر آزمایش‌های ما بی‌خطا باشند و بگویند که توپ در جعبه‌های شمارهٔ $1$ تا $n$ نیست باز هم ممکن است جعبهٔ شمارهٔ $z$ ‌را باز کنیم و ببینیم که خالی است. احتمال چنین نتیجهٔ ناگواری $P(A_m)$ است. برای اجتناب از مواجه شدن با چنین وضعیتی باید حداکثر تلاش را برای تشخیص و به‌حساب‌آوردن همهٔ حالت‌های ممکن به خرج داد.

به‌عنوان آخرین مثال حالتی را در نظر می‌گیریم که هم آزمایش‌ها احیاناً خطا داشته باشند و هم از ابتدا همهٔ حالت‌های ممکن تعیین نشده‌ باشند و مثلاً جعبهٔ شمارهٔ $m$ از قلم افتاده باشد. در این صورت به‌سادگی می‌توان دید که وقتی آزمایش‌ها نشان می‌دهند که توپ در هیچ‌ یک از جعبه‌های $1$ تا $n$ نیست، احتمال پیدا کردن توپ در جعبهٔ $z$ برابر است با
$$P=\frac{(1-r)P(A_z)}{r(1-P(A_z)-P(A_m))+(1-r)(P(A_z)+P(A_m))}$$
و باز اگر همهٔ جعبه‌ها را هم‌احتمال بگیریم، یعنی
$$P(A_z)=P(A_m)=P(A_i)=\frac{1}{n+2}$$ خواهیم داشت $$P=\frac{1-r}{nr+2(1-r)}.$$
برای مقایسهٔ این نتیجه با نتیجه‌ٔ بخش قبل فرض می‌کنیم تعداد همهٔ جعبه‌های در اختیار ما ده تاست (یعنی $n=9$) ولی تعداد کل جعبه‌ها درواقع یازده تاست و احتمال وجود توپ در این یازده جعبه یکسان است ($\frac{1}{11}$).
احتمال خطای آزمایش را هم مانند قبل ۰/۱ می‌گیریم. در این‌صورت احتمال یافتن توپ در جعبهٔ $z$ برابر خواهد بود با $P=\frac{1}{3}$. به‌عبارت دیگر آن حالتی را که با روش حذف ناممکن‌ها حقیقت محض می‌دانیم فقط کمی بیش از سی درصد احتمال دارد که حقیقت باشد!

سخن پایانی

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

در سال ۱۹۷۵، جک هدرینگتون، مقاله‌ای نوشت و در سراسر آن از ضمیر «ما» استفاده کرد. وقتی سردبیر ژورنال اعلام کرد که باید نویسندهٔ دوم نیز وجود داشته باشد، هدرینگتون برای آنکه مجبور به تایپ دوبارهٔ مقاله نشود، اسم گربه‌اش «چستر» را به‌عنوان همکار نویسنده درج کرد. اکنون این گربه یک پروفایل رسمی با اسم اِف. دی. سی. ویلارد در گوگل اسکالر دارد که نشان می‌دهد مقالاتش تا امروز ۱۱۳ بار مورد استناد پژوهشگران دیگر قرار گرفته است!

گربه‌ها موجودات عجیبی هستند. از هر جایی و هر طوری که رهایشان کنی، دست آخر روی پنجه‌ فرود می‌آیند. بدن گربه نه یک استوانهٔ صُلب، بلکه مجموعه‌ای انعطاف‌پذیر از دو بخشِ جداگانه است که می‌تواند در جهات مخالف یکدیگر خم شود و بچرخد. چگونگی انجام این کار، اولین بار در سال ۱۹۶۹ توسط یک مدل ریاضی توضیح داده شد. انعاطف‌پذیری زیاد گربه‌ها و این‌که در هر ظرفی جا می‌شوند و شکل آن را به خود می‌گیرند هم سبب شده تا مردم به شوخی بگویند گربه مایع است. ارک-آنتوان فاردین، در مقاله‌ای با عنوانِ «گربه‌های مایع»، از آنها برای توضیح چند مفهوم پایه‌ای در رئولوژی (مطالعه جریان و تغییر شکل مواد) استفاده کند. این پژوهش شوخ‌طبعانه باعث شد فاردین در سال ۲۰۱۷ جایزهٔ ایگ نوبل فیزیک را دریافت کند.

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

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

در داستان آلیس در سرزمین عجایب، «گربهٔ چشایر» می‌تواند به‌تدریج ناپدید شود و تنها لبخندش را در هوا باقی بگذارد. اخیراً دانشمندان حالتی کوانتومی به نام «گربهٔ چشایرِ کوانتومی» را شناسایی کرده‌اند که در آن ویژگی‌های یک ذره (مانند تکانهٔ مغناطیسی) می‌تواند از خودِ ذره جدا شده و در مسیر متفاوتی حرکت کند. این گربه‌های عجیب حتی می‌توانند ویژگی‌هایشان (مانند همان لبخند معروف) را با هم مبادله کنند!

• The physics of cats. Nat Rev Phys 7, 165 (2025)
  https://doi.org/10.1038/s42254-025-00824-6

ویراستار: متن پیش رو نخستین بار توسط این نویسنده در سی‌ و سومین‌ شماره‌ی تکانه (نشریه علمی-آموزشی دانشجویان فیزیک دانشگاه صنعتی شریف) آمده. نویسنده از آقای علی گودرزی، آقای دکتر سامان مقیمی، آقای حسین مهدئی و آقای امیرحسین پیله‌وریان و همچنین خانم حانیه ملکی تشکر می‌کند.

برای درک بهتر این نوشته، سیتپور شنیدن این پادکست را پیشنهاد می‌کند:

---

فروکاست‌گرایی

فروکاست‌گرایی یا تقلیل‌گرایی باوری فلسفی است که همه‌ی قوانین حاکم بر طبیعت را می‌توان با تعداد کمی از «قوانین بنیادی» توصیف کرد. به‌عنوان مثال، این باور احتمالا رایج که رفتار یک سامانه دارای تعداد زیادی «ذره» (به‌عنوان مثال جعبه‌ای شامل تعداد زیادی مولکول گاز یا رفتارهای موجودی زنده که از تعداد زیادی مولکول تشکیل شده‌ است) را می توان از طریق برآیند رفتار تک‌تک ذرات توصیف کرد، که البته حقیقت بدیهی‌ای به نظر نمی‌آید، از این باور فلسفی نشأت می‌گیرد. مثلا بیوفیزیک‌دانان در مقیاس «بنیادی‌تری» نسبت به زیست‌شناسان کار می‌کنند و تلاش می‌کنند برخی رفتارهای موجودات زنده را از طریق فیزیک حاکم بر مولکول‌ها و مواردی از این قبیل توصیف کنند. در این مقاله به طور خاص به فروکاست‌گرایی در فیزیک و بخشی از تأثیر آن در روند پیشرفت علم فیزیک می‌پردازیم.

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

نظریه موثر

زیاد پیش می‌آید که در فیزیک، نظریه‌ی توجیه کننده‌ای پدیده‌ای — که با مشاهدات تعارض خاصی ندارد — را به عنوان نظریه‌ی موثر یک نظریه‌ی بنیادی‌تر بنویسند. یکی از معروف‌ترین تلاش‌ها در این راستا ساختن مکانیک آماری است، که کل نظریه‌ی ترمودینامیک را به مکانیک بس ذره‌ای تقلیل می‌هد و تلاش می‌کند با روش‌های آماری، ترمودینامیک را به عنوان نظریه‌ی موثری از مکانیک نیوتنی و بعد از آن مکانیک کوانتومی بسازد. هر گاه بین نظریه‌ی به نسبت پذیرفته شده موجود و مشاهدات (تجربه) تعارضاتی مشاهده شود، فیزیکدان‌ها تلاش می‌کنند تا با رعایت اصل هم‌خوانی، نظریه‌ی جدیدی بسازند؛ به این معنا که نظریه‌ی جدید باید در حالات حدی مشخصی نتایج نظریه‌ی سابق را مجنر شود. مثلا نظریه‌ی نسبیت یا مکانیک کوانتومی که در پی هم‌خوان نبودن مشاهدات تجربی با نظریه‌های کلاسیک ساخته شدند در حدهایی نتایج مکانیک کلاسیک را بازتولید می‌کند. به هر حال، نظریه‌ مکانیک کلاسیک کامل نیست ولی در برخی حدود بسیار خوب کار می‌کند. به قول فاینمن، علم در مورد این نیست که چه چیز درست یا نادرست است، بلکه در مورد این است که ما چه چیز را با چه دقتی می‌توانیم توصیف کنیم. مکانیک کلاسیک برای سرعت‌های پایین یا اندازه‌های خاصی در اکثر موارد با دقت خوبی با مشاهدات ما هم‌خوانی دارند. نظریه‌های پیشرفته‌تری چون مکانیک کوانتومی و نسبیت هم در این حدود تبدیل می‌شوند به مکانیک کلاسیک. گاهی نظریه‌های جدید برای از بین بردن تعارضات دو نظریه جا افتاده تهیه می‌شوند. مثلا سوای مشاهدات آزمایش مایکلسون – مورلی، نسبیت خاص به دنبال بهبود نظریه مکانیک کلاسیک برای هم‌خوانی با نتایج نظریه الکترومغناطیس ساخته شد.

پدیدارگی

گاهی در سامانه‌های بس‌ذره‌ای ویژگی‌های جدیدی اصطلاحا«پدیدار می‌شوند» بی‌آن‌که ذرات سازنده آن سامانه آن ویژگی یا ویژگی‌ها را در خود داشته باشند. از طرف دیگر، رفتار برخی سامانه‌ها در سطوح مختلف را بدون دانستن سطوح بالاتر یا پایین‌تر آن می‌توان فهمید. پدیدارگی یا پدیدار شدگی به به‌وجود آمدن ویژگی‌های یک سامانه در سطوح بالاتر پیچیدگی اشاره دارد که در تک تک اجزای آن در سطح پیچیدگی کمتر قابل مشاهده نیست و فقط در برآیند کل سامانه و با در نظر گرفتن کل اجزا و برهمکنش‌هایشان می‌توان آن‌ها را دید. فیلیپ اندرسون در مقاله‌‌ای با عنوان «بیشتر، متفاوت است» این ایده را مطرح کرد که برای درک برخی از پدیده‌ها، پرداختن به نظریه‌های «بنیادی‌تر» لزوما سودمندتر نیست. مثلا انتظار می رود که علی‌الاصول کل شیمی را از فیزیک بس‌ذره‌ای بتوان را استخراج کرد. اندرسون این ایده را مطرح می‌کند که این نظریه‌های موثر که در سطوح پیچیدگی بالاتری ساخته می‌شوند باید (از نظر خودش) به همان اندازه «بنیادی» تلقی شوند که نظریه‌های با سطح پیچیدگی کمتر تلقی می‌شوند، چون عملا بسیاری از اوقات «بنیادی‌ترین» چیزی هستند که با آن می‌توان مشاهدات را توصیف کرد. اندرسون از این دیدگاه  انتقاد می‌کند که گاهی تنها به فیزیکدانان ذرات بنیادی به عنوان کسانی که کار «بنیادی» می‌کنند نگاه می‌شود، اما نظریه‌های ذرات بنیادی در عمل نمی‌توانند بسیاری از پدیده‌هایی که مشاهده می‌کنیم و حاصل برهمکنش تعداد زیادی ذره هستند را توصیف کنند. 

یکی دیگر از موارد قابل ذکر این است که نظریه‌های در سطوح پیچیدگی بالاتر خیلی اوقات برگرفته و حاصل تقریباتی از نظریه‌های بنیادی‌تر هستند و کاملا بدون اتکا به آن‌ها نیستند. در واقع برای ساده‌تر شدن مدل و معادلات خیلی از این نوع نظریه‌ها تقریباتی را وارد می‌کنند و با در نظر گرفتن اصل نظریه بنیادی‌تر، از بسیاری از پیچیدگی‌ها صرف نظر می‌کنند. به عنوان مثال می‌توان به مدل هابارد در فیزیک ماده چگال اشاره کرد. در این مدل از برهمکنش الکترون‌های غیر نزدیک صرف نظر می‌شود و مقدار پتانسیل حاصل از برهمکنش الکترون‌های نزدیک هم به عنوان تابعی از بقیه‌ی پارامترها وارد مدل نمی‌شود. در این مورد مثلا ایده‌ی تقریب را می‌توان در قانون کولن دید، به دلیل رابطه‌ی عکس پتانسیل با فاصله، از پتانسیل ناشی از الکترون‌های در فواصل دور از هم صرف‌نظر می‌شود. در سامانه‌های پیچیده هم از این جنس ایده‌ها استفاده می‌شود. فایده‌ی این کار این است که با اجتناب از درگیر محاسبات گاهی طولانی شدن، می‌توان راحت‌تر به استنتاج نتایج حاصل از مدل پرداخت. البته میزان کارا بودن مدل ساده‌سازی شده باید با نتایج آزمایش‌ها مطابقت داده شود.   

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

یکی ازمشکلاتی که گاهی از نظر عملی به تلاش برای توصیف یک سامانه با تعداد کمی پارامتر توسط نظریه‌های در سطح پیچیدگی بالاتر وارد می‌شود، این است که این کار بسیار ساده‌انگاری دارد و همیشه نمی‌توان کل سامانه بس‌ذره‌ای را توسط تعداد کمی کمیت موثر توصیف کرد. دکتر خرمی در مقاله‌ای که در زمینه‌ی فروکاست‌گرایی نوشته‌اند اینطور استدلال می‌کنند که این نکته نسبتا بدیهی‌ است. می‌توان تعداد کمیت‌های موثر را بیشتر کرد (و حتی مثلا تمام ذرات گاز را در نظر گرفت) ولی به این قیمت که میزان محاسبات بیشتر شود. وقتی محدودیت توان و انرژی داشته باشیم، این نهایت کاری است که می‌توانیم بکنیم. اگر در آینده این محدودیت‌ها کمتر شد، و البته نیاز به دقت بیشتری وجود داشت، می‌توان محاسبات را دقیق‌تر کرد و آن‌ها را با نظریه‌های با سطح پیچیدگی کمتری پیش برد. مثالی که در مقاله‌شان به آن اشاره می‌کنند در مورد هواشناسی است. اینکه در گذشته به دلیل کم‌قدرت‌تر بودن کامپیوترها مجبور بودند محاسبات را ساده‌تر کنند به این قیمت که دقت پیشبینی‌ها کم می‌شد و همچنین مقیاس زمانی‌ای که پیشبینی‌ها تا آن تا حد معقولی کار می‌کردند کمتر می‌شد. ولی این نهایت کاری بود که می‌توانستند بکنند و اصطلاحا «از هیچ چیز بهتر بود». اما بعدا با قدرتمندتر شدن کامپیوترها و ابزارهای محاسبه پیشبینی‌ها بهتر شدند و تا مقیاس زمانی بزرگ‌تری قابل اتکا بودند.

کهکشان راه‌شیری امروزی ما حاصل ادغام کهکشان باستانی راه‌شیری با عمر حدود ١٣ میلیارد سال و یک کهکشان کوچک‌تر به نام گایا-انسلادوس است که حدود ١٠ میلیارد سال قبل، با یکدیگر برخورد کردند و باهم کهکشان بزر‌گتر امروزی را تشکیل دادند. البته این تنها برخورد کهکشانی برای راه‌شیری نبوده و برخورد دیگری در راه است؛ این بار با کهکشان آندرومدا، نزدیک‌ترین کهکشان همسایۀ بزرگ به ما.

با بزرگ‌تر شدن تلسکوپ‌ها و بالاتر رفتن کیفیت تصاویر در چند دهه اخیر، قاب‌های جذابی از کهکشان‌های در حال ادغام در فواصل مختلف در عالم ثبت شده. اتفاقی که ممکن است برای کهکشان‌های مجاور یکدیگر به‌دلیل برهمکنش‌های گرانشی رخ بدهد. آندرومدا حدود ٢.۵ میلیون سال نوری از راه‌شیری فاصله دارد و با سرعت بسیار زیاد در حدود ٣٠٠ کیلومتر بر ثانیه، در حال نزدیک شدن به ما است (جهت مقایسه، سرعت زمین به دور خورشید حدود ۳۰ کیلومتر بر ثانیه هست). بنابراین تخمین زده می‌شود که تا حدود ۵ میلیارد سال دیگر، این دو کهکشان باهم برخورد خواهند کرد و یک هم‌آغوشی کهکشانی را رقم خواهند زد!

در برخورد کهکشان‌ها، خیلی بعید است که ستار‌ها با یکدیگر مستقیماً برخورد کنند؛ چون فواصل ستاره‌ها در داخل کهکشان‌ها از هم بسیار زیاد و فضای خالی میان‌ستاره‌ای در مقایسه با ابعاد ستاره‌ها، خیلی خیلی بزرگ‌تر است. برای منظومۀ شمسی ما، از این بابت، اتفاقی نخواهد افتاد. اما تا زمان برخورد دو کهکشان، سوخت خورشید تمام و تبدیل به یک غول سرخی می‌شود که شاید زمین را هم در خود بلعیده باشد. البته تا چند میلیون سال آینده، به دلیل افزایش فعالیت‌ها‌ی خورشیدی، عملاً حیات بر روی زمین غیرممکن خواهد بود؛ هرچند داستان انقراض حیات بر روی زمین، نه میلیون‌ها سال بعد، که شاید خیلی زودتر، به دست خودِ بشر، به‌علت زیادی‌خواهی‌هایش رقم بخورد!