SCDA for 3D lattice gases with repulsive interaction

The selfconsistent diagram approximation (SCDA) is generalized for three-dimensional lattice gases with nearest neighbor repulsive interactions. The free energy is represented in a closed form through elementary functions. Thermodynamical (phase diagrams, chemical potential and mean square fluctuations), structural (order parameter, distribution functions) as well as diffusional characteristics are investigated. The calculation results are compared with the Monte Carlo simulation data to demonstrate high precision of the SCDA in reproducing the equilibrium lattice gas characteristics. It is shown that similarly to two-dimensional systems the specific statistical memory effects strongly influence the lattice gas diffusion in the ordered states. Received 7 August 2002 / Received in final form 22 January 2003 Published online 24 April 2003     

Entropy production per site in (nonreversible) spin-flip processes

Entropy production per site in a (nonreversible) spin-flip process is studied. We give it a useful expression, from which a property stronger than affinity of the entropy production per site follows. Furthermore, quasi-invariance of nonequilibrium measures in the spin-flip processes is discussed via entropy production.     

Second Order Representations of the Least Absolute Deviation Regression Estimator

We consider exact weak and strong Bahadur-Kiefer representations of the least absolute deviation estimator for the linear regression model. The precise behavior of these representations is obtained under minimal conditions.     

The <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">G</Emphasis>/∞ system revisited: finiteness,summability, long range dependence,and reverse engineering

We explore M/G/∞ systems ‘fed’ by Poissonian inflows with infinite arrival rates. Three processes – corresponding to the system's state, workload, and queue-size – are studied and analyzed. Closed form formulae characterizing the system's stationary structure and correlation structure are derived. And, the issues of queue finiteness, workload summability, and Long Range Dependence are investigated. We then turn to devise a ‘reverse engineering’ scheme for the design of the system's correlation structure. Namely: how to construct an M/G/∞ system with a pre-desired ‘target’ workload/queue auto-covariance function. The ‘reverse engineering’ scheme is applied to various examples, including ones with infinite queues and non-summable workloads. AMS Subject Classifications Primary: 60K25; Secondary: 60G55, 60G10     

Single-server queues with spatially distributed arrivals

Consider a queueing system where customers arrive at a circle according to a homogeneous Poisson process. After choosing their positions on the circle, according to a uniform distribution, they wait for a single server who travels on the circle. The server's movement is modelled by a Brownian motion with drift. Whenever the server encounters a customer, he stops and serves this customer. The service times are independent, but arbitrarily distributed. The model generalizes the continuous cyclic polling system (the diffusion coefficient of the Brownian motion is zero in this case) and can be interpreted as a continuous version of a Markov polling system. Using Tweedie's lemma for positive recurrence of Markov chains with general state space, we show that the system is stable if and only if the traffic intensity is less than one. Moreover, we derive a stochastic decomposition result which leads to equilibrium equations for the stationary configuration of customers on the circle. Steady-state performance characteristics are determined, in particular the expected number of customers in the system as seen by a travelling server and at an arbitrary point in time.     

“String” formulation of the dynamics of the forward interest rate curve

We propose a formulation of the term structure of interest rates in which the forward curve is seen as the deformation of a string. We derive the general condition that the partial differential equations governing the motion of such string must obey in order to account for the condition of absence of arbitrage opportunities. This condition takes a form similar to a fluctuation-dissipation theorem, albeit on the same quantity (the forward rate), linking the bias to the covariance of variation fluctuations. We provide the general structure of the models that obey this constraint in the framework of stochastic partial (possibly non-linear) differential equations. We derive the general solution for the pricing and hedging of interest rate derivatives within this framework, albeit for the linear case (we also provide in the appendix a simple and intuitive derivation of the standard European option problem). We also show how the “string” formulation simplifies into a standard N-factor model under a Galerkin approximation. Received: 30 January 1998 / Revised: 12 February 1998 / Accepted: 16 February 1998     

Application of the stabilization method to interacting resonances

The stabilization method is applied to the case of interacting resonances in the photo-dissociation of van der Waals clusters composed by a rare gas atom bound to a dihalogen molecule. The study of an illustrative two-dimensional model consisting in a T-shaped NeI₂ molecule shows the adequacy of the method whenever the projection of the stabilization wave functions on the assumed prepared initial state is accounted for. The agreement of the fragmentation cross-sections with some previous results using the effective resolvent method and accurate close-coupling calculations is excellent. The method reveals its utility as a complementary tool since allows, through the analysis of the stabilization wave function in terms of zero-order levels, a precise characterization of the resonant states involved. Received 5 April 2002 / Received in final form 24 May 2002 Published online 19 July 2002     

Traces of harmonic functions,capacities, and traces of symmetric Markov processes

We derive explicit isomorphism formulas between weighted Dirichlet integrals for harmonic functions and boundary Dirichlet forms. Applications yield results on traces of Markov processes and convergence quasieverywhere of harmonic functions.     

Validation and verification of social processes within agent-based computational organization models

The use of simulation modeling in computational analysis of organizations is becoming a prominent approach in social science research. However, relying on simulations to gain intuition about social phenomena has significant implications. While simulations may give rise to interesting macro-level phenomena, and sometimes even mimic empirical data, the underlying micro and macro level processes may be far from realistic. Yet, this realism may be important to infer results that are relevant to existing theories of social systems and to policy making. Therefore, it is important to assess not only predictive capability but also explanation accuracy of formal models in terms of the degree of realism reflected by the embedded processes. This paper presents a process-centric perspective for the validation and verification (V&V) of agent-based computational organization models. Following an overview of the role of V&V within the life cycle of a simulation study, emergent issues in agent-based organization model V&V are outlined. The notion of social contract that facilitates capturing micro level processes among agents is introduced to enable reasoning about the integrity and consistency of agent-based organization designs. Social contracts are shown to enable modular compositional verification of interaction dynamics among peer agents. Two types of consistency are introduced: horizontal and vertical consistency. It is argued that such local consistency analysis is necessary, but insufficient to validate emergent macro processes within multi-agent organizations. As such, new formal validation metrics are introduced to substantiate the operational validity of emergent macro-level behavior. Levent Yilmaz is Assistant Professor of Computer Science and Engineering in the College of Engineering at Auburn University and co-founder of the Auburn Modeling and Simulation Laboratory of the M&SNet. Dr. Yilmaz received his Ph.D. and M.S. degrees from Virginia Polytechnic Institute and State University (Virginia Tech). His research interests are on advancing the theory and methodology of simulation modeling, agent-directed simulation (to explore dynamics of socio-technical systems, organizations, and human/team behavior), and education in simulation modeling. Dr. Yilmaz is a member of ACM, IEEE Computer Society, Society for Computer Simulation International, and Upsilon Pi Epsilon. URL: http://www.eng.auburn.edu/~yilmaz