A proof of Hirose's duality conjecture

Abstract: Hirose formulated a duality conjecture for a $q$-discretization of iterated integrals on the four-punctured projective line, incorporating word-dependent $q$-shifts of the parameters. In this paper, we prove this conjecture using a symmetric terminating ${}<em>{4}φ</em>{3}$ connector.