Related papers: On a Question of Hamkins'

We obtain one variant of the extrapolation theorem of Rubio de Fracia for variable exponent Lebesgue spaces. As a consequence we obtain conditions guarantee boundedness of strongly singular integral operators, singular integral operators…

Let $M(\phi)=T(\phi)+H(\phi)$ be the Toeplitz plus Hankel operator acting on $H^p(\T)$ with generating function $\phi\in L^\iy(\T)$. In a previous paper we proved that $M(\phi)$ is invertible if and only if $\phi$ admits a factorization…

Let $\varphi$ be a univalent non-elliptic self-map of the unit disc $\mathbb D$ and let $(\psi_{t})$ be a continuous one-parameter semigroup of holomorphic functions in $\mathbb D$ such that $\psi_{1}\neq\mathrm{id}_{\mathbb D}$ commutes…

Generic notions of bisimulation for various types of systems (nondeterministic, probabilistic, weighted etc.) rely on identity-preserving (normal) lax extensions of the functor encapsulating the system type, in the paradigm of universal…

Let $\phi\colon A\rightarrow B$ be an algebra extension. We prove that if $\phi$ is split, the derived-discreteness of $A$ implies the derived-discreteness of $B$; if $\phi$ is separable and the right $A$-module $B$ is projective, the…

In this article, we present an orthogonal basis expansion method for solving stochastic differential equations with a path-independent solution of the form $X_{t}=\phi(t,W_{t})$. For this purpose, we define a Hilbert space and construct an…

We consider the question of when an expansion of a topological structure has the property that every open set definable in the expansion is definable in the original structure. This question is related to and inspired by recent work of…

It is shown that if T is a ternary ring of operators (TRO), X is a nondegenerate sub-TRO of T and there exists a contractive idempotent surjective map P:T-->X, then P has a unique, explicitly described extension to a conditional expectation…

Functions that are smooth but non-periodic on a certain interval possess Fourier series that lack uniform convergence and suffer from the Gibbs phenomenon. However, they can be represented accurately by a Fourier series that is periodic on…

We develop the abstract framework for a proof-theoretic analysis of theories with scope beyond ordinal numbers, resulting in an analog of Ordinal Analysis aimed at the study of theorems of complexity $\Pi^1_2$. This is done by replacing the…

We prove a generalization of the Poincar\'e-Birkhoff theorem for the open annulus showing that if a homeomorphism satisfies a certain twist condition and the nonwandering set is connected, then there is a fixed point. Our main focus is the…

We show how one can obtain solutions to the Arzel\`a-Ascoli theorem using suitable applications of the Bolzano-Weierstra{\ss} principle. With this, we can apply the results from \cite{aK} and obtain a classification of the strength of…

We study the nonclassical Hopf-Galois module structure of rings of algebraic integers in some extensions of $ p $-adic fields and number fields which are at most tamely ramified. We show that if $ L/K $ is an unramified extension of $ p…

Length-constrained expander decompositions are a new graph decomposition that has led to several recent breakthroughs in fast graph algorithms. Roughly, an $(h, s)$-length $\phi$-expander decomposition is a small collection of length…

There is no infinite sequence of $\Pi^1_1$-sound extensions of $\mathsf{ACA}_0$ each of which proves $\Pi^1_1$-reflection of the next. This engenders a well-founded ``reflection ranking'' of $\Pi^1_1$-sound extensions of $\mathsf{ACA}_0$.…

We derive a novel formula for the derivative of operator product expansion (OPE) coefficients with respect to a coupling constant. The formula only involves the OPE coefficients themselves, and no further input, and is in this sense…

In this paper we give an overview of an essential part of a Pi^0_1 ordinal analysis of Peano Arithmetic (PA) as presented by Beklemishev. This analysis is mainly performed within the polymodal provability logic GLP. We reflect on ways of…

Given a functor from any category into the category of topological spaces, one obtains a linear representation of the category by post-composing the given functor with a homology functor with field coefficients. This construction is…

Courcelle's celebrated theorem states that all MSO-expressible properties can be decided in linear time on graphs of bounded treewidth. Unfortunately, the hidden constant implied by this theorem is a tower of exponentials whose height…

We study nonlinear elliptic equations in divergence form $${\operatorname{div}}{\mathcal A}(x,Du)={\operatorname{div}}G.$$ When ${\mathcal A}$ has linear growth in $Du$, and assuming that $x\mapsto{\mathcal A}(x,\xi)$ enjoys…