Superposition Formulas for Darboux Integrable Exterior Differential Systems

In this paper we present a far-reaching generalization of E. Vessiot's analysis of the Darboux integrable partial differential equations in one dependent and two independent variables. Our approach provides new insights into this classical method, uncovers the fundamental geometric invariants of Darboux integrable systems, and provides for systematic, algorithmic integration of such systems. This work is formulated within the general framework of Pfaffian exterior differential systems and, as such, has applications well beyond those currently found in the literature. In particular, our integration method is applicable to systems of hyperbolic PDE such as the Toda lattice equations, 2 dimensional wave maps and systems of overdetermined PDE.Comment: 80 page report. Updated version with some new sections, and major improvements to other

Gravitational Waves: Just Plane Symmetry

We present some remarkable properties of the symmetry group for gravitational plane waves. Our main observation is that metrics with plane wave symmetry satisfy every system of generally covariant vacuum field equations except the Einstein equations. The proof uses the homothety admitted by metrics with plane wave symmetry and the scaling behavior of generally covariant field equations. We also discuss a mini-superspace description of spacetimes with plane wave symmetry.Comment: 10 pages, TeX, uses IOP style file

Cosmology, cohomology, and compactification

Ashtekar and Samuel have shown that Bianchi cosmological models with compact spatial sections must be of Bianchi class A. Motivated by general results on the symmetry reduction of variational principles, we show how to extend the Ashtekar-Samuel results to the setting of weakly locally homogeneous spaces as defined, e.g., by Singer and Thurston. In particular, it is shown that any m-dimensional homogeneous space G/K admitting a G-invariant volume form will allow a compact discrete quotient only if the Lie algebra cohomology of G relative to K is non-vanishing at degree m.Comment: 6 pages, LaTe

Covariants,joint invariants and the problem of equivalence in the invariant theory of Killing tensors defined in pseudo-Riemannian spaces of constant curvature

The invariant theory of Killing tensors (ITKT) is extended by introducing the new concepts of covariants and joint invariants of (product) vector spaces of Killing tensors defined in pseudo-Riemannian spaces of constant curvature. The covariants are employed to solve the problem of classification of the orthogonal coordinate webs generated by non-trivial Killing tensors of valence two defined in the Euclidean and Minkowski planes. Illustrative examples are provided.Comment: 60 pages. to appear in J. Math. Phy

Rationality in Differential Algebraic Geometry

Parametric Cartan theory of exterior differential systems, and explicit cohomology of projective manifolds reveal united rationality features of differential algebraic geometry.Comment: Abel Symposium 201

Semiclassical States in Quantum Cosmology: Bianchi I Coherent States

We study coherent states for Bianchi type I cosmological models, as examples of semiclassical states for time-reparametrization invariant systems. This simple model allows us to study explicitly the relationship between exact semiclassical states in the kinematical Hilbert space and corresponding ones in the physical Hilbert space, which we construct here using the group averaging technique. We find that it is possible to construct good semiclassical physical states by such a procedure in this model; we also discuss the sense in which the original kinematical states may be a good approximation to the physical ones, and the situations in which this is the case. In addition, these models can be deparametrized in a natural way, and we study the effect of time evolution on an "intrinsic" coherent state in the reduced phase space, in order to estimate the time for this state to spread significantly.Comment: 21 pages, 1 figure; Version to be published in CQG; The discussion has been slightly reorganized, two references added, and some typos correcte

Killing Vector Fields in Three Dimensions: A Method to Solve Massive Gravity Field Equations

Killing vector fields in three dimensions play important role in the construction of the related spacetime geometry. In this work we show that when a three dimensional geometry admits a Killing vector field then the Ricci tensor of the geometry is determined in terms of the Killing vector field and its scalars. In this way we can generate all products and covariant derivatives at any order of the ricci tensor. Using this property we give ways of solving the field equations of Topologically Massive Gravity (TMG) and New Massive Gravity (NMG) introduced recently. In particular when the scalars of the Killing vector field (timelike, spacelike and null cases) are constants then all three dimensional symmetric tensors of the geometry, the ricci and einstein tensors, their covariant derivatives at all orders, their products of all orders are completely determined by the Killing vector field and the metric. Hence the corresponding three dimensional metrics are strong candidates of solving all higher derivative gravitational field equations in three dimensions.Comment: 25 pages, some changes made and some references added, to be published in Classical and Quantum Gravit

Haplotype blocks for genomic prediction: a comparative evaluation in multiple crop datasets

In modern plant breeding, genomic selection is becoming the gold standard for selection of superior genotypes. The basis for genomic prediction models is a set of phenotyped lines along with their genotypic profile. With high marker density and linkage disequilibrium (LD) between markers, genotype data in breeding populations tends to exhibit considerable redundancy. Therefore, interest is growing in the use of haplotype blocks to overcome redundancy by summarizing co-inherited features. Moreover, haplotype blocks can help to capture local epistasis caused by interacting loci. Here, we compared genomic prediction methods that either used single SNPs or haplotype blocks with regards to their prediction accuracy for important traits in crop datasets. We used four published datasets from canola, maize, wheat and soybean. Different approaches to construct haplotype blocks were compared, including blocks based on LD, physical distance, number of adjacent markers and the algorithms implemented in the software “Haploview” and “HaploBlocker”. The tested prediction methods included Genomic Best Linear Unbiased Prediction (GBLUP), Extended GBLUP to account for additive by additive epistasis (EGBLUP), Bayesian LASSO and Reproducing Kernel Hilbert Space (RKHS) regression. We found improved prediction accuracy in some traits when using haplotype blocks compared to SNP-based predictions, however the magnitude of improvement was very trait- and model-specific. Especially in settings with low marker density, haplotype blocks can improve genomic prediction accuracy. In most cases, physically large haplotype blocks yielded a strong decrease in prediction accuracy. Especially when prediction accuracy varies greatly across different prediction models, prediction based on haplotype blocks can improve prediction accuracy of underperforming models. However, there is no “best” method to build haplotype blocks, since prediction accuracy varied considerably across methods and traits. Hence, criteria used to define haplotype blocks should not be viewed as fixed biological parameters, but rather as hyperparameters that need to be adjusted for every dataset

Critical review of methods for risk ranking of food related hazards, based on risks for human health.

This study aimed to critically review methods for ranking risks related to food safety and dietary hazards on the basis of their anticipated human health impacts. A literature review was performed to identify and characterize methods for risk ranking from the fields of food, environmental science and socio-economic sciences. The review used a predefined search protocol, and covered the bibliographic databases Scopus, CAB Abstracts, Web of Sciences, and PubMed over the period 1993-2013. All references deemed relevant, on the basis of of predefined evaluation criteria, were included in the review, and the risk ranking method characterized. The methods were then clustered - based on their characteristics - into eleven method categories. These categories included: risk assessment, comparative risk assessment, risk ratio method, scoring method, cost of illness, health adjusted life years, multi-criteria decision analysis, risk matrix, flow charts/decision trees, stated preference techniques and expert synthesis. Method categories were described by their characteristics, weaknesses and strengths, data resources, and fields of applications. It was concluded there is no single best method for risk ranking. The method to be used should be selected on the basis of risk manager/assessor requirements, data availability, and the characteristics of the method. Recommendations for future use and application are provided