K-theoretic Heisenberg algebras and permutation-equivariant Gromov--Witten theory

We found an interesting application of the K-theoretic Heisenberg algebras of Weiqiang Wang to the foundations of permutation equivariant K-theoretic Gromov--Witten theory. We also found an explicit formula for the genus 0 correlators in the permutation equivariant Gromov--Witten theory of the point. In the non-equivariant limit our formula reduces to a well known formula due to Y.P. Lee.