Theory of point contact spectroscopy in electron-doped cuprates

In the hole-doped $d_{x^{2}-y^{2}}$-wave cuprate superconductor, due to the midgap surface state (MSS), a zero bias conductance peak (ZBCP) is widely observed in [110] interface point contact spectroscopy (PCS). However, ZBCP of this geometry is rarely observed in the electron-doped cuprates, even though their pairing symmetry is still likely the $d_{x^{2}-y^{2}}$-wave. We argue that this is due to the coexistence of antiferromagnetic (AF) and the superconducting (SC) orders. Generalizing the Blonder-Tinkham-Klapwijk (BTK) formula to include an AF coupling, it is shown explicitly that the MSS is destroyed by the AF order. The calculated PCS is in good agreement with the experiments.Comment: 5 pages, 2 figures. Replaced with published versio

Model checking probabilistic and stochastic extensions of the pi-calculus

We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility. Formal verification techniques for such extensions have clear applications in several domains, including mobile ad-hoc network protocols, probabilistic security protocols and biological pathways. Despite this, no implementation of automated verification exists. Building upon the pi-calculus model checker MMC, we first show an automated procedure for constructing the underlying semantic model of a probabilistic or stochastic pi-calculus process. This can then be verified using existing probabilistic model checkers such as PRISM. Secondly, we demonstrate how for processes of a specific structure a more efficient, compositional approach is applicable, which uses our extension of MMC on each parallel component of the system and then translates the results into a high-level modular description for the PRISM tool. The feasibility of our techniques is demonstrated through a number of case studies from the pi-calculus literature

A new numerical approach for compressible viscous flows

A numerical approach for computing unsteady compressible viscous flows was developed. This approach offers the capability of confining the region of computation to the viscous region of the flow. The viscous region is defined as the region where the vorticity is nonnegligible and the difference in dilatation between the potential flow and the real flow around the same geometry is also nonnegligible. The method was developed and tested. Also, an application of the procedure to the solution of the steady Navier-Stokes equations for incompressible internal flows is presented

A study of line widths and kinetic parameters of ions in the solar corona

Solar extreme-ultraviolet (EUV) lines emitted by highly charged ions have been extensively studied to discuss the issue of coronal heating and solar wind acceleration. Based on observations of the polar corona by the SUMER/SOHO spectrometer, this paper investigates the relation between the line widths and kinetic parameters of ions. It is shown that there exists a strongly linear correlation between two variables $(\sigma/\lambda)^2$ and $M^{-1}$, where $\sigma$, $\lambda$ and $M$ are the half-width of the observed line profile at $1/\sqrt{e}$, the wavelength and the ion mass, respectively. The Pearson product-moment correlation coefficients exceed 0.9. This finding tends to suggest that the ions from a given height of polar corona have a common temperature and a common non-thermal velocity in terms of existing equation. The temperature and non-thermal velocity are obtained by linear least-square fit. The temperature is around $2.8$ MK at heights of 57$''$ and 102$''$. The non-thermal velocity is typical 21.6 km s$^{-1}$ at height of 57$''$ and 25.2 km s$^{-1}$ at height of 102$''$.Comment: 7 pages, 2 figures, accepted for publication in Astrophysics and Space Scienc

Finite-size effect of antiferromagnetic transition and electronic structure in LiFePO4

The finite-size effect on the antiferromagnetic (AF) transition and electronic configuration of iron has been observed in LiFePO4. Determination of the scaling behavior of the AF transition temperature (TN) versus the particle-size dimension (L) in the critical regime 1-TN(L)/TN(XTL)\simL^-1 reveals that the activation nature of the AF ordering strongly depends on the surface energy. In addition, the effective magnetic moment that reflects the electronic configuration of iron in LiFePO4 is found to be sensitive to the particle size. An alternative structural view based on the polyatomic ion groups of (PO4)3- is proposed.Comment: To be published in Phys. Rev. B - Rapid Communicatio

Construction of nested space-filling designs

New types of designs called nested space-filling designs have been proposed for conducting multiple computer experiments with different levels of accuracy. In this article, we develop several approaches to constructing such designs. The development of these methods also leads to the introduction of several new discrete mathematics concepts, including nested orthogonal arrays and nested difference matrices.Comment: Published in at http://dx.doi.org/10.1214/09-AOS690 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org

Terminal-Set-Enhanced Community Detection in Social Networks

Community detection aims to reveal the community structure in a social network, which is one of the fundamental problems. In this paper we investigate the community detection problem based on the concept of terminal set. A terminal set is a group of users within which any two users belong to different communities. Although the community detection is hard in general, the terminal set can be very helpful in designing effective community detection algorithms. We first present a 2-approximation algorithm running in polynomial time for the original community detection problem. In the other issue, in order to better support real applications we further consider the case when extra restrictions are imposed on feasible partitions. For such customized community detection problems, we provide two randomized algorithms which are able to find the optimal partition with a high probability. Demonstrated by the experiments performed on benchmark networks the proposed algorithms are able to produce high-quality communities.Comment: INFOCOM 201