{"id":"arxiv/2609.13462","url":"https://arxiv.org/abs/2609.13462","tags":["math.OC"],"score":0,"title":"Matching Higher-Order Oracle Complexity for Smooth Monotone Variational Inequalities","domain":"math.OC","source":"arxiv","authors":["Haihan Zhang","Wendao Wu","Chenheng Zhang","Cong Fang","Haoxuan Li","Zhouchen Lin"],"reviews":0,"subject":"math.OC","summary":"We establish near-optimal higher-order oracle bounds for smooth monotone variational inequalities. For fixed $p\\ge2$, let $F$ be monotone on a known compact convex set $X$ of diameter at most $D$, with $\\operatorname{Lip}(D^{p-1}F)\\le L_p$. Each feasible query returns the complete jet $(F,DF,\\ldots,D^{p-1}F)$, and the goal is to find $x$ with tangent residual $\\operatorname{dist}(0,F(x)+N_X(x))\\le\\varepsilon$. Writing $Q=L_pD^p/\\varepsilon$, we improve the $\\widetilde O_p(Q^{1/p})$ upper bound of Chen et al. to $\\widetilde O_p(Q^{2/(3p-1)})$ via a dimension-independent deterministic…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-11","reactions":{}}