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上阿诺德弦猜想中的变分方法

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

The geometry of Ingarden spaces

The Randers spaces RFⁿ were introduced by R. S. Ingarden. They are considered as Finsler spaces Fⁿ = (M, α + β) equipped with the Cartan nonlinear connection. In the present paper we define and study what we call the Ingarden spaces, I Fⁿ, as Finsler spaces I Fⁿ = (M, α + β) equipped with the Lorentz nonlinear connection. The spaces R Fⁿ and I Fⁿ are completely different. For I Fⁿ we discuss: the variational problem, Lorentz nonlinear connection, canonical N-metrical connection and its structure equations, the Cartan 1-form ω, the electromagnetic 2-form tF and the almost symplectic 2-form 0. The formula dω = F+θ is established. It has as a consequence the generalized Maxwell equations. Finally, the almost Hermitian model of I Fⁿ is constructed.     

On the hydrogen etching mechanism in plasma nitriding of metals

Iron alloys and aluminum were nitrogen implanted in a controlled oxygen atmosphere and the role of hydrogen on the surface etching mechanisms studied. The surface composition was analyzed by in situ photoemission electron spectroscopy (XPS). In iron alloys, hydrogen strongly etches oxygen, improving nitrogen retention on the surface. On the other hand, hydrogen removes nitrogen from aluminum surfaces, with a deleterious effect on the nitriding effectiveness. The oxygen removal in iron alloys is associated with the catalytic effect of electrons in d-orbitals and the nitrogen removal in aluminum is associated with a steric effect.     

Autour du théorème de Ferrand–Obata (Concerning the Theorem of Ferrand–Obata)

The aim of this article is to give a new dynamical proof of the Ferrand–Obata theorem when the manifold is compact. This will give us a generalisation of this theorem to transversally conformal foliations ofcodimension greater than three and constant basic functions.