Is there a curse of dimensionality for contraction fixed points in the worst case?

• 成果类型: Article
• 署名作者: Rust, J; Traub, JF; Wozniakowski, H
• 署名单位: University System of Maryland; University of Maryland College Park; University System of Maryland; University of Maryland College Park; University of Warsaw; Columbia University
• 刊物名称: ECONOMETRICA
• ISSN/ISSBN: 0012-9682
• DOI: 10.1111/1468-0262.00276
• 发表日期: 2002
• 页码: 285-329
• 关键词: algorithms; integration; complexity

摘要

This paper analyzes the complexity of the contraction fixed point problem: compute an epsilon-approximation to the fixed point V* = Gamma(V*) of a contraction mapping Gamma that maps a Banach space B-d of continuous functions of d variables into itself. We focus on quasi linear contractions where Gamma is a nonlinear functional of a finite number of conditional expectation operators. This class includes contractive Fredholm integral equations that arise in asset pricing applications and the contractive Bellman equation from dynamic programming, In the abscence of further restrictions on the domain of Gamma, the quasi linear fixed point problem is subject to the curse of dimensionality, i.e., in the worst case the minimal number of function evaluations and arithmetic operations required to compute an epsilon-approximation to a fixed point V* epsilon B-d increases exponentially in d. We show that the curse of dimensionality disappears if the domain of Gamma has additional special structure. We identify a particular type of special structure for which the problem is strongly tractable even in the worst case, i.e., the number of function evaluations and arithmetic operations needed to compute an epsilon-approximation of V* is bounded by Cepsilon(-p) where C and p are constants independent of d. We present examples of economic problems that have this type of special structure including a class of rational expectations asset pricing problems for which the optimal exponent p = 1 is nearly achieved.