Sökning: "correspondence theory"

Visar resultat 21 - 25 av 111 avhandlingar innehållade orden correspondence theory.

1. 21. Strings, boundary fermions and coincident D-branes

   Författare :Linus Wulff; Ulf Lindström; Fawad Hassan; Dmitri Sorokin; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; string theory; open strings; D-branes; supersymmetry; non-abelian gauge theory; tensionless strings; Physics; Fysik;

   Sammanfattning : The appearance in string theory of higher-dimensional objects known as D-branes has been a source of much of the interesting developements in the subject during the past ten years. A very interesting phenomenon occurs when several of these D-branes are made to coincide: The abelian gauge theory living on each brane is enhanced to a non-abelian gauge theory living on the stack of coincident branes. LÄS MER

3. 22. Bulk-boundary correspondence in non-Hermitian systems

   Författare :Elisabet Edvardsson; Emil J. Bergholtz; Vladimir Juričić; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; teoretisk fysik; Theoretical Physics;

   Sammanfattning : The bulk-boundary correspondence, which in topological insulators describes the relationship between the bulk invariant computed for a system with periodic boundary conditions and the number of boundary states in the corresponding system with open boundary conditions, is well-known and important for predicting the behavior of these systems. In recent years, however, the modeling of dissipative and non-equilibrium systems using non-Hermitian Hamiltonians has become increasingly popular. LÄS MER

4. 23. Testing and Proving in Dependent Type Theory

   Författare :Qiao Haiyan; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : We show how random testing, model checking and interactive proving can be combined for functional program verification in dependent type theory. We extend the proof assistant Agda/Alfa for dependent type theory with a tool for random testing of functional programs, thus combining proving and testing in one system. LÄS MER

5. 24. Linking Chains Together : String Bits and the Bethe Ansatz

   Författare :Martin Lübcke; Konstantin Zarembo; Antti Niemi; Matthias Staudacher; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theoretical physics; theoretical physics; string theory; string bit; Bethe ansatz; Teoretisk fysik; Physics; Fysik;

   Sammanfattning : This thesis is divided into two parts. In the first part we focus mainly on certain aspects of the AdS/CFT correspondence. The AdS/CFT correspondence is a proposed duality between Type IIB superstring theory on AdS5 x S5 and N = 4 supersymmetric Yang-Mills theory. LÄS MER

7. 25. Tensionless Strings and Supersymmetric Sigma Models : Aspects of the Target Space Geometry

   Författare :Andreas Bredthauer; Ulf G. Lindström; Bengt E.W. Nilsson; Uppsala universitet; []
   Nyckelord :Theoretical physics; Theoretical Physics; String Theory; Tensionless Strings; Supergravity Backgrounds; Plane Wave; Supersymmetry; Non-linear Sigma Models; Generalized Complex Geometry; Teoretisk fysik;

   Sammanfattning : In this thesis, two aspects of string theory are discussed, tensionless strings and supersymmetric sigma models.The equivalent to a massless particle in string theory is a tensionless string. Even almost 30 years after it was first mentioned, it is still quite poorly understood. LÄS MER