Quantum master-equation approach to quantum transport through mesoscopic systems

For quantum transport through mesoscopic systems, a quantum master-equation approach is developed in terms of compact expressions for the transport current and the reduced density matrix of the system. The present work is an extension of Gurvitz's approach for quantum transport and quantum measurement, namely, to finite temperature and arbitrary bias voltage. Our derivation starts from a second-order cumulant expansion of the tunneling Hamiltonian; then follows the conditional average over the electrode reservoir states. As a consequence, in the usual weak-tunneling regime, the established formalism is applicable for a wide range of transport problems. The validity of the formalism and its convenience in application are well illustrated by a number of examples.

A novel method of determining semiconductor parameters in EBIC and SEBIV modes of SEM

We present a novel method for determining semiconductor parameters such as diffusion length L, lifetime tau and surface recombination velocity S of minority carriers by employing scanning electron microscopy (SEM). This new method is applicable to both electron beam induced current (EBIC and surface electron beam induced voltage (SEBIV) modes in SEM. The quantitative descriptions for EBIC and SEBIV signals are derived. The parameters L, S and tau can be directly extracted from the expressions for EBIC or SEBIV signals and their relaxation characteristics in experiment. As an example, the values of L, S and tau for n-p junction and p-Si crystal are determined by using the novel method in EBIC or SEBIV mode. The carrier diffusion length of a p-Si crystal is determined to be 8.74 mum in SEBIV mode. It is very close to the normal diffusion length of 7.41 mum of this sample. The novel method is proved to be very helpful for the quantitative characterization of semiconductor materials and devices. Especially, the SEBIV mode in SEM shows great potential for investigating semiconductor structures nondestructively.

Simple reflection technique for measuring the linear electro-optic coefficient of the polymer thin films

The simple reflection technique is usually used to measure the linear electro-optic (EO) coefficient (Pockels coefficient) in the development of EO polymer thin films. But there are some problems in some articles in the determination of the phase shift between the s and p light modes of a laser beam waveguided into the polymer film while a modulating voltage is applied across the electrodes, and different expressions for the linear EO coefficient measured have been given in these articles. In our research, more accurate expression of the linear EO coefficient was deduced by suitable considering the phase shift between the s and p light modes. The linear EO coefficients of several polymer thin films were measured by reflection technique, and the results of the Linear EO coefficient calculated by different expressions were compared. The limit of the simple reflection technique for measuring the linear EO coefficient of the polymer thin films was discussed.

Analytical study of the antiferromagnetic Heisenberg films

With the variational cumulant expansion (VCE) method, the thermodynamic behaviors of S = 1/2 antiferromagnetic Heisenberg films in simple cubic lattices are studied analytically. From the analytic properties of the free energy, in principle we are able to calculate analytically the critical temperatures T-c(L) and the thermodynamic functions, to any order cumulant as the functions of the number of L (the hyperlayers in the hyperfilm). Explicit expressions for T-c(L) up to the fourth order are given. A comparison with the existing results for 3-dimensional system is given. The effective range of the interaction is obtained from numerical results.

practical type checking of functions defined on context-free languages

A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF.languages is not decidable,a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked.Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.

pattern matching compilation of functions defined in context-free languages

LFC is a functional language based on recursive functions defined in context-free languages. In this paper, a new pattern matching algorithm for LFC is presented, which can represent a sequence of patterns as an integer by an encoding method. It is a rather simple method and produces efficient case-expressions for pattern matching definitions of LFC. The algorithm can also be used for other functional languages, but for nested patterns it may become complicated and further studies are needed.

encoding-based method for pattern matching

A new algorithm for compiling pattern matching is presented. Different from the traditional traversal-based approaches, it can represent a sequence of patterns as an integer by an encoding method and translate equations into case-expressions. The algorithm is simple to implement, and efficient for a kind of patterns, i.e. simple and dense patterns. This method can be complementary to traditional approaches.

Interaction of linear waves with an array of infinitely long horizontal circular cylinders in a two-layer fluid of infinite depth

The linear water wave scattering and radiation by an array of infinitely long horizontal circular cylinders in a two-layer fluid of infinite depth is investigated by use of the multipole expansion method. The diffracted and radiated potentials are expressed as a linear combination of infinite multipoles placed at the centre of each cylinder with unknown coefficients to be determined by the cylinder boundary conditions. Analytical expressions for wave forces, hydrodynamic coefficients, reflection and transmission coefficients and energies are derived. Comparisons are made between the present analytical results and those obtained by the boundary element method, and some examples are presented to illustrate the hydrodynamic behavior of multiple horizontal circular cylinders in a two-layer fluid. It is found that for two submerged circular cylinders the influence of the fluid density ratio on internal-mode wave forces is more appreciable than surface-mode wave forces, and the periodic oscillations of hydrodynamic results occur with the increase of the distance between two cylinders; for four submerged circular cylinders the influence of adding two cylinders on the wave forces of the former cylinders is small in low and high wave frequencies, but the influence is appreciable in intermediate wave frequencies.

Interaction of linear waves with infinitely long horizontal cylinders studied by boundary element method

The two-dimensional problems concerning the interaction of linear water waves with cylinders of arbitrary shape in two-layer deep water are investigated by use of the Boundary Integral Equation method (BIEM). Simpler new expressions for the Green functions are derived, and verified by comparison of results obtained by BIEM with these by an analytical method. Examined are the radiation and scattering of linear waves by two typical configurations of cylinders in two-layer deep water. Hydrodynamic behaviors including hydrodynamic coefficients, wave forces, reflection and transmission coefficients and energies are analyzed in detail, and some interesting physical phenomena are observed.

On the radiation and diffraction of linear water waves by an infinitely long rectangular structure submerged in oblique seas

The radiation and diffraction of linear water waves by an infinitely long rectangular structure submerged in oblique seas of finite depth is investigated. The analytical expressions for the radiated and diffracted potentials are derived as infinite series by use of the method of separation of variables. The unknown coefficients in the series are determined by the eigenfunction expansion matching method. The expressions for wave forces, hydrodynamic coefficients and reflection and transmission coefficients are given and verified by the boundary element method. Using the present analytical solution, the hydrodynamic influences of the angle of incidence, the submergence, the width and the thickness of the structure on the wave forces, hydrodynamic coefficients, and reflection and transmission coefficients are discussed in detail.

Reflection and transmission properties of double submerged rectangular blocks

An analytic method is used to study the reflection and transmission coefficients of the double submerged rectangular blocks (DSRBs) in oblique waves.. The scattering potentials are obtained by means of the eigenfunction expansion method, and expressions for the reflection and transmission coefficients are determined. The boundary element method is employed to verify the correctness of the present analytical method. The DSRBs have better performance than the single submerged rectangular block (SSRB) in certain cases. The reflection and transmission properties of the DSRBs are investigated for some specific cases, and the influences of the geometric parameters are also presented.

Scattering of linear water waves by a fixed and infinitely long rectangular structure parallel to a vertical wall in oblique seas

The scattering of linear water waves by an infinitely long rectangular structure parallel to a vertical wall in oblique seas is investigated. Analytical expressions for the diffracted potentials are derived using the method of separation of variables. The unknown coefficients in the expressions are determined through the application of the eigenfunction expansion matching method. The expressions for wave forces on the structure are given. The calculated results are compared with those obtained by the boundary element method. In addition, the influences of the wall, the angle of wave incidence, the width of the structure, and the distance between the structure and the wall on wave forces are discussed. The method presented here can be easily extended to the study of the diffraction of obliquely incident waves by multiple rectangular structures.

Response amplitude and hydrodynamic force for a buoy over a convex

A buoy as an offshore structure is often placed over a convex such as a caisson or a submerged island. The hydrodynamic fluid/solid interaction becomes more complex due to the convex compared with that on the flat. Both the buoy and the convex are idealized as vertical cylinders. Linear potential theory is used to investigate the response amplitude and the hydrodynamic force for a buoy over a convex due to diffraction and radiation in water of finite depth. These are derived from the total velocity potential. A set of theoretical added mass, damping coefficient, and exciting force expressions have been proposed. Analytical results of the response amplitude and hydrodynamic force are given. Finally, the numerical results show that the effect of the convex on the response amplitude and hydrodynamic force for the buoy is ignored if the size of the convex is relatively smaller.

On the representation of an inclined Gaussian beam

In most contemporary optics courses, Gaussian beams are demonstrated in the form of propagation along one coordinate axis. This is referred to as the conventional representation and is in fact a special form. In this paper, we derive the general representation of a Gaussian beam propagating obliquely to the coordinate axis, by performing a coordinate rotation transformation on the conventional representation. When doing so on the beam parameters, a restrictive condition has to be taken into account. Without this condition, the expressions for the beam parameters after the rotation are not consistent with the conventional ones.

Description of a radially polarized Laguerre-Gauss beam beyond the paraxial approximation

Fifth-order corrected expressions for the fields of a radially polarized Laguerre-Gauss (R-TEMn1) laser beams are derived based on perturbative Lax series expansion. When the order of Laguerre polynomial is equal to zero, the corresponding beam reduces to the lowest-order radially polarized beam (R-TEM01). Simulation results show that the accuracy of the fifth-order correction for R-TEMn1 depends not only on the diffraction angle of the beam as R-TEM01 does, but also on the order of the beam. (c) 2007 Optical Society of America.