\begingroup

回想一下,概率测度的耦合μμ\mu_i是一组随机变量X_i定义在同一个概率空间上ΩΩ\Omega使得μμX_i \sim \mu_i

问题:μ1μnμ1μn\mu_1, \dots, \mu_n全部统一[ 0 , 1 ][01][0, 1]. 什么耦合能最大化本质最小值

n=埃辛夫ω Ω1( ω ) + +nω n:=埃辛夫ωΩ1ω++nω

I_n := \text{essinf}_{\omega \in \Omega} (X_1 (\omega) + \dots + X_n (\omega))

实现的价值是多少?

具体来说,如果我们让nnI^*_n是最优值,我想知道序列1nn1nn\frac{1}{n}I^*_n表现出任何类型可预测的行为。

\endgroup

0


最佳答案
2

\begingroup

让我通过以下示例来完成 Iosif Pinelis 的回答:n = 3n=3n=3(事实上​​,类似的结构本身似乎适用于所有nnn)。

如果1< 1 / 21<1/2X_1<1/2, 放2= 1 212=121X_2=1-2X_13= 1 / 2 +13=1/2+1X_3=1/2+X_1

如果11 / 211/2X_1\geq 1/2, 放2= 2 212=221X_2=2-2X_13=11 / 23=11/2X_3=X_1-1/2

\endgroup

8

  • \begingroup
    很好,很简单!关于一般nnn在这种情况下,你可能可以正确地推广这种构造,但本质最小值也可以通过将所有剩余对耦合在一起形成确定性随机变量来获得,这些变量总是加在一起111,正如 Iosif 所提到的。
    \endgroup


    – 

  • 1
    \begingroup
    是的,这就是为什么我只写这个案例。
    \endgroup


    – 

  • \begingroup
    非常好!你能透露一下你是如何想出这个解决方案的吗?
    \endgroup


    – 

  • \begingroup
    @IosifPinelis 我刚刚找到了当变量均匀分布时所需的耦合{ 0 , 1 , , d}{01d}\{0,1,\dots,d\};那么就很容易找到连续的类似物。
    \endgroup


    – 


  • 1
    \begingroup
    也许,这只是分区的一个简单版本{ 0 , 1 , , d}{01d}\{0,1,\dots,d\}分解成三元组,总和相同(对于合适的ddd) 我以前就熟悉了。我想我不能再补充更多了……
    \endgroup


    – 


\begingroup

注意

n≤E1+ +n= n / 2。n1++n=n/2.

I_n^*\le E(X_1+\cdots+X_n)=n/2.
这个上限
/ 2n/2n/2nnI_n^*如果实现n = 2n=2n=2m是偶数且2= 1 212=121X_{2i}=1-X_{2i-1}为了i = 1 , , m=1i=1,\dots,m

所以,

n= n / 2n=n/2

I_n^*=n/2
甚至
nnn

由此可见

n 1 / 2 =n 1nn / 2n1/2=n1nn/2

(n-1)/2=I_{n-1}^*\le I_n^*\le n/2
为奇数
nnn

所以,

n∼n / 2nn/2

I_n^*\sim n/2
为了
Nnn\Bbb N\ni n\to\infty


推测: n= n / 2n=n/2I_n^*=n/2对于所有天然n≥2n2n\ge2

注释1:显然,1= 01=0I_1^*=0鉴于上述情况,足以证明n= n / 2n=n/2I_n^*=n/2对于所有奇数n≥3n3n\ge3。此外,鉴于上述取消,足以证明3= 3 / 23=3/2I_3^*=3/2

\endgroup

3

  • \begingroup
    像往常一样非常巧妙,唯一剩下的问题是奇数的精确最优配置是什么nnn
    \endgroup


    – 

  • \begingroup
    @NateRiver:这里的奇数情况可能比偶数情况困难得多,这难道不奇怪吗?
    \endgroup


    – 

  • \begingroup
    确实很奇怪@Iosif Pinelis。我猜偶数会抵消,而奇数则不太清楚该把额外的人放在哪里……
    \endgroup


    –