the aim of this paper is to show that under some mild conditions a functional equation of multiplicative (; )-derivation is superstable on standard operator algebras. furthermore, we prove that this generalized derivation can be a continuous and an inner (; )- derivation.

In production processes, e.g. J/Ψ → ωππ or p̄p → 3π, the σ and f0(980) overlap in the same partial wave. The conjecture of Extended Unitarity (EU) states that the ππ pair should have the same phase variation as ππ elastic scattering. This is an extension of Watson’s theorem beyond its original derivation, which stated only that the s-dependence of a single resonance should be universal. The pred...

We investigate the application of Krylov space methods to the solution of shifted linear systems of the form (A+ σ)x− b = 0 for several values of σ simultaneously, using only as many matrix-vector operations as the solution of a single system requires. We find a suitable description of the problem, allowing us to understand known algorithms in a common framework and developing shifted methods b...

Using the OPE, we obtain new sum rules in the heavy quark limit of QCD, in addition to those previously formulated. Key elements in their derivation are the consideration of the non-forward amplitude, plus the systematic use of boundary conditions that ensure that only a finite number of j P intermediate states (with their tower of radial excitations) contribute. A study of these sum rules show...

A natural deduction system NDIL described here admits normalization and has subformula property. It has standard axioms A ` A, ` 1, standard introduction and elimination rules for &,−◦ (linear implication), ⊕ and quantifiers. The rules for ⊗ are now standard too. Structural rules are (implicit) permutation plus contraction and weakening for m-formulas. The rules for ! use an idea of D. Prawitz....

It is well-known that G3i, the sequent calculus for intuitionistic propositional logic where weakening and contraction are absorbed into the rules, is not terminating. Indeed, due to the contraction in the rule for left implication, the naı̈ve goal-oriented proof-search strategy, consisting in applying the rules of the calculus bottom-up until possible, can generate branches of infinite length. ...

Let F[∂;σ, δ] be the ring of Ore polynomials over a field (or skew field) F, where σ is a automorphism of F and δ is a σ-derivation. Given a matrix A ∈ F[∂;σ, δ], we show how to compute the Hermite form H of A and a unimodular matrix U such that UA = H. The algorithm requires a polynomial number of operations in F in terms of n and the degrees (in ∂) of the entries in A. When F = k(z) for some ...

When R is a local ring with a nilpotent maximal ideal, the Ore extension R[x;σ, δ] will or will not be 2-primal depending on the δ-stability of the maximal ideal of R. In the case where R[x;σ, δ] is 2-primal, it will satisfy an even stronger condition; in the case where R[x;σ, δ] is not 2-primal, it will fail to satisfy an even weaker condition. 1. Background and motivation In [13, Proposition ...

After introducing double derivations of $n$-Lie algebra $L$ we‎ ‎describe the relationship between the algebra $mathcal D(L)$ of double derivations and the usual‎ ‎derivation Lie algebra $mathcal Der(L)$‎. ‎In particular‎, ‎we prove that the inner derivation algebra $ad(L)$‎ ‎is an ideal of the double derivation algebra $mathcal D(L)$; we also show that if $L$ is a perfect $n$-Lie algebra‎ ‎wit...