Related papers: Hyperations, Veblen progressions and transfinite i…
The theory of operads (May, cyclic, modular, PROPs, etc) is extended to include higher dimensional phenomena, i.e. operations between operations, mimicking the algebraic structure on varieties of arbitrary dimensions, having marked…
In this paper we define an internal binary operation between functions called in the text \emph{fractal convolution}, that applies a pair of mappings into a fractal function. This is done by means of a suitable Iterated Function System. We…
We discuss a version of \'Ecalle's definition of resurgence, based on the notion of endless continuability in the Borel plane. We relate this with the notion of \Omega-continuability, where \Omega\ is a discrete filtered set, and show how…
This paper introduces a first-order majorization-minimization framework based on a high-order majorant for continuous functions, incorporating a non-quadratic regularization term of degree $p>1$. Notably, it is shown to be valid if and only…
Many problems in science and engineering involve, as part of their solution process, the consideration of a separable function which is the sum of two convex functions, one of them possibly non-smooth. Recently a few works have discussed…
Let's fix a reasonable subsystem $T$ of arithmetic; why are natural extensions of $T$ pre-well-ordered by consistency strength? In previous work, an approach to this question was proposed. The goal of this work was to classify the recursive…
Many research works have concerned normality-preserving selection rules and operations on the sequence of digits of a given normal number that maintain or violate normality. This leads us to introduce rearrangement operations on finite…
In this note, we investigate iterations of consistency, local and uniform reflection over $\mathbf{HA}$ (Heyting Arithmetic). In the case of uniform reflection, we give a new proof of Dragalin's extension of Feferman's completeness theorem…
Inverse problems are characterized by their inherent non-uniqueness and sensitivity with respect to data perturbations. Their stable solution requires the application of regularization methods including variational and iterative…
Multivariate spatial field data are increasingly common and whose modeling typically relies on building cross-covariance functions to describe cross-process relationships. An alternative viewpoint is to model the matrix of spectral…
Existing approaches to combine both additive and multiplicative neural units either use a fixed assignment of operations or require discrete optimization to determine what function a neuron should perform. However, this leads to an…
Operationally, index functions of variable Hilbert scales can be viewed as generators for families of spaces and norms. Using a one parameter family of index functions based on the dilations of a given index function, a new class of scales…
We introduce the Aurellion Function, a novel recursively defined fast-growing hierarchy based on Knuth's up-arrow notation, defined by $A_1 = 10 \uparrow\uparrow\uparrow 10$, $A_{n+1} = 10 \uparrow^{A_n} 10$, where the number of arrows in…
Convolutional Neural Networks (CNNs) have been widely applied. But as the CNNs grow, the number of arithmetic operations and memory footprint also increase. Furthermore, typical non-linear activation functions do not allow associativity of…
The four types of homogeneity -- additive, multiplicative, exponential, and logarithmic -- are generalized as transformations describing how a function $f$ changes under scaling or shifting of its arguments. These generalized homogeneity…
In systems verification we are often concerned with multiple, inter-dependent properties that a program must satisfy. To prove that a program satisfies a given property, the correctness of intermediate states of the program must be…
Motivated by a problem on comonotone approximation of $C^n$ functions by entire functions, for increasing functions $f\colon[0,1]\to[0,1]$, we characterize the possible values of $(a,b,c)$, where $a=I(f)(1)$, $b=I^2(f)(1)$, $c=I^3(f)(1)$…
We present a new general theory of function-based hypergraph transformations on finite families of finite hypergraphs. A function-based hypergraph transformation formalises the action of structurally modifying hypergraphs from a family in a…
Consider the regular Dirichlet extension $(\mathcal{E},\mathcal{F})$ for one-dimensional Brownian motion, that $H^1(\mathbb{R})$ is a subspace of $\mathcal{F}$ and $\mathcal{E}(f,g)=\frac12\mathbf{D}(f,g)$ for $f,g\in H^1(\mathbb{R})$. Both…
In this paper, we establish some new inequalities of the Hermite-Hadamard like for class of (h-s)_{1,2}-convex functions which are ordinary, super-multiplicative or similarly ordered and nonnegative.