The KHA–affine quantum algebra isomorphism for quivers

Let $Q$ be a quiver, with doubled quiver $Q^d$ and tripled quiver $\widetilde{Q}$. Let the torus $\mathbb{C}^*$ scale the linear maps corresponding to edges of $Q^d$ with weight $1$ and the linear maps corresponding to the loops $\omega_i$ with weight $-2$. After possibly tensoring with $\mathbb{C}(q)\cong \left(\operatorname{Frac}K_0(B\mathbb{C}^*)\right)\otimes\mathbb{C}$, the KHA–affine quantum algebra conjecture. There is an isomorphism

$$\operatorname{KHA}_{\mathbb{C}^*}(Q)\cong U^{>}_q\left(\widehat{\mathfrak{g}_Q}\right),$$

where the right-hand side is the positive part of the Okounkov–Smirnov affine quantum algebra. The surrounding text presents this as analogous to Davison's conjecture and says that preprojective KHAs are expected to be related to positive parts of quantum affine algebras; the supplied text gives no resolution status.