Минимаксность и допустимость
[164/0%]Для ситуации примера 1.2:
Постройте графики функций риска и при .
Для каждого значения из пункта (a) найдите диапазон априорных значений , при которых предпочтительна каждая из оценок.
Если у экспериментатора нет априорных сведений о , какую из оценок и вы бы рекомендовали? Обоснуйте свой выбор.
Принцип гамма-минимаксности [впервые использованный Hodges and Lehmann (1952); см. также Robbins 1964 и Solomon 1972a, 1972b)] представляет собой синтез байесовского и частотного подходов. Оценка называется гамма-минимаксной, если
где — заданный класс априорных распределений. Таким образом, оценка минимизирует максимальный байесовский риск среди априорных распределений класса . (Если все априорные распределения, то была бы минимаксной.)
Покажите, что если , то есть состоит из одного априорного распределения, то байесовская оценка является -минимаксной.
Покажите, что если , то минимаксная оценка является -минимаксной.
Найдите -минимаксную оценку среди трёх оценок примера 1.2.
Классы априорных распределений для -минимаксного оценивания часто задаются с помощью ограничений на моменты.
Для найдите -минимаксную оценку при квадратичной функции потерь, с
где считается фиксированным и известным.
Для найдите -минимаксную оценку при квадратичной функции потерь, с
где и фиксированы и известны.
Для модели случайных эффектов из примера 4.2.7 (см. также пример 3.5.1) покажите, что правдоподобие ограниченного максимального правдоподобия (REML) для и задаётся формулой (4.2.13), которую можно получить, интегрируя исходное правдоподобие по равномерному априорному распределению для .
При в
вычислите математическое ожидание REML-оценки и покажите, что она смещена. Сравните REML-оценку с несмещённой оценкой . Какую из них вы предпочитаете?
(Построение маргинальных правдоподобий REML-типа, в которых некоторые эффекты интегрируются по априорным распределениям, оказывается особенно полезным в нелинейных и обобщённых линейных моделях. См., например, Searle et al. 1992, раздел 9.4 и глава 10.)
Установление того факта, что (9.1) выполняется, а значит, условно смещена, опирается на ряд шагов, некоторые из которых могут быть довольно громоздкими. Определим .
Покажите, что зависит от и только через . Следовательно, без потери общности можно считать .
Используя тот факт, что плотность обладает монотонным отношением правдоподобия, установите .
Покажите, что
Объедините пункты (a), (b) и (c), чтобы установить (19.1).
Следующие три задачи исследуют условные свойства оценок. Подробное изложение этой теории можно найти у Robinson (1979a, 1979b), который также исследовал связь между допустимостью и условными свойствами.
Пусть , и используется для оценивания . Ценность можно поставить под сомнение, если существует такое множество , что для (или выполняется обратное неравенство). Это приводит к условному принципу, согласно которому оценку никогда не следует использовать, если существует множество , для которого , причём для некоторого неравенство строгое (или если выполняется аналогичное утверждение с обратным неравенством). Покажите, что если — апостериорное среднее относительно собственного априорного распределения, причём и априорное распределение, и непрерывны по , то такого множества существовать не может. (Если такое существует, оно называется полурелевантным множеством. Устранение полурелевантных множеств — чрезвычайно сильное требование. Более слабое требование — устранение релевантных множеств — представляется более уместным.)
Покажите, что если существует множество и , для которых , то недопустима для оценивания при квадратичной функции потерь. (Множество , удовлетворяющее этому неравенству, является примером релевантного множества.)
Чтобы понять, почему устранение полурелевантных множеств является слишком сильным требованием, рассмотрим оценивание по наблюдению . Покажите, что для любой константы оценка Питмена удовлетворяет
причём для некоторого неравенство строгое. Таким образом, для оценки Питмена, которая по общему мнению является хорошей оценкой, существуют полурелевантные множества.
В примере 1.7 пусть с вероятностью и с вероятностью . Найдите функцию риска и покажите, что при её риск постоянен и меньше .
Найдите смещение минимаксной оценки (1.11) и обсудите его направление.
В примере 1.7,
найдите и покажите, что при ,
покажите, что при .
В примере 1.7 постройте графики функций риска и минимаксной оценки (1.11) при , и укажите взаимное расположение этих двух графиков при больших значениях .
Найдите две точки , такие что оценка (1.11) при является байесовской относительно распределения , для которого .
Покажите, что при оценка (1.11) является минимаксной оценкой , даже если известно, что .
В условиях пункта (b) найдите значения и , при которых как можно меньше.
Вычислите (1.16) и покажите, что его максимум равен .
Пусть или 0 с вероятностями и соответственно, и рассмотрим оценивание с функцией потерь, равной 1 при , и 0 в противном случае. Наиболее общая рандомизированная оценка имеет вид при и при , где и — две случайные величины с известными распределениями.
Вычислите функцию риска и максимальный риск оценки , когда и равномерно распределены на (0, 1/2) и (1/2, 1) соответственно.
Покажите, что оценка из пункта (a) является минимаксной, рассмотрев три значения , 1/2, 1.
Покажите, что задача из Примера 1.8 остаётся инвариантной относительно преобразований
Это показывает, что рандомизированные эквивариантные оценки, возможно, придётся рассматривать, когда не транзитивна.
Пусть задаётся формулой (1.3). Если для некоторого , покажите, что любая оценка имеет неограниченный риск.
В Примере 1.9 покажите, что ни одна линейная оценка не имеет постоянного риска.
Покажите, что функция риска из (1.22) зависит от и только через и достигает максимума при .
В Примере 1.9 определите область в единичном квадрате , в которой (1.22) лучше, чем UMVU-оценка , для и 32.
Распространите Задачи 1.11 и 1.12 на Пример 1.9.
В Примере 1.14 покажите, что является минимаксной для функции потерь без каких-либо ограничений на .
Проверьте (1.37).
Покажите, что равенство в (1.39) достигается тогда и только тогда, когда .
В Примере 1.16(b) покажите, что для любого оценка
является байесовской оценкой для априорного распределения на , для которого было показано, что (1.36) является байесовской.
Пусть и независимы с распределениями и соответственно. Если , но и в остальном неизвестны, найдите минимаксную оценку для при квадратичной функции потерь.
Пусть — независимые одинаково распределённые случайные величины с неизвестным распределением . Покажите, что
является минимаксной оценкой для при квадратичной функции потерь.
Пусть и независимо распределены как и соответственно, и рассмотрим задачу оценивания при квадратичной функции потерь.
Если и известны, является минимаксной оценкой.
Если и ограничены условиями и соответственно ( известны и конечны), остаётся минимаксной оценкой.
В линейной модели (3.4.4) покажите, что (в обозначениях Теоремы 3.4.4) является минимаксной оценкой для при квадратичной функции потерь, при ограничении .
Для случайной величины , распределение которой задаётся формулой (1.42), покажите, что должно удовлетворять неравенствам, указанным после (1.42).
Покажите, что оценка, определённая формулой (1.43),
имеет постоянный риск,
является байесовской относительно априорного распределения, заданного формулами (1.44) и (1.45).
Покажите, что при фиксированных и (1.43) (1.11) при .
Покажите, что , задаваемая формулой (3.7.6), достигает максимального значения при ограничении (1.41), когда все равны 0 или 1.
Если задаётся формулой (1.49), покажите, что при .
Определите наименьшее значение , при котором байесовская оценка из Примера 1.18 удовлетворяет (1.48) для и и 20.
(Efron and Morris 1971)
Покажите, что оценка из (1.50) является оценкой, минимизирующей при ограничении . В этом смысле она является оценкой, наиболее близкой к байесовской оценке , но не слишком удаляющейся от минимаксной оценки .
Покажите, что для ситуации из Примера 1.19 ограничена для из (1.50).
Для ситуации из Примера 1.19 оценка из (1.50) удовлетворяет .
Лемма 2.1 была расширена Berger (1990a) для случая, когда оцениваемая функция не обязана быть ограничена конечным интервалом, а вместо этого достигает максимума или минимума в конечной точке параметра.
Лемма 8.1. Пусть оцениваемая функция непостоянна и достигает глобального максимума или минимума в точке , для которой п.в. (относительно доминирующей меры ), и пусть функция потерь удовлетворяет предположениям Леммы 2.1. Тогда любая оценка , принимающая значения выше максимума или ниже минимума, недопустима.
Покажите, что если минимизирует и является несмещённой оценкой , то существует такое, что множество удовлетворяет . Аналогичный вывод верен, если является максимумом.
Предположим, что является минимумом. (Случай максимума рассматривается аналогично.) Покажите, что оценка
удовлетворяет .
Для ситуации из Примера 2.3 примените Лемму 8.1, чтобы установить недопустимость UMVU-оценки . Также объясните, почему предположения Леммы 8.1 не выполняются для оценивания .
Определите байесовский риск оценки (2.4), когда имеет априорное распределение .
Докажите утверждение (d) во втором доказательстве Примера 2.8: что существует последовательность значений , для которой .
Покажите, что оценка величины недопустима (при квадратичной функции потерь) при каждом из следующих условий:
если для всех и ;
если для всех и .
Покажите, что оценка величины недопустима (при квадратичной функции потерь) при каждом из следующих условий:
если и ,
если и .
Покажите, что если , то оценка недопустима (при квадратичной функции потерь) при каждом из следующих условий:
если для всех и ;
если для всех и (Gupta 1966).
Brown (1986a) указывает на связь между информационным неравенством и несмещённой оценкой риска оценок стейновского типа.
Покажите, что из (2.7) следует
и, следовательно, если , то .
Покажите, что нетривиальное решение привело бы к улучшенной оценке при в Следствии 4.7.2.
Функция плотности называется понижающей вариацию порядка , если для любой функции с переменами знака (без учёта нулей) математическое ожидание имеет не более перемен знака. Если имеет ровно перемен знака, они происходят в том же порядке. Покажите, что обладает свойством тогда и только тогда, когда она имеет монотонное отношение правдоподобия. (См. TSH2, Лемма 2, Раздел 3.3, для доказательства импликации «если».) Brown и др. (1981) дают подробное введение в эту тему, включая характеризации для многих семейств распределений (экспоненциальное семейство обладает свойством , как и с параметром , и нецентральное по параметру ). Существует эквивалентность между и — полной положительностью порядка по Karlin (1968), а именно .
Для ситуации из Примера 2.9 покажите, что:
без потери общности ограничение можно свести к , .
Если — априорное распределение, помещающее массу 1/2 в каждую из точек , то байесовская оценка при квадратичной функции потерь есть
Для
и, следовательно, по Следствию 1.6, является минимаксной.
Для оценка из пункта (b) больше не является минимаксной. Объясните, почему это так, и предложите альтернативную оценку в этом случае.
Для ситуации из Примера 2.10 покажите, что:
.
Оценка с является линейной минимаксной оценкой для всех с минимаксным риском .
является линейной минимаксной оценкой для .
Предположим, что имеет распределение , а имеет распределение , где и изменяются независимо. Если известно, что , то любая оценка может быть улучшена с помощью
В Примере 2.13 докажите, что оценка недопустима при .
Пусть независимые одинаково распределённые случайные величины с плотностью , и пусть . Нас интересует оценивание при квадратичной функции потерь с помощью линейных оценок , где и — константы. Покажите, что:
допустимость оценки в Примере 2.13 эквивалентна допустимости при подходящем выборе и .
риск задаётся формулой
при , когда , и, следовательно, оценка в Примере 2.13 недопустима при .
Это упражнение иллюстрирует тот факт, что константы не обязательно являются допустимыми оценками.
Для ситуации из Примера 2.15 пусть .
Покажите, что риск оценки при квадратичной функции потерь минимизируется при выборе
Stein (1964) показал, что для всех . Предполагая это, выведите, что доминирует над при квадратичной функции потерь, где
Покажите, что , и, следовательно, задаётся формулой (2.31).
Наилучшая эквивариантная оценка вида была получена Brewster и Zidek (1974) и задаётся формулой
где математическое ожидание вычисляется в предположении и . Покажите, что является обобщённой байесовской оценкой относительно априорного распределения
Brewster и Zidek первоначально получили свою оценку не как байесовскую, а, напротив, сначала нашли оценку, а затем нашли априорное распределение. Brown (1968) рассмотрел семейство оценок, аналогичных оценкам Stein (1964), которые принимали различные значения в зависимости от порогового значения для . Brewster и Zidek (1974) показали, что число пороговых значений может быть сколь угодно большим. Они построили последовательность оценок с убывающими рисками и всё более плотными пороговыми значениями, предел которой являлся наилучшей эквивалентной оценкой.
Покажите эквивалентность следующих соотношений:
(2.26) и (2.27),
(2.34) и (2.35) при , и
(2.38) и (2.39).
В Примере 2.17 покажите, что оценка недопустима для всех вне треугольника (2.39).
Докажите допустимость оценок, соответствующих внутренности треугольника (2.39), применив Теорему 2.4 и используя результаты Примера 4.1.5.
Используя Теорему 2.14, приведите альтернативное доказательство допустимости оценки , удовлетворяющей (2.6), в Примере 2.5.
Определите, какие оценки допустимы для оценивания при квадратичной функции потерь в следующих ситуациях:
имеет распределение Пуассона.
имеет отрицательное биномиальное распределение (Gupta 1966).
Пусть имеет распределение , и рассмотрим оценивание при функции потерь с ограничением , где известно.
Используя рассуждение, аналогичное рассуждению из Примера 2.9, покажите, что не является минимаксной оценкой и что наименее благоприятное априорное распределение должно иметь множество [из (1.5)], состоящее из конечного числа точек.
Пусть — априорное распределение, помещающее массу , в точки параметра . Покажите, что байесовская оценка, соответствующая этому априорному распределению, есть
Пусть — решение уравнения . Покажите, что при , , одноточечное априорное распределение даёт минимаксную оценку. Вычислите минимаксный риск и сравните его с риском .
Пусть — первый положительный нуль уравнения , где — двухточечное априорное распределение . Покажите, что при , , двухточечное априорное распределение даёт минимаксную оценку (используйте Следствие 1.6). Вычислите минимаксный риск и сравните его с риском .
С ростом ситуация усложняется, и точные минимаксные решения становятся труднодостижимыми. В этих случаях линейные приближения могут быть вполне удовлетворительными. См. Johnstone и MacGibbon 1992, 1993.
Покажите, что условия (2.41) и (2.42) из Примера 2.22 являются не только достаточными, но и необходимыми для допустимости (2.40).
Пусть и независимо распределены по закону Пуассона с и соответственно. Покажите, что допустима для оценивания при квадратичной функции потерь тогда и только тогда, когда либо , либо (Makani 1972).
Пусть имеет плотность .
Покажите, что .
Покажите, что допустима для оценивания при квадратичной функции потерь тогда и только тогда, когда .
Пусть распределена как , и пусть имеет несобственную априорную плотность . При квадратичной функции потерь формальная байесовская оценка равна , и она не является ни минимаксной, ни допустимой. (См. также Задачу 2.15.) Условия, при которых формальная байесовская оценка, соответствующая несобственному априорному распределению для в Примере 3.4, является допустимой, даны в Zidek (1970).
Покажите, что естественное параметрическое пространство семейства (2.16) есть для нормального (с известной дисперсией), биномиального распределений и распределения Пуассона, но не в случае гамма-распределения или отрицательного биномиального распределения.
Покажите, что Теорема 3.2.7 остаётся верной для почти эквивариантных оценок.
Проверьте плотность (3.1).
В Примере 3.3 покажите, что функция потерь остаётся инвариантной относительно тогда и только тогда, когда она является функцией от .
В Примере 3.3 покажите, что ни одна из функций потерь и не является выпуклой.
Пусть распределена как . Если и , найдите распределение и покажите, что оно зависит от только через .
Если — независимые одинаково распределённые случайные величины с плотностью , покажите, что MRE-оценка при квадратичной функции потерь [оценка Питмена из (3.1.28)] является байесовской оценкой относительно правоинвариантной меры Хаара.
Если — независимые одинаково распределённые случайные величины с плотностью , покажите, что:
-
При квадратичной функции потерь оценка Питмена из (3.1.28) является байесовской оценкой относительно правоинвариантной меры Хаара.
-
При функции потерь (3.3.17) оценка Питмена из (3.3.19) является байесовской оценкой относительно правоинвариантной меры Хаара.
Докажите формулу (3.9).
Докажите (3.11).
В Примере 3.8 пусть — длина пути после сокращения. Покажите, что не удовлетворяет условиям (3.2.11).
Обсудите Пример 3.8 для случая, когда случайное блуждание происходит не на плоскости, а
на прямой и
в трёхмерном пространстве.
Покажите, что вероятности (3.17) в сумме дают 1.
При , заданных формулой (3.17), покажите, что риск (3.16) бесконечен.
Покажите, что риск из (3.18) конечен.
Покажите, что обе оценки и , определённые формулами (3.20) и (3.21) соответственно, являются эквивариантными.
Докажите соотношения (3.22) и (3.23).
Пусть распределение зависит от параметров и , пусть функция риска оценки параметра равна , и пусть для некоторого распределения . Если минимизирует и удовлетворяет , покажите, что минимизирует .
В Примере 4.2 покажите, что оценка эквивариантна тогда и только тогда, когда она удовлетворяет (4.11) и (4.12).
Покажите, что функция удовлетворяет (4.12) тогда и только тогда, когда она зависит только от .
Проверьте байесовскую оценку (4.15).
Пусть независимы с биномиальным распределением . Для оценивания при усреднённой квадратичной функции потерь (4.17) найдите минимаксную оценку и определите, является ли она допустимой.
Установление допустимости нормального среднего в двумерном случае представляет собой довольно сложную задачу, что обусловлено тем, что сопряжённые априорные распределения не работают в предельном байесовском методе. Пусть
Сопряжённые априорные распределения — это .
Для этой последовательности априорных распределений проверьте, что предельное байесовское рассуждение, как в Примере 2.8, приводит к неравенству (4.18), которое не устанавливает допустимости.
Stein (в работе James and Stein 1961) предложил последовательность априорных распределений, позволяющую доказать допустимость предельным байесовским методом. Вариант этих априорных распределений, приведённый в Brown and Hwang (1982), таков:
для . Покажите, что п.в. при .
Частный случай весьма общих результатов Brown and Hwang (1982) утверждает, что для априорного распределения предельный байесовский метод (метод Blyth) устанавливает допустимость оценки [обобщённой байесовской оценки относительно ], если
Покажите, что это выполняется для и что , так что является допустимой.
Stein (1956b) первоначально установил допустимость в двумерном случае, используя рассуждение, основанное на информационном неравенстве. Его доказательство было усложнено тем, что ему потребовались дополнительные рассуждения, связанные с инвариантностью, чтобы установить результат. См. Теорему 7.19 и Задачу 7.19 для более общих формулировок результата Brown/Hwang.
Пусть независимы, причём . Следующее эвристическое рассуждение, принадлежащее Stein (1956b), показывает, что должно быть возможно, по крайней мере при большом и, следовательно, большом , улучшить оценку .
Используя разложение в ряд Тейлора, покажите, что
так что с высокой вероятностью истинное лежит в шаре . Обычная оценка имеет приблизительно тот же размер, что и , и почти наверняка окажется вне этого шара.
Пункт (a) подсказал Stein оценку вида . Покажите, что
Установите, что и , и, следовательно,
Покажите, что главный член в пункте (c) минимизируется при , и, поскольку , это приводит к оценке из (4.20).
Если распределена как , используя (2.2.5), покажите, что .
В Примере 4.7 покажите, что невырождена для и и вырождена для и .
Покажите, что функция из Примера 4.7 выпукла.
В Примере 4.7 покажите, что допустима для
и
.
В Примере 4.8 покажите, что допустима при предположениях (ii)(a).
Пусть — семейство функций потерь, и предположим, что существуют и минимаксная оценка относительно такие, что в обозначениях (4.29)
Тогда является минимаксной относительно , то есть минимизирует .
Предполагая (4.25), покажите, что является единственной несмещённой оценкой риска (5..4.25) и что недопустима.
Оценка также несмещена для оценивания функции потерь . См. Замечание 9.5.
Естественным расширением доминирования по риску при заданной функции потерь является доминирование по риску при целом классе функций потерь. Hwang (1985) определяет универсальное доминирование оценкой , если неравенство
выполняется для всех неубывающих функций потерь , причём хотя бы для одной функции потерь риски не совпадают.
Покажите, что универсально доминирует тогда и только тогда, когда она стохастически доминирует , то есть тогда и только тогда, когда
для всех и , причём для некоторого неравенство строгое.
Для покажите, что оценка Джеймса-Стейна не доминирует над x универсально.
Hwang (1985) и Brown and Hwang (1989) исследуют многие аспекты универсального доминирования. Hwang (1985) показывает, что даже не доминирует над универсально, если класс функций потерь не ограничен. Отметим также, что, хотя неравенство в пункте (a) может показаться напоминающим критерий «близости по Питмену», на самом деле никакой связи здесь нет. Критерий близости по Питмену страдает рядом недостатков, не свойственных стохастическому доминированию (см. Robert и др. 1993).
Покажите, что оценка , определённая формулой (5.2) с , доминируется любой оценкой с .
В контексте Теоремы 5.1 покажите, что
Stigler (1990) даёт интересное объяснение феномена Стейна с точки зрения регрессии, а также приводит тождество, которое можно использовать для доказательства минимаксности оценки Джеймса-Стейна. Для и :
Покажите, что
Выражение в квадратных скобках возрастает по . Докажите минимаксность при , установив тождество Stigler
Теорема 5.5 утверждает: для , , и функции потерь оценка вида
является минимаксной, если (i) и (ii) функция не убывает.
Докажите Теорему 5.5.
Примените Теорему 5.5, чтобы установить условия минимаксности собственной байесовской оценки Strawderman (1971), заданной формулами (5.10) и (5.12).
Для иерархической модели (5.11) Strawderman (1971):
Покажите, что байесовская оценка при квадратичной функции потерь задаётся формулой , где
Покажите, что допускает альтернативные представления
и, следовательно, что даёт оценку из (5.12).
Покажите, что возрастает по с максимумом . Следовательно, байесовская оценка минимаксна, если , то есть . Для это требует .
Berger (1976b) рассматривает матричные обобщения этой иерархической модели и выводит допустимые минимаксные оценки. Собственные байесовские минимаксные оценки существуют только при (Strawderman 1971); однако формальные байесовские минимаксные оценки существуют при и 4.
Рассмотрим обобщение иерархической модели Strawderman (1971) из Задачи 5.5:
Покажите, что байесовская оценка при квадратичной функции потерь равна , где
Предположим, что с плотностью
Покажите, что байесовская оценка минимаксна, если и .
Пусть — априорная точность . Если , покажите, что плотность пропорциональна , то есть — -распределению с и степенями свободы.
Два интересных предельных случая — это и . Для каждого случая покажите, что получающееся априорное распределение для является собственным, и прокомментируйте минимаксность получающихся оценок.
Априорное распределение Strawderman из Задачи 5.5 соответствует и . Если взять и , то .
Faith (1978) рассмотрел иерархическую модель
то есть
Покажите, что маргинальное априорное распределение для , безусловное по , есть
то есть многомерное распределение Стьюдента.
Покажите, что является достаточным условием для и, следовательно, достаточным условием минимаксности байесовской оценки при квадратичной функции потерь.
Покажите, в более общем случае, что байесовская оценка при квадратичной функции потерь минимаксна, если и .
При каком выборе и получится многомерное априорное распределение Коши для ? Является ли получающаяся байесовская оценка минимаксной?
Пусть , и рассмотрим оценивание при функции потерь .
Покажите, что — минимаксный риск. Следовательно, X является минимаксной оценкой.
Пусть , и рассмотрим оценивание при функции потерь , где — известная положительно определённая матрица. Покажите, что — минимаксный риск. Следовательно, является минимаксной оценкой.
Покажите, что вычисления в пунктах (a) и (b) эквивалентны.
В Теореме 5.7 проверьте
В Теореме 5.7 покажите, что условие (i) допускает наибольшее сжатие, когда при некотором значении . То есть покажите, что для всех положительно определённых размера
Задача оценивания (5.18),
где обе матрицы и положительно определены, всегда может быть сведена без потери общности к более простому случаю
где — диагональная матрица с элементами , с помощью следующего рассуждения. Определим , где — симметричный квадратный корень из (то есть ), а — матрица собственных векторов (то есть ).
Покажите, что удовлетворяет
Определим . Покажите, что , где .
Покажите, что задачи оценивания эквивалентны, если определить .
Замечание: Если имеет спектральное разложение diagonal , то можно определить , где — диагональная матрица с элементами . Поскольку положительно определена, положительны.
Завершите доказательство Теоремы 5.9.
Покажите, что риск равен
где .
Используя лемму Стейна, проверьте
Используйте рассуждение, аналогичное рассуждению в Теореме 5.7.
Докажите следующее «обобщение» Теоремы 5.9.
Теорема 8.2. Пусть . Оценка вида (5.13) минимаксна относительно функции потерь , если
-
,
-
функция не убывает, где .
Brown (1975) исследовал поведение оценки относительно класса функций потерь
для заданного множества , и доказал следующую теорему. Теорема 8.3. Для существует сферически симметричная оценка , то есть , где , такая что для всех , если для всех неравенство выполняется при .
Покажите, что эта теорема эквивалентна Теореме 5.9 в том смысле, что указанное выше неравенство эквивалентно пункту (i) Теоремы 5.9, и оценка (5.13) минимаксна. Bock (1975) также устанавливает эту теорему; см. также Shinozaki (1980).
Теорема 5.5 утверждает: для , , и функции потерь оценка вида минимаксна, если (i) и (ii) функция не убывает.
Теорема 5.9 утверждает: пусть . Оценка вида (5.13) [] минимаксна относительно функции потерь , если (i) , (ii) функция не убывает.
Существуют различные способы, по-видимому, обобщить Теоремы 5.5 и 5.9. Однако, если и оценке, и функции потерь разрешить зависеть от ковариационной матрицы и матрицы потерь, то линейные преобразования обычно позволяют свести задачу к более простому виду. Пусть , и пусть функция потерь равна , и рассмотрим следующие «обобщения» Теорем 5.5 и 5.9.
В каждом случае используйте преобразования, чтобы свести задачу к задаче Теоремы 5.5 или 5.9, и выведите условие минимаксности .
Естественным расширением оценки (5.10) является оценка, сжимающая к произвольной известной точке ,
где .
Покажите, что при условиях Теоремы 5.5 оценка минимаксна.
Покажите, что её положительная часть является лучшей оценкой.
Пусть . Покажите, что байесовская оценка при квадратичной функции потерь задаётся формулой , где — маргинальная плотность, а .
Проверьте (5.27).
Свойство супергармоничности и его связь с минимаксностью не ограничивается байесовскими оценками. Для псевдобайесовская оценка (так названная и исследованная Bock, 1988) — это оценка вида
где не обязательно является маргинальной плотностью.
Покажите, что оценка Стейна с положительной частью
является псевдобайесовской оценкой с
Покажите, что, за исключением точки разрыва, если , то , так что супергармонична.
Покажите, как модифицировать доказательство Следствия 5.11, чтобы учесть супергармонические функции с конечным числом разрывов меры нуль.
Этот результат адаптирован из George (1986a, 1986b), который использует как псевдобайесовость, так и супергармоничность, чтобы установить минимаксность интересного класса оценок, которые далее исследуются в следующей задаче.
Для George (1986a, 1986b) рассмотрел оценки с множественным сжатием — оценки, которые могут сжиматься к нескольким различным целевым точкам. Предположим, что , где — известные положительные веса, .
Покажите, что байесовская оценка относительно при квадратичной функции потерь задаётся формулой , где и
Очевидно, минимаксна, если супергармонична. Покажите, что минимаксна, если либо (i) супергармонична, , либо (ii) супергармонична, .
Настоящее преимущество проявляется, когда компоненты задают различные целевые точки. Для пусть , где
а — целевые векторы. Покажите, что минимаксна.
George (1986a, 1986b) исследовал многие типы множественных целей, включая множественные точки, подпространства, а также кластеры и подвекторы. Задача о подвекторах также рассматривалась в Berger and Dey (1983a, 1983b). Оценки с множественным сжатием также исследовались в Ki and Tsui (1990) и Withers (1991).
Пусть независимы и распределены как и соответственно ().
Найдите оценку , которая была бы хороша вблизи , где и неизвестны, если изменчивость и примерно одинакова.
Когда функция потерь имеет вид (4.17), определите функцию риска вашей оценки.
Первые доказательства минимаксности оценок Стейна (James and Stein 1961, Baranchik 1970) опирались на представление нецентрального -распределения в виде пуассоновской суммы центральных -распределений (TSH2, Задача 6.7). В частности, если — нецентральная -случайная величина с параметром нецентральности , то
где , а — центральная -случайная величина с степенями свободы. Используя это представление и свойства центрального -распределения, установите следующие тождества для и .
.
.
Для , используя тождества (a) и (b), покажите, что для
и, следовательно, что минимаксна, если .
См. Bock 1975 или Casella 1980 для дополнительных тождеств, включающих математические ожидания нецентрального .
Пусть — -случайная величина с степенями свободы и параметром нецентральности .
Покажите, что , где .
Установите (5.32).
По большей части функция риска оценки Стейна возрастает по мере удаления от нуля (если ноль является целью сжатия). Чтобы гарантировать, что функция риска монотонно возрастает по (то есть что в риске нет «провалов», как в минимаксных хвостовых оценках Berger (1976a)), требуется несколько более сильное предположение об оценке (Casella 1990). Пусть и , и рассмотрим оценку Стейна
Покажите, что если и вогнута и дважды дифференцируема, то минимаксна.
При условиях пункта (a) функция риска не убывает по .
В духе рассуждения Стейна о «больших и », Casella and Hwang (1982) исследовали предельное отношение риска к риску . Если и , они показали, что
Чтобы установить этот предел, можно использовать следующие шаги.
Покажите, что .
Покажите, что .
Покажите, что верхняя и нижняя границы отношения рисков имеют один и тот же предел.
Обращаясь к Примеру 6.1, эта задача устанавливает справедливость выражения (6.2) для риска оценки из (6.1), используя рассуждение, аналогичное рассуждению в доказательстве Теоремы 5.7.
Покажите, что
\begin{align} R\left(\boldsymbol {\theta }, \delta ^{L}\right)= & \sum _{i} \mathbb {E}_{\theta }\left[(\theta _{i}-\delta _{i}^{L}(\mathbf{X}))^{2}\right] \\ = & \sum _{i} \mathbb {E}_{\theta }\left[\left\{ \left(\theta _{i}-X_{i}\right)^{2}+\frac{2 c(r-3)}{S}\left(\theta _{i}-X_{i}\right)\left(X_{i}-\overline{\mathbf{X}}\right)\right. \\ & \left.+\frac{[c(r-3)]^{2}}{S^{2}}\left(X_{i}-\overline{\mathbf{X}}\right)^{2}\right\} \right] \end{align}где .
Используя интегрирование по частям, покажите, что
Используйте результаты пунктов (a) и (b), чтобы установить (6.2).
В Примере 6.1 покажите, что:
Оценка минимаксна, если и .
Риск бесконечен, если .
Минимальный риск равен и достигается при .
Оценка доминируется по риску своей версией с положительной частью
В Примере 6.2:
Покажите, что является MLE, если .
Покажите, что из (6.8) минимаксна при квадратичной функции потерь.
Проверьте, что вида (6.4) удовлетворяют для из (6.5), и постройте минимаксную оценку, сжимающуюся к этому подпространству.
Рассмотрим задачу оценивания среднего на основе , где предполагается, что , где известны, неизвестны, и .
Найдите MLE , скажем , если предполагается, что лежит в линейном подпространстве
Покажите, что можно записать в виде (6.7), и найдите .
Постройте оценку Стейна, сжимающуюся к MLE из пункта (a), и докажите, что она минимаксна.
Для ситуации из Примера 6.3:
Покажите, что минимаксна, если .
Покажите, что если , то , , и, следовательно, .
Для покажите, что , и, следовательно, риск неограничен при .
Оценку Green and Strawderman (1991) можно получить как эмпирическую байесовскую оценку.
Для , и Uniform , при известных и , покажите, как получить как эмпирическую байесовскую оценку.
Вычислите байесовскую оценку при квадратичной функции потерь.
Сравните и .
В Примере 6.4:
Проверьте функцию риска (6.13).
Проверьте, что при неизвестной функция риска оценки (6.14) задаётся формулой (6.15).
Покажите, что минимальный риск оценки (6.14) равен .
Для ситуации из Примера 6.4 аналогичная модификация оценки Lindley (6.1) имеет вид
где и , независимо от .
Покажите, что .
Покажите, что и , и из (6.14) можно улучшить, используя их версии с положительной частью.
Основное применение Примера 6.4 относится к ситуации
с и . Покажите, что оценка
является минимаксной, где , при условии .
Случай неравных объёмов выборок не охвачен тем, что было сделано до сих пор. См. Efron and Morris 1973b, Berger and Bock 1976 и Morris 1983 для подходов к этой задаче. Случай полностью неизвестной ковариационной матрицы рассматривается в Berger и др. (1977) и Gleser .
Оценка Lindley с положительной частью из Задачи 6.9 имеет интересную интерпретацию в однофакторном дисперсионном анализе, в частности, применительно к обычно используемому критерию для проверки . Эта гипотеза проверяется с помощью статистики
которая при имеет -распределение с и степенями свободы.
Покажите, что оценку Lindley с положительной частью можно записать в виде
Нулевая гипотеза отвергается, если велико. Покажите, что это соответствует использованию MLE при , если мало, и оценки Стейна, если велико.
Нулевая гипотеза отвергается на уровне , если . Для и : каков уровень критерия, соответствующий выбору — оптимальному по риску выбору?
Для тех же и : каким значениям соответствует выбор или — типичных уровней ? Являются ли получающиеся оценки минимаксными?
Докажите следующее расширение Теоремы 5.5 на случай неизвестной дисперсии, принадлежащее Strawderman (1973).
Теорема 8.4. Пусть и , независимо от . Оценка
где , является минимаксной оценкой , если
-
при каждом фиксированном функция не убывает,
-
при каждом фиксированном функция не возрастает,
-
.
Заметьте, что здесь функция потерь берётся масштабированной на , , иначе минимаксный риск не был бы конечен. Strawderman (1973) далее вывел собственные байесовские минимаксные оценки в этом случае.
Для ситуации из Примера 6.5:
Покажите, что .
Если , то из (6.19) есть многомерное -распределение с степенями свободы, и .
Если , где стохастически больше , то из (6.20) минимаксна для этой смеси при условии .
Докажите Лемму 6.2.
Для ситуации из Примера 6.7:
Проверьте, что оценка (6.25) минимаксна, если . (Применима Теорема 5.5.)
Обращаясь к (6.27), покажите, что
где .
Если обозначает случайную величину хи-квадрат с степенями свободы, установите тождество
чтобы показать, что
где теперь .
Проверьте (6.29), тем самым показав, что .
Покажите, что является убывающей функцией от , и, следовательно, максимальное улучшение байесовского риска при сохранении минимаксности достигается при .
Для , , независимых, и функции потерь :
При каких значениях и оценки из (4.6.29) минимаксны? Являются ли они также собственными байесовскими при этих значениях?
Пусть , и определим . Для априорного распределения покажите, что байесовская оценка равна
где и
Покажите, что выбор даёт оценку , которая минимаксна.
Покажите, что выбор , даёт оценку, которая является собственной байесовской минимаксной при .
Оценку из пункта (d) трудно вычислить. Однако для выбора априорного распределения
покажите, что обобщённая байесовская оценка равна
и определите условия её минимаксности. Покажите, что она является собственной байесовской, если .
Пусть , где неизвестны, а известно. Оцениваемый параметр — с функцией потерь
Покажите, что обычная оценка имеет постоянный риск .
Для покажите, что оценка
доминирует над по риску, где и .
Обобщите рассуждение из пункта (b) и найдите условия на функцию и константу , при которых
доминирует над по риску.
Доминирование над обычной оценкой n рассматривалось в работах Feldman and Fox (1968), Johnson (1987), а также Casella and Strawderman (1994). Задача оценивания n для биномиального распределения имеет ряд интересных практических приложений; см. Olkin и др. 1981, Carroll and Lombard 1985, Casella 1986. Хотя мы сделали нереалистичное предположение о том, что известно, эти результаты можно адаптировать к более практичному случаю неизвестного (подробности см. в Casella and Strawderman 1994).
Лемма 6.9 утверждает: пусть , независимы с вероятностями , , (6.36), то есть принадлежит экспоненциальному семейству. Тогда для любой вещественнозначной функции с и любого числа , для которого при , , где — единичный вектор, у которого -я координата равна , а остальные равны .
Теорема 6.10 утверждает: пусть независимо распределены согласно (6.36), и пусть (оценка, -я координата которой равна ) — UMVU-оценка . Для функции потерь , где — известные числа, риск оценки задаётся формулой , где
Докажите Лемму 6.9.
Докажите, что для , где задаётся формулой (6.36), является UMVU-оценкой (Roy and Mitra 1957).
Докажите Теорему 6.10.
Для ситуации Примера 6.11:
Установите, что , где задаётся формулой (6.42), удовлетворяет для функции потерь из (6.38), и, следовательно, доминирует над по риску.
Выведите для независимых и функции потерь из (6.38). Покажите, что для , заданной формулой (6.43), удовлетворяет и, следовательно, является минимаксной оценкой .
Для ситуации Примера 6.12:
Покажите, что оценка , для из (6.45), доминирует над по риску при функции потерь из (6.38), установив, что .
Для функции потерь из (6.38) покажите, что оценка , где
с и неубывающей , где , обладает свойством и, следовательно, доминирует над по риску.
В Примере 6.12 мы видели улучшенные оценки вероятности успеха для отрицательных биномиальных распределений. Аналогичные результаты справедливы для оценивания средних отрицательных биномиальных распределений, с некоторыми дополнительными интересными особенностями. Пусть — независимые отрицательные биномиальные случайные величины с функцией вероятности (6.44), и предположим, что мы хотим оценить , где — среднее -го распределения, используя функцию потерь .
Покажите, что MLE для есть , и что риск оценки можно записать в виде
где
и
так что достаточным условием доминирования над MLE является для всех .
Покажите, что если имеют распределение (вместо отрицательного биномиального), то . Таким образом, любая оценка, доминирующая над MLE в отрицательном биномиальном случае, также доминирует над MLE в пуассоновском случае.
Покажите, что оценка Клевенсона—Зидека
удовлетворяет и и, следовательно, доминирует над MLE как в пуассоновской, так и в отрицательной биномиальной модели.
Это свойство робастности оценок Клевенсона—Зидека было открыто Tsui (1984) и справедливо для более общих форм оценки. Tsui также исследует другие оценки средних пуассоновского и отрицательного биномиального распределений и их свойства робастности.
Установите утверждение, сделанное в Примере 7.2. Пусть и — независимые случайные величины, , и пусть . Покажите, что является допустимой оценкой , несмотря на то что её распределение не зависит от .
Efron and Morris (1973a) приводят следующий вывод положительной части оценки Стейна как усечённой байесовской оценки. Для , и , где известно, а неизвестно, определим и зададим на априорное распределение .
Покажите, что байесовская оценка относительно квадратичной функции потерь задаётся формулой , где
Среди оценок вида оценка, удовлетворяющая условиям
-
не убывает,
-
,
-
минимизирует байесовский риск относительно имеет вид . (Это усечённая байесовская оценка, и она минимаксна, если .)
Покажите, что если сосредоточивает всю массу в точке , то
и результирующая усечённая байесовская оценка является оценкой положительной части.
Лемма 7.5 утверждает: (i) если — класс всех (включая рандомизированные) оценок, основанных на достаточной статистике, то существенно полон; (ii) если функция потерь выпукла по , то класс нерандомизированных оценок полон. Эти результаты являются непосредственными следствиями Теоремы 1.6.1 и Следствия 1.7.9.
Заполните детали доказательства Леммы 7.5.
Для ситуации Примера 7.8 покажите, что если — произвольная оценка , то класс всех оценок с при некотором полон.
Задача принятия решений называется монотонной (по определению Karlin and Rubin 1956; см. также Brown, Cohen and Strawderman 1976 и Berger 1985, Раздел 8.4), если функция потерь при каждом минимизируется при и является возрастающей функцией от . Оценка называется монотонной, если она является неубывающей функцией от .
Покажите, что если выпукла, то монотонные оценки образуют полный класс.
Если не монотонна, покажите, что монотонная оценка , неявно определённая соотношением
удовлетворяет для всех .
Если и , постройте монотонную оценку, которая доминирует над
Покажите, что в следующих задачах оценивания все функции риска непрерывны.
Оцените с .
Оцените с .
Оцените с , независимые.
Оцените с , независимые, известны.
Докажите следующую теорему, которая даёт достаточные условия непрерывности функций риска оценок.
Теорема 8.5 (Ferguson 1967, Теорема 3.7.1) Рассмотрим оценивание с функцией потерь , где . Предположим, что
-
функция потерь ограничена и непрерывна по равномерно по (так что ;
-
для любой ограниченной функции непрерывен по .
Тогда функция риска непрерывна по .
Ссылаясь на Теорему 8.5, покажите, что условие (iii) выполнено для
экспоненциального семейства,
непрерывных плотностей, в которых — одномерный параметр сдвига или масштаба.
Семейство функций называется равностепенно непрерывным в точке , если для любого найдётся такое, что для всех и всех . (Одно и то же подходит для всех .) Семейство равностепенно непрерывно, если оно равностепенно непрерывно в каждой точке .
Теорема 8.6 (сообщено . Gajek) Рассмотрим оценивание с функцией потерь , где непрерывна по при каждом . Если
-
Семейство равностепенно непрерывно по при каждом .
-
Для всех ,
Тогда любая конечнозначная функция риска непрерывна по и, следовательно, оценки с конечным, непрерывным риском образуют полный класс.
Докажите Теорему 8.6.
Приведите пример равностепенно непрерывного семейства функций потерь.
Ссылаясь на Теорему 7.11, эта задача показывает, что предположение о непрерывности по нельзя ослабить. Рассмотрим плотность , равную при и при .
Покажите, что эта плотность обладает монотонным отношением правдоподобия, но не является непрерывной по .
Покажите, что существует ограниченная непрерывная функция потерь , для которой риск разрывен.
Для и функции потерь покажите, что условие (iii) Теоремы 7.11 выполнено.
Докажите следующую (эквивалентную) версию метода Блайта (Теорема 7.13).
Теорема 8.7 Предположим, что параметрическое пространство открыто, и оценки с непрерывным риском образуют полный класс. Пусть — оценка с непрерывной функцией риска, и пусть — последовательность (возможно, несобственных) априорных мер, таких что
-
для всех ,
-
для любого непустого открытого множества ,
Тогда — допустимая оценка.
Заполните некоторые из пробелов в Примере 7.14:
-
Проверьте выражения для апостериорных ожидаемых потерь и в (7.7).
-
Покажите, что нормированные бета-априорные распределения не удовлетворяют условию (b) Теоремы 7.13, а затем проверьте (7.9).
-
Покажите, что маргинальное распределение задаётся формулой (7.10).
-
Покажите, что
и, следовательно, допустима.
Пусть . Используя метод Блайта, покажите, что является допустимой оценкой при функции потерь , выполнив следующие шаги:
Покажите, что ненормированные гамма-априорные распределения удовлетворяют условию (b) Теоремы 7.13, проверив, что для любого
Также покажите, что нормированные гамма-априорные распределения не подходят.
Покажите, что при априорных распределениях байесовские риски и байесовской оценки задаются формулами
Разность рисков равна
которая при фиксированном стремится к бесконечности при (Увы!). Однако покажите, что если выбрать , то при . Таким образом, разность рисков стремится к нулю.
К сожалению, нам придётся вернуться и проверить условие (b) Теоремы 7.13 для последовательности априорных распределений с , поскольку пункт (a) более неприменим. Сделайте это и заключите, что является допустимой оценкой .
(Напомним, что мы уже рассматривали допустимость в Следствиях 2.18 и 2.20, где было показано, что допустима.)
Используя метод Блайта, установите допустимость в следующих ситуациях.
Если , известно, то является допустимой оценкой при функции потерь .
Если Negative , то является допустимой оценкой при функции потерь .
Покажите, что в общем случае, если — байесовская оценка при квадратичной функции потерь, то
тем самым устанавливая (7.13).
-
Докажите (7.15).
-
Используя (7.15), докажите допустимость в одномерном случае.
Тождество (7.14) можно установить другим способом. Для ситуации Примера 7.18 покажите, что
откуда следует
и, следовательно, выведите (7.14).
Теорема 7.19 утверждает: пусть и . Пусть , где . Предположим, что удовлетворяет
(a) ,
(b) ,
(c) для всех компактных множеств . Тогда допустима. Доказательство проводится с помощью последовательности априорных распределений , где и
для .
Эта задача намечает рассуждение, необходимое для доказательства Теоремы 7.19:
Покажите, что , то есть
Используя пункт (a), покажите, что
Покажите, что
и эта последняя оценка → 0 по условию (a).
Покажите, что подынтегральное выражение в при , и, используя условие (b) вместе с теоремой о мажорируемой сходимости, покажите, что , чем и завершается доказательство теоремы.
Теорема 7.19 (нормальный случай) утверждает: пусть и . Пусть , где . Предположим, что удовлетворяет
,
,
для всех компактных множеств .
Тогда допустима.
Brown and Hwang (1982) фактически доказывают Теорему 7.19 для случая , где интерес представляет оценивание при функции потерь . Докажите Теорему 7.19 для этого случая.
Для ситуации Примера 7.20:
Используя интегрирование по частям, покажите, что
и, следовательно,
Используя приближение Лапласа (4.6.33), покажите, что
и что
Если , покажите, что
В Примере 7.20, если является собственным априорным распределением, то допустима. При каких значениях это выполнено?
Проверьте, что условия Теоремы 7.19 выполнены для , если
и
.
Установите условия допустимости оценки Стродермана (Пример 5.6)
используя Теорему 7.19,
используя результаты Brown (1971), приведённые в Примере 7.21.
Приведите условия, при которых оценка Стродермана является допустимой минимаксной оценкой.
(Об обобщениях см. Berger 1975, 1976b).
Проверьте приближение Лапласа из (7.23).
Покажите, что при формулу (7.25) можно записать как (7.26), и что для допустимости и минимаксности оценки одновременно необходимо .
Теорема 7.17 также применима к случаю Пуассона , для которого Johnstone (1984) получил следующую характеризацию допустимых оценок при функции потерь . Обобщённая байесовская оценка вида является
-
недопустимой, если существуют и , такие что
-
допустимой, если ограничена и существует , такое что
Используя характеризацию Джонстона допустимых пуассоновских оценок (Пример 7.22), найдите допустимую оценку Клевенсона—Зидека (6.31).
Определите условия, при которых оценка одновременно допустима и минимаксна.
Для ситуации Примера 7.23:
Покажите, что и допустимы для оценивания и соответственно.
Покажите, что является допустимой оценкой , где . Сравните полученные здесь результаты с результатом Теоремы 2.14 (теорема Карлина).
Заметьте, что результаты Diaconis and Ylvisaker (1979) означают, что единственное априорное распределение, дающее линейные байесовские оценки, — это равномерное.
Заполните пробелы в доказательстве того, что оценки вида (7.27) образуют полный класс.
Покажите, что допустима при и .
Для любой другой оценки , для которой при и при , покажите, что должно выполняться и .
Покажите, что для всех тогда и только тогда, когда для всех .
Покажите, что однозначно минимизируется при , и, следовательно, выведите допустимость .
Используя Теорему 7.17, покажите, что любая допустимая оценка имеет вид (7.27), и, следовательно, что (7.27) — минимальный полный класс.
Для пусть и предположим, что — единственная байесовская оценка при функции потерь , где удовлетворяет и . Предположим, что для некоторого , существует значение , такое что если , то
-
с вероятностью 1,
-
.
Покажите, что допустима для при функции потерь ; то есть эффект Стейна отсутствует.
Предположим, что мы наблюдаем последовательно, где . Оценка называется неупреждающей (Gutmann 1982b), если она зависит только от . То есть мы не можем использовать информацию, поступающую позже, с индексами . Если — допустимая оценка , покажите, что она не может быть доминирована неупреждающей оценкой. Таким образом, это снова ситуация, в которой эффект Стейна отсутствует.
Для рассмотрим оценивание , где известен, с помощью оценки при функции потерь .
Покажите, что если лежит вне сферы (7.31), то недопустима.
Покажите, что байесовская оценка относительно априорного распределения задаётся формулой
Найдите ковариационную матрицу , такую что лежит внутри сферы (7.31) [ будет иметь ранг один, то есть иметь вид для некоторого вектора размера ].
Пункты (a)-(c) показывают, что все линейные оценки внутри сферы (7.31) допустимы, а те, что вне неё, — недопустимы. Остаётся рассмотреть границу, что несколько сложнее. Подробности см. в Cohen 1966.
Парадокс вспомогательности Брауна. Пусть , и рассмотрим оценивание , где — известный вектор с , при функции потерь .
Покажите, что оценка минимаксна и допустима.
Предположим теперь, что — реализовавшееся значение случайной величины с распределением, не зависящим от , где известно. Покажите, что оценка , где
с , доминирует над по риску.
Efron (1990), обсуждая парадокс вспомогательности Brown's (1990a), предложил альтернативную версию. Предположим, что , и с вероятностью , независимо от X, наблюдается значение случайной величины , . Задача состоит в оценивании при функции потерь . Покажите, что при условии , является минимаксной и допустимой оценкой . Однако безусловно доминируется -й координатой оценки Джеймса—Стейна. Этот вариант парадокса может быть в некотором смысле более прозрачным. Он более наглядно показывает, как наличие вспомогательной случайной величины вынуждает рассматривать задачу как многомерную, открывая возможность для эффекта Стейна.