Non-archimedean Broyden method Q-superlinear convergence conjecture

Let the hypotheses and notation be those of Theorem, in the general non-archimedean setting considered in the paper. Non-archimedean Broyden convergence conjecture. Broyden's method has locally Q-superlinear convergence. Over the relevant non-archimedean fields, this would extend the known real convergence result; the conjecture is motivated by the absence of a non-archimedean analogue of the Frobenius-norm identity used in the real proof.