  In a recent paper, we stated conjectural presentations for the equivariant
quantum K ring of partial flag varieties, motivated by physics considerations.
In this companion paper, we analyze these presentations mathematically. We
prove that if the conjectured relations hold, then they must form a complete
set of relations. Our main result is a proof of the conjectured presentation in
the case of the incidence varieties. We also show that if a quantum K divisor
axiom holds (as conjectured by Buch and Mihalcea), then the conjectured
presentation also holds for the complete flag variety.
