1: \begin{abstract}

2: %

3: Given a  time-series of {noisy} 

4: measured outputs of a dynamical system~$\left\{z^k\right\}_{k=1}^N$,     the Identifying Regulation with Adversarial Surrogates~(IRAS) algorithm aims to find a non-trivial first integral of the system, namely, a scalar function~$g$ such that $ g(z^i) \approx g(z^j)$, for all~$i,j$.

5: %In IRAS, the function $g $ is

6: %the Nash equilibrium in a  two-player optimization problem solved by the algorithm. 

7: IRAS has been suggested recently and was used successfully 

8: in several learning tasks in models from biology and physics. 

9: Here, we give the first rigorous analysis of this algorithm  in a specific  setting. We assume that the observations  admit a linear first integral and that they are contaminated  by  Gaussian noise. We show that in this case the IRAS iterations are closely related to the self-consistent-field~(SCF) iterations for solving  a generalized Rayleigh quotient minimization problem. Using this approach, we derive several  sufficient conditions guaranteeing local convergence of IRAS to the linear  

10: first integral.

11: %

12: \end{abstract}

13: