$k_B T \ln 2$: چرا پاک کردن حتی یک بیت اطلاعات همیشه باعث تولید گرما می‌شود؟

جهان فیزیکی حداقل انرژی مطلقی را که یک کامپیوتر می‌تواند مصرف کند دیکته می‌کند، و این مالیات را هر بار که یک ریزتراشه حتی یک بیت داده را پاک می‌کند، به اجرا می‌گذارد. مهندسان اینتل (Intel) و تی‌اس‌ام‌سی (TSMC) می‌توانند ترانزیستورها را کوچک‌تر کنند و ولتاژها را کاهش دهند، اما نمی‌توانند با ترمودینامیک مذاکره کنند. وقتی یک پردازنده یک ثبات حافظه را پاک می‌کند تا برای اطلاعات جدید جا باز کند، سیستم باید دقیقاً $k_B T \ln 2$ ژول گرما را به محیط اطراف خود دفع کند. این یک ناکارآمدی مهندسی نیست؛ بلکه یک کف سخت ریاضی است که توسط قوانین فیزیک بنا شده و مرز نهایی محاسبات را تعیین می‌کند.[5][7]

این قاعده به عنوان اصل لاندوئر شناخته می‌شود و به نام رولف لاندوئر (Rolf Landauer)، فیزیکدان آی‌بی‌ام (IBM) که برای اولین بار آن را در سال ۱۹۶۱ مطرح کرد، نام‌گذاری شده است. لاندوئر دریافت که محاسبات صرفاً یک تمرین انتزاعی ریاضی نیست، بلکه یک فرآیند فیزیکی است که به قوانین ترمودینامیک محدود می‌شود. در مقاله‌ای در سال ۱۹۸۵ برای ساینتیفیک امریکن (Scientific American) که با همکاری چارلز بنت (Charles Bennett) نوشته شد، این محققان با اعلام اینکه «اطلاعات فیزیکی است»، این پارادایم را تثبیت کردند. آن‌ها نشان دادند که اگرچه خواندن یا نوشتن داده‌ها از نظر تئوری می‌تواند بدون صرف انرژی انجام شود، اما پاک کردن داده‌ها این‌گونه نیست.[5]

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

این هزینه دقیق با معادله $E = k_B T \ln 2$ کمّی‌سازی می‌شود. در اینجا، $k_B$ نشان‌دهنده ثابت بولتزمن ($1.38 \times 10^{-23}$ ژول بر کلوین) است، $T$ دمای مطلق محیط است، و لگاریتم طبیعی ۲ ماهیت باینری (دودویی) بیت را در نظر می‌گیرد. در دمای استاندارد اتاق یعنی ۳۰۰ کلوین، پاک کردن یک بیت تقریباً $2.85 \times 10^{-21}$ ژول گرما دفع می‌کند.[3][5]

در طول اواخر قرن بیستم، این حد صرفاً یک کنجکاوی نظری باقی ماند. پردازنده‌های سیلیکونی مدرن تقریباً ۱۰۰ هزار برابر بیشتر از آنچه حد لاندوئر نیاز دارد، در هر عملیات انرژی مصرف می‌کنند و مقادیر عظیمی از توان را به دلیل مقاومت الکتریکی و نشت جریان از دست می‌دهند. با این حال، از آنجا که صنعت نیمه‌هادی برای حفظ قانون مور (Moore's Law) به سمت مقیاس‌های اتمی حرکت می‌کند، اگزوز حرارتی اجباری لاندوئر در حال تبدیل شدن از یک مفهوم انتزاعی به یک مانع فیزیکی قریب‌الوقوع برای دیتاسنترهای جهانی است.[5][7]

این مرز نظری سرانجام در سال ۲۰۱۲ در یک آزمایشگاه اندازه‌گیری شد. فیزیکدانی به نام آنتوان بروت (Antoine Bérut) و تیمش در مقاله‌ای در نشریه نیچر (Nature) نوشتند که معادل میکروسکوپی یک حافظه تک‌بیتی را با استفاده از یک ذره شیشه‌ای کلوئیدی معلق در آب ساخته‌اند. با به دام انداختن این ذره در یک پتانسیل دوچاهی که توسط پرتوهای متمرکز لیزر - انبرک‌های نوری - ایجاد شده بود، آن‌ها توانستند ذره را مجبور کنند تا در یک چاه قرار گیرد و صفر را نشان دهد، یا در چاه دیگر قرار گیرد و یک را نمایندگی کند.[1]

هنگامی که محققان لیزرها را برای پاک کردن وضعیت ذره دستکاری کردند، گرمای منتقل شده به آب اطراف را با دقت اندازه‌گیری کردند. نتایج، پیش‌بینی سال ۱۹۶۱ لاندوئر را تایید کرد: فرآیند پاک کردن به طور مداوم گرمایی را دفع می‌کرد که به آستانه $k_B T \ln 2$ نزدیک می‌شد. آزمایش سال ۲۰۱۲ در حاشیه‌ای حدود پنج برابر حد نظری عمل کرد و ثابت کرد که هزینه ترمودینامیکی واقعی است، هرچند هنوز کمی توسط اصطکاک آزمایشگاهی پنهان مانده بود.[1][7]

دو سال بعد، تیمی به رهبری یونگ‌گون جون (Yonggun Jun) یک آزمایش با دقت بالا را در فیزیکال ریویو لترز (Physical Review Letters) منتشر کرد. آن‌ها با استفاده از یک تله بازخورد بسیار کالیبره شده، پروتکل پاک کردن را برای به حداقل رساندن ناکارآمدی‌های خارجی اصلاح کردند. اندازه‌گیری‌های آن‌ها نشان داد که دفع انرژی تقریباً دقیقاً روی $1.0 k_B T \ln 2$ همگرا می‌شود. نتایج سال ۲۰۱۴ نشان داد که با افزایش دقت آزمایشگاهی، هزینه ترمودینامیکی اطلاعات به جای یافتن راهی برای دور زدن آن، دقیقاً روی مرز نظری همگرا می‌شود.[6][7]

با وجود شواهد تجربی، این اصل همچنان موضوع بحث‌های شدید آکادمیک است. در سال ۲۰۱۱، فیلسوف فیزیک، جان نورتون (John Norton)، مقاله بحث‌برانگیزی را در پروسیدینگز آو د رویال سوسایتی ای (Proceedings of the Royal Society A) با عنوان «پاک کردن اطلاعات بدون هزینه انرژی» منتشر کرد. نورتون استدلال کرد که اصل لاندوئر بر استدلال دایره‌ای (مصادره به مطلوب) تکیه دارد و پیشنهاد کرد که هزینه ترمودینامیکی، به جای اینکه یک قانون جهانی طبیعت باشد، محصول جانبی مدل‌های فیزیکی خاصی است که برای نشان دادن حافظه استفاده می‌شوند.[2]

نقد نورتون بر این ایده متمرکز است که اگر یک دستگاه حافظه به شکل متفاوتی طراحی شود، ممکن است انتقال آنتروپی را به طور کامل دور بزند. یک بررسی در سال ۲۰۲۴ که در نشریه آنتروپی (Entropy) منتشر شد، این جنجال‌های مداوم را مورد ارزیابی قرار داد و خاطرنشان کرد که اگرچه شکاکان بر روی خلأهای نظری در مدل‌های ایده‌آل تاکید می‌کنند، اما هر آزمایش فیزیکی که تا به امروز انجام شده، در فریب دادن حد لاندوئر شکست خورده است. این بررسی نتیجه گرفت که این اصل به عنوان مستحکم‌ترین پل ارتباطی بین نظریه اطلاعات و مکانیک آماری پابرجاست.[2][3]

این مرز اکنون در قلمرو کوانتومی در حال آزمایش است. در سال ۲۰۱۸، فیزیکس ورلد (Physics World) گزارشی از آزمایش‌هایی منتشر کرد که اصل لاندوئر را به کامپیوترهای کوانتومی تعمیم می‌دادند، جایی که بیت‌ها در برهم‌نهی‌های یک و صفر وجود دارند. محققان دریافتند که درهم‌تنیدگی کوانتومی می‌تواند به طور موقت دفع گرمای محلی را تغییر دهد، اما هزینه کلی ترمودینامیکی در سراسر سیستم همچنان به شدت از فرمان $k_B T \ln 2$ پیروی می‌کند. به نظر می‌رسد که جهان، دفتر کل کوانتومی را به همان دقت دفتر کل کلاسیک حسابرسی می‌کند.[4]

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