arXiv subjects

J. Levy

Publications and source records attributed to J. Levy.

6 recordsLinked to original sources

arXiv2013

The Fractal Dimension of SAT Formulas

Modern SAT solvers have experienced a remarkable progress on solving industrial instances. Most of the techniques have been developed after an intensive experimental testing process. Recently, there have been some attempts to analyze the structure of these formulas in terms of complex networks, with the long-term aim of explaining the success of these SAT solving techniques, and possibly improving them. We study the fractal dimension of SAT formulas, and show that most industrial families of formulas are self-similar, with a small fractal dimension. We also show that this dimension is not affected by the addition of learnt clauses. We explore how the dimension of a formula, together with other graph properties can be used to characterize SAT instances. Finally, we give empirical evidence that these graph properties can be used in state-of-the-art portfolios.

cs.AI↗

arXiv2010

Modeling of Circuits with Strongly Temperature Dependent Thermal Conductivities for Cryogenic CMOS

When designing and studying circuits operating at cryogenic temperatures understanding local heating within the circuits is critical due to the temperature dependence of transistor and noise behavior. We have investigated local heating effects of a CMOS ring oscillator and current comparator at T=4.2K. In two cases, the temperature near the circuit was measured with an integrated thermometer. A lumped element equivalent electrical circuit SPICE model that accounts for the strongly temperature dependent thermal conductivities and special 4.2K heat sinking considerations was developed. The temperature dependence on power is solved numerically with a SPICE package, and the results are within 20% of the measured values for local heating ranging from <1K to over 100K.

cond-mat.mtrl-sci↗

arXiv2009

Electrical manipulation of an electronic two-state system in Ge/Si quantum dots

We calculate that the electron states of strained self-assembled Ge/Si quantum dots provide a convenient two-state system for electrical control. An electronic state localized at the apex of the quantum dot is nearly degenerate with a state localized at the base of the quantum dot. Small electric fields shift the electronic ground state from apex-localized to base-localized, which permits sensitive tuning of the electronic, optical and magnetic properties of the dot. As one example, we describe how spin-spin coupling between two Ge/Si dots can be controlled very sensitively by shifting the individual dot's electronic ground state between apex and base.

cond-mat.mes-hall↗

arXiv2004

320-Channel Dual Phase Lock-in Optical Spectrometer

The development of a multiple-channel lock-in optical spectrometer (LIOS) is presented, which enables parallel phase-sensitive detection at the output of an optical spectrometer. The light intensity from a spectrally broad source is modulated at the reference frequency, and focused into a high-resolution imaging spectrometer. The height at which the light enters the spectrometer is controlled by an acousto-optic deflector, and the height information is preserved at the output focal plane. A two-dimensional InGaAs focal plane array collects light that has been dispersed in wavelength along the horizontal direction, and in time along the vertical direction. The data is demodulated using a high performance computer-based digital signal processor. This parallel approach greatly enhances (by more than 100x) the speed at which spectrally resolved lock-in data can be acquired. The noise performance of a working system optimized for the 1300 nm wavelength range is analyzed using a laser diode light source. Time-resolved absorption traces are obtained for InAs quantum dots embedded in a GaAs matrix, and for dispersed films of PbSe nanocrystals.

cond-mat.other↗

arXiv2004

Variable - temperature scanning optical and force microscope

The implementation of a scanning microscope capable of working in confocal, atomic force and apertureless near field configurations is presented. The microscope is designed to operate in the temperature range 4 - 300 K, using conventional helium flow cryostats. In AFM mode, the distance between the sample and an etched tungsten tip is controlled by a self - sensing piezoelectric tuning fork. The vertical position of both the AFM head and microscope objective can be accurately controlled using piezoelectric coarse approach motors. The scanning is performed using a compact XYZ stage, while the AFM and optical head are kept fixed, allowing scanning probe and optical measurements to be acquired simultaneously and in concert. The free optical axis of the microscope enables both reflection and transmission experiments to be performed.

cond-mat.other↗

arXiv2000

Spintronics and Quantum Computing with Quantum Dots

The creation, coherent manipulation, and measurement of spins in nanostructures open up completely new possibilities for electronics and information processing, among them quantum computing and quantum communication. We review our theoretical proposal for using electron spins in quantum dots as quantum bits. We present single- and two qubit gate mechanisms in laterally as well as vertically coupled quantum dots and discuss the possibility to couple spins in quantum dots via superexchange. We further present the recently proposed schemes for using a single quantum dot as spin-filter and spin read-out/memory device.

cond-mat.mes-hall↗