Explicit construction of the density matrix in Gleason's theorem

TL;DR

This paper provides an explicit construction method for the quantum density matrix as guaranteed by Gleason's theorem, clarifying an aspect that is minimally addressed in the original proof.

Contribution

It introduces a detailed, explicit construction of the density matrix in the context of Gleason's theorem, enhancing understanding of its practical implementation.

Findings

Explicit construction method for density matrices

Clarification of Gleason's theorem implications

Enhanced understanding of quantum state representation

Abstract

Gleason's theorem is a fundamental 60 year old result in the foundations of quantum mechanix, setting up and laying out the surprisingly minimal assumptions required to deduce the existence of quantum density matrices and the Born rule. Now Gleason's theorem and its proof have been continuously analyzed, simplified, and revised over the last 60 years, and we will have very little to say about the theorem and proof themselves. Instead, we find it useful, (and hopefully interesting), to make some clarifying comments concerning the explicit construction of the quantum density matrix that Gleason's theorem proves exists, but that Gleason's theorem otherwise says relatively little about.