### Refine

#### Year of publication

- 2000 (81) (remove)

#### Document Type

- Preprint (81) (remove)

#### Keywords

- AG-RESY (3)
- HANDFLEX (3)
- Deformable Objects (2)
- Manipulation (2)
- Robotics (2)
- Accounting (1)
- Algebraic Geometry (1)
- Approximation (1)
- Black-Scholes model (1)
- CAx (1)

#### Faculty / Organisational entity

In this short note we prove some general results on semi-stable sheaves on P_2 and P_3 with arbitrary linear Hilbert polynomial. Using Beilinson's spectral sequence, we compute free resolutions for this class of semi-stable sheaves and deduce that the smooth moduli spaces M_{r m + s}(P_2) and M_{r m + r - s}(P_2) are birationally equivalent if r and s are coprime.

Power-ordered sets are not always lattices. In the case of distributive lattices we give a description by disjoint of chains. Finite power-ordered sets have a polarity. We introduct the leveled lattices and show examples with trivial tolerance. Finally we give a list of Hasse diagrams of power-ordered sets.

Abstract: This paper presents a solution to a problem from superanalysis about the existence of Hilbert-Banach superalgebras. Two main results are derived: 1) There exist Hilbert norms on some graded algebras (infinite-dimensional superalgebras included) with respect to which the multiplication is continuous. 2) Such norms cannot be chosen to be submultiplicative and equal to one on the unit of the algebra.

Abstract: Local field effects on the rate of spontaneous emission and Lamb shift in a dense gas of atoms are discussed taking into account correlations of atomic center-of-mass coordinates. For this the exact retarded propagator in the medium is calculated in independent scattering approximation and employing a virtual-cavity model. The resulting changes of the atomic polarizability lead to modi cations of the medium response which can be of the same order of magnitude but of opposite sign than those due to local field corrections of the dielectric function derived by Morice, Castin, and Dalibard [Phys.Rev.A 51, 3896 (1995)].

Abstract: We identify form-stable coupled excitations of light and matter ("dark-state polaritons") associated with the propagation of quantum fields in Electromagnetically Induced Transparency. The properties of the dark-state polaritons such as the group velocity are determined by the mixing angle between light and matter components and can be controlled by an external coherent field as the pulse propagates. In particular, light pulses can be decelerated and "trapped" in which case their shape and quantum state are mapped onto metastable collective states of matter. Possible applications of this reversible coherent-control technique are discussed.

Abstract: We analyze systematic (classical) and fundamental (quantum) limitations of the sensitivity of optical magnetometers resulting from ac-Stark shifts. We show that incontrast to absorption-based techniques, the signal reduction associated with classical broadening can be compensated in magnetometers based on phase measurements using electromagnetically induced transparency (EIT). However due to ac-Stark associated quantum noise the signal-to-noise ratio of EIT-based magnetometers attains a maximum value at a certain laser intensity. This value is independent on the quantum statistics of the light and defines a standard quantum limit of sensitivity. We demonstrate that an EIT-based optical magnetometer in Faraday configuration is the best candidate to achieve the highest sensitivity of magnetic field detection and give a detailed analysis of such a device.

Abstract: We analyze the above-threshold behavior of a mirrorless parametric oscillator based on resonantly enhanced four wave mixing in a coherently driven dense atomic vapor. It is shown that, in the ideal limit, an arbitrary small flux of pump photons is sufficient to reach the oscillator threshold. We demonstrate that due to the large group velocity delays associated with coherent media, an extremely narrow oscillator linewidth is possible, making a narrow-band source of non-classical radiation feasible.

Abstract: We describe a technique for manipulating quantum information stored in collective states of mesoscopic ensembles. Quantum processing is accomplished by optical excitation into states with strong dipole-dipole interactions. The resulting "dipole blockade" can be used to inhibit transitions into all but singly excited collective states. This can be employed for a controlled generation of collective atomic spin states as well as non-classical photonic states and for scalable quantum logic gates. An example involving a cold Rydberg gas is analyzed.

Abstract: The recently proposed idea to generate entanglement between photon states via exchange interactions in an ensemble of atoms (J. D. Franson and T. B. Pitman, Phys. Rev. A 60 , 917 (1999) and J. D. Franson et al., (quant- ph/9912121)) is discussed using an S -matix approach. It is shown that if the nonlinear response of the atoms is negligible and no additional atom-atom interactions are present, exchange interactions cannot produce entanglement between photons states in a process that returns the atoms to their initial state. Entanglement generation requires the presence of a nonlinear atomic response or atom-atom interactions.

Introduction: Recent developments in quantum communication and computing [1-3] stimulated an intensive search for physical systems that can be used for coherent processing of quantum information. It is generally believed that quantum entanglement of distinguishable quantum bits (qubits) is at the heart of quantum information processing. Significant efforts have been directed towards the design of elementary logic gates, which perform certain unitary processes on pairs of qubits. These gates must be capable of generating specific, in general entangled, superpositions of the two qubits and thus require a strong qubit-qubit interaction. Using a sequence of single and two-bit operations, an arbitrary quantum computation can be performed [2]. Over the past few years many systems have been identified for potential implementations of logic gates and several interesting experiments have been performed. Proposals for strong qubit-qubit interaction involve e.g. the vibrational coupling of cooled trapped ions [4], near dipole-dipole or spin-spin interactions such as in nuclear magnetic resonance [5], collisional interactions of confined cooled atoms [6] or radiative interactions between atoms in cavity QED [7]. The possibility of simple preparation and measurement of qubit states as well as their relative insensitivity to a thermal environment makes the latter schemes particularly interesting for quantum information processing. Most theoretical proposals on cavity-QED systems focus on fundamental systems involving a small number of atoms and few photons. These systems are sufficiently simple to allow for a first-principle description. Their experimental implementation is however quite challenging. For example, extremely high-Q micro-cavities are needed to preserve coherence during all atom-photon interactions. Furthermore, single atoms have to be confined inside the cavities for a sufficiently long time. This requires developments of novel cooling and trapping techniques, which is in itself a fascinating direction of current research. Despite these technical obstacles, a remarkable progress has been made in this area: quantum processors consisting of several coupled qubits now appear to be feasible.

Dynamics of Excited Electrons in Copper and Ferromagnetic Transition Metals: Theory and Experiment
(2000)

Both theoretical and experimental results for the dynamics of photoexcited electrons at surfaces of Cu and the ferromagnetic transition metals Fe, Co, and Ni are presented. A model for the dynamics of excited electrons is developed, which is based on the Boltzmann equation and includes effects of photoexcitation, electron-electron scattering, secondary electrons (cascade and Auger electrons), and transport of excited carriers out of the detection region. From this we determine the time-resolved two-photon photoemission (TR-2PPE). Thus a direct comparison of calculated relaxation times with experimental results by means of TR-2PPE becomes possible. The comparison indicates that the magnitudes of the spin-averaged relaxation time t and of the ratio t_up/t_down of majority and minority relaxation times for the different ferromagnetic transition metals result not only from density-of-states effects, but also from different Coulomb matrix elements M. Taking M_Fe > M_Cu > M_Ni = M_Co we get reasonable agreement with experiments.

Abstract: We analyse 4-dimensional massive "phi" ^ 4 theory at finite temperature T in the imaginary-time formalism. We present a rigorous proof that this quantum field theory is renormalizable, to all orders of the loop expansion. Our main point is to show that the counterterms can be chosen temperature independent, so that the temperature flow of the relevant parameters as a function of T can be followed. Our result confirms the experience from explicit calculations to the leading orders. The proof is based on flow equations, i.e. on the (perturbative) Wilson renormalization group. In fact we will show that the difference between the theories at T > 0 and at T = 0 contains no relevant terms. Contrary to BPHZ type formalisms our approach permits to lay hand on renormalization conditions and counterterms at the same time, since both appear as boundary terms of the renormalization group flow. This is crucial for the proof.

Abstract: Let H_1 , H_2 be complex Hilbert spaces, H be their Hilbert tensor product and let tr_2 be the operator of taking the partial trace of trace class operators in H with respect to the space H_2 . The operation tr_2 maps states in H (i.e. positive trace class operators in H with trace equal to one) into states in H_1 . In this paper we give the full description of mappings that are linear right inverse to tr_2 . More precisely, we prove that any affine mapping F(W) of the convex set of states in H_1 into the states in H that is right inverse to tr_2 is given by W -> W x D for some state D in H_2 . In addition we investigate a representation of the quantum mechanical state space by probability measures on the set of pure states and a representation - used in the theory of stochastic Schrödinger equations - by probability measures on the Hilbert space. We prove that there are no affine mappings from the state space of quantum mechanics into these spaces of probability measures.

Abstract: We develop a method of singularity analysis for conformal graphs which, in particular, is applicable to the holographic image of AdS supergravity theory. It can be used to determine the critical exponents for any such graph in a given channel. These exponents determine the towers of conformal blocks that are exchanged in this channel. We analyze the scalar AdS box graph and show that it has the same critical exponents as the corresponding CFT box graph. Thus pairs of external fields couple to the same exchanged conformal blocks in both theories. This is looked upon as a general structural argument supporting the Maldacena hypothesis.

Abstract: A Born-Infeld theory describing a D2-brane coupled to a 4-form RR field strength is considered, and the general solutions of the static and Euclidean time equations are derived and discussed. The period of the bounce solutions is shown to allow a consideration of tunneling and quantum-classical transitions in the sphaleron region. The order of such transitions, depending on the strength of the RR field strength, is determined. A criterion is then derived to confirm these findings.

Abstract: The functional relation between interquark potential and interquark distance is explicitly derived by considering the Nambu-Goto action in the AdS5 X S 5 background. It is also shown that a similar relation holds in a general background. The implications of this relation for confinement are briefly discussed.

A new method is used to investigate the tunneling between two weakly-linked Bose-Einstein con- densates confined in double-well potential traps. The nonlinear interaction between the atoms in each well contributes to a finite chemical potential, which, with consideration of periodic instantons, leads to a remarkably high tunneling frequency. This result can be used to interpret the newly found Macroscopic Quantum Self Trapping (MQST) effect. Also a new kind of first-order crossover between different regions is predicted.

Abstract: The calculation of absorption cross sections for minimal scalars in supergravity backgrounds is an important aspect of the investigation of AdS/CFT correspondence and requires a matching of appropriate wave functions. The low energy case has attracted particular attention. In the following the dependence of the cross section on the matching point is investigated. It is shown that the low energy limit is independent of the matching point and hence exhibits universality. In the high energy limit the independence is not maintained, but the result is believed to possess the correct energy dependence.

Abstract: The transition from the instanton-dominated quantum regime to the sphaleron-dominated classical regime is studied in the d = 2 abelian-Higgs model when the spatial coordinate is compactified to S1. Contrary to the noncompactified case, this model allows both sharp first-order and smooth second-order transitions depending on the size of the circle. This finding may make the model a useful toy model for the analysis of baryon number violating processes.

Abstract: Standard methods of nonlinear dynamics are used to investigate the stability of particles, branes and D-branes of abelian Born-Infeld theory. In particular the equation of small fluctuations about the D-brane is derived and converted into a modified Mathieu equation and - complementing earlier low-energy investigations in the case of the dilaton-axion system - studied in the high-energy domain. Explicit expressions are derived for the S-matrix and absorption and reflection amplitudes of the scalar fluctuation in the presence of the D-brane. The results confirm physical expectations and numerical studies of others. With the derivation and use of the (hitherto practically unknown) high energy expansion of the Floquet exponent our considerations also close a gap in earlier treatments of the Mathieu equation.

Abstact. The tunnel splitting in biaxial antiferromagnetic particles is studied with a magnetic field applied along the hard anisotropy axis. We observe the oscillation of tunnel splitting as a function of the magnetic field due to the quantum phase interference of two tunneling paths of opposite windings. The oscillation is similar to the recent experimental result with Fe8 molecular clusters.

Abstract: The point-particle-like Hamiltonian of a biaxial spin particle with external magnetic field along the hard axis is obtained in terms of the potential field description of spin systems with exact spin-coordinate correspondence. The Zeeman energy term turns out to be an effective gauge potential which leads to a nonintegrable phase of the Euclidean Feynman propagator. The phase interference between clockwise and anticlockwise under barrier propagations is recognized explicitly as the Aharonov-Bohm effect. An additional phase which is significant for quantum phase interference is discovered with the quantum theory of spin systems besides the known phase obtained with the semiclassical treatment of spin. We also show the energy dependence of the effect and obtain the tunneling splitting at excited states with the help of periodic instantons.

Abstract: Following our earlier investigations we examine the quantum-classical winding number transition in the Abelian-Higgs system. It is demonstrated that the winding number transition in this system is of the smooth second order type in the full range of parameter space. Comparison of the action of classical vortices with that of the sphaleron supports our finding.

Abstract: Winding number transitions from quantum to classical behavior are studied in the case of the 1+1 dimensional Mottola-Wipf model with the space coordinate on a circle for exploring the possibility of obtaining transitions of second order. The model is also studied as a prototype theory which demonstrates the procedure of such investigations. In the model at hand we find that even on a circle the transitions remain those of first order.

The increasing parallelisation of development processes as well as the ongoing trends towards virtual product development and outsourcing of development activities strengthen the need for 3D co-operative design via communication networks. Regarding the field of CAx, none of the existing systems meets all the requirements of very complex process chain. This leads to a tremendous need for the integration of heterogeneous CAx systems. Therefore, MACAO, a platform-independent client for a distributed CAx component system, the so-called ANICA CAx object bus, is presented. The MACAO client is able to access objects and functions provided by different CAx servers distributed over a communication network. Thus, MACAO is a new solution for engineering design and visualisation in shared distributed virtual environments. This paper describes the underlying concepts, the actual prototype implementation, as well as possible application scenarios in the area of co-operative design and visualisation.

Abstract: The self-duality of chiral p-forms was originally investigated by Pasti, Sorokin and Tonin in a manifestly Lorentz covariant action with non-polynomial auxiliary fields. The investigation was then extended to other chiral p-form actions. In this paper we point out that the self-duality appears in a wider context of theoretical models that relate to chiral p-forms. We demonstrate this by considering the interacting model of Floreanini- Jackiw chiral bosons and gauge fields, the generalized chiral Schwinger model (GCSM) and the latter's gauge invariant formulation, and discover that the self-duality of the GCSM corresponds to the vector and axial vector current duality.

Abstract: It has recently been shown that the equation of motion of a massless scalar field in the background of some specific p branes can be reduced to a modified Mathieu equation. In the following the absorption rate of the scalar by a D3 brane in ten dimensions is calculated in terms of modified Mathieu functions of the first kind, using standard Mathieu coefficients. The relation of the latter to Dougall coefficients (used by others) is investigated. The S-matrix obtained in terms of modified Mathieu functions of the first kind is easily evaluated if known rapidly convergent low energy expansions of these in terms of products of Bessel functions are used. Leading order terms, including the interesting logarithmic contributions, can be obtained analytically.

Abstract: The duality symmetries of various chiral boson actions are investigated using D = 2 and D = 6 space-time dimensions as examples. These actions involve the Siegel, Floreanini-Jackiw, Srivastava and Pasti-Sorokin-Tonin formulations. We discover that the Siegel, Floreanini-Jackiw and Pasti-Sorokin-Tonin actions have self-duality with respect to a common anti-dualization of chiral boson fields in D = 2 and D = 6 dimensions, respectively, while the Srivastava action is self-dual with respect to a generalized dualization of chiral boson fields. Moreover, the action of the Floreanini-Jackiw chiral bosons interacting with gauge fields in D = 2 dimensions also has self-duality but with respect to a generalized anti-dualization of chiral boson fields.

A pure Yang-Mills theory extended by addition of a quartic term is considered in order to study the transition from the quantum tunneling regime to that of classical, i.e. thermal, behaviour. The periodic field confiurations are found, which interpolate between the vacuum and sphaleron field configurations. It is shown by explicit calculation that only smooth second order transitions occur for all permissible values of the parameter A introduced with the quartic term. The theory is one of the rare cases which canbe handled analytically.

Abstract: The transition from the quantum to the classical regime of the nucleation of the closed Robertson-Walker Universe with spacially homogeneous matter fields is investigated with a perturbation expansion around the sphaleron configuration. A criterion is derived for the occurrence of a first-order type transition, and the related phase diagram for scalar and vector fields is obtained. For scalar fields both the first and second order transitions can occur depending on the shape of the potential barrier. For a vector field, here that of an O (3) nonlinear o-model, the transition is seen to be only of the first order. PACS numbers: 11.15.Kc, 03.65Sq, 05.70.Fh, 98.80.Cq

Chaotic Billiards
(2000)

The frictionless motion of a particle on a plane billiard table The frictionless motion of a particle on a plane billiard table bounded by a closed curve provides a very simple example of a conservative classical system with non-trivial, chaotic dynamics. The limiting cases of strictly regular ("integrable") and strictly irregular ("ergodic") systems can be illustrated, as well as the typical case which shows an intricate mixture of regular and irregular behavior. Irregular orbits are characterized by an extremely sensitivity with respect to the initial conditions. Such billiard systems are exemplarily suited for educational purposes as models for simple systems with complicated dynamics as well as for far-reaching fundamental investigations.

Da gerade in der heutigen Zeit viele zusammenarbeitende Softwareentwickler benötigt werden, um immer komplexer werdende Applikationen zu entwerfen, geht der Trend mehr und mehr in die Richtung des räumlich getrennten Arbeitens. Begünstigt wird diese Entwicklung nicht zuletzt durch die Möglichkeiten der Kommunikation und des Datenaustauschs, die durch das Internet geboten werden. Auf dieser Basis sollen Werkzeuge konzipiert und entwickelt werden, die eine effiziente verteilte Softwareentwicklung ermöglichen. Die Nutzung des Internet zu diesem Zweck löst das Verbindungsproblem für sehr große Entfernungen, die Nutzung von Webservern und -browsern wird der Anforderung der Betriebssystemunabhängigkeit und der Realisierung der Verteiltheit im Sinne des Client/Server-Prinzips gerecht. Unter dem Oberbegriff "Software Configuration Management" versteht man die Menge aller Aufgaben, die bei der Produktverwaltung im Bereich der Softwareherstellung anfallen. In dieser Ausarbeitung sollen zunächst die Anforderungen an ein webbasiertes SCM-System formuliert, einige technische Möglichkeiten genannt und verschiedene existierende SCM-Produkte, die eine Web-Schnittstelle bieten auf die Anforderungen überprüft und miteinander verglichen werden.

Gerade in einer Zeit, in der das Internet in nahezu alle Bereiche des menschlichen Lebens vorgedrungen ist und sich nicht zuletzt aufgrund seiner unbegrenzt scheinenden Möglichkeiten zur Beschaffung und zum Austausch von Informationen und zur weltweiten Kommunikation eines sehr starken Zuspruchs erfreut, liegt es nicht nur im Sinne von Rechenzentren und Dienstanbietern, eine Möglichkeit zur Abrechnung der in Anspruch genommenen Ressourcen in die Hand zu bekommen. Die Erschließung neuer Regionen, sowie der Ausbau vorhandener Netze in Richtung einer Bereitstellung höherer Bandbreiten zur Verbesserung der Übertragungsgeschwindigkeiten ist mit immensen Kosten verbunden. Es ist nicht Aufgabe dieser Arbeit zu entscheiden, auf welche Art und Weise die Kosten auf die Benutzer umgelegt oder verteilt werden sollen. Wir wollen hier auch keine Vorschläge zu solchen Überlegungen einbringen, da dergleichen die Domäne anderer Disziplinen, wie beispielsweise der Betriebs- und Volkswirtschaftslehre und der Politik, darstellt. Unsere Aufgabe ist es aber, die informatikspezifischen Probleme der rechnerinternen Erfassung von Accountinginformationen zu beleuchten und so gesammelte Werte den Spezialisten anderer Fachgebiete zur weiteren Verarbeitung zu überlassen. So befasst sich diese Arbeit zunächst mit den grundlegenden Eigenschaften und Modellen des zu betrachtenden Datenverkehrs, um im folgenden Voraussetzungen und Möglichkeiten zur Realisierung einer benutzerorientierten Erfassung und Abrechung der genutzten Netzwerkressourcen aufzuzeigen und herauszuarbeiten.

An extremely simple and convenient method is presented for computing eigenvalues in quantum mechanics by representing position and momentum operators in a simple matrix form. The simplicity and success of the method is illustrated by numerical results concerning eigenvalues of bound systems and resonances for hermitian and non-hermitian Hamiltonians as well as driven quantum systems.

We consider investment problems where an investor can invest in a savings account, stocks and bonds and tries to maximize her utility from terminal wealth. In contrast to the classical Merton problem we assume a stochastic interest rate. To solve the corresponding control problems it is necessary to prove averi cation theorem without the usual Lipschitz assumptions.

In the Black-Scholes type financial market, the risky asset S 1 ( ) is supposed to satisfy dS 1 ( t ) = S 1 ( t )( b ( t ) dt + Sigma ( t ) dW ( t ) where W ( ) is a Brownian motion. The processes b ( ), Sigma ( ) are progressively measurable with respect to the filtration generated by W ( ). They are known as the mean rate of return and the volatility respectively. A portfolio is described by a progressively measurable processes Pi1 ( ), where Pi1 ( t ) gives the amount invested in the risky asset at the time t. Typically, the optimal portfolio Pi1 ( ) (that, which maximizes the expected utility), depends at the time t, among other quantities, on b ( t ) meaning that the mean rate of return shall be known in order to follow the optimal trading strategy. However, in a real-world market, no direct observation of this quantity is possible since the available information comes from the behavior of the stock prices which gives a noisy observation of b ( ). In the present work, we consider the optimal portfolio selection which uses only the observation of stock prices.

In multicriteria optimization problems the connectedness of the set of efficient solutions (pareto set) is of special interest since it would allow the determination of the efficient solutions without considering non-efficient solutions in the process. In the case of the multicriteria problem to minimize matchings the set of efficient solutions is not connected. The set of minimal solutions E pot with respect to the power ordered set contains the pareto set. In this work theorems about connectedness of E pot are given. These lead to an automated process to detect all efficient solutions.

Many polynomially solvable combinatorial optimization problems (COP) become NP when we require solutions to satisfy an additional cardinality constraint. This family of problems has been considered only recently. We study a newproblem of this family: the k-cardinality minimum cut problem. Given an undirected edge-weighted graph the k-cardinality minimum cut problem is to find a partition of the vertex set V in two sets V 1 , V 2 such that the number of the edges between V 1 and V 2 is exactly k and the sum of the weights of these edges is minimal. A variant of this problem is the k-cardinality minimum s-t cut problem where s and t are fixed vertices and we have the additional request that s belongs to V 1 and t belongs to V 2 . We also consider other variants where the number of edges of the cut is constrained to be either less or greater than k. For all these problems we show complexity results in the most significant graph classes.

Performance of some preconditioners for the p - and hp -version of the finite element method in 3D
(2000)

In this paper we deal with single facility location problems in a general normed space where the existing facilities are represented by sets. The criterion to be satis ed by the service facility is the minimization of an increasing function of the distances from the service to the closest point ofeach demand set. We obtain a geometrical characterization of the set of optimal solutions for this problem. Two remarkable cases - the classical Weber problem and the minmax problem with demand sets - are studied as particular instances of our problem. Finally, for the planar polyhedral case we give an algorithmic description of the solution set of the considered problems.

The balance space approach (introduced by Galperin in 1990) provides a new view on multicriteria optimization. Looking at deviations from global optimality of the different objectives, balance points and balance numbers are defined when either different or equal deviations for each objective are allowed. Apportioned balance numbers allow the specification of proportions among the deviations. Through this concept the decision maker can be involved in the decision process. In this paper we prove that the apportioned balance number can be formulated by a min-max operator. Furthermore we prove some relations between apportioned balance numbers and the balance set, and see the representation of balance numbers in the balance set. The main results are necessary and sufficient conditions for the balance set to be exhaustive, which means that by multiplying a vector of weights (proportions of deviation) with its corresponding apportioned balance number a balance point is attained. The results are used to formulate an interactive procedure for multicriteria optimization. All results are illustrated by examples.

In this paper we investigate the problem offending the Nadir point for multicriteria optimization problems (MOP). The Nadir point is characterized by the component wise maximal values of efficient points for (MOP). It can be easily computed in the bicriteria case. However, in general this problem is very difficult. We review some existing methods and heuristics and propose some new ones. We propose a general method to compute Nadir values for the case of three objectives, based on theoretical results valid for any number of criteria. We also investigate the use of the Nadir point for compromise programming, when the goal is to be as far away as possible from the worst outcomes. We prove some results about (weak) Pareto optimality of the resulting solutions. The results are illustrated by examples.

In this paper we address the question of how many objective functions are needed to decide whether a given point is a Pareto optimal solution for a multicriteria optimization problem. We extend earlier results showing that the set of weakly Pareto optimal points is the union of Pareto optimal sets of subproblems and show their limitations. We prove that for strictly quasi-convex problems in two variables Pareto optimality can be decided by consideration of at most three objectives at a time. Our results are based on a geometric characterization of Pareto, strict Pareto and weak Pareto solutions and Helly's Theorem. We also show that a generalization to quasi-convex objectives is not possible, and state a weaker result for this case. Furthermore, we show that a generalization to strictly Pareto optimal solutions is impossible, even in the convex case.

This paper provides an annotated bibliography of multiple objective combinatorial optimization, MOCO. We present a general formulation of MOCO problems, describe the main characteristics of MOCO problems, and review the main properties and theoretical results for these problems. One section is devoted to a brief description of the available solution methodology, both exact and heuristic. The main part of the paper is devoted to an annotation of the existing literature in the field organized problem by problem. We conclude the paper by stating open questions and areas of future research. The list of references comprises more than 350 entries.

We consider the problem of locating a line or a line segment in three- dimensional space, such that the sum of distances from the linear facility to a given set of points is minimized. An example is planning the drilling of a mine shaft, with access to ore deposits through horizontal tunnels connecting the deposits and the shaft. Various models of the problem are developed and analyzed, and effcient solution methods are given.

We examine the feasibility polyhedron of the uncapacitated hub location problem (UHL) with multiple allocation, which has applications in the fields of air passenger and cargo transportation, telecommunication and postal delivery services. In particular we determine the dimension and derive some classes of facets of this polyhedron. We develop some general rules about lifting facets from the uncapacitated facility location (UFL) for UHL and projecting facets from UHL to UFL. By applying these rules we get a new class of facets for UHL which dominates the inequalities in the original formulation. Thus we get a new formulation of UHL whose constraints are all facet defining. We show its superior computational performance by benchmarking it on a well known data set.