1,899 research outputs found

    Towards the Formalization of Fractional Calculus in Higher-Order Logic

    Full text link
    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 analyze a wide class of physical systems in various fields of science and engineering. In this paper, we describe an ongoing project which aims at formalizing the basic theories of fractional calculus in the HOL Light theorem prover. Mainly, we present the motivation and application of such formalization efforts, a roadmap to achieve our goals, current status of the project and future milestones.Comment: 9 page

    Realization of a Tunable Artificial Atom at a Supercritically Charged Vacancy in Graphene

    Full text link
    The remarkable electronic properties of graphene have fueled the vision of a graphene-based platform for lighter, faster and smarter electronics and computing applications. One of the challenges is to devise ways to tailor its electronic properties and to control its charge carriers. Here we show that a single atom vacancy in graphene can stably host a local charge and that this charge can be gradually built up by applying voltage pulses with the tip of a scanning tunneling microscope (STM). The response of the conduction electrons in graphene to the local charge is monitored with scanning tunneling and Landau level spectroscopy, and compared to numerical simulations. As the charge is increased, its interaction with the conduction electrons undergoes a transition into a supercritical regime 6-11 where itinerant electrons are trapped in a sequence of quasi-bound states which resemble an artificial atom. The quasi-bound electron states are detected by a strong enhancement of the density of states (DOS) within a disc centered on the vacancy site which is surrounded by halo of hole states. We further show that the quasi-bound states at the vacancy site are gate tunable and that the trapping mechanism can be turned on and off, providing a new mechanism to control and guide electrons in grapheneComment: 18 pages and 5 figures plus 14 pages and 15 figures of supplementary information. Nature Physics advance online publication, Feb 22 (2016

    Electronic Origin of High Temperature Superconductivity in Single-Layer FeSe Superconductor

    Full text link
    The latest discovery of high temperature superconductivity signature in single-layer FeSe is significant because it is possible to break the superconducting critical temperature ceiling (maximum Tc~55 K) that has been stagnant since the discovery of Fe-based superconductivity in 2008. It also blows the superconductivity community by surprise because such a high Tc is unexpected in FeSe system with the bulk FeSe exhibiting a Tc at only 8 K at ambient pressure which can be enhanced to 38 K under high pressure. The Tc is still unusually high even considering the newly-discovered intercalated FeSe system A_xFe_{2-y}Se_2 (A=K, Cs, Rb and Tl) with a Tc at 32 K at ambient pressure and possible Tc near 48 K under high pressure. Particularly interesting is that such a high temperature superconductivity occurs in a single-layer FeSe system that is considered as a key building block of the Fe-based superconductors. Understanding the origin of high temperature superconductivity in such a strictly two-dimensional FeSe system is crucial to understanding the superconductivity mechanism in Fe-based superconductors in particular, and providing key insights on how to achieve high temperature superconductivity in general. Here we report distinct electronic structure associated with the single-layer FeSe superconductor. Its Fermi surface topology is different from other Fe-based superconductors; it consists only of electron pockets near the zone corner without indication of any Fermi surface around the zone center. Our observation of large and nearly isotropic superconducting gap in this strictly two-dimensional system rules out existence of node in the superconducting gap. These results have provided an unambiguous case that such a unique electronic structure is favorable for realizing high temperature superconductivity

    Conformal Quivers and Melting Molecules

    Get PDF
    Quiver quantum mechanics describes the low energy dynamics of a system of wrapped D-branes. It captures several aspects of single and multicentered BPS black hole geometries in four-dimensional N=2\mathcal{N} = 2 supergravity such as the presence of bound states and an exponential growth of microstates. The Coulomb branch of an Abelian three node quiver is obtained by integrating out the massive strings connecting the D-particles. It allows for a scaling regime corresponding to a deep AdS2_2 throat on the gravity side. In this scaling regime, the Coulomb branch is shown to be an SL(2,R)SL(2,\mathbb{R}) invariant multi-particle superconformal quantum mechanics. Finally, we integrate out the strings at finite temperature---rather than in their ground state---and show how the Coulomb branch `melts' into the Higgs branch at high enough temperatures. For scaling solutions the melting occurs for arbitrarily small temperatures, whereas bound states can be metastable and thus long lived. Throughout the paper, we discuss how far the analogy between the quiver model and the gravity picture, particularly within the AdS2_2 throat, can be taken.Comment: 49 pages, 16 figure

    Gain control network conditions in early sensory coding

    Get PDF
    Gain control is essential for the proper function of any sensory system. However, the precise mechanisms for achieving effective gain control in the brain are unknown. Based on our understanding of the existence and strength of connections in the insect olfactory system, we analyze the conditions that lead to controlled gain in a randomly connected network of excitatory and inhibitory neurons. We consider two scenarios for the variation of input into the system. In the first case, the intensity of the sensory input controls the input currents to a fixed proportion of neurons of the excitatory and inhibitory populations. In the second case, increasing intensity of the sensory stimulus will both, recruit an increasing number of neurons that receive input and change the input current that they receive. Using a mean field approximation for the network activity we derive relationships between the parameters of the network that ensure that the overall level of activity of the excitatory population remains unchanged for increasing intensity of the external stimulation. We find that, first, the main parameters that regulate network gain are the probabilities of connections from the inhibitory population to the excitatory population and of the connections within the inhibitory population. Second, we show that strict gain control is not achievable in a random network in the second case, when the input recruits an increasing number of neurons. Finally, we confirm that the gain control conditions derived from the mean field approximation are valid in simulations of firing rate models and Hodgkin-Huxley conductance based models
    • …
    corecore