The complexity of cutting complexes

This paper investigates the combinatorial and computational aspects of certain extremal geometric problems in two and three dimensions. Specifically, we examine the problem of intersecting a convex subdivision with a line in order to maximize the number of intersections. A similar problem is to maximize the number of intersected facets in a cross-section of a three-dimensional convex polytope. Related problems concern maximum chains in certain families of posets defined over the regions of a convex subdivision. In most cases we are able to prove sharp bounds on the asymptotic behavior of the corresponding extremal functions. We also describe polynomial algorithms for all the problems discussed.Bernard Chazelle wishes to acknowledge the National Science Foundation for supporting this research in part under Grant No. MCS83-03925. Herbert Edelsbrunner is pleased to acknowledge the support of Amoco Fnd. Fac. Dev. Comput. Sci. 1-6-44862.     

Rotating Charge Coupled to the Maxwell Field: Scattering Theory and Adiabatic Limit

We consider a spinning charge coupled to the Maxwell field. Through the appropriate symmetry in the initial conditions the charge remains at rest. We establish that any time-dependent finite energy solution converges to a sum of a soliton wave and an outgoing free wave. The convergence holds in global energy norm. Under a small constant external magnetic field the soliton manifold is stable in local energy seminorms and the evolution of the angular velocity is guided by an effective finite-dimensional dynamics. The proof uses a non-autonomous integral inequality method.     

An eulerian trail traversing specified edges in given order

The following results are proved in this paper. Let G be a 2k-edge-connected eulerian graph. (i) For every set {e₁, e₂, ?, e_2k+1} ? E(G) there is an eulerian trail T of the form e₁, e₂, ?, e_2k+1, ?. (ii) For every set E* = {e₁, e₂, ?, e_k} ? E(G) there is an eulerian trail T = e₁, ?, e₂, ?, e_k, ? in which the elements of E* are traversed in accordance with a prescribed orientation. © 1995 John Wiley & Sons, Inc.     

Rückbezüge des Mathematikunterrichts und der Methodik des Mathematikunterrichts in der DDR auf historische Vorausentwicklungen

The author discusses at some examples exemplarily, how the pedagogy of mathematics education in the GDR from curricular and educational/psychological knowledge from the time before 1945 has developed scientifically.     

Atomic coherence effects in the ion-trap laser

The influence of atomic coherence effects on the statistical and spectral properties of the ion-trap laser is investigated. Various pump configurations are considered for a realistic level scheme using a Ca ion. Compared to previous suggestions, 50% more output is obtained.     

The complexity of many cells in arrangements of planes and related problems

We consider several problems involving points and planes in three dimensions. Our main results are: (i) The maximum number of faces boundingm distinct cells in an arrangement ofn planes isO(m ^2/3 n logn +n ²); we can calculatem such cells specified by a point in each, in worst-case timeO(m ^2/3 n log³ n+n ² logn). (ii) The maximum number of incidences betweenn planes andm vertices of their arrangement isO(m ^2/3 n logn+n ²), but this number is onlyO(m ^3/5– n ^4/5+2 +m+n logm), for any>0, for any collection of points no three of which are collinear. (iii) For an arbitrary collection ofm points, we can calculate the number of incidences between them andn planes by a randomized algorithm whose expected time complexity isO((m ^3/4– n ^3/4+3 +m) log² n+n logn logm) for any>0. (iv) Givenm points andn planes, we can find the plane lying immediately below each point in randomized expected timeO([m ^3/4– n ^3/4+3 +m] log² n+n logn logm) for any>0. (v) The maximum number of facets (i.e., (d–1)-dimensional faces) boundingm distinct cells in an arrangement ofn hyperplanes ind dimensions,d>3, isO(m ^2/3 n ^d/3 logn+n ^d–1). This is also an upper bound for the number of incidences betweenn hyperplanes ind dimensions andm vertices of their arrangement. The combinatorial bounds in (i) and (v) and the general bound in (ii) are almost tight.Work on this paper by the first author has been supported by Amoco Fnd. Fac. Dev. Comput. Sci. 1-6-44862 and by NSF Grant CCR-8714565. Work by the third author has been supported by Office of Naval Research Grant N00014-87-K-0129, by National Science Foundation Grant DCR-82-20085, by grants from the Digital Equipment Corporation, and the IBM Corporation, and by a research grant from the NCRD—the Israeli National Council for Research and Development. An abstract of this paper has appeared in theProceedings of the 13th International Mathematical Programming Symposium, Tokyo, 1988, p. 147.     

Implicitly representing arrangements of lines or segments

Anarrangement ofn lines (or line segments) in the plane is the partition of the plane defined by these objects. Such an arrangement consists ofO(n ²) regions, calledfaces. In this paper we study the problem of calculating and storing arrangementsimplicitly, using subquadratic space and preprocessing, so that, given any query pointp, we can calculate efficiently the face containingp. First, we consider the case of lines and show that with (n) space¹ and (n ^3/2) preprocessing time, we can answer face queries in (n)+O(K) time, whereK is the output size. (The query time is achieved with high probability.) In the process, we solve three interesting subproblems: (1) given a set ofn points, find a straight-edge spanning tree of these points such that any line intersects only a few edges of the tree, (2) given a simple polygonal path , form a data structure from which we can find the convex hull of any subpath of quickly, and (3) given a set of points, organize them so that the convex hull of their subset lying above a query line can be found quickly. Second, using random sampling, we give a tradeoff between increasing space and decreasing query time. Third, we extend our structure to report faces in an arrangement of line segments in (n ^1/3)+O(K) time, given(n ^4/3) space and (n ^5/3) preprocessing time. Lastly, we note that our techniques allow us to computem faces in an arrangement ofn lines in time (m ^2/3 n ^2/3+n), which is nearly optimal.The first author is pleased to acknowledge the support of Amoco Fnd. Fac. Dev. Comput. Sci. 1-6-44862 and National Science Foundation Grant CCR-8714565. Work on this paper by the fifth author has been supported by Office of Naval Research Grant N00014-87-K-0129, by National Science Foundation Grant NSF-DCR-83-20085, by grants from the Digital Equipment Corporation, and the IBM Corporation, and by a research grant from the NCRD—the Israeli National Council for Research and Development. The sixth author was supported in part by a National Science Foundation Graduate Fellowship. This work was begun while the non-DEC authors were visiting at the DEC Systems Research Center.     

Radiative processes and non-equilibrium thermodynamics

With the assumption of an elementary physical concept meteorologically effective radiative processes (absorption-emission, scattering) can be included consistently in nonequilibrium thermodynamics of irreversible phenomena. Analogously to the usual Gibbs relations a fundamental equation was formulated for monochromatic light rays as the nucleus of the theory.Using the methods of classical irreversible theory, a complete entropy balance equation is derived in which the entropy variations of the mass as well as of the radiation field are explicitly represented. The resulting entropy source strength function through its analytical structure reveals the dynamical character of the irreversible variation terms. The-expression being positive according to the second law of thermodynamics is found to have a bilinear form as a function of the irreversible fluxes representing the entropy generating radiative processes and their conjugated thermodynamic forces. The mathematical structure and the positive sign of, following the usual line of reasoning, motivate the assumption of constitutive relations for the irreversible radiative processes. These equations developed from purely thermodynamical reasoning turn out to be equivalent to the usual radiative transfer equation which is founded on a very different theoretical concept. A very fundamental relationship can be deduced in this context from the entropy production function. It provides a direct thermodynamical proof that in nonscattering media the definition of a local temperature is necessarily accompanied by the validity of the Kirchhoff law.