Jump to content

Правило Литтлвуда-Ричардсона

В математике правило Литтлвуда -Ричардсона представляет собой комбинаторное описание коэффициентов, возникающих при разложении произведения двух функций Шура в линейную комбинацию других функций Шура. Эти коэффициенты представляют собой натуральные числа, которые правило Литтлвуда-Ричардсона описывает как подсчет определенных асимметричных таблиц . Они встречаются во многих других математических контекстах, например, как кратность при разложении тензорных произведений , конечномерных представлений общих линейных групп или при разложении некоторых индуцированных представлений в теории представлений симметрической группы , или в области алгебраическая комбинаторика, имеющая дело с таблицами Юнга и симметричными полиномами .

Коэффициенты Литтлвуда – Ричардсона зависят от трех разделов , скажем , из них и описать умножаемые функции Шура и дает функцию Шура, коэффициентом которой является эта линейная комбинация; другими словами, это коэффициенты такой, что

Правило Литтлвуда-Ричардсона гласит, что равно количеству таблиц Литтлвуда – Ричардсона косой формы. и веса .

К сожалению, правило Литтлвуда-Ричардсона доказать гораздо труднее, чем предполагалось на первый взгляд. Автору однажды сказали, что правило Литтлвуда-Ричардсона помогло людям попасть на Луну, но не было доказано до тех пор, пока они туда не прибыли.

Гордон Джеймс ( 1987 )

Правило Литтлвуда-Ричардсона было впервые сформулировано Д.Э. Литтлвудом и А.Р. Ричардсоном ( 1934 , теорема III, стр. 119), но, хотя они и провозгласили его теоремой, они доказали его только в некоторых довольно простых частных случаях. Робинсон ( 1938 ) утверждал, что завершил свое доказательство, но в его аргументации были пробелы, хотя они были настолько неясно написаны, что эти пробелы некоторое время не замечались, и его аргументация воспроизведена в книге ( Литтлвуд 1950 ). Некоторые пробелы позже были заполнены Макдональдом (1995) . Первые строгие доказательства этого правила были даны через четыре десятилетия после его открытия Шютценбергером ( 1977 ) и Томасом (1974) , после того как необходимая комбинаторная теория была разработана К. Шенстедом ( 1961 ), Шютценбергером ( 1963 ) и Кнутом (1963 ). 1970 ) в своей работе над перепиской Робинсона-Шенстеда . Сейчас существует несколько коротких доказательств этого правила, например ( Гашаров 1998 ) и ( Стембридж 2002 ) с использованием инволюций Бендера-Кнута . Литтельманн (1994) использовал модель пути Литтельмана для обобщения правила Литтлвуда-Ричардсона на другие полупростые группы Ли.

Правило Литтлвуда-Ричардсона печально известно количеством ошибок, которые появились до его полного опубликованного доказательства. Несколько опубликованных попыток доказать его неполны, и особенно трудно избежать ошибок при ручных вычислениях с его помощью: даже оригинальный пример Д.Э. Литтлвуда и А.Р. Ричардсона ( 1934 ) содержит ошибку.

Таблицы Литтлвуда – Ричардсона

[ редактировать ]
Таблица Литтлвуда – Ричардсона

Таблица Литтлвуда-Ричардсона представляет собой косую полустандартную таблицу с дополнительным свойством, заключающимся в том, что последовательность, полученная путем объединения ее перевернутых строк, представляет собой решеточное слово (или решетчатую перестановку), что означает, что в каждой начальной части последовательности любое число встречается по крайней мере так же часто, как число . Другая эквивалентная (хотя и не совсем очевидная) характеристика состоит в том, что сама таблица и любая таблица, полученная из нее путем удаления некоторого количества ее крайних левых столбцов, имеют слабо убывающий вес. Было обнаружено множество других комбинаторных понятий, которые оказались в биекции с таблицами Литтлвуда-Ричардсона и, следовательно, также могут быть использованы для определения коэффициентов Литтлвуда-Ричардсона.

Еще одна таблица Литтлвуда-Ричардсона.

Рассмотрим случай, когда , и . Тогда тот факт, что можно сделать вывод из того факта, что две таблицы, показанные справа, являются единственными двумя таблицами Литтлвуда – Ричардсона формы. и вес . Действительно, поскольку последний квадрат в первой непустой строке диаграммы перекоса может содержать только запись 1, вся первая строка должна быть заполнена элементами 1 (это верно для любой таблицы Литтлвуда – Ричардсона); в последнем поле второй строки мы можем поместить только 2 из-за строгости столбца и того факта, что наше слово решетки не может содержать более крупную запись, пока оно не содержит 2. Для первого поля второй строки мы теперь можем либо использовать 1 или 2. Как только эта запись выбрана, третья строка должна содержать оставшиеся записи, чтобы составить вес (3,2,1), в слабо возрастающем порядке, поэтому у нас больше не остается выбора; в обоих случаях оказывается, что мы находим таблицу Литтлвуда–Ричардсона.

Более геометрическое описание

[ редактировать ]

Условие, согласно которому последовательность записей, считываемых из таблицы в несколько своеобразном порядке, образует решетчатое слово, можно заменить более локальным и геометрическим условием. Поскольку в полустандартной таблице одинаковые записи никогда не встречаются в одном и том же столбце, можно нумеровать копии любого значения справа налево, что соответствует их порядку появления в последовательности, которая должна быть словом решетки. Назовите номер, связанный таким образом с каждой записью, ее индексом и запишите запись i с индексом j как i [ j ]. Теперь, если некоторая таблица Литтлвуда–Ричардсона содержит запись с индексом j , то эта запись i [ j ] должна находиться в строке строго ниже записи (что, безусловно, тоже имеет место, поскольку запись i − 1 встречается не реже, чем запись i ). Фактически запись i [ j ] также должна встречаться в столбце не дальше вправо, чем та же самая запись. (что на первый взгляд кажется более строгим условием). Если вес таблицы Литтлвуда-Ричардсона фиксирован заранее, то можно сформировать фиксированный набор индексированных записей, и если они размещены таким образом, чтобы соблюдать эти геометрические ограничения, в дополнение к ограничениям полустандартных таблиц и условию, что индексированные копии одних и тех же записей должны соблюдать порядок индексов справа налево, тогда результирующие таблицы гарантированно будут таблицами Литтлвуда – Ричардсона.

Алгоритмическая форма правила

[ редактировать ]

Как указано выше, таблица Литтлвуда-Ричардсона дает комбинаторное выражение для отдельных коэффициентов Литтлвуда-Ричардсона, но не указывает на практический метод перечисления таблиц Литтлвуда-Ричардсона для нахождения значений этих коэффициентов. Действительно, для данного не существует простого критерия, позволяющего определить, имеют ли какие-либо таблицы Литтлвуда–Ричардсона форму и веса существуют вообще (хотя есть ряд необходимых условий, самое простое из которых — ); поэтому кажется неизбежным, что в некоторых случаях приходится проводить тщательный поиск только для того, чтобы обнаружить, что решений не существует.

Тем не менее, правило приводит к весьма эффективной процедуре определения полного разложения произведения функций Шура, другими словами, для определения всех коэффициентов для фиксированных λ и µ, но варьирующихся ν. Это фиксирует вес создаваемых таблиц Литтлвуда-Ричардсона и «внутреннюю часть» λ их формы, но оставляет «внешнюю часть» ν свободной. Поскольку вес известен, набор индексированных записей в геометрическом описании фиксирован. Теперь для последовательных индексированных записей можно попробовать все возможные позиции, разрешенные геометрическими ограничениями, при поиске с возвратом . Записи можно пробовать в порядке возрастания, а среди равных записей их можно пробовать по убыванию индекса. Последний момент является ключом к эффективности процедуры поиска: тогда запись i [ j ] ограничивается размещением в столбце справа от , но не дальше вправо, чем (если такие записи присутствуют). Это сильно ограничивает набор возможных позиций, но всегда оставляет хотя бы одну допустимую позицию для ; таким образом, каждое размещение записи приведет к появлению по крайней мере одной полной таблицы Литтлвуда – Ричардсона, и дерево поиска не содержит тупиков.

Аналогичный метод можно использовать для нахождения всех коэффициентов для фиксированных λ и ν, но изменяющихся µ.

Коэффициенты Литтлвуда – Ричардсона

[ редактировать ]

Коэффициенты Литтлвуда–Ричардсона c н
λμ
появляются следующими взаимосвязанными способами:

или, что эквивалентно, c н
λμ
— скалярное произведение s ν и s λ s μ .
где σ µ — класс многообразия Шуберта грассманиана, соответствующего µ .
  • с н
    λµ
    — количество раз неприводимого представления V λ V µ произведения симметрических групп S | λ | × С | | | появляется в ограничении представления V ν группы S | ν | в С | λ | × С | | | . По взаимности Фробениуса это также количество раз, когда V ν встречается в представлении S | ν | индуцированный из V λ V µ .
  • с н
    λμ
    появляются при разложении тензорного произведения ( Фултон 1997 ) двух модулей Шура (неприводимых представлений специальных линейных групп)
  • с н
    λμ
    — это количество стандартных таблиц Юнга формы ν / μ, которые эквивалентны некоторой фиксированной стандартной таблице Юнга формы λ .
  • с н
    λμ
    — количество таблиц Литтлвуда–Ричардсона формы ν / λ и веса μ .
  • с н
    λμ
    — количество изображений между µ и ν/λ.

Особые случаи

[ редактировать ]

Формула Пьери

[ редактировать ]

Формула Пьери , представляющая собой частный случай правила Литтлвуда–Ричардсона в случае, когда одно из разбиений имеет только одну часть , утверждает, что

где S n — функция Шура разбиения с одной строкой, а сумма рассчитана по всем разбиениям λ, полученным из µ добавлением n элементов к диаграмме Феррера , а не двух в одном столбце.

Прямоугольные перегородки

[ редактировать ]

Если оба раздела имеют прямоугольную форму, сумма также не содержит кратности ( Okada 1998 ). Зафиксируйте a , b , p и q положительные целые числа с p q . Обозначим через раздел с p частями длины a . Разделы, индексирующие нетривиальные компоненты это эти перегородки с длиной такой, что

Например,

.

Обобщения

[ редактировать ]

Приведенные коэффициенты Кронекера симметричной группы

[ редактировать ]

Приведенный коэффициент Кронекера симметричной группы представляет собой обобщение трем произвольным диаграммам Юнга , который симметричен относительно перестановок трех диаграмм.

Раскосные функции Шура

[ редактировать ]

Зелевинский (1981) расширил правило Литтлвуда-Ричардсона, чтобы исказить функции Шура следующим образом:

где сумма ведется по всем таблицам T на µ/ν таким, что для всех j последовательность целых чисел λ+ω( T j ) не возрастает, а ω — вес.

Числа Ньюэлла-Литтлвуда

[ редактировать ]

Числа Ньюэлла-Литтлвуда определяются из коэффициентов Литтлвуда-Ричардсона кубическим выражением [1]

Числа Ньюэлла-Литтлвуда дают некоторые кратности тензорного произведения конечномерных представлений классических групп Ли типов .

Условие неисчезновения размеров диаграммы Юнга приводит к

Числа Ньюэлла-Литтлвуда являются обобщением коэффициентов Литтлвуда-Ричардсона в том смысле, что

Числа Ньюэлла-Литтлвуда, включающие диаграмму Юнга только с одной строкой, подчиняются правилу типа Пьери: это количество способов удалить коробки из (из разных столбцов), затем добавьте коробки (в разные столбцы), чтобы сделать . [1]

Числа Ньюэлла-Литтлвуда — это структурные константы ассоциативной и коммутативной алгебры, базисными элементами которой являются разбиения с произведением . Например,

Приведенные ниже примеры коэффициентов Литтлвуда – Ричардсона даны в терминах произведений полиномов Шура S π , индексированных разбиениями π, с использованием формулы

Все коэффициенты с не более 4 даны:

  • S 0 S π = S π для любого π. где S 0 =1 — полином Шура пустого разбиения
  • С 1 С 1 = С 2 + С 11
  • С 2 С 1 = С 3 + С 21
  • С 11 С 1 = С 111 + С 21
  • С 3 С 1 = С 4 + С 31
  • С 21 С 1 = С 31 + С 22 + С 211
  • С 2 С 2 = С 4 + С 31 + С 22
  • С 2 С 11 = С 31 + С 211
  • С 111 С 1 = С 1111 + С 211
  • С 11 С 11 = С 1111 + С 211 + С 22

коэффициентов для небольших разделов равны 0 или 1, что происходит, в частности, когда один из факторов имеет форму Sn Большинство или S 11...1 из-за формулы Пьери и ее транспонированного аналога. Самый простой пример с коэффициентом больше 1 имеет место, когда ни один из факторов не имеет такого вида:

  • S 21 S 21 = S 42 + S 411 + S 33 + 2 S 321 + S 3111 + S 222 + S 2211 .

Для больших разделов коэффициенты становятся более сложными. Например,

  • S 321 S 321 = S 642 + S 6411 + S 633 +2 S 6321 + S 63111 + S 6222 + S 62211 + S 552 + S 5511 +2 S 543 +4 S 5421 +2 S 54111 +3 S 5331 +3 S 5322 +4 S 53211 + S 531111 +2 S 52221 + S 522111 + S 444 +3 S 4431 +2 S 4422 +3 S 44211 + S 441111 +3 S 4332 +3 S 43311 +4 S 43221 +2 S 432111 + S 42222 + S 422211 + S 3333 +2 S 33321 + S 333111 + S 33222 + S 332211 с 34 членами и общей кратностью 62, а наибольший коэффициент равен 4
  • S 4321 S 4321 представляет собой сумму 206 слагаемых с общей кратностью 930, а наибольший коэффициент равен 18.
  • S 54321 S 54321 представляет собой сумму 1433 слагаемых с общей кратностью 26704, а наибольший коэффициент (у S 86543211 ) равен 176.
  • S 654321 S 654321 представляет собой сумму 10873 слагаемых с общей кратностью 1458444 (поэтому среднее значение коэффициентов больше 100, а их число может достигать 2064).

Первоначальный пример, приведенный Литтлвудом и Ричардсоном (1934 , стр. 122–124), был следующим (после поправки на 3 таблицы, которые они нашли, но забыли включить в окончательную сумму):

  • S 431 S 221 = S 652 + S 6511 + S 643 2 S 6421 + S 64111 + S 6331 + S 6322 + + S 63211 + S 553 + 2 S 5521 + S 55111 + 2 S 5431 + 2 S 5422 + 3 S 54211 + S 541111 + S 5332 + S 53311 2 S 53221 + S 532111 + S 43321 + + S 4432 + 2 S 44221 + S 442111 + S 43222 + S 44311 + S 432211

с 26 терминами из следующих 34 таблиц:

....11 ....11 ....11 ....11 ....11 ....11 ....11 ....11 ....11    
...22  ...22  ...2   ...2   ...2   ...2   ...    ...    ...
.3     .      .23    .2     .3     .      .22    .2     .2     
       3             3      2      2      3      23     2      
                                   3                    3

....1  ....1  ....1  ....1  ....1  ....1  ....1  ....1  ....1   
...12  ...12  ...12  ...12  ...2   ...1   ...1   ...2   ...1
.23    .2     .3     .      .13    .22    .2     .1     .2      
       3      2      2      2      3      23     23     2
                     3                                  3

....1  ....1  ....1  ....1  ....1  ....1  ....1  ....1   
...2   ...2   ...2   ...    ...    ...    ...    ...    
.1     .3     .      .12    .12    .1     .2     .2      
2      1      1      23     2      22     13     1
3      2      2             3      3      2      2
              3                                  3

....   ....   ....   ....   ....   ....   ....   ....   
...1   ...1   ...1   ...1   ...1   ...    ...    ...    
.12    .12    .1     .2     .2     .11    .1     .1      
23     2      22     13     1      22     12     12
       3      3      2      2      3      23     2
                            3                    3

Вычисление косых функций Шура аналогично. Например, 15 таблиц Литтлвуда – Ричардсона для ν = 5432 и λ = 331 имеют вид

...11 ...11 ...11 ...11 ...11 ...11 ...11 ...11 ...11 ...11 ...11 ...11 ...11 ...11 ...11
...2  ...2  ...2  ...2  ...2  ...2  ...2  ...2  ...2  ...2  ...2  ...2  ...2  ...2  ...2
.11   .11   .11   .12   .11   .12   .13   .13   .23   .13   .13   .12   .12   .23   .23
12    13    22    12    23    13    12    24    14    14    22    23    33    13    34

поэтому S 5432/331 = Σ c н
λμ
   S μ = S 52 + S 511 + S 4111 + S 2221 + 2 S 43 + 2 S 3211 + 2 S 322 + 2 S 331 + 3 S 421 ( Фултон 1997 , стр. 64).

Примечания

[ редактировать ]
  1. ^ Jump up to: а б Гао, Шилян; Ореловиц, Гидон; Йонг, Александр (2021). «Числа Ньюэлла-Литтлвуда». Пер. амер. Математика. Соц . 374 (9): 6331–6366. arXiv : 2005.09012v1 . дои : 10.1090/tran/8375 . S2CID   218684561 .
[ редактировать ]
  • Онлайн-программа , разлагающая произведения функций Шура по правилу Литтлвуда – Ричардсона.
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: f6ab5e22239cc17a83cdbbc0fdbcfc77__1711436340
URL1:https://arc.ask3.ru/arc/aa/f6/77/f6ab5e22239cc17a83cdbbc0fdbcfc77.html
Заголовок, (Title) документа по адресу, URL1:
Littlewood–Richardson rule - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)