相关论文: An Abstract Regularity Lemma

An extension of Szemer\'edi's Theorem is proved for sets of positive density in approximate lattices in general locally compact and second countable abelian groups. As a consequence, we establish a recent conjecture of Klick, Strungaru and…

We study how maximal regularity estimates with respect to the continuous functions improve automatically in cases where the spatial norm is fundamentally different from the supremum norm. More precisely, we invoke properties such as weak…

We prove a variant of the multidimensional polynomial Szemer\'edi theorem of Bergelson and Leibman where one replaces polynomial sequences with other sparse sequences defined by functions that belong to some Hardy field and satisfy certain…

In this paper we continue our work on Schwartz functions and generalized Schwartz functions on Nash (i.e. smooth semi-algebraic) manifolds. Our first goal is to prove analogs of de-Rham theorem for de-Rham complexes with coefficients in…

We present a logical framework for formalizing connections between finitary combinatorics and measure theory or ergodic theory that have appeared various places throughout the literature. We develop the basic syntax and semantics of this…

We consider the classical Wiener-Ikehara Tauberian theorem, with a generalized condition of slow decrease and some additional poles on the boundary of convergence of the Laplace transform. In this generality, we prove the otherwise known…

We substantially apply the Li criterion for the Riemann hypothesis to hold. Based upon a series representation for the sequence \{\lambda_k\}, which are certain logarithmic derivatives of the Riemann xi function evaluated at unity, we…

Take a set of balls in $\mathbb R^d$. We find a subset of pairwise disjoint balls whose combined perimeter controls the perimeter of the union of the original balls. This can be seen as a boundary version of the Vitali covering lemma. We…

We extend Hadamard's Lemma to the setting of a separable Hilbert space.

We give a proof of Szemeredi's regularity lemma in the special case of a graph with bounded VC dimension and show that it is possible to obtain "merely" doubly exponential bounds on the size of the partition in this case.

The paper extends the Scaled Relative Graph (SRG) framework of Ryu, Hannah, and Yin from Hilbert spaces to normed spaces. Our extension replaces the inner product with a regular pairing, whose asymmetry gives rise to directional angles and,…

The Standard-Model Extension (SME) provides a comprehensive effective field-theory framework for the study of CPT and Lorentz symmetry. This work reviews the structure and philosophy of the SME and provides some intuitive examples of…

This paper proposes an extension to classical regular expressions by the addition of two operators allowing the inclusion of boolean formulae from the zeroth order logic. These expressions are called constrained expressions. The associated…

In this article, we characterize both Lusin's theorem and the existence of Borel representatives via the regularity properties of the measure in general topological measure spaces. As a corollary, we prove that Borel regularity of the…

In this paper, we present a unified general non-strict Finsler lemma. This result is general in the sense that it does not impose any restrictions on the involved matrices and, thereby, it encompasses all existing non-strict versions of…

This paper shows that finitely additive measures occur naturally in very general Divergence Theorems. The main results are two such theorems. The first proves the existence of pure normal measures for sets of finite perime- ter, which yield…

In 1975 Szemer\'edi proved that a set of integers of positive upper density contains arbitrarily long arithmetic progressions. Bergelson and Leibman showed in 1996 that the common difference of the arithmetic progression can be a square, a…

Planetary ephemerides are a very powerful tool to constrain deviations from the theory of General Relativity using orbital dynamics. The effective field theory framework called the Standard-Model Extension (SME) has been developed in order…

Regularity theorems \`a la Avellaneda-Lin are an indispensable part of the modern quantitative theory of stochastic homogenization. While interior regularity results for random elliptic operators have been available for a while, on general…

We introduce a novel, logic-independent framework for the study of sequent-style proof systems, which covers a number of proof-theoretic formalisms and concrete proof systems that appear in the literature. In particular, we introduce a…