Спектраэдр - Spectrahedron

Спектраэдр

В выпуклая геометрия, а спектраэдр фигура, которую можно представить как линейное матричное неравенство. Как вариант, набор п × п положительно полуопределенные матрицы образует выпуклый конус в рп × п, а спектраэдр - это форма, которая может быть образована пересечением этого конуса с линейное аффинное подпространство.

Спектраэдры - это возможные регионы из полуопределенные программы.[1] Изображения спектраэдров под линейные или аффинные преобразования называются проекции спектраэдров или же спектраэдрические тени. Каждая спектроэдрическая тень - это выпуклый набор это также полуалгебраический, но обратное (предполагаемое до 2017 г.) неверно.[2]

Примером спектраэдра является Spectraplex, определяется как

куда это набор п × п положительно полуопределенные матрицы и это след матрицы .[3] Спектраплекс представляет собой компактное множество, и его можно рассматривать как "полуопределенный" аналог симплекс.

Смотрите также

  • N-эллипс - частный случай спектраэдров.

Рекомендации

  1. ^ Рамана, Мотакури; Гольдман, А. Дж. (1995), "Некоторые геометрические результаты в полуопределенном программировании", Журнал глобальной оптимизации, 7 (1): 33–50, CiteSeerX  10.1.1.44.1804, Дои:10.1007 / BF01100204.
  2. ^ Шайдерер, К. (01.01.2018). «Спектраэдрические тени». Журнал SIAM по прикладной алгебре и геометрии. 2: 26–44. Дои:10.1137 / 17m1118981.
  3. ^ Гертнер, Бернд; Матушек, Иржи (2012). Аппроксимационные алгоритмы и полуопределенное программирование. Springer Science and Business Media. стр.76. ISBN  978-3642220159.