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

Cet article établit les fondements théoriques de HaloGen, un cadre bayésien hiérarchique open source qui évalue les preuves d'ADN trace au niveau des propositions d'activité en modélisant explicitement les probabilités de transfert, de persistance et de détection afin de fournir des rapports de vraisemblance transparents et robustes dans divers scénarios probatoires.

L'essentiel

Imaginez que vous êtes un détective essayant de reconstituer ce qui s'est passé sur une scène de crime à partir de minuscules indices invisibles laissés derrière : l'ADN. Habituellement, les détectives se contentent de demander : « À qui appartient cet ADN ? » Mais cet article, HaloGen, pose une question beaucoup plus difficile : « Comment cet ADN est-il arrivé ici, et que cela nous apprend-il sur ce que les gens faisaient réellement ? »

Voici la décomposition des idées de l'article en langage simple et à l'aide d'analogies :

1. Le problème du « Fantôme » (Transfert nul)

Dans l'ancienne façon de penser, si vous trouvez de l'ADN, vous supposez que la personne était présente. Si vous ne trouvez pas d'ADN, vous supposez qu'elle n'était pas là. Mais la vie n'est pas aussi simple. Parfois, une personne est juste là, serrant la main ou faisant un câlin, mais elle ne laisse aucun ADN derrière. C'est comme un fantôme qui visite une pièce mais ne laisse aucune trace de pas.

HaloGen est conçu pour gérer ces « fantômes ». Il calcule explicitement la probabilité qu'une personne pertinente était présente mais n'a simplement pas laissé de trace détectable. Il n'ignore pas le silence ; il l'écoute.

2. Le jeu du « Passe-le » (Mécanismes de transfert)

L'article examine comment l'ADN se déplace.

• Transfert direct : Vous serrez la main de quelqu'un, et son ADN se retrouve sur votre main.
• Transfert secondaire : Vous serrez la main de quelqu'un, puis vous serrez la main d'une troisième personne. Maintenant, cette troisième personne a de l'ADN de la première personne, même si elles ne se sont jamais rencontrées !

HaloGen traite ces activités comme un jeu du « téléphone arabe ». Il modélise comment les actions (comme une poignée de main ou un câlin) se transforment en preuves physiques (ADN) et comment ces preuves peuvent sauter d'une personne à l'autre.

3. La « Calculatrice omnisciente » (Le cadre)

Considérez HaloGen comme une calculatrice super-intelligente et transparente qui pèse deux récits concurrents (propositions) sur ce qui s'est passé :

• Récit A : Le suspect a commis l'action.
• Récit B : Quelqu'un d'autre a commis l'action, ou le suspect n'était qu'un simple spectateur.

Cette calculatrice ne regarde pas seulement un seul élément de preuve. Elle examine l'ensemble du puzzle :

• Combien de personnes ont contribué au mélange d'ADN ?
• Y a-t-il plusieurs taches (indices) à différents endroits ?
• Certaines personnes ont-elles laissé de l'ADN tandis que d'autres n'ont rien laissé ?

Elle combine tous ces indices en un seul grand nombre appelé Rapport de vraisemblance. Ce nombre vous dit : « Étant donné tous ces indices, le Récit A est-il beaucoup plus probable que le Récit B ? »

4. Le « Frein de sécurité » (Le taux d'échec)

L'une des caractéristiques les plus importantes de HaloGen est la façon dont il gère les « fantômes » (les personnes qui n'ont laissé aucun ADN).

Si le système ne trouve aucun ADN provenant d'un suspect, un ordinateur naïf pourrait dire : « Aha ! Le suspect n'était définitivement pas là ! » et attribuer un score énorme contre lui. Mais c'est dangereux car, comme nous l'avons dit, les gens laissent parfois aucune trace.

HaloGen utilise un frein de sécurité « taux d'échec ». Il dit : « D'accord, nous savons qu'il est possible qu'une personne soit présente et ne laisse rien. Nous ne laisserons pas les mathématiques devenir folles et inventer un score énorme simplement parce que l'ADN manque. »

• S'il y a de l'ADN : Le système utilise la quantité pour soutenir le récit d'un contact direct.
• S'il n'y a PAS d'ADN : Le système reste neutre ou penche légèrement vers la défense (la personne qui n'a pas commis l'acte), refusant d'inventer un récit de « culpabilité » simplement parce que la preuve manque.

5. La conclusion

Cet article est le plan de HaloGen. Il explique les mathématiques et la logique derrière le fonctionnement du système. Il promet que le système est :

• Transparent : Vous pouvez voir comment il arrive à ses conclusions.
• Stable : Il ne donnera pas de réponses sauvages et imprévisibles.
• Équitable : Il empêche le système d'inventer une culpabilité simplement parce qu'un indice manque.

Note : Cet article spécifique construit uniquement le moteur et explique la théorie. Il ne montre pas encore la voiture roulant sur la route (études de cas réelles) ; cela est réservé à un article « Partie II » mentionné dans le résumé.

Résumé technique

Résumé technique : Fondements théoriques du cadre HaloGen

Énoncé du problème
L'interprétation des preuves d'ADN trace au niveau de l'activité présente des défis significatifs, principalement en raison de la complexité de la modélisation du transfert, de la persistance et de la possibilité critique qu'un acteur pertinent ne laisse aucune ADN détectable. Les interprétations actuelles éprouvent souvent des difficultés à intégrer de manière cohérente ces facteurs, en particulier lorsqu'il s'agit de scénarios impliquant un transfert nul, plusieurs contributeurs, des contributeurs inconnus spécifiés, des acteurs non observés et plusieurs taches. Il existe un besoin d'un cadre capable de modéliser explicitement ces mécanismes tout en traitant à la fois les quantités d'ADN observées et les non-détections au sein d'une structure probabiliste unifiée.

Méthodologie
Ce papier établit les fondements théoriques de HaloGen, un cadre bayésien hiérarchique open-source conçu pour évaluer les quantités d'ADN dans le cadre de propositions concurrentes au niveau de l'activité. La méthodologie se caractérise par les composants suivants :

• Cadre propositionnel : Le cadre formule les propositions en termes d'activités ou d'actions alléguées. Le transfert direct et le transfert secondaire sont traités comme des mécanismes par lesquels ces activités aboutissent à l'ADN observé.
• Approche exhaustive du rapport de vraisemblance : Les preuves sont évaluées à l'aide d'un cadre exhaustif de rapports de vraisemblance pour les propositions. Cette approche combine les informations provenant de multiples contributeurs et taches tout en propageant l'incertitude relative au transfert et à la détection.
• Traitement unifié de la détection et de la non-détection :
  • Quantités détectées : Évaluées à l'aide de densités conditionnelles à la détection.
  • Non-détections : La probabilité qu'un acteur pertinent ne laisse aucune ADN détectable est représentée par un paramètre de taux d'échec contraint empiriquement.
• Couverture des scénarios : Le modèle prend en compte des scénarios complexes incluant un transfert nul, plusieurs contributeurs, des contributeurs inconnus spécifiés, des acteurs non observés et plusieurs taches.

Contributions clés
La contribution principale de ce travail est la formalisation du cadre HaloGen, qui offre une structure probabiliste transparente et stable pour l'interprétation au niveau de l'activité. Les avancées techniques clés incluent :

1. Intégration du transfert nul : Modélisation explicite de la possibilité qu'un acteur pertinent ne laisse aucune ADN, empêchant ainsi le cadre de forcer une détection là où aucune n'existe.
2. Politique de taux d'échec empirique : L'introduction d'une politique de taux d'échec calibrée empiriquement. Ce mécanisme empêche l'inflation spurious des rapports de vraisemblance dans des situations où la non-détection d'un acteur pertinent est plausible.
3. Comportement stable : Le cadre est conçu pour produire un comportement où les quantités d'ADN informatives soutiennent les propositions impliquant un transfert direct, tandis que les situations à faible information ou sans détection aboutissent à des résultats neutres ou conservateurs pour la défense.

Résultats et affirmations
Comme ce papier se concentre sur les fondements théoriques, il ne présente pas de validation expérimentale ni de résultats spécifiques à des dossiers ; ceux-ci sont réservés à un article complémentaire. Cependant, le papier affirme que la structure théorique de HaloGen garantit :

• Transparence et stabilité : Le cadre se comporte de manière prévisible à travers différents scénarios de preuves.
• Traitement conservateur de l'incertitude : En utilisant le paramètre de taux d'échec, le modèle évite de surestimer la non-détection comme preuve d'absence, maintenant ainsi une posture conservatrice pour la défense lorsque cela est approprié.
• Propagation cohérente de l'incertitude : L'approche bayésienne hiérarchique propage avec succès l'incertitude à travers la chaîne complexe d'activité, de transfert et de détection.

Importance
L'importance de ce papier réside dans l'établissement de la base théorique rigoureuse requise pour le cadre HaloGen. En définissant comment les quantités d'ADN et les non-détections sont traitées au sein d'un seul cadre probabiliste, les auteurs fournissent les fondements nécessaires à la validation et à l'application ultérieures du cadre dans des dossiers réels. Le papier affirme que ce fondement théorique est essentiel pour dépasser les interprétations simplistes des preuves d'ADN vers une évaluation plus robuste au niveau de l'activité, qui prend en compte l'ensemble du spectre des possibilités de transfert.