Related papers: A localized version of the basic triangle theorem
We extend Derrick's theorem to the case of a generic irrotational curved spacetime adopting a strategy similar to the original proof. We show that a static relativistic star made of real scalar fields is never possible regardless of the…
In this article we show how one can use the local models of integrable Hamiltonian systems near critical points to prove a localization theorem for certain singular loci of integrables semi-toric systems for dimension greater than 4.
In earlier work, using the light cone picture, a world sheet field theory that sums planar phi^3 graphs was constructed and developed. Since this theory is both non-local and not explicitly Lorentz invariant, it is desirable to have a…
The main purpose of this paper is to prove the smooth local orbital linearization theorem for smooth vector fields which admit a complete set of first integrals near a nondegenerate singular point. The main tools used in the proof of this…
Given a collection A of holomorphic functions, we consider how to describe all the holomorphic functions locally definable from A. The notion of local definability of holomorphic functions was introduced by Wilkie, who gave a complete…
First-order logic is known to have limited expressive power over finite structures. It enjoys in particular the locality property, which states that first-order formulae cannot have a global view of a structure. This limitation ensures on…
In a previous paper [1] it was discussed the viability of functional analysis using as a basis a couple of generic functions, and hence vectorial decomposition. Here we complete the paradigm exploiting one of the analysis methodologies…
The notion of symmetry in polynomial rings with several indeterminates is generalized to polynomial rings over finite fields. Families of extensions of the projective line over a finite field of constants possessing this property are…
$Local^{3}$ Index Theorem means $Local(Local(Local \;Index \; Theorem)))$. $Local \; Index \; Theorem$ is the Connes-Moscovici local index theorem \cite{Connes-Moscovici1}, \cite{Connes-Moscovici2}. The second "Local" refers to the cyclic…
We study local-global principles for torsors under reductive linear algebraic groups over semi-global fields; i.e., over one variable function fields over complete discretely valued fields. We provide conditions on the group and the…
In this thesis we define the notion of a locally stratified space. Locally stratified spaces are particular kinds of streams and d-spaces which are locally modelled on stratified spaces. We construct a locally presentable and cartesian…
This is a short note on how a particular graph construction on a subset of edges that lead to a subalgebra construction, provided a tool in proving some ring theoretical properties of Leavitt path algebras.
Fractional calculus is a generalization of classical theories of integration and differentiation to arbitrary order (i.e., real or complex numbers). In the last two decades, this new mathematical modeling approach has been widely used to…
We develop the K-theory of sets with an action of a pointed monoid (or monoid scheme), analogous to the $K$-theory of modules over a ring (or scheme). In order to form localization sequences, we construct the quotient category of a nice…
In this paper, we establish a local limit theorem for linear fields of random variables constructed from independent and identically distributed innovations each with finite second moment. When the coefficients are absolutely summable we do…
The paper deals with a comprehensive theory of mappings, whose local behavior can be described by means of linear subspaces, contained in the graphs of two (primal and dual) generalized derivatives. This class of mappings includes the…
We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…
We continue our analysis of establishing the reliability of "simple" effective theories where massive fields are "frozen" rather than integrated out, in a wide class of four dimensional theories with global or local N=1 supersymmetry. We…
In this paper, we develop a general framework of geometric functorial field theories, meaning that all bordisms in question are endowed with geometric structures. We take particular care to establish a notion of smooth variation of such…
We study loop near-rings, a generalization of near-rings, where the additive structure is not necessarily associative. We introduce local loop near-rings and prove a useful detection principle for localness.