Начинается эпоха электронных вычислительных машин: от индустриальной к цифровой эпохе.
Собственно, как я написал выше, криптография цифровой эпохи - это начало экспозиции. Именно музейных экспонатов тут немного, но много интерактива, особенно для детей, но не только. Объясняется, что такое двоичное кодирование, как выбрать безопасный пароль. Вводишь свой пароль - и он выводит время, за которое его можно взломать.
Понравился интерактив про хеш-функции ("цифровой отпечаток"). В нём всему роману "Война и мир" сопоставляется хеш-функция в, кажется, пару десятков бит. Затем показывается, как изменение всего одной буквы в романе делает этот цифровой отпечаток совершенно иным, ничего общего с предыдущим. Так можно обеспечивать целостность информации (то есть что она не была изменена) и на этих принципах работает цифровая подпись.
Понравился интерактив про хеш-функции ("цифровой отпечаток"). В нём всему роману "Война и мир" сопоставляется хеш-функция в, кажется, пару десятков бит. Затем показывается, как изменение всего одной буквы в романе делает этот цифровой отпечаток совершенно иным, ничего общего с предыдущим. Так можно обеспечивать целостность информации (то есть что она не была изменена) и на этих принципах работает цифровая подпись.
Вот ещё одна красивая схема, а затем - схемы известных использующихся сейчас шифров: два американских и два российских. В отличие от одноразового блокнота они могут зашифровывать длинные сообщения коротким ключом, который может использоваться повторно много раз. Хоть они и не обеспечивают абсолютную стойкость, они обеспечивают практическую стойкость. А именно, как считается, их невозможно взломать за разумное время, считать придется минимум сотни и тысячи лет. Причём (тоже не доказано, а "как считается") даже квантовый компьютер здесь не угроза.
Кстати, о квантовом компьютере. Есть в музее кабинка по этой теме, где ты надеваешь VR-очки (очки виртуальной реальности) и тебе что-то об этом рассказывают. К сожалению, они были заняты продолжительное время одним человеком, а я торопился. Значит, видимо, там что-то не совсем короткое и интересное:) Если кто будет и кому удастся или, может, уже удалось посмотреть это кино виртуальной реальности - напишите в комментариях:) На этой ноте, возвращающей нас к квантовой теме, мы и завершим наш репортаж о московском музее криптографии:)
2025 год объявлен ООН Международным годом квантовых науки и технологий - в честь 100-летия создания квантовой механики.
Квантовая механика появилась не одномоментно, а стала результатом длительных усилий целого ряда ярких учёных, но если всё-таки выделять какой-то конкретный год и конкретного автора, то это действительно 1925 год, Вернер Гейзенберг (Heisenberg), "Über quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen" ("О квантовотеоретическом истолковании кинематических и механических соотношений"). Во всяком случае, в формулировке Нобелевского комитета именно Гейзенбергу присуждена премия (в 1932 г.) "за создание" (creation) квантовой механики". Более того, это пока единственная Нобелевская премия по физике "за создание", а не "за открытие", "за фундаментальные труды" и т.п.
Интересно, что, как следует даже из названия, Гейзенберг не хотел ниспровергать классическую ньютоновскую механику, а только дополнить, по-новому истолковать её.
Это я всё к чему. Немецкое физическое общество запустило сайт (на английском), посвящённый истории квантовой механики - от 1885 до (на данный момент) 2006 года:
https://www.quantum-history.de/
Сайт продолжает наполняться.
Квантовая механика появилась не одномоментно, а стала результатом длительных усилий целого ряда ярких учёных, но если всё-таки выделять какой-то конкретный год и конкретного автора, то это действительно 1925 год, Вернер Гейзенберг (Heisenberg), "Über quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen" ("О квантовотеоретическом истолковании кинематических и механических соотношений"). Во всяком случае, в формулировке Нобелевского комитета именно Гейзенбергу присуждена премия (в 1932 г.) "за создание" (creation) квантовой механики". Более того, это пока единственная Нобелевская премия по физике "за создание", а не "за открытие", "за фундаментальные труды" и т.п.
Интересно, что, как следует даже из названия, Гейзенберг не хотел ниспровергать классическую ньютоновскую механику, а только дополнить, по-новому истолковать её.
Это я всё к чему. Немецкое физическое общество запустило сайт (на английском), посвящённый истории квантовой механики - от 1885 до (на данный момент) 2006 года:
https://www.quantum-history.de/
Сайт продолжает наполняться.
👍3❤2
Везёт мне в последнее время на музеи, связанные с вычислительными устройствами. Это музей "Арифмеум" (Arithmeum) в Бонне. Он небольшой и во многом повторяет музей Хайнца Никсдорфа в Падерборне, но здесь упор сделан не на компьютерах и обработке информации, а на том, как развивались счётные средства - отсюда и название. От первых числовых надписях на древних камнях до компьютеров. Очень понравились объяснения, как что работает, тоже много интерактивных экспонатов, на которых можно посчитать. Например, объясняется логарифмическая линейка. Хорошие видео про то, как работают микросхемы и, например, в чем новизна реле, электронной лампы и транзистора.
Действительно производит впечатление, как человечество, не имея современных микроэлектронных технологий, стремилось совершенствовать средства счёта - чтоб справляться с возрастающим объёмом данных, изобретало всё более изощрённые способы, чтобы делать больше вычислений с большей скоростью.
А обработка "больших данных" методами машинного обучения - следующая стадия?
Действительно производит впечатление, как человечество, не имея современных микроэлектронных технологий, стремилось совершенствовать средства счёта - чтоб справляться с возрастающим объёмом данных, изобретало всё более изощрённые способы, чтобы делать больше вычислений с большей скоростью.
А обработка "больших данных" методами машинного обучения - следующая стадия?
👍3
Отдельно хочется написать про перфокарты. Я (как, наверное, все "миллениалы") застали их в детстве уже как рудименты - какие-то загадочные листы плотной бумаги с циферками (целые или пробитые, на фото), скопившиеся у людей, работавших со старыми вычислительными машинами и использующиеся теперь в качестве блокнотных листочков, для заметок (конечно, на обратной, чистой стороне).
На втором фото - устройство, использовавшееся в переписи населения в США в конце 19-начале 20 века. Обходчик не записывал данные людей, а пробивал соответствующие поля на специальной перфокарте (другой, конечно). Затем при обработке данных её вставляли в это устройство (справа) и одним движением рычага считывали все данные: в местах дырок замыкался контакт, проходил ток и соответствующие счётчики (на панели, со стрелками) увеличивались на единицу.
На втором фото - устройство, использовавшееся в переписи населения в США в конце 19-начале 20 века. Обходчик не записывал данные людей, а пробивал соответствующие поля на специальной перфокарте (другой, конечно). Затем при обработке данных её вставляли в это устройство (справа) и одним движением рычага считывали все данные: в местах дырок замыкался контакт, проходил ток и соответствующие счётчики (на панели, со стрелками) увеличивались на единицу.
👍1
Перфокарты изначально были изобретены для автоматизации на ткацких станках. Но в информатике их использовать впервые догадался наш соотечественник Семён Николаевич Корсаков (1787-1853), "первый русский программист", который сконструировал "интеллектуальные машины" - по сути, механические базы данных, в Википедии приводятся некоторые анимации. Причём его приоритет признаёт и английская Википедия.
Важный вклад в современную реабилитацию этих работ внёс профессор МИФИ Геллий Николаевич Поваров - наш преподаватель дискретной математики, удивительный человек, - и его последователи в МИФИ уже после его кончины. В частности, они перевели труды Корсакова с французского, тогдашнего международного языка науки. Странно, что это прошло мимо меня, я ведь тогда в МИФИ работал.
https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D1%80%D1%81%D0%B0%D0%BA%D0%BE%D0%B2%2C_%D0%A1%D0%B5%D0%BC%D1%91%D0%BD_%D0%9D%D0%B8%D0%BA%D0%BE%D0%BB%D0%B0%D0%B5%D0%B2%D0%B8%D1%87?wprov=sfla1
P.S. Про историю всё пока, дальше снова про кванты:)
Важный вклад в современную реабилитацию этих работ внёс профессор МИФИ Геллий Николаевич Поваров - наш преподаватель дискретной математики, удивительный человек, - и его последователи в МИФИ уже после его кончины. В частности, они перевели труды Корсакова с французского, тогдашнего международного языка науки. Странно, что это прошло мимо меня, я ведь тогда в МИФИ работал.
https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D1%80%D1%81%D0%B0%D0%BA%D0%BE%D0%B2%2C_%D0%A1%D0%B5%D0%BC%D1%91%D0%BD_%D0%9D%D0%B8%D0%BA%D0%BE%D0%BB%D0%B0%D0%B5%D0%B2%D0%B8%D1%87?wprov=sfla1
P.S. Про историю всё пока, дальше снова про кванты:)
👍2
Впрочем, можно вот такой плавный переход сделать от перфокарт обратно к квантам. В конце декабря я писал о квантовых кодах исправления ошибок. На примере перфокарт можно проиллюстрировать, почему для помехоустойчивых (fault-tolerant) квантовых вычислений недостаточно просто иметь хороший код.
Как я писал, простейший (пока что классический, не квантовый) код исправления ошибок - это код повторения: мы просто повторяем каждый символ несколько раз. А следующий по сложности код, о котором обычно рассказывают, - это так называемый код Хемминга. Он гораздо эффективнее кода повторения, хотя тоже достаточно простой. Представим, что нам нужно передать четыре бита - например, 0010. Мы по простому алгоритму вычисляем три проверочных бита, в данном случае - 110, и приписываем их в конец (например). Получится 0100110. Семь бит. Если в одной позиции из этих семи произошла ошибка (то есть 0 изменился на 1 или наоборот), то простой алгоритм позволит определить эту позицию, после чего её можно исправить. Это, конечно, гораздо экономнее, чем повторять каждый из четырёх битов сообщения несколько раз. Вычисление проверочных битов и приписывание их в конец называется кодированием. Проверка на ошибку, исправление её и, если нужно, отбрасывание проверочных битов, чтобы снова остались только наши информационные биты 0010 - декодированием.
А вот история этого кода. Ричард Хемминг (Hamming) работал с вычислительными машинами сначала в Манхэттенском (ядерном) проекте, а затем после войны - в Лаборатории Белла (Bell Labs). Машины были электромеханическими и данные вводились как раз при помощи перфокарт.
Машины тогда считали ненадёжно, допускали ошибки, но основной проблемой были ошибки, возникающие при считывании перфокарт, т.е. при переводе информации с одного носителя на принципиальной другой: из отверстий на листе бумаги в электромеханическое состояние машины. При возникновении ошибки приходилось перезагружать всю программу. Хемминга это изрядно раздражало и он несколько лет работал над тем, чтобы придумать коды, с помощью которых машина сможет не просто обнаруживать ошибки считывания с перфокарт, но и сама исправлять их, не прерывая работы. В итоге у него получилось.
Эта история иллюстрирует, в каких случаях коды особенно хороши: когда ошибка возникает (в основном) при передаче информации. Это может быть передача на расстояние, передача с одного носителя на другой, длительное хранение информации, т.е. передача во времени. А само вычисление, в том числе декодирование, работает относительно надежно.
В квантовых вычислениях ситуация не такая: там нет разделения на надёжное вычисление и ненадёжную передачу. Там всё ненадёжно и ошибка может возникнуть абсолютно везде, в том числе при кодировании и декодировании. Это осложняет задачу. Мы вводим дополнительные проверочные биты и дополнительные операции для выполнения проверок, но ошибка равно может возникнуть как раз при выполнении этих операций - в отличие от того, что у Хемминга. В итоге они нам не помогут, а только ещё сильнее запутают. Поэтому, во-первых, надо не просто иметь хороший код, но и всё вычисление, в том числе и обнаружение и исправление ошибки, само тоже подверженное ошибкам, надо организовать грамотно. А во-вторых, это возможно только если вероятность достаточно маленькая - меньше определённого порога, а о чём я тогда писал.
То есть хороший квантовый код, исправляющий ошибки ("хороший" - значит, исправляет много ошибок при минимальном количестве проверочных кубитов, имеет быстрые алгоритмы обнаружения и исправления ошибок и т.д.), лежит в основе помехоустойчивого квантового вычисления, вокруг него оно выстраивается, но самого по себе его недостаточно.
Как я писал, простейший (пока что классический, не квантовый) код исправления ошибок - это код повторения: мы просто повторяем каждый символ несколько раз. А следующий по сложности код, о котором обычно рассказывают, - это так называемый код Хемминга. Он гораздо эффективнее кода повторения, хотя тоже достаточно простой. Представим, что нам нужно передать четыре бита - например, 0010. Мы по простому алгоритму вычисляем три проверочных бита, в данном случае - 110, и приписываем их в конец (например). Получится 0100110. Семь бит. Если в одной позиции из этих семи произошла ошибка (то есть 0 изменился на 1 или наоборот), то простой алгоритм позволит определить эту позицию, после чего её можно исправить. Это, конечно, гораздо экономнее, чем повторять каждый из четырёх битов сообщения несколько раз. Вычисление проверочных битов и приписывание их в конец называется кодированием. Проверка на ошибку, исправление её и, если нужно, отбрасывание проверочных битов, чтобы снова остались только наши информационные биты 0010 - декодированием.
А вот история этого кода. Ричард Хемминг (Hamming) работал с вычислительными машинами сначала в Манхэттенском (ядерном) проекте, а затем после войны - в Лаборатории Белла (Bell Labs). Машины были электромеханическими и данные вводились как раз при помощи перфокарт.
Машины тогда считали ненадёжно, допускали ошибки, но основной проблемой были ошибки, возникающие при считывании перфокарт, т.е. при переводе информации с одного носителя на принципиальной другой: из отверстий на листе бумаги в электромеханическое состояние машины. При возникновении ошибки приходилось перезагружать всю программу. Хемминга это изрядно раздражало и он несколько лет работал над тем, чтобы придумать коды, с помощью которых машина сможет не просто обнаруживать ошибки считывания с перфокарт, но и сама исправлять их, не прерывая работы. В итоге у него получилось.
Эта история иллюстрирует, в каких случаях коды особенно хороши: когда ошибка возникает (в основном) при передаче информации. Это может быть передача на расстояние, передача с одного носителя на другой, длительное хранение информации, т.е. передача во времени. А само вычисление, в том числе декодирование, работает относительно надежно.
В квантовых вычислениях ситуация не такая: там нет разделения на надёжное вычисление и ненадёжную передачу. Там всё ненадёжно и ошибка может возникнуть абсолютно везде, в том числе при кодировании и декодировании. Это осложняет задачу. Мы вводим дополнительные проверочные биты и дополнительные операции для выполнения проверок, но ошибка равно может возникнуть как раз при выполнении этих операций - в отличие от того, что у Хемминга. В итоге они нам не помогут, а только ещё сильнее запутают. Поэтому, во-первых, надо не просто иметь хороший код, но и всё вычисление, в том числе и обнаружение и исправление ошибки, само тоже подверженное ошибкам, надо организовать грамотно. А во-вторых, это возможно только если вероятность достаточно маленькая - меньше определённого порога, а о чём я тогда писал.
То есть хороший квантовый код, исправляющий ошибки ("хороший" - значит, исправляет много ошибок при минимальном количестве проверочных кубитов, имеет быстрые алгоритмы обнаружения и исправления ошибок и т.д.), лежит в основе помехоустойчивого квантового вычисления, вокруг него оно выстраивается, но самого по себе его недостаточно.
🔥1
В дополнение к предыдущей записи. Школьникам, особенно из математических классов, дают задачи на взвешивания: дано какое-то количество монет, одна из них фальшивая, имеющая немного другой вес, нужно за минимальное количество взвешиваний определить её. Это и есть самое натуральное кодирование и исправление ошибки, основы теории информации!
Можно вот так ещё изменить эту задачу. Сначала все монеты хорошие. Мы заранее проводим несколько их взвешиваний. Потом мы пересылаем монеты нашему другу в другой город, но по дороге злоумышленник мог одну из монет в нашей посылке подменить. Наш друг проводит те же самые взвешивания и, если результаты совпали с нашими взвешиваниями - всё нормально. А если не совпали, то по тому, что именно не совпало, он способен вычислить фальшивую.
Вот наши взвешивания - это кодирование, проверочные значения, его взвешивания и вычисление фальшивой монеты - декодирование и определение ошибки, а сам алгоритм, какие именно монеты нужно положить на какую чашу весов при взвешиваниях - код.
Можно вот так ещё изменить эту задачу. Сначала все монеты хорошие. Мы заранее проводим несколько их взвешиваний. Потом мы пересылаем монеты нашему другу в другой город, но по дороге злоумышленник мог одну из монет в нашей посылке подменить. Наш друг проводит те же самые взвешивания и, если результаты совпали с нашими взвешиваниями - всё нормально. А если не совпали, то по тому, что именно не совпало, он способен вычислить фальшивую.
Вот наши взвешивания - это кодирование, проверочные значения, его взвешивания и вычисление фальшивой монеты - декодирование и определение ошибки, а сам алгоритм, какие именно монеты нужно положить на какую чашу весов при взвешиваниях - код.
Теперь насчёт утверждения, что самого по себе квантового кода, исправляющего ошибки, недостаточно, нужно ещё и всё вычисление правильно организовать. Что имеется в виду? Во-первых, декодировать только в самом конце. Если у нас проблема только в ненадежной передаче информации, то мы закодировали информацию, добавив к ней проверочные значения, передали, на том конце проверили на ошибки, если они есть - исправили, и можно удалить все проверочные биты и дальше работать только с информационными. Если же ошибка может произойти в любой момент, то мы всегда должны работать с информацией, закодированной в помехоустойчивый вид, т.е. с избыточностью, с проверочными (ку)битами. Как космонавт в открытом космосе всё время находится в защитном скафандре, информация в квантовом компьютере должна всё время быть в помехоустойчивом виде. Это осложняет процесс вычислений, потому что при выполнении любой вычислительной операции нужно иметь в виду, что информационные кубиты находятся "в скафанде" из проверочных кубитов и преобразовывать их нужно вместе.
Более того, вычисление таких блоков из информационных и проверочных битов нужно организовать так, чтобы по максимуму избегать "размножения" ошибок.
Допустим, мы выполняем операцию "исключающее или", она же - XOR (eXclusive OR), она же - "сложение по модулю два" (то есть складываем, а затем оставляем от суммы только остаток от деления на два). Она действует так:
0 XOR 0 = 0
0 XOR 1 = 1
1 XOR 0 = 1
1 XOR 1 = 0
Если 1 и 0 сопоставить логические значения "истина" и "ложь", то это действительно исключющее или: результат истинен тогда и только тогда, когда одно из "слагаемых" истинно, но не оба сразу. Как правило, в нашем языке "или" - именно исключающее: "Я завтра пойду в кино или в театр". Обычно это означает, что будет что-то одно, не оба варианта сразу.
Так вот представим, что один бит у нас ошибочный. У нас два бита, у одного значение 0, а у другого - 1, и мы должны были вычислить
0 XOR 1 = 1.
Но где-то до этого в первом бите произошла ошибка и он из 0 превратился в 1 и мы вычислили
1 XOR 1 = 0.
То есть мы получили неправильный результат вычисления, хотя сама эта операция была выполнено правильно! Это и есть "размножение" ошибки.
Почему это опасно. Вот, допустим, код Хемминга способен исправлять одну ошибку в блоке из семи бит, но не более. Допустим, мы достигли такого уровня точности операций, что ошибки действительно у нас возникают редко. Но где-то всё-таки одна ошибка произошла. Но дальше она начинает распространяться и захватывать всё больше и больше других битов, даже если дальнейшие операции выполняются безошибочно! Если за этим не следить, то даже при очень высокой точности выполнения операций достаточно одного сбоя, чтобы произошедшая ошибка так размножилась, что уже никакой код не поможет. Нужно организовывать вычисление так, чтобы минимизировать такое размножение.
Более того, вычисление таких блоков из информационных и проверочных битов нужно организовать так, чтобы по максимуму избегать "размножения" ошибок.
Допустим, мы выполняем операцию "исключающее или", она же - XOR (eXclusive OR), она же - "сложение по модулю два" (то есть складываем, а затем оставляем от суммы только остаток от деления на два). Она действует так:
0 XOR 0 = 0
0 XOR 1 = 1
1 XOR 0 = 1
1 XOR 1 = 0
Если 1 и 0 сопоставить логические значения "истина" и "ложь", то это действительно исключющее или: результат истинен тогда и только тогда, когда одно из "слагаемых" истинно, но не оба сразу. Как правило, в нашем языке "или" - именно исключающее: "Я завтра пойду в кино или в театр". Обычно это означает, что будет что-то одно, не оба варианта сразу.
Так вот представим, что один бит у нас ошибочный. У нас два бита, у одного значение 0, а у другого - 1, и мы должны были вычислить
0 XOR 1 = 1.
Но где-то до этого в первом бите произошла ошибка и он из 0 превратился в 1 и мы вычислили
1 XOR 1 = 0.
То есть мы получили неправильный результат вычисления, хотя сама эта операция была выполнено правильно! Это и есть "размножение" ошибки.
Почему это опасно. Вот, допустим, код Хемминга способен исправлять одну ошибку в блоке из семи бит, но не более. Допустим, мы достигли такого уровня точности операций, что ошибки действительно у нас возникают редко. Но где-то всё-таки одна ошибка произошла. Но дальше она начинает распространяться и захватывать всё больше и больше других битов, даже если дальнейшие операции выполняются безошибочно! Если за этим не следить, то даже при очень высокой точности выполнения операций достаточно одного сбоя, чтобы произошедшая ошибка так размножилась, что уже никакой код не поможет. Нужно организовывать вычисление так, чтобы минимизировать такое размножение.
Поэтому в помехоустойчивых (fault-tolerant) квантовых вычислениях различают понятия "сбоя" (fault) и "ошибки" (error). Сбой - это где ошибка впервые возникла, какая операция была выполнена неточно. А "ошибка" - это уже везде, куда эта первоначальная ошибка распространилась. Тут так и хочется перевести слово "fault" как "грех", имея в виду аналогию с христианским учением о первородном грехе: когда-то давно Адам и Ева согрешили, мы в этом лично не виноваты, но последствия "первородного греха", повреждённое состояние на себе несём и распространяем его дальше на наших потомков. Так и здесь: где-то произошёл сбой, все дальнейшие операции в этом не виноваты и выполняются точно, "безгрешно", но всё-таки распространяют ошибку дальше:) Но, конечно, "сбой" - более подходящий научный перевод.
Новость не из области квантовой информатики, но, кажется, что-то грандиозное происходит сейчас в космологии. Хотя заголовок "Эйнштейн ошибался" - журналистское преувеличение. Учёные обнаружили (пока, правда, ещё не полностью подтвердили), что ускорение расширения Вселенной уменьшается со временем. Говоря математическим языком, третья производная отрицательна. Что это означает?
Известно, что Вселенная расширяется. Но гравитационное притяжение звёзд и галактик друг к другу работает против этого расширения, поэтому можно было ожидать, что расширение со временем замедляется. Однако в конце 20 века было обнаружено, что Вселенная расширяется, наоборот, с ускорением, то есть в ней действует какая-то сила "антигравитации", которая расталкивает объекты друг от друга. Что это за сила? В простейшем случае её действительно можно попытаться описать как некую внешнюю постоянную силу, действующую во Вселенной. Её предложил ввести ещё Эйнштейн, но с другой целью: он верил в стационарную (то есть не меняющуюся во времени, "вечную"), а не расширяющуюся Вселенную и ввёл эту силу, которая способна обеспечить статичность Вселенной. Точнее, не силу, а определенный член в выведенные им самим уравнения гравитационного поля. Он пропорционален так называемой космологической постоянной, которая обозначается заглавной греческой буквой "лямбда", поэтому называется ещё "лямбда-членом". Но на языке школьной физики можно упрощённо говорить "сила". Но затем, когда расширение Вселенной экспериментально подтвердилось и он понял, что Вселенная всё-таки нестационарна, он отказался от этого члена. А вот в связи с обнаруженным ускоренным расширением этот член снова ввели.
Но в более сложном случае ускоренное расширение вызвано не простым введением некой "внешней" силы, а особой формой энергии, названной тёмной энергией. Тёмная не в смысле злая, а в смысле неизвестная. Названа она так по аналогии с давно известной тёмной материей, которая тёмная не в переносном, а в самом прямом смысле: она участвует в обычном гравитационном притяжении, но не светится и не отражает свет, потому и тёмная. Её природа тоже неизвестна, но её намного больше во Вселенной, чем "обычной", известной нам материи. А вот "тёмной энергии" оказывается ещё больше: вместе с темной материей они составляют 96% всей энергии Вселенной, тогда как известная нам материя - только (!) 4%.
Но была надежда, что, может, не надо так сложно, можно просто ввести постоянную внешнюю силу, "космологическую постоянную". "Надежда" - тут для кого как, конечно: теоретикам в этой области, возможно, наоборот, интереснее посложнее модели рассматривать. В любом случае, как мы помним из школы, постоянная сила создаёт и постоянное ускорение (второй закон Ньютона). Так вот открытие уменьшения ускорения, если оно подтвердится, означает, что и сила эта не может быть постоянной. А значит, либо эта "космологическая постоянная" - вовсе не постоянная, а каким-то неведомым образом меняется во времени, либо всё-таки это особый вид энергии, у которой есть какая-то своя динамика. Эта энергия, повторю, должна составлять большинство энергии во Вселенной, но её природа совершенно неизвестна.
Заголовок "Эйнштейн ошибался" - это как раз о том, что его член с космологической постоянной всё-таки ошибочный, так как не объясняет всей сложности.
https://hightech.fm/2025/03/21/desi-space-new
Известно, что Вселенная расширяется. Но гравитационное притяжение звёзд и галактик друг к другу работает против этого расширения, поэтому можно было ожидать, что расширение со временем замедляется. Однако в конце 20 века было обнаружено, что Вселенная расширяется, наоборот, с ускорением, то есть в ней действует какая-то сила "антигравитации", которая расталкивает объекты друг от друга. Что это за сила? В простейшем случае её действительно можно попытаться описать как некую внешнюю постоянную силу, действующую во Вселенной. Её предложил ввести ещё Эйнштейн, но с другой целью: он верил в стационарную (то есть не меняющуюся во времени, "вечную"), а не расширяющуюся Вселенную и ввёл эту силу, которая способна обеспечить статичность Вселенной. Точнее, не силу, а определенный член в выведенные им самим уравнения гравитационного поля. Он пропорционален так называемой космологической постоянной, которая обозначается заглавной греческой буквой "лямбда", поэтому называется ещё "лямбда-членом". Но на языке школьной физики можно упрощённо говорить "сила". Но затем, когда расширение Вселенной экспериментально подтвердилось и он понял, что Вселенная всё-таки нестационарна, он отказался от этого члена. А вот в связи с обнаруженным ускоренным расширением этот член снова ввели.
Но в более сложном случае ускоренное расширение вызвано не простым введением некой "внешней" силы, а особой формой энергии, названной тёмной энергией. Тёмная не в смысле злая, а в смысле неизвестная. Названа она так по аналогии с давно известной тёмной материей, которая тёмная не в переносном, а в самом прямом смысле: она участвует в обычном гравитационном притяжении, но не светится и не отражает свет, потому и тёмная. Её природа тоже неизвестна, но её намного больше во Вселенной, чем "обычной", известной нам материи. А вот "тёмной энергии" оказывается ещё больше: вместе с темной материей они составляют 96% всей энергии Вселенной, тогда как известная нам материя - только (!) 4%.
Но была надежда, что, может, не надо так сложно, можно просто ввести постоянную внешнюю силу, "космологическую постоянную". "Надежда" - тут для кого как, конечно: теоретикам в этой области, возможно, наоборот, интереснее посложнее модели рассматривать. В любом случае, как мы помним из школы, постоянная сила создаёт и постоянное ускорение (второй закон Ньютона). Так вот открытие уменьшения ускорения, если оно подтвердится, означает, что и сила эта не может быть постоянной. А значит, либо эта "космологическая постоянная" - вовсе не постоянная, а каким-то неведомым образом меняется во времени, либо всё-таки это особый вид энергии, у которой есть какая-то своя динамика. Эта энергия, повторю, должна составлять большинство энергии во Вселенной, но её природа совершенно неизвестна.
Заголовок "Эйнштейн ошибался" - это как раз о том, что его член с космологической постоянной всё-таки ошибочный, так как не объясняет всей сложности.
https://hightech.fm/2025/03/21/desi-space-new
Хайтек
Эйнштейн ошибался: темная энергия оказалась не такой, как считали ученые
Исследование показало, что темная энергия ослабевала со временем.