Likelihood Ratios Given Activity-Level Propositions for DNA Transfer Evidence: Theoretical Foundations of the HaloGen Framework (Part I)

Este artículo establece los fundamentos teóricos de HaloGen, un marco bayesiano jerárquico de código abierto que evalúa la evidencia de ADN traza bajo proposiciones de nivel de actividad mediante la modelización explícita de las probabilidades de transferencia, persistencia y detección para proporcionar razones de verosimilitud transparentes y robustas en diversos escenarios probatorios.

Lo esencial

Imagina que eres un detective tratando de averiguar qué sucedió en una escena basándote en pistas diminutas e invisibles dejadas atrás: el ADN. Por lo general, los detectives solo preguntan: "¿De quién es este ADN?". Pero este artículo, HaloGen, plantea una pregunta mucho más difícil: "¿Cómo llegó este ADN aquí y qué nos dice eso sobre lo que las personas estaban realmente haciendo?"

Aquí tienes el desglose de las ideas del artículo usando un lenguaje sencillo y analogías:

1. El problema del "Fantasma" (Transferencia Cero)

En la forma antigua de pensar, si encuentras ADN, asumes que la persona estuvo allí. Si no encuentras ADN, asumes que no estuvo. Pero la vida no es tan simple. A veces una persona está justo allí, estrechando manos o abrazando, pero no deja ningún ADN detrás. Es como un fantasma que visita una habitación pero no deja huellas.

HaloGen está diseñado para manejar estos "fantasmas". Calcula explícitamente la probabilidad de que una persona relevante estuviera allí pero simplemente no dejara una traza detectable. No ignora el silencio; lo escucha.

2. El juego del "Pásalo" (Mecanismos de Transferencia)

El artículo examina cómo se mueve el ADN.

• Transferencia Directa: Estrechas la mano de alguien y su ADN queda en tu mano.
• Transferencia Secundaria: Estrechas la mano de alguien, luego estrechas la mano de una tercera persona. Ahora la tercera persona tiene ADN de la primera persona, ¡aunque nunca se conocieron!

HaloGen trata estas actividades como un juego de "teléfono". Modela cómo las acciones (como un apretón de manos o un abrazo) se convierten en evidencia física (ADN) y cómo esa evidencia podría saltar de persona en persona.

3. La "Calculadora Omnisciente" (El Marco)

Piensa en HaloGen como una calculadora superinteligente y transparente que pondera dos historias (proposiciones) en competencia sobre lo que sucedió:

• Historia A: El sospechoso realizó la acción.
• Historia B: Otra persona realizó la acción, o el sospechoso fue simplemente un espectador.

Esta calculadora no solo mira una pieza de evidencia. Examina todo el rompecabezas:

• ¿Cuántas personas contribuyeron a la mezcla de ADN?
• ¿Hay múltiples manchas (pistas) en diferentes lugares?
• ¿Algunas personas dejaron ADN y otras no dejaron nada?

Combina todas estas pistas en un solo número grande llamado Cociente de Verosimilitud. Este número te dice: "Dadas todas estas pistas, ¿es la Historia A mucho más probable que la Historia B?"

4. El "Freno de Seguridad" (La Tasa de Fallo)

Una de las características más importantes de HaloGen es cómo maneja a los "fantasmas" (personas que no dejaron ADN).

Si el sistema no encuentra ningún ADN de un sospechoso, una computadora ingenua podría decir: "¡Ajá! El sospechoso definitivamente no estuvo allí!" y dar una puntuación enorme en su contra. Pero eso es peligroso porque, como dijimos, a veces las personas no dejan rastro.

HaloGen utiliza un "freno de seguridad" de tasa de fallo. Dice: "Bien, sabemos que es posible que una persona esté allí y no deje nada. No permitiremos que las matemáticas se vuelvan locas e inventen una puntuación enorme solo porque falta el ADN".

• Si hay ADN: El sistema utiliza la cantidad para apoyar la historia del contacto directo.
• Si NO hay ADN: El sistema se mantiene neutral o se inclina ligeramente hacia la defensa (la persona que no lo hizo), negándose a inventar una historia de "culpabilidad" solo porque falta la evidencia.

5. La Conclusión

Este artículo es el plano de HaloGen. Explica las matemáticas y la lógica detrás de cómo funciona el sistema. Promete que el sistema es:

• Transparente: Puedes ver cómo llega a sus conclusiones.
• Estable: No dará respuestas salvajes e impredecibles.
• Justo: Evita que el sistema invente culpabilidad solo porque falta una pista.

Nota: Este artículo específico solo construye el motor y explica la teoría. Aún no muestra el coche conduciendo por la carretera (estudios de casos del mundo real); eso se guarda para un artículo de "Parte II" mencionado en el resumen.

Resumen técnico

Resumen Técnico: Fundamentos Teóricos del Marco HaloGen

Enunciado del Problema
La interpretación de evidencia de ADN de trazas a nivel de actividad presenta desafíos significativos, principalmente debido a la complejidad de modelar la transferencia, la persistencia y la posibilidad crítica de que un actor relevante no deje ADN detectable. Las interpretaciones actuales a menudo luchan por integrar coherentemente estos factores, particularmente al tratar escenarios que involucran transferencia cero, múltiples contribuyentes, contribuyentes desconocidos especificados, actores no observados y múltiples manchas. Existe la necesidad de un marco que pueda modelar explícitamente estos mecanismos mientras maneja tanto las cantidades de ADN observadas como los no detectos dentro de una estructura probabilística unificada.

Metodología
Este artículo establece los fundamentos teóricos de HaloGen, un marco bayesiano jerárquico de código abierto diseñado para evaluar cantidades de ADN bajo proposiciones competitivas a nivel de actividad. La metodología se caracteriza por los siguientes componentes:

• Marco Proposicional: El marco formula proposiciones en términos de actividades o acciones alegadas. La transferencia directa y secundaria se tratan como mecanismos mediante los cuales estas actividades resultan en ADN observado.
• Enfoque Exhaustivo de Razón de Verosimilitud: La evidencia se evalúa utilizando un marco exhaustivo de razón de verosimilitud de proposiciones. Este enfoque combina información a través de múltiples contribuyentes y manchas mientras propaga la incertidumbre respecto a la transferencia y la detección.
• Manejo Unificado de Detección y No Detección:
  • Cantidades Detectadas: Evaluadas utilizando densidades condicionadas a la detección.
  • No Detectos: La probabilidad de que un actor relevante no deje ADN detectable se representa mediante un parámetro de tasa de fallo restringido empíricamente.
• Cobertura de Escenarios: El modelo cuenta con escenarios complejos que incluyen transferencia cero, múltiples contribuyentes, contribuyentes desconocidos especificados, actores no observados y múltiples manchas.

Contribuciones Clave
La contribución principal de este trabajo es la formalización del marco HaloGen, que ofrece una estructura probabilística transparente y estable para la interpretación a nivel de actividad. Los avances técnicos clave incluyen:

1. Integración de Transferencia Cero: Modelar explícitamente la posibilidad de que un actor relevante no deje ADN, evitando que el marco fuerce una detección donde no existe.
2. Política de Tasa de Fallo Empírica: La introducción de una política de tasa de fallo acotada empíricamente. Este mecanismo previene la inflación espuria de las razones de verosimilitud en situaciones donde la no detección de un actor relevante es plausible.
3. Comportamiento Estable: El marco está diseñado para producir un comportamiento donde las cantidades informativas de ADN apoyan proposiciones que involucran transferencia directa, mientras que situaciones de poca información o sin detección resultan en resultados neutrales o conservadores para la defensa.

Resultados y Afirmaciones
Dado que este artículo se centra en los fundamentos teóricos, no presenta validación experimental ni resultados de casos específicos; estos se reservan para un artículo complementario. Sin embargo, el artículo afirma que la estructura teórica de HaloGen asegura:

• Transparencia y Estabilidad: El marco se comporta de manera predecible a través de diferentes escenarios de evidencia.
• Manejo Conservador de la Incertidumbre: Al utilizar el parámetro de tasa de fallo, el modelo evita sobreinterpretar la no detección como evidencia de ausencia, manteniendo así una postura conservadora para la defensa cuando sea apropiado.
• Propagación Coherente de la Incertidumbre: El enfoque bayesiano jerárquico propaga con éxito la incertidumbre a través de la compleja cadena de actividad, transferencia y detección.

Significado
El significado de este artículo radica en su establecimiento de la base teórica rigurosa requerida para el marco HaloGen. Al definir cómo se manejan las cantidades de ADN y los no detectos dentro de un único marco probabilístico, los autores proporcionan la base necesaria para la posterior validación y aplicación del marco en casos de trabajo del mundo real. El artículo afirma que esta base teórica es esencial para avanzar más allá de interpretaciones simplistas de la evidencia de ADN hacia una evaluación más robusta a nivel de actividad que tenga en cuenta el espectro completo de posibilidades de transferencia.