Related papers: On an assertion about Nash--Moser applications

Martin-L\"of's Intuitionistic Theory of Types is becoming popular for formal reasoning about computer programs. To handle recursion schemes other than primitive recursion, a theory of well-founded relations is presented. Using primitive…

In a previous paper, the author proved the existence of extremal function for the Moser-Trudinger inequality on a compact manifold. In the this paper, we will give a new proof of one of the key proposition.

The Implicit and Inverse Function Theorems are special cases of a general Implicit/Inverse Function Theorem which can be easily derived from either theorem. The theorems can thus be easily deduced from each other via the generalized…

We apply weighted Mourre commutator theory to prove the limiting absorption principle for the discrete Schr{\"o}dinger operator perturbed by the sum of a Wigner-von Neumann and long-range type potential. In particular, this implies a new…

The first version of this paper gave another proof of the Kropholler Conjecture, which gives a relative version of Stallings Ends Theorem, following an earlier incorrect proof. It has been pointed out by Sam Shepherd that the the second…

We prove an implicit function theorem for Keller C^k_c-maps from arbitrary real or complex topological vector spaces to Frechet spaces, imposing only a certain metric estimate on the partial differentials. As a tool, we show the…

Galles and Pearl claimed that "for recursive models, the causal model framework does not add any restrictions to counterfactuals, beyond those imposed by Lewis's [possible-worlds] framework." This claim is examined carefully, with the goal…

Recurrence properties of systems and associated sets of integers that suffice for recurrence are classical objects in topological dynamics. We describe relations between recurrence in different sorts of systems, study ways to formulate…

In this paper, we prove a converse theorem for half-integral weight modular forms assuming functional equations for $L$-series with additive twists. This result is an extension of Booker, Farmer, and Lee's result in [BFL22] to the…

We prove a version of the affine Kempf-Ness theorem for non-algebraic symplectic structures and shifted moment maps, and use it to describe hyperkahler quotients of T*G, where G is a complex reductive group.

We prove that product kernels and flag kernels on a direct product of graded Lie groups $G_1 \times \cdots \times G_{\nu}$ satisfy so-called \emph{tame algebra estimates}. Tame algebra estimates are central to the study of nonlinear partial…

In this paper, we intend to revisit Theorem 2 of [3] formulating it in a way that, weakening the hypotheses and, at the same time, highlighting the richer conclusion allowed by the proof, it can potentially be applicable to a broader range…

Let M be a Kaehler manifold with a free, holomorphic and Hamiltonian action of the standard n-torus T. We give a simple, explicit and canonical formula for the Kaehler potential on the Kaehler reduction of M. As a consequence we can derive…

We prove a version of the fundamental theorems of Morse Theory in the setting of finite spaces or partially ordered sets. By using these results we extend Forman's discrete Morse theory to more general cell complexes and derive the…

A new elementary proof of the prime number theorem presented recently in the framework of a scale invariant extension of the ordinary analysis is re-examined and clarified further. Both the formalism and proof are presented in a much more…

In the present paper we introduce old and new results related to St\"ormer theorem about Pell equations. Moreover we give four types of applications of these results.

We introduce the operad Moor, dual of the operad NAP and the notion of Moor-bialgebras. We warn the reader that the compatibility relation linking the Moor-operation with the Moor-cooperation is not distributive in the sense of Loday.…

The inverse theory for Gowers uniformity norms is one of the central topics in additive combinatorics and one of the most important aspects of the theory is the question of bounds. In this paper, we prove a quasipolynomial inverse theorem…

A multivariate Gauss-Lucas theorem is proved, sharpening and generalizing previous results on this topic. The theorem is stated in terms of a seemingly new notion of convexity. Applications to multivariate stable polynomials are given.

In this paper we propose an interpretation for self-referential propositions in a "meta-model" N* of ZF. This meta-model N* is considered as an informal model of arithmetic that mathematicians often use when working with number theory.…