Interpreting Observables in a Quantum World from the Categorial Standpoint

We develop a relativistic perspective on structures of quantum observables, in terms of localization systems of Boolean coordinatizing charts. This perspective implies that the quantum world is comprehended via Boolean reference frames for measurement of observables, pasted together along their overlaps. The scheme is formalized categorically, as an instance of the adjunction concept. The latter is used as a framework for the specification of a categorical equivalence signifying an invariance in the translational code of communication between Boolean localizing contexts and quantum systems. Aspects of the scheme semantics are discussed in relation to logic. The interpretation of coordinatizing localization systems, as structure sheaves, provides the basis for the development of an algebraic differential geometric machinery suited to the quantum regime.     

On Covariant Phase Space and the Variational Bicomplex

The notion of a phase space in classical mechanics is well known. The extension of this concept to field theory however, is a challenging endeavor, and over the years numerous proposals for such a generalization have appeared in the literature. In this paper We review a Hamiltonian formulation of Lagrangian field theory based on an extension to infinite dimensions of J.-M. Souriau's symplectic approach to mechanics. Following G. Zuckerman, we state our results in terms of the modern geometric theory of differential equations and the variational bicomplex. As an elementary example, we construct a phase space for the Monge–Ampere equation.     

Killing spinors on Lorentzian manifolds

The aim of this paper is to describe some results concerning the geometry of Lorentzian manifolds admitting Killing spinors. We prove that there are imaginary Killing spinors on simply connected Lorentzian Einstein–Sasaki manifolds. In the Riemannian case, an odd-dimensional complete simply connected manifold (of dimension n≠7) is Einstein–Sasaki if and only if it admits a non-trivial Killing spinor to . The analogous result does not hold in the Lorentzian case. We give an example of a non-Einstein Lorentzian manifold admitting an imaginary Killing spinor. A Lorentzian manifold admitting a real Killing spinor is at least locally a codimension one warped product with a special warping function. The fiber of the warped product is either a Riemannian manifold with a real or imaginary Killing spinor or with a parallel spinor, or it again is a Lorentzian manifold with a real Killing spinor. Conversely, all warped products of that form admit real Killing spinors.     

On the Curvature of the Central Path of Linear Programming Theory

We prove a linear bound on the average total curvature of the central path of linear programming theory in terms of the number of independent variables of the primal problem, and independent of the number of constraints.     

Packing two disks into a polygonal environment

We consider the following problem. Given a polygon P, possibly with holes, and having n vertices, compute a pair of equal radius disks that do not intersect each other, are contained in P, and whose radius is maximized. Our main result is a simple randomized algorithm whose expected running time, on any input, is O(nlogn). This is optimal in the algebraic decision tree model of computation.     

Some Further Properties of the Accelerated Kerr-Schild Metrics

We extend the previously found accelerated Kerr-Schild metrics for Einstein-Maxwell-null dust and Einstein-Born-Infeld-null dust equations to the cases including the cosmological constant. This way we obtain the generalization of the charged de Sitter metrics in static space-times. We also give a generalization of the zero acceleration limit of our previous Einstein-Maxwell and Einstein-Born-Infeld solutions.     

S3上阿诺德弦猜想中的变分方法

本文使用变分方法证明了三维标准切触球的标准勒让德扭结，至少存在一个弦连结适应于标准切触结构的任何选定切触形式，这部分证明了著名的阿诺德弦猜想。     

Silane photoabsorption spectra mear the Si 2p thresholds：the geometry of Si 2p excited SiH4

Based on the multiple-scattering self-consistent-field method, we have studied the photoabsorption spectra near the Si 2p thresholds of silane. According to our calculations, the clear assignments of the inner-shell photoabsorption spectra are provided. In comparison with the high-resolution experimental spectra, the geometric structure of the Si 2p-excited SiH_{4}^{**} is recommended to be of a C_{2v} symmetry. More specifically, the Si 2p-excited SiH_{4}^{**} have two bond lengths of 2.50 a.u. and another two bond lengths of 2.77 a.u., and the corresponding two bond angles are 104.0° and 112.5° respectively.     

Diameter graphs of polygons and the proof of a conjecture of Graham

We show that for an n-gon with unit diameter to have maximum area, its diameter graph must contain a cycle, and we derive an isodiametric theorem for such n-gons in terms of the length of the cycle. We then apply this theorem to prove Graham's 1975 conjecture that the diameter graph of a maximal 2m-gon (m?3) must be a cycle of length 2m−1 with one additional edge attached to it.     

Mixed methods on quadrilaterals and hexahedra

We describe a new family of discrete spaces suitable for use with mixed methods on certain quadrilateral and hexahedral meshes. The new spaces are natural in the sense of differential geometry, so all the usual mixed method theory, including the hybrid formulation, carries over to these new elements with proofs unchanged. Because transforming general quadrilaterals into squares introduces nonlinearity and because mixed methods involve the divergence operator, the new spaces are more complicated than either the corresponding Raviart-Thomas spaces for rectangles or corresponding finite element spaces for quadrilaterals. The new spaces are also limited to meshes obtained from a rectangular mesh through the application of a single global bilinear transformation. Despite this limitation, the new elements may be useful in certain topologically regular problems, where initially rectangular grids are deformed to match features of the physical region. They also illustrate the difficulties introduced into the theory of mixed methods by nonlinear transformations.