Related papers: Hyper-operations By Unconventional Means

This is a summation of research done in the author's second and third year of undergraduate mathematics at The University of Toronto. As the previous details were largely scattered and disorganized; the author decided to rewrite the…

In this paper we introduce hyperations and cohyperations, which are forms of transfinite iteration of ordinal functions. Hyperations are iterations of normal functions. Unlike iteration by pointwise convergence, hyperation preserves…

We give a method of solution to the problem of iterating holomorphic functions to fractional or complex heights. We construct an auxiliary function from natural iterates of a holomorphic function; the auxiliary function will be…

We investigate solutions to the functional equation $f(f(x)) = e^x$, which can be interpreted as the problem of finding a half iterate of the exponential map. While no elementary solution exists, we construct and analyze non-elementary…

Let $\phi$ be a Laplace eigenfunction on a compact hyperbolic surface attached to an order in a quaternion algebra. Assuming that $\phi$ is an eigenfunction of Hecke operators at a \emph{fixed finite} collection of primes, we prove an…

Submodular optimization finds applications in machine learning and data mining. In this paper, we study the problem of maximizing functions of the form $h = f-c$, where $f$ is a monotone, non-negative, weakly submodular set function and $c$…

We construct bisymmetric, strictly increasing binary operations on real intervals which are not continuous. This answers a natural question in the theory of bisymmetric and mean-type operations by showing that continuity may fail for…

In a previous paper \cite{ref1} we produced a sequence of analytic functions $\{\alpha \uparrow^n z\}_{n=0}^\infty$ when $1 \le \alpha \le e^{1/e}$ and $z$ was in the right half of the complex plane, the \emph{bounded analytic…

Observing the existing relationships between the elementary operations of addition, multiplication (iteration of additions) and exponentiation (iteration of multiplications), a new operation (named incrementation) is defined, consistently…

Let $A$ be a positive definite operator on a Hilbert space $H$, and $|||.|||$ be a unitarily invariant norm on $B(H)$. We show that if $f$ is an operator monotone function on $(0,\infty)$ and $n\in \mathbb{N}$, then $|||D^n…

Let $k\in\mathbb{N}_0\cup\{\infty\}$. According to Whitney's extension theorem, each real-valued Whitney $k$-Jet on a closed subset $A\subseteq\mathbb{R}^n$ can be extended to a $C^k$-function on $\mathbb{R}^n$. Based on Whitney's original…

The main aim of this paper is to study the functional inequality \begin{equation*} \int_{[0,1]}f\bigl((1-t)x+ty\bigr)d\mu(t)\geq 0, \qquad x,y\in I \mbox{ with } x<y, \end{equation*} for a continuous unknown function $f:I\to{\mathbb R}$,…

We establish the following results on higher order $\mathcal{S}^p$-differentiability, $1<p<\infty$, of the operator function arising from a continuous scalar function $f$ and self-adjoint operators defined on a fixed separable Hilbert…

We provide a characterization of those nonmonotonic inference operations C for which C(X) may be described as the set of all logical consequences of X together with some set of additional assumptions S(X) that depends anti-monotonically on…

We study unital $\infty$-operads by their arity restrictions. Given $k \geq 1$, we develop a model for unital $k$-restricted $\infty$-operads, which are variants of $\infty$-operads which has only $(\leq k)$-arity morphisms, as complete…

The \emph{Continuity Problem} is the question whether effective operators are continuous, where an effective operator $F$ is a function on a space of constructively given objects $x$, defined by mapping construction instructions for $x$ to…

We motivate and study an infinite sequence of binary operations on the ordinal numbers, extending the standard arithmetic on the ordinals to higher degrees of iteration. Connections to the hyperoperations on the natural numbers are…

In this paper, we obtain the subadditivity inequality of strongly operator convex functions on $(0, \infty)$ and $(-\infty,0)$. Applying the properties of operator convex functions, we deduce the subadditivity property of operator monotone…

We show that (for the weak operator topology) the set of unitary operators on a separable infinite-dimensional Hilbert space is residual in the set of all contractions. The analogous result holds for isometries and the strong operator…

Fix a unital $C^*$-algebra $\mathscr{A}$, and write $\mathscr{A}_{sa}$ for the set of self-adjoint elements of $\mathscr{A}$. Also, if $f:\mathbb{R}\to\mathbb{C}$ is a continuous function, then write…