Data-Driven Reduction of the Finite-Element Model of a Tribomechadynamics Benchmark Problem

The paper correctly states and applies SSM-based reduction for a large FEM and gives the key reduced equations (including the forced normal-form model) but does not supply a rigorous existence/persistence proof or an O(ε) error estimate; it validates accuracy empirically (NMTE). The model’s solution provides the missing hypotheses and a plausible proof sketch (autonomous and nonautonomous SSM existence, normal-form truncation, and an O(ε) closeness result on O(1) times). Minor caveat: the model’s nonautonomous non-resonance condition should involve combinations with forcing frequencies, not just real parts.