Звуковая подсистема: 8-канальная High Definition Audio с поддержкой DTS и Dolby
Новая серия системных плат с обозначением S рассчитана на процессор AMD AM2. Вынесенная в заголовок модель — флагман этой линейки. Особенностью платы является технология бесшумного охлаждения чипсета Silent-Pipe (вернее, не совсем бесшумного — кулер требуется процессору, но он же охлаждает ключи преобразователя питания и чипы северного и южного мостов через соединяющую их тепловую трубку). Все системные платы серии S поддерживают фирменное программное обеспечение Gigabyte: Download Center, @BIOS, Q-Flash, Xpress Install, Boot menu, Smart Fan, утилиты Xpress Recovery 2, PC Health Monitor, HDD S.M.A.R.T. и C.O.M., а также технологии Virtual Dual BIOS и BIOS Setting Recovery.
Наука:
Проблемы 2000 года: теория Янга-Миллса
Автор: Сергей Николенко
Развитие математики всегда шло рука об руку с развитием физики: то наши знания о природе требовали новых, еще не разработанных математических аппаратов, то новая математика, поначалу представляющаяся лишь изящным упражнением для ума, неожиданно оказывалась необходимой для развития физических теорий. Заключительная в нашем цикле публикаций «задача на миллион» относится к первой из этих категорий.
В античном мире не было проблем с соответствием между математическим и физическим аппаратами: материалистические теории древних греков были наивными, умозрительными и математического обоснования не требовали, а вершина математической мысли греков — идеи Архимеда — к физическим теориям отношения не имели и предназначались для нужд геометрии.
Однако уже начиная с Нового времени, математика и физика не могут жить друг без друга. В самом буквальном смысле: Ньютон разработал матанализ именно как математический аппарат для своих физических открытий и даже философских идей. Кстати, сэр Исаак был очень недоволен Лейбницем, который сделал анализ понятным, доступным и алгоритмическим, — по мнению Ньютона, высшая математика должна была быть эзотеричной[Я уж молчу про анализ Ферма, основанный на алгебраической бесконечно малой, о котором нужно рассказывать отдельно]. Ньютон, по обыкновению того времени, зашифровал свое «научное завещание» в латинской анаграмме. Единственная разумная расшифровка этой анаграммы выглядит примерно так: «Полезно решать дифференциальные уравнения». Следующие два века действительно прошли под знаком математического анализа и дифференциальных уравнений — мир представлялся французским математикам, лидерам тогдашней науки, гигантской системой дифференциальных уравнений. Стоит только решить ее, и развитие Вселенной будет предсказано точно и достоверно. К этому мировоззрению относится и гордое лапласовское «В этой гипотезе я не нуждался» в ответ на замечание Наполеона о том, что система мира Лапласа не предусматривает Бога.
Во второй половине девятнадцатого века маятник качнулся в другую сторону. Развитие математики несколько опередило развитие физических теорий. Самый яркий и широко известный пример — неевклидовы геометрии Лобачевского, Бойяи, Гаусса и позднее примкнувшего к ним Римана. Поначалу эти теории всего лишь закрыли вопрос с пятым постулатом Евклида[Пятый постулат равносилен утверждению, что через точку, не лежащую на данной прямой, можно провести одну и только одну прямую, параллельную данной. Евклид сформулировал его запутанно и многословно (в отличие от других, кристально ясных постулатов). Многие математики потратили кучу сил и времени на попытки вывода пятого постулата из остальных постулатов евклидовой геометрии], продемонстрировав, что он не выводится из остальных аксиом, — результат интересный, но вряд ли сам по себе имеющий хоть какое-то прикладное значение. Но впереди был Эйнштейн, который, опираясь на работы классика геометрии Минковского, показал, что Вселенная, на самом деле, имеет переменную кривизну, а школьная евклидова геометрия, увы, всего лишь абстракция.
Затем существующей математики еще долго хватало для того, чтобы описывать физические теории. Так, квантовая механика и основанные на ней теории (например, теория суперструн) пользуются заранее разработанными разделами математики (в частности, теорией групп и функциональным анализом).
Проблемы с квантовой теорией Янга-Миллса — это мяч, который снова попал на математическое поле. Физика требует от математики теории, которая описывала бы накопленные физиками идеи и соотношения, а математика пока не может дать подходящего аппарата.
Взаимодействия между любыми природными объектами (телами, частицами, волнами) делятся на четыре типа: гравитационное, электромагнитное, сильное и слабое. В физике не прекращались попытки создать теорию, которая бы объясняла все эти взаимодействия, так называемую общую теорию поля. Теория Янга-Миллса — это математический язык, который позволил физикам описать три из четырех основных сил природы (гравитация пока не поддается, так что об общей теории поля говорить рано).
Янг Чжэньнин (Chen Ning Yang) и Роберт Миллс (Robert Mills) в 1954 году опубликовали небольшую статью, которая до сих пор служит основой квантовой теории поля. О том, что такое теория поля, мы еще поговорим, а сейчас зададимся вопросом: что же отличает квантовые теории от классических? В классике основной объект изучения — частица или тело. Тела взаимодействуют друг с другом. Взаимодействие (как принято считать еще со времен Ньютона) осуществляется посредством полей, которые создаются частицами и воздействуют на другие частицы. Например, заряженная частица создает электромагнитное поле, частица с ненулевой массой — гравитационное. Отметим и одну из ключевых идей физики, как классической, так и квантовой: частица эквивалентна совокупности полей, которые она создает, ведь любое взаимодействие с другими частицами производится посредством этих полей; с точки зрения физики, рассматривать поля, порожденные частицей, — то же, что рассматривать саму частицу.
При квантовом подходе одну и ту же частицу можно описывать двумя разными способами: как частицу с некоторой массой и как волну с некоторой длиной. Единая частица-волна описывается не своим положением в пространстве, а волновой функцией (обычно обозначаемой как y), и ее местонахождение имеет вероятностную природу — вероятность обнаружить частицу в данной точке x в данное время t равна | ψ (x,t)|^2 .
Как же описывать движение частиц? Какие законы предсказывают эволюцию волновой функции с течением времени? В классической механике движение осуществляется по принципу наименьшего действия. Для данной механической системы можно построить функцию (называемую лагранжианом), минимизация интеграла от которой и дает предсказание поведения системы — траектории движущихся тел. В квантовой механике понятие «траектория» теряет смысл, но понятие лагранжиана сохраняется, и с его помощью можно предсказать поведение волновых функций взаимодействующих частиц.
Возникает вопрос: каким образом учитывать поля квантовой системы при построении этого самого лагранжиана? Ответ на этот вопрос дают так называемые квантовые теории поля. Множественное число не случайно: лагранжиан можно строить разными способами, дело лишь в том, какой из них лучше описывает реальность.
Вернемся к волновым функциям. При измерении вероятность найти частицу в данной точке равна квадрату модуля волновой функции. Значит, функцию можно умножить на любое комплексное число с единичным модулем (сдвинуть фазу), и ничего не изменится: вероятность нахождения частицы в каждой конкретной точке останется точно такой же. Фактически конкретный вид волновой функции нам никогда не узнать, да он нас и не интересует; зато очень интересно, какие операции можно произвести над волновой функцией так, чтобы свойства системы не изменились.