相关论文: Nonstandard Consequence Operators
In the paper, developing the idea of V. Sokolov et all. (J.Math.Phys. 40 (1999)6473 we construct recursion operators and hereditary algebra of symmetries for many field and lattice systems.
We develop a systematic theory of eventually positive semigroups of linear operators mainly on spaces of continuous functions. By eventually positive we mean that for every positive initial condition the solution to the corresponding Cauchy…
We consider the termination/non-termination property of a class of loops. Such loops are commonly used abstractions of real program pieces. Second-order logic is a convenient language to express non-termination. Of course, such property is…
We introduce a new measure on regular languages: their nondeterministic syntactic complexity. It is the least degree of any extension of the `canonical boolean representation' of the syntactic monoid. Equivalently, it is the least number of…
Certain linear matrix operators arise naturally in systems analysis and design problems involving cascade interconnections of linear time-invariant systems, including problems of stabilization, estimation, and model order reduction. We…
Let $E$ be a sublattice of a vector lattice $F$. A continuous operator $T$ from the vector lattice $E$ into a normed vector space $X$ is said to be $\tilde{o}$rder-norm continuous whenever $x_\alpha\xrightarrow{Fo}0$ implies…
$\omega$-clones are multi-sorted structures that naturally emerge as algebras for infinite trees, just as $\omega$-semigroups are convenient algebras for infinite words. In the algebraic theory of languages, one hopes that a language is…
We develop a theoretical analysis for special neural network architectures, termed operator recurrent neural networks, for approximating nonlinear functions whose inputs are linear operators. Such functions commonly arise in solution…
Operator precedence languages (OPL) enjoy the local parsability property, which essentially means that a code fragment enclosed within a pair of markers -- playing the role of parentheses -- can be compiled with no knowledge of its external…
Hypersubstitutions are mappings which map operation symbols to terms. Terms can be visualized by trees. Hypersubstitutions can be extended to mappings defined on sets of trees. The nodes of the trees, describing terms, are labelled by…
Syntactic theory has traditionally adopted a constructivist approach, in which a set of atomic elements are manipulated by combinatory operations to yield derived, complex elements. Syntactic structure is thus seen as the result or discrete…
We study the fixed point subalgebra of a certain class of lattice vertex operator algebras by an automorphism of order 3, which is a lift of a fixed-point-free isometry of the underlying lattice. We classify the irreducible modules for the…
We study singular Schr\"odinger operators on a finite interval as selfadjoint extensions of a symmetric operator. We give sufficient conditions for the symmetric operator to be in the $n$-entire class, which was defined in our previous…
A quasi-product on the normed space is defined. In addition, the notions of the eigenvectors of a linear operator can be extended for the nonlinear operator. Based on the quasi-product and the generalized eigenvectors, the spectral theorems…
Sequence-to-sequence learning with neural networks has become the de facto standard for sequence prediction tasks. This approach typically models the local distribution over the next word with a powerful neural network that can condition on…
This paper is a survey of our recent work on operator algebras associated to dynamical systems that lead to classification results for the systems in terms of algebraic invariants of the operator algebras.
We prove an operator algebraic superrigidity statement for homomorphisms of irreducible lattices, and also their commensurators, in certain higher-rank groups into unitary groups of finite factors. This extends the authors' previous work…
We investigate spaces of operators which are invariant under translations or modulations by lattices in phase space. The natural connection to the Heisenberg module is considered, giving results on the characterisation of such operators as…
Norm estimates for strongly continuous semigroups have been successfully studied in numerous settings, but at the moment there are no corresponding studies in the case of solution operators of singular integral equations. Such equations…
In this paper, new equivalence theorems for the boundedness of the composition of a quasilinear operator $T$ with the Hardy and Copson operators in weighted Lebesgue spaces are proved. The usefulness of the obtained results is illustrated…