Kepler, Kugeln, Cluster, Katastrophen

Zusammenfassung. Dieser Überblick skizziert Theorie und Anwendungen von Kugelpackungen, ausgehend von den klassischen Problemen von Kepler und Newton. Der weitaus wichtigste Bereich der regelmäßigen, gitterförmigen Kugelpackungen einschließlich der Anwendungen auf Codes wird kurz gehalten, weil es dazu ausgiebig Literatur gibt. Dagegen wird ausführlicher auf die in den letzten Jahren stark entwickelten endlichen Kugelpackungen eingegangen, die gute Modelle für die in der Nanotechnik wichtigen Microcluster sind. In jeder der relativ knapp gehaltenen Sektionen wird das zum Verständnis Unerlässliche an Theorie angegeben, sowie mindestens ein überraschendes oder im Wortsinn merkwürdiges Phänomen. Außerdem wird auf weiterführende Literatur verwiesen. Für Einsteiger sei insbesondere M. Leppmeiers Buch [L] empfohlen.     

Ball,sphere, and all,all, all

The relationship of multidimensional geometry with statistical thermodynamics and with laws of large numbers is described.     

When is an L(B, m, n, r, s, t, z, w) loop SRAR?

In [5, 6], the second author and D. A. ROBINSON initiated a study of non-Moufang Bol loops with the property that over a field, necessarily of characteristic 2, their loop rings satisfy the right, but not the left, Bol identity. They called such loops SRAR and showed that the family of SRAR loops includes those Bol loops which have a unique non-identity commutator/associator. In [4, 2], the current authors presented a construction for a new class of Bol loops denoted L(B,m,n,r,s,t,z,w) with initial data a given (possibly associative) Bol loop B, elements, r, s, t, z and w in the centre of B, and integers m and n.     

Woodhouse, babbage, peacock, and modern Algebra

In a recent article, J. M. Dubbey [Historia Mathematica 4 (1977), 295–302] showed that George Peacock's A Treatise on Algebra (1830) was similar to an unpublished work written by Charles Babbage in 1821. Evidently perplexed about the absence of a dispute over priority, Dubbey concluded that Peacock had unconsciously assimilated Babbage's ideas, and that Babbage was too busy with other activities to be concerned. The thesis of this article is that the innovative aspects of the work of both Babbage and Peacock are extensions of ideas put forth in 1803 by Robert Woodhouse, and that probably neither Babbage nor Peacock was overly concerned with acknowledgments because their approach to algebra was not unique at Cambridge.     

A three-stage, VSVO, Hermite-Birkhoff-Taylor, ODE solver

The new variable-step, variable-order, ODE solver, HBT(p) of order p, presented in this paper, combines a three-stage Runge-Kutta method of order 3 with a Taylor series method of order p-2 to solve initial value problems , where y:R→R^d and f:R×R^d→R^d. The order conditions satisfied by HBT(p) are formulated and they lead to Vandermonde-type linear algebraic systems whose solutions are the coefficients in the formulae for HBT(p). A detailed formulation of variable-step HBT(p) in both fixed-order and variable-order modes is presented. The new method and the Taylor series method have similar regions of absolute stability. To obtain high-accuracy results at high order, this method has been implemented in multiple precision.     

Benchmarking curriculum-based course timetabling: formulations,data formats,instances, validation,visualization, and results

We propose a set of formulations for the Curriculum-Based Course Timetabling problem, with the aim of “capturing” many real-world formulations, and thus encouraging researchers to “reduce” their specific problems to one of them, gaining the opportunity to compare and assess their results. This work is accompanied by a web application that maintains all the necessary infrastructures for benchmarking: validators, data formats, instances, reference scores, lower bounds, solutions, and visualizers. All instances proposed here are based on real data from various universities and they represent a variety of possible situations.     

基于区间数据分析的期刊发展现状分析

采用CSSCI数据库中收录的全部期刊数据,通过相关分析、区间数据主成分分析等方法建立模型,客观地对整个数据库中期刊的整体特征进行全面、系统的分析,探寻其中的特征、规律以及原因,提出了办好学术期刊的一些方式方法.     

Oscillation,spiralement, tourbillonnement

Résumé. La dynamique oscillante d'un champ de vecteurs analytique en dimension trois s'organise autour d'un nombre fini d'axes de tourbillonnement lorsqu'elle ne se délocalise pas par des éclatements de point.

---

Oscillation, spiralement, tourbillonnement

---

Received: December 12, 1998     

Automorphisms of graphs with intersection arrays {60, 45, 8; 1, 12, 50} and {49, 36, 8; 1, 6, 42}

Automorphisms of distance-regular graphs are considered. It is proved that any graph with the intersection array {60, 45, 8; 1, 12, 50} is not vertex symmetric, and any graph with the intersection array {49, 36, 8; 1, 6, 42} is not edge symmetric.     

Segments,rectangles, contours

Two sets H and V of horizontal and vertical segments, respectively, determine a subdivision M of the plane into regions. A nontrivial region is one whose boundary contains an end-portion of nonzero length of at least one segment, and the nontrivial contour of M is the collection of boundaries of nontrivial regions. In this paper we consider several problems pertaining to H and V, such as the construction of the nontrivial contour of M, of the external contour of M, and of a path between two points in the plane avoiding the segments (route-in-a-maze). We show that, if |H| + |V| = n, all of these problems are solved in time O(n log n), by making use of a static data structure, called the adjacency map, which can be searched in time O(log n) and can be constructed in time O(n log n). The algorithms for the nontrivial and external contour are shown to be optimal.     

A Remark on Bernstein,Prokhorov, Bennett,Hoeffding, and Talagrand Inequalities

Let X ₁,..., X_n be independent random variables such that {X_j 1}=1 and E X _j=0 for all j. We prove an upper bound for the tail probabilities of the sum M _n=X₁+...+ X_n. Namely, we prove the inequality {M _nx} 3.7 {S_n x}, where S _n=₁+...+ _n is a sum of centered independent identically distributed Bernoulli random variables such that E S _n ² =ME M _n ² and {_k=1}=E S _n ² /(n+E S _n ² ) for all k (we call a random variable Bernoulli if it assumes at most two values). The inequality holds for x at which the survival function x{S _nx} has a jump down. For remaining x, the inequality still holds provided that we interpolate the function between the adjacent jump points linearly or log-linearly. If necessary, in order to estimate {S _nx} one can use special bounds for binomial probabilities. Up to the factor at most 2.375, the inequality is final. The inequality improves the classical Bernstein, Prokhorov, Bennett, Hoeffding, Talagrand, and other bounds.     

Factorizations,denseness, separation,and relatively compact objects

Some of the relationships among the topological notions: ‘Hausdorff’, ‘compact’, ‘perfect’, and ‘closed’ are abstracted to a more general categorical setting, where they are shown to remain intact. An investigation is made of factorization structures (especially for single morphisms) and their relationships to strong limit operators and to the Pumplu¨n-Ro¨hrl Galois correspondence between classes of objects and classes of morphisms in any category. Many examples as well as internal characterizations of Galois-closed classes are provided.     

A new nonextensible (16, 24, 9, 6, 3)-design

A balanced incomplete block design with parameters (16, 24, 9, 6, 3) is described in which every pair of blocks intersects in at most three varieties. However, the design cannot be extended to a symmetric design with parameters (25, 25, 9, 9, 3).     

Quasi-symmetric designs,codes, quadrics,and hyperplane sections

It is proved that a quasi-symmetric design with theSymmetric Difference Property (SDP) is uniquely embeddable as a derived or a residual design into a symmetric SDP design. Alternatively, any quasi-symmetric SDP design is characterized as the design formed by the minimum weight vectors in a binary code spanned by the simplex code and the incidence vector of a point set in PG(2m-1, 2) that intersects every hyperplane in one of two prescribed numbers of points. Applications of these results for the classification of point sets in PG(2m-1, 2) with the same intersection properties as an elliptic or a hyperbolic quadric, as well as the classification of codes achieving the Grey-Rankin bound are discussed.