Bayesian inference and retrodiction for faithful states on von Neumann algebras

Sintesi Tecnica: Inferenza Bayesiana e Retrodeduzione per Stati Fedeli su Algebre di von Neumann

Enunciato del Problema
Il saggio affronta l'estensione dell'inferenza bayesiana e del concetto di retrodeduzione (inferire le cause dagli effetti) dai sistemi classici e quantistici a dimensione finita all'ambito a dimensione infinita delle algebre di von Neumann. Sebbene la mappa di recupero di Petz sia ampiamente riconosciuta nella teoria dell'informazione quantistica a dimensione finita come una generalizzazione quantistica della regola di Bayes, la sua caratterizzazione strutturale e la sua formulazione categoriale in dimensioni infinite — specificamente per stati normali fedeli — non erano state pienamente stabilite. Gli autori mirano a determinare se la mappa di recupero di Petz sia l'unico candidato universale per l'inferenza bayesiana quantistica, quando definita tramite specifici assiomi strutturali e di teoria dei processi all'interno del quadro della teoria delle categorie.

Metodologia
Gli autori impiegano una combinazione di teoria delle algebre operatori, teoria modulare e teoria delle categorie.

1. Prodotto Interno KMS: Il saggio stabilisce innanzitutto il prodotto interno KMS (Kubo-Martin-Schwinger) su un'algebra di von Neumann $\mathcal{A}$ dotata di uno stato normale fedele $\omega$. Questo prodotto interno, definito tramite la rappresentazione GNS e l'operatore di coniugazione modulare $J$, funge da struttura metrica necessaria per definire gli aggettati.
2. Costruzione della Mappa di Petz: Utilizzando il prodotto interno KMS, gli autori definiscono la mappa di recupero di Petz (o retrodeduzione di Petz) come l'unica mappa lineare $E^\star$ che agisce come l'aggettato di una mappa NCPU (unitaria, completamente positiva e preservante lo stato) normale rispetto ai prodotti interni KMS associati agli stati sorgente e target.
3. Formulazione Categoriale: Gli autori definiscono una categoria $\mathcal{Q}$ dove gli oggetti sono coppie $(\mathcal{A}, \omega)$ e i morfismi sono mappe NCPU preservanti lo stato. Definiscono poi un "funttore di retrodeduzione" $R: \mathcal{Q} \to \mathcal{Q}^{\text{op}}$ e verificano che l'assegnazione della mappa di Petz a ciascun morfismo soddisfi gli assiomi di tale funtore: recupero, preservazione dell'identità, composizionalità (regola della catena), tensorialità, estensione dell'inversione (per gli isomorfismi) e involutività.
4. Specializzazione ad Algebre Commutative: Il quadro viene specializzato ad algebre di von Neumann commutative (che rappresentano sistemi classici) per dimostrare che il funtore di Petz si restringe alla standard inversa bayesiana (regola di Bayes) per distribuzioni di probabilità e kerneli di Markov su spazi boreliani standard.
5. Mappe di Markov: Il saggio analizza una sottocategoria di "mappe di Markov" (morfismi che soddisfano la condizione di covarianza modulare di Accardi–Cecchini) e mostra che, per queste mappe, la mappa di recupero di Petz coincide con l'aggettato GNS.

Contributi Chiave e Risultati

• Generalizzazione a Dimensione Infinita: Il saggio definisce rigorosamente la mappa di recupero di Petz per stati normali fedeli su arbitrarie algebre di von Neumann, estendendo i risultati precedenti limitati alle $C^*$-algebre a dimensione finita o alle algebre di matrici complete. Chiarisce la relazione tra la definizione della teoria modulare e la formula "radice quadrata" a dimensione finita.
• Caratterizzazione Categoriale: Gli autori dimostrano che la mappa di recupero di Petz definisce un funttore di retrodeduzione sulla categoria delle algebre di von Neumann con stati fedeli. Questo funtore soddisfa sei assiomi specifici:
  1. Recupero: Mappa un morfismo in un morfismo nella categoria opposta.
  2. Preservazione dell'Identità: Mappa i morfismi identità in morfismi identità.
  3. Composizionalità: Inverte l'ordine di composizione ($R(F \circ E) = R(E) \circ R(F)$).
  4. Tensorialità: Preserva i prodotti tensoriali dei morfismi.
  5. Estensione dell'Inversione: Agisce come inverso per gli isomorfismi.
  6. Involutività: Applicare il funtore due volte restituisce il morfismo originale ($R \circ R = \text{id}$).
• Limite Classico: Viene dimostrato che, quando ristretto alle algebre di von Neumann commutative (probabilità classica), il funtore di Petz recupera la standard inversione bayesiana delle probabilità condizionate, unificando così l'inferenza classica e quantistica sotto un'unica struttura categoriale.
• Mappe di Markov e Aggettato GNS: Il saggio prova che per le mappe di Markov (che soddisfano la covarianza modulare), la mappa di recupero di Petz è identica all'aggettato GNS, collegando il concetto di retrodeduzione alle nozioni stabilite di aggettati nella teoria modulare.

Significatività e Rivendicazioni
Il saggio sostiene di fornire un argomento di "necessità strutturale" per la mappa di recupero di Petz. Dimostrando che la mappa soddisfa un elenco specifico di assiomi naturali e di teoria dei processi (proprietà categoriali), gli autori suggeriscono che l'inferenza bayesiana e la mappa di Petz non sono meramente strumenti algoritmici derivati da principi di ottimizzazione (come la minimizzazione dell'entropia relativa), ma sono caratteristiche strutturali fondamentali dell'inferenza sia in contesti classici che quantistici.

Gli autori dichiarano esplicitamente che rimane un problema aperto se questi assiomi caratterizzino unicamente la mappa di recupero di Petz. Propongono la Congettura 7.1, la quale postula che qualsiasi funtore di retrodeduzione che soddisfi tali assiomi debba coincidere con il funtore di retrodeduzione di Petz. Se confermata, ciò implicherebbe che la specifica forma algebrica della mappa di Petz (che coinvolge operatori modulari o radici quadrate di matrici di densità) è una conseguenza necessaria degli assiomi strutturali dell'inferenza, piuttosto che una scelta arbitraria.

Il lavoro evidenzia inoltre la necessità delle algebre di von Neumann per trattare sistemi con infiniti gradi di libertà, come quelli riscontrabili nella teoria quantistica dei campi e nei sistemi a reticolo infinito, dove gli approcci standard basati sulle algebre di matrici a dimensione finita sono insufficienti.

Limitazioni e Direzioni Future
Il saggio non pretende di aver dimostrato la congettura di unicità. Identifica alcuni problemi aperti per la ricerca futura, tra cui:

• Determinare le condizioni per l'esistenza di altri tipi di inversi bayesiani (ad esempio, basati su diversi prodotti interni).
• Estendere il quadro a pesi semifiniti anziché solo a stati fedeli.
• Investigare l'applicazione di questi risultati ai prodotti incrociati di algebre di tipo III$_1$, che sono rilevanti per la gravità quantistica e lo studio dei buchi neri.
• Esplorare l'applicabilità dei funtori di retrodeduzione in contesti che vanno oltre la probabilità classica e quantistica.