Spin-charge mixing effects on resonant tunneling in a polarized Luttinger Liquid

We investigate spin-charge mixing effect on resonant tunneling in spin-polarized Tomonaga-Luttinger liquid with double impurities. The mixing arises from Fermi velocity difference between two spin species due to Zeeman effect. Zero bias conductance is calculated as a function of gate voltage $V_{\rm g}$, gate magnetic field $B_{\rm g}$, temperature and magnetic field applied to the system. Mixing effect is shown to cause rotation of the lattice pattern of the conductance peaks in $(V_{\rm g},B_{\rm g})$ plane, which can be observed in experiments. At low temperatures, the contour shapes are classified into three types, reflecting the fact that effective barrier potential is renormalized towards ``perfect reflection'', ``perfect transmission'' and magnetic field induced ``spin-filtering'', respectively.Comment: 10 pages, 4 figures, Sec.I and references largely changed, results for a strong barrier limit added in a new section Sec.I

Theory of superconductivity of carbon nanotubes and graphene

We present a new mechanism of carbon nanotube superconductivity that originates from edge states which are specific to graphene. Using on-site and boundary deformation potentials which do not cause bulk superconductivity, we obtain an appreciable transition temperature for the edge state. As a consequence, a metallic zigzag carbon nanotube having open boundaries can be regarded as a natural superconductor/normal metal/superconductor junction system, in which superconducting states are developed locally at both ends of the nanotube and a normal metal exists in the middle. In this case, a signal of the edge state superconductivity appears as the Josephson current which is sensitive to the length of a nanotube and the position of the Fermi energy. Such a dependence distinguishs edge state superconductivity from bulk superconductivity.Comment: 5 pages, 2 figure

Axiomatic systems and topological semantics for intuitionistic temporal logic

We propose four axiomatic systems for intuitionistic linear temporal logic and show that each of these systems is sound for a class of structures based either on Kripke frames or on dynamic topological systems. Our topological semantics features a new interpretation for the `henceforth' modality that is a natural intuitionistic variant of the classical one. Using the soundness results, we show that the four logics obtained from the axiomatic systems are distinct. Finally, we show that when the language is restricted to the `henceforth'-free fragment, the set of valid formulas for the relational and topological semantics coincide

Open‐closed field line boundary position: A parametric study using an MHD model

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/94613/1/jgra17195.pd

Complete blockage of the mevalonate pathway results in male gametophyte lethality

Plants have two isoprenoid biosynthetic pathways: the cytosolic mevalonate (MVA) pathway and the plastidic 2-C-methyl-D-erythritol 4-phosphate (MEP) pathway. Since the discovery of the MEP pathway, possible metabolic cross-talk between these pathways has prompted intense research. Although many studies have shown the existence of such cross-talk using feeding experiments, it remains to be determined if native cross-talk, rather than exogenously applied metabolites, can compensate for complete blockage of the MVA pathway. Previously, Arabidopsis mutants for HMG1 and HMG2 encoding HMG-CoA reductase (HMGR) were isolated. Although it was shown that HMGR1 is a functional HMGR, the enzyme activity of HMGR2 has not been confirmed. It is demonstrated here that HMG2 encodes a functional reductase with similar activity to HMGR1, using enzyme assays and complementation experiments. To estimate the contribution of native cross-talk, an attempt was made to block the MVA pathway by making double mutants lacking both HMG1 and HMG2, but no double homozygotes were detected in the progeny of self-pollinated HMG1/hmg1 hmg2/hmg2 plants. hmg1 hmg2 male gametophytes appeared to be lethal based on crossing experiments, and microscopy indicated that ∼50% of the microspores from the HMG1/hmg1 hmg2/hmg2 plant appeared shrunken and exhibited poorly defined endoplasmic reticulum membranes. In situ hybridization showed that HMG1 transcripts were expressed in both the tapetum and microspores, while HMG2 mRNA appeared only in microspores. It is concluded that native cross-talk from the plastid cannot compensate for complete blockage of the MVA pathway, at least during male gametophyte development, because either HMG1 or HMG2 is required for male gametophyte development

Towards concolic testing for hybrid systems

Hybrid systems exhibit both continuous and discrete behavior. Analyzing hybrid systems is known to be hard. Inspired by the idea of concolic testing (of programs), we investigate whether we can combine random sampling and symbolic execution in order to effectively verify hybrid systems. We identify a sufficient condition under which such a combination is more effective than random sampling. Furthermore, we analyze different strategies of combining random sampling and symbolic execution and propose an algorithm which allows us to dynamically switch between them so as to reduce the overall cost. Our method has been implemented as a web-based checker named HYCHECKER. HYCHECKER has been evaluated with benchmark hybrid systems and a water treatment system in order to test its effectiveness.CPCI-S(ISTP)[email protected]; [email protected]