Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth) в [info]ljr_math
@ 2007-05-17 04:05:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
спектр суммы эрмитовых матриц (Клячко)
Замечательная статья Александра Клячко
"Stable bundles, representation theory and Hermitian operators".

Используя теорему Дональдсона-Уленбек-Яу о
метриках Янг-Миллса на стабильном расслоении,
Клячко описывает множество всех спектров эрмитовых
матриц, которые могут быть получены как сумма
двух эрмитовых матриц с заданными спектрами.

Если кто забыл, спектром оператора (или матрицы)
называется множество корней его характеристического
полинома. Для эрмитовой матрицы, корни вещественные,
и их можно упорядочить по убыванию. Поэтому спектр
есть подмножество R^n.

В ответе получается многогранник, заданный
простыми неравенствами, которые описаны в терминах
мультипликативной структуры на алгебре когомологий
грассманиана. Феноменально красивый результат!

Ссылка для подписчиков либо платная; забесплатно этой
статьи в сети я не нашел, но усеченная версия есть в архиве
http://arxiv.org/abs/math/0304325
(без доказательств).

А теперь вопрос. Пусть есть две матрицы с
заданными собственными значениями. Известно
ли, какие собственные значения могут быть у суммы?
Хочется ответа в духе полученного Клячко. Хотя
бы в простых случаях.

Привет


(Читать комментарии) - (Добавить комментарий)


[info]kaledin
2007-05-17 07:48 (ссылка)
Это все еще вот где я видел. Года четыре назад Этингоф интересовался определением orbifold cohomology и придумал сравнительно простое доказательство того, что age(ab) \leq age(a)+age(b) для любых унитарных матриц a,b. А потом выяснил, что оно сто лет как известно, методами Клячко, и есть в статье alg-geom/9712013 (это тот же Chris Woodward, на которого указывают выше, с соавтором). Посмотри типа, и references therein.

(Ответить) (Ветвь дискуссии)


[info]tiphareth
2007-05-24 20:43 (ссылка)
Мне нужно то же, но в симплектической ситуации
(для матриц, которые, как я выяснил, называются
антигамильтоновыми)
. У тебя нет ли соображений?

Приложения понятные - HKT-метрики на гиперкэлеровом
многообразии задаются \partial-замкнутыми симплектическими формами,
если ж мы забудем про кватернионное действие, у нас
получится много замкнутых симплектических форм. Хотелось
бы иметь какой-то контроль над особенностями и те пе.

Такие дела
Миша

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kaledin
2007-05-25 19:33 (ссылка)
Ya kstati kogda otvechal, tolkom ne prochital -- ya dumal, tam est' pro proizvedenie tebe nuzhno pro summu; sorry.

A tak -- nu, mne bez kakoj-nibud' kompaktnosti vse ehto somnitel'no (po toj prichine, kotoruyu nizhe privel [info]southwest@lj. No mozhno podumat' pri sluchae. Chto-to vrode neehrmitivogo Yang-Mills'a na P^1...

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]tiphareth
2007-05-25 20:10 (ссылка)
Ну, след-таки сохраняется. Я подозреваю, что
над половиной собственных значений есть контроль.
Жалко студентов нет, идеальная, в принципе, задача
для аспиранта первого-второго года (причем нерешенная,
я сделал поиск). И имеющая прикладные приложения
("уравнение Риккати" решать)

Такие дела
Миша

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kaledin
2007-05-25 20:57 (ссылка)
>Жалко студентов нет, идеальная, в принципе, задача для аспиранта первого-второго года

Esli reshaemaya. A tam uzhe mnogo kopalis'.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]tiphareth
2007-05-26 02:20 (ссылка)
Не, совершенно не копались. Я перекопал math.sci.net
на предмет (анти)гамильтоновых матриц целиком. Там статей
может 300 в общей сложности, из них 90% на тему
уравнения Риккати. Содержательная, кажется, одна

William C. Waterhouse, The structure of
alternating-Hamiltonian matrices, Linear Algebra and its
Applications, Volume 396, 1 February 2005, Pages 385-390

При этом "Linear Algebra and its Applications" готова, похоже,
публиковать любую статью, где в названии есть
гамильтоновы матрицы.

Такие дела
Миша

(Ответить) (Уровень выше)


[info]kaledin
2007-05-25 21:04 (ссылка)
Beresh' matricu (a&0\\c&b) i pribavlyaesh' (-a&d\\0&-b).

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]tiphareth
2007-05-26 02:17 (ссылка)
Для матриц 2 на 2, контроль над половиной собственных
значений и контроль над следом это одно и то же

(Ответить) (Уровень выше)


[info]tiphareth
2007-05-26 02:22 (ссылка)

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

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kaledin
2007-05-26 09:38 (ссылка)
Nu a kakaya raznica, kazalos' by -- lyubaya matrica s polozhitel'nymi/otricatel'nymi/lyubymi sobstvennymi snacheniyami daet antigamil'tonovu s polozhitel'nymi/otricatel'nymi/lyubymi sobstvennymi znacheniyami putem udvoeniya.

(Ответить) (Уровень выше)


[info]oort
2017-11-12 19:38 (ссылка)
я что-то туплю

антигамильтоновых матриц довольно много:
любая блочно-диагональная (A, A^t) годится, (и Ватерхаус показывает, что любая антигамильтонова приводится к такому виду симплектической заменой координат)
то есть даже если рассматривать только а.г. матрицы такого вида (то есть которые приводятся к такому виду в одном базисе), то это задача по сути о спектре суммы двух любых матриц , уже никаких ограничений нет
(кроме суммы следов и знания, что собственные значения идут парами)

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]tiphareth
2018-01-17 14:10 (ссылка)
вопрос был, какой может быть спектр суммы, если
известны спектры слагаемых

(Ответить) (Уровень выше)


[info]tiphareth
2018-01-17 14:36 (ссылка)
(причем одна из них фиксирована)

может, твой ответ и единственно возможный, надо подумать

(Ответить) (Уровень выше)


(Читать комментарии) -