Related papers: Periodic nilsequences and inverse theorems on cycl…
Sewell and Trotter [J. Combin. Theory Ser. B, 1993] proved that every connected alpha-critical graph that is not isomorphic to K_1, K_2 or an odd cycle contains a totally odd K_4-subdivision. Their theorem implies an interesting min-max…
We prove a general theorem that gives a linear recurrence for tuples of paths in every cylindrical network. This can be seen as a cylindrical analog of the Lindstr\"om-Gessel-Viennot theorem. We illustrate the result by applying it to Schur…
We give a reframing of Godel's first and second incompleteness theorems that applies even to some undefinable theories of arithmetic. The usual Hilbert-Bernays provability conditions and the diagonal lemma are replaced by a more direct…
The Ehresmann-Schein-Nambooripad theorem gives a structure theorem for inverse monoids: they are inductive groupoids. A particularly nice case due to Jarek is that commutative inverse monoids become semilattices of abelian groups. It has…
The famous equivalence theorem is reexamined in order to make it applicable to the case of intrinsically quantum infinite-component effective theories. We slightly modify the formulation of this theorem and prove it basing on the notion of…
Explicit inversion formulas for a subclass of integral operators with $D$-difference kernels on a finite interval are obtained. A case of the positive operators is treated in greater detail. An application to the inverse problem to recover…
Szemeredi's regularity lemma can be viewed as a rough structure theorem for arbitrary dense graphs, decomposing such graphs into a structured piece (a partition into cells with edge densities), a small error (corresponding to irregular…
A theory of recursive definitions has been mechanized in Isabelle's Zermelo-Fraenkel (ZF) set theory. The objective is to support the formalization of particular recursive definitions for use in verification, semantics proofs and other…
Recently Conlon, Fox, and the author gave a new proof of a relative Szemer\'edi theorem, which was the main novel ingredient in the proof of the celebrated Green-Tao theorem that the primes contain arbitrarily long arithmetic progressions.…
The problem of applying Nash-Moser Newton methods to obtain periodic solutions of the compressible Euler equations has led authors to identify the main obstacle, namely, how to invert operators which impose periodicity when they are based…
In this paper we develop constructive invertibility conditions for the twisted convolution. Our approach is based on splitting the twisted convolution with rational parameters into a finite number of weighted convolutions, which can be…
We introduce a general approach to traces that we consider as linear continuous functionals on some function space where we focus on some special choices for that space. This leads to an integral calculus for the computation of the precise…
We prove a converse theorem for a family of L functions of degree 2 with gamma factor coming from a holomorphic cuspform. We show these L functions coincide with either those coming from a newform or a product of L functions arising from…
We prove an abstract Implicit Function Theorem with parameters for smooth operators defined on sequence scales, modeled for the search of quasi-periodic solutions of PDEs. The tame estimates required for the inverse linearised operators at…
This paper presents a full-spectrum Green function methodology (which is valid, in particular, at and around Wood-anomaly frequencies) for evaluation of scattering by periodic arrays of cylinders of arbitrary cross section-with application…
We provide an algebraic perspective on Nielsen--Ninomiya-type no-go theorems arising from group cohomological anomalies, revisiting in particular the version proved by Kapustin and Sopenko. Departing from their analytic proof, our approach…
A decomposition theorem for the Lind zeta function of a reversal system $(X, T, R)$ of finite order is established. A reversal system can be regarded as an action of a certain group $G$ on $X$. To establish an explicit formula for the Lind…
Let G denote either a special orthogonal group or a symplectic group defined over the complex numbers. We prove the following saturation result for G: given dominant weights \lambda^1, ..., \lambda^r such that the tensor product…
This is a report for the author's talk in ICM-2018. Motivated by the formulas of Gross--Zagier and Waldspurger, we review conjectures and theorems on automorphic period integrals, special cycles on Shimura varieties, and their connection to…
The problem of inverting a system in presence of a series-defined output is analyzed. Inverse models are derived that consist of a set of algebraic equations. The inversion is performed explicitly for an output trajectory functional, which…