title: Coupled cell networks and their hidden symmetries

abstract: Dynamical systems with a coupled cell network structure can display synchronous solutions, spectral degeneracies and anomalous bifurcation behavior. We explain these phenomena here for homogeneous networks, by showing that every homogeneous network dynamical system admits a semigroup of hidden symmetries. The synchronous solutions lie in the symmetry spaces of this semigroup and the spectral degeneracies of the network are determined by its indecomposable representations. Under a condition on the semigroup representation, we prove that a one-parameter synchrony breaking steady state bifurcation in a coupled cell network must generically occur along an absolutely indecomposable subrepresentation. We conclude with a classification of generic one-parameter bifurcations in monoid networks with two or three cells.


title: New graded methods in the homological algebra of semisimple algebraic groups

abstract: Let $G$ be a semisimple algebraic group over an algebraically closed field $k$ of positive characteristic $p$. Under some restrictions on the size of $p$, the present paper establishes new results on the $G$-module structure of $\Ext^\bullet_{G_1}(V,W)$ when $V,W$ belong to several important classes of rational $G$-modules, and $G_1$ denotes the first Frobenius kernel of $G$. For example, it is proved that, if $L,L'$ are ($p$-regular) irreducible $G_1$-modules, then $\Ext^n_{G_1}(L,L')^{[-1]}$ has a good filtration with computable multiplicities. This and many other results depend on the entirely new technique of using methods of what we call forced gradings in the representation theory of $G$, as developed by the authors in recent papers, and extended here. In addition to providing proofs, these methods lead effectively to a new conceptual framework for the study of rational $G$-modules, and, in this context, to the introduction of a new class of graded finite dimensional algebras, which we call Q-Koszul algebras. These algebras are similar to Koszul algebras, but are quasi-hereditary, rather than semisimple, in grade 0.


title: Existence of $q$-Analogs of Steiner Systems

abstract: Let $\F_q^n$ be a vector space of dimension $n$ over the finite field $\F_q$. A $q$-analog of a Steiner system (briefly, a $q$-Steiner system), denoted $S_q[t,k,n]$, is a set $S$ of $k$-dimensional subspaces of $\F_q^n$ such that each $t$-dimensional subspace of $\F_q^n$ is contained in exactly one element of $S$. Presently, $q$-Steiner systems are known only for $t=1$, and in the trivial cases $t = k$ and $k = n$. Invthis paper, the first nontrivial $q$-Steiner systems with $t >= 2$ are constructed. Specifically, several nonisomorphic $q$-Steiner systems $S_2[2,3,13]$ are found by requiring that their automorphism groups contain the normalizer of a Singer subgroup of $\GL(13,2)$. This approach leads to an instance of the exact cover problem, which turns out to have many solutions.


title: Modeling the Propagation, Breaking and Drift of Ocean Surface Wave

abstract: A new model other than the classical ones given by Airy, Stokes and Gerstner for the ocean surface wave is constructed. It leads to new understandings for the wave mechanisms: (1) A wave with bigger amplitude or smaller steepness travels faster; (2) The wave breaks when the front angle is bigger than 46.3 degree; (3) The magnitude of the wave drift should be smaller than that of the known Stokes drift.


title: Effect of Metallicity on the Evolution of the Habitable Zone from the Pre-Main Sequence to the Asymptotic Giant Branch and the Search for Life

abstract: During the course of stellar evolution, the location and width of the habitable zone changes as the luminosity and radius of the star evolves. The duration of habitability for a planet located at a given distance from a star is greatly affected by the characteristics of the host star. A quantification of these effects can be used observationally in the search for life around nearby stars. The longer the duration of habitability, the more likely it is that life has evolved. The preparation of observational techniques aimed at detecting life would benefit from the scientific requirements deduced from the evolution of the habitable zone. We present a study of the evolution of the habitable zone around stars of 1.0, 1.5, and 2.0 M$_{\odot}$ for metallicities ranging from Z=0.0001 to Z=0.070. We also consider the evolution of the habitable zone from the pre-main sequence until the asymptotic giant branch is reached. We find that metallicity strongly affects the duration of the habitable zone for a planet as well as the distance from the host star where the duration is maximized. For a 1.0 M$_{\odot}$ star with near Solar metallicity, Z=0.017, the duration of the habitable zone is $>$10 Gyr at distances 1.2 to 2.0 AU from the star, whereas the duration is $>$20 Gyr for high metallicity stars (Z=0.070) at distances of 0.7 to 1.8 AU, and $\sim$4 Gyr at distances of 1.8 to 3.3 AU for low metallicity stars (Z=0.0001). Corresponding results have been obtained for stars of 1.5 and 2.0 solar masses.


title: Higher-Order Compositional Modeling of Three-phase Flow in 3D Fractured Porous Media Using Cross-flow Equilibrium Approach

abstract: Numerical simulation of multiphase compositional flow in fractured porous media, when all the species can transfer between the phases, is a real challenge. Despite the broad applications in hydrocarbon reservoir engineering and hydrology, a compositional numerical simulator for three-phase flow in fractured media has not appeared in the literature, to the best of our knowledge. In this work, we present a three-phase fully compositional simulator for fractured media, based on higher-order finite element methods. To achieve computational efficiency, we invoke the cross-flow equilibrium (CFE) concept between discrete fractures and a small neighborhood in the matrix blocks. We adopt the mixed hybrid finite element (MHFE) method to approximate convective Darcy fluxes and the pressure equation. This approach is the most natural choice for flow in fractured media. The mass balance equations are discretized by the discontinuous Galerkin (DG) method, which is perhaps the most efficient approach to capture physical discontinuities in phase properties at the matrix-fracture interfaces and at phase boundaries. In this work, we account for gravity and Fickian diffusion. The modeling of capillary effects is discussed in a separate paper. We present the mathematical framework, using the implicit-pressure-explicit-composition (IMPEC) scheme, which facilitates rigorous thermodynamic stability analyses and the computation of phase behavior effects to account for transfer of species between the phases. A deceptively simple CFL condition is implemented to improve numerical stability and accuracy. We provide six numerical examples at both small and larger scales and in two and three dimensions, to demonstrate powerful features of the formulation.


title: Scalar Field Theories On The World Sheet: Cutoff Independent Treatment

abstract: Following earlier work on the same topic, we consider once more scalar field theories on the world sheet parametrized by the light cone coordinates. For most of the way, we use the same approach as in the previous work, but there is an important new development. To avoid the light cone singularity at p^{+}=0, one world sheet coordinate had to be discretized, introducing a cutoff into the model.In the earlier work, this cutoff could not be removed, making the model unreliable. In the present article, we show that, by a careful choice of the mass counter term, both the infrared singularity at p^{+}=0 and the ultraviolet mass divergences can be simultaneously eliminated. We therefore finally have a cutoff independent model on a continuously parametrized world sheet. We study this model in the mean field approximation, and as before, we find solitonic solutions. Quantizing the solitonic collective coordinates gives rise to a string like model. However, in contrast to the standard string model, the trajectories here are not in general linear but curved.


title: Dimension Independent Matrix Square using MapReduce

abstract: We compute the singular values of an $m \times n$ sparse matrix $A$ in a distributed setting, without communication dependence on $m$, which is useful for very large $m$. In particular, we give a simple nonadaptive sampling scheme where the singular values of $A$ are estimated within relative error with constant probability. Our proven bounds focus on the MapReduce framework, which has become the de facto tool for handling such large matrices that cannot be stored or even streamed through a single machine. On the way, we give a general method to compute $A^TA$. We preserve singular values of $A^TA$ with $\epsilon$ relative error with shuffle size $O(n^2/\epsilon^2)$ and reduce-key complexity $O(n/\epsilon^2)$. We further show that if only specific entries of $A^TA$ are required and $A$ has nonnegative entries, then we can reduce the shuffle size to $O(n \log(n) / s)$ and reduce-key complexity to $O(\log(n)/s)$, where $s$ is the minimum cosine similarity for the entries being estimated. All of our bounds are independent of $m$, the larger dimension. We provide open-source implementations in Spark and Scalding, along with experiments in an industrial setting.


title: Integrability cases for the anharmonic oscillator equation

abstract: Using N. Euler's theorem on the integrability of the general anharmonic oscillator equation \cite{12}, we present three distinct classes of general solutions of the highly nonlinear second order ordinary differential equation $\frac{d^{2}x}{dt^{2}}+f_{1}\left(t\right) \frac{dx}{dt}+f_{2}\left(t\right) x+f_{3}\left(t\right) x^{n}=0$. The first exact solution is obtained from a particular solution of the point transformed equation $d^{2}X/dT^{2}+X^{n}\left(T\right) =0$, $n\notin \left\{-3,-1,0,1\right\} $, which is equivalent to the anharmonic oscillator equation if the coefficients $f_{i}(t)$, $i=1,2,3$ satisfy an integrability condition. The integrability condition can be formulated as a Riccati equation for $f_{1}(t)$ and $\frac{1}{f_{3}(t)}\frac{df_{3}}{dt}$ respectively. By reducing the integrability condition to a Bernoulli type equation, two exact classes of solutions of the anharmonic oscillator equation are obtained.


title: Orbital control of noncollinear magnetic order in nickelate heterostructures

abstract: We have used resonant x-ray diffraction to develop a detailed description of antiferromagnetic ordering in epitaxial superlattices based on two-unit-cell thick layers of the strongly correlated metal LaNiO3. We also report reference experiments on thin films of PrNiO3 and NdNiO3. The resulting data indicate a spiral state whose polarization plane can be controlled by adjusting the Ni d-orbital occupation via two independent mechanisms: epitaxial strain and quantum confinement of the valence electrons. The data are discussed in the light of recent theoretical predictions.


title: The Curious Radial Distributions of Horizontal Branch Stars in NGC 6441

abstract: NGC 6441 is one of the most massive and most metal-rich globular clusters in the galaxy, and is noted for an unusual extended horizontal branch which reaches past the instability strip. We find evidence that there are two different populations of stars within the heavily-populated red clump. Once a differential reddening correction is applied, a large but compact group of stars is found at the faint red end of the clump in the color magnitude diagram. Brighter, bluer stars in the clump are found to be more centrally concentrated within the cluster at very high level of significance. Curiously, the blue horizontal branch stars show a more complex distribution, and are not more centrally concentrated than the brighter red clump stars. The spatial distributions of clump stars is in agreement with the idea that the the brighter bluer part of the clump is a helium-enriched second generation. The blue horizontal branch stars may be showing evidence that they are being dynamically evaporated.


title: Disentangling flow and nonflow correlations via Bayesian unfolding of the event-by-event distributions of harmonic coefficients in ultrarelativistic heavy-ion collisions

abstract: The performance of the Bayesian unfolding method in extracting the event-by-event (EbyE) distributions of harmonic flow coefficients v_n is investigated using a toy model simulation, as well as simulations based on the HIJING and AMPT models. The unfolding method is shown to recover the input v_2-v_4 distributions for multiplicities similar to those observed in Pb+Pb collisions at the LHC. The effects of the nonflow are evaluated using HIJING simulation with and without a flow afterburner. The probability distribution of v_n resulting only from nonflow in HIJING is nearly a Gaussian and can be largely suppressed in the data-driven unfolding method used by the ATLAS Collaboration. The residual nonflow effects have no appreciable impact on the v_3 distributions, but are found to affect the tails of the v_2 and v_4 distributions; these effects manifest as a small simultaneous change in the mean and standard deviation of the $v_n$ distributions. For the AMPT model, which contains both flow fluctuations and nonflow effects, the reduced shape of the extracted v_n distributions is found to be independent of pT in the low pT region, similar to what is observed in the ATLAS data. The prospect of using the EbyE distribution of the harmonic spectrum aided by the unfolding technique as a general tool to study azimuthal correlations in high energy collisions is also discussed.


title: Exploring Double Field Theory

abstract: We present a flux formulation of Double Field Theory, in which geometric and non-geometric fluxes are dynamical and field-dependent. Gauge consistency imposes a set of quadratic constraints on the dynamical fluxes, which can be solved by truly double configurations. The constraints are related to generalized Bianchi Identities for (non-)geometric fluxes in the double space, sourced by (exotic) branes. Following previous constructions, we then obtain generalized connections, torsion and curvatures compatible with the consistency conditions. The strong constraint-violating terms needed to make contact with gauged supergravities containing duality orbits of non-geometric fluxes, systematically arise in this formulation.


title: Spin-orbit coupling induced Fulde-Ferrell-Larkin-Ovchinnikov-like Cooper pairing and skyrmion-like polarization textures in trapped optical lattices

abstract: We study the interplay between the Zeeman field and spin-orbit coupling (SOC) in harmonically trapped Fermi gases loaded into a two-dimensional single-band tight-binding optical lattice. Using the Bogoliubov-de Gennes theory, we find that the Zeeman field combined with a Rashba SOC gives rise to $(i)$ Fulde-Ferrell-like superfluidity and $(ii)$ skyrmion-like polarization textures near the edges of the system. We also discussed the effects of interaction, temperature, SOC anisotropy and Zeeman field anisotropy on the superfluid ground state and polarization textures.


title: The SL(2,R) totally constrained model: three quantization approaches

abstract: We provide a detailed comparison of the different approaches available for the quantization of a totally constrained system with a constraint algebra generating the non-compact $SL(2,\mathbb{R})$ group. In particular, we consider three schemes: the Refined Algebraic Quantization, the Master Constraint Programme and the Uniform Discretizations approach. For the latter, we provide a quantum description where we identify semiclassical sectors of the kinematical Hilbert space. We study the quantum dynamics of the system in order to show that it is compatible with the classical continuum evolution. Among these quantization approaches, the Uniform Discretizations provides the simpler description in agreement with the classical theory of this particular model, and it is expected to give new insights about the quantum dynamics of more realistic totally constrained models such as canonical general relativity.


title: In situ comparison of the critical current density in $Y Ba_2 Cu_3 O_{7-\delta}$ thin films measured by the screening technique under two criteria

abstract: In this investigation we report the determination of the critical current density $J_c$ flowing in a $\mathrm{Y}\mathrm{Ba}_2\mathrm{Cu}_3\mathrm{O}_{7-\delta}$ superconducting thin film. Estimation of $J_c$ was carried out by an inductive technique, the so-called screening technique, in which both the imaginary part of the fundamental harmonic of susceptibility $\chi''_1$ and third harmonic voltage $V_3$ criteria were considered for the determination of the full penetration field. In order to verify the reliability of this technique under two criteria, we investigated the homogeneity of $J_c$ via transport measurements conducted on four microbridges patterned in the same film. Based on the transport method we found that both techniques yield similar results in the determination of $J_c$ for temperatures close to critical temperature $T_c$. However, at temperatures relatively far from $T_c$, the $V_3$ criterion showed a better agreement with the transport data. Furthermore, using both criteria, we propose a methodology to estimate in situ the coil factor associated with the $V_3$ criterion, avoiding in this way the need of implementing an additional technique.


title: A Spatial Characterization of the Sagittarius Dwarf Galaxy Tidal Tails

abstract: We measure the spatial density of F turnoff stars in the Sagittarius dwarf tidal stream, from Sloan Digital Sky Survey (SDSS) data, using statistical photometric parallax. We find a set of continuous, consistent parameters that describe the leading Sgr stream's position, direction, and width for 15 stripes in the North Galactic Cap, and 3 stripes in the South Galactic Cap. We produce a catalog of stars that has the density characteristics of the dominant leading Sgr tidal stream that can be compared with simulations. We find that the width of the leading (North) tidal tail is consistent with recent triaxial and axisymmetric halo model simulations. The density along the stream is roughly consistent common disruption models in the North, but possibly not in the South. We explore the possibility that one or more of the dominant Sgr streams has been mis-identified, and that one or more of the `bifurcated' pieces is the real Sgr tidal tail, but we do not reach definite conclusions. If two dwarf progenitors are assumed, fits to the planes of the dominant and `bifurcated' tidal tails favor an association of the Sgr dwarf spheroidal galaxy with the dominant Southern stream and the `bifurcated' stream in the North. In the North Galactic Cap, the best fit Hernquist density profile for the smooth component of the stellar halo is oblate, with a flattening parameter q = 0.53, and a scale length of r_0 = 6.73. The Southern data for both the tidal debris and the smooth component of the stellar halo do not match the model fits to the North, although the stellar halo is still overwhelmingly oblate. Finally, we verify that we can reproduce the parameter fits on the asynchronous Milkyway@home volunteer computing platform.


title: Invariant Gibbs measure evolution for the radial nonlinear wave equation on the 3D ball

abstract: We establish new global well-posedness results along Gibbs measure evolution for the nonlinear wave equation posed on the unit ball in $\mathbb{R}^3$ via two distinct approaches. The first approach invokes the method established in the works \cite{B1,B2,B3} based on a contraction-mapping principle and applies to a certain range of nonlinearities. The second approach allows to cover the full range of nonlinearities admissible to treatment by Gibbs measure, working instead with a delicate analysis of convergence properties of solutions. The method of the second approach is quite general, and we shall give applications to the nonlinear Schr\"odinger equation on the unit ball in subsequent works \cite{BB1,BB2}.


title: Earth Occultation Imaging of the Low Energy Gamma-Ray Sky with GBM

abstract: The Earth Occultation Technique (EOT) has been applied to Fermi's Gamma-ray Burst Monitor (GBM) to perform all-sky monitoring for a predetermined catalog of hard X-ray/soft gamma-ray sources. In order to search for sources not in the catalog, thus completing the catalog and reducing a source of systematic error in EOT, an imaging method has been developed -- Imaging with a Differential filter using the Earth Occultation Method (IDEOM). IDEOM is a tomographic imaging method that takes advantage of the orbital precession of the Fermi satellite. Using IDEOM, all-sky reconstructions have been generated for ~sim 4 years of GBM data in the 12-50 keV, 50-100 keV and 100-300 keV energy bands in search of sources otherwise unmodeled by the GBM occultation analysis. IDEOM analysis resulted in the detection of 57 sources in the 12-50 keV energy band, 23 sources in the 50-100 keV energy band, and 7 sources in the 100-300 keV energy band. Seventeen sources were not present in the original GBM-EOT catalog and have now been added. We also present the first joined averaged spectra for four persistent sources detected by GBM using EOT and by the Large Area Telescope (LAT) on Fermi: NGC 1275, 3C 273, Cen A, and the Crab.


title: The partonic structure of the nucleon from generalized transverse momentum-dependent parton distributions

abstract: We discuss the general formalism for the calculation in light-front quark models of the fully unintegrated, off-diagonal quark-quark correlator of the nucleon, parametrized in terms of generalized transverse momentum dependent parton distributions (GTMDs). By taking specific limits or projections, these GTMDs yield various transverse-momentum dependent and generalized parton distributions, thus providing a unified framework to simultaneously model different observables. The corresponding distributions in impact-parameter space are the Wigner functions which provide multidimensional images of the quark distributions in phase space. We present results within a light-front constituent quark model, discussing some of the complementary aspects encoded in the different distributions and the relation to the quark orbital angular momentum of the proton.


title: Anomalous magnetic moment of an electron near a dispersive surface

abstract: Changes in the magnetic moment of an electron near a dielectric or conducting surface due to boundary-dependent radiative corrections are investigated. The electromagnetic field is quantized by normal mode expansion for a non-dispersive dielectric and an undamped plasma, but the electron is described by the Dirac equation without matter-field quantization. Perturbation theory in the Dirac equation leads to a general formula for the magnetic moment shift in terms of integrals over products of electromagnetic mode functions. In each of the models investigated contour integration techniques over a complex wave vector can be used to derive a general formula featuring just integrals over transverse electric and transverse magnetic reflection coefficients of the surface. Analysis of the magnetic moment shift for several classes of materials yields markedly different results from the previously considered simplistic 'perfect reflector' model, due to the inclusion of physically important features of the electromagnetic response of the surface such as evanescent field modes and dispersion in the material. For a general dispersive dielectric surface, the magnetic moment shift of a nearby electron can exceed the previous prediction of the perfect-reflector model by several orders of magnitude.


title: Holographic R-symmetric flows and the \tau_U conjecture

abstract: We discuss the holographic counterpart of a recent conjecture regarding R-symmetric RG-flows in four-dimensional supersymmetric field theories. In such theories, a quantity \tau_U can be defined at the fixed points which was conjectured in arXiv:1109.3279 to be larger in the UV than in the IR, \tau_U^{UV} > \tau_U^{IR}. We analyze this conjecture from a dual supergravity perspective: using some general properties of domain wall solutions dual to R-symmetric RG flows, we define a bulk quantity which interpolates between the correct \tau_U at the UV and IR fixed points, and study its monotonicity properties in a class of examples. We find a monotonic behavior for theories flowing to an interacting IR fixed point. For gapped theories, the monotonicity is still valid up to a finite value of the radial coordinate where the function vanishes, reflecting the gap scale of the field theory.


title: Implications of the AMS-02 positron fraction in cosmic rays

abstract: The AMS-02 collaboration has just released its first result of the cosmic positron fraction $e^+/(e^-+e^+)$ with high precision up to $\sim 350$ GeV. The AMS-02 result shows the same trend with the previous PAMELA result, which requires extra electron/positron sources on top of the conventional cosmic ray background, either from astrophysical sources or from dark matter annihilation/decay. In this paper we try to figure out the nature of the extra sources by fitting to the AMS-02 $e^+/(e^-+e^+)$ data, as well as the electron and proton spectra by PAMELA and the $(e^-+e^+)$ spectrum by Fermi and HESS. We adopt the GALPROP package to calculate the propagation of the Galactic cosmic rays and the Markov Chain Monte Carlo sampler to do the fit. We find that the AMS-02 data have implied essential difference from the PAMELA data. There is {\rm tension} between the AMS-02 $e^+/(e^-+e^+)$ data and the Fermi/HESS $(e^-+e^+)$ spectrum, that the AMS-02 data requires less contribution from the extra sources than Fermi/HESS. Then we redo the fit without including the Fermi/HESS data. In this case both the pulsars and dark matter annihilation/decay can explain the AMS-02 data. The pulsar scenario has a soft inject spectrum with the power-law index $\sim 2$, while the dark matter scenario needs $\tau^+\tau^-$ final state with mass $\sim 600$ GeV and a boost factor $\sim 200$.


title: Recent Result of the AMS-02 Experiment and Decaying Gravitino Dark Matter in Gauge Mediation

abstract: The AMS-02 collaboration has recently reported an excess of cosmic-ray positron fractions, which is consistent with previous results at PAMELA and Fermi-LAT experiments. The result indicates the existence of new physics phenomena to provide the origin of the energetic cosmic-ray positron. We pursue the possibility that the enhancement of the positron fraction is due to the decay of gravitino dark matter. We discuss that such a scenario viably fits into the models in which the soft SUSY breaking parameters are dominantly from gauge-mediation mechanism with superparticle masses of around 10 TeV. Our scenario is compatible with ~126 GeV Higgs boson, negative searches for SUSY particles, and non-observation of anomalous FCNC processes. We also point out that the scenario will be tested in near future by measuring the electric dipole moment of the electron and the lepton flavor violating decay of the muon.


title: Determining the Nature of the Extended HI Structure Around LITTLE THINGS Dwarf Galaxy NGC 1569

abstract: This work presents an extended, neutral Hydrogen emission map around Magellanic-type dwarf irregular galaxy (dIm) NGC 1569. In the Spring of 2010, the Robert C. Byrd Green Bank Telescope (GBT) was used to map a 9 degree x 2 degree region in HI line emission that includes NGC 1569 and IC 342 as well as two other dwarf galaxies. The primary objective for these observations was to search for structures potentially connecting NGC 1569 with IC 342 group members in order to trace previous interactions and thus, provide an explanation for the starburst and peculiar kinematics prevalent in NGC 1569. A large, half-degree diameter HI cloud was detected that shares the same position and velocity as NGC 1569. Also, two long structures were discovered that are reminiscent of intergalactic filaments extending out in a v-shaped manner from NGC 1569 toward UGCA 92, a nearby dwarf galaxy. These filamentary structures extend for about 1.5 degrees, which is 77 kpc at NGC 1569. There is a continuous velocity succession with the 0.5 degree HI cloud, filaments, and main body of the galaxy. The 0.5 degree HI cloud and filamentary structures may be foreground Milky Way, but are suggestive as possible remnants of an interaction between NGC 1569 and UGCA 92. The data also show two tidal tails extending from UGCA 86 and IC 342, respectively. These structures may be part of a continuous HI bridge but more data are needed to determine if this is the case.


title: Testing the Effect of Hydrophilic and Hydrophobic Coatings on the Speed of a Ball through Water

abstract: Data is presented that confirms that hydrophobic coatings reduce friction between objects and water. The results show that the average time it took for the ball with the hydrophobic coating traveled at an average of about 6 inches per second. The ball with the hydrophilic coating traveled at a slower pace, moving at an average of about 5 inches per second and the ball without a coating traveled at an average of about 4.8 inches per second.


title: Colored HOMFLY polynomials as multiple sums over paths or standard Young tableaux

abstract: If a knot is represented by an m-strand braid, then HOMFLY polynomial in representation R is a sum over characters in all representations Q\in R^{\otimes m}. Coefficients in this sum are traces of products of quantum R-matrices along the braid, but these matrices act in the space of intertwiners, and their size is equal to the multiplicity M_{RQ} of Q in R^{\otimes m}. If R is the fundamental representation R=[1], then M_{[1] Q} is equal to the number of paths in representation graph, which lead from the fundamental vertex [1] to the vertex Q. In the basis of paths the entries of the m-1 relevant R-matrices are associated with the pairs of paths and are non-vanishing only when the two paths either coincide or differ by at most one vertex; as a corollary R-matrices consist of just 1x1 and 2x2 blocks, given by very simple explicit expressions. If cabling method is used to color the knot with the representation R, then the braid has m|R| strands, Q have a bigger size m|R|, but only paths passing through the vertex R are included into the sums over paths which define the products and traces of the m|R|-1 relevant R-matrices. In the case of SU(N) this path sum formula can also be interpreted as a multiple sum over the standard Young tableaux. By now it provides the most effective way for evaluation of the colored HOMFLY polynomials, conventional or extended, for arbitrary braids.


title: AA Tau's sudden and long-lasting deepening: enhanced extinction by its circumstellar disk

abstract: AA Tau has been monitored for more than 20 years since 1987, exhibiting a nearly constant brightness level of V=12.5 mag. We report here that in 2011 it suddenly faded away, becoming 2 magnitudes fainter in the V-band, and has remained in this deep state since then. We report new optical and near-IR photometry and spectroscopy obtained during the fading event. The system appears much redder and fainter than it was in the bright state. Also, the 8.2d photometric period continuously observed for more than 20 years is not seen during most of the deep state. The analysis of the system's brightness and colors suggests that the visual extinction on the line of sight has increased by about 3-4 magnitudes in the deep state. At optical wavelengths, the system appears to be dominated by scattered light, probably originating from the upper surface layers of a highly inclined circumstellar disk. The profiles of the Balmer lines have significantly changed as well, with the disappearance of a central absorption component regularly observed in the bright state. We ascribe this change to the scattering of the system's spectrum by circumstellar dust. Noticeably, the mass accretion rate in the inner disk and onto the central star has not changed as the system faded away. We conclude that the deepening of the AA Tau system is due to a sudden increase of circumstellar dust extinction on the line of sight without concomitant change in the accretion rate. We suggest that the enhanced obscuration may be produced by a non-axisymmetric overdense region in the disk, located at a distance of 7.7 AU or more, that was recently brought on the line of sight by its keplerian motion around the central star.


title: Three techniques for obtaining algebraic circle packings

abstract: The main purpose of this article is to demonstrate three techniques for proving algebraicity statements about circle packings. We give proofs of three related theorems: (1) that every finite simple planar graph is the contact graph of a circle packing on the Riemann sphere, equivalently in the complex plane, all of whose tangency points, centers, and radii are algebraic, (2) that every flat conformal torus which admits a circle packing whose contact graph triangulates the torus has algebraic modulus, and (3) that if R is a compact Riemann surface of genus at least 2, having constant curvature -1, which admits a circle packing whose contact graph triangulates R, then R is isomorphic to the quotient of the hyperbolic plane by a subgroup of PSL_2(real algebraic numbers). The statement (1) is original, while (2) and (3) have been previously proved in the Ph.D. thesis of McCaughan. Our first proof technique is to apply Tarski's Theorem, a result from model theory, which says that if an elementary statement in the theory of real-closed fields is true over one real-closed field, then it is true over any real closed field. This technique works to prove (1) and (2). Our second proof technique is via an algebraicity result of Thurston on finite co-volume discrete subgroups of the orientation-preserving-isometry group of hyperbolic 3-space. This technique works to prove (1). Our first and second techniques had not previously been applied in this area. Our third and final technique is via a lemma in real algebraic geometry, and was previously used by McCaughan to prove (2) and (3). We show that in fact it may be used to prove (1) as well.


title: Transverse instability of plane wave soliton solutions of the Novikov-Veselov equation

abstract: The Novikov-Veselov (NV) equation is a dispersive (2+1)-dimensional nonlinear evolution equation that generalizes the (1+1)-dimensional Korteweg-deVries (KdV) equation. This paper considers the stability of plane wave soliton solutions of the NV equation to transverse perturbations. To investigate the behavior of the perturbations, a hybrid semi-implicit/spectral numerical scheme was developed, applicable to other nonlinear PDE systems. Numerical simulations of the evolution of transversely perturbed plane wave solutions are presented. In particular, it is established that plane wave soliton solutions are not stable for transverse perturbations.


title: On-chip quantum interference between silicon photon-pair sources

abstract: Large-scale integrated quantum photonic technologies will require the on-chip integration of identical photon sources with reconfigurable waveguide circuits. Relatively complex quantum circuits have already been demonstrated, but few studies acknowledge the pressing need to integrate photon sources and waveguide circuits together on-chip. A key step towards such large-scale quantum technologies is the integration of just two individual photon sources within a waveguide circuit, and the demonstration of high-visibility quantum interference between them. Here, we report a silicon-on-insulator device combining two four-wave mixing sources, in an interferometer with a reconfigurable phase shifter. We configure the device to create and manipulate two-colour (non-degenerate) or same-colour (degenerate), path-entangled or path-unentangled photon pairs. We observe up to 100.0+/-0.4% visibility quantum interference on-chip, and up to 95+/-4% off-chip. Our device removes the need for external photon sources, provides a path to increasing the complexity of quantum photonic circuits, and is a first step towards fully-integrated quantum technologies.


title: Lp : A Logic for Statistical Information

abstract: This extended abstract presents a logic, called Lp, that is capable of representing and reasoning with a wide variety of both qualitative and quantitative statistical information. The advantage of this logical formalism is that it offers a declarative representation of statistical knowledge; knowledge represented in this manner can be used for a variety of reasoning tasks. The logic differs from previous work in probability logics in that it uses a probability distribution over the domain of discourse, whereas most previous work (e.g., Nilsson [2], Scott et al. [3], Gaifinan [4], Fagin et al. [5]) has investigated the attachment of probabilities to the sentences of the logic (also, see Halpern [6] and Bacchus [7] for further discussion of the differences). The logic Lp possesses some further important features. First, Lp is a superset of first order logic, hence it can represent ordinary logical assertions. This means that Lp provides a mechanism for integrating statistical information and reasoning about uncertainty into systems based solely on logic. Second, Lp possesses transparent semantics, based on sets and probabilities of those sets. Hence, knowledge represented in Lp can be understood in terms of the simple primative concepts of sets and probabilities. And finally, the there is a sound proof theory that has wide coverage (the proof theory is complete for certain classes of models). The proof theory captures a sufficient range of valid inferences to subsume most previous probabilistic uncertainty reasoning systems. For example, the linear constraints like those generated by Nilsson's probabilistic entailment [2] can be generated by the proof theory, and the Bayesian inference underlying belief nets [8] can be performed. In addition, the proof theory integrates quantitative and qualitative reasoning as well as statistical and logical reasoning. In the next section we briefly examine previous work in probability logics, comparing it to Lp. Then we present some of the varieties of statistical information that Lp is capable of expressing. After this we present, briefly, the syntax, semantics, and proof theory of the logic. We conclude with a few examples of knowledge representation and reasoning in Lp, pointing out the advantages of the declarative representation offered by Lp. We close with a brief discussion of probabilities as degrees of belief, indicating how such probabilities can be generated from statistical knowledge encoded in Lp. The reader who is interested in a more complete treatment should consult Bacchus [7].


title: Map Learning with Indistinguishable Locations

abstract: Nearly all spatial reasoning problems involve uncertainty of one sort or another. Uncertainty arises due to the inaccuracies of sensors used in measuring distances and angles. We refer to this as directional uncertainty. Uncertainty also arises in combining spatial information when one location is mistakenly identified with another. We refer to this as recognition uncertainty. Most problems in constructing spatial representations (maps) for the purpose of navigation involve both directional and recognition uncertainty. In this paper, we show that a particular class of spatial reasoning problems involving the construction of representations of large-scale space can be solved efficiently even in the presence of directional and recognition uncertainty. We pay particular attention to the problems that arise due to recognition uncertainty.


title: Temporal Reasoning with Probabilities

abstract: In this paper we explore representations of temporal knowledge based upon the formalism of Causal Probabilistic Networks (CPNs). Two different ?continuous-time? representations are proposed. In the first, the CPN includes variables representing ?event-occurrence times?, possibly on different time scales, and variables representing the ?state? of the system at these times. In the second, the CPN describes the influences between random variables with values in () representing dates, i.e. time-points associated with the occurrence of relevant events. However, structuring a system of inter-related dates as a network where all links commit to a single specific notion of cause and effect is in general far from trivial and leads to severe difficulties. We claim that we should recognize explicitly different kinds of relation between dates, such as ?cause?, ?inhibition?, ?competition?, etc., and propose a method whereby these relations are coherently embedded in a CPN using additional auxiliary nodes corresponding to "instrumental" variables. Also discussed, though not covered in detail, is the topic concerning how the quantitative specifications to be inserted in a temporal CPN can be learned from specific data.


title: Now that I Have a Good Theory of Uncertainty, What Else Do I Need?

abstract: Rather than discussing the isolated merits of a nominative theory of uncertainty, this paper focuses on a class of problems, referred to as Dynamic Classification Problem (DCP), which requires the integration of many theories, including a prescriptive theory of uncertainty. We start by analyzing the Dynamic Classification Problem and by defining its induced requirements on a supporting (plausible) reasoning system. We provide a summary of the underlying theory (based on the semantics of many-valed logics) and illustrate the constraints imposed upon it to ensure the modularity and computational performance required by the applications. We describe the technologies used for knowledge engineering (such as object-based simulator to exercise requirements, and development tools to build the Knowledge Base and functionally validate it). We emphasize the difference between development environment and run-time system, describe the rule cross-compiler, and the real-time inference engine with meta-reasoning capabilities. Finally, we illustrate how our proposed technology satisfies the pop's requirements and analyze some of the lessons reamed from its applications to situation assessment problems for Pilot's Associate and Submarine Commander Associate.


title: Uncertainty and Incompleteness

abstract: Two major difficulties in using default logics are their intractability and the problem of selecting among multiple extensions. We propose an approach to these problems based on integrating nommonotonic reasoning with plausible reasoning based on triangular norms. A previously proposed system for reasoning with uncertainty (RUM) performs uncertain monotonic inferences on an acyclic graph. We have extended RUM to allow nommonotonic inferences and cycles within nonmonotonic rules. By restricting the size and complexity of the nommonotonic cycles we can still perform efficient inferences. Uncertainty measures provide a basis for deciding among multiple defaults. Different algorithms and heuristics for finding the optimal defaults are discussed.


title: BaRT: A Bayesian Reasoning Tool for Knowledge Based Systems

abstract: As the technology for building knowledge based systems has matured, important lessons have been learned about the relationship between the architecture of a system and the nature of the problems it is intended to solve. We are implementing a knowledge engineering tool called BART that is designed with these lessons in mind. BART is a Bayesian reasoning tool that makes belief networks and other probabilistic techniques available to knowledge engineers building classificatory problem solvers. BART has already been used to develop a decision aid for classifying ship images, and it is currently being used to manage uncertainty in systems concerned with analyzing intelligence reports. This paper discusses how state-of-the-art probabilistic methods fit naturally into a knowledge based approach to classificatory problem solving, and describes the current capabilities of BART.


title: Plan Recognition in Stories and in Life

abstract: Plan recognition does not work the same way in stories and in "real life" (people tend to jump to conclusions more in stories). We present a theory of this, for the particular case of how objects in stories (or in life) influence plan recognition decisions. We provide a Bayesian network formalization of a simple first-order theory of plans, and show how a particular network parameter seems to govern the difference between "life-like" and "story-like" response. We then show why this parameter would be influenced (in the desired way) by a model of speaker (or author) topic selection which assumes that facts in stories are typically "relevant".


title: An Empirical Evaluation of a Randomized Algorithm for Probabilistic Inference

abstract: In recent years, researchers in decision analysis and artificial intelligence (Al) have used Bayesian belief networks to build models of expert opinion. Using standard methods drawn from the theory of computational complexity, workers in the field have shown that the problem of probabilistic inference in belief networks is difficult and almost certainly intractable. K N ET, a software environment for constructing knowledge-based systems within the axiomatic framework of decision theory, contains a randomized approximation scheme for probabilistic inference. The algorithm can, in many circumstances, perform efficient approximate inference in large and richly interconnected models of medical diagnosis. Unlike previously described stochastic algorithms for probabilistic inference, the randomized approximation scheme computes a priori bounds on running time by analyzing the structure and contents of the belief network. In this article, we describe a randomized algorithm for probabilistic inference and analyze its performance mathematically. Then, we devote the major portion of the paper to a discussion of the algorithm's empirical behavior. The results indicate that the generation of good trials (that is, trials whose distribution closely matches the true distribution), rather than the computation of numerous mediocre trials, dominates the performance of stochastic simulation. Key words: probabilistic inference, belief networks, stochastic simulation, computational complexity theory, randomized algorithms.


title: Decision Making "Biases" and Support for Assumption-Based Higher-Order Reasoning

abstract: Unaided human decision making appears to systematically violate consistency constraints imposed by normative theories; these biases in turn appear to justify the application of formal decision-analytic models. It is argued that both claims are wrong. In particular, we will argue that the "confirmation bias" is premised on an overly narrow view of how conflicting evidence is and ought to be handled. Effective decision aiding should focus on supporting the contral processes by means of which knowledge is extended into novel situations and in which assumptions are adopted, utilized, and revised. The Non- Monotonic Probabilist represents initial work toward such an aid.


title: Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision and Variable Certainty Weights

abstract: In this paper an approach to automated deduction under uncertainty,based on possibilistic logic, is proposed ; for that purpose we deal with clauses weighted by a degree which is a lower bound of a necessity or a possibility measure, according to the nature of the uncertainty. Two resolution rules are used for coping with the different situations, and the refutation method can be generalized. Besides the lower bounds are allowed to be functions of variables involved in the clause, which gives hypothetical reasoning capabilities. The relation between our approach and the idea of minimizing abnormality is briefly discussed. In case where only lower bounds of necessity measures are involved, a semantics is proposed, in which the completeness of the extended resolution principle is proved. Moreover deduction from a partially inconsistent knowledge base can be managed in this approach and displays some form of non-monotonicity.


title: How Much More Probable is "Much More Probable"? Verbal Expressions for Probability Updates

abstract: Bayesian inference systems should be able to explain their reasoning to users, translating from numerical to natural language. Previous empirical work has investigated the correspondence between absolute probabilities and linguistic phrases. This study extends that work to the correspondence between changes in probabilities (updates) and relative probability phrases, such as "much more likely" or "a little less likely." Subjects selected such phrases to best describe numerical probability updates. We examined three hypotheses about the correspondence, and found the most descriptively accurate of these three to be that each such phrase corresponds to a fixed difference in probability (rather than fixed ratio of probabilities or of odds). The empirically derived phrase selection function uses eight phrases and achieved a 72% accuracy in correspondence with the subjects' actual usage.


title: Positive and Negative Explanations of Uncertain Reasoning in the Framework of Possibility Theory

abstract: This paper presents an approach for developing the explanation capabilities of rule-based expert systems managing imprecise and uncertain knowledge. The treatment of uncertainty takes place in the framework of possibility theory where the available information concerning the value of a logical or numerical variable is represented by a possibility distribution which restricts its more or less possible values. We first discuss different kinds of queries asking for explanations before focusing on the two following types : i) how, a particular possibility distribution is obtained (emphasizing the main reasons only) ; ii) why in a computed possibility distribution, a particular value has received a possibility degree which is so high, so low or so contrary to the expectation. The approach is based on the exploitation of equations in max-min algebra. This formalism includes the limit case of certain and precise information.


title: Interval Influence Diagrams

abstract: We describe a mechanism for performing probabilistic reasoning in influence diagrams using interval rather than point valued probabilities. We derive the procedures for node removal (corresponding to conditional expectation) and arc reversal (corresponding to Bayesian conditioning) in influence diagrams where lower bounds on probabilities are stored at each node. The resulting bounds for the transformed diagram are shown to be optimal within the class of constraints on probability distributions that can be expressed exclusively as lower bounds on the component probabilities of the diagram. Sequences of these operations can be performed to answer probabilistic queries with indeterminacies in the input and for performing sensitivity analysis on an influence diagram. The storage requirements and computational complexity of this approach are comparable to those for point-valued probabilistic inference mechanisms, making the approach attractive for performing sensitivity analysis and where probability information is not available. Limited empirical data on an implementation of the methodology are provided.


title: Weighing and Integrating Evidence for Stochastic Simulation in Bayesian Networks

abstract: Stochastic simulation approaches perform probabilistic inference in Bayesian networks by estimating the probability of an event based on the frequency that the event occurs in a set of simulation trials. This paper describes the evidence weighting mechanism, for augmenting the logic sampling stochastic simulation algorithm [Henrion, 1986]. Evidence weighting modifies the logic sampling algorithm by weighting each simulation trial by the likelihood of a network's evidence given the sampled state node values for that trial. We also describe an enhancement to the basic algorithm which uses the evidential integration technique [Chin and Cooper, 1987]. A comparison of the basic evidence weighting mechanism with the Markov blanket algorithm [Pearl, 1987], the logic sampling algorithm, and the evidence integration algorithm is presented. The comparison is aided by analyzing the performance of the algorithms in a simple example network.


title: d-Separation: From Theorems to Algorithms

abstract: An efficient algorithm is developed that identifies all independencies implied by the topology of a Bayesian network. Its correctness and maximality stems from the soundness and completeness of d-separation with respect to probability theory. The algorithm runs in time O (l E l) where E is the number of edges in the network.


title: The Effects of Perfect and Sample Information on Fuzzy Utilities in Decision-Making

abstract: In this paper, we first consider a Bayesian framework and model the "utility function" in terms of fuzzy random variables. On the basis of this model, we define the "prior (fuzzy) expected utility" associated with each action, and the corresponding "posterior (fuzzy) expected utility given sample information from a random experiment". The aim of this paper is to analyze how sample information can affect the expected utility. In this way, by using some fuzzy preference relations, we conclude that sample information allows a decision maker to increase the expected utility on the average. The upper bound on the value of the expected utility is when the decision maker has perfect information. Applications of this work to the field of artificial intelligence are presented through two examples.


title: Deciding Consistency of Databases Containing Defeasible and Strict Information

abstract: We propose a norm of consistency for a mixed set of defeasible and strict sentences, based on a probabilistic semantics. This norm establishes a clear distinction between knowledge bases depicting exceptions and those containing outright contradictions. We then define a notion of entailment based also on probabilistic considerations and provide a characterization of the relation between consistency and entailment. We derive necessary and sufficient conditions for consistency, and provide a simple decision procedure for testing consistency and deciding whether a sentence is entailed by a database. Finally, it is shown that if al1 sentences are Horn clauses, consistency and entailment can be tested in polynomial time.


title: The Relationship between Knowledge, Belief and Certainty

abstract: We consider the relation between knowledge and certainty, where a fact is known if it is true at all worlds an agent considers possible and is certain if it holds with probability 1. We identify certainty with probabilistic belief. We show that if we assume one fixed probability assignment, then the logic KD45, which has been identified as perhaps the most appropriate for belief, provides a complete axiomatization for reasoning about certainty. Just as an agent may believe a fact although phi is false, he may be certain that a fact phi, is true although phi is false. However, it is easy to see that an agent can have such false (probabilistic) beliefs only at a set of worlds of probability 0. If we restrict attention to structures where all worlds have positive probability, then S5 provides a complete axiomatization. If we consider a more general setting, where there might be a different probability assignment at each world, then by placing appropriate conditions on the support of the probability function (the set of worlds which have non-zero probability), we can capture many other well-known modal logics, such as T and S4. Finally, we consider which axioms characterize structures satisfying Miller's principle.


title: Heuristic Search as Evidential Reasoning

abstract: BPS, the Bayesian Problem Solver, applies probabilistic inference and decision-theoretic control to flexible, resource-constrained problem-solving. This paper focuses on the Bayesian inference mechanism in BPS, and contrasts it with those of traditional heuristic search techniques. By performing sound inference, BPS can outperform traditional techniques with significantly less computational effort. Empirical tests on the Eight Puzzle show that after only a few hundred node expansions, BPS makes better decisions than does the best existing algorithm after several million node expansions


title: The Compilation of Decision Models

abstract: We introduce and analyze the problem of the compilation of decision models from a decision-theoretic perspective. The techniques described allow us to evaluate various configurations of compiled knowledge given the nature of evidential relationships in a domain, the utilities associated with alternative actions, the costs of run-time delays, and the costs of memory. We describe procedures for selecting a subset of the total observations available to be incorporated into a compiled situation-action mapping, in the context of a binary decision with conditional independence of evidence. The methods allow us to incrementally select the best pieces of evidence to add to the set of compiled knowledge in an engineering setting. After presenting several approaches to compilation, we exercise one of the methods to provide insight into the relationship between the distribution over weights of evidence and the preferred degree of compilation.


title: A Tractable Inference Algorithm for Diagnosing Multiple Diseases

abstract: We examine a probabilistic model for the diagnosis of multiple diseases. In the model, diseases and findings are represented as binary variables. Also, diseases are marginally independent, features are conditionally independent given disease instances, and diseases interact to produce findings via a noisy OR-gate. An algorithm for computing the posterior probability of each disease, given a set of observed findings, called quickscore, is presented. The time complexity of the algorithm is O(nm-2m+), where n is the number of diseases, m+ is the number of positive findings and m- is the number of negative findings. Although the time complexity of quickscore i5 exponential in the number of positive findings, the algorithm is useful in practice because the number of observed positive findings is usually far less than the number of diseases under consideration. Performance results for quickscore applied to a probabilistic version of Quick Medical Reference (QMR) are provided.


title: Bounded Conditioning: Flexible Inference for Decisions under Scarce Resources

abstract: We introduce a graceful approach to probabilistic inference called bounded conditioning. Bounded conditioning monotonically refines the bounds on posterior probabilities in a belief network with computation, and converges on final probabilities of interest with the allocation of a complete resource fraction. The approach allows a reasoner to exchange arbitrary quantities of computational resource for incremental gains in inference quality. As such, bounded conditioning holds promise as a useful inference technique for reasoning under the general conditions of uncertain and varying reasoning resources. The algorithm solves a probabilistic bounding problem in complex belief networks by breaking the problem into a set of mutually exclusive, tractable subproblems and ordering their solution by the expected effect that each subproblem will have on the final answer. We introduce the algorithm, discuss its characterization, and present its performance on several belief networks, including a complex model for reasoning about problems in intensive-care medicine.


title: Hierarchical Evidence Accumulation in the Pseiki System and Experiments in Model-Driven Mobile Robot Navigation

abstract: In this paper, we will review the process of evidence accumulation in the PSEIKI system for expectation-driven interpretation of images of 3-D scenes. Expectations are presented to PSEIKI as a geometrical hierarchy of abstractions. PSEIKI's job is then to construct abstraction hierarchies in the perceived image taking cues from the abstraction hierarchies in the expectations. The Dempster-Shafer formalism is used for associating belief values with the different possible labels for the constructed abstractions in the perceived image. This system has been used successfully for autonomous navigation of a mobile robot in indoor environments.


title: A Decision-Theoretic Model for Using Scientific Data

abstract: Many Artificial Intelligence systems depend on the agent's updating its beliefs about the world on the basis of experience. Experiments constitute one type of experience, so scientific methodology offers a natural environment for examining the issues attendant to using this class of evidence. This paper presents a framework which structures the process of using scientific data from research reports for the purpose of making decisions, using decision analysis as the basis for the structure and using medical research as the general scientific domain. The structure extends the basic influence diagram for updating belief in an object domain parameter of interest by expanding the parameter into four parts: those of the patient, the population, the study sample, and the effective study sample. The structure uses biases to perform the transformation of one parameter into another, so that, for instance, selection biases, in concert with the population parameter, yield the study sample parameter. The influence diagram structure provides decision theoretic justification for practices of good clinical research such as randomized assignment and blindfolding of care providers. The model covers most research designs used in medicine: case-control studies, cohort studies, and controlled clinical trials, and provides an architecture to separate clearly between statistical knowledge and domain knowledge. The proposed general model can be the basis for clinical epidemiological advisory systems, when coupled with heuristic pruning of irrelevant biases; of statistical workstations, when the computational machinery for calculation of posterior distributions is added; and of meta-analytic reviews, when multiple studies may impact on a single population parameter.


title: When Should a Decision Maker Ignore the Advice of a Decision Aid?

abstract: This paper argues that the principal difference between decision aids and most other types of information systems is the greater reliance of decision aids on fallible algorithms--algorithms that sometimes generate incorrect advice. It is shown that interactive problem solving with a decision aid that is based on a fallible algorithm can easily result in aided performance which is poorer than unaided performance, even if the algorithm, by itself, performs significantly better than the unaided decision maker. This suggests that unless certain conditions are satisfied, using a decision aid as an aid is counterproductive. Some conditions under which a decision aid is best used as an aid are derived.


title: Inference Policies

abstract: It is suggested that an AI inference system should reflect an inference policy that is tailored to the domain of problems to which it is applied -- and furthermore that an inference policy need not conform to any general theory of rational inference or induction. We note, for instance, that Bayesian reasoning about the probabilistic characteristics of an inference domain may result in the specification of an nonBayesian procedure for reasoning within the inference domain. In this paper, the idea of an inference policy is explored in some detail. To support this exploration, the characteristics of some standard and nonstandard inference policies are examined.


title: Model-based Influence Diagrams for Machine Vision

abstract: We show an approach to automated control of machine vision systems based on incremental creation and evaluation of a particular family of influence diagrams that represent hypotheses of imagery interpretation and possible subsequent processing decisions. In our approach, model-based machine vision techniques are integrated with hierarchical Bayesian inference to provide a framework for representing and matching instances of objects and relationships in imagery and for accruing probabilities to rank order conflicting scene interpretations. We extend a result of Tatman and Shachter to show that the sequence of processing decisions derived from evaluating the diagrams at each stage is the same as the sequence that would have been derived by evaluating the final influence diagram that contains all random variables created during the run of the vision system.


title: Defeasible Decisions: What the Proposal is and isn't

abstract: In two recent papers, I have proposed a description of decision analysis that differs from the Bayesian picture painted by Savage, Jeffrey and other classic authors. Response to this view has been either overly enthusiastic or unduly pessimistic. In this paper I try to place the idea in its proper place, which must be somewhere in between. Looking at decision analysis as defeasible reasoning produces a framework in which planning and decision theory can be integrated, but work on the details has barely begun. It also produces a framework in which the meta-decision regress can be stopped in a reasonable way, but it does not allow us to ignore meta-level decisions. The heuristics for producing arguments that I have presented are only supposed to be suggestive; but they are not open to the egregious errors about which some have worried. And though the idea is familiar to those who have studied heuristic search, it is somewhat richer because the control of dialectic is more interesting than the deepening of search.


title: Experiments Using Belief Functions and Weights of Evidence incorporating Statistical Data and Expert Opinions

abstract: This paper presents some ideas and results of using uncertainty management methods in the presence of data in preference to other statistical and machine learning methods. A medical domain is used as a test-bed with data available from a large hospital database system which collects symptom and outcome information about patients. Data is often missing, of many variable types and sample sizes for particular outcomes is not large. Uncertainty management methods are useful for such domains and have the added advantage of allowing for expert modification of belief values originally obtained from data. Methodological considerations for using belief functions on statistical data are dealt with in some detail. Expert opinions are Incorporated at various levels of the project development and results are reported on an application to liver disease diagnosis. Recent results contrasting the use of weights of evidence and logistic regression on another medical domain are also presented.


title: Shootout-89: A Comparative Evaluation of Knowledge-based Systems that Forecast Severe Weather

abstract: During the summer of 1989, the Forecast Systems Laboratory of the National Oceanic and Atmospheric Administration sponsored an evaluation of artificial intelligence-based systems that forecast severe convective storms. The evaluation experiment, called Shootout-89, took place in Boulder, and focussed on storms over the northeastern Colorado foothills and plains (Moninger, et al., 1990). Six systems participated in Shootout-89. These included traditional expert systems, an analogy-based system, and a system developed using methods from the cognitive science/judgment analysis tradition. Each day of the exercise, the systems generated 2 to 9 hour forecasts of the probabilities of occurrence of: non significant weather, significant weather, and severe weather, in each of four regions in northeastern Colorado. A verification coordinator working at the Denver Weather Service Forecast Office gathered ground-truth data from a network of observers. Systems were evaluated on the basis of several measures of forecast skill, and on other metrics such as timeliness, ease of learning, and ease of use. Systems were generally easy to operate, however the various systems required substantially different levels of meteorological expertise on the part of their users--reflecting the various operational environments for which the systems had been designed. Systems varied in their statistical behavior, but on this difficult forecast problem, the systems generally showed a skill approximately equal to that of persistence forecasts and climatological (historical frequency) forecasts. The two systems that appeared best able to discriminate significant from non significant weather events were traditional expert systems. Both of these systems required the operator to make relatively sophisticated meteorological judgments. We are unable, based on only one summer's worth of data, to determine the extent to which the greater skill of the two systems was due to the content of their knowledge bases, or to the subjective judgments of the operator. A follow-on experiment, Shootout-91, is currently being planned. Interested potential participants are encouraged to contact the author at the address above.


title: Conditioning on Disjunctive Knowledge: Defaults and Probabilities

abstract: Many writers have observed that default logics appear to contain the "lottery paradox" of probability theory. This arises when a default "proof by contradiction" lets us conclude that a typical X is not a Y where Y is an unusual subclass of X. We show that there is a similar problem with default "proof by cases" and construct a setting where we might draw a different conclusion knowing a disjunction than we would knowing any particular disjunct. Though Reiter's original formalism is capable of representing this distinction, other approaches are not. To represent and reason about this case, default logicians must specify how a "typical" individual is selected. The problem is closely related to Simpson's paradox of probability theory. If we accept a simple probabilistic account of defaults based on the notion that one proposition may favour or increase belief in another, the "multiple extension problem" for both conjunctive and disjunctive knowledge vanishes.


title: Maximum Uncertainty Procedures for Interval-Valued Probability Distributions

abstract: Measures of uncertainty and divergence are introduced for interval-valued probability distributions and are shown to have desirable mathematical properties. A maximum uncertainty inference procedure for marginal interval distributions is presented. A technique for reconstruction of interval distributions from projections is developed based on this inference procedure


title: A Logical Interpretation of Dempster-Shafer Theory, with Application to Visual Recognition

abstract: We formulate Dempster Shafer Belief functions in terms of Propositional Logic using the implicit notion of provability underlying Dempster Shafer Theory. Given a set of propositional clauses, assigning weights to certain propositional literals enables the Belief functions to be explicitly computed using Network Reliability techniques. Also, the logical procedure corresponding to updating Belief functions using Dempster's Rule of Combination is shown. This analysis formalizes the implementation of Belief functions within an Assumption-based Truth Maintenance System (ATMS). We describe the extension of an ATMS-based visual recognition system, VICTORS, with this logical formulation of Dempster Shafer theory. Without Dempster Shafer theory, VICTORS computes all possible visual interpretations (i.e. all logical models) without determining the best interpretation(s). Incorporating Dempster Shafer theory enables optimal visual interpretations to be computed and a logical semantics to be maintained.


title: Strategies for Generating Micro Explanations for Bayesian Belief Networks

abstract: Bayesian Belief Networks have been largely overlooked by Expert Systems practitioners on the grounds that they do not correspond to the human inference mechanism. In this paper, we introduce an explanation mechanism designed to generate intuitive yet probabilistically sound explanations of inferences drawn by a Bayesian Belief Network. In particular, our mechanism accounts for the results obtained due to changes in the causal and the evidential support of a node.


title: Evidence Absorption and Propagation through Evidence Reversals

abstract: The arc reversal/node reduction approach to probabilistic inference is extended to include the case of instantiated evidence by an operation called "evidence reversal." This not only provides a technique for computing posterior joint distributions on general belief networks, but also provides insight into the methods of Pearl [1986b] and Lauritzen and Spiegelhalter [1988]. Although it is well understood that the latter two algorithms are closely related, in fact all three algorithms are identical whenever the belief network is a forest.


title: Simulation Approaches to General Probabilistic Inference on Belief Networks

abstract: A number of algorithms have been developed to solve probabilistic inference problems on belief networks. These algorithms can be divided into two main groups: exact techniques which exploit the conditional independence revealed when the graph structure is relatively sparse, and probabilistic sampling techniques which exploit the "conductance" of an embedded Markov chain when the conditional probabilities have non-extreme values. In this paper, we investigate a family of "forward" Monte Carlo sampling techniques similar to Logic Sampling [Henrion, 1988] which appear to perform well even in some multiply connected networks with extreme conditional probabilities, and thus would be generally applicable. We consider several enhancements which reduce the posterior variance using this approach and propose a framework and criteria for choosing when to use those enhancements.


title: Decision under Uncertainty

abstract: We derive axiomatically the probability function that should be used to make decisions given any form of underlying uncertainty.


title: Freedom: A Measure of Second-order Uncertainty for Intervalic Probability Schemes

abstract: This paper discusses a new measure that is adaptable to certain intervalic probability frameworks, possibility theory, and belief theory. As such, it has the potential for wide use in knowledge engineering, expert systems, and related problems in the human sciences. This measure (denoted here by F) has been introduced in Smithson (1988) and is more formally discussed in Smithson (1989a)o Here, I propose to outline the conceptual basis for F and compare its properties with other measures of second-order uncertainty. I will argue that F is an indicator of nonspecificity or alternatively, of freedom, as distinguished from either ambiguity or vagueness.


title: Assessment, Criticism and Improvement of Imprecise Subjective Probabilities for a Medical Expert System

abstract: Three paediatric cardiologists assessed nearly 1000 imprecise subjective conditional probabilities for a simple belief network representing congenital heart disease, and the quality of the assessments has been measured using prospective data on 200 babies. Quality has been assessed by a Brier scoring rule, which decomposes into terms measuring lack of discrimination and reliability. The results are displayed for each of 27 diseases and 24 questions, and generally the assessments are reliable although there was a tendency for the probabilities to be too extreme. The imprecision allows the judgements to be converted to implicit samples, and by combining with the observed data the probabilities naturally adapt with experience. This appears to be a practical procedure even for reasonably large expert systems.


title: Automated Construction of Sparse Bayesian Networks from Unstructured Probabilistic Models and Domain Information

abstract: An algorithm for automated construction of a sparse Bayesian network given an unstructured probabilistic model and causal domain information from an expert has been developed and implemented. The goal is to obtain a network that explicitly reveals as much information regarding conditional independence as possible. The network is built incrementally adding one node at a time. The expert's information and a greedy heuristic that tries to keep the number of arcs added at each step to a minimum are used to guide the search for the next node to add. The probabilistic model is a predicate that can answer queries about independencies in the domain. In practice the model can be implemented in various ways. For example, the model could be a statistical independence test operating on empirical data or a deductive prover operating on a set of independence statements about the domain.


title: Making Decisions with Belief Functions

abstract: A primary motivation for reasoning under uncertainty is to derive decisions in the face of inconclusive evidence. However, Shafer's theory of belief functions, which explicitly represents the underconstrained nature of many reasoning problems, lacks a formal procedure for making decisions. Clearly, when sufficient information is not available, no theory can prescribe actions without making additional assumptions. Faced with this situation, some assumption must be made if a clearly superior choice is to emerge. In this paper we offer a probabilistic interpretation of a simple assumption that disambiguates decision problems represented with belief functions. We prove that it yields expected values identical to those obtained by a probabilistic analysis that makes the same assumption. In addition, we show how the decision analysis methodology frequently employed in probabilistic reasoning can be extended for use with belief functions.


title: Efficient Parallel Estimation for Markov Random Fields

abstract: We present a new, deterministic, distributed MAP estimation algorithm for Markov Random Fields called Local Highest Confidence First (Local HCF). The algorithm has been applied to segmentation problems in computer vision and its performance compared with stochastic algorithms. The experiments show that Local HCF finds better estimates than stochastic algorithms with much less computation.


title: Comparing Expert Systems Built Using Different Uncertain Inference Systems

abstract: This study compares the inherent intuitiveness or usability of the most prominent methods for managing uncertainty in expert systems, including those of EMYCIN, PROSPECTOR, Dempster-Shafer theory, fuzzy set theory, simplified probability theory (assuming marginal independence), and linear regression using probability estimates. Participants in the study gained experience in a simple, hypothetical problem domain through a series of learning trials. They were then randomly assigned to develop an expert system using one of the six Uncertain Inference Systems (UISs) listed above. Performance of the resulting systems was then compared. The results indicate that the systems based on the PROSPECTOR and EMYCIN models were significantly less accurate for certain types of problems compared to systems based on the other UISs. Possible reasons for these differences are discussed.


title: Directed Cycles in Belief Networks

abstract: The most difficult task in probabilistic reasoning may be handling directed cycles in belief networks. To the best knowledge of this author, there is no serious discussion of this problem at all in the literature of probabilistic reasoning so far.


title: Can Uncertainty Management be Realized in a Finite Totally Ordered Probability Algebra?

abstract: In this paper, the feasibility of using finite totally ordered probability models under Alelinnas's Theory of Probabilistic Logic [Aleliunas, 1988] is investigated. The general form of the probability algebra of these models is derived and the number of possible algebras with given size is deduced. Based on this analysis, we discuss problems of denominator-indifference and ambiguity-generation that arise in reasoning by cases and abductive reasoning. An example is given that illustrates how these problems arise. The investigation shows that a finite probability model may be of very limited usage.


title: Normalization and the Representation of Nonmonotonic Knowledge in the Theory of Evidence

abstract: We discuss the Dempster-Shafer theory of evidence. We introduce a concept of monotonicity which is related to the diminution of the range between belief and plausibility. We show that the accumulation of knowledge in this framework exhibits a nonmonotonic property. We show how the belief structure can be used to represent typical or commonsense knowledge.


title: Amalgmation in Boolean algebras with operators

abstract: We study various forms of amalgamation for Boolean algebras with operations. We will also have the occasion to weaken the Boolean structure dealing with MV and BL algebras with operators.


title: Completeness and interpolation for intuitionistic infinitary predicate logic, in connection to finitizing the class of representable Heyting polyadic algebras

abstract: We study different representation theorems for various reducts of Heyting polyadic algebras. Superamalgamation is proved for several (natural reducts) and our results are compared to the finitizability problem in classical algebraic logic dealing with cylindric and polyadic (Boolean algebras). We also prove several new neat embedding theorems, and obtain that the class of representable algebras based on (a generalized) Kripke semantics coincide with the class of algebras having the neat embedding property, that is those algebras that are subneat reducts of algebras having $\omega$ extra dimensions.


title: Taking the "Un" out of "Unnovae"

abstract: It has long been expected that some massive stars produce stellar mass black holes (BHs) upon death. Unfortunately, the observational signature of such events has been unclear. It has even been suggested that the result may be an "unnova," in which the formation of a BH is marked by the disappearance of a star rather than an electromagnetic outburst. I argue that when the progenitor is a red supergiant, evidence for BH creation may instead be a ~3-10 day optical transient with a peak luminosity of ~10^{40}-10^{41} erg s^{-1}, a temperature of ~10^4 K, slow ejection speeds of ~200 km s^{-1}, and a spectrum devoid of the nucleosynthetic products associated with explosive burning. This signal is the breakout of a shock generated by the hydrodynamic response of a massive stellar envelope when the protoneutron star loses ~few*0.1Msun to neutrino emission prior to collapse to a BH. Current and future wide-field, high-cadence optical surveys make this an ideal time to discover and study these events. Motivated by the unique parameter space probed by this scenario, I discuss more broadly the range of properties expected for shock breakout flashes, with emphasis on progenitors with large radii and/or small shock energies. This may have application in a wider diversity of explosive events, from pair instability supernovae to newly discovered but yet to be understood transients.


title: The spectrum of IIB supergravity on AdS_5 x S^5/Z_3 and a 1/N^2 test of AdS/CFT

abstract: We present the complete Kaluza-Klein spectrum resulting from the compactification of IIB supergravity on S^5/Z_3. Knowledge of this spectrum allows us to perform a holographic computation of the difference of central charges c-a of the dual SU(N)^3 quiver gauge theory. We find the numerical value c-a=3/16, in exact agreement with the field theory result.


title: Star Formation Rates in Resolved Galaxies: Calibrations with Near and Far Infrared Data for NGC5055 and NGC6946

abstract: We use the near--infrared Br\gamma hydrogen recombination line as a reference star formation rate (SFR) indicator to test the validity and establish the calibration of the {\it Herschel} PACS 70 \mu m emission as a SFR tracer for sub--galactic regions in external galaxies. Br\gamma offers the double advantage of directly tracing ionizing photons and of being relatively insensitive to the effects of dust attenuation. For our first experiment, we use archival CFHT Br\gamma and Ks images of two nearby galaxies: NGC\,5055 and NGC\,6946, which are also part of the {\it Herschel} program KINGFISH (Key Insights on Nearby Galaxies: a Far-Infrared Survey with Herschel). We use the extinction corrected Br\gamma emission to derive the SFR(70) calibration for H{\sc ii} regions in these two galaxies. A comparison of the SFR(70) calibrations at different spatial scales, from 200 pc to the size of the whole galaxy, reveals that about 50% of the total 70\mu m emission is due to dust heated by stellar populations that are unrelated to the current star formation. We use a simple model to qualitatively relate the increase of the SFR(70) calibration coefficient with decreasing region size to the star formation timescale. We provide a calibration for an unbiased SFR indicator that combines the observed H\alpha with the 70 \mu m emission, also for use in H{\sc ii} regions. We briefly analyze the PACS 100 and 160 \mu m maps and find that longer wavelengths are not as good SFR indicators as 70\mu m, in agreement with previous results. We find that the calibrations show about 50% difference between the two galaxies, possibly due to effects of inclination.


title: On the origin of the radio emission of Sw 1644+57

abstract: We apply relativistic equipartition synchrotron arguments to the radio data of the tidal disruption event candidate Sw 1644+57. We find that, regardless of the details of the equipartition scenario considered, the energy required to produce the observed radio (i.e., energy in magnetic field and radio emitting electrons) must increase by a factor of ~20 during the first 200 days. It then saturates. This energy increase cannot be alleviated by a varying geometry of the system. The radio data can be explained by: (i) An afterglow like emission of the X-ray emitting narrow relativistic jet. The additional energy can arise here from a slower moving material ejected in the first few days that gradually catches up with the slowing down blast wave (Berger et al. 2012). However, this requires at least ~4x10^{53} erg in the slower moving outflow. This is much more than the energy of the fast moving outflow that produced the early X-rays and it severely constrains the overall energy budget. (ii) Alternatively, the radio may arise from a mildly relativistic quasi-spherical outflow. Here, the energy for the radio emission increases with time to at least ~10^{51} erg after 200 days. This scenario requires, however, a second X-ray emitting collimated relativistic component. Given these results, it is worthwhile to consider models in which the energy of the magnetic field and/or of the radio emitting electrons increases with time without a continuous energy supply to the blast wave. This can happen, for example, if the energy is injected initially mostly in one form (Poynting flux or baryonic) and it is gradually converted to the other form, leading to a deviation from equipartition. Another intriguing possibility is that a gradually decreasing Inverse Compton cooling modifies the synchrotron emission and leads to an increase of the available energy in the radio emitting electrons (Kumar et al. 2013).


title: Asteroseismology of KIC 11754974: a high-amplitude SX Phe pulsator in a 343-day binary system

abstract: The candidate SX Phe star KIC 11754974 shows a remarkably high number of combination frequencies in the Fourier amplitude spectrum: 123 of the 166 frequencies in our multi-frequency fit are linear combinations of independent modes. Predictable patterns in frequency spacings are seen in the Fourier transform of the light curve. We present an analysis of 180 d of short-cadence Kepler photometry and of new spectroscopic data for this evolved, late A-type star. We infer from the 1150-d, long-cadence light curve, and in two different ways, that our target is the primary of a 343-d, non-eclipsing binary system. According to both methods, the mass function is similar, f(M)=0.0207 +/- 0.0003 Msun. The observed pulsations are modelled extensively, using separate, state-of-the-art, time-dependent convection (TDC) and rotating models. The models match the observed temperature and low metallicity, finding a mass of 1.50-1.56 Msun. The models suggest the whole star is metal-poor, and that the low metallicity is not just a surface abundance peculiarity. This is the best frequency analysis of an SX Phe star, and the only Kepler \delta\ Sct star to be modelled with both TDC and rotating models.


title: EUV and X-Ray Observations of Comet Lovejoy (C/2011 W3) in the Lower Corona

abstract: We present an analysis of EUV and soft X-ray emission detected toward Comet Lovejoy (C/2011 W3) during its post-perihelion traverse of the solar corona on December 16, 2011. Observations were recorded by the Atmospheric Imaging Assembly (AIA) aboard the Solar Dynamics Observatory and the X-Ray Telescope (XRT) aboard Hinode. A single set of contemporaneous images is explored in detail, along with prefatory consideration for time evolution using only the 171 A data. For each of the eight passbands, we characterize the emission and derive outgassing rates where applicable. As material sublimates from the nucleus and is immersed in coronal plasma, it rapidly ionizes through charge states seldom seen in this environment. The AIA data show four stages of oxygen ionization (O III - O VI) along with C IV, while XRT likely captured emission from O VII, a line typical of the corona. With a nucleus of at least several hundred meters upon approach to a perihelion that brought the comet to within 0.2 solar radii of the photosphere, Lovejoy was the most significant sungrazer in recent history. Correspondingly high outgassing rates on the order of 10^32.5 oxygen atoms per second are estimated. Assuming that the neutral oxygen comes from water, this translates to a mass-loss rate of about 9.5E9 g/s, and based only on the 171 A observations, we find a total mass loss of approximately 10^13 g over the AIA egress. Additional and supporting analyses include a differential emission measure to characterize the coronal environment, consideration for the opening angle, and a comparison of the emission's leading edge with the expected position of the nucleus.


title: A model for the multiwavelength radiation from tidal disruption event Swift J1644+57

abstract: Gamma-ray observations of a stellar tidal disruption event (TDE) detected by the Swift satellite and follow up observations in radio, mm, infrared and x-ray bands have provided a rich data set to study accretion onto massive blackholes, production of relativistic jets and their interaction with the surrounding medium. The radio and x-ray data for TDE Swift J1644+57 provide a conflicting picture regarding the energy in relativistic jet produced in this event: x-ray data suggest jet energy declining with time as t^{-5/3} whereas the nearly flat lightcurves in radio and mm bands lasting for about 100 days have been interpreted as evidence for the total energy output increasing with time. We show in this work that flat lightcurves do not require addition of energy to decelerating external shock (which produced radio and mm emission via synchrotron process), instead the flat behavior is due to inverse-Compton cooling of electrons by x-ray photons streaming through the external shock; the higher x-ray flux at earlier times cools electrons more rapidly thereby reducing the emergent synchrotron flux, and this effect weakens as the x-ray flux declines with time.


title: On the non-linear scale of cosmological perturbation theory

abstract: We discuss the convergence of cosmological perturbation theory. We prove that the polynomial enhancement of the non-linear corrections expected from the effects of soft modes is absent in equal-time correlators like the power or bispectrum. We first show this at leading order by resumming the most important corrections of soft modes to an arbitrary skeleton of hard fluctuations. We derive the same result in the eikonal approximation, which also allows us to show the absence of enhancement at any order. We complement the proof by an explicit calculation of the power spectrum at two-loop order, and by further numerical checks at higher orders. Using these insights, we argue that the modification of the power spectrum from soft modes corresponds at most to logarithmic corrections. Finally, we discuss the asymptotic behavior in the large and small momentum regimes and identify the expansion parameter pertinent to non-linear corrections.


title: Majorana fermions in vortex lattices

abstract: We consider Majorana fermions tunneling among an array of vortices in a 2D chiral p-wave superconductor or equivalent material. The amplitude for Majorana fermions to tunnel between a pair of vortices is found to necessarily depend on the background superconducting phase profile; it is found to be proportional to the sine of half the difference between the phases at the two vortices. Using this result we study tight-binding models of Majorana fermions in vortices arranged in triangular or square lattices. In both cases we find that the aforementioned phase-tunneling relationship leads to the creation of superlattices where the Majorana fermions form macroscopically degenerate localizable flat bands at zero energy, in addition to other dispersive bands. This finding suggests that tunneling processes in these vortex arrays do not change the energies of a finite fraction of Majorana fermions, contrary to previous expectation. The presence of flat Majorana bands, and hence less-than-expected decoherence in these vortex arrays, bodes well for the prospects of topological quantum computation with large numbers of Majorana states.


title: Subgraph Frequencies: Mapping the Empirical and Extremal Geography of Large Graph Collections

abstract: A growing set of on-line applications are generating data that can be viewed as very large collections of small, dense social graphs -- these range from sets of social groups, events, or collaboration projects to the vast collection of graph neighborhoods in large social networks. A natural question is how to usefully define a domain-independent coordinate system for such a collection of graphs, so that the set of possible structures can be compactly represented and understood within a common space. In this work, we draw on the theory of graph homomorphisms to formulate and analyze such a representation, based on computing the frequencies of small induced subgraphs within each graph. We find that the space of subgraph frequencies is governed both by its combinatorial properties, based on extremal results that constrain all graphs, as well as by its empirical properties, manifested in the way that real social graphs appear to lie near a simple one-dimensional curve through this space. We develop flexible frameworks for studying each of these aspects. For capturing empirical properties, we characterize a simple stochastic generative model, a single-parameter extension of Erdos-Renyi random graphs, whose stationary distribution over subgraphs closely tracks the concentration of the real social graph families. For the extremal properties, we develop a tractable linear program for bounding the feasible space of subgraph frequencies by harnessing a toolkit of known extremal graph theory. Together, these two complementary frameworks shed light on a fundamental question pertaining to social graphs: what properties of social graphs are 'social' properties and what properties are 'graph' properties? We conclude with a brief demonstration of how the coordinate system we examine can also be used to perform classification tasks, distinguishing between social graphs of different origins.


title: Quantum Monte Carlo with Coupled-Cluster wave functions

abstract: We introduce a novel many body method which combines two powerful many body techniques, viz., quantum Monte Carlo and coupled cluster theory. Coupled cluster wave functions are introduced as importance functions in a Monte Carlo method designed for the configuration interaction framework to provide rigorous upper bounds to the ground state energy. We benchmark our method on the homogeneous electron gas in momentum space. The importance function used is the coupled cluster doubles wave function. We show that the computational resources required in our method scale polynomially with system size. Our energy upper bounds are in very good agreement with previous calculations of similar accuracy, and they can be systematically improved by including higher order excitations in the coupled cluster wave function.


title: The moment of core collapse in star clusters with a mass function

abstract: Star clusters with multi-mass components dynamically evolve faster than those modeled with equal-mass components. Using a series of direct $N$-body simulations, we investigate the dynamical evolution of star clusters with mass functions, especially their core collapse time. Multi-mass clusters tend to behave like systems with a smaller number of particles, which we call the effective number of particles ($N_{eff}$) and for which $N_{eff} = M/m_{max}$ (here $M$ and $m_{max}$ are the total cluster mass and the mass of the most massive star in the cluster, respectively). We find that the time of core collapse is inversely proportional to the mass of the most massive star in the cluster and analytically confirm that this is because the core collapse of clusters with a mass function proceeds on the dynamical friction timescale of the most massive stars. As the mass of the most massive star increases, however, the core-collapse time, which is observed as a core bounce of the cluster core from the evolution of the core density or core radius, becomes ambiguous. We find that in that case the total binding energy of the hard binaries gives a good diagnosis for determining the moment of core collapses. Based on the results of our simulations, we argue that the core bounce becomes ambiguous when the mass of the most massive star exceeds 0.1\% of the total mass of the cluster.


title: A New String in Ten Dimensions?

abstract: I suggest the possibility of a new string in ten dimensions. Evidence for this string is presented both from orientifold physics and from K-theory, along with a mystery concerning the M-theory description. Motivated by this possibility, some novel aspects of decoupling limits in heterotic/type I theories are described; specifically, the decoupled theory on type I $D$-strings is argued to be three-dimensional rather than two-dimensional. These decoupled theories provide the matrix model definitions of the heterotic/type I strings.