Letand, for , form the finite rectangular matrixEvery entry is available from . Let its singular values, padded and ordered as in the question, beFor fixed , Parseval's identity gives convergence of the finite Gram matrices:as . Consequently, ifthenSingular values are Lipschitz under scalar shifts, so the subsequent limit and part ii give
Define the finite-information arithmetic functionsFinite-matrix singular values can be obtained by arithmetic eigenvalue approximation, so these functions form the required arithmetic tower using only . The two inner limits recover the limiting singular values, while the outer limit is exactly the multiplicity formula from part ii:
Articles by others on the same topic
There are currently no matching articles.