Algon: a framework for supporting comparison of distributed algorithm performance

Programmers often need to use distributed algorithms to add non-functional behaviour such as mutual exclusion, deadlock detection and termination, to a distributed application. They find the selection and implementation of these algorithms daunting. Consequently, they have no idea which algorithm will be best for their particular application. To address this difficulty the Algon framework provides a set of pre-coded distributed algorithms for programmers to choose from, and provides a special performance display tool to support choice between algorithms. The performance tool is discussed. The developer of a distributed application will be able to observe the performance of each of the available algorithms according to a set of of widely accepted and easily-understandable performance metrics and compare and contrast the behaviour of the algorithms to support an informed choice. The strength of the Algon framework is that it does not require a working knowledge of algorithmic theory or functionality in order for the developer to use the algorithms

High-Order Coupled Cluster Method Calculations for the Ground- and Excited-State Properties of the Spin-Half XXZ Model

In this article, we present new results of high-order coupled cluster method (CCM) calculations, based on a N\'eel model state with spins aligned in the $z$-direction, for both the ground- and excited-state properties of the spin-half {\it XXZ} model on the linear chain, the square lattice, and the simple cubic lattice. In particular, the high-order CCM formalism is extended to treat the excited states of lattice quantum spin systems for the first time. Completely new results for the excitation energy gap of the spin-half {\it XXZ} model for these lattices are thus determined. These high-order calculations are based on a localised approximation scheme called the LSUB$m$ scheme in which we retain all $k$-body correlations defined on all possible locales of $m$ adjacent lattice sites ($k \le m$). The ``raw'' CCM LSUB$m$ results are seen to provide very good results for the ground-state energy, sublattice magnetisation, and the value of the lowest-lying excitation energy for each of these systems. However, in order to obtain even better results, two types of extrapolation scheme of the LSUB$m$ results to the limit $m \to \infty$ (i.e., the exact solution in the thermodynamic limit) are presented. The extrapolated results provide extremely accurate results for the ground- and excited-state properties of these systems across a wide range of values of the anisotropy parameter.Comment: 31 Pages, 5 Figure

Phase Transitions in the Spin-Half J_1--J_2 Model

The coupled cluster method (CCM) is a well-known method of quantum many-body theory, and here we present an application of the CCM to the spin-half J_1--J_2 quantum spin model with nearest- and next-nearest-neighbour interactions on the linear chain and the square lattice. We present new results for ground-state expectation values of such quantities as the energy and the sublattice magnetisation. The presence of critical points in the solution of the CCM equations, which are associated with phase transitions in the real system, is investigated. Completely distinct from the investigation of the critical points, we also make a link between the expansion coefficients of the ground-state wave function in terms of an Ising basis and the CCM ket-state correlation coefficients. We are thus able to present evidence of the breakdown, at a given value of J_2/J_1, of the Marshall-Peierls sign rule which is known to be satisfied at the pure Heisenberg point (J_2 = 0) on any bipartite lattice. For the square lattice, our best estimates of the points at which the sign rule breaks down and at which the phase transition from the antiferromagnetic phase to the frustrated phase occurs are, respectively, given (to two decimal places) by J_2/J_1 = 0.26 and J_2/J_1 = 0.61.Comment: 28 pages, Latex, 2 postscript figure

Strategies for the characteristic extraction of gravitational waveforms

We develop, test, and compare new numerical and geometrical methods for improving the accuracy of extracting waveforms using characteristic evolution. The new numerical method involves use of circular boundaries to the stereographic grid patches which cover the spherical cross sections of the outgoing null cones. We show how an angular version of numerical dissipation can be introduced into the characteristic code to damp the high frequency error arising form the irregular way the circular patch boundary cuts through the grid. The new geometric method involves use of the Weyl tensor component Psi4 to extract the waveform as opposed to the original approach via the Bondi news function. We develop the necessary analytic and computational formula to compute the O(1/r) radiative part of Psi4 in terms of a conformally compactified treatment of null infinity. These methods are compared and calibrated in test problems based upon linearized waves

Influence of quantum fluctuations on zero-temperature phase transitions between collinear and noncollinear states in frustrated spin systems

We study a square-lattice spin-half Heisenberg model where frustration is introduced by competing nearest-neighbor bonds of different signs. We discuss the influence of quantum fluctuations on the nature of the zero-temperature phase transitions from phases with collinear magnetic order at small frustration to phases with noncollinear spiral order at large frustration. We use the coupled cluster method (CCM) for high orders of approximation (up to LSUB6) and the exact diagonalization of finite systems (up to 32 sites) to calculate ground-state properties. The role of quantum fluctuations is examined by comparing the ferromagnetic-spiral and the antiferromagnetic-spiral transition within the same model. We find clear evidence that quantum fluctuations prefer collinear order and that they may favour a first order transition instead of a second order transition in case of no quantum fluctuations.Comment: 6 pages, 6 Postscipt figures; Accepted for publication in Phys. Rev.

Continuum coupled cluster expansion

We review the basics of the coupled-cluster expansion formalism for numerical solutions of the many-body problem, and we outline the principles of an approach directed towards an adequate inclusion of continuum effects in the associated single-energy spectrum. We illustrate our findings by considering the simple case of a single-particle quantum mechanics problem.Comment: 16 pages, 1 figur