مبدأ لانداور

مبدأ لانداور هو مبدأ فيزيائي يتعلق بالحد الأدنى النظري لاستهلاك الطاقة في الحوسبة . وينص على أن أي تغيير غير قابل للعكس في المعلومات المخزنة في الحاسوب، مثل دمج مسارين حسابيين، يُبدد كمية ضئيلة من الحرارة إلى محيطه. [ 1 ] ويُفترض أن استهلاك الطاقة دون هذا الحد الأدنى يتطلب تطوير الحوسبة العكسية .

تم اقتراح هذا المبدأ لأول مرة من قبل رولف لانداور في عام 1961.

إفادة

ينص مبدأ لانداور على أن الحد الأدنى من الطاقة اللازمة لمحو بت واحد من المعلومات يتناسب طرديًا مع درجة حرارة تشغيل النظام. وبالتحديد، تُعطى الطاقة اللازمة لهذه المهمة الحسابية بالمعادلة التالية:

هـكبتيln2،{\displaystyle E\geq k_{\text{B}}T\ln 2,}

أينكب{\displaystyle k_{\text{B}}}هو ثابت بولتزمان وتي{\displaystyle T}هي درجة الحرارة المطلقة . [ 2 ] عند درجة حرارة الغرفة ، يمثل حد لانداور طاقة تقارب 0.018 إلكترون فولت (2.9 × 10⁻²¹ جول ) . اعتبارًا من عام 2012  تستهلك الحواسيب الحديثة حوالي مليار ضعف من الطاقة لكل عملية. [ 3 ] [ 4 ]

تاريخ

اقترح رولف لانداور هذا المبدأ لأول مرة عام 1961 أثناء عمله في شركة آي بي إم . [ 5 ] وقد برر لانداور وحدد حدودًا مهمة لتخمين سابق لجون فون نيومان . ويُطلق على هذا التحسين أحيانًا اسم حد لانداور.

في عامي 2008 و2009، أظهر الباحثون أن مبدأ لانداور يمكن اشتقاقه من القانون الثاني للديناميكا الحرارية وتغير الإنتروبيا المرتبط باكتساب المعلومات، مما أدى إلى تطوير الديناميكا الحرارية للأنظمة الكمومية والكلاسيكية التي يتم التحكم فيها بالتغذية الراجعة. [ 6 ] [ 7 ]

في عام 2011، تم تعميم المبدأ لإظهار أنه على الرغم من أن محو المعلومات يتطلب زيادة في الإنتروبيا، إلا أن هذه الزيادة يمكن أن تحدث نظريًا دون أي تكلفة طاقة. [ 8 ] بدلاً من ذلك، يمكن احتساب التكلفة في كمية محفوظة أخرى ، مثل الزخم الزاوي .

في مقال نُشر عام 2012 في مجلة Nature ، وصف فريق من الفيزيائيين من المدرسة العليا للأساتذة في ليون وجامعة أوغسبورغ وجامعة كايزرسلاوترن أنهم قاموا لأول مرة بقياس كمية ضئيلة من الحرارة المنبعثة عند مسح بت واحد من البيانات. [ 9 ]

في عام 2014، اختبرت التجارب الفيزيائية مبدأ لانداور وأكدت تنبؤاته. [ 10 ]

في عام 2016، استخدم الباحثون مسبارًا ليزريًا لقياس مقدار الطاقة المبددة الناتجة عن تحويل بت نانومغناطيسي من حالة الإيقاف إلى حالة التشغيل. تطلب تحويل البت حوالي 0.026 إلكترون فولت (4.2 × 10⁻²¹ جول) عند 300 كلفن، وهو ما يزيد بنسبة 44% فقط عن الحد الأدنى لـ Landauer. [ 11 ]  

نُشرت مقالة عام 2018 في مجلة Nature Physics تتناول عملية محو لاندور التي أُجريت عند درجات حرارة منخفضة للغاية ( T = 1 كلفن) على مصفوفة من المغناطيسات الجزيئية الكمومية ذات اللف المغزلي العالي ( S = 10) . صُممت المصفوفة لتعمل كمسجل للفّ المغزلي، حيث يُشفّر كل مغناطيس نانوي بتًا واحدًا من المعلومات. [ 12 ] وقد أرست هذه التجربة الأساس لتوسيع نطاق تطبيق مبدأ لاندور ليشمل عالم الكم. وبفضل الديناميكيات السريعة و"القصور الذاتي" المنخفض للفّات المغزلية المفردة المستخدمة في التجربة، أظهر الباحثون أيضًا كيف يمكن إجراء عملية المحو بأقل تكلفة ديناميكية حرارية ممكنة - وهي التكلفة التي يفرضها مبدأ لاندور - وبسرعة عالية. [ 12 ] [ 1 ]

التحديات

يُعتبر هذا المبدأ قانونًا فيزيائيًا مقبولًا على نطاق واسع ، إلا أنه وُوجه بانتقادات لاستخدامه الاستدلال الدائري والافتراضات الخاطئة. [ 13 ] [ 14 ] [ 15 ] [ 16 ] وقد دافع آخرون [ 1 ] [ 17 ] [ 18 ] عن هذا المبدأ، كما بيّن كلٌ من ساغاوا وأويدا (2008) [ 6 ] وكاو وفيتو (2009) [ 7 ] أن مبدأ لانداور هو نتيجة للقانون الثاني للديناميكا الحرارية وانخفاض الإنتروبيا المرتبط باكتساب المعلومات.

من جهة أخرى، أثبتت التطورات الحديثة في الفيزياء الإحصائية غير المتوازنة أنه لا توجد علاقة مسبقة بين الانعكاسية المنطقية والانعكاسية الديناميكية الحرارية. [ 19 ] من الممكن أن تكون عملية فيزيائية قابلة للانعكاس منطقيًا ولكنها غير قابلة للانعكاس ديناميكيًا حراريًا. ومن الممكن أيضًا أن تكون عملية فيزيائية غير قابلة للانعكاس منطقيًا ولكنها قابلة للانعكاس ديناميكيًا حراريًا. في أحسن الأحوال، تكون فوائد تنفيذ عملية حسابية باستخدام نظام قابل للانعكاس منطقيًا دقيقة ومعقدة. [ 20 ]

انظر أيضاً

مراجع

  1. 1 2 3 تشارلز هـ. بينيت (2003)، "ملاحظات حول مبدأ لانداور، والحساب العكسي، وشيطان ماكسويل" (ملف PDF) ، دراسات في تاريخ وفلسفة الفيزياء الحديثة ، 34 (3): 501-510 ، arXiv : physics/0210005 ، Bibcode : 2003SHPMP..34..501B ، doi : 10.1016/S1355-2198(03)00039-X ، S2CID 9648186 ، تاريخ الاسترجاع : 18 فبراير 2015 .
  2. فيتيلي، إم بي؛ بلينيو، في. (2001). "فيزياء النسيان: مبدأ لانداور للمحو ونظرية المعلومات" (ملف PDF) . الفيزياء المعاصرة . 42 (1): 25-60 . arXiv : quant-ph/0103108 . Bibcode : 2001ConPh..42...25P . doi : 10.1080/00107510010018916 . eISSN 1366-5812 . hdl : 10044/1/435 . ISSN 0010-7514 . S2CID 9092795 .   
  3. توماس ج. طومسون. "ذواكر النانومغناطيسية تقترب من حد الطاقة المنخفضة" . بلومفيلد نوبل . مؤرشف من الأصل في 19 ديسمبر 2014. تم الاسترجاع في 5 مايو 2013 .
  4. صموئيل ك. مور (14 مارس 2012). "إثبات حد لانداور" . مجلة IEEE Spectrum . تم الاطلاع عليه في 5 مايو 2013 .
  5. رولف لانداور (1961)، "عدم الانعكاسية وتوليد الحرارة في عملية الحوسبة" (ملف PDF) ، مجلة IBM للبحوث والتطوير ، 5 (3): 183-191 ، doi : 10.1147/rd.53.0183 ، تاريخ الاسترجاع : 18 فبراير 2015.
  6. 1 2 ساغاوا، تاكاهيرو؛ أويدا، ماساهيتو (26-02-2008). "القانون الثاني للديناميكا الحرارية مع التحكم الكمي المتقطع بالتغذية الراجعة" . رسائل المراجعة الفيزيائية . 100 (8) 080403. arXiv : 0710.0956 . Bibcode : 2008PhRvL.100h0403S . doi : 10.1103/ PhysRevLett.100.080403 . PMID 18352605. S2CID 41799543 .  
  7. 1 2 Cao, FJ; Feito, M. (2009-04-10). "الديناميكا الحرارية للأنظمة ذات التحكم بالتغذية الراجعة" . Physical Review E. 79 ( 4) 041118. arXiv : 0805.4824 . Bibcode : 2009PhRvE..79d1118C . doi : 10.1103/PhysRevE.79.041118 . PMID 19518184. S2CID 30188109 .  
  8. جوان فاكارو؛ ستيفن بارنيت (8 يونيو 2011)، "محو المعلومات بدون تكلفة طاقة"، وقائع الجمعية الملكية أ ، 467 (2130): 1770-1778 ، arXiv : 1004.5330 ، Bibcode : 2011RSPSA.467.1770V ، doi : 10.1098/rspa.2010.0577 ، S2CID 11768197 .
  9. أنطوان بيروت؛ أرتك أراكليان؛ أرتيوم بتروسيان؛ سيرجيو سيليبيرتو؛ راؤول ديلنشنايدر؛ إريك لوتز (8 مارس 2012)، "التحقق التجريبي من مبدأ لانداور الذي يربط المعلومات والديناميكا الحرارية" (ملف PDF) ، مجلة Nature ، 483 (7388): 187-190 ، arXiv : 1503.06537 ، Bibcode : 2012Natur.483..187B ، doi : 10.1038/nature10872 ، PMID 22398556 ، S2CID 9415026  .
  10. يونغ غون جون؛ مومتشيلو غافريلوف؛ جون بيتشوفر (4 نوفمبر 2014)، "اختبار عالي الدقة لمبدأ لانداور في مصيدة التغذية الراجعة"، رسائل المراجعة الفيزيائية ، 113 (19) 190601، arXiv : 1408.5089 ، Bibcode : 2014PhRvL.113s0601J ، doi : 10.1103/PhysRevLett.113.190601 ، PMID 25415891 ، S2CID 10164946  .
  11. هونغ، جيونغمين؛ لامبسون، برايان؛ دوي، سكوت؛ بوكور، جيفري (2016-03-01). "اختبار تجريبي لمبدأ لانداور في عمليات البت المفردة على بتات الذاكرة النانومغناطيسية" . مجلة ساينس أدفانسز . 2 (3) e1501492. رمز Bibcode : 2016SciA....2E1492H . doi : 10.1126/sciadv.1501492 . ISSN 2375-2548 . PMC 4795654. PMID 26998519 .   .
  12. 1 2 روكو جودينزي؛ إنريكي بورزوري؛ ساتورو مايجاوا؛ هيري فان دير زانت؛ فرناندو لويس (19 مارس 2018)، “محو لاندور الكمي باستخدام مغناطيس نانوي جزيئي” ، فيزياء الطبيعة ، 14 (6): 565–568 ، بيب كود : 2018NatPh..14..565G ، دوى : 10.1038 / s41567-018-0070-7 ، hdl : 10261/181265 ، S2CID 125321195 .
  13. إيرمان، جون؛ نورتون، جون (ديسمبر 1998). "طارد الأرواح الشريرة الرابع عشر: غضب شيطان ماكسويل. الجزء الأول. من ماكسويل إلى زيلارد" . دراسات في تاريخ وفلسفة العلوم، الجزء ب: دراسات في تاريخ وفلسفة الفيزياء الحديثة . 29 (4): 435-471 . رمز Bibcode : 1998SHPMP..29..435E . doi : 10.1016/S1355-2198(98)00023-9 . تاريخ الاسترجاع: 15 نوفمبر 2024 .
  14. شينكر، أورلي ر. (يونيو 2000). "المنطق والإنتروبيا [ نسخة أولية ] " . أرشيف العلوم الفلسفية . مؤرشف من الأصل في 15 نوفمبر 2023. تم الاطلاع عليه في 20 ديسمبر 2023 .
  15. نورتون، جون د. (يونيو 2005). "آكلو اللوتس: مبدأ لانداور وعودة شيطان ماكسويل" . دراسات في تاريخ وفلسفة العلوم، الجزء ب: دراسات في تاريخ وفلسفة الفيزياء الحديثة . 36 (2): 375-411 . رمز Bibcode : 2005SHPMP..36..375N . doi : 10.1016/j.shpsb.2004.12.002 . S2CID 21104635. مؤرشف من الأصل في 5 يونيو 2023. تم الاسترجاع في 20 ديسمبر 2023 . 
  16. نورتون، جون د. (أغسطس 2011). "في انتظار لانداور" (ملف PDF) . دراسات في تاريخ وفلسفة العلوم، الجزء ب: دراسات في تاريخ وفلسفة الفيزياء الحديثة . 42 (3): 184-198 . رمز Bibcode : 2011SHPMP..42..184N . doi : 10.1016/j.shpsb.2011.05.002 . تاريخ الاسترجاع: 20 ديسمبر 2023 .
  17. ليديمان، جيمس ؛ بريسنيل، ستيوارت؛ شورت، أنتوني جيه؛ غرويسمان، بيري (مارس 2007). "الصلة بين اللاعكوسية المنطقية والديناميكية الحرارية" . دراسات في تاريخ وفلسفة العلوم، الجزء ب: دراسات في تاريخ وفلسفة الفيزياء الحديثة . 38 (1): 58-79 . Bibcode : 2007SHPMP..38...58L . doi : 10.1016/j.shpsb.2006.03.007 . تاريخ الاسترجاع: 20 ديسمبر 2023 .
  18. جوردان، أندرو؛ مانيكاندان، سرينات (12 ديسمبر 2019). "البعض يفضلونها ساخنة" . الاستدلال: مراجعة دولية للعلوم . 5 (1). doi : 10.37282/991819.19.82 . S2CID 241470079 . 
  19. تاكاهيرو ساغاوا (2014)، "إعادة النظر في الانعكاسية الديناميكية الحرارية والمنطقية"، مجلة الميكانيكا الإحصائية: النظرية والتجربة ، 2014 (3): 03025، arXiv : 1311.1886 ، Bibcode : 2014JSMTE..03..025S ، doi : 10.1088/1742-5468/2014/03/P03025 ، S2CID 119247579 .
  20. ديفيد هـ. وولبرت (2019)، "الديناميكا الحرارية العشوائية للحساب"، مجلة الفيزياء أ: الرياضية والنظرية ، 52 (19): 193001، arXiv : 1905.05669 ، Bibcode : 2019JPhA...52s3001W ، doi : 10.1088/1751-8121/ab0850 ، S2CID 126715753 .

للمزيد من القراءة