EFaaS: A Quantum-Classical Serverless Entangled Scheduler for Hybrid Variational Algorithms

Het artikel introduceert EFaaS, een nieuw serverloos middleware dat hybride variatie-kwantumalgoritmen optimaliseert door klassieke en kwantumtaken te behandelen als verstrengelde, sessiebewuste gebeurtenissen om de latentie drastisch te verminderen, straffactoren door hardware-drift te elimineren en de convergentie te versnellen via routekeuze die rekening houdt met kalibratie en speculatieve uitvoering.

De kern

Stel je voor dat je probeert een enorme, complexe puzzel op te lossen. Om dit te doen, heb je twee helpers: een briljante menselijke strateeg (de klassieke CPU) en een supersnelle maar zeer fragiele magische kristalbal (de Quantum Processor, of QPU).

Het probleem is dat deze twee helpers in een verschrikkelijke lus werken.

1. De strateeg bedenkt een zet.
2. Ze roept de zet naar de kristalbal.
3. De kristalbal neemt een moment om te kijken, en fluistert dan het resultaat terug.
4. De strateeg bedenkt de volgende zet.

In het huidige "cloud"-systeem is dit proces kapot. Elke keer dat de strateeg een zet bedenkt, moet hij in een lange, chaotische rij staan (een batch queue) om de aandacht van de kristalbal te krijgen. Terwijl hij wacht, wordt de kristalbal "koud" en vergeet hij zijn instellingen. Tegen de tijd dat de strateeg eindelijk kan spreken, moet de kristalbal stoppen en zichzelf opnieuw kalibreren, en dan pas geeft hij antwoord. Dit zorgt ervoor dat het hele proces dagen duurt in plaats van minuten, en de antwoorden worden minder nauwkeurig omdat de kristalbal uit de toon raakt.

EFaaS is een nieuwe, slimme "tussenpersoon" die is ontworpen om deze kapotte lus te repareren. Hier is hoe het werkt, met behulp van eenvoudige analogieën:

1. De "Verstrengelde" Sessie (Geen wachttijd meer in de rij)

In plaats van elke zet als een apart werkstuk te behandelen dat in een wachtrij wordt gegooid, behandelt EFaaS de strateeg en de kristalbal als een hecht team.

• De Oude Manier: Zoals een brief versturen via de post. Je gooit hem in een brievenbus, wacht dagenlang tot hij gesorteerd is, en hoopt dat de ontvanger nog wakker is.
• De EFaaS-Manier: Zoals een videobelverbinding. Zodra de strateeg klaar is met denken, staat de kristalbal al klaar om te luisteren. De "tussenpersoon" houdt de instellingen van de kristalbal "warm" en actief, zodat er geen wachttijd is en geen noodzaak om opnieuw te kalibreren.

2. De "Warme Cache" (De kristalbal gestemd houden)

Quantumcomputers zijn als delicate muziekinstrumenten; als je ze niet een paar minuten speelt, raken ze uit de toon (dit wordt Quantum Drift genoemd).

• Het Probleem: Als de strateeg te lang doet over het nadenken, raakt de kristalbal uit de toon. Wanneer hij dan om een antwoord vraagt, is het instrument kapot en is het resultaat waardeloos.
• De EFaaS-Oplossing: De tussenpersoon werkt als een stemvork. Het houdt de kristalbal gestemd op exact de frequentie die nodig is voor de huidige puzzel. Het weet precies hoe lang de strateeg nodig heeft en zorgt ervoor dat de kristalbal er klaar voor is op het moment dat de strateeg klaar is. Dit voorkomt de "cold start"-straf waarbij de machine moet stoppen en zichzelf moet herstellen.

3. De "Toekomstbestendigheid"-truc (Twee dingen tegelijk doen)

Normaal gesproken moet de strateeg doodstil blijven zitten en wachten tot de kristalbal zijn berekening heeft voltooid voordat hij de volgende zet kan bedenken.

• De EFaaS-Innovatie: Ze hebben een truc geïntroduceerd genaamd "EF-QuantumFuture." Het is alsof de strateeg al begint met het ontwerpen van de volgende zet terwijl de kristalbal nog bezig is met de huidige één.
• Zodra de kristalbal klaar is, is de strateeg al halverwege de volgende stap. Dit "speculatieve" werk verbergt de wachttijd, waardoor het hele proces aanvoelt als een directe handeling.

4. De "Eerlijke maar Snelle" Verkeersregelaar

Het systeem moet ook ervoor zorgen dat, terwijl deze specifieke puzzel wordt opgelost, anderen die op de kristalbal wachten niet worden genegeerd.

• De Oplossing: EFaaS gebruikt een slimme verkeersregelaar (genaamd Dual-Resource Fair Queuing). Het geeft de "hete" puzzel (degene die momenteel wordt opgelost) een groen licht om voor te dringen, maar alleen als het deel uitmaakt van dezelfde actieve sessie. Zodra die puzzel klaar is, is de kristalbal onmiddellijk beschikbaar voor de volgende persoon. Dit zorgt ervoor dat de dure kristalbal nooit ongebruikt blijft terwijl de strateeg aan het nadenken is.

De Resultaten: Waarom het ertoe doet

Het paper testte dit systeem tegen de oude manieren (wachten in de rij, of betalen om de kristalbal exclusief voor jezelf te reserveren).

• Snelheid: Het verminderde de tijd tussen de zetten met 11% tot 94%.
• Efficiëntie: Het hield de kristalbal 2% tot 15% meer bezig en aan het werk vergeleken met andere methoden.
• Nauwkeurigheid: Het elimineerde bijna volledig de "drift"-fouten, wat betekent dat de antwoorden veel betrouwbaarder zijn.
• Kosten: Het loste de puzzel 83% tot 98% sneller op dan de standaardmethoden, zonder dat er betaald hoefde te worden voor een dure, exclusieve reservering van de machine.

Kortom: EFaaS verandelt een traag, kapot, stop-en-start proces in een soepel, continu gesprek tussen een mens en een machine, waarbij de machine gestemd blijft en de mens nooit hoeft te wachten.

Technische samenvatting

Technische Samenvatting: EFaaS

Probleemstelling

Naarmate kwantumcomputing de "Utility Era" ingaat, hangt het realiseren van een op korte termijn waarneembaar voordeel sterk af van Hybride Variational Quantum Algorithms (VQAs), zoals de Variational Quantum Eigensolver (VQE) en de Quantum Approximate Optimization Algorithm (QAOA). Deze algoritmen werken via een nauw gekoppeld, iteratief lusje waarbij een klassieke CPU-optimizer parameters bijwerkt op basis van kostenfunctiebeoordelingen die worden uitgevoerd door een Quantum Processing Unit (QPU).

Huidige modellen voor toegang tot kwantumclouds, die vertrouwen op ontkoppelde batch-wachtrijsystemen, creëren een kritieke knelpunt voor deze workflows. De belangrijkste geïdentificeerde problemen zijn:

1. Latentie tot de volgende schot (Time-to-Next-Shot, TTNS): Het iteratieve lusje wordt verbroken door wachttijden in de wachtrij ($t_{queue}$), die kunnen variëren van seconden tot minuten. Voor algoritmen die duizenden iteraties vereisen, loopt dit de convergentietijd op van minuten naar dagen.
2. Drift van kwantumhardware: Uitgestelde vertragingen tussen iteraties ("cold starts") zorgen ervoor dat kalibratiegegevens van de QPU verouderd raken. Deze drift verslechtert de meetfideliteit en vernietigt de coherentie van het optimalisatielandschap, wat leidt tot kostbare herkalibraties of het falen van het algoritme.
3. Resource-inefficiëntie: Bestaande oplossingen zijn binair en inefficiënt. Statische QPU-reservaties elimineren wachtrijlatentie, maar verspillen schaarse QPU-resources tijdens klassieke berekeningsfasen. Omgekeerd falen stateless Functions-as-a-Service (FaaS)-modellen om de sessiecontext te behouden die nodig is om cold starts en drift te voorkomen.

Methodologie

De auteurs stellen EFaaS (Entangled Function-as-a-Service) voor, een nieuwe serverless middleware die is ontworpen om klassieke parameteroptimalisatie en kwantumcircuitexecutie te co-schedulen als "verstrengelde, sessiebewuste gebeurtenissen". De architectuur bevindt zich tussen de klassieke cloud-orchestrator en het Quantum Control Plane, en herdefinieert fundamenteel de relatie tussen deze twee domeinen.

Het systeem rust op drie kerntechnische innovaties:

1. Sessiebewustzijn en Kalibratiecaching

EFaaS introduceert een Session Awareness Engine die QPU-shots en CPU-functies behandelt als een continue sessie in plaats van geïsoleerde taken.

• Mechanisme: Wanneer een hybride algoritme wordt ingediend, onderhandelt de middleware over een venster met hoge prioriteit met het Quantum Control Plane. Het stelt een sessievlag in ($E_s = 1$) om het controlepaneel aan te sturen om kalibratiegegevens ($C_q$) in een gelokaliseerde cache vast te houden.
• Logica: De planner zorgt ervoor dat de tijd tussen iteraties ($\Delta t$) binnen de kwantume coherentie/driftdrempel ($\tau_{drift}$) blijft. Zolang de klassieke CPU het volgende circuit binnen dit venster teruggeeft, voert de QPU direct uit zonder herkalibratie, waardoor $t_{queue} \to 0$ en $\delta \to 0$ wordt gedreven (waarbij $\delta$ een cold start aangeeft).

2. Kalibratiebewuste Plaatsingsstrategie

In tegenstelling tot standaard affiniteitsbeleid dat is gebaseerd op software-invarianten (bijvoorbeeld containerlevensduur), hanteert EFaaS een plaatsingsstrategie die is gebaseerd op fysische coherentietijd-drempels.

• De planner houdt de kalibratietoestand van de fysieke hardware bij.
• Voor actieve "Hot Iterators" (sessies waarbij de CPU de volgende parameters berekent) routeert de plaatsingsengine het circuit naar de specifieke QPU die de geldige, warme kalibratiegegevens bevat.
• Als de driftdrempel wordt overschreden, wordt een gelokaliseerde, partiële herkalibratie geactiveerd voordat de sessie wordt hervat, waardoor volledige systeemherkalibratie wordt vermeden.

3. Dual-Resource Fair Queuing (DRFQ) en EF-QuantumFuture

Om de Quantum Duty Cycle (QDC) te maximaliseren zonder andere workloads te verzwakken, implementeert EFaaS een Dual-Resource Fair Queuing-planner.

• Prioriteitsscore: De planner wijst een dynamische prioriteitsscore ($\rho_i$) toe aan taken, waarbij zwaar wordt gewogen voor actieve sessies ($\alpha$) en de urgentie van het kalibratievenster ($\beta$). Dit zorgt ervoor dat terugkerende circuits uit actieve lussen standaard batch-taken preempten.
• EF-QuantumFuture-abstractie: Om klassieke berekeningslatentie te maskeren, introduceert het systeem een speculatieve uitvoeringsprimitief. De middleware geeft onmiddellijk na het indienen van een circuit een asynchroon "Future"-object terug. Dit stelt de klassieke optimizer in staat om speculatief niet-afhankelijke taken uit te voeren (bijvoorbeeld hyperparameterupdates) terwijl de QPU het huidige shot uitvoert.
• Latentiereductie: De effectieve iteratielatentie wordt gereduceerd tot $L_{ent} = \max(t_{cpu} - t_{async}, 0) + t_{qpu} + t_{net}$, waardoor klassieke en kwantumexecutie effectief overlappen.

Belangrijkste Bijdragen

Het artikel claimt de volgende specifieke bijdragen:

1. EFaaS-executiemodel: Een hybride serverless model dat kwantumcircuits en klassieke optimalisatie co-schedult als sessie-gekoppelde gebeurtenissen, wat de TTNS drastisch verlaagt.
2. Kalibratiebewuste plaatsing: Een routingstrategie die cold starts voorkomt door circuits te leiden naar QPUs met geldige, iteratiespecifieke kalibratiegegevens, waarbij de validiteit van affiniteit wordt herformuleerd van software-invarianten naar fysische driftdynamiek.
3. Dual-Resource Fair Queuing (DRFQ): Een planningsbeleid dat Dominant Resource Fairness uitbreidt naar een omgeving waarin één resource (QPU-shots) onderhevig is aan fysische verouderingsbeperkingen, waardoor de QDC wordt gemaximaliseerd terwijl eerlijkheid voor klassieke workloads wordt behouden.
4. EF-QuantumFuture: Een speculatieve-uitvoeringsprimitief die niet-blokkerende dispatch mogelijk maakt en een gedefinieerd contract voor speculatie/commit/abort over de staat van de klassieke optimizer, een functie die niet aanwezig is in eerdere hybride frameworks.

Experimentele Resultaten

De auteurs hebben EFaaS geëvalueerd tegenover vier baselines: Standard Batch-Queue (SBQ), Pure FaaS (PF), Static Reservation (SR) en Pilot-Quantum (PQ). De evaluatie gebruikte een discrete-event simulator met 31 benchmarkcircuits (2–16 qubits) die VQE-achtige workloads draaiden.

• TTNS-reductie: EFaaS behaalde een gemiddelde TTNS van 3,6 s, wat een reductie van 92,5% vertegenwoordigt ten opzichte van SBQ (48,4 s) en 93,4% ten opzichte van PF (54,5 s). Ten opzichte van SR en PQ toonde EFaaS bescheiden maar consistente verbeteringen (11,4%–14,9%) door speculatieve uitvoering te benutten om CPU-blokkerende wachttijden te verminderen.
• Quantum Duty Cycle (QDC): EFaaS behaalde een gemiddelde QDC van 23,4%, wat SBQ en PF met meer dan 14 procentpunten overtrof. Het overtrof ook SR met 2,2 procentpunten, aangezien SR's exclusieve vergrendeling de QPU dwingt om te idle tijdens klassieke optimalisatiestappen, terwijl EFaaS deze fasen overlapt.
• Convergentiesnelheid: De end-to-end convergentietijd werd met 83,2%–98,3% gereduceerd over de volledige benchmarksuite. EFaaS convergeerde gemiddeld in 22,9 s, vergeleken met 213 s voor SBQ en 320 s voor PF.
• Driftstraffen: EFaaS verzamelde nul driftgebeurtenissen over de volledige benchmarksuite (met één statistische uitschieter in een complex circuit bij de maximale simulatietijd). Daarentegen verzamelden SBQ, PF en PQ respectievelijk 95, 69 en 89 driftgebeurtenissen, wat kostbare herkalibraties noodzaakte. SR bereikte nul drift, maar ten koste van resource-efficiëntie.
• Schaalbaarheid: De prestatievoordelen bleven duurzaam toen de circuitcomplexiteit toenam van 2 tot 16 qubits, waarbij de TTNS constant bleef en de QDC boven de 22% bleef.

Betekenis en Claims

Het artikel betoogt dat de planningslaag momenteel de dominante bottleneck is voor hybride kwantumworkloads. De betekenis van EFaaS ligt in het vermogen om gelijktijdig lage latentie en kalibratie-integriteit te bereiken zonder de economisch niet-schaalbare praktijk van exclusieve QPU-reservatie te vereisen.

Door klassieke en kwantumresources te behandelen als verstrengelde, sessiebewuste entiteiten, lost EFaaS de "system-level friction" op die momenteel verhindert dat VQAs effectief schalen. De auteurs claimen dat hun aanpak driftstraffen "mechanistisch onmogelijk maakt onder normale bedrijfsomstandigheden" door proactieve TTL-bewuste cachevernieuwing, terwijl serverless elasticiteit en multi-tenant eerlijkheid worden behouden. De resultaten suggereren dat kalibratiebewuste serverless planning een noodzakelijke evolutie is voor de "Utility Era" van kwantumcomputing.