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.