Klee Irwin
نویسنده
چکیده
Heterotic supergravity with (1+3)–dimensional domain wall configurations and (warped) internal, six dimensional, almost-Kähler manifolds X are studied. Considering on ten dimensional spacetime, nonholonomic distributions with conventional double fibrations, 2+2+...=2+2+3+3, and associated SU(3) structures on internal space, we generalize for real, internal, almost symplectic gravitational structures the constructions with gravitational and gauge instantons of tanh-kink type [1, 2]. They include the first α corrections to the heterotic supergravity action, parameterized in a form to imply nonholonomic deformations of the Yang-Mills sector and corresponding Bianchi identities. We show how it is possible to construct a variety of solutions, depending on the type of nonholonomic distributions and deformations of ’prime’ instanton configurations characterized by two real supercharges. This corresponds to N = 1/2 supersymmetric, nonholonomic manifolds from the four dimensional point of view. Our method provides a unified description of embedding nonholonomically deformed tanh-kink-type instantons into half-BPS solutions of heterotic supergravity. This allows us to elaborate new geometric methods of constructing exact solutions of motion equations, with first order α corrections to the heterotic supergravity. Such a formalism is applied for general and/or warped almost-Kähler configurations, which allows us to generate nontrivial (1+3)-d domain walls. This formalism is utilized in our associated publication [3] in order to construct and study generic off-diagonal nonholonomic deformations of the Kerr metric, encoding contributions from heterotic supergravity.
منابع مشابه
The Code Theoretic Axiom
A logical physical ontology is code theory, wherein reality is neither deterministic nor random. In light of Conway and Kochen’s free will theorem [1] and strong free will theorem [2], we discuss the plausibility of a third axiomatic option geometric language; the code theoretic axiom. We suggest freewill choices at the syntactically free steps of a geometric language of spacetime form the code...
متن کاملOff-diagonal deformations of Kerr metrics and black ellipsoids in heterotic supergravity
Geometric methods for constructing exact solutions of equations of motion with first order α′ corrections to the heterotic supergravity action implying a nontrivial Yang–Mills sector and six-dimensional, 6-d, almostKähler internal spaces are studied. In 10-d spacetimes, general parametrizations for generic off-diagonal metrics, nonlinear and linear connections, and matter sources, when the equa...
متن کاملA bound on the number of perfect matchings in Klee-graphs
We focus on a specific class of planar cubic bridgeless graphs, namely the klee-graphs. K4 is the smallest klee-graph and having a klee-graph G we create another klee-graph by replacing any vertex of G by a triangle, i.e., applying Y∆ operation. In this paper, we prove that every klee-graph with n ≥ 8 vertices has at least 3 · 2 perfect matchings, improving the 2 bound inherited from the genera...
متن کاملKLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive programs. We used KLEE to thoroughly check all 89 stand-alone programs in the GNU COREUTILS utility suite, which form the core user-level environment installed on millions of Unix systems, and arguably are the single most ...
متن کاملKLEE: A Framework for Distributed Top-k Query Algorithms
This paper addresses the efficient processing of top-k queries in wide-area distributed data repositories where the index lists for the attribute values (or text terms) of a query are distributed across a number of data peers and the computational costs include network latency, bandwidth consumption, and local peer work. We present KLEE, a novel algorithmic framework for distributed top-k queri...
متن کامل