Обсуждение:Оценивание дискретных распределений при дополнительных ограничениях на вероятности некоторых событий (виртуальный семинар)

Материал из MachineLearning.

(Различия между версиями)
Перейти к: навигация, поиск
(Дальнейшее обобщение задачи. Другие проблемы)
(Дальнейшее обобщение задачи. Другие проблемы)
Строка 15: Строка 15:
== Дальнейшее обобщение задачи. Другие проблемы ==
== Дальнейшее обобщение задачи. Другие проблемы ==
-
* Если ввести гипотезу о том, что семейство распределений зависит от величин связи <tex>W_1</tex>, <tex>W_2</tex> и построить решетку для параметров <tex>W_1</tex>, <tex>W_2</tex>, то соседние распределения (как по <tex>W_1</tex>, так и по <tex>W_2</tex>) будут удовлетворять некоторым условиям. Например, известны условия монотонности для вероятностей некоторых исходов. Следовательно, следует потребовать выполнения этих условий для оценок вероятностей. Кроме того, для каждого распределения известны некоторые разумные ("внутренние") условия на вероятности, выполнение которых тоже целесообразно потребовать для оценок на вероятности.
+
* Если ввести гипотезу о том, что семейство распределений зависит от величин связи <tex>W_1</tex>, <tex>W_2</tex> и построить решетку для параметров <tex>W_1</tex>, <tex>W_2</tex>, то соседние распределения (как по <tex>W_1</tex>, так и по <tex>W_2</tex>) будут удовлетворять некоторым условиям. Например, известны условия монотонности (по <tex>W_1</tex> и по <tex>W_2</tex>) для вероятностей некоторых исходов. Следовательно, следует потребовать выполнения этих условий для оценок вероятностей. Кроме того, для каждого распределения известны некоторые разумные ("внутренние") условия на вероятности, выполнение которых тоже целесообразно потребовать для оценок на вероятности.
* При восстановлении плотности (для выбранного числа интервалов) в качестве функционала качества хотелось бы принять описанный функционал:
* При восстановлении плотности (для выбранного числа интервалов) в качестве функционала качества хотелось бы принять описанный функционал:

Версия 10:47, 29 сентября 2008

Содержание

Обсуждение

  • > ...Время считается дискретным...
    1. Подход, в котором плотность вначале представляется как непрерывная функция времени, мне представляется лучшим. Поскольку в таком подходе можно выбирать различное число интервалов разбиения. Интересно, что

\omega = \int_{0}^{T} {w_t dt} = (i_1, ...,i_D) = super(seq_{l=1,M} {\int_{T/M*(l-1)+\delta_+}^{T/M*l} {w_t dt}}) = super ( (s^{(1)}_1,...,s^{(1)}_D),...,(s^{(M)}_1,...,s^{(M)}_D)) = (s^{(1)}_1,...,s^{(1)}_D) | ... | (s^{(M)}_1,...,s^{(M)}_D) , где seq - операция построения последовательности, а super (или |) - операция суперпозиции (сложения) многомерных дискретных элементарных исходов (s^{(r)}_k - число исходов типа k в интервале r).| ADY 11:31, 6 августа 2008 (MSD)

  • > ...это приводит к появлению дополнительных ограничений типа равенств в задаче максимизации правдоподобия;...
    1. Это справедливо только в параметрическом случае и в случае, когда обратные функции (которые появятся при решении связей) будут удовлетворять некоторым условиям? | ADY 11:31, 6 августа 2008 (MSD)
    2. Максимизация правдоподобия - только один из методов получения оценок (пусть даже и с "хорошими" свойствами).
  • > ...выборка может быть «немного» неоднородной;...
    1. Если вводить веса (через ядро), то, такое впечатление, это эквивалентно тому, что мы делаем выборку однородной, но во всех функционалах учитываем веса. Если решение пойдет по этому пути, тогда можно подумать на тему введения весов для каждого элемента эмпирических данных? | ADY 11:31, 6 августа 2008 (MSD)
  • Проблема: Можно ли использовать на первом этапе, в качестве оценок эмпирические данные (частоты) (без поиск параметрических или основанных на ядрах оценок)?
  • Обсуждение: скорей всего да, то нужно накладывать дополнительные условия (типа P_i(n+1)>P_i(n), начиная с некоторого n, и P_i(n)<P_j(n), при некоторых условиях на заданные функционалы), трансформировать плотности соответствующим образом и проверять качество этих допущений.

Дальнейшее обобщение задачи. Другие проблемы

  • Если ввести гипотезу о том, что семейство распределений зависит от величин связи W_1, W_2 и построить решетку для параметров W_1, W_2, то соседние распределения (как по W_1, так и по W_2) будут удовлетворять некоторым условиям. Например, известны условия монотонности (по W_1 и по W_2) для вероятностей некоторых исходов. Следовательно, следует потребовать выполнения этих условий для оценок вероятностей. Кроме того, для каждого распределения известны некоторые разумные ("внутренние") условия на вероятности, выполнение которых тоже целесообразно потребовать для оценок на вероятности.
  • При восстановлении плотности (для выбранного числа интервалов) в качестве функционала качества хотелось бы принять описанный функционал:

q(Pr')= 1/M \sum_{l=1,M}(1/n_l  \sum_ {X_l \in \Omega_{X_l}} {Pr_l\{ X \} / Pr_l'\{ X_l \} } - 1)^2. Возможно, этот функционал можно как-то упростить.

  • Нужны критерии для сравнения различных плотностей и схема тестирования.
  • Хотелось бы построить доверительные интервалы для оценок плотностей. При построении доверительных интервалов можно отказаться от квадратичного функционала при оценки вероятностей сверху использовать минимизацию:

q(Pr')= 1/M \sum_{l=1,M}(1/n_l  \sum_ {X_l \in \Omega_{X_l}} {Pr_l\{ X \} / Pr_l'\{ X_l \} } - 1), а при оценки снизу минимизировать: q(Pr')= - 1/M \sum_{l=1,M}(1/n_l  \sum_ {X_l \in \Omega_{X_l}} {Pr_l\{ X \} / Pr_l'\{ X_l \} } - 1), для Pr_l'\{ X_l \} > \epsilon (где \epsilon - мин. допустимая оценка на вероятность).

  • В задаче, оценки на вероятность всегда имеют некоторую естественную ошибку (обозначим ее \epsilon_0), не связанную с величиной выборки. Ее природа в невозможности точно отнести эмпирические данные к одному из семейству распределений. Поэтому, нет смысла строить бесконечно точные оценки (точные оценки в пределе): достаточно строить оценки, точноcть которых быстро стремиться к \epsilon_0 при росте числа элементов выборки. В частной постановке задачи \epsilon_0  = 10^{-3}.

| ADY 12:13, 6 августа 2008 (MSD)

  • Условие задачи можно расширить, учитывая дополнительное условие, что со всеми эмпирическими данными (то есть данными о реализациях изучаемого случайного процесса) идут некоторые оценки значений связей P_j. Следовательно, выборки и выделение различных распределений, можно генерировать на основе этих данных о связях (и, соответственно, появляется новая задача - разбиение всех эмпирических данных на классы, согласно эмпирических данным и оценкам на значения P_j). | ADY 16:18, 11 августа 2008 (MSD)
  • Стоит также задача, как наиболее оптимально, выделить маргинальные частотные плотности \nu_i(\{i\}) и \nu_j(\{j\}) из совместной эмпирической плотности \nu_{i,j}(\{i,j\}). Допустимость независимого выделения этих плотностей, например, как \nu_i(\{i\}) = \nu_i(\{i, \every j \in \{0,1,...\}\}), требует дополнительного анализа, поскольку в этом случае \nu_i(\{0\}) \nu_j(\{0\}) \ne \nu_{i,j}(\{0,0\}), хотя известно, что \nu_{i,j}(\{0,0\}) - вполне нормальная оценка для P_{i,j}(\{0,0\}). | ADY 16:13, 20 августа 2008 (MSD)

Особенности восстановления плотности через максимизацию правдоподобия (для интегральных исходов)

  • Есть впечатление, что восстановления плотности через максимизацию правдоподобия для интегральных исходов имеет некоторые особенности. Например, в следующей картинке видно, что оценка "угадывает" наличие "горба", но "не угадывает" локальные свойства горба (что, в самом деле, вполне логично). Видно, что оценкой плотности для последнего интервала пользоваться скорей всего нельзя.
  • Синим закрашена область - плотность события P\{\omega_{i,i+1} = 0\} (где \omega_{i,i+1} - число событий в i-ом интервале). Точками показана та же самая плотность, параметры которой оценены по максимуму правдоподобия.

Изображение:Density figure1.JPG

| ADY 11:44, 8 августа 2008 (MSD)


Особенности восстановления многомерной совместной плотности распределения на основе принципа максимального правдоподобия

Стоит задача найти оценку плотности распределения событий в интервалах (в каждом из которых может произойти 0 или 1 событие) таким образом, чтобы все частные плотности, то есть плотности, которые получаются из общей при условии, что события в начальных интервалах уже реализовались, тоже, так или иначе, удовлетворяли принципу максимального правдоподобия. Общая плотность имеет вид: f_1 * f_2 * ... * f_N. Где f_k - функция распределения событий в k-ом интервале. f_k(q=0)=p0(k) \:\: (f_k(q=1)=1-p0(k)). Для конкретной задачи можно запостулировать следующий параметрический вид функций распределений в интервале:

  • p0(n)=p0*Exp(- n \tau_1), для n<n'
  • p0(n)=p0*Exp(- n' \tau_1), для n'' \ge n \ge n'
  • p0(n)=p0*Exp(- n' \tau_1 + (n-n'') \tau_2), для N \ge n \g n''

Можно предложить следующий способ оценки совместной плотности распределения событий, в соответствии с принципом максимального правдоподобия.

  • Отбросив события для всех N-1 интервалов, из принципа максимального правдоподобия для последнего интервала получаем, что p0(N) == \nu_0^{-(1)}, где \nu_0^{-(1)} - эмпирическая частота выпадения нулевого числа событий в последнем интервале (индекс вверху показывает, что отсчет идет справа налево (поэтому "-"), и указывает номер интервала в текущем способе отсчета).
  • Из параметрического вида распределений в интервалах имеем: p0(N) = p0(N-1) * Exp(\tau_2). Рассматривая плотность для двух последних интервалов, можно построить следующую функцию распределения для этих интервалов:
F_0^{-(2)} = p0(N-1)  p0(N)
F_1^{-(2)} = (1-p0(N-1)) p0(N) + p0(N-1)  (1 - p0(N))
F_2^{-(2)} = (1-p0(N-1))  (1 - p0(N))

Поскольку оценку величены p0(N) мы считаем известной, а p0(N-1) = p0(N) * Exp(- \tau_2), то по принципу максимального правдоподобия можно найти оценку на величену параметра \tau_2 = R_{\tau_2} (\nu_0^{-(1)}; \nu_0^{-(\Sigma 2)}, \nu_1^{-(\Sigma 2)}, \nu_2^{-(\Sigma 2)}), где \nu_i^{-(\Sigma 2)} - значения эмпирически частот выпадения i событий в двух последних интервалах.

  • Проблема 1: величену \tau_2 можно оценить в точности аналогичным образом взяв любое количество от 2 до N - n'+1 последних интервалов.
  • Оценив \tau_2 из частот для последних 1 и K-интервалов (\nu_0^{-(1)}; \nu_0^{-(\Sigma K)}, \nu_1^{-(\Sigma K)}, \nu_2^{-(\Sigma K)}, ..., \nu_K^{-(\Sigma K)}) качество этой оценки для построения ф.р.в. для всех остальных интервалов (для N \ge n \ge n') становится не ясным?
  • Замечание: В качестве начальной известной оценки \nu_0^{-(1)} для p0(N) можно использовать оценку для частоты \nu_0^{-(K)} в любом интервале (-K).
  • Какую оценку для \tau_2 в итоге использовать?
  • Как усреднять все возможные оценки? Если оценок будет слишком много, то как усреднять по классу всех возможных оценок?
  • Увеличивая количество интервалов K так, что K > N - n' + 1, в игру вступает параметр \tau_1. Вопрос, какую оценку для \tau_2 можно использовать при построении совместной функции распределения для последующей оценки, максимизацией правдоподобия, для \tau_1.
  • Как наилучшим образом использовать информацию о частотах, из которых можно построить оценку для одного и тоже же параметра?
  • Используя оценку такого типа, параметр p0 (из формул для распр. вер. в интервалах) теряет свою необходимость. Почему эта степень свободы оказалась фиктивной?
  • Функция распределения при рассмотрении > 4 интервалов не должна усложняться слишком сильно (поскольку F_5^{-(K)} = 0 для любого K).
  • Можно ли понять качество оценок в смысле используемого в задаче функционала качества. Возможно, использование функционала качества такого типа поможет устранить неоднозначность построения оценок по принципу максимального правдоподобия для выбранного параметрического вида модели.
  • Можно ли построить содержательные критерии для выбора неявных параметров n' и n''. Возможно при построении таких критериев окажется полезным принцип минимума \chi^2.
  • Замечание: пишут, что по ML плотность обычно не оценивают (см. [1], стр.6).

Полезные статьи

  1. Изображение:Multi-dim density estimation.pdf
  2. Изображение:MDL Histogram density estimation.pdf
Личные инструменты