35,570 research outputs found
Exact solution of type quantum Calogero model through a mapping to free harmonic oscillators
We solve the eigenvalue problem of the type of Calogero model by
mapping it to a set of decoupled quantum harmonic oscillators through a
similarity transformation. In particular, we construct the eigenfunctions of
this Calogero model from those of bosonic harmonic oscillators having either
all even parity or all odd parity. It turns out that the eigenfunctions of this
model are orthogonal with respect to a nontrivial inner product, which can be
derived from the quasi-Hermiticity property of the corresponding conserved
quantities.Comment: 16 page
Protocol-based verification of message-passing parallel programs
© 2015 ACM.We present ParTypes, a type-based methodology for the verification of Message Passing Interface (MPI) programs written in the C programming language. The aim is to statically verify programs against protocol specifications, enforcing properties such as fidelity and absence of deadlocks. We develop a protocol language based on a dependent type system for message-passing parallel programs, which includes various communication operators, such as point-to-point messages, broadcast, reduce, array scatter and gather. For the verification of a program against a given protocol, the protocol is first translated into a representation read by VCC, a software verifier for C. We successfully verified several MPI programs in a running time that is independent of the number of processes or other input parameters. This contrasts with alternative techniques, notably model checking and runtime verification, that suffer from the state-explosion problem or that otherwise depend on parameters to the program itself. We experimentally evaluated our approach against state-of-the-art tools for MPI to conclude that our approach offers a scalable solution
Electron Addition Spectrum in the Supersymmetric t-J Model with Inverse-Square Interaction
The electron addition spectrum A^+(k,omega) is obtained analytically for the
one-dimensional (1D) supersymmetric t-J model with 1/r^2 interaction. The
result is obtained first for a small-sized system and its validity is checked
against the numerical calculation. Then the general expression is found which
is valid for arbitrary size of the system. The thermodynamic limit of
A^+(k,omega) has a simple analytic form with contributions from one spinon, one
holon and one antiholon all of which obey fractional statistics. The upper edge
of A^+(k,omega) in the (k,omega) plane includes a delta-function peak which
reduces to that of the single-electron band in the low-density limit.Comment: 5 pages, 1 figure, accepted for publication in Phys. Rev. Let
Green Function of the Sutherland Model with SU(2) internal symmetry
We obtain the hole propagator of the Sutherland model with SU(2) internal
symmetry for coupling parameter , which is the simplest nontrivial
case. One created hole with spin down breaks into two quasiholes with spin down
and one quasihole with spin up. While these elementary excitations are
energetically free, the form factor reflects their anyonic character. The
expression for arbitrary integer is conjectured.Comment: 13pages, Revtex, one ps figur
Spin-Charge Separation at Finite Temperature in the Supersymmetric t-J Model with Long-Range Interactions
Thermodynamics is derived rigorously for the 1D supersymmetric {\it t-J}
model and its SU() generalization with inverse-square exchange. The system
at low temperature is described in terms of spinons, antispinons, holons and
antiholons obeying fractional statistics. They are all free and make the spin
susceptibility independent of electron density, and the charge susceptibility
independent of magnetization. Thermal spin excitations responsible for the
entropy of the SU() model are ascribed to free para-fermions of order
.Comment: 10 pages, REVTE
Combinatorial interpretation of Haldane-Wu fractional exclusion statistics
Assuming that the maximal allowed number of identical particles in state is
an integer parameter, q, we derive the statistical weight and analyze the
associated equation which defines the statistical distribution. The derived
distribution covers Fermi-Dirac and Bose-Einstein ones in the particular cases
q = 1 and q -> infinity (n_i/q -> 1), respectively. We show that the derived
statistical weight provides a natural combinatorial interpretation of
Haldane-Wu fractional exclusion statistics, and present exact solutions of the
distribution equation.Comment: 8 pages, 2 eps-figure
Human Resource Outsourcing: Lesson From Multinational Enterprises
This paper examines the consequence of the organization internalization on the practice of human resource (HR) outsourcing among manufacturing organizations. The assumption is that HR outsourcing is perceived as an innovative practice and that multinational enterprise (MNEs) will employ this practice more than local organizations. The data was gathered from survey questionnaires of 232 manufacturing organizations. Of the sample, 113 organizations engaged with HR outsourcing, and 71 are MNEs that partially outsource their HR functions. The findings reveal that HR outsourcing among MNEs is used to a greater extent than local organizations. A significant difference is found in the extent of outsourcing payroll, benefits, training and recruitment between MNEs and in local organizations
- …