کف ترمودینامیکی: چرا پاک کردن یک بیت اطلاعات ۳ زپتوژول هزینه دارد؟

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

این مرز به نام «اصل لاندوئر» شناخته می‌شود؛ برگرفته از نام رولف لاندوئر، پژوهشگر IBM که نخستین بار در سال ۱۹۶۱ آن را مطرح کرد. لاندوئر نشان داد که هر عملیات منطقاً بازگشت‌ناپذیر - به‌طور خاص، حذف اطلاعات - باید به افزایش متناظر آنتروپی در محیط منجر شود. در دمای اتاق، یعنی حدود ۳۰۰ کلوین، این حداقل هزینه انرژی تقریباً ۳ زپتوژول (۳ × ۱۰ به توان منفی ۲۱ ژول) به ازای هر بیتِ پاک‌شده است.[1][11]

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

برای درک اینکه چرا پاک کردن اطلاعات گرما تولید می‌کند، باید این اصل مشهور لاندوئر را پذیرفت: «اطلاعات فیزیکی است.» یک بیت یک مفهوم انتزاعی ریاضی نیست؛ بلکه باید در یک سیستم فیزیکی تجلی یابد، خواه به عنوان سطح ولتاژ در یک خازن، اسپین یک الکترون، یا موقعیت یک اتم.[8]

وقتی سیستمی یک بیت اطلاعات را در خود نگه می‌دارد، یکی از دو حالت فیزیکی متمایز را اشغال می‌کند. پاک کردن آن بیت، سیستم را بدون توجه به موقعیت اولیه‌اش، به یک حالت واحد و شناخته‌شده مجبور می‌کند. این فشرده‌سازی در فضای فازِ سیستم، آنتروپی داخلی آن را کاهش می‌دهد. از آنجا که قانون دوم ترمودینامیک دیکته می‌کند که آنتروپی کل هرگز نمی‌تواند کاهش یابد، آنتروپی از دست‌رفته باید به شکل گرما به محیط اطراف دفع شود.[9]

برای دهه‌ها، این اصل یک مفهوم کاملاً نظری باقی ماند که فیزیک‌دانان و فیلسوفان درباره آن بحث می‌کردند اما آزمایش آن غیرممکن بود. انرژی تلف‌شده توسط کامپیوترهای اولیه میلیون‌ها بار بیشتر از حد لاندوئر بود و این هزینه بنیادین ترمودینامیکی را زیر کوهی از ناکارآمدی الکتریکی پنهان می‌کرد.[11]

این وضعیت در سال ۲۰۱۲ تغییر کرد، زمانی که تیمی به رهبری آنتوان بروت مقاله برجسته‌ای را در نشریه Nature منتشر کرد. محققان با استفاده از یک مهره شیشه‌ای میکروسکوپی که توسط یک پرتو لیزر متمرکز به دام افتاده بود - چیدمانی که به عنوان انبرک نوری شناخته می‌شود - یک حافظه فیزیکی یک‌بیتی ایجاد کردند. با دستکاری لیزر، آن‌ها مهره را به یک چاهک واحد هدایت کردند و عملاً بیت را پاک کردند.[2]

نتایج کاملاً صریح بود. هرچه محققان روند پاک کردن را کندتر می‌کردند، گرمای دفع‌شده توسط سیستم به طور مجانبی دقیقاً به همان کف نظری نزدیک می‌شد که لاندوئر نیم قرن پیش پیش‌بینی کرده بود. نویسندگان نوشتند: «در اینجا به صورت تجربی نشان می‌دهیم که پاک کردن یک بیت اطلاعات در واقع به حداقل مقدار کار نیاز دارد» و بدین ترتیب اولین تأیید تجربی مستقیم این اصل را ارائه کردند.[2]

آزمایش‌های بعدی ثابت کردند که این محدودیت کاملاً مستقل از رسانه فیزیکی است. در سال ۲۰۱۴، محققان از یک تله بازخوردی برای دستیابی به یک آزمایش با دقت بالا از این اصل استفاده کردند و حد انرژی لگاریتمی را با دقتی بی‌سابقه تأیید کردند. دو سال بعد، یک تیم مجزا دقیقاً همان هزینه ترمودینامیکی را هنگام پاک کردن عملیات تک‌بیتی روی بیت‌های حافظه نانومغناطیسی نشان دادند و ثابت کردند که این اصل برای سیستم‌های ذخیره‌سازی مغناطیسی که پایه و اساس هارد درایوهای مدرن هستند نیز صادق است.[4][5]

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

با وجود این بحث‌های فلسفی، پیامدهای مهندسی آن فوری و جدی است. یک ترانزیستور مدرن CMOS که در یک پردازنده تجاری سال ۲۰۲۶ کار می‌کند، تقریباً ۱۰ به توان منفی ۱۵ ژول در هر عملیات تلف می‌کند. اگرچه این مقدار یک میلیون بار بزرگ‌تر از حد لاندوئر است، اما منحنی نمایی قانون مور به این معناست که صنعت به سرعت در حال از دست دادن فضای مانور خود است. اگر روندهای فعلی بهره‌وری ادامه یابد، پردازنده‌های سیلیکونی تا سال ۲۰۳۵ به دیوار مطلق ترمودینامیکی برخورد خواهند کرد.[3][11]

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