arXiv subjects

Xinhao Nie

Publications and source records attributed to Xinhao Nie.

4 recordsLinked to original sources

arXiv2026

On Existence and Computational Complexity of Quasi-strict Equilibria

Quasi-strict Nash equilibrium, introduced by Harsanyi in 1973, is the Nash equilibrium refinement that requires every pure best response to be played with positive probability. Norde established that any bimatrix game admits a quasi-strict Nash equilibrium. We give a substantially simpler proof of this result that in particular avoids an intricate limit argument used in the final step of the proof by Norde. Our existence proof allows us to positively resolve the outstanding open question of PPAD membership of the problem of computing a quasi-strict Nash equilibrium, thereby settling its precise complexity. In games with three or more players, a quasi-strict Nash equilibrium is not guaranteed to exist, leading to the natural problem of deciding the existence of a quasi-strict Nash equilibrium in a given strategic form game. We show that this problem is $\exists\mathbb{R}$-complete, strengthening a previous NP-hardness result.

cs.GT↗

arXiv2026

Complexity of Autobidding Equilibria in GSP Sponsored Shopping

We revisit autobidding equilibria in GSP sponsored shopping auctions, recently proposed and studied in Dütting et al. On the existence side, we show that autobidding equilibria under both budget constraints (ABE-B) and return-on-investment constraints (ABE-R) always exist and, moreover, always admit equilibria with polynomial-size support over the allocation space. On the computational side, we show that computing an exact equilibrium is in FIXP, and that computing an approximate equilibrium is in PPAD. We also prove that computing an approximate equilibrium is PPAD-hard for both ABE-B and ABE-R. Together, these results provide a fairly comprehensive picture of the computational complexity of autobidding equilibria in GSP sponsored shopping auctions.

cs.GT↗

arXiv2026

The Welfare Gap of Strategic Storage: Universal Bounds and Price Non-Linearity

This paper studies the efficiency of battery storage operations in electricity markets by comparing the social welfare gain achieved by a central planner to that of a decentralized profit-maximizing operator. The problem is formulated in a generalized continuous-time stochastic setting, where the battery follows an adaptive, non-anticipating policy subject to periodicity and general convex constraints. We quantify the efficiency loss by bounding the ratio of the optimal welfare gain to the gain under profit maximization. First, for linear price functions, we prove that this ratio is tightly bounded by $4/3$. We show that this bound is a structural invariant: it is robust to arbitrary stochastic demand processes and accommodates general convex operational constraints. Second, we demonstrate that the efficiency loss can be unbounded for general convex price functions even in a canonical discrete-demand benchmark, so convexity alone is insufficient to guarantee market efficiency. Third, within the same benchmark we analyze monomial price functions, where the degree controls the curvature, and prove that the loss grows with the degree yet remains bounded by $2$. Finally, we extend the linear analysis to $n$ competing batteries, where a potential-game argument gives a unique equilibrium and an efficiency loss that decreases to $1$ as the number of batteries grows.

cs.GT↗

arXiv2025

On the Complexity of Stationary Nash Equilibria in Discounted Perfect Information Stochastic Games

We study the problem of computing stationary Nash equilibria in discounted perfect information stochastic games from the viewpoint of computational complexity. For two-player games we prove the problem to be in PPAD, which together with a previous PPAD-hardness result precisely classifies the problem as PPAD-complete. In addition to this we give an improved and simpler PPAD-hardness proof for computing a stationary epsilon-Nash equilibrium. For 3-player games we construct games showing that rational-valued stationary Nash equilibria are not guaranteed to exist, and we use these to prove SqrtSum-hardness of computing a stationary Nash equilibrium in 4-player games.

cs.GT↗