C@rol: Herramienta Web que aplica un nuevo método para la mejora de la efectividad de grupos de estudiantes a través de la identificación de roles en entornos de aprendizaje colaborativo asistido por ordenador

205 p.

New generation of two-dimensional spintronic systems realized by coupling of Rashba and Dirac fermions

Intriguing phenomena and novel physics predicted for two-dimensional (2D) systems formed by electrons in Dirac or Rashba states motivate an active search for new materials or combinations of the already revealed ones. Being very promising ingredients in themselves, interplaying Dirac and Rashba systems can provide a base for next generation of spintronics devices, to a considerable extent, by mixing their striking properties or by improving technically significant characteristics of each other. Here, we demonstrate that in BiTeI@PbSb2Te4 composed of a BiTeI trilayer on top of the topological insulator (TI) PbSb2Te4 weakly- and strongly-coupled Dirac-Rashba hybrid systems are realized. The coupling strength depends on both interface hexagonal stacking and trilayer-stacking order. The weakly-coupled system can serve as a prototype to examine, e.g., plasmonic excitations, frictional drag, spin-polarized transport, and charge-spin separation effect in multilayer helical metals. In the strongly-coupled regime, within similar to 100 meV energy interval of the bulk TI projected bandgap a helical state substituting for the TI surface state appears. This new state is characterized by a larger momentum, similar velocity, and strong localization within BiTeI. We anticipate that our findings pave the way for designing a new type of spintronics devices based on Rashba-Dirac coupled systems.

El método de reducción en Teoría de la Computabilidad

La Teoría de la Computabilidad es una disciplina encuadrada en la Informática Teórica que tiene como objetivo establecer los límites lógicos que presentan los sistemas informáticos a la hora de resolver problemas mediante el diseño de algoritmos. Estos resultados proporcionan importantes herramientas que se utilizan para demostrar tanto la computabilidad como la incomputabilidad de muchas funciones relevantes. Los primeros problemas incomputables que se encontraron lo fueron allá por la década de los años 30. El problema de parada es el primer y más conocido ejemplo de problema no resoluble mediante técnicas algorítmicas: ningún ordenador, por muy potente que sea, puede anticipar el comportamiento de los programas en ejecución, y decidir de antemano si terminarán o no. Este problema nos proporciona un soporte intuitivo para anticipar la incomputabilidad de otros problemas relacionados y un procedimiento para resolverlos: el método de diagonalización. Sin embargo para determinados problemas también incomputables hay que recurrir a otros métodos. Este texto incluye una descripción de otra técnica básica de Teoría de la Computabilidad: la Reducción. La base del método estriba en demostrar que ciertos pares de problemas están fuertemente relacionados de modo que si el segundo tiene solución algorítmica entonces el primero debe tenerla necesariamente también. Esta relación se establece por medio de funciones transformadoras computables, que permiten convertir de manera automática las instancias positivas del primer problema en instancias positivas del segundo. Esta técnica se utiliza muy a menudo porque resulta comparativamente más sencilla que la diagonalización, ya que en general requiere menos esfuerzo para demostrar la incomputabilidad de un mismo problema.