In this work we prove the local multiplicity at most one theorem underlying the definition and theory of local $γ$-, $ε$- and $L$-factors, defined by virtue of the generalized doubling method, over any local field of characteristic 0. We also prese...
Energy barriers, which control the rates of chemical reactions, are seriously underestimated by computationally-efficient semi-local approximations for the exchange-correlation energy. The accuracy of a semi-local density functional approximation is...
We present a new formulation of effective field theory for nucleon-nucleon (NN) interactions which treats pion interactions perturbatively, and we offer evidence that the expansion converges satisfactorily to third order in the expansion, which we...
We introduce a new homological machine for the study of secondary geometric invariants. The objects, called spark complexes, occur in many areas of mathematics. The theory is applied here to establish the equivalence of a large family of spark comp...
Information is a key concept in evolutionary biology. Information is stored in biological organism's genomes, and used to generate the organism as well as to maintain and control it. Information is also "that which evolves". When a population adapts...
...
Using boundary-layer theory, natural convection heat transfer formulas which are accurate over a wide range of Rayleigh numbers ($Ra$) were developed in the 1970s and 1980s for vertical and downward-facing plates. A comprehensive formula for upward-f...
While Albert Einstein's theory of General Relativity (GR) has been tested extensively in our solar system, it is just beginning to be tested in the strong gravitational fields that surround black holes. As a way to study the behavior of gravity in th...
In this thesis, we explore the subject of complex spacetimes, in which the mathematical theory of complex manifolds gets modified for application to General Relativity. We will also explore the mysterious Newman-Janis trick, which is an elementary an...
Given a group G and a normal subgroup H we study the problem of choosing coset representatives with few carries....
The basic notions of category theory, such as limit, adjunction, and orthogonality, all involve assertions of the existence and uniqueness of certain arrows. Weak notions arise when one drops the uniqueness requirement and asks only for existence. Th...
We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for simplicially-enriched categ...
Crystal basis theory for the queer Lie superalgebra was developed by Grantcharov et al. and it was shown that semistandard decomposition tableaux admit the structure of crystals for the queer Lie superalgebra or simply $\mathfrak{q}$-crystal structur...
...
We provide a general construction of convex roof measures of coherence. This construction is based on arbitrary coherence measures of pure states in the framework of resource theory of coherence. Convex roof measures of coherence bound from above all...
We establish formulas for computation of the higher algebraic $K$-groups of the endomorphism rings of objects linked by a morphism in an additive category. Let ${\mathcal C}$ be an additive category, and let $Y\ra X$ be a covariant morphism of object...
While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology, and applications, the present work situates itself in the context of a quite recent research trend: development support for ASP. In particular, we pr...
The study of rational relations is fundamental to the study of formal languages and automata theory. A rational relation is conjugate if each pair of words in the relation is conjugate (or cyclic shifts of each other). The notion of conjugacy has bee...
*** To appear in Theory and Practice of Logic Programming (TPLP) *** Within the context of constraint solving, a portfolio approach allows one to exploit the synergy between different solvers in order to create a globally better solver. In this pap...
Belief propagation -- a powerful heuristic method to solve inference problems involving a large number of random variables -- was recently generalized to quantum theory. Like its classical counterpart, this algorithm is exact on trees when the appr...