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

Dieser Artikel stellt die theoretischen Grundlagen von HaloGen vor, einem Open-Source-Framework für hierarchische Bayes'sche Modelle, das Spuren-DNA-Beweise unter Aktivitätspropositionen bewertet, indem es Übertragungs-, Persistenz- und Detektionswahrscheinlichkeiten explizit modelliert, um transparente und robuste Likelihood-Quotienten für diverse Beweisszenarien bereitzustellen.

Das Wesentliche

Stellen Sie sich vor, Sie sind ein Detektiv, der versucht, anhand winziger, unsichtbarer Spuren, die zurückgelassen wurden: DNA, herauszufinden, was an einem Tatort geschehen ist. Normalerweise stellen Detektive nur die Frage: „Wessen DNA ist das?" Doch diese Arbeit, HaloGen, stellt eine viel schwierigere Frage: „Wie ist diese DNA hierher gelangt, und was sagt das darüber aus, was die Menschen tatsächlich taten?"

Hier ist die Aufschlüsselung der Ideen der Arbeit in einfacher Sprache und mit Analogien:

1. Das „Geister"-Problem (Null-Transfer)

Bei der alten Denkweise geht man davon aus, dass, wenn man DNA findet, die Person dort war. Findet man keine DNA, geht man davon aus, dass sie nicht dort war. Doch das Leben ist nicht so einfach. Manchmal ist eine Person genau dort, reicht die Hand oder umarmt jemanden, hinterlässt aber keine DNA. Es ist wie ein Geist, der einen Raum besucht, aber keine Fußspuren hinterlässt.

HaloGen ist darauf ausgelegt, diese „Geister" zu handhaben. Es berechnet explizit die Wahrscheinlichkeit, dass eine relevante Person dort war, aber einfach keine nachweisbare Spur hinterlassen hat. Es ignoriert die Stille nicht; es hört ihr zu.

2. Das „Weiterreichen"-Spiel (Übertragungsmechanismen)

Die Arbeit untersucht, wie DNA wandert.

• Direkte Übertragung: Sie geben jemandem die Hand, und dessen DNA befindet sich auf Ihrer Hand.
• Indirekte Übertragung: Sie geben jemandem die Hand und dann einer dritten Person die Hand. Nun hat die dritte Person DNA der ersten Person, obwohl sie sich nie getroffen haben!

HaloGen behandelt diese Aktivitäten wie ein Spiel „Stille Post". Es modelliert, wie Handlungen (wie ein Händedruck oder eine Umarmung) in physische Beweise (DNA) umgewandelt werden und wie diese Beweise von Person zu Person springen könnten.

3. Der „Allsehende Rechner" (Das Framework)

Stellen Sie sich HaloGen als einen superintelligenten, transparenten Rechner vor, der zwei konkurrierende Geschichten (Hypothesen) darüber abwägt, was geschehen ist:

• Geschichte A: Der Verdächtige hat die Handlung ausgeführt.
• Geschichte B: Jemand anderes hat die Handlung ausgeführt, oder der Verdächtige war nur ein Zuschauer.

Dieser Rechner betrachtet nicht nur ein einzelnes Beweisstück. Er betrachtet das gesamte Puzzle:

• Wie viele Personen haben zum DNA-Gemisch beigetragen?
• Gibt es mehrere Flecken (Hinweise) an verschiedenen Stellen?
• Haben einige Personen DNA hinterlassen und andere nichts?

Es fasst alle diese Hinweise zu einer einzigen großen Zahl zusammen, dem Likelihood-Verhältnis. Diese Zahl sagt Ihnen: „Angesichts all dieser Hinweise ist Geschichte A viel wahrscheinlicher als Geschichte B?"

4. Die „Sicherheitsbremse" (Die Ausfallrate)

Eine der wichtigsten Funktionen von HaloGen ist der Umgang mit den „Geistern" (Personen, die keine DNA hinterlassen haben).

Wenn das System keine DNA eines Verdächtigen findet, könnte ein naiver Computer sagen: „Aha! Der Verdächtige war definitiv nicht dort!" und eine hohe Punktzahl gegen ihn aussprechen. Doch das ist gefährlich, denn wie gesagt, hinterlassen Menschen manchmal keine Spur.

HaloGen verwendet eine „Ausfallrate"-Sicherheitsbremse. Es sagt: „Okay, wir wissen, dass es möglich ist, dass eine Person dort war und nichts hinterlassen hat. Wir lassen die Mathematik nicht verrückt werden und erfinden keine hohe Punktzahl nur, weil die DNA fehlt."

• Wenn DNA vorhanden ist: Das System nutzt die Menge, um die Geschichte des direkten Kontakts zu stützen.
• Wenn KEINE DNA vorhanden ist: Das System bleibt neutral oder neigt leicht zur Verteidigung (der Person, die es nicht getan hat) und weigert sich, eine „schuldige" Geschichte nur zu erfinden, weil das Beweismaterial fehlt.

5. Das Fazit

Diese Arbeit ist der Bauplan für HaloGen. Sie erklärt die Mathematik und die Logik dahinter, wie das System funktioniert. Sie verspricht, dass das System:

• Transparent ist: Sie können sehen, wie es zu seinen Schlussfolgerungen gelangt.
• Stabil ist: Es liefert keine wilden, unvorhersehbaren Antworten.
• Fair ist: Es verhindert, dass das System sich Schuldigkeit ausdenkt, nur weil ein Hinweis fehlt.

Hinweis: Diese spezifische Arbeit baut nur den Motor und erklärt die Theorie. Sie zeigt noch nicht, wie das Auto auf der Straße fährt (realweltliche Fallstudien); das ist für einen „Teil II"-Paper reserviert, der im Abstract erwähnt wird.

Technische Zusammenfassung

Technische Zusammenfassung: Theoretische Grundlagen des HaloGen-Rahmens

Problemstellung
Die Interpretation von Spuren-DNA-Beweisen auf Aktivitätsebene stellt erhebliche Herausforderungen dar, hauptsächlich aufgrund der Komplexität der Modellierung von Transfer, Persistenz und der kritischen Möglichkeit, dass ein relevanter Akteur keine nachweisbare DNA hinterlässt. Aktuelle Interpretationen haben oft Schwierigkeiten, diese Faktoren kohärent zu integrieren, insbesondere bei Szenarien mit Null-Transfer, mehreren Beitragenden, spezifizierten unbekannten Beitragenden, nicht beobachteten Akteuren und mehreren Flecken. Es besteht ein Bedarf an einem Rahmenwerk, das diese Mechanismen explizit modellieren kann, während es sowohl beobachtete DNA-Mengen als auch Nicht-Nachweise innerhalb einer einheitlichen probabilistischen Struktur behandelt.

Methodik
Dieser Artikel legt die theoretischen Grundlagen von HaloGen fest, einem Open-Source-hierarchischen Bayes'schen Rahmenwerk, das entwickelt wurde, um DNA-Mengen unter konkurrierenden Aktivitäts-Hypothesen zu bewerten. Die Methodik zeichnet sich durch folgende Komponenten aus:

• Propositionaler Rahmen: Der Rahmen formuliert Propositionen in Bezug auf behauptete Aktivitäten oder Handlungen. Direkter und sekundärer Transfer werden als Mechanismen behandelt, durch die diese Aktivitäten zu beobachteter DNA führen.
• Exhaustiver Likelihood-Quotienten-Ansatz: Die Beweise werden unter Verwendung eines exhaustiven Propositionen-Likelihood-Quotienten-Rahmens bewertet. Dieser Ansatz kombiniert Informationen über mehrere Beitragende und Flecken hinweg und propagiert Unsicherheit bezüglich Transfer und Detektion.
• Einheitliche Behandlung von Detektion und Nicht-Detektion:
  • Detektierte Mengen: Werden unter Verwendung von bedingten Dichten bei Detektion bewertet.
  • Nicht-Nachweise: Die Wahrscheinlichkeit, dass ein relevanter Akteur keine nachweisbare DNA hinterlässt, wird durch einen empirisch eingeschränkten Ausfallraten-Parameter dargestellt.
• Szenarioabdeckung: Das Modell berücksichtigt komplexe Szenarien, einschließlich Null-Transfer, mehrere Beitragende, spezifizierte unbekannte Beitragende, nicht beobachtete Akteure und mehrere Flecken.

Hauptbeiträge
Der primäre Beitrag dieser Arbeit ist die Formalisierung des HaloGen-Rahmenwerks, das eine transparente und stabile probabilistische Struktur für die Interpretation auf Aktivitätsebene bietet. Zu den wichtigsten technischen Fortschritten gehören:

1. Integration von Null-Transfer: Explizite Modellierung der Möglichkeit, dass ein relevanter Akteur keine DNA hinterlässt, wodurch verhindert wird, dass der Rahmenwerk eine Detektion erzwingt, wo keine existiert.
2. Empirische Ausfallraten-Richtlinie: Die Einführung einer empirisch geklemmten Ausfallraten-Richtlinie. Dieser Mechanismus verhindert die spurlose Aufblähung von Likelihood-Quotienten in Situationen, in denen die Nicht-Detektion eines relevanten Akteurs plausibel ist.
3. Stabiles Verhalten: Das Rahmenwerk ist so konzipiert, dass es ein Verhalten liefert, bei dem informative DNA-Mengen Propositionen unterstützen, die einen direkten Transfer beinhalten, während Situationen mit geringer Information oder Nicht-Nachweis zu neutralen oder verteidigungskonservativen Ergebnissen führen.

Ergebnisse und Behauptungen
Da sich dieser Artikel auf theoretische Grundlagen konzentriert, werden keine experimentellen Validierungen oder spezifischen Fallarbeitsergebnisse präsentiert; diese sind einem Begleitartikel vorbehalten. Der Artikel behauptet jedoch, dass die theoretische Struktur von HaloGen Folgendes sicherstellt:

• Transparenz und Stabilität: Das Rahmenwerk verhält sich über verschiedene Beweisszenarien hinweg vorhersehbar.
• Konservative Behandlung von Unsicherheit: Durch die Nutzung des Ausfallraten-Parameters vermeidet das Modell eine Überinterpretation von Nicht-Detektion als Beweis für Abwesenheit und bewahrt somit eine verteidigungskonservative Haltung, wo dies angemessen ist.
• Kohärente Unsicherheitspropagation: Der hierarchische Bayes'sche Ansatz propagiert Unsicherheit erfolgreich durch die komplexe Kette von Aktivität, Transfer und Detektion.

Bedeutung
Die Bedeutung dieses Artikels liegt in der Etablierung der rigorosen theoretischen Basis, die für das HaloGen-Rahmenwerk erforderlich ist. Indem die Autoren definieren, wie DNA-Mengen und Nicht-Nachweise innerhalb eines einzigen probabilistischen Rahmens behandelt werden, schaffen sie das notwendige Fundament für die nachfolgende Validierung und Anwendung des Rahmenwerks in der realen Fallarbeit. Der Artikel behauptet, dass diese theoretische Grundlage wesentlich ist, um über vereinfachte Interpretationen von DNA-Beweisen hinauszukommen und zu einer robusteren Bewertung auf Aktivitätsebene zu gelangen, die das gesamte Spektrum der Transfermöglichkeiten berücksichtigt.