Contact singularities

 A contact singularity is a normal singularity (V,0) together with a holomorphic contact form η on V\ Sing V in a neighbourhood of 0, i.e. η∧ (dη) ^r has no zero, where dim V=2r+1. The main result of this paper is that there are no isolated contact singularities. Received: 15 February 2001 / Revised version: 29 April 2002     

Two measures for proving Gentzen's Hauptsatz without mix

 This paper presents a cut-elimination procedure for classical and intuitionistic logic, in which cut is eliminated directly, without introducing the mix rule. The well-known problem of cut eliminations, when in the derivation the contractions of the cut-formulae are above the premisses of the cut, will be solved by new transformations of the derivation. Received: 1 June 2001 / Published online: 5 November 2002 Mathematics Subject Classification (2000): 03F05 Key words or phrases: Systems of sequents – Cut-elimination theorem     

Solving Problems with Semidefinite and Related Constraints Using Interior-Point Methods for Nonlinear Programming

 In this paper, we describe how to reformulate a problem that has second-order cone and/or semidefiniteness constraints in order to solve it using a general-purpose interior-point algorithm for nonlinear programming. The resulting problems are smooth and convex, and numerical results from the DIMACS Implementation Challenge problems and SDPLib are provided. Received: March 10, 2001 / Accepted: January 18, 2002 Published online: September 27, 2002 Key Words. semidefinite programming – second-order cone programming – interior-point methods – nonlinear programming Mathematics Subject Classification (2000): 20E28, 20G40, 20C20     

The contact boundary of a complex polynomial

 We define the contact boundary of a complex polynomial f : ℂ ⁿ → ℂ as the intersection of some generic fiber with a large sphere. We show that, up to contact isotopy, this does not depend on the choice of the fiber (provided it is generic) and is invariant under polynomial automorphism of ℂ ⁿ . We next prove that the formal homotopy class of this contact boundary is invariant in a large family of deformations of polynomials, which are not necessarily topologically trivial. Received: 15 November 2002 Published online: 20 March 2003 Mathematics Subject Classification (2000): 32S55, 53D15, 32S50     

The two phase stochastic Stefan problem

 This work is concerned with existence for a stochastic free boundary problem arising in phase transition (the Stefan two phase problem). The existence of an invariant ergodic measure associated with the corresponding transition semigroup P(t) is also proved, together with an integration by parts formula for the generator of P(t). Received: 20 June 2001 / Revised version: 17 June 2002 / Published online: 24 October 2002 Mathematics Subject Classification (2000): 35K35, 35R15, 60H15 Key words or phrases: Stochastic Stefan problem – Invariant measures – Wiener process – Transition semigroup – Kolmogorov operator     

The electric field integral equation on Lipschitz screens: definitions and numerical approximation

Summary.  We use the integral equation approach to study electromagnetic scattering by perfectly conducting (non-orientable) Lipschitz screens. The well-posedness of the electric field integral equation is derived. The Galerkin method for this problem is analysed in a general setting and optimal error bounds are proved for conforming finite elements in natural norms. Received September 7, 2001 / Revised version received May 15, 2002 Published online October 29, 2002 Mathematics Subject Classification (1991): 65R20 Work of the second author was sponsored by Thales Airborne Systems.     

Multifractal products of cylindrical pulses

 New multiplicative and statistically self-similar measures μ are defined on ℝ as limits of measure-valued martingales. Those martingales are constructed by multiplying random functions attached to the points of a statistically self-similar Poisson point process defined in a strip of the plane. Several fundamental problems are solved, including the non-degeneracy and the multifractal analysis of μ. On a bounded interval, the positive and negative moments of diverge under broad conditions. First received: 14 September 1999 / Resubmited: 27 June 2001 / Revised version: 30 May 2002 / Published online: 30 September 2002 Mathematics Subject Classification (2002): 28A80, 60G18, 60G44, 60G55, 60G57 Key words or phrases: Random measures – Multifractal analysis – Continuous time martingales – Statistically self-similar Poisson point processes     

Anisotropic error estimates for elliptic problems

Summary.  Moving from the anisotropic interpolation error estimates derived in [12], we provide here both a-priori and a-posteriori estimates for a generic elliptic problem. The a-priori result is deduced by following the standard finite element theory. For the a-posteriori estimate, the analysis extends to anisotropic meshes the theory presented in [3–5]. Numerical test-cases validate the derived results. Received July 22, 2001 / Revised version received March 20, 2002 / Published online July 18, 2002 Mathematics Subject Classification (1991): 65N15, 65N50     

Multi-parameter regularization techniques for ill-conditioned linear systems

Summary.  When a system of linear equations is ill-conditioned, regularization techniques provide a quite useful tool for trying to overcome the numerical inherent difficulties: the ill-conditioned system is replaced by another one whose solution depends on a regularization term formed by a scalar and a matrix which are to be chosen. In this paper, we consider the case of several regularizations terms added simultaneously, thus overcoming the problem of the best choice of the regularization matrix. The error of this procedure is analyzed and numerical results prove its efficiency. Received January 15, 2002 / Revised version received July 31, 2002 / Published online October 29, 2002 Mathematics Subject Classification (1991): 65F05 – 65F22     

On the infinite divisibility of squared Gaussian processes

 We show that fractional Brownian motions with index in (0,1] satisfy a remarkable property: their squares are infinitely divisible. We also prove that a large class of Gaussian processes are sharing this property. This property then allows the construction of two-parameters families of processes having the additivity property of the squared Bessel processes. Received: 1 April 2002 / Revised version: 7 September 2002 / Published online: 19 December 2002 Mathematics Subject Classification (2000): 60E07, 60G15, 60J25, 60J55 Key words or phrases: Gaussian processes – Infinite divisibility – Markov processes     

Weak convergence to fractional Brownian motion in Brownian scenery

 Kesten and Spitzer have shown that certain random walks in random sceneries converge to stable processes in random sceneries. In this paper, we consider certain random walks in sceneries defined using stationary Gaussian sequence, and show their convergence towards a certain self-similar process that we call fractional Brownian motion in Brownian scenery. Received: 17 April 2002 / Revised version: 11 October 2002 / Published online: 15 April 2003 Research supported by NSFC (10131040). Mathematics Subject Classification (2002): 60J55, 60J15, 60J65 Key words or phrases: Weak convergence – Random walk in random scenery – Local time – Fractional Brownian motion in Brownian scenery     

Multiobjective optimization problem with variational inequality constraints

 We study a general multiobjective optimization problem with variational inequality, equality, inequality and abstract constraints. Fritz John type necessary optimality conditions involving Mordukhovich coderivatives are derived. They lead to Kuhn-Tucker type necessary optimality conditions under additional constraint qualifications including the calmness condition, the error bound constraint qualification, the no nonzero abnormal multiplier constraint qualification, the generalized Mangasarian-Fromovitz constraint qualification, the strong regularity constraint qualification and the linear constraint qualification. We then apply these results to the multiobjective optimization problem with complementarity constraints and the multiobjective bilevel programming problem. Received: November 2000 / Accepted: October 2001 Published online: December 19, 2002 Key Words. Multiobjective optimization – Variational inequality – Complementarity constraint – Constraint qualification – Bilevel programming problem – Preference – Utility function – Subdifferential calculus – Variational principle Research of this paper was supported by NSERC and a University of Victoria Internal Research Grant Research was supported by the National Science Foundation under grants DMS-9704203 and DMS-0102496 Mathematics Subject Classification (2000): Sub49K24, 90C29     

A characterization of certain irreducible symplectic 4-folds

 We give a characterization of irreducible symplectic fourfolds which are given as Hilbert scheme of points on a K3 surface. Received: 26 June 2002 / Revised version: 9 September 2002 Published online: 14 February 2003 Mathematics Subject Classification (2000): Primary 14J32, Secondary 32Q20     

Scenario reduction in stochastic programming

 Given a convex stochastic programming problem with a discrete initial probability distribution, the problem of optimal scenario reduction is stated as follows: Determine a scenario subset of prescribed cardinality and a probability measure based on this set that is the closest to the initial distribution in terms of a natural (or canonical) probability metric. Arguments from stability analysis indicate that Fortet-Mourier type probability metrics may serve as such canonical metrics. Efficient algorithms are developed that determine optimal reduced measures approximately. Numerical experience is reported for reductions of electrical load scenario trees for power management under uncertainty. For instance, it turns out that after 50% reduction of the scenario tree the optimal reduced tree still has about 90% relative accuracy. Received: July 2000 / Accepted: May 2002 Published online: February 14, 2003 Key words. stochastic programming – quantitative stability – Fortet-Mourier metrics – scenario reduction – transportation problem – electrical load scenario tree Mathematics Subject Classification (1991): 90C15, 90C31     

Cyclic group and knapsack facets

 Any integer program may be relaxed to a group problem. We define the master cyclic group problem and several master knapsack problems, show the relationship between the problems, and give several classes of facet-defining inequalities for each problem, as well as a set of mappings that take facets from one type of master polyhedra to another. Received: May 24, 2001 / Accepted: August 2002 Published online: March 21, 2003 Mathematics Subject Classification (1991): 20E28, 20G40, 20C20     

On the structure of rotation-invariant semigroups

 We generalize the notions of Girard algebras and MV-algebras by introducing rotation-invariant semigroups. Based on a geometrical characterization, we present five construction methods which result in rotation-invariant semigroups and in particular, Girard algebras and MV-algebras. We characterize divisibility of MV-algebras, and point out that integrality of Girard algebras follows from their other axioms. Received: 7 January 2002 / Revised version: 4 April 2002 / Published online: 19 December 2002 RID="*" ID="*" Supported by the National Scientific Research Fund Hungary (OTKA F/032782). Mathematics Subject Classification (2000): 20M14, 06F05 Key words or phrases: Residuated lattice – Conjunction for non-classical logics     

Backward SDEs and Cauchy problem for semilinear equations in divergence form

 We extend the definition of solutions of backward stochastic differential equations to the case where the driving process is a diffusion corresponding to symmetric uniformly elliptic divergence form operator. We show existence and uniqueness of solutions of such equations under natural assumptions on the data and show its connections with solutions of semilinear parabolic partial differential equations in Sobolev spaces. Received: 22 January 2002 / Revised version: 10 September 2002 / Published online: 19 December 2002 Research supported by KBN Grant 0253 P03 2000 19. Mathematics Subject Classification (2002): Primary 60H30; Secondary 35K55 Key words or phrases: Backward stochastic differential equation – Semilinear partial differential equation – Divergence form operator – Weak solution     

Hydrodynamic limit for ∇φ interface model on a wall

 We consider random evolution of an interface on a hard wall under periodic boundary conditions. The dynamics are governed by a system of stochastic differential equations of Skorohod type, which is Langevin equation associated with massless Hamiltonian added a strong repelling force for the interface to stay over the wall. We study its macroscopic behavior under a suitable large scale space-time limit and derive a nonlinear partial differential equation, which describes the mean curvature motion except for some anisotropy effects, with reflection at the wall. Such equation is characterized by an evolutionary variational inequality. Received: 10 January 2002 / Revised version: 18 August 2002 / Published online: 15 April 2003 Mathematics Subject Classification (2000): 60K35, 82C24, 35K55, 35K85 Key words or phrases: Hydrodynamic limit – Effective interfaces – Hard wall – Skorohod's stochastic differential equation – Evolutionary variational inequality     

CM-triviality and generic structures

 We show that any relational generic structure whose theory has finite closure and amalgamation over closed sets is stable CM-trivial with weak elimination of imaginaries. Received: 21 December 2001 / Published online: 5 November 2002 Mathematics Subject Classification (2000): 03C45 Key words or phrases: CM-triviality – Generic structures – Stability     

A representation of the Belavkin equation via Feynman path integrals

 The Belavkin equation, describing the continuous measurement of the position of a quantum particle, is studied. A rigorous representation of its solution by means of an infinite dimensional oscillatory integral (Feynman path integral) defined on the complex Cameron-Martin space is given. Received: 7 January 2002 / Revised version: 20 June 2002 / Published online: 19 December 2002 Mathematics Subject Classification (2000): 81, 81S40, 60H15 Key words or phrases: Belavkin equation – Continuous measurement – Quantum theory – Oscillatory integrals – Feynman path integrals