Related papers: An arithmetic regularity lemma, associated countin…

It is well-known that if $(A,B)$ is an $\tfrac{\varepsilon}{2}$-regular pair (in the sense of Szemer\'edi) then there exist sets $A'\subset A$ and $B'\subset B'$ with $|A'|\leq \varepsilon|A|$ and $|B'|\leq \varepsilon|B|$ so that the…

While Szemer\'edi's graph regularity lemma is an indispensable tool for studying extremal problems in graph theory, using it comes with a hefty price, since a worst-case graph may only have regular partitions of tower-type size. It is thus…

In much discussed work Artemov has recently shown that, for $\mathrm{PA}$, the consistency schema admits a form of uniform verification via selector proofs, despite the unprovability of the corresponding uniform consistency sentence…

Regularization functionals that lower level set boundary length when used with L^1 fidelity functionals on signal de-noising on images create artifacts. These are (i) rounding of corners, (ii) shrinking of radii, (iii) shrinking of cusps,…

We prove an extension of the Regularity Lemma with vertex and edge weights which can be applied for a large class of graphs. The applications involve random graphs and a weighted version of the Erd\H{o}s-Stone theorem. We also provide means…

We analyse the logical complexity and absoluteness of natural statements about Ulam sequences, with particular emphasis on the rigidity phenomena introduced by Hinman, Kuca, Schlesinger and Sheydvasser for the family $U(1,n)$. For each pair…

We extend Szemeredi's Regularity Lemma (SRL) to abstract measure spaces. Our main aim is to find general conditions under which the original proof of Szemeredi still works. To illustrate that our approach has some merit, we outline several…

We investigate the end extendibility of models of arithmetic with restricted elementarity. By utilizing the restricted ultrapower construction in the second-order context, for each $n\in\mathbb{N}$ and any countable model of…

We prove a sharp regularity threshold for uniqueness in two anisotropic Calder\'on-type inverse problems in dimension $n\ge 3$. The main setting is the Riemannian Schr\"odinger problem with fixed scalar potential: for a prescribed…

Decomposition theorems in classical Fourier analysis enable us to express a bounded function in terms of few linear phases with large Fourier coefficients plus a part that is pseudorandom with respect to linear phases. The Goldreich-Levin…

We estimate Gowers uniformity norms for some classical automatic sequences, such as the Thue-Morse and Rudin-Shapiro sequences. The methods can also be extended to other automatic sequences. As an application, we asymptotically count…

In this article we continue our investigation of the thin obstacle problem with variable coefficients which was initiated in \cite{KRS14}, \cite{KRSI}. Using a partial Hodograph-Legendre transform and the implicit function theorem, we prove…

We prove a far-reaching strengthening of Szemer\'edi's regularity lemma for intersection graphs of pseudo-segments. It shows that the vertex set of such a graph can be partitioned into a bounded number of parts of roughly the same size such…

Let $C_{n}$ be a cycle of length $n$. As an application of Szemer\'{e}di's regularity lemma, {\L}uczak ($R(C_n,C_n,C_n)\leq (4+o(1))n$, J. Combin. Theory Ser. B, 75 (1999), 174--187) in fact established that…

In this article, we will use elementary number theory techniques to investigate a sequence of integers defined by a sifting process called the lucky numbers. Ulam introduced lucky numbers as a sieve-based analogue of prime numbers. We…

We show that, under some mild hypotheses, the Gowers uniformity norms (both in the additive and in the hypergraph setting) are essentially equivalent to certain weaker norms which are easier to understand. We present two applications of…

We give a simple and natural (probabilistic) construction of hypergraph regularization. It is done just by taking a constant-bounded number of random vertex samplings only one time (thus, iteration-free). It is independent from the…

Gowers introduced the notion of uniformity norm $\|f\|_{U^k(G)}$ of a bounded function $f:G\rightarrow\mathbb{R}$ on an abelian group $G$ in order to provide a Fourier-theoretic proof of Szemeredi's Theorem, that is, that a subset of the…

In this paper, we establish a coupling lemma for standard families in the setting of piecewise expanding interval maps with countably many branches. Our method merely requires that the expanding map satisfies Chernov's one-step expansion at…

We examine the limiting behavior of multiple ergodic averages associated with arithmetic progressions whose differences are elements of a fixed integer sequence. For each $\ell$, we give necessary and sufficient conditions under which…