WikiDer > Свободная независимость

Free independence

В математической теории свободная вероятность, понятие свободная независимость был представлен Дэн Войкулеску.^[1] Определение свободной независимости аналогично классическому определению независимость, за исключением того, что роль декартовых произведений измерять пространства (соответствует тензорные произведения их функциональных алгебр) играет понятие бесплатный продукт (некоммутативных) вероятностных пространств.

В контексте теории свободной вероятности Войкулеску многие теоремы или явления классической вероятности имеют свободные вероятностные аналоги: та же теорема или явление верны (возможно, с небольшими изменениями), если классическое понятие независимости заменяется свободной независимостью. Примеры этого включают: свободную центральную предельную теорему; понятия о свободная свертка; Существование свободное стохастическое исчисление и так далее.

Позволять ${ displaystyle (A, phi)}$ быть некоммутативное вероятностное пространство, т.е. единый алгебра ${ displaystyle A}$ над ${ displaystyle mathbb {C}}$ оснащен единый линейный функционал ${ Displaystyle phi: от А до mathbb {C}}$ . В качестве примера для вероятностной меры можно взять ${ displaystyle mu}$ ,

{ Displaystyle A = L ^ { infty} ( mathbb {R}, mu), phi (f) = int f (t) , d mu (t).}

Другой пример может быть ${ displaystyle A = M_ {N}}$ , алгебра ${ Displaystyle N раз N}$ матрицы с функционалом, заданным нормированным следом ${ displaystyle phi = { frac {1} {N}} Tr}$ . Даже в более общем плане ${ displaystyle A}$ может быть алгебра фон Неймана и ${ displaystyle phi}$ состояние на ${ displaystyle A}$ . Последний пример - групповая алгебра ${ Displaystyle A = mathbb {C} Gamma}$ (дискретного) группа ${ displaystyle Gamma}$ с функционалом ${ displaystyle phi}$ заданный групповой трассой ${ displaystyle phi (g) = delta _ {g = e}, g in Gamma}$ .

Позволять ${ displaystyle {A_ {i}: я in I }}$ быть семейством унитальных подалгебр ${ displaystyle A}$ .

Определение. Семья ${ displaystyle {A_ {i}: я in I }}$ называется свободно независимый если ${ displaystyle phi (x_ {1} x_ {2} cdots x_ {n}) = 0}$ в любое время ${ displaystyle phi (x_ {j}) = 0}$ , ${ displaystyle x_ {j} in A_ {i (j)}}$ и ${ Displaystyle я (1) neq я (2), я (2) neq я (3), точки}$ .

Если ${ displaystyle X_ {i} in A}$ , ${ displaystyle i in I}$ это семейство элементов ${ displaystyle A}$ (их можно рассматривать как случайные величины в ${ displaystyle A}$ ), они называются

свободно независимый если алгебры ${ displaystyle A_ {i}}$ создано ${ displaystyle 1}$ и ${ displaystyle X_ {i}}$ свободно независимы.

Примеры свободной независимости

Позволять ${ displaystyle Gamma}$ быть бесплатный продукт групп ${ displaystyle Gamma _ {i}, я in I}$ , позволять ${ Displaystyle A = mathbb {C} Gamma}$ - групповая алгебра, ${ Displaystyle фи (г) = дельта _ {г = е}}$ быть групповой трассой и установить ${ displaystyle A_ {i} = mathbb {C} Gamma _ {i} subset A}$ . потом ${ displaystyle A_ {i}: я in I}$ свободно независимы.
Позволять ${ Displaystyle U_ {i} (N), я = 1,2}$ быть ${ Displaystyle N раз N}$ унитарный случайные матрицы, взятых независимо, произвольно из ${ Displaystyle N раз N}$ унитарная группа (с уважением к Мера Хаара). потом ${ Displaystyle U_ {1} (N), U_ {2} (N)}$ становятся асимптотически свободно независимыми при ${ displaystyle N to infty}$ . (Асимптотическая свобода означает, что определение свободы выполняется в пределе как ${ displaystyle N to infty}$ ).
В более общем плане независимый случайные матрицы имеют тенденцию быть асимптотически свободно независимыми при определенных условиях.