Upper and lower bounds for the fixed spectrum frequency assignment problem

A survey of the results described in the authors PhD thesis (Montemanni 2001) is presented. The thesis, which was supervised by Prof. Derek H. Smith and Dr. Stuart M. Allen, has been defended in January 2002 at the University of Glamorgan (U.K.). The thesis proposes new heuristic algorithms, based on well-known meta-heuristic paradigms, and new lower bounding techniques, based on linear programming, for the fixed spectrum frequency assignment problem.Received: May 2003, Revised: May 2003, AMS classification: 90C27, 90C59,05C90, 90C05Roberto Montemanni: Present address: Istituto Dalle Molle di Studi sullIntelligenza Artificiale (IDSIA), Galleria 2, 6928 Manno-Lugano, Switzerland (e-mail: roberto@idsia.ch)     

A Bitangential Interpolation Problem on the Closed Unit Ball for Multipliers of the Arveson Space

We solve a bitangential interpolation problem for contractive multipliers on the Arveson space with an arbitrary interpolating set in the closed unit ball . The solvability criterion is established in terms of positive kernels. The set of all solutions is parametrized by a Redheffer transform. Submitted: February 2, 2002.     

Radially symmetric wave maps from (1 + 2)-dimensional Minkowski space to general targets

Extending our previous work [5] on this subject we show global existence of smooth solutions to the Cauchy problem for wave maps from the (1 + 2)-dimensional Minkowski space to an arbitrary smooth, compact Riemannian manifold without boundary, for arbitrary smooth, radially symmetric data. Received: 14 December 2001 / Accepted: 1 March 2002 / Published online: 6 August 2002     

On the bounded version of Hilbert's tenth problem

 The paper establishes lower bounds on the provability of 𝒟=NP and the MRDP theorem in weak fragments of arithmetic. The theory I ⁵ E ₁ is shown to be unable to prove 𝒟=NP. This non-provability result is used to show that I ⁵ E ₁ cannot prove the MRDP theorem. On the other hand it is shown that I ¹ E ₁ proves 𝒟 contains all predicates of the form (∀i≤|b|)P(i,x)^Q(i,x) where ^ is =, <, or ≤, and I ⁰ E ₁ proves 𝒟 contains all predicates of the form (∀i≤b)P(i,x)=Q(i,x). Here P and Q are polynomials. A conjecture is made that 𝒟 contains NLOGTIME. However, it is shown that this conjecture would not be sufficient to imply 𝒟=N P. Weak reductions to equality are then considered as a way of showing 𝒟=NP. It is shown that the bit-wise less than predicate, ≤₂, and equality are both co-NLOGTIME complete under FDLOGTIME reductions. This is used to show that if the FDLOGTIME functions are definable in 𝒟 then 𝒟=N P. Received: 13 July 2001 / Revised version: 9 April 2002 / Published online: 19 December 2002 Key words or phrases: Bounded Arithmetic – Bounded Diophantine Complexity     

Boundary Element Methods for Maxwell Transmission Problems in Lipschitz Domains

Summary. We consider the Maxwell equations in a domain with Lipschitz boundary and the boundary integral operator A occuring in the Calderón projector. We prove an inf-sup condition for A using a Hodge decomposition. We apply this to two types of boundary value problems: the exterior scattering problem by a perfectly conducting body, and the dielectric problem with two different materials in the interior and exterior domain. In both cases we obtain an equivalent boundary equation which has a unique solution. We then consider Galerkin discretizations with Raviart-Thomas spaces. We show that these spaces have discrete Hodge decompositions which are in some sense close to the continuous Hodge decomposition. This property allows us to prove quasioptimal convergence of the resulting boundary element methods. Mathematics Subject Classification (2000):65N30     

Inversion of adjunction for non-degenerate hypersurfaces

 We prove a precise inversion of adjunction formula for the log variety (ℂ ^{d +1},X), where X is a non-degenerate hypersurface. As a corollary, the minimal log discrepancies of non-degenerate normal hypersurface singularities are bounded by dimension. Received: 17 September 2002 / Revised version: 22 November 2002 Published online: 14 February 2003 Current address: DPMMS, CMS, University of Cambridge, Wilberforce Road, Cambridge CB3 0WB, England. e-mail: f.ambro@dpmms.cam.ac.uk Mathematics Subject Classification (2000): Primary 14B05; Secondary 14M25, 52B20     

Characterization theorems for the projective space and vector bundle adjunction

 We consider some conditions under which a smooth projective variety X is actually the projective space. We also extend to the case of positive characteristic some results in the theory of vector bundle adjunction. We use methods and techniques of the so called Mori theory, in particular the study of rational curves on projective manifolds. Received: 16 May 2002 / Revised version: 18 November 2002 Published online: 3 March 2003 Mathematics Subject Classification (2000): 14E30, 14J40, 14J45     

Separation in distributive congruence lattices

We define separable sets in algebraic lattices. For a finitely generated congruence distributive variety V \mathcal{V} , we show a close connection between non-separable sets in congruence lattices of algebras in V \mathcal{V} and the structure of subdirectly irreducible algebras in V \mathcal{V} . We apply the general results to some lattice varieties.