Related papers: Simutaneously vanishing higher derived limits with…
In $\mathsf{ZFC}$, if there is a measurable cardinal with infinitely many Woodin cardinals below it, then for every equivalence relation $E \in L(\mathbb{R})$ on $\mathbb{R}$ with all $\mathbf{\Delta}_1^1$ classes and every $\sigma$-ideal…
We establish the (level-1) large deviation principles for three kinds of means associated with the backward continued fraction expansion. We show that: for the harmonic and geometric means, the rate functions vanish exactly at one point;…
Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcing axiom PFA implies these principles…
We introduce bounded category forcing axioms for well-behaved classes $\Gamma$. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe $H_{\lambda_\Gamma^+}$ modulo…
Harvey Friedman, in his remarkable paper Finite functions and the necessary use of large cardinals, Ann. Math. 148:803-893, 1998 and in a technical report, Applications of large cardinals to graph theory, Ohio State University, 1997,…
A conjecture of Erd\H{o}s states that for any infinite set $A \subseteq \mathbb R$, there exists $E \subseteq \mathbb R$ of positive Lebesgue measure that does not contain any nontrivial affine copy of $A$. The conjecture remains open for…
In Rufus Willett's and the authors paper "Bounded Derivations on Uniform Roe Algebras" we showed that all bounded derivations on a uniform Roe algebra $C^*_u(X)$ associated to a bounded geometry metric space $X$ are inner. This naturally…
In the context of $C^*$ dynamical systems, we consider a locally compact group $G$ acting by $^*$-automorphisms on a C$^*$ algebra $\mathfrak{U}$ of observables, and assume a state of $\mathfrak{U}$ that satisfies the clustering property…
The aim of this expository article is to present recent developments in the centuries old discussion on the interrelations between continuous and differentiable real valued functions of one real variable. The truly new results include,…
We study the anisotropic linear Maxwell system on a bounded domain $\Omega$ with perfectly conducting boundary conditions. It is damped via a conductivity $\sigma$ which is strictly positive on a collar at the boundary. We prove that…
Let (X, D) be a projective log canonical pair. We show that for any natural number p, the sheaf (Omega_X^p(log D))^** of reflexive logarithmic p-forms does not contain a Weil divisorial subsheaf whose Kodaira-Iitaka dimension exceeds p.…
We study a family of variants of Jensen's\emph{subcomplete forcing axiom}, $\mathsf{SCFA}$ and \emph{subproper forcing axiom}, $\mathsf{SubPFA}$. Using these we develop a general technique for proving non-implications of $\mathsf{SCFA}$,…
This is a follow up to a paper by the author where the disjointness relation for (the graphs of) definable functions from ${^\omega \omega}$ to ${^\omega \omega}$ is analyzed. In that paper, for each $a \in {^\omega \omega}$ we defined a…
We introduce a new technique that allows us to make progress on two long standing conjectures in transcendental dynamics: Baker's conjecture that a transcendental entire function of order less than 1/2 has no unbounded Fatou components, and…
We prove a rigid analytic analogue of the Artin vanishing theorem. Precisely, we prove (under mild hypotheses) that the geometric etale cohomology of any Zariski-constructible sheaf on any affinoid rigid space $X$ vanishes in all degrees…
We develop a test for the vanishing of higher central charges of a fermionic topological order, which is a necessary condition for the existence of a gapped boundary, purely in terms of the modular data of the super-modular tensor category.…
Assuming the existence of a strong cardinal and a measurable cardinal above it, we construct a model of $ZFC$ in which for every singular cardinal $\delta$, $\delta$ is strong limit, $2^\delta=\delta^{+3}$ and the tree property at…
We discuss some well-known compactness principles for uncountable structures of small regular sizes ($\omega_n$ for $2 \le n<\omega$, $\aleph_{\omega+1}$, $\aleph_{\omega^2+1}$, etc.), consistent from weakly compact (the size-restricted…
This paper highlights an unexpected connection between expansions of real numbers to noninteger bases (so-called {\em $\beta$-expansions}) and the infinite derivatives of a class of self-affine functions. Precisely, we extend Okamoto's…
We show that for any natural number $s$, there is a constant $\gamma$ and a subgraph-closed class having, for any natural $n$, at most $\gamma^n$ graphs on $n$ vertices up to isomorphism, but no adjacency labeling scheme with labels of size…