Related papers: Efficient Implementation of Baker-Campbell-Hausdor…
The main result of this paper is a bi-parameter $Tb$ theorem for Littlewood-Paley $g$-function, where $b$ is a tensor product of two pseudo-accretive functions. Instead of the doubling measure, we work with a product measure $\mu = \mu_n…
In this paper we prove that every H-type Lie algebra possesses a basis with respect to which the structure constants are integers. Existence of such an integral basis implies via the Mal'cev criterion that all simply connected H-type Lie…
We consider an effective field theory for the nonleptonic decay in which a heavy quark decays into a pair of a heavy quark and antiquark having a small relative velocity and one relativistic (massless) quark. This effective theory is a…
In this work we reexamine the LDA+U method of Anisimov and coworkers in the framework of a plane-wave pseudopotential approach. A simplified rotational-invariant formulation is adopted. The calculation of the Hubbard U entering the…
This paper presents a useful compact formula for deriving an effective Hamiltonian describing the time-averaged dynamics of detuned quantum systems. The formalism also works for ensemble-averaged dynamics of stochastic systems. To…
We present an efficient method for the computation of homogenized coefficients of divergence-form operators with random coefficients. The approach is based on a multiscale representation of the homogenized coefficients. We then implement…
I propose a method to calculate logarithmic interaction in two dimensions and coulomb interaction in three dimensions under periodic boundary conditions. This paper considers the case of a rectangular cell in two dimensions and an…
Lebesgue integration is a well-known mathematical tool, used for instance in probability theory, real analysis, and numerical mathematics. Thus its formalization in a proof assistant is to be designed to fit different goals and projects.…
Recently, two of the authors of this paper constructed cyclic cocycles on Harish-Chandra's Schwartz algebra of linear reductive Lie groups that detect all information in the $K$-theory of the corresponding group $C^*$-algebra. The main…
In this paper we present an effective method for computing certain real coefficients $\lambda_{n}$ which appear in a criterion for the Riemann hypothesis proved by Xian-Jin Li. With the use of this method a sequence of over three-thousand…
With the advent of quantum computers, many quantum computing algorithms are being developed. Solving linear systems is one of the most fundamental problems in almost all science and engineering. The Harrow-Hassidim-Lloyd algorithm, a…
It is well-known that an effective orbifold M (one for which the local stabilizer groups act effectively) can be presented as a quotient of a smooth manifold P by a locally free action of a compact lie group K. We use the language of…
General properties of the Foldy-Wouthuysen transformation which is widely used in quantum mechanics and quantum chemistry are considered. Merits and demerits of the original Foldy-Wouthuysen transformation method are analyzed. While this…
We introduce a notion of I-factorial quantum torsor, which consists of an integrable ergodic action of a locally compact quantum group on a type I-factor such that also the crossed product is a type I-factor. We show that any such…
Concise methods are used to compute the propagator for a non-relativistic particle subject to a potential with x^2 and 1/x^2 terms.
A realization of coherent state Lie algebras by first-order differential operators with holomorphic polynomial coefficients on K\"ahler coherent state orbits is presented. Explicit formulas involving the Bernoulli numbers and the structure…
Based on the multiplicative rule of Schubert classes obtained in [Du3], we present an algorithm computing the product of two arbitrary Schubert classes. As a result, the algorithm gives also a method to compute the integral cohomology ring…
Two effective methods for writing the dynamical equations for non-holonomic systems are illustrated. They are based on the two types of representation of the constraints: by parametric equations or by implicit equations. They can be applied…
We present a star product for noncommutative spaces of Lie type, including the so called ``canonical'' case by introducing a central generator, which is compatible with translations and admits a simple, manageable definition of an invariant…
Recently, an efficient quantum algorithm for linear systems of equations introduced by Harrow, Hassidim, and Lloyd, has received great concern from the academic community. However, the error and complexity analysis for this algorithm seems…