Impediments to International Air Transportation Services in Japan: Measuring the Border Effect in Main Japanese Airports

In this paper, we investigate the effectiveness of international passenger air transportation services in Japan by quantifying the “border effect.†In order to measure the border effect, we employ the basic gravity model for explaining intra- and international passenger flow in Japan as a benchmark model at first. And then, “border effect†dummy variable is introduced to quantify the diminishing effect to passenger flow in case of international travel. If the dummy variable has negative and statistically significant coefficient, international passenger flow in Japan is smaller than intranational flow. Bilateral passenger flow data among main Japanese airports and between Japanese airport and foreign one is used for our empirical estimation, and the dummy variable shows negative coefficient. This result implies that international passenger flow is diminished by some impediments such as political regulation, institutional inefficiency, and so on. For instance, entry barrier for new carrier or market access restriction to airport services in international airline may have decreasing effect to international passenger flow because of high services cost, and poorly established infrastructure like international air terminal or tiresome immigrant / emigrant procedure may decline passengers’ incentives for traveling abroad or visiting Japan. Unfortunately we cannot specify the reason why international passenger flow is so small because we just measure the difference between international and intranational flow. However, if there are really some impediments in international air transportation services, those may be disadvantageous for Japanese airports to compete with other Asian international hub airports.

Reduced-Shifted Conjugate-Gradient Method for a Green's Function: Efficient Numerical Approach in a Nano-structured Superconductor

We propose the reduced-shifted Conjugate-Gradient (RSCG) method, which is numerically efficient to calculate a matrix element of a Green's function defined as a resolvent of a Hamiltonian operator, by solving linear equations with a desired accuracy. This method does not calculate solution vectors of linear equations but does directly calculate a matrix element of the resolvent. The matrix elements with different frequencies are simultaneously obtained. Thus, it is easy to calculate the exception value expressed as a Matsubara summation of these elements. To illustrate a power of our method, we choose a nano-structured superconducting system with a mean-field Bogoliubov-de Gennes (BdG) approach. This method allows us to treat with the system with the fabrication potential, where one can not effectively use the kernel-polynomial-based method. We consider the d-wave nano-island superconductor by simultaneously solving the linear equations with a large number (~ 50000) of Matsubara frequencies.Comment: 12 pages, 5 figures, 4 tables. The details of the RSCG method are include

Test Case Generation for Object-Oriented Imperative Languages in CLP

Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test cases which are applied to a system under test. White-box TCG is usually performed by means of symbolic execution, i.e., instead of executing the program on normal values (e.g., numbers), the program is executed on symbolic values representing arbitrary values. When dealing with an object-oriented (OO) imperative language, symbolic execution becomes challenging as, among other things, it must be able to backtrack, complex heap-allocated data structures should be created during the TCG process and features like inheritance, virtual invocations and exceptions have to be taken into account. Due to its inherent symbolic execution mechanism, we pursue in this paper that Constraint Logic Programming (CLP) has a promising unexploited application field in TCG. We will support our claim by developing a fully CLP-based framework to TCG of an OO imperative language, and by assessing it on a corresponding implementation on a set of challenging Java programs. A unique characteristic of our approach is that it handles all language features using only CLP and without the need of developing specific constraint operators (e.g., to model the heap)

Contour integral method for obtaining the self-energy matrices of electrodes in electron transport calculations

We propose an efficient computational method for evaluating the self-energy matrices of electrodes to study ballistic electron transport properties in nanoscale systems. To reduce the high computational cost incurred in large systems, a contour integral eigensolver based on the Sakurai-Sugiura method combined with the shifted biconjugate gradient method is developed to solve exponential-type eigenvalue problem for complex wave vectors. A remarkable feature of the proposed algorithm is that the numerical procedure is very similar to that of conventional band structure calculations. We implement the developed method in the framework of the real-space higher-order finite difference scheme with nonlocal pseudopotentials. Numerical tests for a wide variety of materials validate the robustness, accuracy, and efficiency of the proposed method. As an illustration of the method, we present the electron transport property of the free-standing silicene with the line defect originating from the reversed buckled phases.Comment: 36 pages, 13 figures, 2 table

Stochastic Estimation of Nuclear Level Density in the Nuclear Shell Model: An Application to Parity-Dependent Level Density in 58^{58}Ni

We introduce a novel method to obtain level densities in large-scale shell-model calculations. Our method is a stochastic estimation of eigenvalue count based on a shifted Krylov-subspace method, which enables us to obtain level densities of huge Hamiltonian matrices. This framework leads to a successful description of both low-lying spectroscopy and the experimentally observed equilibration of $J^\pi=2^+$ and $2^-$ states in $^{58}$Ni in a unified manner.Comment: 13 pages, 4 figure