Limits of parallelism in explicit ODE methods

Numerical methods for ordinary initial value problems that do not depend on special properties of the system are usually found in the class of linear multistage multivalue methods, first formulated by J.C. Butcher. Among these the explicit methods are easiest to implement. For these reasons there has been considerable research activity devoted to generating methods of this class which utilize independent function evaluations that can be performed in parallel. Each such group of concurrent function evaluations can be regarded as a stage of the method. However, it turns out that parallelism affords only limited opportunity for reducing the computing time with such methods. This is most evident for the simple linear homogeneous constant-coefficient test problem, whose solution is essentially a matter of approximating the exponential by an algebraic function. For a given number of stages and a given number of saved values, parallelism offers a somewhat enlarged set of algebraic functions from which to choose. However, there is absolutely no benefit in having the degree of parallelism (number of processors) exceed the number of saved values of the method. Thus, in particular, parallel one-step methods offer no speedup over serial one-step methods for the standard linear test problem. Although the implication of this result for general nonlinear problems is unclear, there are indications that dramatic speedups are not possible in general. Also given are some results relevant to the construction of methods.Work supported in part by National Science Foundation grants DMS 89 11410 and DMS 90 15533 and by US Department of Energy grant DOE DEFG02-87ER25026. Work of the second author was completed while at the University of Illinois.     

Algebraic models defined over Q of differential manifolds

Here we prove that every compact differential manifold has a smooth algebraic model defined over Q. In dimension 2 we find an algebraic model (may be singular) defined over Q and birational over Q to the projective plane.     

Density Correlations in the Two-Dimensional Coulomb Gas

We consider a two-dimensional Coulomb gas of positive and negative pointlike unit charges interacting via a logarithmic potential. The density (rather than the charge) correlation functions are studied. In the bulk, the form-factor theory of an equivalent sine-Gordon model is used to determine the density correlation length. At the surface of a rectilinear plain wall, the universality of the asymptotic behavior of the density correlations is suggested. A scaling analysis implies a local form of the compressibility sum rule near a hard wall. A symmetry of the Coulomb system with respect to the Möbius conformal transformation, which induces a gravitational source acting on the particle density, is established. Among the consequences, a universal term of the finite-size expansion of the grand potential is derived exactly for a disk geometry of the confining domain.     

Sewings of crumpled cubes revisited

This paper sets forth three mismatch properties, strictly ordered in strength, about sewings of crumpled n-cubes. The strongest is a sufficient but not a necessary condition for a sewing to yield Sn, and the weakest, a necessary but not sufficient one. We show that when both crumpled cubes satisfies the Disjoint Disks Property, then the weakest property implies the sewing yields Sn, and we also show that the intermediate property leads to the same conclusion when just one of the crumpled cubes possesses the Disjoint Disks Property. In addition, we develop examples that confirm sharpness of the relevant Disjoint Disks conditions.     

Experience Gained Using Second-Moment Closure Modeling for Transitional Flows Due to Boundary Layer Separation

This paper presents detailed information on the experience gained during the attempts to model a set of transitional flows due to boundary layer separation. These flows are developed on a flat plate with a semi-circular leading edge and they have been coded by the ERCOFTAC Special Interest Group on Transition, as T3L flows. Different freestream velocities and turbulence intensities configure these transitional flows and, by consequence, govern the transition mechanism, resulting in larger or smaller transitional regions. The modeling of the T3L flows has been performed by adopting a low-Reynolds number second-moment closure turbulence model. The results showed satisfactory agreement with the experimental measurements, although some difficulties regarding successful convergence have been faced. The final conclusion is that turbulence modeling can present quite accurate results for transitional flows without any additional use of ad-hoc modifications or additional equations based on various transition models and intermittency transport modeling.     

Linear dependence of stationary distributions in ergodic Markov decision processes

In ergodic MDPs we consider stationary distributions of policies that coincide in all but n states, in which one of two possible actions is chosen. We give conditions and formulas for linear dependence of the stationary distributions of n+2 such policies, and show some results about combinations and mixtures of policies.     

Random orderings of the integers and card shuffling

In this paper we study random orderings of the integers with a certain invariance property. We describe all such orders in a simple way. We define and represent random shuffles of a countable set of labels and then give an interpretation of these orders in terms of a class of generalized riffle shuffles.     

The first <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-cohomology of some groups with one end

Let p be a real number greater than one. In this paper we study the vanishing and nonvanishing of the first L ^p -cohomology space of some groups that have one end. We also make a connection between the first L ^p -cohomolgy space and the Floyd boundary of the Cayley graph of a group. We apply the result about Floyd boundaries to show that there exists a real number p such that the first L ^p -cohomology space of a nonelementary hyperbolic group does not vanish. Received: 4 August 2006 Revised: 2 November 2006     

Solubility of carbon dioxide in aqueous solutions of sodium chloride: Experimental results and correlation

The solubility of carbon dioxide in aqueous solutions of sodium chloride was measured in the temperature range from 40 to 160°C, up to 6 mol-kg salt solutions and total pressures up to 10 MPa. Pitzer's⁽¹⁾ equations as well as the Chen and Evans⁽²⁾ model were used to correlate the new data. Results are reported and compared to literature data and correlations.     

Synthesis of perfluoroheptanal by ozonolysis of perfluoro-1-octene

Perfluoro-1-octene was used as a model for developing a method for the preparative ozonolysis of perfluoro-1-alkenes to the corresponding perfluoro-nor-alkenals. Perfluoroheptanal was synthesized.Translated fromIzvestiya Akademii Nauk. Seriya Khimicheskaya, No. 6, pp. 1146–1147, June, 1994.