The Minimax Cost of Smoothness in Fully First-Order Stochastic Bilevel Optimization H39AZG67B6

URI	`m2://res/H39AZG67B6`
Kind	preprint
Creators	Wendao Wu, Haihan Zhang, Chenheng Zhang, Yanyi Li, Chunyuan Zheng, Cong Fang, Haoxuan Li, Zhouchen Lin
Date	2026-10-02
MSC	49-XX, 90-XX, 93-XX
Subjects	arxiv math.OC
Scope	in

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
Dimension-free bounds for the bounded part	statement	lemma C.1	arxiv
Uniform factorial-power envelope	definition	definition 2.1	arxiv
BVP8A1SD7Q	statement	lemma F.1	arxiv
Uniform size of the differentiation weights	statement	lemma A.2	arxiv
Arbitrary fixed finite budgets	statement	corollary 3.2	arxiv
Uniform-order minimax complexity	statement	theorem 3.1	arxiv
Odd-degree Chebyshev differentiation	statement	lemma A.1	arxiv
Boundary minimax rate	statement	proposition H.2	arxiv
The descent part and the frontier gradient	statement	lemma C.2	arxiv
Smooth or entire instances without a shared derivative envelope	statement	corollary G.1	arxiv
Bounds and nonstationarity after wrapping	statement	lemma D.1	arxiv
Forced decoupling	statement	proposition H.1	arxiv
Geometric allocation in a contraction	statement	lemma B.1	arxiv
Growing order and the infinite-order endpoints	statement	corollary 3.3	arxiv