The Signal
PSI pubblica cinque risultati sulla teoria dell’informazione quantistica ottenuti con l’aiuto dell’IA
Physical Superintelligence afferma che la pubblicazione del 23 ottobre 2026 presenta cinque risultati sulla teoria dell’informazione quantistica, ciascuno accompagnato da un articolo e da una formalizzazione in Lean. I risultati riguardano
Quantum.world Team · Scritto con l’IA · verificato ·
La serie del 23 ottobre di PSI riunisce cinque dimostrazioni
Il 23 ottobre Physical Superintelligence (PSI) ha pubblicato cinque risultati relativi a problemi aperti nella teoria dell’informazione quantistica, accompagnando ogni articolo con una formalizzazione in Lean 4 e file di supporto. I problemi spaziano dal comportamento dell’entanglement negli stati di Werner alla possibilità di descrivere determinati processi quantistici causali mediante dinamiche reversibili. PSI afferma che i suoi ricercatori hanno sviluppato la matematica attraverso flussi di lavoro automatizzati con modelli di IA, mentre agenti di IA hanno scritto le formalizzazioni sotto la direzione dell’azienda.
La pubblicazione comprende articoli, enunciati formali e file delle dimostrazioni in un repository GitHub pubblico. Le guide ai risultati indicano Ian MacCormack, Ning Bao e David Turturean tra gli autori degli articoli e precisano che i ricercatori nominati restano responsabili della correttezza. Le dichiarazioni sull’impiego dell’IA elencano modelli di OpenAI e Anthropic, con combinazioni diverse a seconda del risultato.
Gli stati di Werner incontrano un limite finito alla distillazione di coppie di Bell
Per l’Open Quantum Problem 2, PSI presenta un limite relativo agli stati di Werner: in ogni dimensione locale d ≥ 3, non è possibile distillare coppie di Bell da tre copie quando 1/d < α ≤ 37/80, ossia 0,4625. Il risultato riguarda tre copie, non un numero arbitrario; resta aperta la questione se tali stati rimangano non distillabili per qualsiasi numero di copie. Secondo la guida al risultato, l’articolo fornisce inoltre risultati più stringenti per tre copie nelle dimensioni tre e quattro.
Il problema 12 riguarda le correlazioni del vuoto in un campo scalare libero massivo in 3+1 dimensioni. Per due regioni fisse e limitate, il risultato afferma che nessuna scelta di osservabili locali può violare la disuguaglianza CHSH una volta che le regioni sono separate da una distanza superiore a una soglia finita, anche se rimangono entangled a distanze arbitrariamente grandi. L’articolo sull’OQP 12 è di David Turturean.
Misurazioni a fase di Fourier e limiti per le mappe PPT
Il problema 27 riguarda le disuguaglianze di Bell CGLMP, che verificano le correlazioni tra misurazioni con esiti multipli. PSI afferma che le misurazioni proiettive a fase di Fourier raggiungono la massima violazione per uno stato massimamente entangled fissato e caratterizza tutte le strategie che raggiungono il massimo, nel contesto considerato, come equivalenti a tali misurazioni a meno di un’unitaria comune. Il risultato riguarda le misurazioni proiettive; la relativa guida specifica due configurazioni di misurazione e d esiti.
Per il problema 38, il gruppo dimostra che 2(d−1) mappe a trasposizione parziale positiva (PPT) qualsiasi su un sistema d-dimensionale sono sufficienti a produrre una composizione che spezza l’entanglement, anche quando le mappe cambiano a ogni passaggio. La composizione spezza anche l’entanglement con qualsiasi sistema di riferimento. Il limite non dimostra che due mappe PPT siano sempre sufficienti: la questione delle due mappe è il problema aperto affrontato dal risultato. La guida di PSI enuncia il teorema per mappe su matrici complesse d × d.
Un processo bipartito non ammette purificazione
Il problema 43 chiede se ogni processo le cui correlazioni rimangono causali, anche in presenza di sistemi ancillari entangled condivisi, possa essere rappresentato mediante un processo reversibile di dimensione finita più grande. La risposta di PSI è no: il suo articolo costruisce un controesempio bipartito. La guida al risultato OQP 43 lo descrive come un processo esplicito a quattro qubit che è causalmente estensibile ma non purificabile.
La pubblicazione presenta questi risultati come preprint, non come risultati già convalidati dalla revisione paritaria. Le formalizzazioni rendono disponibili in Lean alcuni enunciati matematici e sviluppi delle dimostrazioni, mentre le singole guide specificano che cosa copre ciascuna formalizzazione. Per esempio, la guida sugli stati di Werner afferma che lo sviluppo in Lean formalizza il caso dei qutrit dei teoremi enunciati; la raccolta non va interpretata come un’affermazione che ogni passaggio di tutti e cinque gli articoli sia stato verificato al computer.