L-infinity algebras from multisymplectic geometry

A manifold is multisymplectic, or more specifically n-plectic, if it is equipped with a closed nondegenerate differential form of degree n+1. In our previous work with Baez and Hoffnung, we described how the `higher analogs' of the algebraic and geometric structures found in symplectic geometry should naturally arise in 2-plectic geometry. In particular, we showed that just as a symplectic manifold gives a Poisson algebra of functions, any 2-plectic manifold gives a Lie 2-algebra of 1-forms and functions. Lie n-algebras are examples of L-infinity algebras: graded vector spaces which are equipped with a collection of skew-symmetric multi-brackets that satisfy a generalized Jacobi identity. Here, we generalize our previous result. Given an n-plectic manifold, we explicitly construct a corresponding Lie n-algebra on a complex consisting of differential forms whose multi-brackets are specified by the n-plectic structure. We also show that any n-plectic manifold gives rise to another kind of algebraic structure known as a differential graded Leibniz algebra. We conclude by describing the similarities between these two structures within the context of an open problem in the theory of strongly homotopy algebras.Comment: 22 pages. To appear in Lett. Math. Phy

Courant algebroids from categorified symplectic geometry

In categorified symplectic geometry, one studies the categorified algebraic and geometric structures that naturally arise on manifolds equipped with a closed nondegenerate (n+1)-form. The case relevant to classical string theory is when n=2 and is called "2-plectic geometry". Just as the Poisson bracket makes the smooth functions on a symplectic manifold into a Lie algebra, there is a Lie 2-algebra of observables associated to any 2-plectic manifold. String theory, closed 3-forms and Lie 2-algebras also play important roles in the theory of Courant algebroids. Courant algebroids are vector bundles which generalize the structures found in tangent bundles and quadratic Lie algebras. It is known that a particular kind of Courant algebroid (called an exact Courant algebroid) naturally arises in string theory, and that such an algebroid is classified up to isomorphism by a closed 3-form on the base space, which then induces a Lie 2-algebra structure on the space of global sections. In this paper we begin to establish precise connections between 2-plectic manifolds and Courant algebroids. We prove that any manifold M equipped with a 2-plectic form omega gives an exact Courant algebroid E_omega over M with Severa class [omega], and we construct an embedding of the Lie 2-algebra of observables into the Lie 2-algebra of sections of E_omega. We then show that this embedding identifies the observables as particular infinitesimal symmetries of E_omega which preserve the 2-plectic structure on M.Comment: These preliminary results have been superseded by those given in arXiv:1009.297

The potential application of the blackboard model of problem solving to multidisciplinary design

The potential application of the blackboard model of problem solving to multidisciplinary design is discussed. Multidisciplinary design problems are complex, poorly structured, and lack a predetermined decision path from the initial starting point to the final solution. The final solution is achieved using data from different engineering disciplines. Ideally, for the final solution to be the optimum solution, there must be a significant amount of communication among the different disciplines plus intradisciplinary and interdisciplinary optimization. In reality, this is not what happens in today's sequential approach to multidisciplinary design. Therefore it is highly unlikely that the final solution is the true optimum solution from an interdisciplinary optimization standpoint. A multilevel decomposition approach is suggested as a technique to overcome the problems associated with the sequential approach, but no tool currently exists with which to fully implement this technique. A system based on the blackboard model of problem solving appears to be an ideal tool for implementing this technique because it offers an incremental problem solving approach that requires no a priori determined reasoning path. Thus it has the potential of finding a more optimum solution for the multidisciplinary design problems found in today's aerospace industries

A Framework for Quantifying the Degeneracies of Exoplanet Interior Compositions

Several transiting super-Earths are expected to be discovered in the coming few years. While tools to model the interior structure of transiting planets exist, inferences about the composition are fraught with ambiguities. We present a framework to quantify how much we can robustly infer about super-Earth and Neptune-size exoplanet interiors from radius and mass measurements. We introduce quaternary diagrams to illustrate the range of possible interior compositions for planets with four layers (iron core, silicate mantles, water layers, and H/He envelopes). We apply our model to CoRoT-7b, GJ 436b, and HAT-P-11b. Interpretation of planets with H/He envelopes is limited by the model uncertainty in the interior temperature, while for CoRoT-7b observational uncertainties dominate. We further find that our planet interior model sharpens the observational constraints on CoRoT-7b's mass and radius, assuming the planet does not contain significant amounts of water or gas. We show that the strength of the limits that can be placed on a super-Earth's composition depends on the planet's density; for similar observational uncertainties, high-density super-Mercuries allow the tightest composition constraints. Finally, we describe how techniques from Bayesian statistics can be used to take into account in a formal way the combined contributions of both theoretical and observational uncertainties to ambiguities in a planet's interior composition. On the whole, with only a mass and radius measurement an exact interior composition cannot be inferred for an exoplanet because the problem is highly underconstrained. Detailed quantitative ranges of plausible compositions, however, can be found.Comment: 20 pages, 10 figures, published in Ap

DeMAID: A Design Manager's Aide for Intelligent Decomposition user's guide

A design problem is viewed as a complex system divisible into modules. Before the design of a complex system can begin, the couplings among modules and the presence of iterative loops is determined. This is important because the design manager must know how to group the modules into subsystems and how to assign subsystems to design teams so that changes in one subsystem will have predictable effects on other subsystems. Determining these subsystems is not an easy, straightforward process and often important couplings are overlooked. Moreover, the planning task must be repeated as new information become available or as the design specifications change. The purpose of this research is to develop a knowledge-based tool called the Design Manager's Aide for Intelligent Decomposition (DeMAID) to act as an intelligent advisor for the design manager. DeMaid identifies the subsystems of a complex design problem, orders them into a well-structured format, and marks the couplings among the subsystems to facilitate the use of multilevel tools. DeMAID also provides the design manager with the capability of examining the trade-offs between sequential and parallel processing. This type of approach could lead to a substantial savings or organizing and displaying a complex problem as a sequence of subsystems easily divisible among design teams. This report serves as a User's Guide for the program

A new implementation of the programming system for structural synthesis (PROSSS-2)

This new implementation of the PROgramming System for Structural Synthesis (PROSSS-2) combines a general-purpose finite element computer program for structural analysis, a state-of-the-art optimization program, and several user-supplied, problem-dependent computer programs. The results are flexibility of the optimization procedure, organization, and versatility of the formulation of constraints and design variables. The analysis-optimization process results in a minimized objective function, typically the mass. The analysis and optimization programs are executed repeatedly by looping through the system until the process is stopped by a user-defined termination criterion. However, some of the analysis, such as model definition, need only be one time and the results are saved for future use. The user must write some small, simple FORTRAN programs to interface between the analysis and optimization programs. One of these programs, the front processor, converts the design variables output from the optimizer into the suitable format for input into the analyzer. Another, the end processor, retrieves the behavior variables and, optionally, their gradients from the analysis program and evaluates the objective function and constraints and optionally their gradients. These quantities are output in a format suitable for input into the optimizer. These user-supplied programs are problem-dependent because they depend primarily upon which finite elements are being used in the model. PROSSS-2 differs from the original PROSSS in that the optimizer and front and end processors have been integrated into the finite element computer program. This was done to reduce the complexity and increase portability of the system, and to take advantage of the data handling features found in the finite element program