Related papers: Normalizing the Taylor expansion of non-determinis…

Terms in the lambda-calculus can be represented as planar trees decorated with symbols for abstraction and application, and having variables as leaves. In this paper, we concentrate on the branches of such trees, rather than on the trees…

The infinitary lambda calculi pioneered by Kennaway et al. extend the basic lambda calculus by metric completion to infinite terms and reductions. Depending on the chosen metric, the resulting infinitary calculi exhibit different notions of…

Let $\mathbb{B}(\mathcal{H})$ denote the $C^{\ast}$-algebra of all bounded linear operators on a Hilbert space $\big(\mathcal{H}, \langle\cdot, \cdot\rangle\big)$. Given a positive operator $A\in\B(\h)$, and a number $\lambda\in [0,1]$, a…

This paper uses the theory of dual equivalence graphs to give explicit Schur expansions for several families of symmetric functions. We begin by giving a combinatorial definition of the modified Macdonald polynomials and modified…

We generalize the notion of semi-normalized classes of systems of differential equations, study properties of such classes and extend the algebraic method of group classification to them. In particular, we prove the important theorems on…

A Taylor variety consists of all fixed order Taylor polynomials of rational functions, where the number of variables and degrees of numerators and denominators are fixed. In one variable, Taylor varieties are given by rank constraints on…

We prove an algebraic extension theorem for the computably enumerable sets, $\mathcal{E}$. Using this extension theorem and other work we then show if $A$ and $\hat{A}$ are automorphic via $\Psi$ then they are automorphic via $\Lambda$…

The Euclidean algorithm makes possible a simple but powerful generalization of Taylor's theorem. Instead of expanding a function in a series around a single point, one spreads out the spectrum to include any number of points with given…

Let $T$ be a bounded linear operator on a Hilbert space. Then the Aluthge transform $\Delta T$ and the sequence $(\Delta^nT)$ of Aluthge iterates of $T$ are defined by \begin{align*} \Delta…

While dropout is known to be a successful regularization technique, insights into the mechanisms that lead to this success are still lacking. We introduce the concept of \emph{weight expansion}, an increase in the signed volume of a…

Higher-order tensors are becoming prevalent in many scientific areas such as computer vision, social network analysis, data mining and neuroscience. Traditional tensor decomposition approaches face three major challenges: model selecting,…

Abstract. The purpose of this paper is twofold. We introduce the theory of random tensors, which naturally extends the method of random averaging operators in our earlier work arXiv:1910.08492, to study the propagation of randomness under…

We study a relationship between rational proper maps of balls in different dimensions and strongly plurisubharmonic exhaustion functions of the unit ball induced by such maps. Putting the unique critical point of this exhaustion function at…

We consider normalizing sequences that can give rise to nondegenerate limittheorems for Birkhoff sums under the iteration of a conservative map. Mostclassical limit theorems involve normalizing sequences that are polynomial,possibly with an…

We introduce the $\lambda$-mean transform $M_{\lambda}(T)$ of a Hilbert space operator $T$ as an extension of some operator transforms based on the Duggal transform $T^D$ by $M_{\lambda}(T) := \lambda T + (1-\lambda)T^D$, and present some…

Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives comparable to Prior's tonk,…

The Conway-Maxwell-Poisson distribution is a two-parameter generalisation of the Poisson distribution that can be used to model data that is under- or over-dispersed relative to the Poisson distribution. The normalizing constant…

We positively answer the question A.1.6 in J. Klop's "Ustica Notes": "Is there a recursive normalizing one-step reduction strategy for micro $\lambda$-calculus?" Micro $\lambda$-calculus refers to an implementation of the $\lambda$-calculus…

In this paper, we study the existence of normalized solutions to the following nonlinear Schr\"{o}dinger systems with exponential growth \begin{align*} \left\{ \begin{aligned} &-\Delta u+\lambda_{1}u=H_{u}(u,v), \quad \quad \hbox{in…

Monotone operators, especially in the form of subdifferential operators, are of basic importance in optimization. It is well known since Minty, Rockafellar, and Bertsekas-Eckstein that in Hilbert space, monotone operators can be understood…