title: Maps of Computer Science

abstract: We describe a practical approach for visual exploration of research papers. Specifically, we use the titles of papers from the DBLP database to create what we call maps of computer science (MoCS). Words and phrases from the paper titles are the cities in the map, and countries are created based on word and phrase similarity, calculated using co-occurrence. With the help of heatmaps, we can visualize the profile of a particular conference or journal over the base map. Similarly, heatmap profiles can be made of individual researchers or groups such as a department. The visualization system also makes it possible to change the data used to generate the base map. For example, a specific journal or conference can be used to generate the base map and then the heatmap overlays can be used to show the evolution of research topics in the field over the years. As before, individual researchers or research groups profiles can be visualized using heatmap overlays but this time over the journal or conference base map. Finally, research papers or abstracts easily generate visual abstracts giving a visual representation of the distribution of topics in the paper. We outline a modular and extensible system for term extraction using natural language processing techniques, and show the applicability of methods of information retrieval to calculation of term similarity and creation of a topic map. The system is available at mocs.cs.arizona.edu.


title: Modeling Nucleon Generalized Parton Distributions

abstract: We discuss building models for nucleon generalized parton distributions (GPDs) H and E that are based on the formalism of double distributions (DDs). We found that the usual "DD+D-term" construction should be amended by an extra term, \xi E^1_+(x,\xi) built from the \alpha/\beta moment of the DD e(\beta,\alpha) that generates GPD E(x,\xi). Unlike the D-term, this function has support in the whole -1 \leq x \leq 1 region, and in general does not vanish at the border points |x|=\xi.


title: Image Classification by Feature Dimension Reduction and Graph based Ranking

abstract: Dimensionality reduction (DR) of image features plays an important role in image retrieval and classification tasks. Recently, two types of methods have been proposed to improve the both the accuracy and efficiency for the dimensionality reduction problem. One uses Non-negative matrix factorization (NMF) to describe the image distribution on the space of base matrix. Another one for dimension reduction trains a subspace projection matrix to project original data space into some low-dimensional subspaces which have deep architecture, so that the low-dimensional codes would be learned. At the same time, the graph based similarity learning algorithm which tries to exploit contextual information for improving the effectiveness of image rankings is also proposed for image class and retrieval problem. In this paper, after above two methods mentioned are utilized to reduce the high-dimensional features of images respectively, we learn the graph based similarity for the image classification problem. This paper compares the proposed approach with other approaches on an image database.


title: Operators That Attain their Minima

abstract: In this paper we study the theory of operators on complex Hilbert spaces, which attain their minimum in the unit sphere. We prove some important results concerning the characterization of the N*, and also AN* operators, see respectively Definition 1.1 and Definition 1.3. The injective property plays an important role in these operators, and shall be established by these classes.


title: Quantum limit of laser cooling in dispersively- and dissipatively-coupled optomechanical systems

abstract: Mechanical oscillators can be cooled by coupling them to an optical or microwave cavity. Going beyond the standard quantum noise approach we find an analytic expression for the steady-state phonon number in systems where the position of the mechanical oscillator modulates the cavity frequency as well as the cavity line width. We trace the origin for the quantum limit of cooling to fluctuations in the optical force both at and away from the mechanical frequency. Finally, we calculate the minimal phonon number for the different types of coupling. Our study elucidates how to beneficially combine dispersive and dissipative optomechanical coupling.


title: Interpretation of the time delay in the ionization of Coulomb and two-center systems

abstract: We consider the time delay of electron detachment from a Coulomb center and two-center systems in the process of ionization. It is shown that the attosecond streaking, most usual method of time delay measure, can be formally described by placing a virtual detector of the arrival time delay at a certain distance from the center of the system. This approach allows derivation of a simple formula for Coulomb-laser coupling that perfectly agrees with the results of numerical solution of the time-dependent Schrodinger equation. The dependence of the time delay upon the energy, the angular momentum projection, and the azimuthal quantum number is studied for the ionization of molecular hydrogen ion. Finally, we propose a physical interpretation of singularities, arising when the formal expression for the time delay is applied to the ionization of molecular hydrogen.


title: Reconcile the AMS-02 positron fraction and Fermi-LAT/HESS total $e^{\pm}$ spectra by the primary electron spectrum hardening

abstract: The recently reported positron fraction up to $\sim 350$ GeV by AMS-02 seems to have tension with the total electron/positron spectra detected by Fermi and HESS, for either pulsar or dark matter annihilation/decay scenario as the primary positron sources. In this work we will show that the tension will be removed by an adjustment of the primary electron spectrum. If the primary electron spectrum becomes harder above $\sim50$ GeV, similar as the cosmic ray nuclei spectrum, the AMS-02 positron fraction and Fermi/HESS data can be well fitted by both the pulsar and dark matter models. This result indicates that there should be a common origin of the cosmic ray nuclei and the primary electrons. Furthermore, this study also implies that the properties of the extra sources derived from the fitting to the AMS-02 data should depend on the form of background.


title: Efficient Wireless Security Through Jamming, Coding and Routing

abstract: There is a rich recent literature on how to assist secure communication between a single transmitter and receiver at the physical layer of wireless networks through techniques such as cooperative jamming. In this paper, we consider how these single-hop physical layer security techniques can be extended to multi-hop wireless networks and show how to augment physical layer security techniques with higher layer network mechanisms such as coding and routing. Specifically, we consider the secure minimum energy routing problem, in which the objective is to compute a minimum energy path between two network nodes subject to constraints on the end-to-end communication secrecy and goodput over the path. This problem is formulated as a constrained optimization of transmission power and link selection, which is proved to be NP-hard. Nevertheless, we show that efficient algorithms exist to compute both exact and approximate solutions for the problem. In particular, we develop an exact solution of pseudo-polynomial complexity, as well as an epsilon-optimal approximation of polynomial complexity. Simulation results are also provided to show the utility of our algorithms and quantify their energy savings compared to a combination of (standard) security-agnostic minimum energy routing and physical layer security. In the simulated scenarios, we observe that, by jointly optimizing link selection at the network layer and cooperative jamming at the physical layer, our algorithms reduce the network energy consumption by half.


title: Upper critical field of high quality single crystals of KFe$_2$As$_2$

abstract: Measurements of temperature-dependent in-plane resistivity, $\rho(T)$, were used to determine the upper critical field and its anisotropy in high quality single crystals of stoichiometric iron arsenide superconductor KFe$_2$As$_2$. The crystals were characterized by residual resistivity ratio, $\rho(300K)/\rho(0)$ up to 3000 and resistive transition midpoint temperature, $T_c$=3.8 K, significantly higher than in previous studies on the same material. We find increased $H_{c2}(T)$ for both directions of the magnetic field, which scale with the increased $T_c$. This unusual linear $H_{c2}(T_c)$ scaling is not expected for orbital limiting mechanism of the upper critical field in clean materials.


title: Ground-state phase diagram and critical temperature of two-component Bose gases with Rashba spin-orbit coupling

abstract: Ground-state phase diagram of two-component Bose gases with Rashba spin-orbit coupling is determined via a variational approach. A phase in which the fully polarized condensate occupies zero momentum is identified. This zero-momentum phase competes with the spin density wave phase when interspecies interaction is stronger than intraspecies interaction, and the former one is always the ground state for weak spin-orbit coupling. When the energies of these two phases are close, there is a phase separation between them. At finite temperature, such a zero-momentum condensation can be induced by a ferromagnetic phase transition in normal state. The spontaneous spin polarization removes the degeneracy of quasiparticles' energy minima, and consequently the modified density of state accommodates a Bose condensation to appear below a critical temperature.


title: The Bogomolov multiplier of rigid finite groups

abstract: The Bogomolov multiplier of a finite group $G$ is defined as the subgroup of the Schur multiplier consisting of the cohomology classes vanishing after restriction to all abelian subgroups of $G$. This invariant of $G$ plays an important role in birational geometry of quotient spaces $V/G$. We show that in many cases the vanishing of the Bogomolov multiplier is guaranteed by the rigidity of $G$ in the sense that it has no outer class-preserving automorphisms.


title: Recollements of Module Categories

abstract: We establish a correspondence between recollements of abelian categories up to equivalence and certain TTF-triples. For a module category we show, moreover, a correspondence with idempotent ideals, recovering a theorem of Jans. Furthermore, we show that a recollement whose terms are module categories is equivalent to one induced by an idempotent element, thus answering a question by Kuhn.


title: Reductive linear differential algebraic groups and the Galois groups of parameterized linear differential equations

abstract: We develop the representation theory for reductive linear differential algebraic groups (LDAGs). In particular, we exhibit an explicit sharp upper bound for orders of derivatives in differential representations of reductive LDAGs, extending existing results, which were obtained for SL(2) in the case of just one derivation. As an application of the above bound, we develop an algorithm that tests whether the parameterized differential Galois group of a system of linear differential equations is reductive and, if it is, calculates it.


title: Symmetry-Aware Marginal Density Estimation

abstract: The Rao-Blackwell theorem is utilized to analyze and improve the scalability of inference in large probabilistic models that exhibit symmetries. A novel marginal density estimator is introduced and shown both analytically and empirically to outperform standard estimators by several orders of magnitude. The developed theory and algorithms apply to a broad class of probabilistic models including statistical relational models considered not susceptible to lifted probabilistic inference.


title: Locally exact modifications of numerical schemes

abstract: We present a new class of exponential integrators for ordinary differential equations: locally exact modifications of known numerical schemes. Local exactness means that they preserve the linearization of the original system at every point. In particular, locally exact integrators preserve all fixed points and are A-stable. We apply this approach to popular schemes including Euler schemes, implicit midpoint rule and trapezoidal rule. We found locally exact modifications of discrete gradient schemes (for symmetric discrete gradients and coordinate increment discrete gradients) preserving their main geometric property: exact conservation of the energy integral (for arbitrary multidimensional Hamiltonian systems in canonical coordinates). Numerical experiments for a 2-dimensional anharmonic oscillator show that locally exact schemes have very good accuracy in the neighbourhood of stable equilibrium, much higher than suggested by the order of new schemes (locally exact modification sometimes increases the order but in many cases leaves it unchanged).


title: Gaussian Mixture Regression model with logistic weights, a penalized maximum likelihood approach

abstract: We wish to estimate conditional density using Gaussian Mixture Regression model with logistic weights and means depending on the covariate. We aim at selecting the number of components of this model as well as the other parameters by a penalized maximum likelihood approach. We provide a lower bound on penalty, proportional up to a logarithmic term to the dimension of each model, that ensures an oracle inequality for our estimator. Our theoretical analysis is supported by some numerical experiments.


title: Linear stability of Perelman's $\nu$-entropy on symmetric spaces of compact type

abstract: Following Cao-Hamilton-Ilmanen, in this paper we study the linear stability of Perelman's $\nu$-entropy on Einstein manifolds with positive Ricci curvature. We observe the equivalence between the linear stability restricted to the transversal traceless symmetric 2-tensors and the stability of Einstein manifolds with respect to the Hilbert action. As a main application, we give a full classification of linear stability of the $\nu$-entropy on symmetric spaces of compact type. In particular, we exhibit many more linearly stable and linearly unstable examples than previously known and also the first linearly stable examples, other than the standard spheres, whose second variations are negative definite.


title: A Two-Dimensional Approach to Evaluate the Scientific Production of Countries (Case Study: The Basic Sciences)

abstract: The quantity and quality of scientific output of the topmost 50 countries in the four basic sciences (agricultural and biological sciences, chemistry, mathematics, and physics and astronomy) are studied in the period of the recent 12 years (1996-2007). In order to rank the countries, a novel two-dimensional method is proposed, which is inspired by the H-index and other methods based on quality and quantity measures. The countries data are represented in a "quantity-quality diagram", and partitioned by a conventional statistical algorithm (k-means), into three clusters, members of which are rather the same in all of the basic sciences. The results offer a new perspective on the global positions of countries with regards to their scientific output.


title: Some remarks on regular integers modulo $n$

abstract: An integer $k$ is called regular (mod $n$) if there exists an integer $x$ such that $k^2x\equiv k$ (mod $n$). This holds true if and only if $k$ possesses a weak order (mod $n$), i.e., there is an integer $m\ge 1$ such that $k^{m+1} \equiv k$ (mod $n$). Let $\varrho(n)$ denote the number of regular integers (mod $n$) in the set $\{1,2,\ldots,n\}$. This is an analogue of Euler's $\phi$ function. We introduce the multidimensional generalization of $\varrho$, which is the analogue of Jordan's function. We establish identities for the power sums of regular integers (mod $n$) and for some other finite sums and products over regular integers (mod $n$), involving the Bernoulli polynomials, the Gamma function and the cyclotomic polynomials, among others. We also deduce an analogue of Menon's identity and investigate the maximal orders of certain related functions.


title: Phyllosilicate Emission from Protoplanetary Disks: Is the Indirect Detection of Extrasolar Water Possible?

abstract: Phyllosilicates are hydrous minerals formed by interaction between rock and liquid water and are commonly found in meteorites originating in the asteroid belt. Collisions between asteroids contribute to zodiacal dust, which therefore reasonably could include phyllosilicates. Collisions between planetesimals in protoplanetary disks may also produce dust containing phyllosilicates. These minerals possess characteristic emission features in the mid-infrared and could be detectable in extrasolar protoplanetary disks. Here we determine whether phyllosilicates in protoplanetary disks are detectable in the infrared using instruments such as those on board the Spitzer Space Telescope and SOFIA (Stratospheric Observatory for Infrared Astronomy). We calculate opacities for the phyllosilicates most common in meteorites and compute the emission of radiation from a protoplanetary disk using a 2-layer radiative transfer model. We find that phyllosilicates present at the 3% level lead to observationally significant differences in disk spectra, and should therefore be detectable using infrared observations and spectral modeling. Detection of phyllosilicates in a protoplanetary disk would be diagnostic of liquid water in planetesimals in that disk and would demonstrate similarity to our own Solar System. We also discuss use of phyllosilicate emission to test the "waterworlds" hypothesis, which proposes that liquid water in planetesimals should correlate with the inventory of short-lived radionuclides in planetary systems, especially 26Al.


title: Physics of Electrolytic Gas Evolution

abstract: A brief analysis of the physics and effects of electrolytic gas evolution is presented. Aspects considered include bubble nucleation, growth, and detachment, enhancement of mass and heat transfer, and decrease of apparent electrical conductivity of bubble containing electrolytes. This analysis is mainly oriented to hydrogen/oxygen evolving electrodes.


title: Photon emission in neutral current interactions with nucleons and nuclei

abstract: We report on our study of photon emission induced by Enu ~ 1 GeV (anti)neutrino neutral current interactions with nucleons and nuclei. This process is an important background for nu_e appearance oscillation experiments. At the relevant energies, the reaction is dominated by the excitation of the Delta (1232) resonance but there are also non-resonant contributions that, close to threshold, are fully determined by the effective chiral Lagrangian of strong interactions. We have obtained differential and integrated cross section for the (anti)neutrino-nucleon scattering and compare them with previous results. Furthermore, we have extended the model to nuclear targets taking into account Fermi motion, Pauli blocking and the in-medium modifications of the Delta properties. This study is important in order to reduce systematic effects in neutrino oscillation experiments.


title: Propeller outflows from an MRI disc

abstract: We present the results of axisymmetric simulations of MRI-driven accretion onto a rapidly rotating, magnetized star accreting in the propeller regime. The stellar magnetosphere corotates with the star, forming a centrifugal barrier at the disc-magnetosphere boundary which inhibits matter accretion onto the star. Instead, the disc matter accumulates at the disc-magnetosphere interface and slowly diffuses into the inner magnetosphere where it picks up angular momentum and is quickly ejected from the system as an outflow. Due to the interaction of the matter with the magnetosphere, this wind is discontinuous and is launched as discrete plasmoids. If the ejection rate is lower than the disc accretion rate, the matter accumulates at the disc-magnetosphere boundary faster than it can be ejected. In this case, accretion onto the star proceeds through the episodic accretion instability in which episodes of matter accumulation are followed by simultaneous accretion and ejection. During the accretion phase of this instability in which matter flows onto the star in funnel streams, we observe a corresponding rise in the outflow rate. Both the accretion and ejection processes observed in our simulations are highly non-stationary. The stars undergo strong spin-down due to the coupling of the stellar field with the disc and corona and we measure the spin-down timescales of around 1 Myr for a typical CTTS in the propeller regime.


title: Vacuum Varieties, Holomorphic Bundles and Complex Structure Stabilization in Heterotic Theories

abstract: We discuss the use of gauge fields to stabilize complex structure moduli in Calabi-Yau three-fold compactifications of heterotic string and M-theory. The requirement that the gauge fields in such models preserve supersymmetry leads to a complicated landscape of vacua in complex structure moduli space. We develop methods to systematically map out this multi-branched vacuum space, in a computable and explicit manner. In analyzing the resulting vacua, it is found that the associated Calabi-Yau three-folds are sometimes stabilized at a value of complex structure resulting in a singular compactification manifold. We describe how it is possible to resolve these singularities, in some cases, while maintaining computational control over the moduli stabilization mechanism. The discussion is illustrated throughout the paper with explicit worked examples.


title: From state integrals to q-series

abstract: It is well-known to the experts that multi-dimensional state integrals of products of Faddeev's quantum dilogarithm which arise in Quantum Topology can be written as finite sums of products of basic hypergeometric series in q=e^{2\pi i\tau} and \tilde{q}=e^{-2\pi i/\tau}. We illustrate this fact by giving a detailed proof for a family of one-dimensional integrals which includes state-integral invariants of 4_1 and 5_2 knots.


title: Partial regularity for singular solutions to the Monge-Ampere equation

abstract: We prove that solutions to the Monge-Ampere inequality $$\det D^2u \geq 1$$ in $\mathbb{R}^n$ are strictly convex away from a singular set of Hausdorff $n-1$ dimensional measure zero. Furthermore, we show this is optimal by constructing solutions to $\det D^2u = 1$ with singular set of Hausdorff dimension as close as we like to $n-1$. As a consequence we obtain $W^{2,1}$ regularity for the Monge-Ampere equation with bounded right hand side and unique continuation for the Monge-Ampere equation with sufficiently regular right hand side.


title: Tracking the Tracker from its Passive Sonar ML-PDA Estimates

abstract: Target motion analysis with wideband passive sonar has received much attention. Maximum likelihood probabilistic data-association (ML-PDA) represents an asymptotically efficient estimator for deterministic target motion, and is especially well-suited for low-observable targets; the results presented here apply to situations with higher signal to noise ratio as well, including of course the situation of a deterministic target observed via clean measurements without false alarms or missed detections. Here we study the inverse problem, namely, how to identify the observing platform (following a two-leg motion model) from the results of the target estimation process, i.e. the estimated target state and the Fisher information matrix, quantities we assume an eavesdropper might intercept. We tackle the problem and we present observability properties, with supporting simulation results.


title: Demonstration of Low Emittance in the Cornell Energy Recovery Linac Injector Prototype

abstract: We present a detailed study of the six-dimensional phase space of the electron beam produced by the Cornell Energy Recovery Linac Photoinjector, a high-brightness, high repetition rate (1.3 GHz) DC photoemission source designed to drive a hard x-ray energy recovery linac (ERL). A complete simulation model of the injector has been constructed, verified by measurement, and optimized. Both the horizontal and vertical 2D transverse phase spaces, as well as the time-resolved (sliced) horizontal phase space, were simulated and directly measured at the end of the injector for 19 pC and 77 pC bunches at roughly 8 MeV. These bunch charges were chosen because they correspond to 25 mA and 100 mA average current if operating at the full 1.3 GHz repetition rate. The resulting 90% normalized transverse emittances for 19 (77) pC/bunch were 0.23 +/- 0.02 (0.51 +/- 0.04) microns in the horizontal plane, and 0.14 +/- 0.01 (0.29 +/- 0.02) microns in the vertical plane, respectively. These emittances were measured with a corresponding bunch length of 2.1 +/- 0.1 (3.0 +/- 0.2) ps, respectively. In each case the rms momentum spread was determined to be on the order of 1e-3. Excellent overall agreement between measurement and simulation has been demonstrated. Using the emittances and bunch length measured at 19 pC/bunch, we estimate the electron beam quality in a 1.3 GHz, 5 GeV hard x-ray ERL to be at least a factor of 20 times better than that of existing storage rings when the rms energy spread of each device is considered. These results represent a milestone for the field of high-brightness, high-current photoinjectors.


title: Spectral dimension and diffusion in multi-scale spacetimes

abstract: Starting from a classical-mechanics stochastic model encoded in a Langevin equation, we derive the natural diffusion equation associated with three classes of multiscale spacetimes (with weighted, ordinary, and "q-Poincar\'e" symmetries). As a consistency check, the same result is obtained by inspecting the propagation of a quantum-mechanical particle in a disordered environment. The solution of the diffusion equation displays a time-dependent diffusion coefficient and represents a probabilistic process, classified according to the statistics of the noise in the Langevin equation. We thus illustrate, also with pictorial aids, how spacetime geometries can be more completely catalogued not only through their Hausdorff and spectral dimension, but also by a stochastic process. The spectral dimension of multifractional spacetimes is then computed and compared with what was found in previous studies, where a diffusion equation with some open issues was assumed rather than derived. These issues are here discussed and solved, and they point towards the model with q-Poincar\'e symmetries.

categories: math-ph cond-mat.stat-mech hep-th math.MP


title: Attractive Inverse Square Potential, U(1) Gauge, and Winding Transitions

abstract: The inverse square potential arises in a variety of different quantum phenomena, yet notoriously it must be handled with care: it suffers from pathologies rooted in the mathematical foundations of quantum mechanics. We show that its recently studied conformality-breaking corresponds to an infinitely smooth winding-unwinding topological transition for the {\it classical} statistical mechanics of a one-dimensional system: this describes the the tangling/untangling of floppy polymers under a biasing torque. When the ratio between torque and temperature exceeds a critical value the polymer undergoes tangled oscillations, with an extensive winding number. At lower torque or higher temperature the winding number per unit length is zero. Approaching criticality, the correlation length of the order parameter---the extensive winding number---follows a Kosterlitz-Thouless type law. The model is described by the Wilson line of a (0+1) $U(1)$ gauge theory, and applies to the tangling/untangling of floppy polymers and to the winding/diffusing kinetics in diffusion-convection-reactions.


title: Is Shafer General Bayes?

abstract: This paper examines the relationship between Shafer's belief functions and convex sets of probability distributions. Kyburg's (1986) result showed that belief function models form a subset of the class of closed convex probability distributions. This paper emphasizes the importance of Kyburg's result by looking at simple examples involving Bernoulli trials. Furthermore, it is shown that many convex sets of probability distributions generate the same belief function in the sense that they support the same lower and upper values. This has implications for a decision theoretic extension. Dempster's rule of combination is also compared with Bayes' rule of conditioning.


title: Modifiable Combining Functions

abstract: Modifiable combining functions are a synthesis of two common approaches to combining evidence. They offer many of the advantages of these approaches and avoid some disadvantages. Because they facilitate the acquisition, representation, explanation, and modification of knowledge about combinations of evidence, they are proposed as a tool for knowledge engineers who build systems that reason under uncertainty, not as a normative theory of evidence.


title: Dempster-Shafer vs. Probabilistic Logic

abstract: The combination of evidence in Dempster-Shafer theory is compared with the combination of evidence in probabilistic logic. Sufficient conditions are stated for these two methods to agree. It is then shown that these conditions are minimal in the sense that disagreement can occur when any one of them is removed. An example is given in which the traditional assumption of conditional independence of evidence on hypotheses holds and a uniform prior is assumed, but probabilistic logic and Dempster's rule give radically different results for the combination of two evidence events.


title: Higher Order Probabilities

abstract: A number of writers have supposed that for the full specification of belief, higher order probabilities are required. Some have even supposed that there may be an unending sequence of higher order probabilities of probabilities of probabilities.... In the present paper we show that higher order probabilities can always be replaced by the marginal distributions of joint probability distributions. We consider both the case in which higher order probabilities are of the same sort as lower order probabilities and that in which higher order probabilities are distinct in character, as when lower order probabilities are construed as frequencies and higher order probabilities are construed as subjective degrees of belief. In neither case do higher order probabilities appear to offer any advantages, either conceptually or computationally.


title: Belief in Belief Functions: An Examination of Shafer's Canonical Examples

abstract: In the canonical examples underlying Shafer-Dempster theory, beliefs over the hypotheses of interest are derived from a probability model for a set of auxiliary hypotheses. Beliefs are derived via a compatibility relation connecting the auxiliary hypotheses to subsets of the primary hypotheses. A belief function differs from a Bayesian probability model in that one does not condition on those parts of the evidence for which no probabilities are specified. The significance of this difference in conditioning assumptions is illustrated with two examples giving rise to identical belief functions but different Bayesian probability distributions.


title: Do We Need Higher-Order Probabilities and, If So, What Do They Mean?

abstract: The apparent failure of individual probabilistic expressions to distinguish uncertainty about truths from uncertainty about probabilistic assessments have prompted researchers to seek formalisms where the two types of uncertainties are given notational distinction. This paper demonstrates that the desired distinction is already a built-in feature of classical probabilistic models, thus, specialized notations are unnecessary.


title: Bayesian Prediction for Artificial Intelligence

abstract: This paper shows that the common method used for making predictions under uncertainty in A1 and science is in error. This method is to use currently available data to select the best model from a given class of models-this process is called abduction-and then to use this model to make predictions about future data. The correct method requires averaging over all the models to make a prediction-we call this method transduction. Using transduction, an AI system will not give misleading results when basing predictions on small amounts of data, when no model is clearly best. For common classes of models we show that the optimal solution can be given in closed form.


title: Can Evidence Be Combined in the Dempster-Shafer Theory

abstract: Dempster's rule of combination has been the most controversial part of the Dempster-Shafer (D-S) theory. In particular, Zadeh has reached a conjecture on the noncombinability of evidence from a relational model of the D-S theory. In this paper, we will describe another relational model where D-S masses are represented as conditional granular distributions. By comparing it with Zadeh's relational model, we will show how Zadeh's conjecture on combinability does not affect the applicability of Dempster's rule in our model.


title: An Interesting Uncertainty-Based Combinatoric Problem in Spare Parts Forecasting: The FRED System

abstract: The domain of spare parts forecasting is examined, and is found to present unique uncertainty based problems in the architectural design of a knowledge-based system. A mixture of different uncertainty paradigms is required for the solution, with an intriguing combinatoric problem arising from an uncertain choice of inference engines. Thus, uncertainty in the system is manifested in two different meta-levels. The different uncertainty paradigms and meta-levels must be integrated into a functioning whole. FRED is an example of a difficult real-world domain to which no existing uncertainty approach is completely appropriate. This paper discusses the architecture of FRED, highlighting: the points of uncertainty and other interesting features of the domain, the specific implications of those features on the system design (including the combinatoric explosions), their current implementation & future plans,and other problems and issues with the architecture.


title: Bayesian Inference in Model-Based Machine Vision

abstract: This is a preliminary version of visual interpretation integrating multiple sensors in SUCCESSOR, an intelligent, model-based vision system. We pursue a thorough integration of hierarchical Bayesian inference with comprehensive physical representation of objects and their relations in a system for reasoning with geometry, surface materials and sensor models in machine vision. Bayesian inference provides a framework for accruing_ probabilities to rank order hypotheses.


title: Using the Dempster-Shafer Scheme in a Diagnostic Expert System Shell

abstract: This paper discusses an expert system shell that integrates rule-based reasoning and the Dempster-Shafer evidence combination scheme. Domain knowledge is stored as rules with associated belief functions. The reasoning component uses a combination of forward and backward inferencing mechanisms to allow interaction with users in a mixed-initiative format.


title: Stochastic Simulation of Bayesian Belief Networks

abstract: This paper examines Bayesian belief network inference using simulation as a method for computing the posterior probabilities of network variables. Specifically, it examines the use of a method described by Henrion, called logic sampling, and a method described by Pearl, called stochastic simulation. We first review the conditions under which logic sampling is computationally infeasible. Such cases motivated the development of the Pearl's stochastic simulation algorithm. We have found that this stochastic simulation algorithm, when applied to certain networks, leads to much slower than expected convergence to the true posterior probabilities. This behavior is a result of the tendency for local areas in the network to become fixed through many simulation cycles. The time required to obtain significant convergence can be made arbitrarily long by strengthening the probabilistic dependency between nodes. We propose the use of several forms of graph modification, such as graph pruning, arc reversal, and node reduction, in order to convert some networks into formats that are computationally more efficient for simulation.


title: Temporal Reasoning About Uncertain Worlds

abstract: We present a program that manages a database of temporally scoped beliefs. The basic functionality of the system includes maintaining a network of constraints among time points, supporting a variety of fetches, mediating the application of causal rules, monitoring intervals of time for the addition of new facts, and managing data dependencies that keep the database consistent. At this level the system operates independent of any measure of belief or belief calculus. We provide an example of how an application program mi9ght use this functionality to implement a belief calculus.


title: A Perspective on Confidence and Its Use in Focusing Attention During Knowledge Acquisition

abstract: We present a representation of partial confidence in belief and preference that is consistent with the tenets of decision-theory. The fundamental insight underlying the representation is that if a person is not completely confident in a probability or utility assessment, additional modeling of the assessment may improve decisions to which it is relevant. We show how a traditional decision-analytic approach can be used to balance the benefits of additional modeling with associated costs. The approach can be used during knowledge acquisition to focus the attention of a knowledge engineer or expert on parts of a decision model that deserve additional refinement.


title: Practical Issues in Constructing a Bayes' Belief Network

abstract: Bayes belief networks and influence diagrams are tools for constructing coherent probabilistic representations of uncertain knowledge. The process of constructing such a network to represent an expert's knowledge is used to illustrate a variety of techniques which can facilitate the process of structuring and quantifying uncertain relationships. These include some generalizations of the "noisy OR gate" concept. Sensitivity analysis of generic elements of Bayes' networks provides insight into when rough probability assessments are sufficient and when greater precision may be important.


title: NAIVE: A Method for Representing Uncertainty and Temporal Relationships in an Automated Reasoner

abstract: This paper describes NAIVE, a low-level knowledge representation language and inferencing process. NAIVE has been designed for reasoning about nondeterministic dynamic systems like those found in medicine. Knowledge is represented in a graph structure consisting of nodes, which correspond to the variables describing the system of interest, and arcs, which correspond to the procedures used to infer the value of a variable from the values of other variables. The value of a variable can be determined at an instant in time, over a time interval or for a series of times. Information about the value of a variable is expressed as a probability density function which quantifies the likelihood of each possible value. The inferencing process uses these probability density functions to propagate uncertainty. NAIVE has been used to develop medical knowledge bases including over 100 variables.


title: Objective Probability

abstract: A distinction is sometimes made between "statistical" and "subjective" probabilities. This is based on a distinction between "unique" events and "repeatable" events. We argue that this distinction is untenable, since all events are "unique" and all events belong to "kinds", and offer a conception of probability for A1 in which (1) all probabilities are based on -- possibly vague -- statistical knowledge, and (2) every statement in the language has a probability. This conception of probability can be applied to very rich languages.


title: Coefficients of Relations for Probabilistic Reasoning

abstract: Definitions and notations with historical references are given for some numerical coefficients commonly used to quantify relations among collections of objects for the purpose of expressing approximate knowledge and probabilistic reasoning.


title: Satisfaction of Assumptions is a Weak Predictor of Performance

abstract: This paper demonstrates a methodology for examining the accuracy of uncertain inference systems (UIS), after their parameters have been optimized, and does so for several common UIS's. This methodology may be used to test the accuracy when either the prior assumptions or updating formulae are not exactly satisfied. Surprisingly, these UIS's were revealed to be no more accurate on the average than a simple linear regression. Moreover, even on prior distributions which were deliberately biased so as give very good accuracy, they were less accurate than the simple probabilistic model which assumes marginal independence between inputs. This demonstrates that the importance of updating formulae can outweigh that of prior assumptions. Thus, when UIS's are judged by their final accuracy after optimization, we get completely different results than when they are judged by whether or not their prior assumptions are perfectly satisfied.


title: Structuring Causal Tree Models with Continuous Variables

abstract: This paper considers the problem of invoking auxiliary, unobservable variables to facilitate the structuring of causal tree models for a given set of continuous variables. Paralleling the treatment of bi-valued variables in [Pearl 1986], we show that if a collection of coupled variables are governed by a joint normal distribution and a tree-structured representation exists, then both the topology and all internal relationships of the tree can be uncovered by observing pairwise dependencies among the observed variables (i.e., the leaves of the tree). Furthermore, the conditions for normally distributed variables are less restrictive than those governing bi-valued variables. The result extends the applications of causal tree models which were found useful in evidential reasoning tasks.


title: Implementing Evidential Reasoning in Expert Systems

abstract: The Dempster-Shafer theory has been extended recently for its application to expert systems. However, implementing the extended D-S reasoning model in rule-based systems greatly complicates the task of generating informative explanations. By implementing GERTIS, a prototype system for diagnosing rheumatoid arthritis, we show that two kinds of knowledge are essential for explanation generation: (l) taxonomic class relationships between hypotheses and (2) pointers to the rules that significantly contribute to belief in the hypothesis. As a result, the knowledge represented in GERTIS is richer and more complex than that of conventional rule-based systems. GERTIS not only demonstrates the feasibility of rule-based evidential-reasoning systems, but also suggests ways to generate better explanations, and to explicitly represent various useful relationships among hypotheses and rules.


title: Decision Tree Induction Systems: A Bayesian Analysis

abstract: Decision tree induction systems are being used for knowledge acquisition in noisy domains. This paper develops a subjective Bayesian interpretation of the task tackled by these systems and the heuristic methods they use. It is argued that decision tree systems implicitly incorporate a prior belief that the simpler (in terms of decision tree complexity) of two hypotheses be preferred, all else being equal, and that they perform a greedy search of the space of decision rules to find one in which there is strong posterior belief. A number of improvements to these systems are then suggested.


title: The Automatic Training of Rule Bases that Use Numerical Uncertainty Representations

abstract: The use of numerical uncertainty representations allows better modeling of some aspects of human evidential reasoning. It also makes knowledge acquisition and system development, test, and modification more difficult. We propose that where possible, the assignment and/or refinement of rule weights should be performed automatically. We present one approach to performing this training - numerical optimization - and report on the results of some preliminary tests in training rule bases. We also show that truth maintenance can be used to make training more efficient and ask some epistemological questions raised by training rule weights.


title: The Inductive Logic of Information Systems

abstract: An inductive logic can be formulated in which the elements are not propositions or probability distributions, but information systems. The logic is complete for information systems with binary hypotheses, i.e., it applies to all such systems. It is not complete for information systems with more than two hypotheses, but applies to a subset of such systems. The logic is inductive in that conclusions are more informative than premises. Inferences using the formalism have a strong justification in terms of the expected value of the derived information system.


title: Automated Generation of Connectionist Expert Systems for Problems Involving Noise and Redundancy

abstract: When creating an expert system, the most difficult and expensive task is constructing a knowledge base. This is particularly true if the problem involves noisy data and redundant measurements. This paper shows how to modify the MACIE process for generating connectionist expert systems from training examples so that it can accommodate noisy and redundant data. The basic idea is to dynamically generate appropriate training examples by constructing both a 'deep' model and a noise model for the underlying problem. The use of winner-take-all groups of variables is also discussed. These techniques are illustrated with a small example that would be very difficult for standard expert system approaches.


title: The Recovery of Causal Poly-Trees from Statistical Data

abstract: Poly-trees are singly connected causal networks in which variables may arise from multiple causes. This paper develops a method of recovering ply-trees from empirically measured probability distributions of pairs of variables. The method guarantees that, if the measured distributions are generated by a causal process structured as a ply-tree then the topological structure of such tree can be recovered precisely and, in addition, the causal directionality of the branches can be determined up to the maximum extent possible. The method also pinpoints the minimum (if any) external semantics required to determine the causal relationships among the variables considered.


title: A Heuristic Bayesian Approach to Knowledge Acquisition: Application to Analysis of Tissue-Type Plasminogen Activator

abstract: This paper describes a heuristic Bayesian method for computing probability distributions from experimental data, based upon the multivariate normal form of the influence diagram. An example illustrates its use in medical technology assessment. This approach facilitates the integration of results from different studies, and permits a medical expert to make proper assessments without considerable statistical training.


title: Theory-Based Inductive Learning: An Integration of Symbolic and Quantitative Methods

abstract: The objective of this paper is to propose a method that will generate a causal explanation of observed events in an uncertain world and then make decisions based on that explanation. Feedback can cause the explanation and decisions to be modified. I call the method Theory-Based Inductive Learning (T-BIL). T-BIL integrates deductive learning, based on a technique called Explanation-Based Generalization (EBG) from the field of machine learning, with inductive learning methods from Bayesian decision theory. T-BIL takes as inputs (1) a decision problem involving a sequence of related decisions over time, (2) a training example of a solution to the decision problem in one period, and (3) the domain theory relevant to the decision problem. T-BIL uses these inputs to construct a probabilistic explanation of why the training example is an instance of a solution to one stage of the sequential decision problem. This explanation is then generalized to cover a more general class of instances and is used as the basis for making the next-stage decisions. As the outcomes of each decision are observed, the explanation is revised, which in turn affects the subsequent decisions. A detailed example is presented that uses T-BIL to solve a very general stochastic adaptive control problem for an autonomous mobile robot.


title: Using T-Norm Based Uncertainty Calculi in a Naval Situation Assessment Application

abstract: RUM (Reasoning with Uncertainty Module), is an integrated software tool based on a KEE, a frame system implemented in an object oriented language. RUM's architecture is composed of three layers: representation, inference, and control. The representation layer is based on frame-like data structures that capture the uncertainty information used in the inference layer and the uncertainty meta-information used in the control layer. The inference layer provides a selection of five T-norm based uncertainty calculi with which to perform the intersection, detachment, union, and pooling of information. The control layer uses the meta-information to select the appropriate calculus for each context and to resolve eventual ignorance or conflict in the information. This layer also provides a context mechanism that allows the system to focus on the relevant portion of the knowledge base, and an uncertain-belief revision system that incrementally updates the certainty values of well-formed formulae (wffs) in an acyclic directed deduction graph. RUM has been tested and validated in a sequence of experiments in both naval and aerial situation assessment (SA), consisting of correlating reports and tracks, locating and classifying platforms, and identifying intents and threats. An example of naval situation assessment is illustrated. The testbed environment for developing these experiments has been provided by LOTTA, a symbolic simulator implemented in Flavors. This simulator maintains time-varying situations in a multi-player antagonistic game where players must make decisions in light of uncertain and incomplete data. RUM has been used to assist one of the LOTTA players to perform the SA task.


title: A Study of Associative Evidential Reasoning

abstract: Evidential reasoning is cast as the problem of simplifying the evidence-hypothesis relation and constructing combination formulas that possess certain testable properties. Important classes of evidence as identifiers, annihilators, and idempotents and their roles in determining binary operations on intervals of reals are discussed. The appropriate way of constructing formulas for combining evidence and their limitations, for instance, in robustness, are presented.


title: A Measure-Free Approach to Conditioning

abstract: In an earlier paper, a new theory of measurefree "conditional" objects was presented. In this paper, emphasis is placed upon the motivation of the theory. The central part of this motivation is established through an example involving a knowledge-based system. In order to evaluate combination of evidence for this system, using observed data, auxiliary at tribute and diagnosis variables, and inference rules connecting them, one must first choose an appropriate algebraic logic description pair (ALDP): a formal language or syntax followed by a compatible logic or semantic evaluation (or model). Three common choices- for this highly non-unique choice - are briefly discussed, the logics being Classical Logic, Fuzzy Logic, and Probability Logic. In all three,the key operator representing implication for the inference rules is interpreted as the often-used disjunction of a negation (b => a) = (b'v a), for any events a,b. However, another reasonable interpretation of the implication operator is through the familiar form of probabilistic conditioning. But, it can be shown - quite surprisingly - that the ALDP corresponding to Probability Logic cannot be used as a rigorous basis for this interpretation! To fill this gap, a new ALDP is constructed consisting of "conditional objects", extending ordinary Probability Logic, and compatible with the desired conditional probability interpretation of inference rules. It is shown also that this choice of ALDP leads to feasible computations for the combination of evidence evaluation in the example. In addition, a number of basic properties of conditional objects and the resulting Conditional Probability Logic are given, including a characterization property and a developed calculus of relations.


title: Convergent Deduction for Probabilistic Logic

abstract: This paper discusses the semantics and proof theory of Nilsson's probabilistic logic, outlining both the benefits of its well-defined model theory and the drawbacks of its proof theory. Within Nilsson's semantic framework, we derive a set of inference rules which are provably sound. The resulting proof system, in contrast to Nilsson's approach, has the important feature of convergence - that is, the inference process proceeds by computing increasingly narrow probability intervals which converge from above and below on the smallest entailed probability interval. Thus the procedure can be stopped at any time to yield partial information concerning the smallest entailed interval.


title: Comparisons of Reasoning Mechanisms for Computer Vision

abstract: An evidential reasoning mechanism based on the Dempster-Shafer theory of evidence is introduced. Its performance in real-world image analysis is compared with other mechanisms based on the Bayesian formalism and a simple weight combination method.


title: A Knowledge Engineer's Comparison of Three Evidence Aggregation Methods

abstract: The comparisons of uncertainty calculi from the last two Uncertainty Workshops have all used theoretical probabilistic accuracy as the sole metric. While mathematical correctness is important, there are other factors which should be considered when developing reasoning systems. These other factors include, among other things, the error in uncertainty measures obtainable for the problem and the effect of this error on the performance of the resulting system.


title: Towards Solving the Multiple Extension Problem: Combining Defaults and Probabilities

abstract: The multiple extension problem arises frequently in diagnostic and default inference. That is, we can often use any of a number of sets of defaults or possible hypotheses to explain observations or make Predictions. In default inference, some extensions seem to be simply wrong and we use qualitative techniques to weed out the unwanted ones. In the area of diagnosis, however, the multiple explanations may all seem reasonable, however improbable. Choosing among them is a matter of quantitative preference. Quantitative preference works well in diagnosis when knowledge is modelled causally. Here we suggest a framework that combines probabilities and defaults in a single unified framework that retains the semantics of diagnosis as construction of explanations from a fixed set of possible hypotheses. We can then compute probabilities incrementally as we construct explanations. Here we describe a branch and bound algorithm that maintains a set of all partial explanations while exploring a most promising one first. A most probable explanation is found first if explanations are partially ordered.


title: Problem Structure and Evidential Reasoning

abstract: In our previous series of studies to investigate the role of evidential reasoning in the RUBRIC system for full-text document retrieval (Tong et al., 1985; Tong and Shapiro, 1985; Tong and Appelbaum, 1987), we identified the important role that problem structure plays in the overall performance of the system. In this paper, we focus on these structural elements (which we now call "semantic structure") and show how explicit consideration of their properties reduces what previously were seen as difficult evidential reasoning problems to more tractable questions.


title: The Role of Calculi in Uncertain Inference Systems

abstract: Much of the controversy about methods for automated decision making has focused on specific calculi for combining beliefs or propagating uncertainty. We broaden the debate by (1) exploring the constellation of secondary tasks surrounding any primary decision problem, and (2) identifying knowledge engineering concerns that present additional representational tradeoffs. We argue on pragmatic grounds that the attempt to support all of these tasks within a single calculus is misguided. In the process, we note several uncertain reasoning objectives that conflict with the Bayesian ideal of complete specification of probabilities and utilities. In response, we advocate treating the uncertainty calculus as an object language for reasoning mechanisms that support the secondary tasks. Arguments against Bayesian decision theory are weakened when the calculus is relegated to this role. Architectures for uncertainty handling that take statements in the calculus as objects to be reasoned about offer the prospect of retaining normative status with respect to decision making while supporting the other tasks in uncertain reasoning.


title: The Role of Tuning Uncertain Inference Systems

abstract: This study examined the effects of "tuning" the parameters of the incremental function of MYCIN, the independent function of PROSPECTOR, a probability model that assumes independence, and a simple additive linear equation. me parameters of each of these models were optimized to provide solutions which most nearly approximated those from a full probability model for a large set of simple networks. Surprisingly, MYCIN, PROSPECTOR, and the linear equation performed equivalently; the independence model was clearly more accurate on the networks studied.


title: Evidential Reasoning in Image Understanding

abstract: In this paper, we present some results of evidential reasoning in understanding multispectral images of remote sensing systems. The Dempster-Shafer approach of combination of evidences is pursued to yield contextual classification results, which are compared with previous results of the Bayesian context free classification, contextual classifications of dynamic programming and stochastic relaxation approaches.


title: Implementing a Bayesian Scheme for Revising Belief Commitments

abstract: Our previous work on classifying complex ship images [1,2] has evolved into an effort to develop software tools for building and solving generic classification problems. Managing the uncertainty associated with feature data and other evidence is an important issue in this endeavor. Bayesian techniques for managing uncertainty [7,12,13] have proven to be useful for managing several of the belief maintenance requirements of classification problem solving. One such requirement is the need to give qualitative explanations of what is believed. Pearl [11] addresses this need by computing what he calls a belief commitment-the most probable instantiation of all hypothesis variables given the evidence available. Before belief commitments can be computed, the straightforward implementation of Pearl's procedure involves finding an analytical solution to some often difficult optimization problems. We describe an efficient implementation of this procedure using tensor products that solves these problems enumeratively and avoids the need for case by case analysis. The procedure is thereby made more practical to use in the general case.


title: Integrating Logical and Probabilistic Reasoning for Decision Making

abstract: We describe a representation and a set of inference methods that combine logic programming techniques with probabilistic network representations for uncertainty (influence diagrams). The techniques emphasize the dynamic construction and solution of probabilistic and decision-theoretic models for complex and uncertain domains. Given a query, a logical proof is produced if possible; if not, an influence diagram based on the query and the knowledge of the decision domain is produced and subsequently solved. A uniform declarative, first-order, knowledge representation is combined with a set of integrated inference procedures for logical, probabilistic, and decision-theoretic reasoning.


title: Compiling Fuzzy Logic Control Rules to Hardware Implementations

abstract: A major aspect of human reasoning involves the use of approximations. Particularly in situations where the decision-making process is under stringent time constraints, decisions are based largely on approximate, qualitative assessments of the situations. Our work is concerned with the application of approximate reasoning to real-time control. Because of the stringent processing speed requirements in such applications, hardware implementations of fuzzy logic inferencing are being pursued. We describe a programming environment for translating fuzzy control rules into hardware realizations. Two methods of hardware realizations are possible. The First is based on a special purpose chip for fuzzy inferencing. The second is based on a simple memory chip. The ability to directly translate a set of decision rules into hardware implementations is expected to make fuzzy control an increasingly practical approach to the control of complex systems.


title: Steps Towards Programs that Manage Uncertainty

abstract: Reasoning under uncertainty in Al hats come to mean assessing the credibility of hypotheses inferred from evidence. But techniques for assessing credibility do not tell a problem solver what to do when it is uncertain. This is the focus of our current research. We have developed a medical expert system called MUM, for Managing Uncertainty in Medicine, that plans diagnostic sequences of questions, tests, and treatments. This paper describes the kinds of problems that MUM was designed to solve and gives a brief description of its architecture. More recently, we have built an empty version of MUM called MU, and used it to reimplement MUM and a small diagnostic system for plant pathology. The latter part of the paper describes the features of MU that make it appropriate for building expert systems that manage uncertainty.


title: An Algorithm for Computing Probabilistic Propositions

abstract: A method for computing probabilistic propositions is presented. It assumes the availability of a single external routine for computing the probability of one instantiated variable, given a conjunction of other instantiated variables. In particular, the method allows belief network algorithms to calculate general probabilistic propositions over nodes in the network. Although in the worst case the time complexity of the method is exponential in the size of a query, it is polynomial in the size of a number of common types of queries.


title: Combining Symbolic and Numeric Approaches to Uncertainty Management

abstract: A complete approach to reasoning under uncertainty requires support for incremental and interactive formulation and revision of, as well as reasoning with, models of the problem domain capable of representing our uncertainty. We present a hybrid reasoning scheme which combines symbolic and numeric methods for uncertainty management to provide efficient and effective support for each of these tasks. The hybrid is based on symbolic techniques adapted from Assumption-based Truth Maintenance systems (ATMS), combined with numeric methods adapted from the Dempster/Shafer theory of evidence, as extended in Baldwin's Support Logic Programming system. The hybridization is achieved by viewing an ATMS as a symbolic algebra system for uncertainty calculations. This technique has several major advantages over conventional methods for performing inference with numeric certainty estimates in addition to the ability to dynamically determine hypothesis spaces, including improved management of dependent and partially independent evidence, faster run-time evaluation of propositional certainties, the ability to query the certainty value of a proposition from multiple perspectives, and the ability to incrementally extend or revise domain models.


title: Explanation of Probabilistic Inference for Decision Support Systems

abstract: An automated explanation facility for Bayesian conditioning aimed at improving user acceptance of probability-based decision support systems has been developed. The domain-independent facility is based on an information processing perspective on reasoning about conditional evidence that accounts both for biased and normative inferences. Experimental results indicate that the facility is both acceptable to naive users and effective in improving understanding.


title: Estimation Procedures for Robust Sensor Control

abstract: Many robotic sensor estimation problems can characterized in terms of nonlinear measurement systems. These systems are contaminated with noise and may be underdetermined from a single observation. In order to get reliable estimation results, the system must choose views which result in an overdetermined system. This is the sensor control problem. Accurate and reliable sensor control requires an estimation procedure which yields both estimates and measures of its own performance. In the case of nonlinear measurement systems, computationally simple closed-form estimation solutions may not exist. However, approximation techniques provide viable alternatives. In this paper, we evaluate three estimation techniques: the extended Kalman filter, a discrete Bayes approximation, and an iterative Bayes approximation. We present mathematical results and simulation statistics illustrating operating conditions where the extended Kalman filter is inappropriate for sensor control, and discuss issues in the use of the discrete Bayes approximation.


title: Efficient Inference on Generalized Fault Diagrams

abstract: The generalized fault diagram, a data structure for failure analysis based on the influence diagram, is defined. Unlike the fault tree, this structure allows for dependence among the basic events and replicated logical elements. A heuristic procedure is developed for efficient processing of these structures.


title: Reasoning About Beliefs and Actions Under Computational Resource Constraints

abstract: Although many investigators affirm a desire to build reasoning systems that behave consistently with the axiomatic basis defined by probability theory and utility theory, limited resources for engineering and computation can make a complete normative analysis impossible. We attempt to move discussion beyond the debate over the scope of problems that can be handled effectively to cases where it is clear that there are insufficient computational resources to perform an analysis deemed as complete. Under these conditions, we stress the importance of considering the expected costs and benefits of applying alternative approximation procedures and heuristics for computation and knowledge acquisition. We discuss how knowledge about the structure of user utility can be used to control value tradeoffs for tailoring inference to alternative contexts. We address the notion of real-time rationality, focusing on the application of knowledge about the expected timewise-refinement abilities of reasoning strategies to balance the benefits of additional computation with the costs of acting with a partial result. We discuss the benefits of applying decision theory to control the solution of difficult problems given limitations and uncertainty in reasoning resources.


title: Advantages and a Limitation of Using LEG Nets in a Real-TIme Problem

abstract: After experimenting with a number of non-probabilistic methods for dealing with uncertainty many researchers reaffirm a preference for probability methods [1] [2], although this remains controversial. The importance of being able to form decisions from incomplete data in diagnostic problems has highlighted probabilistic methods [5] which compute posterior probabilities from prior distributions in a way similar to Bayes Rule, and thus are called Bayesian methods. This paper documents the use of a Bayesian method in a real time problem which is similar to medical diagnosis in that there is a need to form decisions and take some action without complete knowledge of conditions in the problem domain. This particular method has a limitation which is discussed.


title: Probing the Leggett-Garg Inequality for Oscillating Neutral Kaons and Neutrinos

abstract: The Leggett-Garg inequality (LGI) as a temporal analogue of Bell's inequality, derived using the notion of realism, is applied in a hitherto unexplored context involving the weak interaction induced two-state oscillations of decaying neutral kaons and neutrinos. The maximum violation of LGI obtained from the quantum mechanical results is significantly higher for the oscillating neutrinos compared to that for the kaons. Interestingly, the effect of CP non-invariance for the kaon oscillation is to enhance this violation while, for neutrinos, it is sensitive to the value of the mixing parameter.


title: Some Generalizations of Hermite-Hadamard type Integral Inequalities and their Applications

abstract: In this paper, we establish various inequalities for some differentiable mappings that are linked with the illustrious Hermite- Hadamard integral inequality for mappings whose derivatives are (h -($\alpha$?;m))-convex.The generalized integral inequalities contribute some better estimates than some already presented. The inequalities are then applied to numerical integration and some special means.


title: Paramagnetic Fe_xTa_{1-x} alloys for engineering of perpendicularly magnetized tunnel junctions

abstract: Exchange coupling between two magnetic layers through an interlayer is of broad interest for numerous recent applications of nano-magnetic systems. In this Letter we study ferromagnetic exchange coupling through amorphous paramagnetic Fe-Ta alloys. We show that the exchange coupling depends exponentially on spacer thickness and scales with the Fe-Ta susceptibility, which can be tuned via the alloy composition and/or temperature. Such materials are of high interest for the engineering of perpendicularly magnetized CoFeB-MgO based tunnel junctions as it enables ferromagnetic coupling of magnetic layers with differing crystalline lattices, suppresses dead layers and can act as an inter-diffusion barrier during annealing.


title: Neutron-capture element deficiency of the Hercules dwarf spheroidal galaxy

abstract: We present an assessment of the barium abundance ratios for red giant member stars in the faint Hercules dwarf spheroidal (dSph) galaxy. Our results are drawn from intermediate-resolution FLAMES/GIRAFFE spectra around the Ba II 6141.71 AA absorption line at low signal-to-noise ratios. For three brighter stars we were able to gain estimates from direct equivalent-width measurements, while for the remaining eight stars only upper limits could be obtained. These results are investigated in a statistical manner and indicate very low Ba abundances of log epsilon (Ba) < 0.7 dex (3 sigma). We discuss various possible systematic biasses, first and foremost, a blend with the Fe I 6141.73 AA-line, but most of those would only lead to even lower abundances. A better match with metal-poor halo and dSph stars can only be reached by including a large uncertainty in the continuum placement. This contrasts with the high dispersions in iron and calcium (in excess of 1 dex) in this galaxy. While the latter spreads are typical of the very low luminosity, dark-matter dominated dSphs, a high level of depletion in heavy elements suggests that chemical enrichment in Hercules was governed by very massive stars, coupled with a very low star formation efficiency. While very low abundances of some heavy elements are also found in individual stars of other dwarf galaxies, this is the first time that a very low Ba abundance is found within an entire dSph over a broad metallicity range.


title: Rotational signature of the Milky Way stellar halo

abstract: We measure the rotation of the Milky Way stellar halo on two samples of Blue Horizontal Branch (BHB) field halo stars from the Sloan Digital Sky Survey (SDSS) with four different methods. The two samples comprise 1582 and 2563 stars respectively and reach out to ~50 kpc in galactocentric distance. Two of the methods to measure rotation rely exclusively on line-of-sight velocities, namely the popular double power-law model and a direct estimate of the de-projected l.o.s. velocity. The other two techniques use the full 3D motions: the radial velocity based rotation estimator of Sch\"onrich, Binney & Asplund (2012) and a simple 3D azimuthal velocity mean. In this context we a) critique the popular model and b) assess the reliability of the estimators. All four methods agree on a weakly prograde or non-rotating halo. Further, we observe no duality in the rotation of sub-samples with different metallicities or at different radii. We trace the rotation gradient across metallicity measured by Deason et al. (2011) on a similar sample of BHB stars back to the inclusion of regions in the apparent magnitude-surface gravity plane known to be contaminated. In the spectroscopically selected sample of Xue et al. (2011), we flag ~500 hot metal-poor stars for their peculiar kinematics w.r.t. to both their cooler metal-poor counter-parts and to the metal-rich stars in the same sample. They show a seemingly retrograde behaviour in line-of-sight velocities, which is not confirmed by the 3D estimators. Their anomalous vertical motion hints at either a pipeline problem or a stream-like component rather than a smooth retrograde population.


title: Spin-orbital liquids in non-Kramers magnet on Kagome lattice

abstract: Localized magnetic moments with crystal-field doublet or pseudo-spin 1/2 may arise in correlated insulators with even number of electrons and strong spin-orbit coupling. Such a non-Kramers pseudo-spin 1/2 is the consequence of crystalline symmetries as opposed to the Kramers doublet arising from time-reversal invariance, and is necessarily a composite of spin and orbital degrees of freedom. We investigate possible spin-orbital liquids with fermionic spinons for such non-Kramers pseudo-spin 1/2 systems on the Kagome lattice. Using the projective symmetry group analysis, we find {\it ten} new phases that are not allowed in the corresponding Kramers systems. These new phases are allowed due to unusual action of the time reversal operation on non-Kramers pseudo-spins. We compute the spin-spin dynamic structure factor that shows characteristic features of these non-Kramers spin-orbital liquids arising from their unusual coupling to neutrons, which is therefore relevant for neutron scattering experiments. We also point out possible anomalous broadening of Raman scattering intensity that may serve as a signature experimental feature for gapless non-Kramers spin-orbital liquids.


title: The Higgs mass from a String-Theoretic Perspective

abstract: The Higgs quartic coupling has now been indirectly measured at the electroweak scale. Assuming no new low-scale physics, its running is known and, together with gauge and Yukawa couplings, it is a crucial new piece of information constraining UV completions of the Standard Model. In particular, supersymmetry broken at an intermediate or high energy scale with tan(beta)=1 (i.e. lambda=0) is consistent with present data and has an independent theoretical appeal. We analyze the possible string-theoretic motivations for tan(beta)=1 (including both the shift-symmetry and the more economical variant of a Z_2 symmetry) in a Higgs sector realized on either 6- or 7-branes. We identify specific geometries where lambda ~ 0 may arise naturally and specify the geometrical problems which need to be solved to determine its precise value in the generic case. We then analyze the radiative corrections to lambda. Finally we show that, in contrast to naive expectations, lambda<0 at the SUSY breaking scale is also possible. Specifically, string theory may produce an MSSM plus chiral singlet at a very high scale, which immediately breaks to a non-SUSY Standard Model with lambda<0. This classically unstable theory then becomes metastable through running towards the IR.


title: Resolving the gap and AU-scale asymmetries in the pre-transitional disk of V1247 Orionis

abstract: Pre-transitional disks are protoplanetary disks with a gapped disk structure, potentially indicating the presence of young planets in these systems. In order to explore the structure of these objects and their gap-opening mechanism, we observed the pre-transitional disk V1247 Orionis using the Very Large Telescope Interferometer, the Keck Interferometer, Keck-II, Gemini South, and IRTF. This allows us spatially resolve the AU-scale disk structure from near- to mid-infrared wavelengths (1.5 to 13 {\mu}m), tracing material at different temperatures and over a wide range of stellocentric radii. Our observations reveal a narrow, optically-thick inner-disk component (located at 0.18 AU from the star) that is separated from the optically thick outer disk (radii >46 AU), providing unambiguous evidence for the existence of a gap in this pre-transitional disk. Surprisingly, we find that the gap region is filled with significant amounts of optically thin material with a carbon-dominated dust mineralogy. The presence of this optically thin gap material cannot be deduced solely from the spectral energy distribution, yet it is the dominant contributor at mid-infrared wavelengths. Furthermore, using Keck/NIRC2 aperture masking observations in the H, K', and L' band, we detect asymmetries in the brightness distribution on scales of about 15-40 AU, i.e. within the gap region. The detected asymmetries are highly significant, yet their amplitude and direction changes with wavelength, which is not consistent with a companion interpretation but indicates an inhomogeneous distribution of the gap material. We interpret this as strong evidence for the presence of complex density structures, possibly reflecting the dynamical interaction of the disk material with sub-stellar mass bodies that are responsible for the gap clearing.


title: On Poincar\'e gauge theory of gravity, its equations of motion, and Gravity Probe B

abstract: Ever since E.Cartan in the 1920s enriched the geometric framework of general relativity (GR) by introducing a {\it torsion} of spacetime, the question arose whether one could find a measurement technique for detecting the presence of a torsion field. Mao et al.(2007) claimed that the rotating quartz balls in the gyroscopes of the Gravity Probe B experiment, falling freely on an orbit around the Earth, should "feel" the torsion. Similarly, March et al.(2011) argue with the precession of the Moon and the Mercury and extend later their considerations to the Lageos satellite.--- A consistent theory of gravity with torsion emerged during the early 1960's as gauge theory of the Poincar\'e group. This Poincar\'e gauge theory of gravity incorporates as simplest viable cases the Einstein-Cartan(-Sciama-Kibble) theory (EC), the teleparallel equivalent GR|| of GR, and GR itself. So far, PG and, in particular, the existence of torsion have {\it not} been experimentally confirmed. However, PG is to be considered as the standard theory of gravity with torsion because of its very convincing gauge structure.--- Since the early 1970s up to today, different groups have shown more or less independently that torsion couples only to the {\it elementary particle spin} and under no circumstances to the orbital angular momentum of test particles. This is established knowledge and we reconfirm this conclusion by discussing the energy-momentum law of PG, which has same form for all versions of PG. Therefore, we conclude that, unfortunately, the investigations of Mao et al. and March et al. do not yield any information on torsion.


title: Age-dating the Tully-Fisher relation at moderate redshift

abstract: We analyse the Tully-Fisher relation at moderate redshift from the point of view of the underlying stellar populations, by comparing optical and NIR photometry with a phenomenological model that combines population synthesis with a simple prescription for chemical enrichment. The sample comprises 108 late-type galaxies extracted from the FORS Deep Field (FDF) and William Herschel Deep Field (WHDF) surveys at z<1 (median redshift z=0.45). A correlation is found between stellar mass and the parameters that describe the star formation history, with massive galaxies forming their populations early (zFOR~3), with star formation timescales, tau1~4Gyr; although with very efficient chemical enrichment timescales (tau2~1Gyr). In contrast, the stellar-to-dynamical mass ratio - which, in principle, would track the efficiency of feedback in the baryonic processes driving galaxy formation - does not appear to correlate with the model parameters. On the Tully-Fisher plane, no significant age segregation is found at fixed circular speed, whereas at fixed stellar-to-dynamical mass fraction, age splits the sample, with older galaxies having faster circular speeds at fixed Ms/Mdyn. Although our model does not introduce any prior constraint on dust reddening, we obtain a strong correlation between colour excess and stellar mass.


title: The Web of D-branes at Singularities in Compact Calabi-Yau Manifolds

abstract: We present novel continuous supersymmetric transitions which take place among different chiral configurations of D3/D7 branes at singularities in the context of type IIB Calabi-Yau compactifications. We find that distinct local models which admit a consistent global embedding can actually be connected to each other along flat directions by means of transitions of bulk-to-flavour branes. This has interesting interpretations in terms of brane recombination/splitting and brane/anti-brane creation/annihilation. These transitions give rise to a large web of quiver gauge theories parametrised by splitting/recombination modes of bulk branes which are not present in the non-compact case. We illustrate our results in concrete global embeddings of chiral models at a dP_0 singularity.


title: Stellar ages and convective cores in field main-sequence stars: first asteroseismic application to two Kepler targets

abstract: Using asteroseismic data and stellar evolution models we make the first detection of a convective core in a Kepler field main-sequence star, putting a stringent constraint on the total size of the mixed zone and showing that extra mixing beyond the formal convective boundary exists. In a slightly less massive target the presence of a convective core cannot be conclusively discarded, and thus its remaining main-sequence life time is uncertain. Our results reveal that best-fit models found solely by matching individual frequencies of oscillations corrected for surface effects do not always properly reproduce frequency combinations. Moreover, slightly different criteria to define what the best-fit model is can lead to solutions with similar global properties but very different interior structures. We argue that the use of frequency ratios is a more reliable way to obtain accurate stellar parameters, and show that our analysis in field main-sequence stars can yield an overall precision of 1.5%, 4%, and 10% in radius, mass and age, respectively. We compare our results with those obtained from global oscillation properties, and discuss the possible sources of uncertainties in asteroseismic stellar modeling where further studies are still needed.


title: Role of inter-edge tunneling in localizing Majorana zero modes at the ends of quasi one-dimensional p+ip systems

abstract: Potter and Lee have demonstrated the presence of Majorana zero modes at the ends of quasi one-dimensional (1-D) p+ip superconductors. We use conformal field theory (CFT) methods to show that inter-edge tunneling of the vortex excitations along the length of the channel is crucial for such localization. We show that localization of Majorana modes occurs also in quasi 1-D channels of the 5/2 fractional quantum Hall (FQH) systems when modeled, following Moore and Read, as the p+ip paired state of composite fermions. We propose a tunnel-interferometry experiment to detect these modes, which should show a \pi -phase shift of oscillations depending on whether a localized Majorana zero mode is present or not, which, in turn, can be controlled by varying the tunneling strength.


title: The simplest model of galaxy formation I: A formation history model of galaxy stellar mass growth

abstract: We introduce a simple model to self-consistently connect the growth of galaxies to the formation history of their host dark matter haloes. Our model is defined by two simple functions: the "baryonic growth function" which controls the rate at which new baryonic material is made available for star formation, and the "physics function" which controls the efficiency with which this material is converted into stars. Using simple, phenomenologically motivated forms for both functions that depend only on a single halo property, we demonstrate the model's ability to reproduce the z=0 red and blue stellar mass functions. Furthermore, by adding redshift as a second input variable to the physics function we show that the reproduction of the global stellar mass function out to z=3 is improved. We conclude by discussing the general utility of our new model, highlighting its usefulness for creating mock galaxy samples which have a number of key advantages over those generated by other techniques.


title: The Dynamical Significance of Triple Star Systems in Star Clusters

abstract: Over the last few decades, observational surveys have revealed that high-order multiple-star systems (e.g. triples, quadruples, etc.), and triples in particular, are common in our Galaxy. In this paper, we consider the dynamical significance of this transformation in our understanding of stellar multiplicity. Using empirically constrained binary and triple fractions in those star clusters for which these values are available in the literature, we compare analytic rates for encounters involving single, binary, and triple stars. Our results show that, \textit{even for relatively low triple fractions, dynamical interactions involving triples occur roughly as often as encounters involving either single or binary stars alone, particularly in low-mass star clusters}. More generally, using empirically-derived multiple star catalogues for the young star-forming association Taurus-Auriga and the Galactic field, we show that the data are consistent with the gravitationally-focused cross section for encounters increasing with increasing multiplicity. Consequently, triple stars, and even higher-order multiples, could be more important than previously realized for a number of astrophysical phenomena, including the formation and destruction of compact binaries and various types of stellar exotica, and the dynamical evolution of star clusters.


title: Investigating the relationship between AGN activity and stellar mass in zCOSMOS galaxies at 0<z<1 using emission line diagnostic diagrams

abstract: We investigate the link between AGN activity, star-formation and stellar mass of the host galaxy at 0<z<1, looking for spectroscopic traces of AGN and aging of the host. This work provides an extension of the existing studies at z<0.1 and contributes to shed light on galaxy evolution at intermediate redshifts. We used the zCOSMOS 20k data to create a sample of galaxies at z<1. We divided the sample in several mass-redshift bins to obtain stacked galaxy spectra with an improved S/N. We exploited emission-line diagnostic diagrams to separate AGN from star-forming galaxies. We found indication of a role for the total galaxy stellar mass in leading galaxy classification. Stacked spectra show AGN signatures above the log M_*/M_sun>10.2 threshold. Moreover, the stellar populations of AGN hosts are found to be older with respect to star-forming and composites galaxies. This could be due to the the tendency of AGN to reside in massive hosts. The dependence of the AGN classification on the stellar mass is in agreement with what has been already found in previous studies. It is consistent with, together with the evidence of older stellar populations inhabiting the AGN-like galaxies, the downsizing scenario. In particular, our evidence points to an evolutionary scenario where the AGN-feedback is capable of quenching the star formation in the most massive galaxies. Therefore, the AGN-feedback is the best candidate for initiating the passive evolutionary phase of galaxies.


title: Gamma-ray diagnostics of Type Ia supernovae: Predictions of observables from three-dimensional modeling

abstract: Besides the fact that the gamma-ray emission due to radioactive decays is responsible for powering the light curves of Type Ia supernovae (SNe Ia), gamma rays themselves are of particular interest as a diagnostic tool because they provide a direct way to obtain deeper insights into the nucleosynthesis and the kinematics of these explosion events. Focusing on two of the most broadly discussed SN Ia progenitor scenarios - a delayed detonation in a Chandrasekhar-mass white dwarf (WD) and a violent merger of two WDs - we use three-dimensional explosion models and perform radiative transfer simulations to obtain synthetic gamma-ray spectra. Both chosen models produce the same mass of 56Ni and have similar optical properties that are in reasonable agreement with the recently observed supernova SN 2011fe. In contrast to the optical regime, the gamma-ray emission of our two chosen models proves to be rather different. The almost direct connection of the emission of gamma rays to fundamental physical processes occuring in SNe Ia permits additional constraints concerning several explosion model properties that are not easily accessible within other wavelength ranges. Proposed future MeV missions such as GRIPS will resolve all spectral details only for nearby SNe Ia, but hardness ratio and light curve measurements still allow for a distinction of the two different models at 10 and 16 Mpc for an exposure time of 10^6 s, respectively. The possibility to detect the strongest line features up to the Virgo distance will offer the opportunity to build up a first sample of SN Ia detections in the gamma-ray energy range and underlines the importance of future space observatories for MeV gamma rays.


title: Single-particle and many-body analyses of a quasiperiodic integrable system after a quench

abstract: In general, isolated integrable quantum systems have been found to relax to an apparent equilibrium state in which the expectation values of few-body observables are described by the generalized Gibbs ensemble. However, recent work has shown that relaxation to such a generalized statistical ensemble can be precluded by localization in a quasiperiodic lattice system. Here we undertake complementary single-particle and many-body analyses of noninteracting spinless fermions and hard-core bosons within the Aubry-Andre model to gain insight into this phenomenon. Our investigations span both the localized and delocalized regimes of the quasiperiodic system, as well as the critical point separating the two. Considering first the case of spinless fermions, we study the dynamics of the momentum distribution function and characterize the effects of real-space and momentum-space localization on the relevant single-particle wave functions and correlation functions. We show that although some observables do not relax in the delocalized and localized regimes, the observables that do relax in these regimes do so in a manner consistent with a recently proposed Gaussian equilibration scenario, whereas relaxation at the critical point has a more exotic character. We also construct various statistical ensembles from the many-body eigenstates of the fermionic and bosonic Hamiltonians and study the effect of localization on their properties.


title: Real-Space Tailoring of the Electron-Phonon Coupling in Ultra-Clean Nanotube Mechanical Resonators

abstract: The coupling between electrons and phonons is at the heart of many fundamental phenomena in physics. In nature, this coupling is generally predetermined for both, molecules and solids. Tremendous advances have been made in controlling electrons and phonons in engineered nanosystems, yet, control over the coupling between these degrees of freedom is still widely lacking. Here, we use a new generation of carbon nanotube devices with movable ultra-clean single and double quantum dots embedded in a mechanical resonator to demonstrate the tailoring of the interactions between electronic and mechanical degrees of freedom on the nanoscale. Exploiting this tunable coupling, we directly image the spatial structure of phonon modes and probe their parity in real space. Most interestingly, we demonstrate selective coupling between individual mechanical modes and internal electronic degrees of freedom. Our results open new vistas for engineering bulk quantum phenomena in a controlled nanoscale setting and offer important new tools for entangling the electronic and mechanical degrees of freedom at the quantum level.


title: Direct Ultraviolet Imaging and Spectroscopy of Betelgeuse

abstract: Direct images of Betelgeuse were obtained over a span of 4 years with the Faint Object Camera on the Hubble Space Telescope. These images reveal the extended ultraviolet continuum emission (about 2 times the optical diameter), the varying overall ultraviolet flux levels and a pattern of bright surface continuum features that change in position and appearance over several months or less. Concurrent photometry and radial velocity measures support the model of a pulsating star, first discovered in the ultraviolet from IUE. Spatially resolved HST spectroscopy reveals a larger extention in chromospheric emissions of Mg II as well as the rotation of the supergiant. Changing localized subsonic flows occur in the low chromosphere that can cover a substantial fraction of the stellar disk and may initiate the mass outflow.


title: Progress in the NNPDF global analysis

abstract: We report on recent progress in the NNPDF framework of global PDF analysis. The NNPDF2.3 set is the first and only available PDF set with includes LHC data. A recent benchmark comparison of NNPDF2.3 and all other modern NNLO PDF sets with LHC data was performed. We have also studied theoretical uncertainties due to heavy quark renormalization schemes, higher twists and deuterium corrections in PDFs. Finally, we report on the release of positive definite PDF sets, based on the NNPDF2.3 analysis, specially suited for use in Monte Carlo event generators.


title: Non-universal conductance in quasi-helical quantum wires

abstract: In a quantum wire with ideal helical modes, the conductance is quantized in units of e^2/h, provided the wire is connected to Fermi liquid leads. We show that this universality does not hold in partially gapped quasi-helical systems such as Rashba nanowires subject to a magnetic field, which are commonly used to mimic helical Luttinger liquids. Instead, their conductance takes a non-universal value that depends on the interactions in the wire, even in the presence of Fermi liquid leads. The non-universal conductance is rooted in a non-trivial mixing of spin and charge degrees of freedom, which in turn defines a non-helical low-energy Hamiltonian.


title: New Constraints on General Slepton Flavor Mixing

abstract: We explore the phenomenological implications on charged lepton flavor violating (LFV) processes from slepton flavor mixing within the Minimal Supersymmetric Standard Model. We work under the model-independent hypothesis of general flavor mixing in the slepton sector, being parametrized by a complete set of dimensionless delta^AB_ij (A,B = L,R; i,j = 1, 2, 3) parameters. The present upper bounds on the most relevant LFV processes, together with the requirement of compatibility in the choice of the MSSM parameters with the recent LHC and (g-2) data, lead to updated constraints on all slepton flavor mixing parameters. A comparative discussion of the most effective LFV processes to constrain the various generation mixings is included.


title: The Intriguing Structure of Non-geometric Frames in String Theory

abstract: Non-geometric frames in string theory are related to the geometric ones by certain local O(D,D) transformations, the so-called $\beta$-transforms. For each such transformation, we show that there exists both a natural field redefinition of the metric and the Kalb-Ramond two-form as well as an associated Lie algebroid. We furthermore prove that the all-order low-energy effective action of the superstring, written in terms of the redefined fields, can be expressed through differential-geometric objects of the corresponding Lie algebroid. Thus, the latter provides a natural framework for effective superstring actions in non-geometric frames. Relations of this new formalism to double field theory and to the description of non-geometric backgrounds such as T-folds are discussed as well.


title: Inflationary paradigm in trouble after Planck2013

abstract: Recent results from the Planck satellite combined with earlier observations from WMAP, ACT, SPT and other experiments eliminate a wide spectrum of more complex inflationary models and favor models with a single scalar field, as reported by the Planck Collaboration. More important, though, is that all the simplest inflaton models are disfavored statistically relative to those with plateau-like potentials. We discuss how a restriction to plateau-like models has three independent serious drawbacks: it exacerbates both the initial conditions problem and the multiverse-unpredictability problem and it creates a new difficulty that we call the inflationary "unlikeliness problem." Finally, we comment on problems reconciling inflation with a standard model Higgs, as suggested by recent LHC results. In sum, we find that recent experimental data disfavors all the best-motivated inflationary scenarios and introduces new, serious difficulties that cut to the core of the inflationary paradigm. Forthcoming searches for B-modes, non-Gaussianity and new particles should be decisive.