Multicuts in unweighted graphs and digraphs with bounded degree and bounded tree-width

The Multicut problem can be defined as: given a graph G and a collection of pairs of distinct vertices {s_i,t_i} of G, find a minimum set of edges of G whose removal disconnects each s_i from the corresponding t_i. Multicut is known to be NP-hard and Max SNP-hard even when the input graph is restricted to being a tree. The main result of the paper is a polynomial-time approximation scheme (PTAS) for Multicut in unweighted graphs with bounded degree and bounded tree-width. That is, for any ε>0, we present a polynomial-time (1+ε)-approximation algorithm. In the particular case when the input is a bounded-degree tree, we have a linear-time implementation of the algorithm. We also provide some hardness results: we prove that Multicut is still NP-hard for binary trees and that it is Max SNP-hard if we drop any of the three conditions (unweighted, bounded-degree, bounded tree-width). Finally we show that some of these results extend to the vertex version of Multicut and to a directed version of Multicut.     

Three-dimensional steady supersonic duct flow using Lagrangian formulation

In this paper, numerical simulation of three-dimensional supersonic flow in a duct is presented. The flow field in the duct is complex and can find its applications in the inlet of air-breathing engines. A unique streamwise marching Lagrangian method is employed for solving the steady Euler equations. The method was first initiated by Loh and Hui (1990) for 2-D steady supersonic flow computations and then extended to 3-D computation by the present authors Loh and Liou (1992). The new scheme is shown to be capable of accurately resolving complicated shock or contact discontinuities and their interactions. In all the computations, a free stream of Mach numberM=4 is considered.This article was processed using Springer-Verlag T_EX Shock Waves macro package 1.0 and the AMS fonts, developed by the American Mathematical Society.     

Constant Q-curvature metrics in arbitrary dimension

Working in a given conformal class, we prove existence of constant Q-curvature metrics on compact manifolds of arbitrary dimension under generic assumptions. The problem is equivalent to solving a nth-order non-linear elliptic differential (or integral) equation with variational structure, where n is the dimension of the manifold. Since the corresponding Euler functional is in general unbounded from above and below, we use critical point theory, jointly with a compactness result for the above equation.     

Determination of the optimal initial function and the parameters for nonlinear time-delay systems

This paper deals with dynamic systems described by nonlinear differential-difference equations of retarded type. The problem considered is to determine the initial function and certain system parameters which minimize a given cost functional. A computational method is presented and some convergence results are given. Numerical examples of linear and nonlinear systems are also included.     

Hereditary optimal control problems: Numerical method based upon a padé approximation

In this paper, we consider a particular approximation scheme which can be used to solve hereditary optimal control problems. These problems are characterized by variables with a time-delayed argumentx(t – ). In our approximation scheme, we first replace the variable with an augmented statey(t) x(t - ). The two-sided Laplace transform ofy(t) is a product of the Laplace transform ofx(t) and an exponential factor. This factor is approximated by a first-order Padé approximation, and a differential relation fory(t) can be found. The transformed problem, without any time-delayed argument, can then be solved using a gradient algorithm in the usual way. Four problems are solved to illustrate the validity and usefulness of this technique.This research was supported in part by the National Aeronautics and Space Administration under NASA Grant NCC-2-106.     

Polynuclear manganese grids and clusters—A magnetic perspective

High nuclearity paramagnetic, spin-coupled transition metal clusters and grids are fascinating chemists and physicists partly because of their structural beauty, and the challenge of creating them, but also because of their novel physical properties. Magnetic interactions between the spin centers are a primary focus. This review will examine a selection of Mn(II) polynuclear grids and clusters, with nuclearities in the range Mn₄ to Mn₉. Theoretical treatments of the magnetic properties are discussed, and approaches to solving the exchange problem for ‘large’ spin systems related to computational difficulties. A freely available software package (MAGMUN4.1) is presented as a means of dealing simply with spin-coupled clusters in general, and symmetry reduction methods are discussed briefly as a means of dealing with ‘large’ spin systems.     

The European Eco-Management and Audit Scheme Accreditation – an overview

 Environmental quality is still deteriorating in the EU and worldwide despite all the Directives and Regulations in this field over the past 20 years. The European Community has devised a new approach to this problem with the introduction of the Eco-Management and Audit Scheme Regulation. This Regulation provides industry with an opportunity to demonstrate that it can achieve continuous improvement in its environmental performance through a voluntary scheme which is not based on the traditional command and control mechanisms of Directives. This paper gives an overview of the steps involved in implementing the European Eco-Management and Audit Scheme and the role of accreditation in supporting the scheme.     

A priori error estimates for numerical methods for scalar conservation laws. Part I: The general approach

In this paper, we construct a general theory of a priori error estimates for scalar conservation laws by suitably modifying the original Kuznetsov approximation theory. As a first application of this general technique, we show that error estimates for conservation laws can be obtained without having to use explicitly any regularity properties of the approximate solution. Thus, we obtain optimal error estimates for the Engquist-Osher scheme without using the fact (i) that the solution is uniformly bounded, (ii) that the scheme is total variation diminishing, and (iii) that the discrete semigroup associated with the scheme has the -contraction property, which guarantees an upper bound for the modulus of continuity in time of the approximate solution.

     

Optimal error estimates of a locally one-dimensional method for the multidimensional heat equation

For the multidimensional heat equation in a parallelepiped, optimal error estimates inL ₂(Q) are derived. The error is of the order of +¦h¦² for any right-hand sidef L ₂(Q) and any initial function ; for appropriate classes of less regularf andu ₀, the error is of the order of ((+¦h¦² ), 1/2<1.Translated fromMatematicheskie Zametki, Vol. 60, No. 2, pp. 185–197, August, 1996.     

Cyclic homology for schemes

Using hypercohomology, we can extend cyclic homology from algebras to all schemes over a ring . By `extend' we mean that the usual cyclic homology of any commutative algebra agrees with the cyclic homology of its corresponding affine scheme.