In an answer to my question regarding the theoretical rigour in computing excitation energies using only the Kohn-Sham orbital energies, the rigour turned out to be nonexistent.
After looking this matter up, I began to wonder if the exact excitation energies (whose definition is explicitly written in my question, whose answer is linked above, and shall not be re-stated here) could be written in closed form using the relevent K-S orbital energies AND the exact XC functional, for example as the sum of a constant times the K-S "band gap" plus another constant times the derivative of the exact XC applied to the exact density(rough guess and potentially true, potentially false example to express the spirit I'm having here)
Does such a closed-form expression, ignoring facts like how "the exact XC functional is currently unknown", exist at least in theory?