On the temperature dependence of ballistic Coulomb drag in nanowires

We have investigated within the theory of Fermi liquid dependence of Coulomb drag current in a passive quantum wire on the applied voltage $V$ across an active wire and on the temperature $T$ for any values of $eV/k_BT$. We assume that the bottoms of the 1D minibands in both wires almost coincide with the Fermi level. We come to conclusions that 1) within a certain temperature interval the drag current can be a descending function of the temperature $T$; 2) the experimentally observed temperature dependence $T^{-0.77}$ of the drag current can be interpreted within the framework of Fermi liquid theory; 3) at relatively high applied voltages the drag current as a function of the applied voltage saturates; 4) the screening of the electron potential by metallic gate electrodes can be of importance.Comment: 7 pages, 1 figur

Phonon drag in ballistic quantum wires

The acoustic phonon-mediated drag-contribution to the drag current created in the ballistic transport regime in a one-dimensional nanowire by phonons generated by a current-carrying ballistic channel in a nearby nanowire is calculated. The threshold of the phonon-mediated drag current with respect to bias or gate voltage is predicted.Comment: 5 pages, 2 figure

Possible origin of the 0.5 plateau in the ballistic conductance of quantum point contacts

A non-equilibrium Green function formalism (NEGF) is used to study the conductance of a side-gated quantum point contact (QPC) in the presence of lateral spin-orbit coupling (LSOC). A small difference of bias voltage between the two side gates (SGs) leads to an inversion asymmetry in the LSOC between the opposite edges of the channel. In single electron modeling of transport, this triggers a spontaneous but insignificant spin polarization in the QPC. However, the spin polarization of the QPC is enhanced substantially when the effect of electron-electron interaction is included. The spin polarization is strong enough to result in the occurrence of a conductance plateau at 0.5G0 (G0 = 2e2/h) in the absence of any external magnetic field. In our simulations of a model QPC device, the 0.5 plateau is found to be quite robust and survives up to a temperature of 40K. The spontaneous spin polarization and the resulting magnetization of the QPC can be reversed by flipping the polarity of the source to drain bias or the potential difference between the two SGs. These numerical simulations are in good agreement with recent experimental results for side-gated QPCs made from the low band gap semiconductor InAs

An overview of the ciao multiparadigm language and program development environment and its design philosophy

We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features can be turned on and off at will for each program module. Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in the format of a paper, pointing instead to the existing literature on the system

Verification of Java Bytecode using Analysis and Transformation of Logic Programs

State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including termination, bounds on resource consumption, etc. The aim of this work is to automatically transfer the power of such analysis tools for LP to the analysis and verification of Java bytecode (JVML). In order to achieve our goal, we rely on well-known techniques for meta-programming and program specialization. More precisely, we propose to partially evaluate a JVML interpreter implemented in LP together with (an LP representation of) a JVML program and then analyze the residual program. Interestingly, at least for the examples we have studied, our approach produces very simple LP representations of the original JVML programs. This can be seen as a decompilation from JVML to high-level LP source. By reasoning about such residual programs, we can automatically prove in the CiaoPP system some non-trivial properties of JVML programs such as termination, run-time error freeness and infer bounds on its resource consumption. We are not aware of any other system which is able to verify such advanced properties of Java bytecode

Shot noise of Coulomb drag current

We work out a theory of shot noise in a special case. This is a noise of the Coulomb drag current excited under the ballistic transport regime in a one-dimensional nanowire by a ballistic non-Ohmic current in a nearby parallel nanowire. We predict sharp oscillation of the noise power as a function of gate voltage or the chemical potential of electrons. We also study dependence of the noise on the voltage V across the driving wire. For relatively large values of V the noise power is proportional to V^2.Comment: 9 pages, 2 figure

A Semantics-Based Approach to Malware Detection

Malware detection is a crucial aspect of software security. Current malware detectors work by checking for signatures, which attempt to capture the syntactic characteristics of the machine-level byte sequence of the malware. This reliance on a syntactic approach makes current detectors vulnerable to code obfuscations, increasingly used by malware writers, that alter the syntactic properties of the malware byte sequence without significantly affecting their execution behavior. This paper takes the position that the key to malware identification lies in their semantics. It proposes a semantics-based framework for reasoning about malware detectors and proving properties such as soundness and completeness of these detectors. Our approach uses a trace semantics to characterize the behavior of malware as well as that of the program being checked for infection, and uses abstract interpretation to ``hide'' irrelevant aspects of these behaviors. As a concrete application of our approach, we show that (1) standard signature matching detection schemes are generally sound but not complete, (2) the semantics-aware malware detector proposed byChristodorescu et al. is complete with respect to a number of common obfuscations used by malware writers and (3) the malware detection scheme proposed by Kinder et al. and based on standard model-checking techniques is sound in general and complete on some, but not all, obfuscations handled by the semantics-aware malware detector

Ballistic electron transport in stubbed quantum waveguides: experiment and theory

We present results of experimental and theoretical investigations of electron transport through stub-shaped waveguides or electron stub tuners (ESTs) in the ballistic regime. Measurements of the conductance G as a function of voltages, applied to different gates V_i (i=bottom, top, and side) of the device, show oscillations in the region of the first quantized plateau which we attribute to reflection resonances. The oscillations are rather regular and almost periodic when the height h of the EST cavity is small compared to its width. When h is increased, the oscillations become less regular and broad depressions in G appear. A theoretical analysis, which accounts for the electrostatic potential formed by the gates in the cavity region, and a numerical computation of the transmission probabilities successfully explains the experimental observations. An important finding for real devices, defined by surface Schottky gates, is that the resonance nima result from size quantization along the transport direction of the EST.Comment: Text 20 pages in Latex/Revtex format, 11 Postscript figures. Phys. Rev. B,in pres