On Optimal Learning Algorithms for Multiplicity Automata

We study polynomial time learning algorithms for Multiplicity Automata (MA) and Multiplicity Automata Function (MAF) that minimize the access to one or more of the following resources: Equivalence queries, Membership queries or Arithmetic operations in the field ${\cal F}$. This is in particular interesting when access to one or more of the above resources is significantly more expensive than the others. We apply new algebraic approach based on Matrix Theory to simplify the algorithms and the proofs of their correctness. We improve the arithmetic complexity of the problem and argue that it is almost optimal. Then we prove tight bound for the minimal number of equivalence queries and almost (up to log factor) tight bound for the number of membership queries.