Axiomatic Holonomy Maps and Generalized Yang-Mills Moduli Space

This article is a follow-up of ``Holonomy and Path Structures in General Relativity and Yang-Mills Theory" by Barrett, J. W. (Int.J.Theor.Phys., vol.30, No.9, 1991). Its main goal is to provide an alternative proof of this part of the reconstruction theorem which concerns the existence of a connection. A construction of connection 1-form is presented. The formula expressing the local coefficients of connection in terms of the holonomy map is obtained as an immediate consequence of that construction. Thus the derived formula coincides with that used in "On Loop Space Formulation of Gauge Theories" by Chan, H.-M., Scharbach, P. and Tsou S.T. (Ann.Phys., vol.167, 454-472, 1986). The reconstruction and representation theorems form a generalization of the fact that the pointed configuration space of the classical Yang-Mills theory is equivalent to the set of all holonomy maps. The point of this generalization is that there is a one-to-one correspondence not only between the holonomy maps and the orbits in the space of connections, but also between all maps from the loop space on $M$ to group $G$ fulfilling some axioms and all possible equivalence classes of $P(M,G)$ bundles with connection, where the equivalence relation is defined by bundle isomorphism in a natural way.Comment: amslatex, 7 pages, no figure

Higher-order Representation and Reasoning for Automated Ontology Evolution

Abstract: The GALILEO system aims at realising automated ontology evolution. This is necessary to enable intelligent agents to manipulate their own knowledge autonomously and thus reason and communicate effectively in open, dynamic digital environments characterised by the heterogeneity of data and of representation languages. Our approach is based on patterns of diagnosis of faults detected across multiple ontologies. Such patterns allow to identify the type of repair required when conflicting ontologies yield erroneous inferences. We assume that each ontology is locally consistent, i.e. inconsistency arises only across ontologies when they are merged together. Local consistency avoids the derivation of uninteresting theorems, so the formula for diagnosis can essentially be seen as an open theorem over the ontologies. The system’s application domain is physics; we have adopted a modular formalisation of physics, structured by means of locales in Isabelle, to perform modular higher-order reasoning, and visualised by means of development graphs.

A Model Behind the Standard Model

In spite of its many successes, the Standard Model makes many empirical assumptions in the Higgs and fermion sectors for which a deeper theoretical basis is sought. Starting from the usual gauge symmetry $u(1) \times su(2) \times su(3)$ plus the 3 assumptions: (A) scalar fields as vielbeins in internal symmetry space \cite{framevec}, (B) the ``confinement picture'' of symmetry breaking \cite{tHooft,Banovici}, (C) generations as ``dual'' to colour \cite{genmixdsm}, we are led to a scheme which offers: (I) a geometrical significance to scalar fields, (II) a theoretical criterion on what scalar fields are to be introduced, (III) a partial explanation of why $su(2)$ appears broken while $su(3)$ confines, (IV) baryon-lepton number (B - L) conservation, (V) the standard electroweak structure, (VI) a 3-valued generation index for leptons and quarks, and (VII) a dynamical system with all the essential features of an earlier phenomenological model \cite{genmixdsm} which gave a good description of the known mass and mixing patterns of quarks and leptons including neutrino oscillations. There are other implications the consistency of which with experiment, however, has not yet been systematically explored. A possible outcome is a whole new branch of particle spectroscopy from $su(2)$ confinement, potentially as rich in details as that of hadrons from colour confinement, which will be accessible to experiment at high energy.Comment: 66 pages, added new material on phenomenology, and some new reference

Modeling of secondary organic aerosol yields from laboratory chamber data

Laboratory chamber data serve as the basis for constraining models of secondary organic aerosol (SOA) formation. Current models fall into three categories: empirical two-product (Odum), product-specific, and volatility basis set. The product-specific and volatility basis set models are applied here to represent laboratory data on the ozonolysis of α-pinene under dry, dark, and low-NOx conditions in the presence of ammonium sulfate seed aerosol. Using five major identified products, the model is fit to the chamber data. From the optimal fitting, SOA oxygen-to-carbon (O/C) and hydrogen-to-carbon (H/C) ratios are modeled. The discrepancy between measured H/C ratios and those based on the oxidation products used in the model fitting suggests the potential importance of particle-phase reactions. Data fitting is also carried out using the volatility basis set, wherein oxidation products are parsed into volatility bins. The product-specific model is most likely hindered by lack of explicit inclusion of particle-phase accretion compounds. While prospects for identification of the majority of SOA products for major volatile organic compounds (VOCs) classes remain promising, for the near future empirical product or volatility basis set models remain the approaches of choice

Supersolid and charge density-wave states from anisotropic interaction in an optical lattice

We show anisotropy of the dipole interaction between magnetic atoms or polar molecules can stabilize new quantum phases in an optical lattice. Using a well controlled numerical method based on the tensor network algorithm, we calculate phase diagram of the resultant effective Hamiltonian in a two-dimensional square lattice - an anisotropic Hubbard model of hard-core bosons with attractive interaction in one direction and repulsive interaction in the other direction. Besides the conventional superfluid and the Mott insulator states, we find the striped and the checkerboard charge density wave states and the supersolid phase that interconnect the superfluid and the striped solid states. The transition to the supersolid phase has a mechanism different from the case of the soft-core Bose Hubbard model.Comment: 5 pages, 5 figures

Doping Nanocrystals And The Role Of Quantum Confinement

Recent progress in developing algorithms for solving the electronic structure problem for nanostructures is illustrated. Key ingredients in this approach include pseudopotentials implemented on a real space grid and the use of density functional theory. This procedure allows one to predict electronic properties for many materials across the nano-regime, i.e., from atoms to nanocrystals of sufficient size to replicate bulk properties. We will illustrate this method for doping silicon nanocrystals with phosphorous.Institute for Computational Engineering and Sciences (ICES

Observational constraints on a unified dark matter and dark energy model based on generalized Chaplygin gas

We study a generalized version of Chaplygin gas as unified model of dark matter and dark energy. Using realistic theoretical models and the currently available observational data from the age of the universe, the expansion history based on the type Ia supernovae, the matter power spectrum, the cosmic microwave background radiation anisotropy power spectra, and the perturbation growth factor we put the unified model under observational test. As the model has only two free parameters in the flat Friedmann background [$\Lambda$CDM (cold dark matter) model has only one free parameter] we show that the model is already tightly constrained by currently available observations. The only parameter space extremely close to the $\Lambda$CDM model is allowed in this unified model.Comment: 7 pages, 9 figure

Organic Cation Transporter 3 (OCT3) Is Localized to Intracellular and Surface Membranes in Select Glial and Neuronal Cells Within the Basolateral Amygdaloid Complex of Both Rats and Mice

Organic cation transporter 3 (OCT3) is a high-capacity, low-affinity transporter that mediates corticosterone-sensitive uptake of monoamines including norepinephrine, epinephrine, dopamine, histamine and serotonin. OCT3 is expressed widely throughout the amygdaloid complex and other brain regions where monoamines are key regulators of emotional behaviors affected by stress. However, assessing the contribution of OCT3 to the regulation of monoaminergic neurotransmission and monoamine-dependent regulation of behavior requires fundamental information about the subcellular distribution of OCT3 expression. We used immunofluorescence and immuno-electron microscopy to examine the cellular and subcellular distribution of the transporter in the basolateral amygdaloid complex of the rat and mouse brain. OCT3-immunoreactivity was observed in both glial and neuronal perikarya in both rat and mouse amygdala. Electron microscopic immunolabeling revealed plasma membrane-associated OCT3 immunoreactivity on axonal, dendritic, and astrocytic processes adjacent to a variety of synapses, as well as on neuronal somata. In addition to plasma membrane sites, OCT3 immunolabeling was also observed associated with neuronal and glial endomembranes, including Golgi, mitochondrial and nuclear membranes. Particularly prominent labeling of the outer nuclear membrane was observed in neuronal, astrocytic, microglial and endothelial perikarya. The localization of OCT3 to neuronal and glial plasma membranes adjacent to synaptic sites is consistent with an important role for this transporter in regulating the amplitude, duration, and physical spread of released monoamines, while its localization to mitochondrial and outer nuclear membranes suggests previously undescribed roles for the transporter in the intracellular disposition of monoamines

Instability of three dimensional conformally dressed black hole

The three dimensional black hole solution of Einstein equations with negative cosmological constant coupled to a conformal scalar field is proved to be unstable against linear circularly symmetric perturbations.Comment: 5 pages, REVTe

Entropic Priors and Bayesian Model Selection

We demonstrate that the principle of maximum relative entropy (ME), used judiciously, can ease the specification of priors in model selection problems. The resulting effect is that models that make sharp predictions are disfavoured, weakening the usual Bayesian "Occam's Razor". This is illustrated with a simple example involving what Jaynes called a "sure thing" hypothesis. Jaynes' resolution of the situation involved introducing a large number of alternative "sure thing" hypotheses that were possible before we observed the data. However, in more complex situations, it may not be possible to explicitly enumerate large numbers of alternatives. The entropic priors formalism produces the desired result without modifying the hypothesis space or requiring explicit enumeration of alternatives; all that is required is a good model for the prior predictive distribution for the data. This idea is illustrated with a simple rigged-lottery example, and we outline how this idea may help to resolve a recent debate amongst cosmologists: is dark energy a cosmological constant, or has it evolved with time in some way? And how shall we decide, when the data are in?Comment: Presented at MaxEnt 2009, the 29th International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (July 5-10, 2009, Oxford, Mississippi, USA