A brief derivation of the lagrangian of the minimal supersymmetric theory is given and the complete expression of the lagrangian in terms of mass eigenstates is presented.

We show that the mixed quantum-classical Liouville equation is equivalent to linearizing the forward-backward action in the influence functional. Derivations are provided in terms of either the diabatic or adiabatic basis sets. An application of the mixed quantum-classical Liouville equation for calculating the memory kernel of the generalized quantum master equation is also presented. The accu...

Large N topological string dualities have led to a class of proposed open/closed dual-ities for superstrings. In the topological string context, the worldsheet derivation of these dualities has already been given. In this paper we take the first step in deriving the full ten-dimensional superstring dualities by showing how the dualities arise on the superstring worldsheet at the level of F term...

Diffusion-a measure of dynamics, and entropy-a measure of disorder in the system are found to be intimately correlated in many systems, and the correlation is often strongly non-linear. We explore the origin of this complex dependence by studying diffusion of a point Brownian particle on a model potential energy surface characterized by ruggedness. If we assume that the ruggedness has a Gaussia...

We obtain a modified version of the Onsager regression relation for the expectation values of quantum-mechanical operators in pure quantum states of isolated many-body quantum systems. We use the insights gained from this relation to show that high-temperature time correlation functions in many-body quantum systems can be controllably computed without complete diagonalization of the Hamiltonian...

The aim of this article is to discuss the n-derivation algebras Lie color algebras. It proved that, if base ring contains 1/n-1, L a perfect algebra with zero center, then every triple derivation derivation, and nDer(L)) an inner derivation.

Speciication reenement is part of formal program derivation, a method by which software is directly constructed from a provably correct spe-ciication. Because program derivation is an intensive manual exercise used for critical software systems, an automated approach would allow it to be viable for many other types of software systems. The goal of this research is to determine if genetic progra...

Let R be a ring and U be a Lie ideal of R. Suppose that σ, τ are endomorphisms of R. A family D = {d n } n ∈ N of additive mappings d n :R → R is said to be a (σ,τ)- higher derivation of U into R if d 0 = I R , the identity map on R and [Formula: see text] holds for all a, b ∈ U and for each n ∈ N. A family F = {f n } n ∈ N of additive mappings f n :R → R is said to be a generalized (σ,τ)- high...

and Applied Analysis 3 Definition 2.2 see 6 . A subset S of a BCI-algebra X is called subalgebra of X if x ∗ y ∈ S whenever x, y ∈ S. For a BCI-algebra X, we denote x ∧ y y ∗ y ∗ x for all x, y ∈ X 6 . For more details we refer to 3, 5, 6 . 3. t-Derivations in a BCI-Algebra/p-Semisimple BCI-Algebra The following definitions introduce the notion of t-derivation for a BCI-algebra. Definition 3.1....