Lower eigenvalue bounds with hybrid high-order methods | Synapse