Related papers: On Storage Operators
This paper deals with many-valued modal logics, based only on the necessity operator, over a residuated lattice. We focus on three basic classes, according to the accessibility relation, of Kripke frames: the full class of frames evaluated…
We define a variant of realizability where realizers are pairs of a term and a substitution. This variant allows us to prove the normalization of a simply-typed call-by-need $$\lambda$-$calculus with control due to Ariola et al. Indeed, in…
The up-operators $u_i$ and down-operators $d_i$ (introduced as Schur operators by Fomin) act on partitions by adding/removing a box to/from the $i$th column if possible. It is well known that the $u_i$ alone satisfy the relations of the…
A class of cross-shaped difference operators on a two dimensional lattice is introduced. The main feature of the operators in this class is that their formal eigenvectors consist of multiple orthogonal polynomials. In other words, this…
Within the functional calculi of Bochner-Phillips and Hirsch, we describe the operators of distributed order differentiation and integration as functions of the classical differentiation and integration operators respectively.
Nominal Logic is a version of first-order logic with equality, name-binding, renaming via name-swapping and freshness of names. Contrarily to higher-order logic, bindable names, called atoms, and instantiable variables are considered as…
This survey aims to give a brief introduction to operator theory in the Hardy space over the bidisc $H^2(\mathbb D^2)$. As an important component of multivariable operator theory, the theory in $H^2(\mathbb D^2)$ focuses primarily on two…
Operators play a substantial role in mathematical formalism of quantum mechanics. However, explicit forms of the operators are usually postulated, based on the intuitive assumptions. In this study, variational principle was applied to the…
We study the description of the crystal structure on the set of Mirkovi\'c-Vilonen polytopes. Anderson and Mirkovi\'c defined an operator and conjectured that it coincides with the Kashiwara operator. Kamnitzer proved the conjecture for…
Calculi with control operators have been studied as extensions of simple type theory. Real programming languages contain datatypes, so to really understand control operators, one should also include these in the calculus. As a first step in…
The operational behavior of control operators has been studied comprehensively in the past few decades, but type systems of control operators have not. There are distinct type systems for shift, control, and shift0 without any relationship…
In the present paper, we consider nonlinear Markov operators, namely polynomial stochastic operators. We introduce a notion of orthogonal preserving polynomial stochastic operators. The purpose of this study is to show that surjectivity of…
Memory is fundamental to large language model (LLM)-based agents, but existing surveys emphasize application-level use (e.g., personalized dialogue), while overlooking the atomic operations governing memory dynamics. This work categorizes…
In [1], an operator was introduced which acts parallel to the Riemann-Liouville differintegral on a transformation of the space of real analytic functions and commutes with itself. This paper aims to extend the technique - and its defining…
Operator-valued frames are natural generalization of frames that have been used in quantum computing, packets encoding, etc. In this paper, we focus on developing the theory about operator-valued frames for finite Hilbert spaces. Some…
Forgetting as a knowledge management operation deliberately ignores parts of the knowledge and beliefs of an agent, for various reasons. Forgetting has many facets, one may want to forget parts of the syntax, a proposition, or a…
The exchange operator formalism in polar coordinates, previously considered for the Calogero-Marchioro-Wolfes problem, is generalized to a recently introduced, infinite family of exactly solvable and integrable Hamiltonians $H_k$, $k=1$, 2,…
Working memory is a cognitive process that is responsible for temporarily holding and manipulating information. Most of the empirical neuroscience research on working memory has focused on measuring sustained activity in prefrontal cortex…
In this paper we study the theory of operators on complex Hilbert spaces, which attain their minimum in the unit sphere. We prove some important results concerning the characterization of the N*, and also AN* operators, see respectively…
Operator monotone functions, introduced by Lowner in 1934, are an important class of real-valued functions. They arise naturally in matrix and operator theory and have various applications in other branches of mathematics and related…