Articulo de referencia

politopo aleatorio

En matemáticas , un politopo aleatorio es una estructura comúnmente utilizada en el análisis convexo y el análisis de programas lineales en el espacio euclidiano d -dimensional ...

En matemáticas , un politopo aleatorio es una estructura comúnmente utilizada en el análisis convexo y el análisis de programas lineales en el espacio euclidiano d -dimensional .Rd{\displaystyle \mathbb {R} ^{d}}. [ 1 ] [ 2 ] Dependiendo del uso, la construcción y la definición, los politopos aleatorios pueden diferir.

Politopo aleatorio de un conjunto de puntos aleatorios de acuerdo con la definición 1.

Definición

Existen múltiples definiciones no equivalentes de un politopo aleatorio. Para las siguientes definiciones, sea K un conjunto convexo acotado en un espacio euclidiano :

  • La envoltura convexa de puntos aleatorios seleccionados con respecto a una distribución uniforme dentro de K. [ 2 ]
  • La intersección no vacía de semiespacios enRd{\displaystyle \mathbb {R} ^{d}}. [ 1 ]
    • Se ha utilizado la siguiente parametrización:r:(Rd×{0,1})metropolitoposRd{\displaystyle r:(\mathbb {R} ^{d}\times \{0,1\})^{m}\rightarrow {\text{Polítopos}}\in \mathbb {R} ^{d}}de tal manera quer((pag1,0),(pag2,1),(pag3,1)...(pagmetro,imetro))={incógnitaRnorte:|pagj||pagj||incógnita||pagj|| si ij=1,pagj||pagj||incógnita||pagj|| si ij=0}{\displaystyle r((p_{1},0),(p_{2},1),(p_{3},1)...(p_{m},i_{m}))=\{x\in \mathbb {R} ^{n}:|{\frac {p_{j}}{||p_{j}||}}\cdot x\leq ||p_{j}||{\text{ si }}i_{j}=1,{\frac {p_{j}}{||p_{j}||}}\cdot x\geq ||p_{j}||{\text{ si }}i_{j}=0\}}(Nota: estos politopos pueden estar vacíos). [ 1 ]

Definición de propiedades 1

DejarK{\displaystyle \mathrm {K} }sea ​​el conjunto de cuerpos convexos enRd{\displaystyle \mathbb {R} ^{d}}. AsumirKK{\displaystyle K\in \mathrm {K} }y consideremos un conjunto de puntos distribuidos uniformementeincógnita1,...,incógnitanorte{\displaystyle x_{1},...,x_{n}}enK{\displaystyle K}. La envoltura convexa de estos puntos,Knorte{\displaystyle K_{n}}, se denomina politopo aleatorio inscrito enK{\displaystyle K}.Knorte=[incógnita1,...,incógnitanorte]{\displaystyle K_{n}=[x_{1},...,x_{n}]}donde el conjunto[S]{\displaystyle [S]}representa la envoltura convexa del conjunto. [ 2 ] Definimosmi(k,norte){\displaystyle E(k,n)}ser el volumen esperado deKKnorte{\displaystyle K-K_{n}}Para un tamaño suficientemente grandenorte{\displaystyle n}y dadoKRnorte{\displaystyle K\in \mathbb {R} ^{n}}.

  • volK(1norte)mi(K,norte){\displaystyle K({\frac {1}{n}})\ll E(K,n)\ll }volK(1norte){\displaystyle K({\frac {1}{n}})}[ 2 ]
    • Nota: Se puede determinar el volumen de la parte húmeda para obtener el orden de magnitud demi(K,norte){\displaystyle E(K,n)}en lugar de determinarmi(K,norte){\displaystyle E(K,n)}. [ 3 ]
  • Para la unidad de bolaBdRd{\displaystyle B^{d}\in \mathbb {R} ^{d}}, la parte mojadaBd(vt){\displaystyle B^{d}(v\leq t)}es el anilloBd(1h)Bd{\displaystyle {\frac {B^{d}}{(1-h)B^{d}}}}donde h es de ordent2d+1{\displaystyle t^{\frac {2}{d+1}}}:mi(Bd,norte){\displaystyle E(B^{d},n)\approx }volBd(1norte)norte2d+1{\displaystyle B^{d}({\frac {1}{n}})\approx n^{\frac {-2}{d+1}}}[ 2 ]

Dado que tenemosV=V(incógnita1,...,incógnitad){\displaystyle V=V(x_{1},...,x_{d})}es el volumen de una tapa más pequeña cortada deK{\displaystyle K}por aff(incógnita1,...,incógnitad){\displaystyle (x_{1},...,x_{d})}, yF=[incógnita1,...,incógnitad]{\displaystyle F=[x_{1},...,x_{d}]}es una faceta si y solo siincógnitad+1,...,incógnitanorte{\displaystyle x_{d+1},...,x_{n}}están todos en un lado de la afición{incógnita1,...,incógnitad}{\displaystyle \{x_{1},...,x_{d}\}}.

  • miϕ(Knorte)=(norted)K...K[(1V)norted+Vnorted]ϕ(F)dincógnita1...dincógnitad{\displaystyle E_{\phi }(K_{n})={{n} \choose {d}}\int _{K}...\int _{K}[(1-V)^{nd}+V^{nd}]\phi (F)dx_{1}...dx_{d}}. [ 2 ]
    • Nota: Siϕ=Fd1{\displaystyle \phi =f_{d-1}}(una función que devuelve la cantidad de caras de dimensión d-1), entoncesϕ(F)=1{\displaystyle \phi (F)=1}y la fórmula se puede evaluar para conjuntos convexos suaves y para polígonos en el plano.

Definición de propiedades 2

Supongamos que se nos da una distribución de probabilidad multivariada sobre(Rd×{0,1})metro=(pag1×i1,,pagmetro×imetro)metro{\displaystyle (\mathbb {R} ^{d}\times \{0,1\})^{m}=(p_{1}\times i_{1},\dots ,p_{m}\times i_{m})^{m}}eso es

  1. Absolutamente continuo en(pag1,,pagd){\displaystyle (p_{1},\dots ,p_{d})}con respecto a la medida de Lebesgue .
  2. Genera 0 o 1 para eli{\displaystyle i}s con probabilidad de12{\displaystyle {\frac {1}{2}}}cada.
  3. Asigna una medida de 0 al conjunto de elementos en(Rd×{0,1})metro{\displaystyle (\mathbb {R} ^{d}\times \{0,1\})^{m}}que corresponden a politopos vacíos.

Dada esta distribución y nuestras suposiciones, se cumplen las siguientes propiedades:

  • Se deriva una fórmula para el número esperado dek{\displaystyle k}caras dimensionales en un politopo enRd{\displaystyle \mathbb {R} ^{d}}conmetro{\displaystyle m}restricciones:mik(metro)=2dki=dkd(idk)(metroi)/i=0d(metroi){\displaystyle E_{k}(m)=2^{d-k}\sum _{i=d-k}^{d}{{i} \choose {d-k}}{{m} \choose {i}}/\sum _{i=0}^{d}{{m} \choose {i}}}. (Nota:límitemetromik(metro)=(ddk)2dk{\displaystyle \lim _{m\to \infty }E_{k}(m)={{d} \choose {d-k}}2^{d-k}}dóndemetro>d{\displaystyle m>d}). El límite superior, o peor caso, para el número de vértices conmetro{\displaystyle m}Las restricciones son mucho mayores:Vmetroaincógnita=(metro[12(d+1)]metrod)+(metro[12(d+2)]metrod){\displaystyle V_{max}={m-[{\frac {1}{2}}(d+1)] \choose m-d}+{m-[{\frac {1}{2}}(d+2)] \choose m-d}}. [ 1 ]
  • La probabilidad de que una nueva restricción sea redundante es:πmetro=12i=0d1(metro1i)i=0d(metroi){\displaystyle \pi _{m}=1-{\frac {2\sum _{i=0}^{d-1}{{m-1} \choose i}}{\sum _{i=0}^{d}{m \choose i}}}}. (Nota:límitemetroπmetro=1{\displaystyle \lim _{m\to \infty }{\pi _{m}}=1}y a medida que añadimos más restricciones, la probabilidad de que una nueva restricción sea redundante se acerca al 100%). [ 1 ]
  • El número esperado de restricciones no redundantes es:dod(metro)=2metroi=0d1(metro1i)i=0d(metroi){\displaystyle C_{d}(m)={\frac {2m\sum _{i=0}^{d-1}{{m-1} \choose i}}{\sum _{i=0}^{d}{{m} \choose i}}}}. (Nota:límitemetrodod(metro)=2d{\displaystyle \lim _{m\to \infty }C_{d}(m)=2d}). [ 1 ]

Ejemplos de uso

  • límites mínimos
  • Regiones de Macbeath
  • Aproximaciones (para aproximaciones de cuerpos convexos, véanse las propiedades de la definición 1).
  • Teorema de cobertura del límite económico (véase la relación de las propiedades de la definición 1 con los cuerpos flotantes).

Referencias

  1. 1 2 3 4 5 6 May, Jerrold H.; Smith, Robert L. (diciembre de 1982). "Politopos aleatorios: su definición, generación y propiedades agregadas". Mathematical Programming . 24 (1): 39– 54. doi : 10.1007/BF01585093 . hdl : 2027.42/47911 . S2CID 17838156 . 
  2. 1 2 3 4 5 6 Baddeley, Adrian; Bárány, Imre ; Schneider, Rolf; Weil, Wolfgang , eds. (2007), "Random Polytopes, Convex Bodies, and Approximation" , Stochastic Geometry: Lectures given at the CIME Summer School held in Martina Franca, Italy, September 13–18, 2004 , Lecture Notes in Mathematics, vol. 1892, Berlín, Heidelberg: Springer, pp. 77–118 , CiteSeerX 10.1.1.641.3187 , doi : 10.1007/978-3-540-38175-4_2 , ISBN    978-3-540-38175-4, consultado el 1 de abril de 2022
  3. Bárány, I. ; Larman, DG (diciembre de 1988). "Cuerpos convexos, recubrimientos económicos de tapas, politopos aleatorios". Mathematika . 35 (2): 274– 291. doi : 10.1112/S0025579300015266 .