BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jianhua Zhao

Jianhua Zhao appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
cond-mat.mtrl-scicond-mat.mes-hallLogic in Computer ScienceMachine LearningBiomoleculescond-mat.othercond-mat.supr-conphysics.app-phphysics.ins-detquant-phQuantitative Methods

Catalog footprint

What is connected

27works
11topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

27 published item(s)

preprint2024arXiv

Robust bilinear factor analysis based on the matrix-variate $t$ distribution

Factor Analysis based on multivariate $t$ distribution ($t$fa) is a useful robust tool for extracting common factors on heavy-tailed or contaminated data. However, $t$fa is only applicable to vector data. When $t$fa is applied to matrix data, it is common to first vectorize the matrix observations. This introduces two challenges for $t$fa: (i) the inherent matrix structure of the data is broken, and (ii) robustness may be lost, as vectorized matrix data typically results in a high data dimension, which could easily lead to the breakdown of $t$fa. To address these issues, starting from the intrinsic matrix structure of matrix data, a novel robust factor analysis model, namely bilinear factor analysis built on the matrix-variate $t$ distribution ($t$bfa), is proposed in this paper. The novelty is that it is capable to simultaneously extract common factors for both row and column variables of interest on heavy-tailed or contaminated matrix data. Two efficient algorithms for maximum likelihood estimation of $t$bfa are developed. Closed-form expression for the Fisher information matrix to calculate the accuracy of parameter estimates are derived. Empirical studies are conducted to understand the proposed $t$bfa model and compare with related competitors. The results demonstrate the superiority and practicality of $t$bfa. Importantly, $t$bfa exhibits a significantly higher breakdown point than $t$fa, making it more suitable for matrix data.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

Quantifying quantum coherence of multiple-charge states in tunable Josephson junctions

Coherence and tunneling play central roles in quantum phenomena. In a tunneling event, the time that a particle spends inside the barrier has been fiercely debated. This problem becomes more complex when tunneling repeatedly occurs back and forth, and when involving many particles. Here we report the measurement of the coherence time of various charge states tunneling in a nanowire-based tunable Josephson junction; including single charges, multiple charges, and Cooper pairs. We studied all the charge tunneling processes using Landau-Zener-Stückelberg-Majorana (LZSM) interferometry, and observed high-quality interference patterns. In particular, the coherence time of the charge states was extracted from the interference fringes in Fourier space. In addition, our measurements show the break-up of Cooper pairs, from a macroscopic quantum coherent state to individual particle states. Besides the fundamental research interest, our results also establish LZSM interferometry as a powerful technique to explore the coherence time of charges in hybrid devices.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Choosing the number of factors in factor analysis with incomplete data via a hierarchical Bayesian information criterion

The Bayesian information criterion (BIC), defined as the observed data log likelihood minus a penalty term based on the sample size $N$, is a popular model selection criterion for factor analysis with complete data. This definition has also been suggested for incomplete data. However, the penalty term based on the `complete' sample size $N$ is the same no matter whether in a complete or incomplete data case. For incomplete data, there are often only $N_i<N$ observations for variable $i$, which means that using the `complete' sample size $N$ implausibly ignores the amounts of missing information inherent in incomplete data. Given this observation, a novel criterion called hierarchical BIC (HBIC) for factor analysis with incomplete data is proposed. The novelty is that it only uses the actual amounts of observed information, namely $N_i$'s, in the penalty term. Theoretically, it is shown that HBIC is a large sample approximation of variational Bayesian (VB) lower bound, and BIC is a further approximation of HBIC, which means that HBIC shares the theoretical consistency of BIC. Experiments on synthetic and real data sets are conducted to access the finite sample performance of HBIC, BIC, and related criteria with various missing rates. The results show that HBIC and BIC perform similarly when the missing rate is small, but HBIC is more accurate when the missing rate is not small.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Electrically tunable spin-orbit interaction in an InAs nanosheet

We report on an experimental study of the spin-orbit interaction (SOI) in an epitaxially grown free-standing InAs nanosheet in a dual-gate field-effect device. Gate-transfer characteristic measurements show that independent tunings of the carrier density in the nanosheet and the potential difference across the nanosheet can be efficiently achieved with use of the dual gate. The quantum transport characteristics of the InAs nanosheet are investigated by magnetoconductance measurements at low temperatures. It is shown that the electron transport in the nanosheet can be tuned from the weak antilocalization to the weak localization and then back to the weak antilocalization regime with a voltage applied over the dual gate without a change in carrier density. The spin-orbit length extracted from the magnetoconductance measurements at a constant carrier density exhibits a peak value at which the SOI of the Rashba type is suppressed and the spin relaxation due to the presence of an SOI of the Dresselhaus type in the nanosheet can be revealed. Energy band diagram simulations have also been carried out for the device at the experimental conditions and the physical insights into the experimental observations have been discussed in light of the results of simulations.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Fabrication and characterization of InSb nanosheet/hBN/graphite heterostructure devices

Semiconductor InSb nanosheet/hexagonal boron nitride (hBN)/graphite trilayers are fabricated, and single- and double-gate devices made from the trilayers are realized and characterized. The InSb nanosheets employed in the trilayer devices are epitaxially grown, free-standing, zincblende crystals and are in micrometer lateral sizes. The hBN and graphite flakes are obtained by exfoliation. Each trilayer is made by successively stacking an InSb nanosheet on an hBN flake and on a graphite flake using a home-made alignment stacking/transfer setup. The fabricated single- and double-gate devices are characterized by electrical and/or magnetotransport measurements. In all these devices, the graphite and hBN flakes are employed as the bottom gates and the gate dielectrics. The measurements of a fabricated single bottom-gate field-effect device show that the InSb nanosheet in the device has an electron field-effect mobility of ~7300 cm$^2$V$^{-1}$s$^{-1}$ and a low gate hysteresis of ~0.05 V at 1.9 K. The measurements of a double-gate Hall-bar device show that both the top and the bottom gate exhibit strong capacitive couplings to the InSb nanosheet channel and can thus tune the nanosheet channel conduction effectively. The electron Hall mobility in the InSb nanosheet of the Hall-bar device is extracted to be larger than 1.1$\times$10$^4$ cm$^2$V$^{-1}$s$^{-1}$ at a sheet electron density of ~6.1$\times$10$^{11}$ cm$^{-2}$ and 1.9 K and, thus, the device exhibits well-defined Shubnikov-de Haas oscillations.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Quantum oscillations in a hexagonal boron nitride-supported single crystalline InSb nanosheet

A gated Hall-bar device is made from an epitaxially grown, free-standing InSb nanosheet on a hexagonal boron nitride (hBN) dielectric/graphite gate structure and the electron transport properties in the InSb nanosheet are studied by gate-transfer characteristic and magnetotransport measurements at low temperatures. The measurements show that the carriers in the InSb nanosheet are of electrons and the carrier density in the nanosheet can be highly efficiently tuned by the graphite gate. The mobility of the electrons in the InSb nanosheet is extracted from low-field magneotransport measurements and a value of the mobility exceeding ~18000 cm$^2$V$^{-1}$s$^{-1}$ is found. High-field magentotransport measurements show well-defined Shubnikov-de Haas (SdH) oscillations in the longitudinal resistance of the InSb nanosheet. Temperature-dependent measurements of the SdH oscillations are carried out and key transport parameters, including the electron effective mass m$^*$$\sim$0.028 m$_0$ and the quantum lifetime $τ$$\sim$0.046 ps, in the InSb nanosheet are extracted. It is for the first time that such experimental measurements have been reported for a free-standing InSb nanosheet and the results obtained indicate that InSb nanosheet/hBN/graphite gate structures can be used to develop advanced quantum devices for novel physics studies and for quantum technology applications.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A double quantum dot defined by top gates in a single crystalline InSb nanosheet

We report on the transport study of a double quantum dot (DQD) device made from a freestanding, single crystalline InSb nanosheet. The freestanding nanosheet is grown by molecular beam epitaxy and the DQD is defined by top gate technique. Through the transport measurements, we demonstrate how a single quantum dot (QD) and a DQD can be defined in an InSb nanosheet by tuning voltages applied to the top gates. We also measure the charge stability diagrams of the DQD and show that the charge states and the inter-dot coupling between the two individual QDs in the DQD can be efficiently regulated by the top gates. Numerical simulations for the potential profile and charge density distribution in the DQD have been performed and the results support the experimental findings and provide a better understanding of fabrication and transport characteristics of the DQD in the InSb nanosheet. The achieved DQD in the two-dimensional InSb nanosheet possesses pronounced benefits in lateral scaling and can thus serve as a new building block for developments of quantum computation and quantum simulation technologies.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Highly tunable quadruple quantum dot in a narrow bandgap semiconductor InAs nanowire

Quantum dots (QDs) made from semiconductors are among the most promising platforms for the developments of quantum computing and simulation chips, and have advantages over other platforms in high density integration and in compatibility to the standard semiconductor chip fabrication technology. However, development of a highly tunable semiconductor multiple QD system still remains as a major challenge. Here, we demonstrate realization of a highly tunable linear quadruple QD (QQD) in a narrow bandgap semiconductor InAs nanowire with fine finger gate technique. The QQD is studied by electron transport measurements in the linear response regime. Characteristic two-dimensional charge stability diagrams containing four groups of resonant current lines of different slopes are found for the QQD. It is shown that these current lines can be individually assigned as arising from resonant electron transport through the energy levels of different QDs. Benefited from the excellent gate tunability, we also demonstrate tuning of the QQD to regimes where the energy levels of two QDs, three QDs and all the four QDs are energetically on resonance, respectively, with the fermi level of source and drain contacts. A capacitance network model is developed for the linear QQD and the simulated charge stability diagrams based on the model show good agreements with the experiments. Our work presents a solid experimental evidence that narrow bandgap semiconductor nanowires multiple QDs could be used as a versatile platform to achieve integrated qubits for quantum computing and to perform quantum simulations for complex many-body systems.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Detection of charge states of an InAs nanowire triple quantum dot with an integrated nanowire charge sensor

A linear triple quantum dot (TQD) integrated with a quantum dot (QD) charge sensor is realized. The TQD and the charge sensor are built from two adjacent InAs nanowires by fine finger gate technique. The charge state configurations of the nanowire TQD are studied by measurements of the direct transport signals of the TQD and by detection of the charge state transitions in the TQD via the nanowire QD sensor. Excellent agreements in the charge stability diagrams of the TQD obtained by the direct transport measurements and by the charge-state transition detection measurements are achieved. It is shown that the charge stability diagrams are featured by three groups of charge state transition lines of different slopes, corresponding to the changes in the electron occupation numbers of the three individual QDs in the TQD. It is also shown that the integrated nanowire QD sensor is highly sensitive and can detect the charge state transitions in the cases where the direct transport signals of the TQD are too weak to be measurable. Tuning to a regime, where all the three QDs in the TQD are close to be on resonance with the Fermi level of the source and drain reservoirs and co-existence of triple and quadruple points becomes possible, has also been demonstrated with the help of the charge sensor in the region where the direct transport signals of the TQD are hardly visible.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

In Situ Epitaxy of Pure Phase Ultra-Thin InAs-Al Nanowires for Quantum Devices

Hybrid semiconductor-superconductor InAs-Al nanowires with uniform and defect-free crystal interfaces are one of the most promising candidates used in the quest for Majorana zero modes (MZMs). However, InAs nanowires often exhibit a high density of randomly distributed twin defects and stacking faults, which result in an uncontrolled and non-uniform InAs-Al interface. Furthermore, this type of disorder can create potential inhomogeneity in the wire, destroy the topological gap, and form trivial sub-gap states mimicking MZM in transport experiments. Further study shows that reducing the InAs nanowire diameter from growth can significantly suppress the formation of these defects and stacking faults. Here, we demonstrate the in situ growth of ultra-thin InAs nanowires with epitaxial Al film by molecular-beam epitaxy. Our InAs diameter (~ 30 nm) is only one-third of the diameters (~ 100 nm) commonly used in literatures. The ultra-thin InAs nanowires are pure phase crystals for various different growth directions, suggesting a low level of disorder. Transmission electron microscopy confirms an atomically sharp and uniform interface between the Al shell and the InAs wire. Quantum transport study on these devices resolves a hard induced superconducting gap and $2e^-$ periodic Coulomb blockade at zero magnetic field, a necessary step for future MZM experiments. A large zero bias conductance peak with a peak height reaching 80% of $2e^2/h$ is observed.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Molecular Patterning and Directed Self-Assembly of Gold Nanoparticles on GaAs

The ability to create micro/nano patterns of organic self-assembled monolayers on semiconductor surfaces is crucial for fundamental studies and applications in a number of emerging fields in nanoscience. Here, we demonstrate the patterning of thiol molecular SAMs on oxide-free GaAs surface by dip-pen nanolithography and micro-contact printing, facilitated by a process of surface etching and passivation of the GaAs. A quantitative analysis on the molecular diffusion on GaAs was conducted by examining the writing of nanoscale dot and line patterns by DPN, which agrees well with surface diffusion models. The functionality of the patterned thiol molecules was demonstrated by directed self-assembly of gold nanoparticles onto a template of 4-Aminothiophenol SAM on GaAs. The highly selective assembly of the Au NPs was evidenced with atomic force microscopy and scanning electron microscopy. The ability to precisely control the assembly of Au NPs on oxide-free semiconductor surfaces using molecular templates may lead to an efficient bottom-up method for the fabrication of nano-plasmonic structures.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Strong and tunable spin-orbit interaction in a single crystalline InSb nanosheet

A dual-gate InSb nanosheet field-effect device is realized and is used to investigate the physical origin and the controllability of the spin-orbit interaction in a narrow bandgap semiconductor InSb nanosheet. We demonstrate that by applying a voltage over the dual gate, efficiently tuning of the spin-orbit interaction in the InSb nanosheet can be achieved. We also find the presence of an intrinsic spin-orbit interaction in the InSb nanosheet at zero dual-gate voltage and identify its physical origin as a build-in asymmetry in the device layer structure. Having a strong and controllable spin-orbit interaction in an InSb nanosheet could simplify the design and realization of spintronic deceives, spin-based quantum devices and topological quantum devices.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Engineering the polar magneto-optical Kerr effect in strongly strained L10-MnAl films

We report the engineering of the polar magnetooptical (MO) Kerr effect in perpendicularly magnetized L10-MnAl epitaxial films with remarkably tuned magnetization, strain, and structural disorder by varying substrate temperature (Ts) during molecular-beam epitaxy growth. The Kerr rotation was enhanced by a factor of up to 5 with Ts increasing from 150 to 350 oC as a direct consequence of the improvement of the magnetization. A similar remarkable tuning effect was also observed on the Kerr ellipticity and the magnitude of the complex Kerr angle, while the phase of the complex Kerr angle appears to be independent of the magnetization. The combination of the good semiconductor compatibility, the moderate coercivity of 0.3-8.2 kOe, the tunable polar MO Kerr effect of up to ~0.034o, and giant spin procession frequencies of up to ~180 GHz makes L10-MnAl films a very interesting MO material. Our results give insights on both the microscopic mechanisms of the MO Kerr effect in L10-MnAl alloys and their scientific and technological application potential in the emerging spintronics and ultrafast MO modulators.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Intrinsic Paramagnetic Meissner Effect due to s-wave Odd-Frequency Superconductivity

In 1933, Meissner and Ochsenfeld reported the expulsion of magnetic flux, the diamagnetic Meissner effect, from the interior of superconducting lead. This discovery was crucial in formulating the Bardeen-Cooper-Schrieffer (BCS) theory of superconductivity. In exotic superconducting systems BCS theory does not strictly apply. A classical example is a superconductor-magnet hybrid system where magnetic ordering breaks time-reversal symmetry of the superconducting condensate and results in the stabilisation of an odd-frequency superconducting state. It has been predicted that under appropriate conditions, odd-frequency superconductivity should manifest in the Meissner state as fluctuations in the sign of the magnetic susceptibility meaning that the superconductivity can either repel (diamagnetic) or attract (paramagnetic) external magnetic flux. Here we report local probe measurements of faint magnetic fields in a Au/Ho/Nb trilayer system using low energy muons, where antiferromagnetic Ho (4.5 nm) breaks time-reversal symmetry of the proximity induced pair correlations in Au. From depth-resolved measurements below the superconducting transition of Nb we observe a local enhancement of the magnetic field in Au that exceeds the externally applied field, thus proving the existence of an intrinsic paramagnetic Meissner effect arising from an odd-frequency superconducting state.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Measurements of the spin-orbit interaction and Landé g factor in a pure-phase InAs nanowire double quantum dot in the Pauli spin-blockade regime

We demonstrate direct measurements of the spin-orbit interaction and Landé g factors in a semiconductor nanowire double quantum dot. The device is made from a single-crystal pure-phase InAs nanowire on top of an array of finger gates on a Si/SiO$_2$ substrate and the measurements are performed in the Pauli spin-blockade regime. It is found that the double quantum dot exhibits a large singlet-triplet energy splitting of $Δ_{ST}\sim 2.3$ meV, a strong spin-orbit interaction of $Δ_{SO}\sim 140$ $μ$eV, and a large and strongly level-dependent Landé g factor of $\sim 12.5$. These results imply that single-crystal pure-phase InAs nanowires are desired semiconductor nanostructures for applications in quantum information technologies.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Precise tuning of the Curie temperature of (Ga,Mn)As-based magnetic semiconductors by hole compensation: Support for valence-band ferromagnetism

For the prototype diluted ferromagnetic semiconductor (Ga,Mn)As, there is a fundamental concern about the electronic states near the Fermi level, i.e., whether the Fermi level resides in a well-separated impurity band derived from Mn doping (impurity-band model) or in the valence band that is already merged with the Mn-derived impurity band (valence-band model). We investigate this question by carefully shifting the Fermi level by means of carrier compensation. We use helium-ion implantation, a standard industry technology, to precisely compensate the hole doping of GaAs-based diluted ferromagnetic semiconductors while keeping the Mn concentration constant. We monitor the change of Curie temperature ($T_C$) and conductivity. For a broad range of samples including (Ga,Mn)As and (Ga,Mn)(As,P) with various Mn and P concentrations, we observe a smooth decrease of $T_C$ with carrier compensation over a wide temperature range while the conduction is changed from metallic to insulating. The existence of $T_C$ below 10\,K is also confirmed in heavily compensated samples. Our experimental results are naturally explained within the valence-band picture.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Description and comparison of algorithms for correcting anisotropic magnification in cryo-EM images

Single particle electron cryomicroscopy (cryo-EM) allows for structures of proteins and protein complexes to be determined from images of non-crystalline specimens. Cryo-EM data analysis requires electron microscope images of randomly oriented ice-embedded protein particles to be rotated and translated to allow for coherent averaging when calculating three-dimensional (3D) structures. Rotation of 2D images is usually done with the assumption that the magnification of the electron microscope is the same in all directions. However, due to electron optical aberrations, this condition is not met with some electron microscopes when used with the settings necessary for cryo-EM with a direct detector device (DDD) camera. Correction of images by linear interpolation in real space has allowed high-resolution structures to be calculated from cryo-EM images for symmetric particles. Here we describe and compare a simple real space method, a simple Fourier space method, and a somewhat more sophisticated Fourier space method to correct images for a measured anisotropy in magnification. Further, anisotropic magnification causes contrast transfer function (CTF) parameters estimated from image power spectra to have an apparent systematic astigmatism. To address this problem we develop an approach to adjust CTF parameters measured from distorted images so that they can be used with corrected images. The effect of anisotropic magnification on CTF parameters provides a simple way of detecting magnification anisotropy in cryo-EM datasets.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Free-Standing Two-Dimensional Single-Crystalline InSb Nanosheets

Growth of high-quality single-crystalline InSb layers remains challenging in material science. Such layered InSb materials are highly desired for searching for and manipulation of Majorana fermions in solid state, a fundamental research task in physics today, and for development of novel high-speed nanoelectronic and infrared optoelectronic devices. Here we report on a new route towards growth of single-crystalline, layered InSb materials. We demonstrate the successful growth of free-standing, two-dimensional InSb nanosheets on one-dimensional InAs nanowires by molecular-beam epitaxy. The grown InSb nanosheets are pure zinc-blende single crystals. The length and width of the InSb nanosheets are up to several micrometers and the thickness is down to ~10 nm. The InSb nanosheets show a clear ambipolar behavior and a high electron mobility. Our work will open up new technology routes towards the development of InSb-based devices for applications in nanoelectronics, optoelectronics and quantum electronics, and for study of fundamental physical phenomena.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Bias current dependence of the spin lifetime in insulating Al$_{0.3}$Ga$_{0.7}$As

The spin lifetime and Hanle signal amplitude dependence on bias current has been investigated in insulating Al$_{0.3}$Ga$_{0.7}$As:Si using a three-terminal Hanle effect geometry. The amplitudes of the Hanle signals are much larger for forward bias than for reverse bias, although the spin lifetimes found are statistically equivalent. The spin resistance-area product shows a strong increase with bias current for reverse bias and small forward bias until 150 $μ$A, beyond which a weak dependence is observed. The spin lifetimes diminish substantially with increasing bias current. The dependence of the spin accumulation and lifetime diminish only moderately with temperature from 5 K to 30 K.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Spin transport and accumulation in the persistent photoconductor Al$_{0.3}$Ga$_{0.7}$As

Electrical spin transport and accumulation have been measured in highly Si doped Al0.3Ga0.7As utilizing a lateral spin transport device. Persistent photoconductivity allows for the tuning of the effective carrier density of the channel material in situ via photodoping. Hanle effect measurements are completed at various carrier densities and the measurements yield spin lifetimes on the order of nanoseconds, an order of magnitude smaller than in bulk GaAs. These measurements illustrate that this methodology can be used to obtain a detailed description of how spin lifetimes depend on carrier density in semiconductors across the metal-insulator transition.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Formal Verification of `Programming to Interfaces' Programs

This paper presents a formal approach to specify and verify object-oriented programs written in the `programming to interfaces' paradigm. Besides the methods to be invoked by its clients, an interface also declares a set of abstract function/predicate symbols, together with a set of constraints on these symbols. For each method declared in this interface, a specification template is given using these abstract symbols. A class implementing this interface can give its own definitions to the abstract symbols, as long as all the constraints are satisfied. This class implements all the methods declared in the interface such that the method specification templates declared in the interface are satisfied w.r.t. the definitions of the abstract function symbols in this class. Based on the constraints on the abstract symbols, the client code using interfaces can be specified and verified precisely without knowing what classes implement these interfaces. Given more information about the implementing classes, the specifications of the client code can be specialized into more precise ones without re-verifying the client code. Several commonly used interfaces and their implementations (including Iterator, Observer, Comparable, and Comparator) are used to demonstrate that the approach in this paper is both precise and flexible.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Recent progress in perpendicularly magnetized Mn-based binary alloy films

In this article, we review the recent progress in growth, structural characterization, magnetic properties and related spintronic devices of tetragonal MnxGa and MnxAl thin films with perpendicular magnetic anisotropy. In the first part of this review, we present a brief introduction to the demands for perpendicularly magnetized materials in spintronics, magnetic recording and permanent magnets applications, and the most promising candidates of tetragonal MnxGa and MnxAl with strong perpendicular anisotropy. Then, in the second and third parts, we focus on the recent progress of perpendicularly magnetized MnxGa and MnxAl, respectively, including their lattice structures, bulk synthesis, epitaxial growth, structural chracterizations, magnetic and other spin-dependent properties, and spintronic devices like magnetic tunneling junctions, spin valves and spin injector into semiconductors. Finally, we give a summary and a perspective of these perpendicularly magnetized Mn-based binary alloy films for future applications.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Tailoring Magnetism of Perpendicularly Magnetized MnxGa Epitaxial Films on GaAs for Practical Applications

MnxGa films with high perpendicular anisotropy, coercivity and energy product have great application potential in ultrahigh-density perpendicular recording, permanent magnets, spin-transfer-torque memory and oscillators, magneto-resistance sensors and ferromagnetic metal/semiconductor heterostructure devices. Here we present a comprehensive diagram of effective magnetism-tailoring of perpendicularly magnetized MnxGa films grown on III-V semiconductor GaAs by using molecular-beam epitaxy for the first time, by systematically investigating the wide-range composition and detailed post-growth annealing effects. We show that the (001)-orientated MnxGa films with L10 or D022 ordering could be crystallized on GaAs in a very wide composition range from x=0.76 to 2.6. L10-ordered MnxGa films show robust magnetization, high remanent ratio, giant perpendicular anisotropy, high intrinsic and extrinsic coercivity, and large energy product, which make this kind of material favorable for perpendicular magnetic recording, high-performance spintronic devices and permanent magnet applications. In contrast, D022-ordered films exhibit lower perpendicular anisotropy and weaker magnetism. Post-growth annealing MnxGa films studies reveal high thermal-stability up to 450 oC, and effective tailoring of magnetic properties can be realized by prolonging annealing at 450 oC. These results would be helpful for understanding this kind of material and designing new spintronic devices for specific practical applications.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Band modification in (Ga, Mn)As evidenced by new measurement scheme --- magnetic photoresistance circular dichroism

The expected features of diluted magnetic semiconductors still remain in controversial issue, concerning whether or not s, p-d (f) exchange interactions indeed modify the host semiconductor band structure. To solve this doubt, a new scheme for measuring magneto-optical (MO) effect is developed, called magnetic photoresistance circular dichroism (PR-MCD), which detects the differential photoresistance of materials between two circularly polarized excitations. That allows us to detect the MO effect induced only by interband transitions, and provide unambiguous evidence that the host semiconductor band structure is indeed modified by the strong exchange interactions. Our PR-MCD spectra also disclose intrigue features which may come from strong coupling correlation effect at very high manganese concentration limit.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Multifunctional L10-Mn1.5Ga films with ultrahigh coercivity, giant perpendicular magnetocrystalline anisotropy and large magnetic energy product

We present the fascinating magnetic properties in homogenous noble-metal-free and rare-earth-free L10-Mn1.5Ga epitaxial films on GaAs (001), including ultrahigh perpendicular coercivity remarkably tunable from 8.1 to 42.8 kOe, giant perpendicular magnetocrystalline anisotropy with a maximum of 22.9 Merg/cc, easily controllable magnetization from 27.3 to 270.5 emu/cc, excellent squareness exceeding 0.94 and large magnetic energy product up to 2.6 MGOe. These magnificent room-temperature magnetic characteristics make our L10-Mn1.5Ga films multifunctional as outstanding and cost-effective alternative for not only perpendicular magnetic recording bits with areal density over 30 Tb inch-2 and thermal stability over 60 years, but variety of novel devices with high magnetic-noise immunity and thermal stability like spin-torque MRAMs and oscillators pillars below 5 nm in dimension, and giant magnetoresistance sensors able to measure high fileds up to 42 kOe . Moreover, this kind of materials can also be expected as permanent magnets for replacing the expensive rare-earth magnets widely used today.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Band-tail shape and transport near the metal-insulator transition in Si-doped Al(0.3)Ga(0.7)As

In the present work, an infrared LED is used to photodope MBE-grown Si:Al(0.3)Ga(0.7)As, a well known persistent photoconductor, to vary the effective electron concentration of samples in situ. Using this technique, we examine the transport properties of two samples containing different nominal doping concentrations of Si (1x10^19 cm^-3 for sample 1 (S1) and 9x10^17 cm^-3 for sample 2 (S2)) and vary the effective electron density between 10^14 and 10^18 cm^-3. The metal-insulator transition (MIT) for S1 is found to occur at a critical carrier concentration of 5.7x10^16 cm^-3 at 350 mK. The mobilities in both samples are found to be limited by ionized impurity scattering in the temperature range probed, and are adequately described by the Brooks-Herring screening theory for higher carrier densities. The shape of the band-tail of the density of states (DOS) in Al(0.3)Ga(0.7)As is found electrically through transport measurements. It is determined to be exponential in character, with an exponent of -1.25 for S1 and -1.38 for S2.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Scope Logic with Local Reasoning and Pre/Post-State Properties

This paper presents an extension to Hoare logic for pointer program verification. Logic formulas with user-defined recursive functions are used to specify properties on the program states before/after program executions. Three basic functions are introduced to represents memory access, record-field access and array-element access. Some axioms are introduced to specify these basic functions in our logic. The concept Memory Scope Function (MSF) is introduced in our logic. Given a recursive function $f$, the MSF of $f$ computes the set of memory units accessed during the evaluation of $f$. A set of rules are given to derive the definition of this MSF syntactically from the definition of $f$. As MSFs are also recursive functions, they also have their MSFs. An axiom is given to specify that an MSF contains its MSF. Based on this axiom, local reasoning is supported with predicate variables. Pre-state terms are used to specify the relations between pre-states and post-states. People can use pre-state terms in post-conditions to represents the values on the pre-state. The axiom of assignment statements in Hoare's logic is modified to deal with pointers. The basic idea is that during the program execution, a recursive function is evaluated to the same value as long as no memory unit in its memory scope is modified. Another proof rule is added for memory allocation statements. We use a simple example to show that our logic can deal with pointer programs in this paper. In the appendix, the Shorre-Waite algorithm is proved using our logic. We also use the selection-sort program to show that our logic can be used to prove program with indirectly-specified components.

0 citations0 reviewsNo code linkedOpen access