Converse to the octahedral relation for Sato tau functions

From papers

Let τ(n1,,ns)=gn1,,ns\tau(n_1,\ldots,n_s)=\langle g\mid n_1,\ldots,n_s\rangle be the discrete function defined for integer tuples with deg(n)=ini=0\operatorname{deg}(\mathbf n)=\sum_i n_i=0. For nZs\mathbf n\in\mathbb Z^s with deg(n)=2\operatorname{deg}(\mathbf n)=-2 and indices α<β<γ<δ\alpha<\beta<\gamma<\delta, the octahedral relation is

τ(n+eα+eβ)τ(n+eγ+eδ)τ(n+eα+eγ)τ(n+eβ+eδ)+τ(n+eα+eδ)τ(n+eβ+eγ)=0,\tau(\mathbf n+e^\alpha+e^\beta)\tau(\mathbf n+e^\gamma+e^\delta)-\tau(\mathbf n+e^\alpha+e^\gamma)\tau(\mathbf n+e^\beta+e^\delta)+\tau(\mathbf n+e^\alpha+e^\delta)\tau(\mathbf n+e^\beta+e^\gamma)=0,

where eαe^\alpha is the standard unit vector in the α\alpha-th position. Converse to the octahedral relation. The octahedral relation implies that the function arises from the stated Sato tau-function construction, and conversely the construction is characterized by this relation. The source gives no further hypotheses or proof of this converse, so its precise scope and status require verification.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Mohamed Bensaid, “Sato tau functions and construction of Somos sequence”, arXiv:2409.05911 (2025).

Solutions 0

No solutions have been posted yet.