Вестник СПбГУ. Математика. Механика. Астрономия. 2024. Т. 11 (69). Вып. 1 УДК 519.213+517 MSC 60E15, 60D05
Вероятность попадания случайного вектора в усеченный многогранный конус: мажоризационный аспект
М. И. Ревяков
Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН (ПОМИ РАН),
Российская Федерация, 191023, Санкт-Петербург, наб. р. Фонтанки, 27
Для цитирования: Ревяков М. И. Вероятность попадания случайного вектора в усеченный многогранный конус: мажоризационный аспект // Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия. 2024. Т. 11 (69). Вып. 1. С. 131-140. https://doi.org/10.21638/spbu01.2024.108
В статье приводятся условия, при которых вероятность попадания линейной комбинации случайных векторов в сжатый (сверху) многогранный конус, в частности усеченный конус, является Schur-вогнутой функцией от вектора, отвечающего этой линейной комбинации. Требуется, чтобы сжатый конус был выпуклым, содержал точку 0, его ребра были параллельны осям координат, а плотность распределения векторов была логарифмически вогнутой знакоинвариантной функцией. Кроме того, получена в дифференциальной форме характеризация функций, сохраняющих один известный предпорядок, находящийся внутри мажоризационного предпорядка. Ключевые слова: усеченный конус, G-мажоризация, знакоинвариантная плотность, логарифмическая вогнутость, предпорядок внутри мажоризации.
1. Введение. В статье [1], касающейся полных многогранных конусов, мы ради ясности предлагаемого подхода шли от частного к общему — от хорошо известной мажоризации к G-мажоризации (см. [2, § 14.C. 8]). Теперь, в разделе 2, где рассматриваются определенным образом сжатые конусы, при использовании того же подхода изложение строится иначе: частное формулируется как следствие общего, и тогда появляются Schur-вогнутые функции.
Раздел 3 посвящен введенному в [2, §5.B] предпорядку векторов в Rn, более редкому, чем мажоризация. В частности, в дифференциальной форме приводится характеризация функций, сохраняющих данный предпорядок.
2. Сжатые конусы. Пусть в Rn, n ^ 2, c = (ci,.cn), c. = 0, — вершина многогранного конуса, содержащего 0, и все n ребер которого параллельны осям координат. Возьмем по одной точке на каждом из этих ребер: (ci,..., ci^i, 0, ci+i,..., cn), i = l,...,n. Поскольку они лежат на открытых лучах, исходящих от вершины конуса и параллельных осям координат, то через них, очевидно, нельзя провести (n — 2)-мерную плоскость. Следовательно (см., например, [3, §3.3.5]), существует единственная (n — 1)-мерная плоскость, содержащая эти точки.
Эта гиперплоскость делит конус на n-мерную пирамиду с вершиной в точке c и n-мерный усеченный многогранный конус, содержащий 0. Возьмем теперь про© Санкт-Петербургский государственный университет, 2024
извольное выпуклое множество, содержащееся в пирамиде и включающее в себя ее основание. Нетрудно видеть, что объединение этого множества с усеченным конусом также выпукло. Обозначим образовавшийся в результате объединения, можно сказать, сжатый (сверху) конус через /,..., сп). Крайними представителями сжатого конуса являются: полный конус и (б) усеченный конус. Случай рассмотрен в [1].
Нам потребуется ввести ряд понятий, заимствованных в [4] и касающихся О-мажоризации. Пусть Z : т х п — случайная матрица со строками Z{,..., , обозначим через V векторное пространство т х п матриц. Для данного множества А С Кп и вектора а € Кт пусть
р.А(а) = Р|£ € а|. (1)
Теперь возьмем группу Go, состоящую из всех mхm матриц перестановок и всех m х m диагональных матриц с элементами ±1 на диагонали. Группа Go порождает частичное упорядочение на Кт следующим образом. Для каждого Ь € Кт пусть р(Ь) означает выпуклую оболочку множества {дЬ : д € Оо} и будем писать а ^ Ь в случае а € р(Ь). Такое упорядочение обстоятельно обсуждено в [5].
Функцию т, определенную на Кт, называют убывающей относительно данного упорядочения, если а ^ Ь влечет за собой т(а) ^ т(Ь). Следующая теорема 4.2 работы [4] служит нам отправной точкой.
Теорема 1 [4]. Предположим, что /, плотность Z, удовлетворяет условиям: (г) /(дг) = /(г) для всех д € О0, г € V;
(гг) функция / лог-вогнута.
Тогда функция р.(а), определенная в (1), является убывающей для каждого выпуклого симметричного (относительно начала) множества А С Кп.
Эта теорема позволяет нам получить следующий результат. Возьмем произвольную m х п матрицу г пространства V со столбцами г'[,..., г''. Пусть Н — функция от m-мерных векторов такая, что Н(г'1,..., г') = /(г).
Теорема 2. Предположим, что плотность Z удовлетворяет условиям: (г) /(дг) = /(г) для всех д € О0, г € V;
(гг) функция / лог-вогнута;
(ггг) Н(е1г'{,...,епг'П) = Н(г'{,...,г'П) Уе^ = ±1.
Тогда функция р.(а), определенная в (1), является убывающей для каждого сжатого конуса А = /С,...,сп) С Кп.
Замечание 1. Дополнительное условие (ш) требуется исключительно для нижеследующего равенства (2). Оно означает, что распределение случайной матрицы Z инвариантно относительно умножения любого ее столбца на —1.
Доказательство теоремы 2. В основе доказательства лежит подход, примененный в работе [1], посвященной полным конусам А(с\,...,сп). Прежде всего, обратим внимание на выражение в правой части (1) и введем оператор е =
(е1,...,еп), е^ = ±1, действующий на произвольное множество А С К" таким образом, что еА = {(г!,...,гп): (Е1г1,...,Епгп) е А}. Заметим, что
т
Ш = аЕг'г =< а, г >= ((а, ..., (а, ,
£=1
где г'{,..., г'п — столбцы матрицы г; < ■, ■ > обозначает векторно-матричное произведение, а (■, ■) — скалярное произведение векторов. Отсюда следует
Р {Ш е А} = р{ (е1(а, г>>),..., еп(а, г^ е еА} =
= р{ ((а, е^''),..., (а, епг'^ е еА} =
= р{((а,г1'),...,(а,г;о) ееа} = р{шееА},
где предпоследнее равенство справедливо в силу условия (ш) теоремы (см. замечание 1).
Таким образом, если на базе 2 (с1, ...,сп) сформировать набор Ь^ из 2п сжатых конусов: Уеъ = ±1
2 (Е1С1,..., Е"Сп) = {(¿1, ...,Ьп) е К" : (е^ь ..., еп Ьп) е 2 (с1,..., сГ1)},
то из предыдущего легко установить, что
Р{< а, г >е 2(Е1С1,..., ЕпСп)} = Р{< а, г >е 2(С1, ..., Сп)}. (2)
Для дальнейшего важно, что пирамиды конусов 2(е 1С1,...,епСп) (точнее, их внутренности) попарно не пересекаются. Это действительно так, поскольку пирамида конуса 2(е1С1,..., епСп) содержится в п-мерном прямоугольном параллелепипеде с вершинами (е1Е1С1,..., епепсп= 0 или 1, а эти параллелепипеды попарно не пересекаются.
Покажем также, что ие 2(е1С1,...,епСп) = Кп. Возьмем произвольную точку Ь = (Ь1,...,Ьп) е Кп. Тогда, если Ь (/ 2(Е1\С1\,...,Еп\Сп|), где е^ = -sgn(íi), то Ь содержится в пирамиде конуса 2(е1\с1 \,...,еп\сп\) и, значит, принадлежит любому другому сжатому конусу.
Для краткости, когда речь идет об определенном случайном векторе Ш, будем под Р[А] понимать Р{Ш е А}. Пусть в Кп имеется набор множеств А™•*, з = 1,...,в. Дальнейшие рассуждения базируются на формуле
в в
Т.Р [А?^ = Е кР [Ек \ Р [0] = 0, (3)
3 = 1 к=1
где Ек), к = 1,...,в, — множество (возможно, пустое) тех точек Ь е Кп, которые
7 л(п) Г>(п)
принадлежат ровно к из в множеств А3 ; ясно, что Ек попарно не пересекаются
и ик=1 еп = ив=1 А3).
Наша цель, как ив [1], подобрать такой набор из 2п выпуклых симметричных
множеств В(п) = {В(п), В
ч(п) П(п)
£>&>}, В*?> = К", что КГ = К', к = 1,..., 2™, где
(п)
-М
(п)
(п)
ККк"' относятся к набору а Щч — к набору Ь\,'4. Отсюда согласно (3) последует
(п)
(п)
равенство
^р [— л = Е р [л(п)]
(4)
и, учитывая (2), можно будет воспользоваться теоремой 1, справедливой для выпуклых симметричных множеств.
(2)
Сначала для п = 2 укажем требуемый набор В( ). На рис. 1 представлен двумерный сжатый конус (точнее, сжатый угол), а на рис. 2 размещен набор всех идентичных сжатых углов, где числами N снабжены множества точек, которые принад-
— (2)
лежат ровно N сжатым углам из набора — ( ), ] = 1, 2, 3, 4.
Х2
1 2 (Ы 1 С2|)
о А О
к
1 2 1
Рис. 1. Сжатый угол.
Рис. 2. Число множеств
7(2)(д(2));
покрывающих соответствующие области.
Легко проверяется, что точно такое же расположение N мы получим, если
вертикальная полоса,
(2) 2 (2) вместо этих углов возьмем множества В\ = К2, В2
В3 ) горизонтальная тожю^ В42) = П — (2). Важно, что все фигуры набора .(2) _/п(2) п(2) п(2) п(2)-,
у3
В(2) = {В(2), В(2), В(2), В((2)} выпуклы и симметричны.
Перейдем теперь к п ^ 3. Попутно рис. 3 иллюстрирует случай п =3, где для упрощения его восприятия представлен крайний вариант сжатого конуса — усеченные конусы, что не влияет на характер рисунка.
Здесь пунктирными линиями обозначены перпендикуляры, опущенные из точки 0 на ребра конусов. Следует отметить, что пирамиды при вершинах параллелепипеда идентичны.
Поскольку выводы в [1] основывались на соображениях конструктивного характера, то для случая полных конусов —(п) легко обнаружить, что
д
(п)
= в(п = П —
(п).
з '
Действительно, при п = 2 все три множества — это прямоугольник на рис. 2. Далее, обозначая С = {х(п+1) € Кп+1 : -\сп+1\ < хп+1 < |сп+11}, имеем
0
Рис. 3. Один их четырех идентичных фрагментов па-
раллелепипеда р| 2^
(3)
= Б**? = № х К) П с = (П 23пп х к) р| С = р| 2(п+1).
Кроме того, в [1] установлено, что Д2"-1 = = 0.
Покажем, что если заменить Б^П} = П 23п на = П 2, оставляя прежними о3п\ 3 = 1,...,2п — 1, то образуется надлежащий набор Одля ситуации со сжатыми конусами. Во-первых, До"^ = \ р| поскольку множество
П/(п) \ Г\ ~/ (п) тл(п) тл(п)
23 ' \ | |23 , ранее принадлежавшее всем 03 , теперь с Б^П не пересекается. С другой стороны, р| \ р| 2= Действительно, возьмем произвольную
точку Ь е р| \ р| 2(п). Она принадлежит 2(п') \ 23п при некотором (единственном) 3 = 3о. Тогда несложно увидеть, что она содержится во всех сжатых конусах где ] ^ Зо- Понятно также, что Ек = Е^ для к = 1,..., 2" — 2. Остается
тл(п) (п)
показать, что множество и^П = | ¡23 выпукло и симметрично.
Оно выпукло, будучи пересечением выпуклых множеств, каковыми являются сжатые конусы. Далее учтем, что каждая пара сжатых конусов 2(Е1С1,..., епсп) и 2(—Е1с1,...,—епсп) взаимно симметрична; значит, симметрично пересечение этой пары. Наконец, воспользуемся тем, что пересечение симметричных множеств симметрично.
Итак, поскольку Н^ = к = 1,..., 2" , то выполняется равенство (4), которое с учетом (1) и (2) приобретает следующий вид:
2п
с1,...,сп)(а) = 1 + !2 ?£)<"> (а).
3=2 3
Ввиду того, что Б(п) — симметричные выпуклые множества, согласно теореме, все слагаемые в правой части являются убывающими функциями от а. Следовательно,
левая часть тоже обладает этим свойством, что означает справедливость теоремы 2.
□
Прежде чем сформулировать следствие теоремы 2, напомним определения Schur-вътуклой и Schur-вогнутой функций [2].
Полагают, что вектор a = (ai,..., am) мажорируется вектором b = (bibm), и записывают a — b, если
mm k k
Y,bi= 53a и b[i]a[i] , k = 1,2,...,m-l,
i=1 i=1 i=1 i=1
где b[1] ^ ... ^ b[m], a[1] ^ ... ^ a[m] — упорядоченные по убыванию (невозрастанию) компоненты векторов b и a. Функция ф называется Schur-выпуклой, соответственно, Schur-вогнутой, если из a — b следует ф(о,) ^ ф^), соответственно, ф(о,) ^ Ф(Ь).
Следствие. Пусть h(x1,... ,xn) = h(\x1\,..., \xn|) — лог-вогнутая плотность в Rn. Тогда У ci, i =1,...,n, ci = 0, и a — b, a,b £ Rm
Р е ^ (еи...,еп)^ > е ^ (еь...,е„) | ,
где Хе, I = 1,...,т, — независимые одинаково распределенные п-мерные случайные векторы с общей плотностью Н.
Доказательство. Рассуждая, как в замечании 4.1 работы [4], можно заключить, что условия (1) и (п) теоремы 2 выполняются. Остается учесть, что условие (ш) выполняется в силу знакоинвариантности плотности Н. □
Замечание 2. Следствие можно интерпретировать таким образом, что вероятность попадания линейной комбинации случайных векторов в сжатый конус является БеНит-вогнутой функцией от вектора, отвечающего этой линейной комбинации.
3. Предпорядок внутри мажоризационного предпорядка. В [1, §3] было уделено внимание предпорядку в К" такому, что (х у) ^ (х — у). Именно: х у, если разность у^] — х^] не возрастает по г = 1,...,п и ^"=1 хг = 5^"=1 уг. Такой предпорядок введен в [2, §5. B, B.1], где установлена вышеуказанная импликация, из которой, в частности, следует, что класс функций, сохраняющих предпорядок
шире класса БеНит-выпуклых функций.
Нам понадобится концепция конического упорядочения на множестве С С К", индуцированного выпуклым конусом Е. Им, согласно [2, §14. D.1], является отношение < на С, определенное условием
х ^ у тогда и только тогда, когда у — х е Е.
Выделим ситуацию, когда выпуклый конус Е задается одновременным выполнением т линейных неравенств, т.е. Е = {х : хА ^ 0}, где А — матрица п х т. Предполагается, что среди столбцов матрицы А есть такой, который состоит из одних единиц, что соответствует неравенству ^хг ^ 0. Допустим, что какой-либо предпорядок не совпадающий с предпорядком, индуцированным конусом Е, отличается от него только тем, что для соответствующего конуса Е' это неравенство заменяется равенством ^хг = 0.
В таком случае будем считать предпорядок, индуцированный конусом Е, слабой формой предпорядка ^ и обозначать как (наподобие мажоризации х у и слабой мажоризации х у). В силу очевидной импликации (х ^ у) ^ (х у) класс функций, сохраняющих предпорядок шире класса функций, сохраняющих .
Вернувшись к предпорядку получим таким образом предпорядок ^, если осуществим обратную замену — равенства на неравенство. Стоит отметить, что в [2, §5. B.1.a] установлена и такая импликация: (х ^ у) ^ (х —™ у).
Полагают, что конус Е положительно натянут на множество Е С Е С К", если каждую точку Е можно представить в виде неотрицательной линейной комбинации конечного числа точек, принадлежащих Е. В [6] (см. [2, §14. D]) доказано следующее.
Предложение 1 [6]. Если конус Е задается в виде множества {х : хА ^ 0}, где А : п х п — невырожденная матрица, то Е положительно натянут на множество векторов, образованное строками матрицы А-1.
Это следует из того, что
Замечание 3. Здесь важно, что никакое собственное подмножество этих строк не обладает данным свойством, и, значит, пользуясь терминологией [6], строки матрицы А-1 формируют каркас конуса Е.
Кроме данного предложения, понадобится следующее его видоизменение.
Предложение 2. Предположим, что А : п х п — невырожденная матрица, и пусть У = {у е К" : уг ^ 0, г = 1,...,п — 1, уп =0}. Рассмотрим конус Е = {х : хА = у, у е У}. Тогда множество векторов, образованное первыми п — 1 строками матрицы А-1, представляет собой каркас конуса Е.
Действительно, можно записать
Е = {х : хА = у, у е У} = {х : х = уА-1 для некоторого вектора у е У}
и учесть, что уп = 0. Остается заметить, что конус Е не может быть положительно натянут ни на какое собственное подмножество первых п — 1 строк матрицы А-1.
Таким образом, получаем, что если какому-либо слабому предпорядку отвечает матрица А с указанными выше свойствами, то в отношении ^ можно воспользоваться предложением 2. Например, для мажоризации на Б = {х е К" : х1 ^ ... ^ хи} таким образом может быть получен представленный в [2, § 14. D] набор векторов, на который положительно натянут соответствующий конус Е.
Возвращаясь к предпорядку воспользуемся некоторыми результатами работы [7] с учетом того, что, как сообщил нам в частном порядке ее автор, § 3 там следует отнести к слабому предпорядку ^, а не к предпорядку В [7] в отношении слабого предпорядка показано, что он является коническим на Б, а конус, который его индуцирует, может быть представлен следующим образом: Е = {х : 0 х} = {х : хМ > 0}, где
Е = {х : хА > 0} = {х : хА = у, у > 0} = {х : х = уА-1 для некоторого вектора у ^ 0}.
М
( 1 0
— 1 1 01
0 1 \ 0 1 0 1
0 0 ... 1 1 \ 0 0 ... —1 1 /
Вслед за этим там вычислена обратная матрица
—1 —1 \ —2 —2 —3 —3
1 — (п — 1) 1 1 )
Теперь нам понадобится еще один результат работы [6].
Лемма [6]. Пусть непрерывная функция /, определенная на выпуклом множестве С, имеет градиент
У! (х) = (д/(х)/дх1,...,д/(х)/дхп)
внутри С. Тогда / сохраняет предпорядок ^ на С, если и только если У !(х) ■ Ь ^ 0 для всех х внутри С и для всех Ь, принадлежащих каркасу конуса Е, которым индуцирован предпорядок
Из леммы, учитывая предложение 2 и вид матрицы М-1, легко следует теорема.
Теорема 3. Пусть функция / является непрерывной на О и непрерывно дифференцируемой внутри О. Далее, пусть 1(г)(х) = д/(х)/дх^. Тогда функция / сохраняет предпорядок ^ на О, если и только если
к п
(п — !а)(х) ^ к f(i)(x), к = 1,...,п —1, (5)
г=1 1=к+1
для всех х е Б.
Замечание 4. В [7, § 3] для предпорядка ^^ включено дополнительное условие 5~^п=\ 1(г)(х) ^ 0, соответствующее последней строке матрицы М-1. Его добавление к (5) отражает тот факт, что (х ^ у) ^ (х ^ у). Аналогично, ввиду импликации (х ^ у) ^ (х у) из дифференциальной характеризации БсНпт--выпуклых функций на О
!(1)(х) > !(2)(х) ... > !(п)(х)
должно следовать (5). Легко видеть, что данное обстоятельство действительно имеет место.
В заключение наметим весьма простой путь получения аналога следствия в конце раздела 2 для некоторых асимметричных множеств, притом что условие знакоин-вариантности плотности ослабляется до ее симметричности. Этот геометрический подход, конечно, менее содержательный, чем примененный в § 2.
Продемонстрируем его на примере правильных п-угольников на плоскости. Для п четных мы попадаем в симметричную ситуацию относительно точки 0, помещенной в центр фигуры, когда может быть использована работа [8]. При нечетных п поступаем следующим образом: возьмем любую вершину п-угольника и опустим из нее перпендикуляр на противоположную сторону (см. рис.4, на котором представлен случай п = 5).
м-1 =
( п — 1 —1 —1 п — 2 п — 2 —2 п — 3 п — 3 п — 3
1 1
1
п
Он делит фигуру на две части: A и B. Поместим точку 0 в середину этого отрезка и отразим A относительно нуля. Получим фигуру A', ограниченную пунктирной линией. Нетрудно видеть, что A U A' — выпуклое множество (это ключевой момент, поскольку симметричность A U A' следует из построения).
Согласно [8] функция P ^^ agXg € A U A'}, где Xg — независимые одинаково распределенные векторы с общей симметричной (относительно начала) лог-вогнутой плотностью, — является Schur-вогнутой от а. В силу симметричности плотности P[A] = P[A'], и значит P[A] = P[A U A']/2 также Schur-вогнутая функция.
Аналогично поступаем с левой частью многоугольника B, и в результате получаем, что P[A U B] = P[A] + P[B] является Schur-вогнутой функцией. Ясно, что при n нечетном найдутся n точек, помещение в которые точки 0 приводит к тому же эффекту.
Автор благодарен В. Солеву за полезные дискуссии и ценные советы. Литература
1. Ревяков М.И. Вероятность попадания случайного вектора в многогранный конус: мажо-ризационный аспект. Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия 9 (67), вып. 3, 508-517 (2022). https://doi.org/10.21638/spbu01.2022.311
2. Marshall A. W., Olkin I., Arnold B. Inequalities: Theory of Majorization and Its Applications. 2nd ed. Springer-Verlag, New York (2011).
3. Ефимов Н. В., Розендорн Э. Р. Линейная алгебра и многомерная геометрия. Москва, Наука (1969).
4. Eaton M.L. Concentration inequalities for Gauss-Markov estimators. J. Multivariate Anal. 25, 119-138 (1988).
5. Eaton M.L., Perlman M.D. Reflection groups, generalized Schur functions and the geometry of majorization. Ann. Probab. 5, 829-860 (1977).
6. Marshall A. W., Walkup D.W., Wets R. J.-B. Order-preserving functions: applications to majorization and order statistics. Pacific Journal of Mathematics 23, 569-584 (1967).
7. Ibragimov R. On functions not preserving majorization pre-ordering and their applications. Uzbek Mathematical Journal 1, 64-71 (2010).
8. Olkin I., Tong Y. L. Peakedness in multivariate distributions. In: ¡Statistical Decision Theory and Related Topics, IV Vol.2, 373-383. Gupta S.S., Berger J. O. ^ds), New York, Springer-Verlag (1988).
Статья поступила в редакцию 23 ноября 2022 г.;
доработана 27 января 2023 г.; рекомендована к печати 31 августа 2023 г.
Контактная информация:
Ревяков Михаил Ильич — канд. физ.-мат. наук, ст. науч. сотр.; revyakov.m@gmail.com
Probability of random vector hitting in a polyhedral frustum of a cone: Majorization aspect
M. I. Revyakov
St. Peterburg Department of the Steklov Mathematical Institute of
the Russian Academy of Sciences (POMI RAS),
27, nab. r. Fontanki, St. Peterburg, 191023, Russian Federation
For citation: Revyakov M. I. Probability of random vector hitting in a polyhedral frustum of a cone: Majorization aspect. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, 2024, vol. 11(69), issue 1, pp. 131-140. https://doi.org/10.21638/spbu01.2024.108 (In Russian)
The article presents conditions under which the probability of a linear combination of random vectors falling into a polyhedral oblate (from above) cone, in particular, into frustum of a cone is a Schur-concave function of the vector corresponding this linear combination. It is required that the oblate cone is convex, it contains the point 0, its edges are parallel to the coordinate axes, and the distribution density of vectors is a logarithmically concave sign-invariant function. In addition, the characterization was obtained in differential form functions that preserve one known pre-order, which is inside the majorization pre-order.
Keywords: frustum of a cone, G-majorization, sign-invariant density, logarithmic concavity, preorder within majorization.
References
1. Revyakov M.I. Probability of random vector hitting in a polyhedral cone: majorization aspect. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy 9 (67), iss. 3, 508—517 (2022). https://doi.org/10.21638/spbu01.2022.311 (In Russian) [Eng. transl.: Vestnik St Petersburg University. Mathematics 55, iss.3, 321-328 (2022). https://doi.org/10.1134/S106345412203013X].
2. Marshall A. W., Olkin I., Arnold B. Inequalities: Theory of Majorization and Its Applications. 2nd ed. Springer-Verlag, New York (2011).
3. Efimov N.V., Rozendorn E. R. Linear algebra and multidimensional geometry. Moscow, Mir Publ. (1975).
4. Eaton M.L. Concentration inequalities for Gauss-Markov estimators. J. Multivariate Anal. 25, 119-138 (1988).
5. Eaton M.L., Perlman M.D. Reflection groups, generalized Schur functions and the geometry of majorization. Ann. Probab. 5, 829-860 (1977).
6. Marshall A. W., Walkup D.W., Wets R. J.-B. Order-preserving functions: applications to majorization and order statistics. Pacific Journal of Mathematics 23, 569-584 (1967).
7. Ibragimov R. On functions not preserving majorization pre-ordering and their applications. Uzbek Mathematical Journal 1, 64-71 (2010).
8. Olkin I., Tong Y. L. Peakedness in multivariate distributions. In: Statistical Decision Theory and Related Topics, IV. Vol.2, 373-383. Gupta S.S., Berger J. O. (eds), New York, Springer-Verlag (1988).
Received: November 23, 2022 Revised: January 27, 2023 Accepted: August 31, 2023
Author's information:
Mikhail I. Revyakov — revyakov.m@gmail.com