相关论文: An elementary proof of Fedi\u{\i}'s theorem and ex…

The purpose of this paper is to present a solution to perhaps the final remaining case in the line of study concerning the generalization of Forelli's theorem on the complex analyticity of the functions that are: (1) $\mathcal{C}^\infty$…

A famous theorem of Szemer\'edi asserts that given any density $0 < \delta \leq 1$ and any integer $k \geq 3$, any set of integers with density $\delta$ will contain infinitely many proper arithmetic progressions of length $k$. For general…

We prove that the problem of deciding the consequence relation of the full Lambek calculus with weakening is complete for the class HAck of hyper-Ackermannian problems (i.e., level F_{\omega}^{\omega} of the ordinal-indexed hierarchy of…

Fundamental to the theory of continued fractions is the fact that every infinite continued fraction with positive integer coefficients converges; however, it is unknown precisely which continued fractions with integer coefficients (not…

We prove a generalized version of the classic deformation lemma from Morse Theory that considers functions going to $-\infty$ at a compact set, and allowing the lower value of the deformation to be $-\infty$. The result is valid for a class…

The basic disentanglement theorem established by the present authors states that estimates on a weighted geometric mean over (convex) families of functions can be disentangled into quantitatively linked estimates on each family separately.…

This paper presents a novel direct elementary proof for Fermat's Last Theorem. We use algebra, modular math, and binomial series to develop inherent mathematical relationships hidden within Fermat's Last Theorem. With these derived…

We consider second order degenerate parabolic equations with real, measurable, and time-dependent coefficients. We allow for degenerate ellipticity dictated by a spatial $A_2$-weight. We prove the existence of a fundamental solution and…

Let $F$ be an analytic diffeomorphism in $(\C^m,0)$ tangent to the identity of order $n$. The infinitesimal generator of $F$ is the formal vector field $X$ such that $\Exp X=F$. In this paper we provide an elementary proof of the fact that…

In this article, we present that the germ of a complex analytic set at the origin in $\mathbb{C}^n$ is regular if and only if the related $L^2$ extension theorem holds. We also obtain a necessary condition of the $L^2$ extension of bounded…

The usage of elementary submodels is a simple but powerful method to prove theorems, or to simplify proofs in infinite combinatorics. First we introduce all the necessary concepts of logic, then we prove classical theorems using elementary…

We obtain a generalization of the DeGiorgi Lemma to the infinitely degenerate regime and apply it to obtain continuity of weak solutions to certain infinitely degenerate equations. This reproduces the continuity result obtained in…

In this paper, we prove a generalization of Kempf-Laksov formula for the degeneracy loci classes in even infinitesimal cohomology theories of the Grassmannian bundle and the Lagrangian Grassmannian bundle.

We extend the theorem of Liouville on integration in finite terms to include dilogarithmic integrals. The results provide a necessary and sufficient condition for an element of the base field to have an antiderivative in a field extension…

In this short note we give an alternative proof of Glivenko's Theorem, stating that a formula $\phi$ is provable in classical propositional logic if and only if $\neg\neg\phi$ is provable in intuitionistic propositional logic. We work in…

This paper is devoted to the study of degenerate critical elliptic equations of Caffarelli-Kohn-Nirenberg type. By means of blow-up analysis techniques, we prove an a-priori estimate in a weighted space of continuous functions. From this…

Suppose that a finite group $G$ admits an automorphism $\varphi $ of order $2^n$ such that the fixed-point subgroup $C_G(\varphi ^{2^{n-1}})$ of the involution $\varphi ^{2^{n-1}}$ is nilpotent of class $c$. Let $m=|C_G(\varphi)|$ be the…

Consider a finite-dimensional algebra $A$ and any of its moduli spaces $\mathcal{M}(A,\mathbf{d})^{ss}_{\theta}$ of representations. We prove a decomposition theorem which relates any irreducible component of…

A standing conjecture in L2-cohomology is that every finite CW-complex X is of L2-determinant class. In this paper, we prove this whenever the fundamental group belongs to a large class of groups containing e.g. all extensions of residually…

We give a new proof of the $L^2$ version of Hardy's uncertainty principle based on calculus and on its dynamical version for the heat equation. The reasonings rely on new log-convexity properties and the derivation of optimal Gaussian decay…