相关论文: Theory of Normalized Remainders in Taylor Series E…

The aim of this work is to characterize three fundamental normalization proprieties in lambda-calculus trough the Taylor expansion of $ \lambda$-terms. The general proof strategy consists in stating the dependence of ordinary reduction…

In the folklore of linear logic, a common intuition is that the structure of finiteness spaces, introduced by Ehrhard, semantically reflects the strong normalization property of cut-elimination. We make this intuition formal in the context…

The subject of this paper is regularity-preserving aggregation of regular norms on finite-dimensional linear spaces. Regular norms were introduced in [5] and are closely related to ``type 2'' spaces [9, Chapter 9] playing important role in…

G\"ahler ([4],[5]) introduced and investigated the notion of 2-metric spaces and 2-normed spaces in sixties. These concepts are inspired by the notion of area in two dimensional Euclidean space. In this paper, we choose a fundamentally…

The renormalization method is specifically aimed at connecting theories describing physical processes at different length scales and thereby connecting different theories in the physical sciences. The renormalization method used today is…

We introduce a new notion of "regularity structure" that provides an algebraic framework allowing to describe functions and / or distributions via a kind of "jet" or local Taylor expansion around each point. The main novel idea is to…

Generalized L\"uroth series generalize $b$-adic representations as well as L\"uroth series. Almost all real numbers are normal, but it is not easy to construct one. In this paper, a new construction of normal numbers with respect to…

It has been known since Ehrhard and Regnier's seminal work on the Taylor expansion of $\lambda$-terms that this operation commutes with normalization: the expansion of a $\lambda$-term is always normalizable and its normal form is the…

This paper proposes a definition of recognizable transducers over monads and comonads, which bridges two important ongoing efforts in the current research on regularity. The first effort is the study of regular transductions, which extends…

They proved several properties and introduced some inequalities. We continue with the study of this generalized numerical radius and we develop diverse inequalities involving w_N. We also study particular cases with a fixed N(.), for…

The Normalization transformation plays a key role in the compilation of Diderot programs. The transformations are complicated and it would be easy for a bug to go undetected. To increase our confidence in normalization part of the compiler…

The weighted triangulation algebras associated to triangulation quivers and their socle deformations were recently introduced and studied in [15]-[20] and [2]. These algebras, based on surface triangulations and originated from the theory…

In this paper we revisit two concepts which were originally introduced by Aschbacher and are crucial in the theory of saturated fusion systems: Firstly, we give a new approach to defining the centralizer of a normal subsystem. Secondly, we…

An analogue of Taylor's formula, which arises by substituting the classical derivative by a divided difference operator of Askey-Wilson type, is developed here. We study the convergence of the associated Taylor series. Our results…

The notion of a randomization of a first order structure was introduced by Keisler in the paper Randomizing a Model, Advances in Math. 1999. The idea was to form a new structure whose elements are random elements of the original first order…

In previous work, I described several examples combining reduction and emergence: where reduction is understood a la Ernest Nagel, and emergence is understood as behaviour or properties that are novel (by some salient standard). Here, my…

In this paper, we derive an optimal first-order Taylor-like formula. In a seminal paper [14], we introduced a new first-order Taylor-like formula that yields a reduced remainder compared to the classical Taylor's formula. Here, we relax the…

Normal and composition series of modules enumerated by ordinal numbers are studied. The Jordan-Holder theorem for them is discussed.

Rough set theory is one of the most widely used and significant approaches for handling incomplete information. It divides the universe in the beginning and uses equivalency relations to produce blocks. Numerous generalized rough set models…

The scaling behavior, in which test performance often improves as model size and data increase, is a central empirical phenomenon in modern deep learning, yet its theoretical basis remains incomplete. In this paper, we study depth expansion…