Validated Infeasible Interior-Point Predictor–Corrector Methods for Linear Programming

Many problems arising in practical applications lead to linear programming problems. Hence, they are fundamentally tractable. Recent interior-point methods can exploit problem structure to solve such problems very efficiently. Infeasible interior-point predictor–corrector methods using floating-point arithmetic sometimes compute an approximate solution with duality gap less than a given tolerance even when the problem may not have a solution. We present an efficient verification method for solving linear programming problems which computes a guaranteed enclosure of the optimal solution and which verifies the existence of the solution within the computed interval.     

Program explanations and causal relevance

Frank Jackson and Philip Pettit have defended a non-reductive account of causal relevance known as the ‘program explanation account’. Allegedly, irreducible mental properties can be causally relevant in virtue of figuring in non-redundant program explanations which convey information not conveyed by explanations in terms of the physical properties that actually do the ‘causal work’. I argue that none of the possible ways to spell out the intuitively plausible idea of a program explanation serves its purpose, viz., defends non-reductive physicalism against Jaegwon Kim’s Causal Exclusion Argument according to which non-reductive physicalism is committed to epiphenomenalism because irreducible mental properties are ‘screened off’ from causal relevance by their physical realizers. Jackson and Pettit’s most promising explication of a program explanation appeals to the idea of invariance of effect under variation of realization, but I show that invariance of effect under variation of realization is neither necessary nor sufficient for causal relevance.     

Nonvanishing derivatives and normal families

We consider the differential operators Ψ _k , defined by Ψ₁(y) =y and Ψ _k+1(y)=yΨ _k y+d/dz(Ψ _k (y)) fork ∈ ℕ fork∈ ℕ. We show that ifF is meromorphic in ℂ and Ψ _k F has no zeros for somek≥3, and if the residues at the simple poles ofF are not positive integers, thenF has the formF(z)=((k-1)z+a)/(z ²+β z+γ) orF(z)=1/(az+β) where α, β, γ ∈ ℂ. If the residues at the simple poles ofF are bounded away from zero, then this also holds fork=2. We further show that, under suitable additional conditions, a family of meromorphic functionsF is normal if each Ψ _k (F) has no zeros. These conditions are satisfied, in particular, if there exists δ>0 such that Re (Res(F, a)) <−δ for all polea of eachF in the family. Using the fact that Ψ _k (f ^′/f) =f ^(k)/f, we deduce in particular that iff andf ^(k) have no zeros for allf in some familyF of meromorphic functions, wherek≥2, then {f ^′/f :f ∈F} is normal. The first author is supported by the German-Israeli Foundation for Scientific Research and Development G.I.F., G-643-117.6/1999, and INTAS-99-00089. The second author thanks the DAAD for supporting a visit to Kiel in June–July 2002. Both authors thank Günter Frank for helpful discussions.     

cos πρ theorems for δ-subharmonic functions

For ϕ a δ-subharmonic function, sharp results are obtained that connectA(r, ϕ), B(r, ϕ) andT(r, ϕ), whereA(r, ϕ)=inf_|z|=r ϕ(z),B(r, ϕ)=sup_|z|=r ϕ(z), andT(r, ϕ) is the Nevanlinna characteristics.     

2‐Amino‐4‐chloro‐6‐[N‐methyl‐N‐(4‐methylphenyl)amino]pyrimidine: formation versus fragmentation of hydrogen‐bonded chains of edge‐fused R22(8) rings in 4,6‐disubstituted 2‐aminopyrimidines

Molecules of the title compound, C₁₂H₁₃ClN₄, are linked by two independent N—H...N hydrogen bonds into a chain of edge‐fused R₂²(8) rings. The significance of this study lies in its attempt to rationalize the patterns of supramolecular aggregation in the title compound and in a range of analogous 4,6‐disubstituted 2‐aminopyrimidines.     

Reference values for drag and lift of a two‐dimensional time‐dependent flow around a cylinder

This paper presents a numerical study of a two‐dimensional time‐dependent flow around a cylinder. Its main objective is to provide accurate reference values for the maximal drag and lift coefficient at the cylinder and for the pressure difference between the front and the back of the cylinder at the final time. In addition, the accuracy of these values obtained with different time stepping schemes and different finite element methods is studied. Copyright © 2004 John Wiley & Sons, Ltd.     

High‐order accurate numerical solutions of incompressible flows with the artificial compressibility method

A high‐order accurate, finite‐difference method for the numerical solution of incompressible flows is presented. This method is based on the artificial compressibility formulation of the incompressible Navier–Stokes equations. Fourth‐ or sixth‐order accurate discretizations of the metric terms and the convective fluxes are obtained using compact, centred schemes. The viscous terms are also discretized using fourth‐order accurate, centred finite differences. Implicit time marching is performed for both steady‐state and time‐accurate numerical solutions. High‐order, spectral‐type, low‐pass, compact filters are used to regularize the numerical solution and remove spurious modes arising from unresolved scales, non‐linearities, and inaccuracies in the application of boundary conditions. The accuracy and efficiency of the proposed method is demonstrated for test problems. Copyright © 2004 John Wiley & Sons, Ltd.     

Proteins Entrapped in Silica Monoliths Prepared from Glyceroxysilanes

The preparation of discrete polyol based silane precursors derived from glycerol by a simple one-pot process is described. These polyol-based silanes could be hydrolyzed under mild pH conditions and upon gelation resulted in the formation of optically clear, monolithic, mesoporous silica. The hydrolysis and condensation reactions lead to cure rates that are very sensitive to ionic strength, but are almost unaffected by pH in contrast to those of alkoxysilanes derived from primary alcohols such as Si(OEt)₄. Residual glycerol in the silica monolith could be removed by washing, or could be left in the silica to reduce the magnitude of shrinkage during long term storage. The biocompatible glyceroxysilane precursors lead to materials that were able to retain the activity of entrapped enzymes over repeated cycles of use for periods of up to several months.     

Synthesis of Organic-Inorganic Hybrid Particles by Sol-Gel Chemistry

The synthesis of ORganically MOdified SILica (ORMOSIL) particles has been carried out using both the hydrolytic and non-hydrolytic sol-gel routes. The hybrid (nano)composites are organically modified with an alkyl or aryl group covalently bonded to silicon. Hybrids have been synthesised in an aqueous sol-gel process by a modified Stöber route, producing spherical nanoparticles with diameters in the range 50–300 nm. The size of the particles can be controlled by control of certain reaction parameters. Smaller ormosil nanoparticles can be synthesised by a base-catalysed emulsion polymerisation route, by varying the type and concentration of surfactant and precursor feed rate. In this case, particles in the size range 3.5–10 nm can be obtained. Hybrids have been synthesised from hyperbranched polyesters by encapsulation in a silica matrix using the hydrolytic sol-gel route. Optimisation of the reaction conditions allows the hybrids to be produced as isolated sub-micron spherical particles. Ormosil particles have also been synthesised using the non-hydrolytic sol-gel route, which may lead to products of different morphologies because of the different polarity of the reaction medium. Different reaction conditions were studied in order to optimise the size and shape of the particles, including choice of solvent, use of surfactants and addition of polystyrene. Dimethylsulfoxide acts as a novel oxygen donor for the catalyst-free formation of colourless silsesquioxanes.