Related papers: A closed-formula solution to the color-trace decom…
We investigate the identification of the time-dependent source term in the diffusion equation using boundary measurements. This facilitates tracing back the origins of environmental pollutants. Employing the concept of dynamic complex…
Inspired by the work of Chevalley and Eilenberg on the de Rham cohomology on compact Lie groups, we prove that, under certain algebraic and topological conditions, the cohomology associated to left-invariant elliptic, and even hypocomplex,…
Results of Haagerup and Schultz (2009) about existence of invariant subspaces that decompose the Brown measure are extended to a large class of unbounded operators affiliated to a tracial von Neumann algebra. These subspaces are used to…
We apply as selection rule to determine the unknown functions of a cosmological model the existence of Lie point symmetries for the Wheeler-DeWitt equation of quantum gravity. Our cosmological setting consists of a flat…
We present in this paper a general algorithm for solving first-order formulas in particular theories called "decomposable theories". First of all, using special quantifiers, we give a formal characterization of decomposable theories and…
The decomposition problem of the enveloping algebra of a simple Lie algebra is reconsidered combining both the analytical and the algebraic approach, showing its relation with the internal labelling problem with respect to a nilpotent…
We study locally harmonic maps between a Riemann surface or Lorentz surface $M$ and a Riemann surface or Lorentz surface $N$. {All four cases are studied in a unified way}. All four cases are written using a unified formalism. Therefore…
In this work one proves that, around each point of a dense open set (regular points), a real analytic or holomorphic bihamiltonian structure decomposes into a product of a Kronecker bihamiltonian structure and a symplectic one if a…
In a major advance and simplification of this field, we show that A Local Resolution of the Problem of Time - also viewable as A Local Theory of Background Independence - can at the classical level be described solely by of Lie's…
In this note, we use give some algebraic applications of a previous result by the author which compares the deformations parameterized by the Maurer-Cartan elements of a differential graded Lie algebra, and a differential graded Lie…
A hierarchy of integrable hamiltonian nonlinear ODEs is associated with any decomposition of the Lie algebra of Laurent series with coefficients being elements of a semi-simple Lie algebra into a sum of the subalgebra consisting of the…
We use Nakajima's geometric approach to representations of quantum affine algebras and recent results on explicit descriptions of specific canonical basis elements, to derive closed positive formulas for certain decomposition numbers of…
A general method of producing correspondences and spectral categories out of symmetric ring objects in general categories is given. As an application, stable homotopy theory of spectra $SH$ is recovered from modules over a commutative…
A generalisation of existing SU(2) results is obtained. In particular, the source-free Gauss law for SU(3)-valued gauge fields is solved using a non-Abelian analogue of the Poincare lemma. When sources are present, the colour-electric field…
Consider a family of integral complex locally planar curves whose relative Hilbert scheme of points is smooth. The decomposition theorem of Beilinson, Bernstein, and Deligne asserts that the pushforward of the constant sheaf on the relative…
Categorification is a process of lifting structures to a higher categorical level. The original structure can then be recovered by means of the so-called "decategorification" functor. Algebras are typically categorified to additive…
These three topics are an attempt to explicate some curiosities of the inverse problem of representation theory (i.e. having a set of operators to describe the "correct" algebraic object, which is represented by them) on simple examples…
Efficient solution of the lowest eigenmodes is studied for a family of related eigenvalue problems with common $2\times 2$ block structure. It is assumed that the upper diagonal block varies between different versions while the lower…
We prove two general decomposition theorems for fixed-point invariants: one for the Lefschetz number and one for the Reidemeister trace. These theorems imply the familiar additivity results for these invariants. Moreover, the proofs of…
Modern program verifiers use logic-based encodings of the verification problem that are discharged by a back end reasoning engine. However, instances of such encodings for large programs can quickly overwhelm these back end solvers. Hence,…