يانغ–ميلز: الفيزياء التي تعمل قبل أن تكتمل الرياضيات
نظرية المقياس • فجوة الكتلة • فيزياء تسبق برهانها
هناك شيء غير مألوف في هذه المسألة.
في فرضية ريمان، نملك سؤالًا رياضيًا ولا نعرف الجواب.
وفي P مقابل NP، لا نعرف أي العالمين نعيش فيه.
أما في يانغ–ميلز فالمفارقة أكثر غرابة:
الفيزياء تستخدم النظرية منذ عقود، والتجارب تؤكد نجاح الإطار الذي قامت عليه، والحواسيب ترى الظاهرة التي نبحث عنها… لكن الرياضيات ما زالت تقول: أثبتوا أولًا أن النظرية موجودة بالطريقة الصارمة التي تطلبونها، ثم أثبتوا لماذا تظهر فجوة الكتلة.
كأن المهندسين بنوا الجسر.
والسيارات تعبره كل يوم.
ثم جاء عالم رياضيات وسأل:
هل تستطيعون إثبات، من الأساس، لماذا يجب أن يبقى هذا الجسر واقفًا؟
هذه هي الحلقة الخامسة من مسائل الألفية.
وهذه هي قصة يانغ–ميلز.
بدأت من سؤال عن التناظر
في الفيزياء، كلمة التناظر — Symmetry لا تعني فقط أن جناحي فراشة يشبه أحدهما الآخر.
قد تعني أن القوانين لا تتغير عندما نغيّر طريقة وصفنا للنظام بطريقة محددة.
خذ الكهرباء والمغناطيسية.
هناك نوع من الحرية الرياضية في كيفية وصف المجال الكهرومغناطيسي، لكن الكميات الفيزيائية التي نستطيع قياسها تبقى كما هي.
يسمي الفيزيائيون هذا النوع من الحرية:
Gauge Symmetry — تناظر المقياس.
وفي منتصف القرن العشرين، بدأ الفيزيائي الصيني الأمريكي تشن نينغ يانغ يتساءل:
إذا كان هذا المبدأ قويًا إلى هذه الدرجة في الكهرومغناطيسية، فلماذا لا نعممه ليصف أنواعًا أخرى من التفاعلات؟
في عام 1954، عمل يانغ مع الفيزيائي الأمريكي روبرت ميلز.
وكانت النتيجة ورقة ستصبح لاحقًا واحدة من اللبنات الأساسية للفيزياء الحديثة:
نظرية يانغ–ميلز.
المشكلة أن الفكرة الجميلة بدت في البداية معيبة
لم يستقبل الجميع النظرية باعتبارها انتصارًا.
كان فولفغانغ باولي، أحد عمالقة فيزياء الكم، قد رأى المشكلة الأساسية بسرعة.
الصياغة الأصلية بدت كأنها تقود إلى جسيمات حاملة للقوة عديمة الكتلة.
لكن القوى النووية التي كان يانغ وميلز يحاولان فهمها لم تكن تتصرف بهذه البساطة.
لم يكن لدى يانغ جواب يحسم المشكلة في ذلك الوقت.
وعاد هو وميلز إلى العمل.
وفشلا في حلها آنذاك.
ثم واجها قرارًا يعرفه كل باحث:
هل تنشر فكرة عظيمة وهي تحمل مشكلة لم تستطع حلها؟
قررا أن ينشرا.
لأنهما اعتقدا أن النظرية تحمل شيئًا أعمق من المشكلة التي ظهرت فيها، وأن تطورات لاحقة قد تكشف الحل.
كان رهانًا على المستقبل.
وقد ربح المستقبل الرهان.
النظرية التي كادت أن تُترك أصبحت لغة القوى
خلال الستينيات والسبعينيات، حدثت سلسلة من التطورات الكبرى في فيزياء الجسيمات.
بدأت أفكار يانغ–ميلز تدخل في النظريات التي تصف التفاعلات الأساسية.
وفي النهاية أصبحت نظريات المقياس غير الأبيلية من نوع يانغ–ميلز في قلب النموذج المعياري لفيزياء الجسيمات.
النموذج المعياري يصف، بنجاح استثنائي، ثلاثة من التفاعلات الأساسية المعروفة:
الكهرومغناطيسي.
والضعيف.
والقوي.
ولا يعني ذلك أن ورقة يانغ وميلز لعام 1954 وحدها هي النموذج المعياري؛ فقد احتاج البناء إلى أعمال عشرات العلماء وإلى أفكار أخرى مثل كسر التناظر وآلية هيغز والديناميكا اللونية الكمومية.
لكن الهيكل الرياضي الذي فتحه يانغ وميلز أصبح أحد أعمدة البناء كله.
وهنا تبدأ المفارقة.
الفيزياء نجحت.
لكن السؤال الرياضي لم ينتهِ.
ماذا يعني أن النظرية «تعمل»؟
عندما يقول الفيزيائي إن نظرية ما تعمل، فهو لا يقصد أنها جميلة على الورق.
يقصد أنها تنتج حسابات يمكن مقارنتها بالتجربة.
والنظريات المبنية على مبدأ يانغ–ميلز حققت تنبؤات مذهلة الدقة في فيزياء الجسيمات.
أما في التفاعل القوي، فإن النظرية الأساسية المعروفة باسم الديناميكا اللونية الكمومية — QCD هي نظرية مقياس من عائلة يانغ–ميلز، مع وجود الكواركات أيضًا.
لكن العالم الرياضي يريد أكثر.
يريد أن يأخذ نظرية يانغ–ميلز الكمومية في أربعة أبعاد، ويضعها على أساس رياضي كامل، ثم يثبت أنها تمتلك خاصية نراها بقوة في الفيزياء والحسابات العددية:
Mass Gap — فجوة الكتلة
وهذا هو تحدي الألفية.
ما فجوة الكتلة؟
تخيل مبنى.
الطابق الأرضي هو:
0
ثم تتوقع أن تستطيع بناء طوابق عند:
0.0001
0.00001
0.000001
أي أن بإمكانك الاقتراب من الصفر إلى ما لا نهاية.
لكن الطبيعة تقول لك:
لا.
هناك الأرضية عند الصفر.
ثم لا يوجد شيء.
ثم، فجأة، يبدأ أول طابق عند ارتفاع محدد:
Δ > 0
هذه المسافة الفارغة هي الصورة المبسطة لفكرة فجوة الكتلة.
في لغة النظرية الكمومية، توجد حالة الفراغ ذات الطاقة الصفرية، ثم لا توجد إثارات فيزيائية بطاقات صغيرة بلا حد فوقها؛ أول إثارة غير تافهة تقع على مسافة موجبة محددة من الفراغ.
هذه المسافة هي:
Mass Gap.
ولكن أليست جسيمات المجال عديمة الكتلة؟
هنا يجب أن نكون دقيقين.
النظرية الكلاسيكية ليانغ–ميلز تتعامل مع حقول تشبه من حيث المبدأ حقولًا ذات كمّات عديمة الكتلة.
لكن عندما تصبح النظرية كمومية وبسبب تفاعلاتها الذاتية القوية، يظهر سلوك أكثر تعقيدًا.
التحدي ليس ببساطة:
«أثبت أن الغلوون له كتلة.»
في الديناميكا اللونية الكمومية، الغلوونات الأساسية تعامل على أنها عديمة الكتلة.
وفجوة الكتلة لا تعني تحويل الغلوون إلى جسيم ذي كتلة بالطريقة التي تكتسب بها جسيمات W وZ كتلتها عبر آلية هيغز.
المسألة أدق.
في نظرية يانغ–ميلز الكمومية الخالصة، نتوقع أن الإثارات الفيزيائية القابلة للرصد لا تبدأ من كتلة صفرية، بل توجد كتلة دنيا موجبة.
وهنا يظهر مثال مهم:
Glueballs — الكرات الغلوونية
وهي حالات مركبة متوقعة من الغلوونات نفسها في النظرية الخالصة.
الحسابات العددية على الشبكات تعطي دعمًا قويًا لوجود طيف ذي فجوة موجبة.
لكن الدعم العددي ليس البرهان الرياضي المطلوب.
كيف تصنع جسيمات عديمة الكتلة شيئًا ذا كتلة؟
هذا أحد أكثر أجزاء القصة جمالًا.
في الفيزياء الكلاسيكية، اعتدنا أن نفكر هكذا:
إذا أردت جسمًا ذا كتلة، فلابد أن تكون مكوناته تحمل الكتلة بطريقة ما.
لكن العالم الكمومي لا يطيع دائمًا هذه الحدوس.
الطاقة الموجودة في التفاعلات نفسها يمكن أن تسهم في كتلة الحالة المركبة.
وفي التفاعل القوي تصبح ديناميات المجال شديدة القوة إلى درجة أن العالم الذي نراه لا يشبه ببساطة قائمة مكونات حرة.
تتفاعل الغلوونات مع بعضها.
وهذه نقطة تفصل يانغ–ميلز عن الكهرومغناطيسية بطريقة جوهرية.
الفوتون لا يحمل شحنة كهربائية، ولذلك لا يتفاعل مع فوتون آخر بالطريقة المباشرة نفسها التي تتفاعل بها حاملات القوة القوية.
أما الغلوونات فتحمل الشحنة اللونية التي ترتبط بالقوة التي تنقلها.
كأن رسل القوة أنفسهم يحملون الرسالة التي تجعلهم يتفاعلون مع بعضهم.
وهذا يجعل النظرية غنية جدًا…
وصعبة جدًا.
القوة التي تصبح أقوى عندما تحاول الهرب
هناك ظاهرة مرتبطة بعالم التفاعل القوي تسمى:
Confinement — الحصر.
الكواركات لا تظهر في الطبيعة منفردة بالطريقة التي نستطيع بها عزل إلكترون.
كلما حاولنا فصلها، لا تتصرف القوة كما لو أنها تضعف ببساطة مع المسافة.
تظل الديناميات قوية، وفي النهاية يصبح من الأفضل طاقيًا إنتاج حالات جديدة بدل إخراج كوارك حر منفرد.
فجوة الكتلة والحصر قريبان في روح الفيزياء التي نحاول فهمها، لكن لا ينبغي أن نقول إنهما الشيء نفسه أو أن إثبات أحدهما تلقائيًا هو إثبات الآخر.
مسألة الألفية محددة:
وجود نظرية يانغ–ميلز الكمومية رياضيًا بصورة صارمة، ووجود فجوة كتلة موجبة فيها.
وحتى هذا وحده بقي خارج قدرتنا.
الحاسوب يرى شيئًا لا نستطيع إثباته
يمكن للفيزيائي أن يأخذ الزمكان ويستبدله، لأغراض الحساب، بشبكة من النقاط.
هذه هي فكرة:
Lattice Gauge Theory — نظرية المقياس على الشبكة.
بدل فضاء مستمر بلا نهاية من النقاط، نحول المسألة إلى شبكة يمكن للحاسوب التعامل معها.
ثم نجري الحسابات العددية.
والنتيجة؟
المحاكاة تدعم بقوة وجود فجوة الكتلة.
والتجربة والفيزياء المبنية على هذه النظريات ناجحة بصورة استثنائية.
لكن الرياضي يقول:
هذا ليس ما طلبته.
فالشبكة تقريب.
والحساب العددي يفحص حالات محددة.
أما المطلوب فهو بناء النظرية في الفضاء المستمر وإثبات الخاصية بصورة صارمة.
لقد رأينا هذه المشكلة من قبل
هنا تلتقي الحلقة الخامسة بالحلقات السابقة.
في فرضية ريمان، تحققنا حسابيًا من أعداد هائلة من الأصفار.
لكن الفحص ليس برهانًا.
وفي P مقابل NP، يمكننا رؤية ما يحدث لملايين المشكلات.
لكن الأمثلة ليست برهانًا على البنية العامة للحساب.
وفي نافييه–ستوكس نستخدم المعادلات في الهندسة والمحاكاة، بينما السؤال الرياضي عن سلوك حلولها أعمق بكثير.
والآن في يانغ–ميلز:
الحواسيب تقول:
نحن نرى الفجوة.
والفيزياء تقول:
النظرية تعمل.
لكن الرياضيات تسأل:
لماذا يجب أن تكون موجودة؟
هذا هو الفرق بين معرفة أن الجسر يحمل السيارات…
وبين إثبات لماذا لا يمكن لهيكله أن يفشل وفق النموذج الذي بنيته.
ولماذا لا تكفي الفيزياء للرياضي؟
لأن الفيزيائي والرياضي، في مثل هذه المسائل، يطلبان نوعين مختلفين من اليقين.
الفيزيائي يستطيع أن يقول:
لقد تنبأت النظرية بنتيجة.
أجرينا التجربة.
وجدنا النتيجة.
كررنا ذلك مرارًا.
إذن لدينا نظرية ناجحة للغاية.
الرياضي يسأل شيئًا آخر:
هل عرّفت كل كائن في النظرية تعريفًا صارمًا؟
هل أثبت أنه موجود؟
هل تستطيع السيطرة على ما يحدث عندما تزيل أدوات التقريب؟
هل تضمن أن الكميات لا تنفجر أو تفقد معناها؟
هل النتيجة صحيحة لكل الحالات التي تقول النظرية إنها تغطيها؟
لا يوجد خطأ في أي من المنهجين.
إنهما فقط يبحثان عن نوعين مختلفين من المعرفة.
وهذا ما يجعل مسألة يانغ–ميلز استثنائية:
إنها تقع على الحدود بينهما.
عام 1954: فكرة سبقت اكتمالها
كانت النظرية تحمل مشكلة واضحة منذ البداية.
وكان يانغ وميلز يعرفان ذلك.
وكان بإمكانهما أن يتركا الورقة في الدرج.
لكن شيئًا في البناء الرياضي أقنعهما بأن الفكرة أكبر من المشكلة التي ظهرت فيها.
نشراها.
وبعد عقود، أصبح ما بدا اقتراحًا مشكوكًا فيه جزءًا من لغة النموذج المعياري.
تطورت الفكرة، وأُضيفت إليها مفاهيم أخرى، وساعدت على بناء الفهم الحديث للقوى الكهرومغناطيسية والضعيفة والقوية.
لكن هناك مفارقة تاريخية جميلة:
الفيزياء أخذت الفكرة، وطورتها، واختبرتها، وبنت عليها.
أما الرياضيات فما تزال، بعد أكثر من سبعين عامًا، تنظر إلى أساس محدد منها وتقول:
هناك شيء لم يُغلق بعد.
ثم جاء المليون
عام 2000، اختيرت مسألة وجود يانغ–ميلز وفجوة الكتلة واحدة من مسائل الألفية السبع.
والجائزة:
مليون دولار.
لكن صياغة المسألة تكشف لماذا لا يغرينا اختزالها في المال.
المطلوب، على نحو مبسط، هو إثبات وجود نظرية يانغ–ميلز كمومية غير تافهة على الفضاء رباعي الأبعاد، وتملك فجوة كتلة:
Δ > 0
إنها ليست مسألة حساب طويل.
وليست معادلة نحتاج فقط إلى حاسوب أكبر لحلها.
قد تحتاج إلى أفكار أساسية جديدة في الفيزياء والرياضيات.
وهذه العبارة وحدها تخبرك بحجم الجدار.
نحن لا نبحث فقط عن الجواب.
ربما نبحث عن لغة جديدة تستطيع صياغة الجواب.
الفيزياء سبقت البرهان
وهنا يصل المقال إلى مفارقته الأساسية.
اعتدنا صورة مثالية للعلم:
يكتب الرياضي المعادلات.
يثبتها.
يأتي الفيزيائي.
يستخدمها.
ثم يأتي المهندس.
يبني شيئًا.
لكن تاريخ العلم أكثر فوضى من ذلك بكثير.
أحيانًا تصل التجربة أولًا.
وأحيانًا توجد الرياضيات قبل أن نعرف ماذا تصف.
وأحيانًا تعمل الفيزياء بطرق ناجحة إلى حد مذهل بينما الأساس الرياضي الكامل ما زال غير مكتمل.
يانغ–ميلز واحدة من أجمل أمثلة الحالة الثالثة.
إنها ليست نظرية مشكوكة لأن مسألة الألفية لم تُحل.
نجاح نظريات المقياس في فيزياء الجسيمات حقيقة مستقلة.
والمشكلة ليست أن الفيزيائيين ينتظرون الرياضيين حتى يقرروا إن كانت النتائج التجريبية حقيقية.
السؤال أعمق:
لماذا تعمل البنية الكمومية التي نستخدمها بهذه الطريقة من منظور رياضي كامل؟
السقالات والحقل
ولهذا كان غلاف المقال منقسمًا.
على اليسار:
سقالات ذهبية.
شبكة.
بناء رياضي لم يكتمل.
على اليمين:
حقل كمومي يتحرك.
يتفاعل.
ويصنع عالمًا نجح الفيزيائيون في وصفه.
وبين الجانبين فجوة.
لكنها ليست مجرد فراغ في التصميم.
إنها المفارقة كلها.
هناك شيء في الطبيعة يعمل.
ونحن نعرف كيف نحسب كثيرًا من نتائجه.
ومع ذلك لا تزال هناك مسافة بين:
«نحن نعرف أنه يعمل»
و
«نحن نستطيع إثبات لماذا يجب أن يعمل بهذه الصورة.»
وفي تلك المسافة يقف مليون دولار منذ عام 2000.
لكن المليون، مرة أخرى، ليس الجائزة الحقيقية.
الجائزة هي ردم الفجوة بين لغتين من أعظم اللغات التي اخترعها الإنسان لفهم العالم:
الفيزياء والرياضيات.
ربما الطبيعة لا تنتظر البرهان
لم تنتظر الإلكترونات أن نكمل ميكانيكا الكم كي تتصرف كموميًا.
ولم تنتظر الجاذبية أينشتاين كي تحني الزمكان.
ولم تنتظر القوة القوية أن نضع لها تعريفًا رياضيًا كاملًا كي تمسك مكونات العالم دون الذري.
الطبيعة تعمل.
سواء فهمناها أم لا.
وهذا ما يجعل يانغ–ميلز مختلفة قليلًا عن بقية جدران الألفية.
نحن لا نقف أمام باب مظلم تمامًا.
من خلال الشقوق نرى الغرفة في الداخل.
بل دخل الفيزيائيون إليها واستخدموا كثيرًا مما وجدوه.
لكن الرياضي ما زال يقف عند العتبة حاملًا سؤالًا شديد البساطة وشديد القسوة:
هل تستطيع أن تثبت أن الغرفة موجودة كما تقول؟
مرت أكثر من سبعين سنة منذ أن نشر يانغ وميلز فكرتهما.
أصبحت نظريات المقياس لغة أساسية لفيزياء الجسيمات.
نجحت التجارب.
وتقدمت المحاكاة.
وظلت فجوة الكتلة تشير إلى وجود شيء حقيقي وعميق.
لكن البرهان الكامل لم يصل بعد.
ولهذا ربما لا يكون السؤال الأجمل في هذه المسألة:
لماذا توجد فجوة الكتلة؟
بل السؤال الأكبر الذي يكشف العلاقة الغريبة بين العقل والطبيعة: