Fonctions constructibles et intégration motivique II

We extend the formalism of an earlier Note to a global setting for which a theorem on fiber integrals and a Fubini theorem are obtained. We compare our formalism to the previous constructions given by Denef and Loeser. To cite this article: R. Cluckers, F. Loeser, C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

Extraction of plasmid DNA from Escherichia coli cell lysate in a thermoseparating aqueous two-phase system

The primary purification of a 6.1 kilo base pair (kbp) plasmid from a desalted alkaline lysate has been accomplished by a thermoseparating aqueous two-phase system [(50% ethylene oxide-50% propylene oxide)-Dextran T 500]. The partitioning of the different nucleic acids (plasmid DNA, RNA, genomic DNA) in the thermoseparating aqueous two-phase system was followed both qualitatively by agarose gel electrophoresis and quantitatively by analytical chromatography (size exclusion- and anion-exchange mode) and PicoGreen fluorescence analysis. The experimental results showed a complete recovery of the plasmid DNA to the top phase, while 80% of total RNA and 58% of total protein was discarded to the bottom phase. Moreover, a 3.8-fold volume reduction of the plasmid DNA solution was achieved. By using a final thermoseparating step, the EO50PO50 polymer could be efficiently recycled, resulting in plasmid solution containing less than 1% polymer. The developed thermoseparating aqueous two-phase system shows great potential for the large-scale processing of plasmid DNA.     

A <Emphasis Type="Italic">QR</Emphasis>–method for computing the singular values via semiseparable matrices

Summary. The standard procedure to compute the singular value decomposition of a dense matrix, first reduces it into a bidiagonal one by means of orthogonal transformations. Once the bidiagonal matrix has been computed, the QR–method is applied to reduce the latter matrix into a diagonal one. In this paper we propose a new method for computing the singular value decomposition of a real matrix. In a first phase, an algorithm for reducing the matrix A into an upper triangular semiseparable matrix by means of orthogonal transformations is described. A remarkable feature of this phase is that, depending on the distribution of the singular values, after few steps of the reduction, the largest singular values are already computed with a precision depending on the gaps between the singular values. An implicit QR–method for upper triangular semiseparable matrices is derived and applied to the latter matrix for computing its singular values. The numerical tests show that the proposed method can compete with the standard method (using an intermediate bidiagonal matrix) for computing the singular values of a matrix.Mathematics Subject Classification (2000): 65F15, 15A18The research of the first two authors was partially supported by the Research Council K.U.Leuven, project OT/00/16 (SLAP: Structured Linear Algebra Package), by the Fund for Scientific Research–Flanders (Belgium), projects G.0078.01 (SMA: Structured Matrices and their Applications), G.0176.02 (ANCILA: Asymptotic aNalysis of the Convergence behavior of Iterative methods in numerical Linear Algebra), G.0184.02 (CORFU: Constructive study of Orthogonal Functions) and G.0455.0 (RHPH: Riemann-Hilbert problems, random matrices and Padé-Hermite approximation), and by the Belgian Programme on Interuniversity Poles of Attraction, initiated by the Belgian State, Prime Ministers Office for Science, Technology and Culture, project IUAP V-22 (Dynamical Systems and Control: Computation, Identification & Modelling). The work of the third author was partially supported by MIUR, grant number 2002014121. The scientific responsibility rests with the authors.Acknowledgments.We thank the referees for their suggestions which increased the readability of the paper.     

Analysis of an industrial component commonality problem

We discuss a case study of an industrial production-marketing coordination problem involving component commonality. For the product line considered, the strategic goal of the company is to move from the current low volume market to a high volume market. The marketing department believes that this can be achieved by substantially lowering the end products’ prices. However, this requires a product redesign to lower production costs in order to maintain profit margins. The redesign decision involves grouping end products into families. All products within one family use the same version of some components. This paper fits in the stream of recent literature on component commonality where the focus has shifted from inventory cost savings to production and development cost savings. Further, we consider both costs and revenues, leading to a profit maximization approach. The price elasticity of demand determines the relationship between the price level and number of units sold. Consequently, we integrate information from different functional areas such as production, marketing and accounting. We formulate the problem as a net-present-value investment decision. We propose a mixed integer nonlinear optimization model to find the optimal commonality decision. The recommendation based on our analysis has been implemented in the company. In addition, the application allows us to experimentally validate some claims made in the literature and obtain managerial insights into the trade-offs.     

Nonequilibrium thermodynamics of spacetime

It has previously been shown that the Einstein equation can be derived from the requirement that the Clausius relation dS=deltaQ/T hold for all local acceleration horizons through each spacetime point, where is one-quarter the horizon area change in Planck units and deltaQ and T are the energy flux across the horizon and the Unruh temperature seen by an accelerating observer just inside the horizon. Here we show that a curvature correction to the entropy that is polynomial in the Ricci scalar requires a nonequilibrium treatment. The corresponding field equation is derived from the entropy balance relation dS=deltaQ/T+diS, where diS is a bulk viscosity entropy production term that we determine by imposing energy-momentum conservation. Entropy production can also be included in pure Einstein theory by allowing for shear viscosity of the horizon.     

Classification of Dantzig–Wolfe reformulations for binary mixed integer programming problems

In this note, we provide a classification of Dantzig–Wolfe reformulations for Binary Mixed Integer Programming Problems. We specifically focus on modeling the binary conditions in the convexification approach to the Dantzig–Wolfe decomposition. For a general Binary Mixed Integer Programming problem, an extreme point of the overall problem does not necessarily correspond to an extreme point of the subproblem. Therefore, the binary conditions cannot in general be imposed on the new master problem variables but must be imposed on the original binary variables. In some cases, however, it is possible to impose the binary restrictions directly on the new master problem variables. The issue of imposing binary conditions on the original variables versus the master problem variables has not been discussed systematically for MIP problems in general in the literature and most of the research has been focused on the pure binary case. The classification indicates in which cases you can, and cannot, impose binary conditions on the new master problem variables.     

The Local Structure of Graded Representations

In this article we show that the local structure of the projective representation space of a graded algebra can locally be described by quivers with an automorphism of their path algebra, a weighted twist. We describe the quotient spaces of these weighted twisted quiver settings and determine which of them are smooth.     

Reflections in a cup of coffee

Allegedly, Brouwer discovered his famous fixed point theorem while stirring a cup of coffee and noticing that there is always at least one point in the liquid that does not move. In this paper, based on a talk in honor of Brouwer at the University of Amsterdam, we will explore how Brouwer’s ideas about this phenomenon spilled over in a lot of different areas of mathematics and how this eventually led to an intriguing geometrical theory we now know as mirror symmetry.