Frustration-free free fermions and beyond

Frustration-free Hamiltonians provide pivotal models for understanding quantum many-body systems. In this paper, we establish a general framework for frustration-free fermionic systems. First, we derive a necessary and sufficient condition for a free fermion model to be frustration-free. In the case of translation-invariant, noninteracting systems, we show that any band touching between the valence and conduction bands is at least quadratic. Furthermore, by extending the Gosset-Huang inequality to fermionic systems, we demonstrate that even in interacting and non-translation-invariant cases, the finite-size gap of gapless excitations scales as $O((\log L)^2/L^2)$, provided the ground-state correlation function exhibits a power-law decay. Our results provide a foundation for studying frustration-free fermionic systems, including flat-band ferromagnetism and $\eta$-pairing states.