Related papers: Lecture notes on the Ein-Popa extension result
This paper collates, presents, and expands upon technology and results obtained as part of the author's PhD thesis. We generalize work done in the $\sigma$-finite setting by the author, Goldbring, Hart, and Sinclair by producing a language…
In the 1970's, George Mackey pointed out an analogy that exists between tempered representations of semisimple Lie groups and unitary representations of associated semidirect product Lie groups. More recently, Nigel Higson refined Mackey's…
We prove Manin's conjecture concerning the distribution of rational points of bounded height, and its refinement by Peyre, for wonderful compactifications of semi-simple algebraic groups over number fields. The proof proceeds via the study…
These are notes on Zhang's work and subsequent developments produced in preparation for 5 hours of talks for a general mathematical audience given in Cambridge, Edinburgh and Auckland over the last year. Being for colloquium-style talks,…
We investigate the proof theory of regular expressions with fixed points, construed as a notation for (omega-)context-free grammars. Starting with a hypersequential system for regular expressions due to Das and Pous, we define its extension…
This paper is the first of two steps in a project to prove finite generation of the log canonical ring without Mori theory.
The fundamental result of Li, Long, and Srinivasan on approximations of set systems has become a key tool across several communities such as learning theory, algorithms, computational geometry, combinatorics and data analysis. The goal of…
The logic MMSNP is a restricted fragment of existential second-order logic which allows to express many interesting queries in graph theory and finite model theory. The logic was introduced by Feder and Vardi who showed that every MMSNP…
The logic behind design decisions, called design rationale, is very valuable. In the past, researchers have tried to automatically extract and exploit this information, but prior techniques are only applicable to specific contexts and there…
In this short note, we prove a uniqueness result for small entropy self-expanders asymptotic to a fixed cone. This is a direct consequence of the mountain-pass theorem and the integer degree argument proved by J. Bernstein and L. Wang.
In this note a far extension of the Banach fixed point theorem is proved.
Krebs et al. (2007) gave a characterization of the complexity class TC0 as the class of languages recognized by a certain class of typed monoids. The notion of typed monoid was introduced to extend methods of algebraic automata theory to…
A simple expression is derived for the terms in the Baker-Campbell-Hausdorff series. One formulation of the result involves a finite number of operations with matrices of rational numbers. Generalizations are discussed.
We show that it is provable in PA that there is an arithmetically definable sequence $\{\phi_{n}:n \in \omega\}$ of $\Pi^{0}_{2}$-sentences, such that - PRA+$\{\phi_{n}:n \in \omega\}$ is $\Pi^{0}_{2}$-sound and $\Pi^{0}_{1}$-complete - the…
This paper does exactly what the title says it does. It expands the given series to arrive at the familiar "pentagonal number" expansion, also known as the pentagonal number theorem, and recalls its application to partition numbers. The…
In this paper, we refine a result of Andrews and Merca on truncated pentagonal number series. Subsequently, we establish some positivity results involving Andrews--Gordon--Bressoud identities and $d$-regular partitions. In particular, we…
We compute the invariant subspace of the rational group ring of a surface, truncated by powers of the augmentation ideal, under the action of the mapping class group. The surface is compact, oriented with one boundary component. This…
By studying some Clausen-like multiple Dirichlet series, we complete the proof of Manin's conjecture for sufficiently split smooth equivariant compactifications of the translation-dilation group over the rationals. Secondary terms remain…
This paper is essentially a survey on several classical results of harmonic analysis and their recent extensions to Banach spaces. The first part of the paper is a summary of some important results in such topics as Bernstein spaces,…
We prove new instances of Halin's end degree conjecture (HC) in ZFC. In particular, we show that there is a proper class of cardinals kappa for which Halin's conjecture holds, answering two questions posed by Geschke, Kurkofka, Melcher, and…