Atomistic phenomena in dense fluid shock waves

The shock structure problem is one of the classical problems of fluid mechanics and at least for non-reacting dilute gases it has been considered essentially solved. Here we present a few recent findings, to show that this is not the case. There are still new physical effects to be discovered provided that the numerical technique is general enough to not rule them out a priori. While the results have been obtained for dense fluids, some of the effects might also be observable for shocks in dilute gases.     

Stable model categories are categories of modules

A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for deciding when two stable model categories represent ‘the same homotopy theory’. We show that stable model categories with a single compact generator are equivalent to modules over a ring spectrum. More generally stable model categories with a set of generators are characterized as modules over a ‘ring spectrum with several objects’, i.e., as spectrum valued diagram categories. We also prove a Morita theorem which shows how equivalences between module categories over ring spectra can be realized by smashing with a pair of bimodules. Finally, we characterize stable model categories which represent the derived category of a ring. This is a slight generalization of Rickard's work on derived equivalent rings. We also include a proof of the model category equivalence of modules over the Eilenberg-Mac Lane spectrum HR and (unbounded) chain complexes of R-modules for a ring R.     

Petrographic/geochemical studies of primary and alteration–weathering minerals in garnetiferous ultramafic xenoliths–basanite, Tartous Province, NW Syria

Kimberlitic–pyropic peridotite–xenolites, probably of Jurassic–Cretaceous age, were found mixed with a younger Upper Tertiary basanitic diabase, as flow texture of plagioclase laths and ilmenite rods around those xenoliths indicated. Mafic–ultramafic rocks were crushed, sheared, and cropped along a creek about 15–18 km NE of the town of Dreikeesh, NW Syria. ⁴⁰K–⁴⁰Ar isotopic dating of a pure fresh black cpx sample, collected from the peridotite xenoliths, yielded an age of about 70 Ma. This age is concurrent to the time when Africa, Eurasia, and America were part of the super continent Pangaea. It also suggests that kimberlite–pyropic peridotitic rocks were located within a cratonic pipe prior to their 2000-km eastward journey (starting from the Mid-Atlantic Rift). Sampled outcrops were located within a ring of about 40 km diameter, considered to be a dome consisting of one or more clusters of kimberlitic pipes. The dome structure, mostly covered with Upper Jurassic–Cretaceous carbonate beds, was tilted westward, and rifted and sheared along its eastern edge. Tilting and crushing were accomplished after the opening of the Red Sea in the Miocene, and the counterclockwise movements of the Arabian plate, which folded the carbonate beds to form the N–S-trending Alawite mountain range along the Syrian coast. Olivine, cpx, and pyrope were the major phases in peridotite. Pyrope, including its Cr–Ni-contents, was found to be the best indicator to decipher the temperature–pressure (T–P) conditions for the system. The inferred temperature was found to be about 1460 °C, at a pressure of 62 kb (around 207 km-depth). Petrographic studies revealed many zoned, resorbed, octahedral and non-metasomatized tiny grains, associated with partly to wholly metasomatized and iddingsitized olivines.     

Asymptotic behavior of tails and quantiles of quadratic forms of Gaussian vectors

We derive results on the asymptotic behavior of tails and quantiles of quadratic forms of Gaussian vectors. They appear in particular in delta–gamma models in financial risk management approximating portfolio returns. Quantile estimation corresponds to the estimation of the Value-at-Risk, which is a serious problem in high dimension.     

A Hybrid Approach to Scheduling with Earliness and Tardiness Costs

A hybrid technique using constraint programming and linear programming is applied to the problem of scheduling with earliness and tardiness costs. The linear model maintains a set of relaxed optimal start times which are used to guide the constraint programming search heuristic. In addition, the constraint programming problem model employs the strong constraint propagation techniques responsible for many of the advances in constraint programming for scheduling in the past few years. Empirical results validate our approach and show, in particular, that creating and solving a subproblem containing only the activities with direct impact on the cost function and then using this solution in the main search, significantly increases the number of problems that can be solved to optimality while significantly decreasing the search time.