Magnetic Field Satellite (Magsat) data processing system specifications

The software specifications for the MAGSAT data processing system (MDPS) are presented. The MDPS is divided functionally into preprocessing of primary input data, data management, chronicle processing, and postprocessing. Data organization and validity, and checks of spacecraft and instrumentation are dicussed. Output products of the MDPS, including various plots and data tapes, are described. Formats for important tapes are presented. Dicussions and mathematical formulations for coordinate transformations and field model coefficients are included

Counting arcs in negative curvature

Let M be a complete Riemannian manifold with negative curvature, and let C_-, C_+ be two properly immersed closed convex subsets of M. We survey the asymptotic behaviour of the number of common perpendiculars of length at most s from C_- to C_+, giving error terms and counting with weights, starting from the work of Huber, Herrmann, Margulis and ending with the works of the authors. We describe the relationship with counting problems in circle packings of Kontorovich, Oh, Shah. We survey the tools used to obtain the precise asymptotics (Bowen-Margulis and Gibbs measures, skinning measures). We describe several arithmetic applications, in particular the ones by the authors on the asymptotics of the number of representations of integers by binary quadratic, Hermitian or Hamiltonian forms.Comment: Revised version, 44 page

On 4-Dimensional Point Groups and on Realization Spaces of Polytopes

This dissertation consists of two parts. We highlight the main results from each part. Part I. 4-Dimensional Point Groups. (based on a joint work with Günter Rote.) We propose the following classification for the finite groups of orthogonal transformations in 4-space, the so-called 4-dimensional point groups. Theorem A. The 4-dimensional point groups can be classified into * 25 polyhedral groups (Table 5.1), * 21 axial groups (7 pyramidal groups, 7 prismatic groups, and 7 hybrid groups, Table 6.3), * 22 one-parameter families of tubical groups (11 left tubical groups and 11 right tubical groups, Table 3.1), and * 25 infinite families of toroidal groups (2 three-parameter families, 19 two-parameter families, and 4 one-parameter families, Table 4.3.) In contrast to earlier classifications of these groups (notably by Du Val in 1962 and by Conway and Smith in 2003), see Section 1.7), we emphasize a geometric viewpoint, trying to visualize and understand actions of these groups. Besides, we correct some omissions, duplications, and mistakes in these classifications. The 25 polyhedral groups (Chapter 5) are related to the regular polytopes. The symmetries of the regular polytopes are well understood, because they are generated by reflections, and the classification of such groups as Coxeter groups is classic. We will deal with these groups only briefly, dwelling a little on just a few groups that come in enantiomorphic pairs (i.e., groups that are not equal to their own mirror.) The 21 axial groups (Chapter 6) are those that keep one axis fixed. Thus, they essentially operate in the three dimensions perpendicular to this axis (possibly combined with a flip of the axis), and they are easy to handle, based on the well-known classification of the three-dimensional point groups. The tubical groups (Chapter 3) are characterized as those that have (exactly) one Hopf bundle invariant. They come in left and right versions (which are mirrors of each other) depending on the Hopf bundle they keep invariant. They are so named because they arise with a decomposition of the 3-sphere into tube-like structures (discrete Hopf fibrations). The toroidal groups (Chapter 4) are characterized as having an invariant torus. This class of groups is where our main contribution in terms of the completeness of the classification lies. We propose a new, geometric, classification of these groups. Essentially, it boils down to classifying the isometry groups of the two-dimensional square flat torus. We emphasize that, regarding the completeness of the classification, in particular concerning the polyhedral and tubical groups, we rely on the classic approach (see Section 1.6). Only for the toroidal and axial groups, we supplant the classic approach by our geometric approach. We give a self-contained presentation of Hopf fibrations (Chapter 2). In many places in the literature, one particular Hopf map is introduced as “the Hopf map”, either in terms of four real coordinates or two complex coordinates, leading to “the Hopf fibration”. In some sense, this is justified, as all Hopf bundles are (mirror-)congruent. However, for our characterization, we require the full generality of Hopf bundles. As a tool for working with Hopf fibrations, we introduce a parameterization for great circles in S^3 , which might be useful elsewhere. Our main tool to understand tubical groups are polar orbit polytopes. (Chapter 1). In particular, we study the symmetries of a cell of the polar orbit polytope for different starting points. Part II. Realization Spaces of Polytopes (based on a joint work with Rainer Sinn and Günter M. Ziegler.) Robertson in 1988 suggested a model for the realization space of a d-dimensional polytope P, and an approach via the implicit function theorem to prove that the realization space is a smooth manifold of dimension NG(P) := d(f_0 + f_{d−1} ) - f{0,d-1} . We call NG(P) the natural guess for (the dimension of the realization space of) P. We build on Robertson's model and approach to study the realization spaces of higher-dimensional polytopes. We conclude combinatorial criteria (Sections 9.3.3 and 9.4.1) to decide if the realization space of the polytope in consideration is a smooth manifold of dimension given by the natural guess. As another application, we study the realization spaces of the second hypersimplices (Section 9.4.2). We apply these criteria on 4-polytopes with small number of vertices, and along the way, we analyze examples where Robertson’s approach fails, identifying the three smallest examples of 4-polytopes, for which the realization space is still a smooth manifold, but its dimension is not given by the natural guess (Section 9.5). Finally, we investigate the realization space of the 24-cell (Section 9.5.2). We construct families of realizations of the 24-cell, and using them we show that the realization space of the 24-cell has points where it is not a smooth manifold. This provides the first known example of a polytope whose realization space is not a smooth manifold. We conclude by showing that the dimension of the realization space of the 24-cell is at least 48 and at most 52.Diese Dissertation befasst sich mit zwei verschiedenen Themen, von denen jedes seinen eigenen Teil hat. Der erste Teil befasst sich mit 4-dimensionalen Punktgruppen. Wir schlagen eine neue Klassifizierung für diese Gruppen vor (siehe Theorem A), die im Gegensatz zu früheren Klassifizierungen eine geometrische Sichtweise betont und versucht, die Aktionen dieser Gruppen zu visualisieren und zu verstehen. Im Folgenden werden diese Gruppen kurz beschrieben. Die polyedrischen Gruppen (Kapitel 5) sind mit den regelmäßigen Polytopen verwandt. Die axialen Gruppen (Kapitel 6) sind diejenigen, die eine Achse festhalten. Die schlauchartigen Gruppen (Kapitel 3) werden als solche charakterisiert, die genau eine invariantes Hopf-Bündel haben. Sie entstehen bei einer Zerlegung der 3-Sphäre in schlauchartige Strukturen (diskrete Hopf-Faserungen). Die toroidalen Gruppen (Kapitel 4) sind dadurch gekennzeichnet, dass sie einen invarianten Torus haben. Wir schlagen eine neue, geometrische Klassifizierung dieser Gruppen vor. Im Wesentlichen läuft sie darauf hinaus, die Isometriegruppen des zweidimensionalen quadratischen flachen Torus zu klassifizieren. Nebenbei geben wir eine in sich geschlossene Darstellung der Hopf-Faserungen (Kapitel 2). Als Hilfsmittel für die Arbeit mit ihnen führen wir eine Parametrisierung für Großkreise in S 3 ein, die an anderer Stelle nützlich sein könnte. Der zweite Teil befasst sich mit Realisierungsräumen von Polytopen. Wir bauen auf Robertsons Modell und Ansatz auf, um die Realisierungsräume von Polytopen zu untersuchen. Wir stellen kombinatorische Kriterien auf (Abschnitte 9.3.3 und 9.4.1), um zu entscheiden, ob der Realisierungsraum des betrachteten Polytops eine glatte Mannigfaltigkeit der durch die “natürliche Vermutung” gegebenen Dimension ist. Als weitere Anwendung, untersuchen wir die Realisierungsräume der zweiten Hypersimplices (Abschnitt 9.4.2). Nebenbei identifizieren wir die kleinsten Beispiele von 4-Polytopen, für die dieser Ansatz versagt (Abschnitt 9.5). Schließlich untersuchen wir den Realisierungsraum der 24-Zelle (Abschnitt 9.5.2). Wir zeigen, dass es Punkte gibt, an denen sie keine glatte Mannigfaltigkeit ist. Zuletzt zeigen wir, dass seine Dimension mindestens 48 und höchstens 52 beträgt

Octonions and the two strictly projective tight 5-designs

In addition to the vertices of the regular hexagon and icosahedron, there are precisely two strictly projective tight 5-designs: one constructed from the short vectors of the Leech lattice and the other corresponding to a generalized hexagon structure in the octonion projective plane. This paper describes a new connection between these two strictly projective tight 5-designs -- a common construction using octonions. Certain octonion involutionary matrices act on a three-dimensional octonion vector space to produce the first 5-design and these same matrices act on the octonion projective plane to produce the second 5-design. This result uses the octonion construction of the Leech lattice due to Robert Wilson and provides a new link between the generalized hexagon Gh(2,8) and the Leech lattice.Comment: Accepted version with significant revisions based on reviewer comments. New title and abstract. 12 page

Automorphisms and opposition in spherical buildings of exceptional type, IV: The E7E_7 case

An automorphism of a spherical building is called \textit{domestic} if it maps no chamber onto an opposite chamber. This paper forms a significant part of a large project classifying domestic automorphisms of spherical buildings of exceptional type. In previous work the classifications for $\mathsf{G}_2$, $\mathsf{F}_4$ and $\mathsf{E}_6$ have been completed, and the present work provides the classification for buildings of type $\mathsf{E}_7$. In many respects this case is the richest amongst all exceptional types

Kramers-restricted self-consistent 2-spinor fields for heavy-element chemistry

The relativistic pseudopotential (PP) method is one of the most common and successful approximations in computational quantum chemistry. If suitably parameterized -- e.g., fitted to atomic valence total energies from highly accurate relativistic reference calculations --, atomic PPs provide effective (spin�orbit) 1-electron operators mimicking the chemically inert atomic core subsystem, which thus is excluded from explicit considerations. This work deals with the development of a Kramers-restricted, 2-component PP Hartree�Fock SCF program based on the spin-restricted, 1-component HF SCF modules of the "Quantum Objects Library" of C++ program modules at the Dolg and Hanrath groups at Cologne University. Kramers' restriction, i.e. time reversal symmetry, is addressed at the lowest hierarchical level of the (formally complexified) matrix algebra modules. PP matrix elements are computed using PP integral subroutines of the ARGOS program, which are interfaced to the existing structure. On this basis, a set of spin-restricted, 1-component (all-electron and) spin-free PP, and Kramers-restricted, 2-component spin--orbit PP HF SCF programs is implemented. "Optimal damping" and initial guess density matrices constructed from atomic densities are shown to improve SCF convergence significantly. As first steps towards correlated 2-component calculation schemes, a modular structure for matrix--matrix multiplication-driven 4-index integral transformations to the Fockian eigenbasis is developed, and preliminary 2-component MP2 calculations are presented

Shell-Model Description of Rotational Motion in Odd-Mass Nuclei.

An algebraic shell-model realization of a quantum rotor for integral and half-integral angular momenta is introduced. The underlying symmetry of the theory is the SU(3) $\supset$ SO(3) group structure. The algebraic model reproduces the eigenvalues of the quantum rotor hamiltonian well for normal shell-model configurations; the mapping is exact for small values of the angular momentum in large SU(3) representations. A shell-model hamiltonian using this algebraic realization of the quantum rotor and other non-central one-body interactions is used to reproduce the experimental spectra of representative even and odd-mass ds-shell nuclei