juan_gandhi: (Default)
Juan-Carlos Gandhi ([personal profile] juan_gandhi) wrote2020-09-18 06:46 pm
Entry tags:

объясните чайнику принцип Паули

Я чуть не с детства верил, что у электрона спин бывает +1/2 и -1/2, и чтобы на одну орбиту попасть, им нужно иметь разные спины.

А теперь оказывается, что все это чушь. Что у всех электронов спин 1/2. И что-то вроде момента должно различаться, чтобы попасть на одну орбиту. Но момент... он же может быть в любом направлении, так?


НЕ ПОНИМАЮ. 

И да, я гуглил. И я читал вики. Ни хера не понял. Дурят нашего брата, программиста.
pappadeux: (Default)

[personal profile] pappadeux 2020-09-20 12:37 am (UTC)(link)
> например, у него есть свойства, которые просто невозможны для классических объектов.
например, при повороте на 360 градусов система не возвращается в иходное состояние!
для этого ее нужно повернуть 2 раза на 360 градусов. два полных оборота окей,
а один это не совсем окей.

Э?!

это вообще-то придумано Гамильтоном и Клиффордом задолго до появления даже и намеков на всякие электроны.

https://www.gathering4gardner.org/g4g13gift/math/BickfordNeil-GiftExchange-WhyDoTheUnitQuaternionsDoubleCoverTheSpaceOfRotations-G4G13.pdf

alexanderr: (Default)

[personal profile] alexanderr 2020-09-20 01:17 am (UTC)(link)

xaxa, матрицы Паули это и есть кватернионы, конечно же.

но не сможете ли Вы привести пример классического физического объекта, который
будет иметь такие же свойства? с макроскопической массой и размерами, пожалуйста
pappadeux: (Default)

[personal profile] pappadeux 2020-09-20 02:06 am (UTC)(link)
есть классическая демонстрация о том, что вращение на 2пи не является топологическим эквивалентом нулевого вращения или вращения на 4пи - Dirac belt trick

https://arxiv.org/abs/1001.1778
alexanderr: (Default)

[personal profile] alexanderr 2020-09-20 03:39 am (UTC)(link)
вот, да это неплохой пример.
я поискал и на youtube оказывается есть
довольно забавные видео с вращением стакана в руках, волос и так далее.
но это все как бы не замкнутые системы.
хотелось бы в пустом пространстве свободный замкнутый классический объект ну, как электрон.
и чтобы он отличал четное число полных поворотов от нечетного числа.
pappadeux: (Default)

[personal profile] pappadeux 2020-09-20 11:41 pm (UTC)(link)
> но не сможете ли Вы привести пример

такого, наверно, и нет, потому и не приведу

просто двойное покрытие вращения кватернионами (или изоморфными им матрицами Паули) не имеет реально отношения к электрону или кв.механике

Можно сказать, что эта математика реализуется во всей этой электронной кухне наиболее наглядным и красивым образом, так что физикам даже пришлось придумать свой вариант математики на матрицах, бо как про кватернионы они к тому времени забыли

Но математика возникла лет за 70-80 до квантов
Edited 2020-09-20 23:43 (UTC)
alexanderr: (Default)

[personal profile] alexanderr 2020-09-21 12:47 am (UTC)(link)

с Паули я почти знаком лично, через только одного человека.
который с ним катался на такси в НЙ. ну, и потом через ~50 лет рассказывал нам
студентам про это. тот же человек (Yang из теории Yang-Mills'а)
заодно там и с Эйнштейном пересекался. так что Эйнштейн у меня
в той же категории, индекс 2. знаком не лично, но через только
одного человека. (ну, понятно, у самого Паули индекс равен 0)
pappadeux: (Default)

[personal profile] pappadeux 2020-09-21 01:05 am (UTC)(link)
забавно

у меня с польским Римским папой индех 2, причем не через людей в толпе на мессе
alexanderr: (Default)

[personal profile] alexanderr 2020-09-21 02:56 am (UTC)(link)
ого!
alexanderr: (Default)

[personal profile] alexanderr 2020-09-20 01:23 am (UTC)(link)
вспомнил из журнала "Квант" замечательную историю про Гамильтона,
как он потратил 20 лет на то, чтобы научиться умножать триплеты.
и никак не получалось. ну, и не могло получиться. а потом вдруг во время
прогулки с женой на мосту он сообразил как умножать кватернионы.
и тут же вырезал ножиком правила умножения прямо там на мосту.

т.е. да, математический объект был придуман давным-давно, как и положено.
но это не отменяет тот факт, что классических физических объектов с таким
свойством нет
ppk_ptichkin: (Default)

[personal profile] ppk_ptichkin 2020-09-20 02:05 am (UTC)(link)
Droichead Broome. Я при первом удобном случае сходил к этому мосту.
alexanderr: (Default)

[personal profile] alexanderr 2020-09-20 03:28 am (UTC)(link)
по какой-то странной ассоциации вдруг вспомнил, как нас водили в Норвегии на могилу
Софуса Ли. ну, которого алгебры. экскурсовод с удовольствием рассказывал, что
про алгебры-то как раз очень многие слышали, и диаграммы Дынкина могут легко нарисовать при
случае, но вот то, что Lie был норвежец не знает почти никто. все автоматически думают,
что китаец
beldmit: (Default)

[personal profile] beldmit 2020-09-20 06:07 pm (UTC)(link)
Прекрасно! Уволоку?
pappadeux: (Default)

[personal profile] pappadeux 2020-09-20 02:07 am (UTC)(link)
да, вроде до сих пор там (на мосте) присутствует
ppk_ptichkin: (Default)

[personal profile] ppk_ptichkin 2020-09-21 01:53 am (UTC)(link)
Там теперь табличка.
pappadeux: (Default)

[personal profile] pappadeux 2020-09-20 03:06 pm (UTC)(link)
кстати, в этом зоопарке много кватернионов - некоммутативные, коммутативные

и ноги у них растут примерно из одного места...
alexanderr: (Default)

[personal profile] alexanderr 2020-09-20 07:43 pm (UTC)(link)

коммутативные кватернионы, как это?

вроде как раз от коммутативности пришлось отказаться, чтобы научиться их умножать.
при переходе от действительных чисел к комплексным пришлось отказаться от упорядочения.
от комплексных к кватернионам пришлось утратить коммутативность.
и при переходе от кватернионов к ...
... забыл как называются 8х8 числа, так там вроде ассоциативность отпала?
Edited 2020-09-20 19:43 (UTC)
pappadeux: (Default)

[personal profile] pappadeux 2020-09-20 11:57 pm (UTC)(link)
> коммутативные кватернионы, как это?

Берем любимое трехмерное векторное пространство R^3. Строим Клиффордову алгебру Cl(3)=Cl(3,0). Количество базисных элементов равно 2^3=8. Рисуем таблицу умножения базисных элементов так, чтобы можно было умножать любые линейные комбинации.

Имеем таблицу умножения 8х8. В ней начинаем искать замкнутые подтаблицы, которые укажут на наличие подалгебр.

Есть четные элементы Cl(3), которые отвечают за вращение {скаляр, e12, e23, e31}, и оказывается, что они порождают подалгебру из четырех элементов и изоморфны некоммутирующим кватернионам (они же кватернионы Гамильтона)

Так же обнаруживается 4 элемента из ортогональных повыщающих степеней, например {скаляр, e1, e23, псевдоскаляр}, порождающих еще одну подалгебру, котораю изоморфна коммутирующим кватернионам (они же кватернионы Сегрэ)
alexanderr: (Default)

[personal profile] alexanderr 2020-09-21 12:32 am (UTC)(link)
очень интересно, но кватернионы ли это? или просто 2 комплексных числа?
пишут следующее:

...After the discovery of quaternions by Hamilton, Segre proposed modified quaternions so that commutative property in multiplication is possible [5]. This number system, called commutative quaternion. Commutative quaternions are decomposable into two complex variables [6]. The set of commutative quaternions
is 4− dimensional like the set of quaternions. But this set contains zero-divisor
and isotropic elements. ...

что-то последняя фраза меня настораживает. zero-divisor это не есть хорошо
pappadeux: (Default)

[personal profile] pappadeux 2020-09-21 01:01 am (UTC)(link)
> очень интересно, но кватернионы ли это?

несомненно

базис из 4х элементов {скаляр, i, j, k}, таблица умножения базиса 4х4 не выводит за пределы алгебры, т.е. все линейные комбинации кватернионов Сегре перемноженные остаются кватернионами Сегре.

A set of commutative quaternions are denoted by
H = {q = t + ix + jy + kz : t, x, y, z ∈ R, i, j, k /∈ R}
where the bases elements i, j, k satisfy the following multiplication rules:
i^2 = k^2 = −1, j^2 = 1, ijk = −1, ij = ji = k, jk = kj = i, ki = ik = −j.

> zero-divisor это не есть хорошо

почему?
alexanderr: (Default)

[personal profile] alexanderr 2020-09-21 01:14 am (UTC)(link)

ну я не знаю. это очень подозрительная ситуация. т.е. я беру два ненулевых элемента,
умножаю их, и вдруг бац, это ноль!

у обычных кватернионов такого нет. если выбирать между некоммутативностью
или zero-divisor'ами, пусть уж лучше некоммутативность
pappadeux: (Default)

[personal profile] pappadeux 2020-09-21 01:23 am (UTC)(link)
понятно, что это непривычно, но мб где-то и реализуется

надо бы настоящего учоного поймать (скажем, leblonа) и спросить, изпользуются ли кв.Сегре в науке или народном хозяйстве
alexanderr: (Default)

[personal profile] alexanderr 2020-09-21 02:54 am (UTC)(link)
да, интересно, что он скажет

(no subject)

[personal profile] pappadeux - 2020-09-21 18:21 (UTC) - Expand

(no subject)

[personal profile] pappadeux - 2020-09-22 01:57 (UTC) - Expand

(no subject)

[personal profile] alexanderr - 2020-09-22 05:47 (UTC) - Expand

(no subject)

[personal profile] alexanderr - 2020-09-22 05:43 (UTC) - Expand

(no subject)

[personal profile] alexanderr - 2020-09-23 06:23 (UTC) - Expand
pappadeux: (Default)

[personal profile] pappadeux 2020-09-21 01:20 am (UTC)(link)
> ... забыл как называются 8х8 числа, так там вроде ассоциативность отпала?

октонионы

бают, сейчас их пытаются применить к физике частиц и полей