Abstract We consider the sharp Strichartz estimate for wave equation on in energy space, due to Bez and Rogers. show that it can be refined by adding a term proportional distance from set of maximizers, spirit classical sharpened Sobolev Bianchi Egnell.

as applications of spirit in the quranic verses and some hadiths indicate, by spirit is meant other than human spirit. benefitting from quranic verses and hadiths of the infallible-innocent personalities, the present essay speaks of characteristics of spirit and aims at discovering the nature and existential reality of spirit and, thereby, attaining the utmost knowledge of human spirit. accordi...

We prove an upper bound for the evaluation of all classical SU2 spin networks conjectured by Garoufalidis and van der Veen. This implies one half of the analogue of the volume conjecture which they proposed for classical spin networks. We are also able to obtain the other half, namely, an exact determination of the spectral radius, for the special class of generalized drum graphs. Our proof use...

We present an axiomatization of the entropy of capacities defined on set systems which are not necessarily the whole power set, but satisfy a condition of regularity. This entropy encompasses the definition of Marichal and Roubens for the entropy of capacities. Its axiomatization is in the spirit of the one of Faddeev for the classical Shannon entropy. In addition, we present also an axiomatiza...

This comparative study was undertaken in the belief that our understanding of the modern economic spirit, volatility of global markets and political activism can be furthered by revisiting Marx‟s and Weber‟s sociological, philosophical, economic and religious explanations of the rise of capitalism. The author identifies and reconsiders much of the scholarly literature on the argument that there...

In this paper, we propose a logic which is nontrivial in the presence of inconsistency. The logic is based on the resolution principle and coincides with the classical logic when premises are consistent. Some results of interesting to Automated Theorem Proving are a sound and sometimes complete three-valued semantics for the resolution rule and a refutation process which is much in the spirit o...

In the spirit of Chern’s proof of the Gauss-Bonnet theorem, we show that Sha’s secondary Chern-Euler form Ψ is exact away from the outward and inward unit normal vectors by constructing a form Γ such that dΓ = Ψ. Using Stokes’ theorem, this evaluates the boundary term α∗(Ψ)[M ] in Sha’s relative Poincaré-Hopf theorem in terms of more classical local indices, Ind ∂+V and Ind ∂−V , for the tangen...

We introduce a quantum lambda calculus inspired by Lafont’s Soft Linear Logic and capturing the polynomial quantum complexity classes EQP, BQP and ZQP. The calculus is based on the ‘‘classical control and quantum data’’ paradigm. This is the first example of a formal systemcapturing quantumcomplexity classes in the spirit of implicit computational complexity — it is machine-free and no explicit...

We use the recently introduced concept of a Scaled Relative Graph (SRG) to develop graphical analysis input-output properties feedback systems. The SRG nonlinear operator generalizes Nyquist diagram an LTI system. In spirit classical control theory, important robustness indicators systems are measured as distances between SRGs.