From the literature the analytical calculation of local power and astigmatism of a wavefront after refraction and propagation is well known; it is, e.g., performed by the Coddington equation for refraction and the classical vertex correction formula for propagation. Recently the authors succeeded in extending the Coddington equation to higher order aberrations (HOA). However, equivalent analyti...

We prove that every 2-local derivation from the algebra Mn(A)(n > 2) into its bimodule Mn(M) is a derivation, where A is a unital Banach algebra and M is a unital A-bimodule such that each Jordan derivation from A into M is an inner derivation, and that every 2-local derivation on a C*-algebra with a faithful traceable representation is a derivation. We also characterize local and 2-local Lie d...

We study convergent (terminating and confluent) presentations of n-categories. Using the notion of polygraph (or computad), we introduce the homotopical property of finite derivation type for n-categories, generalising the one introduced by Squier for word rewriting systems. We characterise this property by using the notion of critical branching. In particular, we define sufficient conditions f...

We characterize derivations and 2-local derivations from Mn(A) into Mn(M), n ≥ 2, where A is a unital algebra over C and M is a unital A-bimodule. We show that every derivation D : Mn(A) → Mn(M), n ≥ 2, is the sum of an inner derivation and a derivation induced by a derivation from A to M. We say that A commutes with M if am = ma for every a ∈ A and m ∈ M. If A commutes with M we prove that eve...

Using fixed pointmethods, we investigate approximately higher ternary Jordan derivations in Banach ternaty algebras via the Cauchy functional equation$$f(lambda_{1}x+lambda_{2}y+lambda_3z)=lambda_1f(x)+lambda_2f(y)+lambda_3f(z)~.$$

We investigate parameter priors for discrete DAG models. It was shown in previous works that a Dirichlet prior on the parameters of a discrete DAG model is inevitable assuming global and local parameter independence for all possible complete DAG structures. A similar result for Gaussian DAG models hinted that the assumption of local independence may be redundant. Herein, we prove that the local...