Towards verified numerical renormalization group calculations

Numerical approaches are an important tool to study strongly correlated quantum systems. However, their fragility with respect to rounding errors is not well studied and numerically verified enclosures of the results are not available. In this work we apply interval arithmetic to the well established numerical renormalization group scheme. This extension enables us to provide a numerically verified NRG excitation spectrum.