Related papers: Sharp Mei's lemma with different bases

This paper gives a generic form of the diamond lemma, which includes support for additive and topological structures of the base set, and which does not require any further structure (e.g. an associative multiplication operation) to be…

The main purpose of this work is to introduce and analyse some generalizations of diverse superposition rules for first-order differential equations to the setting of second-order differential equations. As a result, we find a way to apply…

We show that any first order ordinary differential equation with a known Lie point symmetry group can be discretized into a difference scheme with the same symmetry group. In general, the lattices are not regular ones, but must be adapted…

We consider generalizations of Gale's colored KKM lemma and Shapley's KKMS theorem. It is shown that spaces and covers can be much more general and the boundary KKM rules can be substituted by more weaker boundary assumptions.

The aim of this paper is to establish some metrical coincidence and common fixed point theorems with an arbitrary relation under an implicit contractive condition which is general enough to cover a multitude of well known contraction…

We give an alternative proof of the stable manifold theorem as an application of the (right and left) inverse mapping theorem on a space of sequences. We investigate the diffeomorphism class of the global stable manifold, a problem which in…

In this note, we investigate the sharpness of existing bounds for various types of bi-parameter paraproducts acting between product Hardy spaces in the dyadic setting. We show that these bounds are sharp in most cases but fail to be so in…

We introduce a dynamical Mordell-Lang-type conjecture for coherent sheaves. When the sheaves are structure sheaves of closed subschemes, our conjecture becomes a statement about unlikely intersections. We prove an analogue of this…

We generalize Luna's fundamental lemma to smooth morphisms between stacks with good moduli spaces. We also give a precise condition for when it holds for non-smooth morphisms and versions for coherent sheaves and complexes. This generalizes…

We prove limit relations between the sharp constants in the multivariate Bernstein-Nikolskii type inequalities for trigonometric polynomials and entire functions of exponential type with the spectrum in a centrally symmetric convex body.

We prove the arithmetic fundamental lemma conjecture over a general $p$-adic field with odd residue cardinality $q\geq \dim V$. Our strategy is similar to the one used by the second author during his proof of the AFL over $\mathbb{Q}_p$…

We prove the range of exponents in the general $L^2$ Fourier restriction theorem due to Mockenhaupt, Mitsis, Bak and Seeger is sharp for a large class of measures on $\mathbb{R}^d$. This extends to higher dimensions the sharpness result of…

A multidimensional version of the Riesz rising sun lemma is proved by means of a generalized dyadic process.

In this note we prove the optimality of a family of known coincidence theorems for absolutely summing multilinear operators. We connect our results with the theory of multiple summing multilinear operators and prove the sharpness of similar…

In this article, I present a theorem determining a criterion for divisibility of two generalized Mersenne numbers, which are repunits of the same length in base-$a^m$ and base-$a^k$. In addition to the general proof, I present an…

The purpose of this note is to discuss several results that have been obtained in the last decade in the context of sharp adjoint Fourier restriction/Strichartz inequalities. Rather than aiming at full generality, we focus on several…

We prove that Riemannian metrics with a uniform weak norm can be smoothed to having arbitrarily high regularity. This generalizes all previous smoothing results. As a consequence we obtain a generalization of Gromov's almost flat manifold…

We give some details about the stationary phase lemma. We first prove a special case where the high order terms are derived explicitly. Based on that, we prove a more general case by using Morse lemma.

We prove a variant of the abstract probabilistic version of Szemer\'edi's regularity lemma, due to Tao, which applies to a number of structures (including graphs, hypergraphs, hypercubes, graphons, and many more) and works for random…

We prove that characteristic equations of certain types of delay differential systems, under some mild conditions on their coefficients, can possess infinitely many complex roots.