Computational experience with a bundle approach for semidefinite cutting plane relaxations of Max-Cut and Equipartition

We propose a dynamic version of the bundle method to get approximate solutions to semidefinite programs with a nearly arbitrary number of linear inequalities. Our approach is based on Lagrangian duality, where the inequalities are dualized, and only a basic set of constraints is maintained explicitly. This leads to function evaluations requiring to solve a relatively simple semidefinite program. Our approach provides accurate solutions to semidefinite relaxations of the Max-Cut and the Equipartition problem, which are not achievable by direct approaches based only on interior-point methods. Received: April, 2004 The last author gratefully acknowledges the support from the Austrian Science Foundation FWF Project P12660-MAT.     

Fermi surface of 3d1 perovskite CaVO3 near the Mott transition

We present a detailed de Haas-van Alphen effect study of the perovskite CaVO3, offering an unprecedented test of electronic structure calculations in a 3d transition metal oxide. Our experimental and calculated Fermi surfaces are in good agreement, but only if we ignore large orthorhombic distortions of the cubic perovskite structure. Subtle discrepancies may shed light on an apparent conflict between the low energy properties of CaVO3, which are those of a simple metal, and high energy probes which reveal strong correlations that place CaVO3 on the verge of a metal-insulator transition.     

Anomalous dispersion in the Belousov-Zhabotinsky reaction: Experiments and modeling

We report results on dispersion relations and instabilities of traveling waves in excitable systems. Experiments employ solutions of the 1,4-cyclohexanedione Belousov-Zhabotinsky reaction confined to thin capillary tubes which create a pseudo-one-dimensional system. Theoretical analyses focus on a three-variable reaction-diffusion model that is known to reproduce qualitatively many of the experimentally observed dynamics. Using continuation methods, we show that the transition from normal, monotonic to anomalous, single-overshoot dispersion curves is due to an orbit flip bifurcation of the solitary pulse homoclinics. In the case of “wave stacking”, this anomaly induces attractive pulse interaction, slow solitary pulses, and faster wave trains. For “wave merging”, wave trains break up in the wake of the slow solitary pulse due to an instability of wave trains at small wavelength. A third case, “wave tracking” is characterized by the non-existence of solitary waves but existence of periodic wave trains. The corresponding dispersion curve is a closed curve covering a finite band of wavelengths.     

Composition of particles emitted at largep T and medium angles inpp,dd, andαα collisions at the CERN intersecting storage rings

The relative yields of kaons and protons compared with the yield of pions at highp _T and polar angles θ away from 90° (in the range from 10° to 45°) are presented forpp, dd, and αα interactions at a centre-of-mass energy \(\sqrt {s_{NN} } = 31\) GeV per nucleon-nucleon collision. The measured particle ratios depend on the atomic mass numberA of the beam particles and on θ. TheA dependence of the ratios becomes stronger for largerp _T and is more pronounced at smaller polar angles.     

A higher-order large-scale regularity theory for random elliptic operators

We develop a large-scale regularity theory of higher order for divergence-form elliptic equations with heterogeneous coefficient fields a in the context of stochastic homogenization. The large-scale regularity of a-harmonic functions is encoded by Liouville principles: The space of a-harmonic functions that grow at most like a polynomial of degree k has the same dimension as in the constant-coefficient case. This result can be seen as the qualitative side of a large-scale C^k,α-regularity theory, which in the present work is developed in the form of a corresponding C^k,α-“excess decay” estimate: For a given a-harmonic function u on a ball B_R, its energy distance on some ball B_r to the above space of a-harmonic functions that grow at most like a polynomial of degree k has the natural decay in the radius r above some minimal radius r₀.

Though motivated by stochastic homogenization, the contribution of this paper is of purely deterministic nature: We work under the assumption that for the given realization a of the coefficient field, the couple (φ, σ) of scalar and vector potentials of the harmonic coordinates, where φ is the usual corrector, grows sublinearly in a mildly quantified way. We then construct “kth-order correctors” and thereby the space of a-harmonic functions that grow at most like a polynomial of degree k, establish the above excess decay, and then the corresponding Liouville principle.     

Complete Carton-13 Assignments of the Sesquiterpene Lactone 11,13,-Dihydroparthenolide Using 2D-Inadequate

The complete ¹³C NMR resonances for the sesquiterpene lactone 11,13-dihydroparthenolide were established by the application of 2D-INADEQUATE.     

Graph-distance convergence and uniform local boundedness of monotone mappings

In this article we study graph-distance convergence of monotone operators. First, we prove a property that has been an open problem up to now: the limit of a sequence of graph-distance convergent maximal monotone operators in a Hilbert space is a maximal monotone operator. Next, we show that a sequence of maximal monotone operators converging in the same sense in a reflexive Banach space is uniformly locally bounded around any point from the interior of the domain of the limit mapping. The result is an extension of a similar one from finite dimensions. As an application we give a simplified condition for the stability (under graph-distance convergence) of the sum of maximal monotone mappings in Hilbert spaces.

     

Local behavior of an iterative framework for generalized equations with nonisolated solutions

 An iterative framework for solving generalized equations with nonisolated solutions is presented. For generalized equations with the structure , where is a multifunction and F is single-valued, the framework covers methods that, at each step, solve subproblems of the type . The multifunction approximates F around s. Besides a condition on the quality of this approximation, two other basic assumptions are employed to show Q-superlinear or Q-quadratic convergence of the iterates to a solution. A key assumption is the upper Lipschitz-continuity of the solution set map of the perturbed generalized equation . Moreover, the solvability of the subproblems is required. Conditions that ensure these assumptions are discussed in general and by means of several applications. They include monotone mixed complementarity problems, Karush-Kuhn-Tucker systems arising from nonlinear programs, and nonlinear equations. Particular results deal with error bounds and upper Lipschitz-continuity properties for these problems. Received: November 2001 / Accepted: November 2002 Published online: December 9, 2002 Key Words. generalized equation – nonisolated solutions – Newton's method – superlinear convergence – upper Lipschitz-continuity – mixed complementarity problem – error bounds Mathematics Subject Classification (1991): 90C30, 65K05, 90C31, 90C33     

Underwater measurement of narrowband sound power and directivity using Supersonic Intensity in Reverberant Environments

A laboratory underwater acoustic measurement technique, Supersonic Intensity in Reverberant Environments (SIRE), is developed analytically and validated experimentally and numerically. Unlike standard free or diffuse field techniques, SIRE enables the measurement of narrowband sound power and directivity in an environment with inexact field conditions. The technique takes advantage of underwater vector sensors, measuring only acoustic pressure and the normal component of particle velocity/acceleration, and supersonic wavenumber filtering in the near field of a source. The result is outward-propagating acoustic waves separated from interfering incoming and/or evanescent waves. The SIRE technique was experimentally applied to monopole and dipole sources and the results are compared with theory and standard methods. SIRE is shown to accurately measure radiated sound power to within the limits of ANSI S12.51 and to accurately measure the directivity indices of simple sources to within ±3 dB. A coupled finite element/boundary element model of a point-driven, thin-walled cylinder is also developed to establish the limitations of the SIRE technique. The model results show that the measurement standoff distance should be less than the reciprocal of the largest wavenumber in the frequency band of interest. Furthermore, the maximum measurement grid spacing must be less than twice the standoff distance.