Non-linear traces of Choquet type on AF algebras

We study non-linear traces of Choquet type on AF algebras. Building on the characterization of Choquet traces on matrix algebras due to Nagisa–Watatani, we generalize the construction to arbitrary unital AF algebras. We show that there is a one-to-one correspondence between such traces and increasing functions on the dimension scale, and we obtain explicit Choquet formulas in terms of the spectrum and ranks of spectral projections along a fixed AF filtration.