Constrained Dynamics of Universally Coupled Massive Spin 2-spin 0 Gravities

The 2-parameter family of massive variants of Einstein's gravity (on a Minkowski background) found by Ogievetsky and Polubarinov by excluding lower spins can also be derived using universal coupling. A Dirac-Bergmann constrained dynamics analysis seems not to have been presented for these theories, the Freund-Maheshwari-Schonberg special case, or any other massive gravity beyond the linear level treated by Marzban, Whiting and van Dam. Here the Dirac-Bergmann apparatus is applied to these theories. A few remarks are made on the question of positive energy. Being bimetric, massive gravities have a causality puzzle, but it appears soluble by the introduction and judicious use of gauge freedom.Comment: 6 pages; Talk given at QG05, Cala Gonone (Italy), September 200

A vectorization of the Jameson-Caughey NYU transonic swept-wing computer program FLO-22-V1 for the STAR-100 computer

The computer program FLO-22 for analyzing inviscid transonic flow past 3-D swept-wing configurations was modified to use vector operations and run on the STAR-100 computer. The vectorized version described herein was called FLO-22-V1. Vector operations were incorporated into Successive Line Over-Relaxation in the transformed horizontal direction. Vector relational operations and control vectors were used to implement upwind differencing at supersonic points. A high speed of computation and extended grid domain were characteristics of FLO-22-V1. The new program was not the optimal vectorization of Successive Line Over-Relaxation applied to transonic flow; however, it proved that vector operations can readily be implemented to increase the computation rate of the algorithm

Comparison of open-source software for producing directed acyclic graphs

Many software have been developed to assist researchers in drawing directed acyclic graphs (DAGs), with each providing different functionalities and varying usability. We examine four of the most common software to generate DAGs: TikZ, DAGitty, ggdag, and dagR. For each method we provide a general description of the package's background, analysis and visualization capabilities, and user-friendliness. To additionally compare methods, we produce two DAGs in each software, the first featuring a simple confounding structure, while the latter includes one more complex structure with three confounders and a mediator. We provide recommendations for when to use each software depending on the user's needs

Fresh-Register Automata

What is a basic automata-theoretic model of computation with names and fresh-name generation? We introduce Fresh-Register Automata (FRA), a new class of automata which operate on an infinite alphabet of names and use a finite number of registers to store fresh names, and to compare incoming names with previously stored ones. These finite machines extend Kaminski and Francez’s Finite-Memory Automata by being able to recognise globally fresh inputs, that is, names fresh in the whole current run. We exam-ine the expressivity of FRA’s both from the aspect of accepted languages and of bisimulation equivalence. We establish primary properties and connections between automata of this kind, and an-swer key decidability questions. As a demonstrating example, we express the theory of the pi-calculus in FRA’s and characterise bisimulation equivalence by an appropriate, and decidable in the finitary case, notion in these automata

Mode-coupling theory for multiple-time correlation functions of tagged particle densities and dynamical filters designed for glassy systems

The theoretical framework for higher-order correlation functions involving multiple times and multiple points in a classical, many-body system developed by Van Zon and Schofield [Phys. Rev. E 65, 011106 (2002)] is extended here to include tagged particle densities. Such densities have found an intriguing application as proposed measures of dynamical heterogeneities in structural glasses. The theoretical formalism is based upon projection operator techniques which are used to isolate the slow time evolution of dynamical variables by expanding the slowly-evolving component of arbitrary variables in an infinite basis composed of the products of slow variables of the system. The resulting formally exact mode-coupling expressions for multiple-point and multiple-time correlation functions are made tractable by applying the so-called N-ordering method. This theory is used to derive for moderate densities the leading mode coupling expressions for indicators of relaxation type and domain relaxation, which use dynamical filters that lead to multiple-time correlations of a tagged particle density. The mode coupling expressions for higher order correlation functions are also succesfully tested against simulations of a hard sphere fluid at relatively low density.Comment: 15 pages, 2 figure

Universally Coupled Massive Gravity

We derive Einstein's equations from a linear theory in flat space-time using free-field gauge invariance and universal coupling. The gravitational potential can be either covariant or contravariant and of almost any density weight. We adapt these results to yield universally coupled massive variants of Einstein's equations, yielding two one-parameter families of distinct theories with spin 2 and spin 0. The Freund-Maheshwari-Schonberg theory is therefore not the unique universally coupled massive generalization of Einstein's theory, although it is privileged in some respects. The theories we derive are a subset of those found by Ogievetsky and Polubarinov by other means. The question of positive energy, which continues to be discussed, might be addressed numerically in spherical symmetry. We briefly comment on the issue of causality with two observable metrics and the need for gauge freedom and address some criticisms by Padmanabhan of field derivations of Einstein-like equations along the way.Comment: Introduction notes resemblance between Einstein's discovery process and later field/spin 2 project; matches journal versio