Comparing quantum and classical finite state generators

Titel: Vergelijking van quantum en klassieke eindige-toestengeneratoren

Auteurs: Prasenjit Deb, Almut Beige en Lewis A. Clark
Datum: 14 april 2026

---

1. Het Probleem

Hoewel Bell-CHSH-ongelijkheden zeer succesvol zijn gebleken als benchmark voor ruimtelijke quantumcorrelaties (verstrengeling tussen gescheiden deeltjes), is het onduidelijk of ze even effectief zijn voor het benchmarken van temporele quantumcorrelaties. Temporele correlaties treden op wanneer metingen op hetzelfde systeem op verschillende tijdstippen worden uitgevoerd (bijvoorbeeld in quantumcryptografie zoals BB84 of quantumfeedbacksystemen).

De kernvraag is: kunnen we quantumprocessen onderscheiden van klassieke processen op basis van temporele correlaties met behulp van de standaard CHSH-ongelijkheid? De auteurs stellen dat de huidige benchmarks mogelijk ontoereikend zijn omdat klassieke en quantumstochastische processen fundamenteel verschillende structuren hebben die niet volledig door dezelfde meetlat worden gevangen.

2. Methodologie

De auteurs ontwikkelen een vergelijkend raamwerk voor het modelleren van zowel klassieke als quantumstochastische processen met één bit (klassiek) en één qubit (quantum). Ze gebruiken de volgende modellen:

• Klassieke Modellen:
  • Markov-modellen: De interne toestand is direct gekoppeld aan de output. Er is geen geheugen buiten de huidige toestand.
  • Hidden Markov-modellen (HMM): De output is niet direct gekoppeld aan de interne toestand. De interne toestand blijft "verborgen" en evolueert via overgangsmatrices. Dit stelt klassieke systemen in staat complexe correlaties te genereren.
• Quantum Modellen:
  • Hidden Quantum Markov-modellen (HQMM): Het quantum-analogon van HMM's. Een enkele qubit ondergaat gegeneraliseerde metingen (beschreven door Kraus-operatoren). De interne toestand is een superpositie van basisstaten.
  • Het proces omvat een initiële qubit, een reeks metingen door twee waarnemers (Alice en Bob) op tijdstippen $T_1$ en $T_2$, en eventueel een verstoring door een derde partij (Charlie) in het midden.

Analyse:
De auteurs berekenen de CHSH-score ($S$) voor deze systemen. In tegenstelling tot de ruimtelijke CHSH-ongelijkheid, gebruiken ze voor temporele correlaties een correlator gebaseerd op de anti-commutator van de observabelen:
$$C_{nm} = \frac{1}{2}\langle \{A_n, B_m\} \rangle$$
De CHSH-factor wordt gedefinieerd als $S = |C_{11} + C_{12} + C_{21} - C_{22}|$.

Ze voeren uitgebreide numerieke steekproeven uit (108 verschillende machines) om de verdeling van CHSH-scores te analyseren voor:

1. Klassieke HMM's.
2. Quantum HQMM's met algemene gegeneraliseerde metingen.
3. Quantum HQMM's met projectieve (of projectie-achtige) metingen.
4. Scenario's met een tijdsvertraging (scrambling) tussen Alice en Bob, gemodelleerd door een derde partij (Charlie).

3. Belangrijkste Bijdragen en Resultaten

A. Schending van de Tsirelson-grens door klassieke systemen

Een van de meest opvallende resultaten is dat klassieke machines de Tsirelson-grens van $2\sqrt{2}$ (ongeveer 2,82) kunnen overschrijden in temporele scenario's.

• In ruimtelijke scenario's is $2\sqrt{2}$ de absolute limiet voor quantummechanica; klassieke lokale verborgen variabelen modellen blijven onder de grens van 2.
• In temporele scenario's kunnen specifieke klassieke HMM's (zoals het door de auteurs geconstrueerde voorbeeld) een score van $S = 3$ bereiken.
• Reden: Klassieke machines hebben geen vereiste om een orthonormale basis te genereren. Hun overgangsmatrices kunnen zo worden ontworpen dat ze sterkere correlaties produceren dan quantumsystemen in korte termijn, puur door hun fundamentele probabilistische structuur.

B. De rol van projectieve metingen

Quantumsystemen bereiken de Tsirelson-grens ($2\sqrt{2}$) alleen wanneer er gebruik wordt gemaakt van projectieve metingen (of projectie-achtige Kraus-operatoren). Bij algemene gegeneraliseerde metingen blijven de quantum-scores vaak onder de klassieke limiet van 2, tenzij ze specifiek worden geoptimaliseerd. Dit suggereert dat de CHSH-score als maatstaf voor temporele correlaties misleidend kan zijn als men niet onderscheid maakt tussen het type meting.

C. Behoud van correlaties (Langlevenheid)

Wanneer er een tijdsvertraging wordt ingevoerd tussen de metingen van Alice en Bob, waarbij het systeem onderhevig is aan "scrambling" (verwarring) door een derde partij (Charlie):

• Klassieke systemen: Hun correlaties vervallen snel. De complexe korte-termijn correlaties zijn kwetsbaar voor verstoringen.
• Quantum systemen: Zeer verrassend, vooral bij projectieve metingen, behouden quantumsystemen hun correlaties veel beter onder dezelfde verstoringen. De CHSH-score blijft significant hoger dan die van klassieke systemen na meerdere "verliesoperaties".
• Dit wijst op het bestaan van langeafstandscorrelaties in quantumsystemen die niet aanwezig zijn in de onderzochte klassieke modellen.

4. Conclusie en Betekenis

Conclusie:
De CHSH-ongelijkheid is niet voldoende om quantumtemporele correlaties van klassieke processen te onderscheiden.

1. Klassieke processen kunnen de quantumlimiet ($2\sqrt{2}$) overschrijden in korte-termijn scenario's.
2. Alleen bij het introduceren van tijdsvertraging en scrambling wordt het quantumvoordeel duidelijk zichtbaar: quantumsystemen behouden correlaties langer dan klassieke systemen.

Significantie voor de wetenschap en technologie:

• Nieuwe Benchmarks: Er zijn complexere maatstaven nodig dan de CHSH-ongelijkheid om quantumtemporele processen te karakteriseren. De auteurs suggereren het gebruik van Out-of-Time-Ordered Correlators (OTOC) of de analyse van de waarschijnlijkheid van specifieke woordsequenties (zoals voorgesteld in eerdere werken).
• Quantum Resources: Hoewel quantumverstrengeling moeilijk te genereren is, blijken temporele quantumcorrelaties een krachtige, experimenteel haalbare resource te zijn. Ze bieden een quantumvoordeel in termen van robuustheid tegen decoherentie en scrambling, wat essentieel is voor toepassingen zoals quantumfeedbackcontrole, quantummetrologie en veilige communicatieprotocollen.
• Fundamenteel Inzicht: Het werk benadrukt dat quantummechanica niet alleen verschilt van klassieke mechanica door de sterkte van correlaties op één moment, maar vooral door de manier waarop informatie over de geschiedenis van het systeem behouden blijft en de dynamiek beïnvloedt.

Kortom, dit artikel waarschuwt voor het blind toepassen van ruimtelijke benchmarks op temporele systemen en identificeert de behoud van correlaties onder scrambling als het warechte onderscheidende kenmerk van quantumtemporele processen.