Processi e diagrammi per sistemi quantistici finito-dimensionali. Processes and diagrams for finite-dimensional quantum systems

Nella tesi viene discusso un formalismo per sistemi quantistici finito-dimensionali, cioè che hanno uno spazio degli stati di dimensione finita, basato sulla teoria dei processi, con fondazione matematica nella teoria delle categorie. In questo formalismo stati, osservabili, evoluzione temporale e misure sono descritti in termini di processi e ammettono una rappresentazione grafica con diagrammi, sia per sistemi isolati che per sistemi aperti. Molte proprietà di questi sistemi possono essere derivate semplicemente manipolando tali diagrammi.