Related papers: A note on ordinal exponentiation and derivatives o…

Fix an irrational number $\alpha$, and consider a random walk on the circle in which at each step one moves to $x+\alpha$ or $x-\alpha$ with probabilities $1/2, 1/2$ provided the current position is $x$. If an observable is given we can…

A standard tool for classifying the complexity of equivalence relations on $\omega$ is provided by computable reducibility. This reducibility gives rise to a rich degree structure. The paper studies equivalence relations, which induce…

Let $\mathcal{A}$ denote the class of analytic functions $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ normalized by $f(0)=0$, $f'(0)=1$. For $-\pi/2<\alpha<\pi/2$, let $\mathcal{S}_{\alpha}$ be the subclass of $\mathcal{A}$…

We prove a variant of Emerton's conjecture concerning the right derived functors of the ordinary parts functor $\operatorname{Ord}_P^G$. This functor plays an important role in the theory of mod $p$ representations of $p$-adic reductive…

Weak-head normalization is inconsistent with functional extensionality in the call-by-name $\lambda$-calculus. We explore this problem from a new angle via the conflict between extensionality and effects. Leveraging ideas from work on the…

A normalized analytic function f is shown to be univalent in the open unit disk D if its second coefficient is sufficiently small and relates to its Schwarzian derivative through a certain inequality. New criteria for analytic functions to…

The authors have conjectured (\cite{KoM}) that if a normalized generalized modular function (GMF) $f$, defined on a congruence subgroup $\Gamma$, has integral Fourier coefficients, then $f$ is classical in the sense that some power $f^m$ is…

Let $k$ be a field. In this paper we will show that any factorial $\mathbb{A}^1$-form $A$ over any $k$-algebra $R$ is trivial, if $A$ has a retraction to $R$.

In this paper we consider a generalized version of Carleman's inequality. An equivalent version of it states that $\|f\|_{A_\alpha^{2\alpha}}\leq\|f\|_{H^2}$, where $f$ is a holomorphic function and $\alpha>1$. If the norms…

The Jordan decomposition theorem states that every function $f \colon [0,1] \to \mathbb{R}$ of bounded variation can be written as the difference of two non-decreasing functions. Combining this fact with a result of Lebesgue, every function…

For $\mathcal{O}$ a reduced operad, a generalized divergence from the derivations of a free $\mathcal{O}$-algebra to a suitable trace space is constructed. In the case of the Lie operad, this corresponds to Satoh's trace map and, for the…

In this work we show that it is possible to calculate the fractional integrals and derivatives of order $\alpha$ (using the Riemann-Liouville formulation) of power functions $\left( t-\ast\right) ^{\beta}$ with $\beta$ being any real value,…

We develop a renormalization group (RG)-based perturbation scheme for a class of ordinary differential equations, including first-order systems with semisimple or nilpotent linear parts, as well as scalar higher-order equations. The key…

A classical theorem of Kuratowski says that every Baire one function on a G_\delta subspace of a Polish (= separable completely metrizable) space X can be extended to a Baire one function on X. Kechris and Louveau introduced a finer…

Opial's inequality and its ramifications play an important role in the theory of differential and difference equations. A sharp unifying generalization of Opial's inequality is presented that contains both its continuous and discrete…

For pedagogical purposes (inclusion in lecture notes) we review the proof of the theorem stated in the title. At the end we state a problem.

It has been shown that the one-loop behavior of the axial anomaly, occurring when the axial current is appropriately normalized, leads to the cancellation of the corrections of type $C_F^N{\bar \alpha}_s^N,~~ (N\geq 1) $ in the Crewther…

For every countable ordinal number $\alpha$ we construct an entire function $f=f_\alpha$ such that the family $\left\{f(nz):n\in\mathbb{N}\right\}$ is exactly $Q_\alpha$-normal in the unit disk.

A natural consequence of the fractional calculus is its extension to a matrix order of differentiation and integration. A matrix-order derivative definition and a matrix-order integration arise from the generalization of the gamma function…

For those of us who generally live in the world of syntax, semantic proof techniques such as reducibility, realizability or logical relations seem somewhat magical despite -- or perhaps due to -- their seemingly unreasonable effectiveness.…