Redundancy in string cone inequalities and multiplicities in potential functions on cluster varieties

Abstract

We study defining inequalities of string cones via a potential function on a reduced double Bruhat cell. We give a necessary criterion for the potential function to provide a minimal set of inequalities via tropicalization and conjecture an equivalence.