Nash equilibria in semidefinite games and Lemke-Howson paths

We consider an algorithmic framework for two-player non-zero-sum semidefinite games, where each player's strategy is a positive semidefinite matrix with trace one. We formulate the computation of Nash equilibria in such games as semidefinite complementarity problems and develop symbolic-numeric techniques to trace generalized Lemke-Howson paths. These paths generalize the piecewise affine-linear trajectories of the classical Lemke-Howson algorithm for bimatrix games, replacing them with nonlinear curve branches governed by eigenvalue complementarity conditions. A key feature of our framework is the introduction of event points, which correspond to curve singularities. We analyze the local behavior near these points using Puiseux series expansions. We prove the smoothness of the curve branches under suitable non-degeneracy conditions and establish connections between our approach and both the classical combinatorial and homotopy-theoretic interpretations of the Lemke-Howson algorithm.