1299 articoli
Questa sezione esplora l'intersezione tra l'intelligenza artificiale e la teoria della computazione, un campo che studia come gli algoritmi possono risolvere problemi complessi e quali limiti fondamentali incontrano. Qui si analizza non solo il funzionamento pratico dei modelli moderni, ma anche le basi matematiche che ne garantiscono l'efficienza e la sicurezza.
Ogni nuovo articolo pubblicato su arXiv in questa categoria viene selezionato e processato dal team di Gist.Science. Offriamo per ciascun lavoro due prospettive: una sintesi in linguaggio semplice per chi si avvicina all'argomento per la prima volta e una analisi tecnica dettagliata per i ricercatori esperti, rendendo così la letteratura scientifica immediatamente fruibile.
Di seguito trovate le ultime pubblicazioni in questo settore, aggiornate quotidianamente con le scoperte più recenti.
Questo articolo esamina e amplia lo stato dell'arte sull'informazione mutua di Sibson introducendo rappresentazioni variazionali che consentono la derivazione di nuove disuguaglianze generalizzate del tipo costo-trasporto e di Fano in diversi contesti quali l'apprendimento statistico, il test di ipotesi e la predizione universale.
Questo articolo stabilisce i limiti teorici esatti e le strategie di caching ottimali per il recupero affidabile delle query da cache semanticamente trasparenti sotto cancellazioni di premesse, dimostrando che mentre il recupero di una singola query si riduce all'intercettazione di percorsi pesati, l'ottimizzazione del carico di lavoro condiviso è generalmente NP-completa ma realizzabile attraverso moduli semantici che superano i benchmark codificati in specifici regimi.
Questo articolo fornisce una panoramica accessibile del compromesso tra tasso, distorsione e percezione nella compressione con perdita e rivela le sue profonde connessioni teoriche con il coordinamento distribuito sotto comunicazione a tasso limitato, dimostrando che entrambi i problemi condividono identiche caratterizzazioni informatico-teoriche, dipendenza dalla casualità comune e strumenti analitici, proponendo al contempo di trasferire i paradigmi emergenti del realismo al dominio del coordinamento.
Questo articolo dimostra che, sebbene i teoremi di composizione in stile classico falliscano per la privacy differenziale quantistica generale a causa di implementazioni congiunte correlate, è possibile ripristinare garanzie di composizione significative per i canali prodotto su input prodotto introducendo un contabile dei momenti quantistici basato sulla perdita di privacy a valori di operatore e sulle funzioni generatrici di momenti matriciali.
Questo articolo presenta un stimatore ottimale per la fedeltà di Uhlmann tra uno stato quantistico generale e uno stato puro che opera senza conoscenza preventiva di quale stato sia puro, ottenuto specializzando una trasformata di Uhlmann algoritmica raffinata per calcolare e massimizzare due stime di ampiezza complementari.
Questo articolo introduce il concetto di capacità di computazione per il calcolo di funzioni booleane su canali di comunicazione, fornendo una caratterizzazione completa della funzione di tasso asintotico e stabilendo limiti superiori e inferiori stretti sulla capacità per una vasta classe di funzioni.
Questo articolo stabilisce l'equivalenza tra i codici quantistici localmente recuperabili (qLRC) CSS e i loro corrispondenti classici sottostanti, utilizzando poi matrici di inclusione di sottoinsiemi per costruire codici LRC classici binari contenenti il proprio duale che generano qLRC ad alto tasso con distanze minime non triviali, derivando al contempo i limiti fondamentali di dimensione e distanza per tali codici.
Questo articolo stabilisce un framework non-stabilizzatore per codici quantistici localmente recuperabili puramente disgiunti introducendo enumeratori di peso a blocchi per derivare un limite di tipo Singleton rafforzato e un limite superiore di programmazione lineare sulla dimensione del codice senza assumere una struttura a stabilizzatore.
Questo articolo presenta riduzioni efficienti da ricerca a decisione per i problemi di Equivalenza di Codici Lineari e Generali, recuperando la componente di permutazione tramite un oracolo di decisione e determinando le componenti diagonale e dell'automorfismo di campo in tempo polinomiale deterministico utilizzando l'algoritmo di Engel-Schneider.
Questo articolo introduce un framework unificato basato sulla tecnica del raddoppio per costruire codici quantistici di colore e -ortogonali che supportano gate di rotazione arbitraria trasversale, abilitando protocolli di switching dei codici fault-tolerant efficienti per la computazione quantistica universale con overhead ridotto e fattibilità dimostrata nei codici di superficie ruotati.