Related papers: Theorem of completeness for a Dirac-type operator …
Along the lines of the classic Hodge-De Rham theory a general decomposition theorem for sections of a Dirac bundle over a compact Riemannian manifold is proved by extending concepts as exterior derivative and coderivative as well as as…
A sufficient condition for existence of a solution of a differential inclusion with a uniformly bounded right-hand side that has nonempty closed (possibly nonconvex) values is obtained. An Olech-type result is obtained as a corollary. An…
We establish an index theorem for Toeplitz operators on odd dimensional spin manifolds with boundary. It may be thought of as an odd dimensional analogue of the Atiyah-Patodi-Singer index theorem for Dirac operators on manifolds with…
These pedagogical lecture notes address to the students in theoretical physics for helping them to understand the mechanisms of the linear operators defined on finite-dimensional vector spaces equipped with definite or indefinite inner…
Let $\mathbb{L}$ be a Dedekind complete unital $f$-algebra. We prove the Riesz-Kantorovich formulas for order bounded $\mathbb{L}$-module homomorphisms from a directed partially ordered $\mathbb{L}$-module with the Riesz Decomposition…
The virial and the Hellmann--Feynman theorems for massless Dirac electrons in a solid are derived and analyzed using generalized continuity equations and scaling transformations. Boundary conditions imposed on the wave function in a finite…
A necessary and sufficient condition is provided for the solvability of a binomial congruence with a composite modulus, circumventing its prime factorization. This is a generalization of Euler's Criterion through that of Euler's Theorem,…
We give a necessary and sufficient condition for the integrality of the Taylor coefficients of mirror maps at the origin. By mirror maps, we mean formal power series z.exp(G(z)/F(z)), where F(z) and G(z)+log(z)F(z) are particular solutions…
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a proof-theoretic soundness and completeness proof, which we…
In a series of papers, we will develop systematically the basic spectral theory of (self-adjoint) boundary value problems for operators of Dirac type. We begin in this paper with the characterization of (self-adjoint) boundary conditions…
We explore the consequences of layering a Lambek proof system over an arbitrary (constraint) logic. A simple model-theoretic semantics for our hybrid language is provided for which a particularly simple combination of Lambek's and the proof…
We demonstrate that the Dirac representation theory can be effectively adjusted and applied to signal theory. The main emphasis is on orthogonality as the principal physical requirement. The particular role of the identity and projection…
We prove that in a countable theory $T$ fully stable over a predicate $P$, any $\lam$-complete set $A$ has the $\lam$-existence property. This means that $A$ can be extended to a $\lam$-saturated model of $T$ without changing the $P$-part.…
We introduce a differential topological proof and an analytical proof of Riemann hypothesis according to the saddle point method because Riemann calculated the integral representation of zeta function on the critical line by this method.…
We prove that the Atiyah-Singer Dirac operator ${\mathrm D}_{\mathrm g}$ in ${\mathrm L}^2$ depends Riesz continuously on ${\mathrm L}^{\infty}$ perturbations of complete metrics ${\mathrm g}$ on a smooth manifold. The Lipschitz bound for…
In this paper the general spectral properties of linear operators in Banach spaces are studied. We find sufficient conditions on structure of Banach spaces and resolvent properties that guarantee completeness of roots elements of Schatten…
The paper is concerned with the following $n\times n$ Dirac type equation$$Ly=-iB(x)^{-1}(y'+Q(x)y)=\lambda y, \quad B(x)=B(x)^*,\quad y={\rm col}(y_1,\ldots,y_n),\quad x\in[0,\ell],$$ on a finite interval $[0,\ell]$. Here $Q$ is a summable…
After introducing the different boundary geometries of rank one symmetric spaces, we state and prove Fried's theorem in the general setting of all those geometries: a closed manifold with a similarity structure is either complete or the…
Gleason's theorem [A. Gleason, J. Math. Mech., \textbf{6}, 885 (1957)] is an important result in the foundations of quantum mechanics, where it justifies the Born rule as a mathematical consequence of the quantum formalism. Formally, it…
We investigate the completeness of intuitionistic logic with respect to Prawitz's proof-theoretic validity. As an intuitionistic natural deduction system, we apply atomic second-order intuitionistic propositional logic. By developing phase…