Does Increased Regularity Lower Complexity ? By Arthur
نویسندگان
چکیده
Intuitively, the more regular a problem, the easier it should be to solve. Examples drawn from ordinary and partial differential equations, as well as from approximation, support the intuition. Traub and Wozniakowski conjectured that this is always the case. In this paper, we study linear problems. We prove a weak form of the conjecture, and show that this weak form cannot be strengthened. To do this, we consider what happens to the optimal error when regularity is increased. If regularity is measured by a Sobolev norm, increasing the regularity improves the optimal error, which allows us to establish the conjecture in the normed case. On the other hand, if regularity is measured by a Sobolev seminorm, it is no longer true that increasing the regularity improves the optimal error. However, a "shifted" version of this statement holds, which enables us to establish the conjecture in the seminormed case.
منابع مشابه
Some Results on Circuit Lower Bounds and Derandomization of Arthur-Merlin Problems
We prove a downward separation for Σ2-time classes. Specifically, we prove that if Σ2E does not have polynomial size non-deterministic circuits, then Σ2SubEXP does not have fixed polynomial size nondeterministic circuits. To achieve this result, we use Santhanam’s technique [16] on augmented Arthur-Merlin protocols defined by Aydinlioğlu and van Melkebeek [1]. We show that augmented ArthurMerli...
متن کاملWhat is the Complexity of Related Elliptic , Parabolic , and Hyperbolic Problems ? By Arthur
TVaub and Wozniakowski have dealt with the complexity of some simple partial differential equations. They chose three model problems and showed that the parabolic problem considered had significantly lower complexity than the elliptic problem, which in turn had significantly lower complexity than the hyperbolic problem considered. They asked whether this is true in general. We show that this is...
متن کاملSignal recovery from Pooling Representations
In this work we compute lower Lipschitz bounds of lp pooling operators for p = 1, 2,∞ as well as lp pooling operators preceded by halfrectification layers. These give sufficient conditions for the design of invertible neural network layers. Numerical experiments on MNIST and image patches confirm that pooling layers can be inverted with phase recovery algorithms. Moreover, the regularity of the...
متن کاملArthur-Merlin Games in Boolean Decision Trees
It is well known that probabilistic boolean decision trees cannot be much more powerful than deterministic ones Motivated by a question if randomization can signiicantly speed up a nondeterministic computation via a boolean decision tree, we address structural properties of Arthur-Merlin games in this model and prove some lower bounds. We consider two cases of interest, the rst when the length ...
متن کاملComplexity Of Weak Bisimilarity And Regularity For Bpa And Bpp
It is an open problem whether weak bisimilarity is decidable for Basic Process Algebra (BPA) and Basic Parallel Processes (BPP). A PSPACE lower bound for BPA and NP lower bound for BPP have been demonstrated by Stribrna. Mayr achieved recently a result, saying that weak bisimilarity for BPP is Π2 -hard. We improve this lower bound to PSPACE, moreover for the restricted class of normed BPP. Weak...
متن کامل