UN PROBLEMA DE INSPECCIN POR

MUESTREO EN LOS ACUERDOS DE

CONTROL DE ARMAS
10 de octubre de 2016

Esta investigacin es basada y monitoreada por la Agencia de Proyectos de Investigacin Avanzada bajo contrato N SD-79. Cualquiera de los puntos de vista o conclusiones contenidas en este
Memorandun no deben ser interpretadas como representacin de
la poltica u opinin ocial de ARPA. Permiso para citar o reproducir debe ser obtenido de RAND.

PREFACIO

Un problema operacional importante en la organizacin de control de armas es el diseo de un sistema de inspeccin por muestreo que de la mxima
seguridad de que un acuerdo no se viole. A diferencia del muestro en manufactura o gobierno, el muestreo para control de armas debe tomar en cuenta
que la poblacin estadstica puede ser alterada para ocultar una violacin.
En muchos aspectos el muestreo para control de armas se parece a juego de
estrategia entre el inspector y el inspeccionado. Este RAND Memorndum
de Investigacin analiza como juego de estrategia el problema en el muestreo
para control de armas donde el inspector tiene jado un nmero de inspecciones a usar en una secuencia de elementos o eventos, cada uno de los cuales
debe contener u ocultar una violacin. Los resultados son presentados en procedimientos ptimos de inspeccin. Los resultados podran ser de inters para
personal tcnico, particularmente estadsticos o diseadores de encuestas por
muestreo, quienes tienen roles de asesoramiento en la planicacin de control
de armas. Esta investigacin es parte del programa de RANDS de control de
armas que estudia la Agencia de Proyectos de Investigacin Avanzada.

RESUMEN

Muchos desarmamientos o acuerdos de control de armas podran ser monitoreados por inspecciones por muestreo. A diferencia de los usuales procedimientos de muestreo, el muestreo para los acuerdos de control de armas
debe tomar en cuenta la posibilidad que el universo estadstico del cual las
muestras son extradas puede ser saboteado, con lo que decrecera la probabilidad de la deteccin de una violacin. En este reporte el autor formula un
modelo terico de juegos para estudiar el problema de muestreo en el cual el
inspector es permitido de examinar un nmero jo (usualmente pequeo) de
objetos o eventos naturales (e.g. elementos de una lnea ensamblada bajo un
acuerdo que limita la produccin militar, o eventos ssmicos bajo un acuerdo
de prohibicin de ensayos nucleares). Se asume que las inspecciones son para
ser realizadas a lo largo de un perodo de tiempo jo o en una serie de eventos
de longitud ja. Los procedimientos ptimos de muestreo son derivados como
funciones del nmero de inspecciones y del tamao del universo estadstico.
Algunas variaciones en el modelo son brevemente consideradas.

UN PROBLEMA DE
INSPECCIN POR MUESTREO
EN LOS ACUERDOS DE
CONTROL DE ARMAS

0.1.

INTRODUCCIN

0.1.

INTRODUCCIN

Las investigaciones estadsticas en ciencia, industria, o censos generalmente involucran el muestreo de un universo que no ha sido modicado para
engaar a los investigadores. En el muestreo para vericacin de desarmamiento (o de control de armas), debemos asumir que el universo estadstico
puede ser saboteado para cubrir la violacin. La usual teora de muestreo, por
lo tanto, no es sucientemente aplicable a los problemas de muestreo en la
vericacin de desarmamiento. En muchas situaciones, el muestreo para monitorear los acuerdos de desarmamiento puede ser formulado como un juego
de suma cero de dos personas. Otro problema en el que el universo estadstico
puede ser saboteado ocurre en experimentos de controles de clima y mdicos.
Blackell and Hodges han analizado este problema en Los anales de estadstica
matemtica, vol. 28, 1957, pp. 449-460. Este estudio analiza como un juego el
problema de muestreo de seleccionar un nmero jado de elementos para una
inspeccin cercana fuera de una serie de elementos. Este problema surgira,
por ejemplo, en los siguientes acuerdos de control de armas o desarmamiento:

1. Una prohibicin de las pruebas nucleares subterrneas vericadas por

inspecciones en el lugar de un nmero limitado de esos shocks ssmicos
que no pueden ser identicados por la sismologa de terremotos.

2. Una zona desmilitarizada tal que su continua desmilitarizacin podra,

en parte, ser vericada por un nmero jo de inspecciones de los vehculos entrantes (ferrocarriles, camiones, aviones).

3. Un acuerdo para prohibir las armas de destruccin masiva en el espacio, para ser vericadas inspeccionando una fraccin de todos los
lanzamientos espaciales.

4. Una prohibicin de la produccin de cierto equipo militar para ser vericado por un nmero limitado de inspecciones por ao de la produccin
de equipos relacionados con lo civil.

En cada uno de los casos de arriba el inspector debe encontrar un arreglo

entre dos argumentos conictivos. Las inspecciones no deben ser prontas,
considerando las posibles violaciones posteriores; ni deben ser tardas, considerando las posibles violaciones anticipadas. El posible infractor (violador)
tambin debe comprometer entre dos argumentos opuestos. Puesto de esta
forma, el diseo de un sistema de inspeccin es un problema de los momentos
de decisiones en un ambiente competitivo, o un juego de temporizacin.
En este documento formulamos y analizamos este juego de temporizacin
en una forma simplicada: el infractor elige un momento para una sola violacin, con la opcin de abstenerse de cualquier violacin; y el inspector elige
momentos para sus inspecciones en el lugar.
Con el propsito de formular el problema como un juego de suma cero,
en la terminologa de la teora de juegos, nosotros debemos asignar pesos
relativos a la ventaja que obtiene el infractor por una violacin no detectada,
comparada con la ventaja que tiene el inspector por una violacin detectada.
Nosotros damos una solucin en caso estas ventajas sean iguales, y una solucin parcial en caso no lo sean. As mismo formulamos, pero no resolvemos,
un juego en el cual el evasor cometera ms de una violacin. Objeciones
pueden ser hechas diciendo que el problema es muy simple, pero ser mostrado que el problema, como se ha establecido, introduce muchos elementos
esenciales. Para una discusin cualitativa de los resultados ver sec. 9.

0.2.

FORMULACIN DEL PROBLEMA:

Supn que
tiempo. Cada

n eventos consecutivos son esperados durante un perodo de

uno de estos n eventos podra contener o encubrir una vio-

lacin de un acuerdo. Solo por inspeccin puede ser determinado si el evento

contiene una violacin. Es posible, sin embargo, inspeccionar todos los eventos. El nmero de inspecciones permitidas debe ser menor que el nmero de
eventos que podran contener o encubrir una violacin.
Supn que

m  n Cmo
n eventos?.

inspecciones son posibles, donde

inspector seleccionar estas

inspecciones de los

debe el

0.3.

EL VALOR Y LAS ESTRATEGIAS PTIMAS DEL JUEGO

Supn que al menos uno de estos

eventos contendr u ocultar una

violacin Cmo debe el infractor establecer esta violacin a lo largo de los

eventos?

En nuestros supuestos, el Infractor desea escoger el mejor momento (i. e.,

n eventos) para
m de los n eventos

el mejor de los

la violacin, y el Inspector desea escoger

los mejores

para sus inspecciones.

Ahora el objeto de las inspecciones es detectar una violacin, si cualquiera ocurriera. Adems, asumimos que el objeto del Infractor es evadir estas
inspecciones. Por lo tanto podramos denir el pago al Inspector como los
siguientes:

+1
(1) 1

Si el Inspector detecta una violacion

Si el Inspector falla en detectar una violacion que ocurre
Si o hay violacion

El pago al Infractor ser el negativo de

(1)

El supuesto de que el costo de la inspeccin que no detecta una violacin

es lo mismo q la ganancia si la violacin ocurre es, por supuesto, arbitrario.
Otros valores podran ser asignados a estos resultados, como ser visto en
sec. 8.
Nosotros tambin necesitamos especicar la informacin disponible para
los dos lados. Primero, debemos asumir que ambos lados saben

al inicio del juego. Adems, en todo momento los lados saben el estado del
juego  i.e., ellos saben el nmero de eventos y las inspecciones restantes para
el resto del perodo.

0.3.

EL VALOR Y LAS ESTRATEGIAS PTIMAS DEL JUEGO

Debemos analizar el siguiente juego con

movimientos, siendo cada

movimiento una eleccin simultnea por las dos partes. Al inicio del juego,
el Inspector ha dispuesto de

inspecciones en el lugar para detectar una

10

violacin durante los

movimientos. Un movimiento por el Inspector es

una eleccin de si inspeccionar o no un determinado evento. Un movimiento

por el Infractor es una eleccin de si introducir una violacin durante ese momento denido por el evento. Estas elecciones son hechas simultneamente
por las dos partes. Despus que las elecciones sean tomadas por las partes, y
el movimiento es completado, el Infractor sabe la eleccin del Inspector para
ese movimiento. Se asume que si una violacin ocurre y el Inspector examina,
l la detecta. Este supuesto puede ser modicado.
Es evidente que el valor del juego y las estrategias ptimas dependern
del nmero de inspecciones y el nmero de movimientos disponibles. Permtenos luego denir la funcin

v (m.n)

por:

v(m.n) =El valor del juego en el cual es Inspector tiene m inspecciones,

el Infractor comete una violacin durante los n eventos.
Luego, usando (1), v(m, n) es el valor de la matriz de juego 2 2.

Insfractor

(2)

Viola

No Viola

Inspecciona

+1

v(m 1, n 1)

No Inspecciona

v(m, n 1)

Inspector

Con las condiciones iniciales.

(3)

v(0, n) = 1, n 1
v(m, n) = 0, m n 0

De la descripcion de los pagos en este juego, sigue que:

(4) 1 v(m, n 1) v(m 1, n 1) 1

Por lo tanto la matriz de
cuando

m = n.

22

de arriba no tiene un punto silla excepto

Resolviendo el juego denido por

mo una solucin de la ecuacin funcional.

(2),

obtenemos

v(m.n)

co-

0.3.

11

EL VALOR Y LAS ESTRATEGIAS PTIMAS DEL JUEGO

(5) v(m, n) =

La gura

v(m,n1)+v(m1,n1)
v(m,n1)v(m1,n1)+2

(1) muestra cmo v(m.n) cambia con m paran = 4, 5, 6, 10, 20, 50, 100.

Resolviendo el juego denido por (2), nosotros tambin obtenemos los

vectores de la estrategia ptima:

v(m.n)
v(m, n 1) + v(m 1, n 1)


(6)

1
0

1 + v(m, n 1)
1 v(m 1, n 1)

Para Inspector,
Si

nm

v(m.n)
v(m, n 1) + v(m 1, n 1)

Para Inspector, si

n=m

v(m, n 1) v(m 1, n 1)
2

Ahora en el caso especial en el cual

convierte en:

n = m,


,

Para Violador

el pago de la matriz

(2)

se

12

Figura 1: PAGO ESPERADO AL INSPECTOR

1 0
1 0

El Infractor as tiene una nica estrategia ptima: no violar. Sin embar-

0.3.

EL VALOR Y LAS ESTRATEGIAS PTIMAS DEL JUEGO

13

go, el Inspector tiene un innito nmero de estrategias ptimas; de hecho,

cualquier estrategia de la forma.

1
2
1
2


+


1
, es ptimo. Pero puesto que m = n, el Inspector tiene
2
una inspeccin para cada evento. Parece ser sensato para el Inspector usar
Donde

0

la inspeccin en cada evento. As, si

n = m,

la estrategia ptima preferida

por el Inspector es:

 
1
0
La gura 2 muestra cmo la probabilidad de inspeccin (y por lo tanto la
probabilidad de detectar una violacin si sta ocurre) cambia con

m = 3, 6, 11.

para