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

Dit artikel vestigt de theoretische fundamenten van HaloGen, een open-source hiërarchisch Bayesiaans raamwerk dat spoor-DNA-bewijs beoordeelt op activiteitsniveau-proposities door expliciet overdracht, persistentie en detectie-kansen te modelleren, teneinde transparante en robuuste likelihood-verhoudingen te bieden voor diverse bewijssituaties.

De kern

Stel je voor dat je een detective bent die probeert uit te vinden wat er op een plaats delict is gebeurd, op basis van kleine, onzichtbare aanwijzingen die achterblijven: DNA. Meestal vragen detectives alleen: "Van wie is dit DNA?" Maar dit artikel, HaloGen, stelt een veel moeilijkere vraag: "Hoe is dit DNA hier terechtgekomen, en wat vertelt dat ons over wat mensen eigenlijk deden?"

Hier is de uiteenzetting van de ideeën uit het artikel in eenvoudige taal en met analogieën:

1. Het "Spook"-probleem (Zero Transfer)

Op de oude manier van denken ga je ervan uit dat als je DNA vindt, de persoon er was. Als je geen DNA vindt, ga je ervan uit dat ze er niet waren. Maar het leven is niet zo simpel. Soms staat een persoon er echt, schudt handen of omhelst iemand, maar laat geen DNA achter. Het is als een spook dat een kamer bezoekt maar geen voetafdrukken achterlaat.

HaloGen is ontworpen om met deze "spook" om te gaan. Het berekent expliciet de kans dat een relevante persoon er was, maar gewoon geen detecteerbaar spoor heeft achtergelaten. Het negeert de stilte niet; het luistert er naar.

2. Het "Geef-Door"-spel (Overdrachtsmechanismen)

Het artikel kijkt naar hoe DNA zich verplaatst.

• Directe overdracht: Je schudt iemands hand en hun DNA zit op je hand.
• Indirecte overdracht: Je schudt iemands hand, en schudt dan de hand van een derde persoon. Nu heeft die derde persoon DNA van de eerste persoon, zelfs al hebben ze elkaar nooit ontmoet!

HaloGen behandelt deze activiteiten als een spel van "telefoon". Het modelleert hoe handelingen (zoals een handdruk of een omhelzing) omzetten in fysiek bewijs (DNA) en hoe dat bewijs van persoon tot persoon kan huppen.

3. De "Alziende Rekenmachine" (Het Kader)

Zie HaloGen als een superslimme, transparante rekenmachine die twee concurrerende verhalen (proposities) over wat er is gebeurd, tegen elkaar afweegt:

• Verhaal A: De verdachte heeft de handeling uitgevoerd.
• Verhaal B: Iemand anders heeft de handeling uitgevoerd, of de verdachte was gewoon een omstander.

Deze rekenmachine kijkt niet alleen naar één stukje bewijs. Het kijkt naar de hele puzzel:

• Hoeveel mensen hebben bijgedragen aan het DNA-mengsel?
• Zijn er meerdere vlekken (aanwijzingen) op verschillende plekken?
• Hebben sommige mensen DNA achtergelaten en anderen niets?

Het combineert al deze aanwijzingen tot één groot getal, de Likelihood Ratio. Dit getal zegt je: "Gegeven al deze aanwijzingen, is Verhaal A veel waarschijnlijker dan Verhaal B?"

4. De "Veiligheidsrem" (De Fail-Rate)

Een van de belangrijkste kenmerken van HaloGen is hoe het omgaat met de "spook" (mensen die geen DNA hebben achtergelaten).

Als het systeem geen DNA van een verdachte vindt, zou een naïeve computer kunnen zeggen: "Aha! De verdachte was zeker niet hier!" en een enorme score tegen hen geven. Maar dat is gevaarlijk, want zoals we zeiden, laten mensen soms geen spoor na.

HaloGen gebruikt een "fail-rate" veiligheidsrem. Het zegt: "Oké, we weten dat het mogelijk is dat een persoon er was en niets achterliet. We laten de wiskunde niet uit de hand lopen en een enorme score verzinnen alleen maar omdat het DNA ontbreekt."

• Als er DNA is: Het systeem gebruikt de hoeveelheid om het verhaal van direct contact te ondersteunen.
• Als er GEEN DNA is: Het systeem blijft neutraal of leunt lichtjes naar de verdediging (de persoon die het niet heeft gedaan), en weigert een "schuldig" verhaal te verzinnen alleen maar omdat het bewijs ontbreekt.

5. De Conclusie

Dit artikel is het blauwdruk voor HaloGen. Het legt de wiskunde en de logica uit achter hoe het systeem werkt. Het belooft dat het systeem:

• Transparant is: Je kunt zien hoe het tot zijn conclusies komt.
• Stabiel is: Het geeft geen wilde, onvoorspelbare antwoorden.
• Eerlijk is: Het voorkomt dat het systeem schuld verzint alleen maar omdat een aanwijzing ontbreekt.

Opmerking: Dit specifieke artikel bouwt alleen de motor en legt de theorie uit. Het laat nog niet zien hoe de auto over de weg rijdt (real-world case studies); dat is bewaard voor een "Deel II"-artikel dat in het abstract wordt genoemd.

Technische samenvatting

Technische Samenvatting: Theoretische Grondslagen van het HaloGen-kader

Probleemstelling
De interpretatie van sporen-DNA-bewijs op activiteitsniveau brengt aanzienlijke uitdagingen met zich mee, voornamelijk door de complexiteit van het modelleren van overdracht, persistentie en de kritieke mogelijkheid dat een relevante actor geen detecteerbaar DNA achterlaat. Huidige interpretaties worstelen vaak met het coherent integreren van deze factoren, vooral bij scenario's die nul-overdracht, meerdere bijdragers, gespecificeerde onbekende bijdragers, niet-geobserveerde actoren en meerdere vlekken omvatten. Er is behoefte aan een kader dat deze mechanismen expliciet kan modelleren, terwijl het zowel waargenomen DNA-quantiteiten als niet-detecties binnen een verenigde probabilistische structuur verwerkt.

Methodologie
Dit artikel vestigt de theoretische grondslagen van HaloGen, een open-source hiërarchisch Bayesiaans kader dat is ontworpen om DNA-quantiteiten te evalueren onder concurrerende proposities op activiteitsniveau. De methodologie wordt gekenmerkt door de volgende componenten:

• Propositiestelsel: Het kader formuleert proposities in termen van vermeende activiteiten of handelingen. Directe en secundaire overdracht worden behandeld als mechanismen waardoor deze activiteiten resulteren in waargenomen DNA.
• Exhaustieve Likelihood-Ratio-benadering: Bewijs wordt geëvalueerd met behulp van een exhaustief proposities likelihood-ratio-kader. Deze benadering combineert informatie over meerdere bijdragers en vlekken, terwijl onzekerheid met betrekking tot overdracht en detectie wordt doorgevoerd.
• Verenigde Behandeling van Detectie en Niet-detectie:
  • Gedetecteerde Quantiteiten: Geëvalueerd met behulp van conditie-op-detectie dichtheden.
  • Niet-detecties: De waarschijnlijkheid dat een relevante actor geen detecteerbaar DNA achterlaat, wordt weergegeven door een empirisch beperkte fail-rate parameter.
• Scenario-dekking: Het model houdt rekening met complexe scenario's, waaronder nul-overdracht, meerdere bijdragers, gespecificeerde onbekende bijdragers, niet-geobserveerde actoren en meerdere vlekken.

Belangrijkste Bijdragen
De primaire bijdrage van dit werk is de formalisering van het HaloGen-kader, dat een transparante en stabiele probabilistische structuur biedt voor interpretatie op activiteitsniveau. Belangrijke technische vooruitgang omvat:

1. Integratie van Nul-overdracht: Het expliciet modelleren van de mogelijkheid dat een relevante actor geen DNA achterlaat, waardoor het kader wordt voorkomen dat het een detectie afdwingt waar geen sprake van is.
2. Empirisch Fail-rate Beleid: De introductie van een empirisch afgeperkt fail-rate beleid. Dit mechanisme voorkomt de spoorloze inflatie van likelihood-ratio's in situaties waarin het niet-detecteren van een relevante actor aannemelijk is.
3. Stabiel Gedrag: Het kader is ontworpen om gedrag te vertonen waarbij informatieve DNA-quantiteiten proposities ondersteunen die directe overdracht betreffen, terwijl situaties met weinig informatie of geen detectie leiden tot neutrale of verdedigings-conservatieve uitkomsten.

Resultaten en Claims
Aangezien dit artikel zich richt op theoretische grondslagen, presenteert het geen experimentele validatie of specifieke casusresultaten; deze zijn voorbehouden aan een begeleidend artikel. Het artikel claimt echter dat de theoretische structuur van HaloGen het volgende garandeert:

• Transparantie en Stabiliteit: Het kader gedraagt zich voorspelbaar over verschillende bewijsscenario's heen.
• Conservatieve Behandeling van Onzekerheid: Door gebruik te maken van de fail-rate parameter, vermijdt het model het te sterk interpreteren van niet-detectie als bewijs van afwezigheid, waardoor een verdedigings-conservatieve houding wordt behouden waar passend.
• Coherente Onzekerheidsdoorvoering: De hiërarchische Bayesiaanse benadering voert onzekerheid succesvol door de complexe keten van activiteit, overdracht en detectie.

Betekenis
De betekenis van dit artikel ligt in de vestiging van de rigoureuze theoretische basis die vereist is voor het HaloGen-kader. Door te definiëren hoe DNA-quantiteiten en niet-detecties binnen één probabilistisch kader worden verwerkt, bieden de auteurs de noodzakelijke ondergrond voor de daaropvolgende validatie en toepassing van het kader in reële casuswerk. Het artikel stelt dat deze theoretische basis essentieel is om voorbij te gaan aan simplistische interpretaties van DNA-bewijs naar een robuustere evaluatie op activiteitsniveau die rekening houdt met het volledige spectrum aan overdrachtmogelijkheden.