Una clase de modelos teóricos que postulan que los resultados de medida están determinados por variables ocultas λ preexistentes, posiblemente probabilísticas, y funciones de respuesta locales de modo que las probabilidades conjuntas se factoricen como integrales sobre λ de productos de probabilidades de resultado locales: P(a,b|x,y)=∫ dλ ρ(λ) P_A(a|x,λ) P_B(b|y,λ).

Principio

Asumir realismo (los resultados dependen de variables subyacentes) junto con localidad (cada resultado depende solo del ajuste local y de λ) e independencia de los ajustes de medida (la distribución de λ es independiente de los ajustes elegidos). Estas suposiciones implican factorabilidad y conducen a cotas tipo Bell sobre las correlaciones.

Demostración

Un ejemplo clásico son dos cajas distantes que comparten una semilla aleatoria correlacionada λ que determina probabilidades locales de lanzamiento de moneda; el resultado de cada caja depende solamente de su ajuste y de λ, produciendo correlaciones explicables por un modelo LHV y que satisfacen desigualdades de Bell.

Aplicación incorrecta

Denominar cualquier modelo estocástico clásico como LHV sin comprobar factorabilidad o independencia de ajustes; o usar modelos LHV para explicar datos que violan desigualdades de Bell invocando selección posterior ad hoc o señalización, lo cual rompe las suposiciones genuinas de localidad.

Consecuencia

Si un conjunto de datos observado admite una descripción LHV, entonces satisface todas las desigualdades de Bell asociadas al escenario de medida. Refutar modelos LHV mediante la violación de estas desigualdades obliga a reevaluar una o más suposiciones (localidad, realismo, libertad) y motiva descripciones cuánticas.

Inversión

Renunciar a la localidad lleva a modelos de variables ocultas no locales (p. ej. teorías de onda piloto) que pueden reproducir correlaciones cuánticas manteniendo el realismo subyacente; abandonar el realismo o la independencia de ajustes abre otras explicaciones de apariencia clásica pero con coste conceptual.

Límite

Los modelos LHV son explícitamente clásicos en el sentido de factorabilidad y localidad; excluyen modelos que permitan señalización entre dispositivos de medida, superdeterminismo que ligue ajustes y λ salvo que se incluya explícitamente, o modelos contextualistas que violen la factorabilidad.

Tensión semántica

Tensión entre modelos LHV y alternativas que relajan una de sus suposiciones centrales (variables ocultas no locales, modelos contextuales, superdeterminismo). Los debates giran en torno a qué suposición es menos aceptable abandonar y sobre interpretaciones operacionales vs metafísicas.

Síntesis

Un modelo de variables ocultas locales es el marco clásico arquetípico para explicar correlaciones mediante variables compartidas preexistentes combinadas con reglas de respuesta estrictamente locales: produce desigualdades de Bell y sirve como referente frente al que se pone a prueba la no localidad cuántica.