Approximation in the mean by bounded analytic functions

Let 1<p< and . LetC _q denote the Bessel capacity in the plane. Let be the set of homomorphisms ofH (G) such that (z)= and letNP denote the set of points in G for which is not a peak set forH (G). In this note, we show that ifC _q (NP)=0, thenH (G) is dense inL _a ^p (G), the Bergman space overG.Partially supported by NSF DMS-9401234     

The method of layer potentials for non-smooth domains with arbitrary topology

In this paper we discuss the solvability of boundary value problems for the Laplace operator on Lipschitz domains with arbitrary topology via boundary layers. An application to hydrodynamics is included.Partially supported by a UMC Research Board grant and UMC Summer Research Fellowship     

Constraint-Based Job Shop Scheduling with IILOG SCHEDULER

We introduce constraint-based scheduling and discuss its main principles. An approximation algorithm based on tree search is developed for the job shop scheduling problem using ILOG SCHEDULER. A new way of calculating lower bounds on the makespan of the job shop scheduling problem is presented and we show how such results can be used within a constraint-based approach. An empirical performance analysis shows that the algorithm we developed performs well. Finally, taking the job shop scheduling problem as a start point, we discuss how constraint-based scheduling can be used to solve more general scheduling problems.     

On the unique finite (SI) decomposition of the Jordan operator ⊕ i=1 n S(θ) for certain inner function θ

In this paper, we have proven that for the Jordan blockS() withS() (SI), _i=1 ⁿ S() =S() ⁽ⁿ⁾ (n 1) has unique finite (SI) decomposition up to a similarity. As result, we obtain that ifV is a Volterra operator onH=L ²([0, 1]), thenV ⁽ⁿ⁾ has unique finite (SI) decomposition.This project was supported by National Natural Science Foundation of China.     

Higher degree layer potentials for non-smooth domains with arbitrary topology

We consider layer potentials associated with the Hodge-Laplacian acting on differential forms of arbitrary degree defined on Lipschitz subdomains of a Riemannian manifold. The main emphasis is on the interplay between the mapping properties of such layer potentials and the topology of the underlying domain.Partially supported by a UMC Research Board GrantPartially supported by NSF grant DMS-9870018     

The chebop system for automatic solution of differential equations

In Matlab, it would be good to be able to solve a linear differential equation by typing u = L\f, where f, u, and L are representations of the right-hand side, the solution, and the differential operator with boundary conditions. Similarly it would be good to be able to exponentiate an operator with expm(L) or determine eigenvalues and eigenfunctions with eigs(L). A system is described in which such calculations are indeed possible, at least in one space dimension, based on the previously developed chebfun system in object-oriented Matlab. The algorithms involved amount to spectral collocation methods on Chebyshev grids of automatically determined resolution. AMS subject classification (2000)  65L10, 65M70, 65N35     

Modelling the dynamics of stochastic local search on <Emphasis Type="Italic">k</Emphasis>-<Emphasis Type="SmallCaps">sat</Emphasis>

A new analytical tool is presented to provide a better understanding of the search space of k-sat. This tool, termed the local value distribution , describes the probability of finding assignments of any value q′ in the neighbourhood of assignments of value q. The local value distribution is then used to define a Markov model to model the dynamics of a corresponding stochastic local search algorithm for k-sat. The model is evaluated by comparing the predicted algorithm dynamics to experimental results. In most cases the fit of the model to the experimental results is very good, but limitations are also recognised.     

Semidirect products of lattices

The semidirect product of lattices is a lattice analogue of the semidirect product of groups. In this article we introduce this construction, show some basic facts and study a class of lattices closed under semidirect products. We also generalise this notion presenting the semidirect product of semilattices. Received February 22, 2005; accepted in final form August 29, 2006.     

The modified Yamabe problem and geometry of modified scalar curvatures

Study of modified scalar curvatures and the modified Yamabe problem is given. An existence theorem of type of Trudinger and Aubin is obtained. Interpreting Isotropic curvature as a certain modified scalar curvature we can extend the four-dimensional sphere theorem of [23]. Another modified scalar curvature is used in solving open problems concerning the conjecture of self-dual Einstein 4-manifold and the Goldberg conjecture, both being under negative Ricci condition.     

Minimizers of non convex scalar functionals and viscosity solutions of Hamilton-Jacobi equations

We consider a class of non convex scalar functionals of the form

An irregular complex valued solution to a scalar uniformly elliptic equation

We present an irregular weak solution of a uniformly elliptic scalar equation in divergence form with measurable coefficients. The solution has a square integrable gradient. Such examples have been known for dimension n ≥ 5 only. The author was partially supported by SFB 611.     

Blaschke products and proper holomorphic mappings

Suppose f: $\mathbb{D} \to V$ is a proper holomorphic map of the unit disk $\mathbb{D} \subset \mathbb{C}$ onto a subset $V \subset \mathbb{D}$ of degree d>0. We show that f is conjugate to either an affine map or a degree d Blaschke product. As an application we give a unified treatment of theorems of Böttcher and Schröder coordinates.     

Collapsing monoids consisting of permutations and constants

In this paper we determine all collapsing transformation monoids that contain at least one unary constant operation and whose nonconstant operations are permutations. Furthermore, we find an infinite family of transformation monoids that consist of at least three unary constant operations and some permutations for which the corresponding monoidal intervals are 2-element chains. This research is supported by Hungarian National Foundation for Scientific Research grant nos. T 37877 and K 60148.     

Axiomatizing the Harsanyi solution,the symmetric egalitarian solution and the consistent solution for NTU-games

The validity of the axiomatization of the Harsanyi solution for NTU-games by Hart (1985) is shown to depend on the regularity conditions imposed on games. Following this observation, we propose two related axiomatic characterizations, one of the symmetric egalitarian solution (Kalai and Samet, 1985) and one of the consistent solution (Maschler and Owen, 1992). The three axiomatic results are studied, evaluated and compared in detail.Revised October 2004We thank an anonymous referee and an associate editor for their helpful comments. Geoffroy de Clippel also thanks Professors Sergiu Hart, Jean-François Mertens and Enrico Minelli. Horst Zank thanks the Dutch Science Foundation NWO and the British Council for support under the UK-Netherlands Partnership Programme in Science (PPS 706). The usual disclaimer applies.     

Subdirect products of hereditary congruence lattices

A congruence lattice L of an algebra A is called power-hereditary if every 0-1 sublattice of Lⁿ is the congruence lattice of an algebra on Aⁿ for all positive integers n. Let A and B be finite algebras. We prove

Sums, products and negations of contexts and complete lattices

In Formal Concept Analysis, one associates with every context its concept lattice , and conversely, with any complete lattice L the standard context L, constituted by the join-irreducible elements as ‘objects’, the meet-irreducible elements as ‘attributes’, and the incidence relation induced by the lattice order. We investigate the effect of the operators and on various (finite or infinite) sum and product constructions. The rules obtained confirm the ‘exponential’ behavior of and the ‘logarithmic’ behavior of with respect to cardinal operations but show a ‘linear’ behavior on ordinal sums. We use these results in order to establish several forms of De Morgan’s law for the lattice-theoretical negation operator, associating with any complete lattice the concept lattice of the complementary standard context. Received February 7, 2001; accepted in final form January 6, 2006.     

Stable bundles on 3-fold hypersurfaces

Using monads, we construct a large class of stable bundles of rank 2 and 3 on 3-fold hypersurfaces, and study the set of all possible Chern classes of stable vector bundles.     

On scalar field equations with critical nonlinearity

The paper concerns existence of solutions to the scalar field equation

Hard coloring problems in low degree planar bipartite graphs

In this paper we prove that the PRECOLORING EXTENSION problem on graphs of maximum degree 3 is polynomially solvable, but even its restricted version with 3 colors is NP-complete on planar bipartite graphs of maximum degree 4.The restricted version of LIST COLORING, in which the union of all lists consists of 3 colors, is shown to be NP-complete on planar 3-regular bipartite graphs.