title: Localization and dimension free estimates for maximal functions

abstract: In the recent paper [J. Funct. Anal. {\bf 259} (2010)], Naor and Tao introduce a new class of measures with a so-called micro-doubling property and present, via martingale theory and probability methods, a localization theorem for the associated maximal functions. As a consequence they obtain a weak type estimate in a general abstract setting for these maximal functions that is reminiscent of the `$n\log n$ result' of Stein and Str\"omberg in Euclidean spaces. The purpose of this work is twofold. First we introduce a new localization principle that localizes not only in the time-dilation parameter but also in space. The proof uses standard covering lemmas and selection processes. Second, we show that a uniform condition for micro-doubling in the Euclidean spaces provides indeed dimension free estimates for their maximal functions in all $L^p$ with $p>1$. This is done introducing a new technique that allows to differentiate through dimensions.


title: Generic Behaviour Similarity Measures for Evolutionary Swarm Robotics

abstract: Novelty search has shown to be a promising approach for the evolution of controllers for swarm robotics. In existing studies, however, the experimenter had to craft a domain dependent behaviour similarity measure to use novelty search in swarm robotics applications. The reliance on hand-crafted similarity measures places an additional burden to the experimenter and introduces a bias in the evolutionary process. In this paper, we propose and compare two task-independent, generic behaviour similarity measures: combined state count and sampled average state. The proposed measures use the values of sensors and effectors recorded for each individual robot of the swarm. The characterisation of the group-level behaviour is then obtained by combining the sensor-effector values from all the robots. We evaluate the proposed measures in an aggregation task and in a resource sharing task. We show that the generic measures match the performance of domain dependent measures in terms of solution quality. Our results indicate that the proposed generic measures operate as effective behaviour similarity measures, and that it is possible to leverage the benefits of novelty search without having to craft domain specific similarity measures.


title: Limiting spectral distribution for Wigner matrices with dependent entries

abstract: In this article we show the existence of limiting spectral distribution of a symmetric random matrix whose entries come from a stationary Gaussian process with covariances satisfying a summability condition. We provide an explicit description of the moments of the limiting measure. We also show that in some special cases the Gaussian assumption can be relaxed. The description of the limiting measure can also be made via its Stieltjes transform which is characterized as the solution of a functional equation. In two special cases, we get a description of the limiting measure - one as a free product convolution of two distributions, and the other one as a dilation of the Wigner semicircular law.


title: Evolution with size in a locally periodic system: Scattering and deterministic maps

abstract: In this paper we study the evolution of the wave function with the system size in a locally periodic structure. In particular we analyse the dependence of the wave function with the number of unit cells, which also reflects information about its spatial behaviour in the system. We reduce the problem to a nonlinear map and find an equivalence of its energy regions of single periodicity and of weak chaos, with the forbidden and allowed bands of the fully periodic system, respectively. At finite size the wave function decays exponentially with system size, as well as in space, when the energy lies inside a region of single periodicity, while for energies in the weak chaotic region never decays. At the transition between those regions the wave function still decays but in a $q$-exponential form; we found that the decay length is a half of the mean free path, which is larger than the lattice constant.


title: Validated Real Time Middle Ware For Distributed Cyber Physical Systems Using HMM

abstract: Distributed Cyber Physical Systems designed for different scenario must be capable enough to perform in an efficient manner in every situation. Earlier approaches, such as CORBA, has performed but with different time constraints. Therefore, there was the need to design reconfigurable, robust, validated and consistent real time middle ware systems with end-to-end timing. In the DCPS-HMM we have proposed the processor efficiency and data validation which may proof crucial in implementing various distributed systems such as credit card systems or file transfer through network.


title: Retrograde versus prograde models of accreting black holes

abstract: There is a general consensus that magnetic fields, accretion disks, and rotating black holes are instrumental in the generation of the most powerful sources of energy in the known universe. Nonetheless, because magnetized accretion onto rotating black holes involves both the complications of nonlinear magnetohydrodynamics that currently cannot fully be treated numerically, and uncertainties about the origin of magnetic fields that at present are part of the input, the space of possible solutions remains less constrained. Consequently, the literature still bears witness to the proliferation of rather different black hole engine models. But the accumulated wealth of observational data is now sufficient to meaningfully distinguish between them. It is in this light that this critical paper compares the recent retrograde framework with standard "spin paradigm" prograde models.


title: Strong Subadditivity, Null Energy Condition and Charged Black Holes

abstract: Using the Hubeny-Rangamani-Takayanagi (HRT) conjectured formula for entanglement entropy in the context of the AdS/CFT correspondence with time-dependent backgrounds, we investigate the relation between the bulk null energy condition (NEC) of the stress-energy tensor with the strong sub-additivity (SSA) property of entanglement entropy in the boundary theory. In a background that interpolates between an AdS to an AdS-Reissner-Nordstrom-type geometry, we find that generically there always exists a critical surface beyond which the violation of NEC would naively occur. However, the extremal area surfaces that determine the entanglement entropy for the boundary theory, can penetrate into this forbidden region only for certain choices for the mass and the charge functions in the background. This penetration is then perceived as the violation of SSA in the boundary theory. We also find that this happens only when the critical surface lies above the apparent horizon, but not otherwise. We conjecture that SSA, which is thus non-trivially related to NEC, also characterizes the entire time-evolution process along which the dual field theory may thermalize.


title: Universal Behavior for Bond Percolation

abstract: We collect together results for bond percolation on various lattices from two to fourteen dimensions which, in the limit of large dimension $d$ or number of neighbors $z$, smoothly approach a randomly diluted Erd\H{o}s-R\'enyi graph. We include new results on bond diluted hyper-sphere packs in up to nine dimensions, which show the mean coordination, excess kurtosis and skewness evolving smoothly with dimension towards the Erd\H{o}s-R\'enyi limit.


title: Distinguishing Spin Relaxation Mechanisms in Organic Semiconductors

abstract: A theory is introduced for spin relaxation and spin diffusion of hopping carriers in a disordered system. For disorder described by a distribution of waiting times between hops (e.g. from multiple traps, site-energy disorder and/or positional disorder) the dominant spin relaxation mechanisms in organic semiconductors (hyperfine, hopping-induced spin-orbit, and intra-site spin relaxation) each produce different characteristic spin relaxation and spin diffusion dependences on temperature. The resulting unique experimental signatures predicted by the theory for each mechanism in organic semiconductors provide a prescription for determining the dominant spin relaxation mechanism.


title: Dynamical evolution of black hole sub-systems in idealised star clusters

abstract: In this paper, globular star clusters which contain a sub-system of stellar-mass black holes (BH) are investigated. This is done by considering two-component models, as these are the simplest approximation of more realistic multi-mass systems, where one component represents the BH population and the other represents all the other stars. These systems are found to undergo a long phase of evolution where the centre of the system is dominated by a dense BH sub-system. After mass segregation has driven most of the BH into a compact sub-system, the evolution of the BH sub-system is found to be influenced by the cluster in which it is contained. The BH sub-system evolves in such a way as to satisfy the energy demands of the whole cluster, just as the core of a one component system must satisfy the energy demands of the whole cluster. The BH sub-system is found to exist for a significant amount of time. It takes approximately 10t_{rh,i}, where t_{rh,i} is the initial half-mass relaxation time, from the formation of the compact BH sub-system up until the time when 90% of the sub-system total mass is lost (which is of order 10^{3} times the half-mass relaxation time of the BH sub-system at its time of formation). Based on theoretical arguments the rate of mass loss from the BH sub-system (\dot{M}_2) is predicted to be -(beta*zeta*M)/(alpha*t_{rh}), where M is the total mass, t_{rh} is the half-mass relaxation time, and alpha, beta, zeta are three dimensionless parameters (see Section 2 for details). An interesting consequence of this is that the rate of mass loss from the BH sub-system is approximately independent of the stellar mass ratio (m_2/m_1) and the total mass ratio (M_2/M_1) (in the range m_2/m_1 >~ 10 and M_2/M_1 ~ 10^{-2}, where m_1, m_2 are the masses of individual low-mass and high-mass particles respectively, and M_1, M_2 are the corresponding total masses).


title: On the Average Number of Edges in Theta Graphs

abstract: Theta graphs are important geometric graphs that have many applications, including wireless networking, motion planning, real-time animation, and minimum-spanning tree construction. We give closed form expressions for the average degree of theta graphs of a homogeneous Poisson point process over the plane. We then show that essentially the same bounds---with vanishing error terms---hold for theta graphs of finite sets of points that are uniformly distributed in a square. Finally, we show that the number of edges in a theta graph of points uniformly distributed in a square is concentrated around its expected value.


title: Initial state geometry and the role of hydrodynamics in proton-proton, proton-nucleus and deuteron-nucleus collisions

abstract: We apply the successful Monte Carlo Glauber and IP-Glasma initial state models of heavy ion collisions to the much smaller size systems produced in proton-proton, proton-nucleus and deuteron- nucleus collisions. We observe a significantly greater sensitivity of the initial state geometry to details of multi-particle production in these models compared to nucleus-nucleus collisions. In particular, we find that the size of the system produced in p+A collisions is very similar to the one produced in p+p collisions, and predict comparable Hanbury-Brown-Twiss radii in the absence of flow in both systems. Differences in the eccentricities computed in the models are large, while differences amongst the generated flow coefficients v_2 and v_3 are smaller. For a large number of participants in proton-lead collisions, the v_2 generated in the IP-Glasma model is comparable to the value obtained in proton-proton collisions. Viscous corrections to flow are large over characteristic lifetimes in the smaller size systems. In contrast, viscous contributions are significantly diminished over the longer space-time evolution of a heavy ion collision.


title: Probing the pattern of holographic thermalization with photons

abstract: We investigate the behavior of the retarded Green's function of a U(1) gauge field in holographic N=4 Super Yang-Mills plasma, taking the leading strong coupling corrections into account. First, we use the thermal limit of this quantity to determine the flow of the photon quasinormal mode spectrum away from the infinite 't Hooft coupling limit, and after this specialize to a specific model of holographic thermalization, in which we evaluate the corresponding spectral density. In the latter case, our primary interest lies in the pattern, with which the spectral density approaches its equilibrium form, and how this process depends on the value of the coupling as well as the photon virtuality. All of the results obtained point consistently towards the weakening of the usual top/down pattern of holographic thermalization, once the coupling is decreased from the \lambda=infinity limit.


title: Do Social Explanations Work? Studying and Modeling the Effects of Social Explanations in Recommender Systems

abstract: Recommender systems associated with social networks often use social explanations (e.g. "X, Y and 2 friends like this") to support the recommendations. We present a study of the effects of these social explanations in a music recommendation context. We start with an experiment with 237 users, in which we show explanations with varying levels of social information and analyze their effect on users' decisions. We distinguish between two key decisions: the likelihood of checking out the recommended artist, and the actual rating of the artist based on listening to several songs. We find that while the explanations do have some influence on the likelihood, there is little correlation between the likelihood and actual (listening) rating for the same artist. Based on these insights, we present a generative probabilistic model that explains the interplay between explanations and background information on music preferences, and how that leads to a final likelihood rating for an artist. Acknowledging the impact of explanations, we discuss a general recommendation framework that models external informational elements in the recommendation interface, in addition to inherent preferences of users.


title: Merging Satellite Measurements of Rainfall Using Multi-scale Imagery Technique

abstract: Several passive microwave satellites orbit the Earth and measure rainfall. These measurements have the advantage of almost full global coverage when compared to surface rain gauges. However, these satellites have low temporal revisit and missing data over some regions. Image fusion is a useful technique to fill in the gaps of one image (one satellite measurement) using another one. The proposed algorithm uses an iterative fusion scheme to integrate information from two satellite measurements. The algorithm is implemented on two datasets for 7 years of half-hourly data. The results show significant improvements in rain detection and rain intensity in the merged measurements.


title: Electrically-protected resonant exchange qubits in triple quantum dots

abstract: We present a modulated microwave approach for quantum computing with qubits comprising three spins in a triple quantum dot. This approach includes single- and two-qubit gates that are protected against low-frequency electrical noise, due to an operating point with a narrowband response to high frequency electric fields. Furthermore, existing double quantum dot advances, including robust preparation and measurement via spin-to-charge conversion, are immediately applicable to the new qubit. Finally, the electric dipole terms implicit in the high frequency coupling enable strong coupling with superconducting microwave resonators, leading to more robust two-qubit gates.


title: e-MERLIN observations at 5 GHz of the GOODS-N region: pinpointing AGN cores in high redshift galaxies

abstract: We present 5 GHz e-MERLIN observations of the GOODS-N region at sub-arcsec resolution (0.2--0.5 arcsec). These data form part of the early commissioning observations for the e-MERLIN interferometer and a pilot for the e-MERLIN legacy program eMERGE. A total of 17 sources were detected with S/N>3. These observations provide unique information on the radio source morphology at sub-arcsec scales. For twelve of these sources, deeper 1.4 GHz MERLIN+VLA observations at the same spatial resolution are available, allowing radio spectral indices to be derived for ten sources on sub-arcsec angular scales. Via analysis of the spectral indices and radio morphologies, these sources have been identified as AGN cores in moderate-to-high redshift (1<z<4) galaxies. These results have provided AGN (or AGN candidate) classification for six previously unclassified sources and confirmed the AGN nature of the rest of the sample. Ultimately the eMERGE project will image the GOODS-N region at 1.4 and 5 GHz with higher resolution (about 50 mas at 5 GHz) and down to sub-microJy sensitivities. The unique combination of sensitivity and spatial resolution will be exploited to study star formation and AGN activity in distant galaxies.


title: The case for high precision in elemental abundances of stars in the era of large spectroscopic surveys

abstract: A number of large spectroscopic surveys of stars in the Milky Way are under way or are being planned. In this context it is important to discuss the extent to which elemental abundances can be used as discriminators between different (known and unknown) stellar populations in the Milky Way. We aim to establish the requirements in terms of precision in elemental abundances, as derived from spectroscopic surveys of the Milky Way's stellar populations, in order to detect interesting substructures in elemental abundance space. We present a simple relation between the minimum number of stars needed to detect a given substructure and the precision of the measurements. The results are in agreement with recent small- and large-scale studies, with high and low precision, respectively. Large-number statistics cannot fully compensate for low precision in the abundance measurements and each survey should carefully evaluate what the main science drivers are for the survey and ensure that the chosen observational strategy will result in the precision necessary to answer the questions posed.


title: Spectra and ratios of identified particles in Au+Au and d+Au collisions at sqrt(s_NN)=200 GeV

abstract: The transverse momentum (p_T) spectra and ratios of identified charged hadrons (\pi^+/-, K^+/-, p, p^bar) produced in sqrt(s_NN)=200 GeV Au+Au and d+Au collisions are reported in five different centrality classes for each collision species. The measurements of pions and protons are reported up to p_T=6 GeV/c (5 GeV/c), and the measurements of kaons are reported up to p_T=4 GeV/c (3.5 GeV/c) in Au+Au (d+Au) collisions. In the intermediate p_T region, between 2--5 GeV/c, a significant enhancement of baryon to meson ratios compared to those measured in p+p collisions is observed. This enhancement is present in both Au+Au and d+Au collisions, and increases as the collisions become more central. We compare a class of peripheral Au+Au collisions with a class of central d+Au collisions which have a comparable number of participating nucleons and binary nucleon-nucleon collisions. The p_T dependent particle ratios for these classes display a remarkable similarity, which is then discussed.


title: Global Warming and Caspian Sea Level Fluctuations

abstract: Coastal regions have a high social, economical and environmental importance. Due to this importance the sea level fluctuations can have many bad consequences. In this research the correlation between the increasing trend of temperature in coastal stations due to Global Warming and the Caspian Sea level has been established. The Caspian Sea level data has been received from the Jason-1 satellite. It was resulted that the monthly correlation between the temperature and sea level is high and also positive and almost the same for all the stations. But the yearly correlation was negative. It means that the sea level has decreased by the increase in temperature.


title: Representations of Rational Cherednik algebras with minimal support and torus knots

abstract: We obtain several results about representations of rational Cherednik algebras, and discuss their applications. Our first result is the Cohen-Macaulayness property (as modules over the polynomial ring) of Cherednik algebra modules with minimal support. Our second result is an explicit formula for the character of an irreducible minimal support module in type A_{n-1} for c=m/n, and an expression of its quasispherical part (i.e., the isotypic part of "hooks") in terms of the HOMFLY polynomial of a torus knot colored by a Young diagram. We use this formula and the work of Calaque, Enriquez and Etingof to give explicit formulas for the characters of the irreducible equivariant D-modules on the nilpotent cone for SL_m. Our third result is the construction of the Koszul-BGG complex for the rational Cherednik algebra, which generalizes the construction of the Koszul-BGG resolution by Berest-Etingof-Ginzburg and Gordon, and the calculation of its homology in type A. We also show in type A that the differentials in the Koszul-BGG complex are uniquely determined by the condition that they are nonzero homomorphisms of modules over the Cherednik algebra. Finally, our fourth result is the symmetry theorem, which identifies the quasispherical components in the representations with minimal support over the rational Cherednik algebras H_{m/n}(S_n) and H_{n/m}(S_m). In fact, we show that the simple quotients of the corresponding quasispherical subalgebras are isomorphic as filtered algebras. This symmetry has a natural interpretation in terms of invariants of torus knots.


title: The Resonant Exchange Qubit

abstract: We introduce a solid-state qubit in which exchange interactions among confined electrons provide both the static longitudinal field and the oscillatory transverse field, allowing rapid and full qubit control via rf gate-voltage pulses. We demonstrate two-axis control at a detuning sweet-spot, where leakage due to hyperfine coupling is suppressed by the large exchange gap. A {\pi}/2-gate time of 2.5 ns and a coherence time of 19 {\mu}s, using multi-pulse echo, are also demonstrated. Model calculations that include effects of hyperfine noise are in excellent quantitative agreement with experiment.


title: Under Pressure: Star Clusters and the Neutral Hydrogen Medium of Tidal Tails

abstract: Using archival data from ATCA, WSRT, and the VLA, we have analyzed the HI emission of 22 tidal tail regions of the Mullan et al. sample of pairwise interacting galaxies. We have measured the column densities, line-of-sight velocity dispersions, and kinetic energy densities on ~kpc scales. We also constructed a tracer of the line-of-sight velocity gradient over ~10 kpc scales. We compared the distributions of these properties between regions that do and do not contain massive star cluster candidates (M_V < -8.5; ~10^4--10^6 M_(sun) as observed in HST WFPC2 VI data). In agreement with Maybhate et al., we find that a local, ~kpc-scale column density of log N_(HI) = 20.6 cm^(-2) is frequently required for detecting clustered star formation. This HI gas also tends to be turbulent, with line-of-sight velocity dispersions ~10--75 km/s, implying high kinetic energy densities (>46 erg pc^(-2)). Thus, high HI densities and pressures, partly determined by the tail dynamical age and other interaction characteristics, are connected to large-scale cluster formation in tidal tails overall. Lastly, we find that the high mechanical energy densities of the gas are likely not generally due to feedback from star formation. Rather, these properties are more likely to be a cause of star formation than a result.


title: No flares from Gamma-Ray Burst afterglow blast waves encountering sudden circumburst density change

abstract: Afterglows of gamma-ray bursts are observed to produce light curves with the flux following power law evolution in time. However, recent observations reveal bright flares at times on the order of minutes to days. One proposed explanation for these flares is the interaction of a relativistic blast wave with a circumburst density transition. In this paper, we model this type of interaction computationally in one and two dimensions, using a relativistic hydrodynamics code with adaptive mesh refinement called RAM, and analytically in one dimension. We simulate a blast wave traveling in a stellar wind environment that encounters a sudden change in density, followed by a homogeneous medium, and compute the observed radiation using a synchrotron model. We show that flares are not observable for an encounter with a sudden density increase, such as a wind termination shock, nor for an encounter with a sudden density decrease. Furthermore, by extending our analysis to two dimensions, we are able to resolve the spreading, collimation, and edge effects of the blast wave as it encounters the change in circumburst medium. In all cases considered in this paper, we find that a flare will not be observed for any of the density changes studied.


title: Two-Qubit Gates for Resonant Exchange Qubits

abstract: A new approach to single-qubit operations using exchange interactions of single electrons in gate-defined quantum dots has recently been demonstrated: the resonant exchange qubit. We show that two-qubit operations, specifically the CPHASE gate, can be performed between resonant exchange qubits very straightforwardly, using a single exchange pulse. This is in marked contrast to the best known protocols for exchange qubits where such a gate requires many pulses so that leakage processes arising from the exchange interaction can be overcome. For resonant exchange qubits a simple two-qubit gate is possible because in this mode of operation energy conservation suppresses leakage.


title: Berglund-H\"ubsch-Krawitz Mirrors via Shioda Maps

abstract: We give an elementary approach to proving the birationality of multiple Berglund-H\"ubsch-Krawitz (BHK) mirrors by using Shioda maps. We do this by creating a birational picture of the BHK correspondence in general. Although a similar result has been obtained in recent months by Shoemaker, our proof is new in that it sidesteps using toric geometry and drops an unnecessary hypothesis. We give an explicit quotient of a Fermat variety to which the mirrors are birational.


title: An Inequality Paradigm for Probabilistic Knowledge

abstract: We propose an inequality paradigm for probabilistic reasoning based on a logic of upper and lower bounds on conditional probabilities. We investigate a family of probabilistic logics, generalizing the work of Nilsson [14]. We develop a variety of logical notions for probabilistic reasoning, including soundness, completeness justification; and convergence: reduction of a theory to a simpler logical class. We argue that a bound view is especially useful for describing the semantics of probabilistic knowledge representation and for describing intermediate states of probabilistic inference and updating. We show that the Dempster-Shafer theory of evidence is formally identical to a special case of our generalized probabilistic logic. Our paradigm thus incorporates both Bayesian "rule-based" approaches and avowedly non-Bayesian "evidential" approaches such as MYCIN and DempsterShafer. We suggest how to integrate the two "schools", and explore some possibilities for novel synthesis of a variety of ideas in probabilistic reasoning.


title: Probabilistic Interpretations for MYCIN's Certainty Factors

abstract: This paper examines the quantities used by MYCIN to reason with uncertainty, called certainty factors. It is shown that the original definition of certainty factors is inconsistent with the functions used in MYCIN to combine the quantities. This inconsistency is used to argue for a redefinition of certainty factors in terms of the intuitively appealing desiderata associated with the combining functions. It is shown that this redefinition accommodates an unlimited number of probabilistic interpretations. These interpretations are shown to be monotonic transformations of the likelihood ratio p(EIH)/p(El H). The construction of these interpretations provides insight into the assumptions implicit in the certainty factor model. In particular, it is shown that if uncertainty is to be propagated through an inference network in accordance with the desiderata, evidence must be conditionally independent given the hypothesis and its negation and the inference network must have a tree structure. It is emphasized that assumptions implicit in the model are rarely true in practical applications. Methods for relaxing the assumptions are suggested.


title: Uncertain Reasoning Using Maximum Entropy Inference

abstract: The use of maximum entropy inference in reasoning with uncertain information is commonly justified by an information-theoretic argument. This paper discusses a possible objection to this information-theoretic justification and shows how it can be met. I then compare maximum entropy inference with certain other currently popular methods for uncertain reasoning. In making such a comparison, one must distinguish between static and dynamic theories of degrees of belief: a static theory concerns the consistency conditions for degrees of belief at a given time; whereas a dynamic theory concerns how one's degrees of belief should change in the light of new information. It is argued that maximum entropy is a dynamic theory and that a complete theory of uncertain reasoning can be gotten by combining maximum entropy inference with probability theory, which is a static theory. This total theory, I argue, is much better grounded than are other theories of uncertain reasoning.


title: Independence and Bayesian Updating Methods

abstract: Duda, Hart, and Nilsson have set forth a method for rule-based inference systems to use in updating the probabilities of hypotheses on the basis of multiple items of new evidence. Pednault, Zucker, and Muresan claimed to give conditions under which independence assumptions made by Duda et al. preclude updating-that is, prevent the evidence from altering the probabilities of the hypotheses. Glymour refutes Pednault et al.'s claim with a counterexample of a rather special form (one item of evidence is incompatible with all but one of the hypotheses); he raises, but leaves open, the question whether their result would be true with an added assumption to rule out such special cases. We show that their result does not hold even with the added assumption, but that it can nevertheless be largely salvaged. Namely, under the conditions assumed by Pednault et al., at most one of the items of evidence can alter the probability of any given hypothesis; thus, although updating is possible, multiple updating for any of the hypotheses is precluded.


title: A Constraint Propagation Approach to Probabilistic Reasoning

abstract: The paper demonstrates that strict adherence to probability theory does not preclude the use of concurrent, self-activated constraint-propagation mechanisms for managing uncertainty. Maintaining local records of sources-of-belief allows both predictive and diagnostic inferences to be activated simultaneously and propagate harmoniously towards a stable equilibrium.


title: Relative Entropy, Probabilistic Inference and AI

abstract: Various properties of relative entropy have led to its widespread use in information theory. These properties suggest that relative entropy has a role to play in systems that attempt to perform inference in terms of probability distributions. In this paper, I will review some basic properties of relative entropy as well as its role in probabilistic inference. I will also mention briefly a few existing and potential applications of relative entropy to so-called artificial intelligence (AI).


title: Foundations of Probability Theory for AI - The Application of Algorithmic Probability to Problems in Artificial Intelligence

abstract: This paper covers two topics: first an introduction to Algorithmic Complexity Theory: how it defines probability, some of its characteristic properties and past successful applications. Second, we apply it to problems in A.I. - where it promises to give near optimum search procedures for two very broad classes of problems.


title: Selecting Uncertainty Calculi and Granularity: An Experiment in Trading-Off Precision and Complexity

abstract: The management of uncertainty in expert systems has usually been left to ad hoc representations and rules of combinations lacking either a sound theory or clear semantics. The objective of this paper is to establish a theoretical basis for defining the syntax and semantics of a small subset of calculi of uncertainty operating on a given term set of linguistic statements of likelihood. Each calculus is defined by specifying a negation, a conjunction and a disjunction operator. Families of Triangular norms and conorms constitute the most general representations of conjunction and disjunction operators. These families provide us with a formalism for defining an infinite number of different calculi of uncertainty. The term set will define the uncertainty granularity, i.e. the finest level of distinction among different quantifications of uncertainty. This granularity will limit the ability to differentiate between two similar operators. Therefore, only a small finite subset of the infinite number of calculi will produce notably different results. This result is illustrated by two experiments where nine and eleven different calculi of uncertainty are used with three term sets containing five, nine, and thirteen elements, respectively. Finally, the use of context dependent rule set is proposed to select the most appropriate calculus for any given situation. Such a rule set will be relatively small since it must only describe the selection policies for a small number of calculi (resulting from the analyzed trade-off between complexity and precision).


title: A Framework for Non-Monotonic Reasoning About Probabilistic Assumptions

abstract: Attempts to replicate probabilistic reasoning in expert systems have typically overlooked a critical ingredient of that process. Probabilistic analysis typically requires extensive judgments regarding interdependencies among hypotheses and data, and regarding the appropriateness of various alternative models. The application of such models is often an iterative process, in which the plausibility of the results confirms or disconfirms the validity of assumptions made in building the model. In current expert systems, by contrast, probabilistic information is encapsulated within modular rules (involving, for example, "certainty factors"), and there is no mechanism for reviewing the overall form of the probability argument or the validity of the judgments entering into it.


title: Metaprobability and Dempster-Shafer in Evidential Reasoning

abstract: Evidential reasoning in expert systems has often used ad-hoc uncertainty calculi. Although it is generally accepted that probability theory provides a firm theoretical foundation, researchers have found some problems with its use as a workable uncertainty calculus. Among these problems are representation of ignorance, consistency of probabilistic judgements, and adjustment of a priori judgements with experience. The application of metaprobability theory to evidential reasoning is a new approach to solving these problems. Metaprobability theory can be viewed as a way to provide soft or hard constraints on beliefs in much the same manner as the Dempster-Shafer theory provides constraints on probability masses on subsets of the state space. Thus, we use the Dempster-Shafer theory, an alternative theory of evidential reasoning to illuminate metaprobability theory as a theory of evidential reasoning. The goal of this paper is to compare how metaprobability theory and Dempster-Shafer theory handle the adjustment of beliefs with evidence with respect to a particular thought experiment. Sections 2 and 3 give brief descriptions of the metaprobability and Dempster-Shafer theories. Metaprobability theory deals with higher order probabilities applied to evidential reasoning. Dempster-Shafer theory is a generalization of probability theory which has evolved from a theory of upper and lower probabilities. Section 4 describes a thought experiment and the metaprobability and DempsterShafer analysis of the experiment. The thought experiment focuses on forming beliefs about a population with 6 types of members {1, 2, 3, 4, 5, 6}. A type is uniquely defined by the values of three features: A, B, C. That is, if the three features of one member of the population were known then its type could be ascertained. Each of the three features has two possible values, (e.g. A can be either "a0" or "al"). Beliefs are formed from evidence accrued from two sensors: sensor A, and sensor B. Each sensor senses the corresponding defining feature. Sensor A reports that half of its observations are "a0" and half the observations are 'al'. Sensor B reports that half of its observations are ``b0,' and half are "bl". Based on these two pieces of evidence, what should be the beliefs on the distribution of types in the population? Note that the third feature is not observed by any sensor.


title: Implementing Probabilistic Reasoning

abstract: General problems in analyzing information in a probabilistic database are considered. The practical difficulties (and occasional advantages) of storing uncertain data, of using it conventional forward- or backward-chaining inference engines, and of working with a probabilistic version of resolution are discussed. The background for this paper is the incorporation of uncertain reasoning facilities in MRS, a general-purpose expert system building tool.


title: Probability Judgement in Artificial Intelligence

abstract: This paper is concerned with two theories of probability judgment: the Bayesian theory and the theory of belief functions. It illustrates these theories with some simple examples and discusses some of the issues that arise when we try to implement them in expert systems. The Bayesian theory is well known; its main ideas go back to the work of Thomas Bayes (1702-1761). The theory of belief functions, often called the Dempster-Shafer theory in the artificial intelligence community, is less well known, but it has even older antecedents; belief-function arguments appear in the work of George Hooper (16401723) and James Bernoulli (1654-1705). For elementary expositions of the theory of belief functions, see Shafer (1976, 1985).


title: A Framework for Comparing Uncertain Inference Systems to Probability

abstract: Several different uncertain inference systems (UISs) have been developed for representing uncertainty in rule-based expert systems. Some of these, such as Mycin's Certainty Factors, Prospector, and Bayes' Networks were designed as approximations to probability, and others, such as Fuzzy Set Theory and DempsterShafer Belief Functions were not. How different are these UISs in practice, and does it matter which you use? When combining and propagating uncertain information, each UIS must, at least by implication, make certain assumptions about correlations not explicily specified. The maximum entropy principle with minimum cross-entropy updating, provides a way of making assumptions about the missing specification that minimizes the additional information assumed, and thus offers a standard against which the other UISs can be compared. We describe a framework for the experimental comparison of the performance of different UISs, and provide some illustrative results.


title: Inductive Inference and the Representation of Uncertainty

abstract: The form and justification of inductive inference rules depend strongly on the representation of uncertainty. This paper examines one generic representation, namely, incomplete information. The notion can be formalized by presuming that the relevant probabilities in a decision problem are known only to the extent that they belong to a class K of probability distributions. The concept is a generalization of a frequent suggestion that uncertainty be represented by intervals or ranges on probabilities. To make the representation useful for decision making, an inductive rule can be formulated which determines, in a well-defined manner, a best approximation to the unknown probability, given the set K. In addition, the knowledge set notion entails a natural procedure for updating -- modifying the set K given new evidence. Several non-intuitive consequences of updating emphasize the differences between inference with complete and inference with incomplete information.


title: Machine Learning, Clustering, and Polymorphy

abstract: This paper describes a machine induction program (WITT) that attempts to model human categorization. Properties of categories to which human subjects are sensitive includes best or prototypical members, relative contrasts between putative categories, and polymorphy (neither necessary or sufficient features). This approach represents an alternative to usual Artificial Intelligence approaches to generalization and conceptual clustering which tend to focus on necessary and sufficient feature rules, equivalence classes, and simple search and match schemes. WITT is shown to be more consistent with human categorization while potentially including results produced by more traditional clustering schemes. Applications of this approach in the domains of expert systems and information retrieval are also discussed.


title: Induction, of and by Probability

abstract: This paper examines some methods and ideas underlying the author's successful probabilistic learning systems(PLS), which have proven uniquely effective and efficient in generalization learning or induction. While the emerging principles are generally applicable, this paper illustrates them in heuristic search, which demands noise management and incremental learning. In our approach, both task performance and learning are guided by probability. Probabilities are incrementally normalized and revised, and their errors are located and corrected.


title: An Odds Ratio Based Inference Engine

abstract: Expert systems applications that involve uncertain inference can be represented by a multidimensional contingency table. These tables offer a general approach to inferring with uncertain evidence, because they can embody any form of association between any number of pieces of evidence and conclusions. (Simpler models may be required, however, if the number of pieces of evidence bearing on a conclusion is large.) This paper presents a method of using these tables to make uncertain inferences without assumptions of conditional independence among pieces of evidence or heuristic combining rules. As evidence is accumulated, new joint probabilities are calculated so as to maintain any dependencies among the pieces of evidence that are found in the contingency table. The new conditional probability of the conclusion is then calculated directly from these new joint probabilities and the conditional probabilities in the contingency table.


title: A Framework for Control Strategies in Uncertain Inference Networks

abstract: Control Strategies for hierarchical tree-like probabilistic inference networks are formulated and investigated. Strategies that utilize staged look-ahead and temporary focus on subgoals are formalized and refined using the Depth Vector concept that serves as a tool for defining the 'virtual tree' regarded by the control strategy. The concept is illustrated by four types of control strategies for three-level trees that are characterized according to their Depth Vector, and according to the way they consider intermediate nodes and the role that they let these nodes play. INFERENTI is a computerized inference system written in Prolog, which provides tools for exercising a variety of control strategies. The system also provides tools for simulating test data and for comparing the relative average performance under different strategies.


title: Combining Uncertain Estimates

abstract: In a real expert system, one may have unreliable, unconfident, conflicting estimates of the value for a particular parameter. It is important for decision making that the information present in this aggregate somehow find its way into use. We cast the problem of representing and combining uncertain estimates as selection of two kinds of functions, one to determine an estimate, the other its uncertainty. The paper includes a long list of properties that such functions should satisfy, and it presents one method that satisfies them.


title: Confidence Factors, Empiricism and the Dempster-Shafer Theory of Evidence

abstract: The issue of confidence factors in Knowledge Based Systems has become increasingly important and Dempster-Shafer (DS) theory has become increasingly popular as a basis for these factors. This paper discusses the need for an empirical lnterpretatlon of any theory of confidence factors applied to Knowledge Based Systems and describes an empirical lnterpretatlon of DS theory suggesting that the theory has been extensively misinterpreted. For the essentially syntactic DS theory, a model is developed based on sample spaces, the traditional semantic model of probability theory. This model is used to show that, if belief functions are based on reasonably accurate sampling or observation of a sample space, then the beliefs and upper probabilities as computed according to DS theory cannot be interpreted as frequency ratios. Since many proposed applications of DS theory use belief functions in situations with statistically derived evidence (Wesley [1]) and seem to appeal to statistical intuition to provide an lnterpretatlon of the results as has Garvey [2], it may be argued that DS theory has often been misapplied.


title: Incidence Calculus: A Mechanism for Probabilistic Reasoning

abstract: Mechanisms for the automation of uncertainty are required for expert systems. Sometimes these mechanisms need to obey the properties of probabilistic reasoning. A purely numeric mechanism, like those proposed so far, cannot provide a probabilistic logic with truth functional connectives. We propose an alternative mechanism, Incidence Calculus, which is based on a representation of uncertainty using sets of points, which might represent situations, models or possible worlds. Incidence Calculus does provide a probabilistic logic with truth functional connectives.


title: Evidential Confirmation as Transformed Probability

abstract: A considerable body of work in AI has been concerned with aggregating measures of confirmatory and disconfirmatory evidence for a common set of propositions. Claiming classical probability to be inadequate or inappropriate, several researchers have gone so far as to invent new formalisms and methods. We show how to represent two major such alternative approaches to evidential confirmation not only in terms of transformed (Bayesian) probability, but also in terms of each other. This unifies two of the leading approaches to confirmation theory, by showing that a revised MYCIN Certainty Factor method [12] is equivalent to a special case of Dempster-Shafer theory. It yields a well-understood axiomatic basis, i.e. conditional independence, to interpret previous work on quantitative confirmation theory. It substantially resolves the "taxe-them-or-leave-them" problem of priors: MYCIN had to leave them out, while PROSPECTOR had to have them in. It recasts some of confirmation theory's advantages in terms of the psychological accessibility of probabilistic information in different (transformed) formats. Finally, it helps to unify the representation of uncertain reasoning (see also [11]).


title: Interval-Based Decisions for Reasoning Systems

abstract: This essay looks at decision-making with interval-valued probability measures. Existing decision methods have either supplemented expected utility methods with additional criteria of optimality, or have attempted to supplement the interval-valued measures. We advocate a new approach, which makes the following questions moot: 1. which additional criteria to use, and 2. how wide intervals should be. In order to implement the approach, we need more epistemological information. Such information can be generated by a rule of acceptance with a parameter that allows various attitudes toward error, or can simply be declared. In sketch, the argument is: 1. probability intervals are useful and natural in All. systems; 2. wide intervals avoid error, but are useless in some risk sensitive decision-making; 3. one may obtain narrower intervals if one is less cautious; 4. if bodies of knowledge can be ordered by their caution, one should perform the decision analysis with the acceptable body of knowledge that is the most cautious, of those that are useful. The resulting behavior differs from that of a behavioral probabilist (a Bayesian) because in the proposal, 5. intervals based on successive bodies of knowledge are not always nested; 6. if the agent uses a probability for a particular decision, she need not commit to that probability for credence or future decision; and 7. there may be no acceptable body of knowledge that is useful; hence, sometimes no decision is mandated.


title: Machine Generalization and Human Categorization: An Information-Theoretic View

abstract: In designing an intelligent system that must be able to explain its reasoning to a human user, or to provide generalizations that the human user finds reasonable, it may be useful to take into consideration psychological data on what types of concepts and categories people naturally use. The psychological literature on concept learning and categorization provides strong evidence that certain categories are more easily learned, recalled, and recognized than others. We show here how a measure of the informational value of a category predicts the results of several important categorization experiments better than standard alternative explanations. This suggests that information-based approaches to machine generalization may prove particularly useful and natural for human users of the systems.


title: Exact Reasoning Under Uncertainty

abstract: This paper focuses on designing expert systems to support decision making in complex, uncertain environments. In this context, our research indicates that strictly probabilistic representations, which enable the use of decision-theoretic reasoning, are highly preferable to recently proposed alternatives (e.g., fuzzy set theory and Dempster-Shafer theory). Furthermore, we discuss the language of influence diagrams and a corresponding methodology -decision analysis -- that allows decision theory to be used effectively and efficiently as a decision-making aid. Finally, we use RACHEL, a system that helps infertile couples select medical treatments, to illustrate the methodology of decision analysis as basis for expert decision systems.


title: The Estimation of Subjective Probabilities via Categorical Judgments of Uncertainty

abstract: Theoretically as well as experimentally it is investigated how people represent their knowledge in order to make decisions or to share their knowledge with others. Experiment 1 probes into the ways how people 6ather information about the frequencies of events and how the requested response mode, that is, numerical vs. verbal estimates interferes with this knowledge. The least interference occurs if the subjects are allowed to give verbal responses. From this it is concluded that processing knowledge about uncertainty categorically, that is, by means of verbal expressions, imposes less mental work load on the decision matter than numerical processing. Possibility theory is used as a framework for modeling the individual usage of verbal categories for grades of uncertainty. The 'elastic' constraints on the verbal expressions for every sing1e subject are determined in Experiment 2 by means of sequential calibration. In further experiments it is shown that the superiority of the verbal processing of knowledge about uncertainty guise generally reduces persistent biases reported in the literature: conservatism (Experiment 3) and neg1igence of regression (Experiment 4). The reanalysis of Hormann's data reveal that in verbal Judgments people exhibit sensitivity for base rates and are not prone to the conjunction fallacy. In a final experiment (5) about predictions in a real-life situation it turns out that in a numerical forecasting task subjects restricted themselves to those parts of their knowledge which are numerical. On the other hand subjects in a verbal forecasting task accessed verbally as well as numerically stated knowledge. Forecasting is structurally related to the estimation of probabilities for rare events insofar as supporting and contradicting arguments have to be evaluated and the choice of the final Judgment has to be Justified according to the evidence brought forward. In order to assist people in such choice situations a formal model for the interactive checking of arguments has been developed. The model transforms the normal-language quantifiers used in the arguments into fuzzy numbers and evaluates the given train of arguments by means of fuzzy numerica1 operations. Ambiguities in the meanings of quantifiers are resolved interactively.


title: A Cure for Pathological Behavior in Games that Use Minimax

abstract: The traditional approach to choosing moves in game-playing programs is the minimax procedure. The general belief underlying its use is that increasing search depth improves play. Recent research has shown that given certain simplifying assumptions about a game tree's structure, this belief is erroneous: searching deeper decreases the probability of making a correct move. This phenomenon is called game tree pathology. Among these simplifying assumptions is uniform depth of win/loss (terminal) nodes, a condition which is not true for most real games. Analytic studies in [10] have shown that if every node in a pathological game tree is made terminal with probability exceeding a certain threshold, the resulting tree is nonpathological. This paper considers a new evaluation function which recognizes increasing densities of forced wins at deeper levels in the tree. This property raises two points that strengthen the hypothesis that uniform win depth causes pathology. First, it proves mathematically that as search deepens, an evaluation function that does not explicitly check for certain forced win patterns becomes decreasingly likely to force wins. This failing predicts the pathological behavior of the original evaluation function. Second, it shows empirically that despite recognizing fewer mid-game wins than the theoretically predicted minimum, the new function is nonpathological.


title: An Evaluation of Two Alternatives to Minimax

abstract: In the field of Artificial Intelligence, traditional approaches to choosing moves in games involve the we of the minimax algorithm. However, recent research results indicate that minimizing may not always be the best approach. In this paper we summarize the results of some measurements on several model games with several different evaluation functions. These measurements, which are presented in detail in [NPT], show that there are some new algorithms that can make significantly better use of evaluation function values than the minimax algorithm does.


title: Intelligent Probabilistic Inference

abstract: The analysis of practical probabilistic models on the computer demands a convenient representation for the available knowledge and an efficient algorithm to perform inference. An appealing representation is the influence diagram, a network that makes explicit the random variables in a model and their probabilistic dependencies. Recent advances have developed solution procedures based on the influence diagram. In this paper, we examine the fundamental properties that underlie those techniques, and the information about the probabilistic structure that is available in the influence diagram representation. The influence diagram is a convenient representation for computer processing while also being clear and non-mathematical. It displays probabilistic dependence precisely, in a way that is intuitive for decision makers and experts to understand and communicate. As a result, the same influence diagram can be used to build, assess and analyze a model, facilitating changes in the formulation and feedback from sensitivity analysis. The goal in this paper is to determine arbitrary conditional probability distributions from a given probabilistic model. Given qualitative information about the dependence of the random variables in the model we can, for a specific conditional expression, specify precisely what quantitative information we need to be able to determine the desired conditional probability distribution. It is also shown how we can find that probability distribution by performing operations locally, that is, over subspaces of the joint distribution. In this way, we can exploit the conditional independence present in the model to avoid having to construct or manipulate the full joint distribution. These results are extended to include maximal processing when the information available is incomplete, and optimal decision making in an uncertain environment. Influence diagrams as a computer-aided modeling tool were developed by Miller, Merkofer, and Howard [5] and extended by Howard and Matheson [2]. Good descriptions of how to use them in modeling are in Owen [7] and Howard and Matheson [2]. The notion of solving a decision problem through influence diagrams was examined by Olmsted [6] and such an algorithm was developed by Shachter [8]. The latter paper also shows how influence diagrams can be used to perform a variety of sensitivity analyses. This paper extends those results by developing a theory of the properties of the diagram that are used by the algorithm, and the information needed to solve arbitrary probability inference problems. Section 2 develops the notation and the framework for the paper and the relationship between influence diagrams and joint probability distributions. The general probabilistic inference problem is posed in Section 3. In Section 4 the transformations on the diagram are developed and then put together into a solution procedure in Section 5. In Section 6, this procedure is used to calculate the information requirement to solve an inference problem and the maximal processing that can be performed with incomplete information. Section 7 contains a summary of results.


title: Developing and Analyzing Boundary Detection Operators Using Probabilistic Models

abstract: Most feature detectors such as edge detectors or circle finders are statistical, in the sense that they decide at each point in an image about the presence of a feature, this paper describes the use of Bayesian feature detectors.


title: Strong & Weak Methods: A Logical View of Uncertainty

abstract: The last few years has seen a growing debate about techniques for managing uncertainty in AI systems. Unfortunately this debate has been cast as a rivalry between AI methods and classical probability based ones. Three arguments for extending the probability framework of uncertainty are presented, none of which imply a challenge to classical methods. These are (1) explicit representation of several types of uncertainty, specifically possibility and plausibility, as well as probability, (2) the use of weak methods for uncertainty management in problems which are poorly defined, and (3) symbolic representation of different uncertainty calculi and methods for choosing between them.


abstract: It is proposed to apply modern methods of nonlinear nonequilibrium statistical mechanics to develop software algorithms that will optimally respond to targets within short response times with minimal computer resources. This Statistical Mechanics Algorithm for Response to Targets (SMART) can be developed with a view towards its future implementation into a hardwired Statistical Algorithm Multiprocessor (SAM) to enhance the efficiency and speed of response to targets (SMART_SAM).


title: Probabilistic Conflict Resolution in Hierarchical Hypothesis Spaces

abstract: Artificial intelligence applications such as industrial robotics, military surveillance, and hazardous environment clean-up, require situation understanding based on partial, uncertain, and ambiguous or erroneous evidence. It is necessary to evaluate the relative likelihood of multiple possible hypotheses of the (current) situation faced by the decision making program. Often, the evidence and hypotheses are hierarchical in nature. In image understanding tasks, for example, evidence begins with raw imagery, from which ambiguous features are extracted which have multiple possible aggregations providing evidential support for the presence of multiple hypothesis of objects and terrain, which in turn aggregate in multiple ways to provide partial evidence for different interpretations of the ambient scene. Information fusion for military situation understanding has a similar evidence/hypothesis hierarchy from multiple sensor through message level interpretations, and also provides evidence at multiple levels of the doctrinal hierarchy of military forces.


title: Knowledge Structures and Evidential Reasoning in Decision Analysis

abstract: The roles played by decision factors in making complex subject are decisions are characterized by how these factors affect the overall decision. Evidence that partially matches a factor is evaluated, and then effective computational rules are applied to these roles to form an appropriate aggregation of the evidence. The use of this technique supports the expression of deeper levels of causality, and may also preserve the cognitive structure of the decision maker better than the usual weighting methods, certainty-factor or other probabilistic models can.


title: Environment-induced anisotropy and the sensitivity of the radical pair mechanism in the avian compass

abstract: Several experiments over the years have shown that the Earth's magnetic field is essential for orientation in birds migration. The most promising explanation for this orientation is the photo-stimulated radical pair (RP) mechanism. In order to define a reference frame for the orientation task radicals must have an intrinsic anisotropy. We show that this kind of anisotropy, and consequently the entanglement in the model, are not necessary for the proper functioning of the compass. Classically correlated initial conditions for the RP, subjected to a fast decoherence process, are able to provide the anisotropy required. Even a dephasing environment can provide the necessary frame for the compass to work, and also implies fast decay of any quantum correlation in the system without damaging the orientation ability. This fact significantly expands the range of applicability of the RP mechanism providing more elements for experimental search.


title: Nonlinearity and linearity, friends or enemies? Algebraic Analyzation of Science:)

abstract: Certain operator-valued functions and new generating structures (instead of generating functionals) are proposed for the analysis of equations for n-point information (n-pi). Some remarks are made concerning the intertwining of linearity and nonlinearity, and functions defined on non-numerical objects.


title: Steps towards a solution of the FS Aurigae puzzle. II. Confirmation of the intermediate polar status

abstract: FS Aur is famous for a variety of uncommon and puzzling periodic photometric and spectroscopic variabilities. It was previously proposed that the precession of a fast-rotating magnetically accreting white dwarf can successfully explain these phenomena. We present a study of FS Aur based on two extensive sets of optical photometric observations and three X-ray data sets in which we intended to verify whether the observational properties of the long period modulations observed in FS Aur and V455 And are similar in appearance to the spin modulation in ordinary IPs. These new optical observations have revealed, for the first time in photometric data, the variability with the presumed precession period of the white dwarf, previously seen only spectroscopically. We also found that the modulations with the precession and orbital periods are evident in X-ray data. We show that the observed properties of FS Aur closely resemble those of other intermediate polars, thus confirming this cataclysmic variable as a member of the class. Our analysis of multicolour observations of intermediate polars has shown that time-series analysis of colour indices appears to be a powerful technique for revealing hidden variabilities and shedding light on their nature. We have found that the (B-I) power spectrum of V1223 Sgr indicates the presence in the data of the spin pulsation which is not seen in the optical light curve at all. Also, the analysis of the colour indices of V455 And revealed the presence of the photometric variations which, similarly to FS Aur, was previously observed only spectroscopically.


title: LSST's DC Bias Against Planets and Galactic-Plane Science

abstract: An LSST-like survey of the Galactic plane (deep images every 3-4 days) could probe the Galactic distribution of planets by two distinct methods: gravitational microlensing of planets beyond the snow line and transits by planets very close to their hosts. The survey would identify over 250 disk-lens/disk-source microlensing events per year that peak at r<19, including 10% reaching the high magnification A>100 that makes them especially sensitive to planets. Intensive followup of these events would be required to find planets, similar to what is done presently for Galactic bulge microlensing. The same data would enable a wealth of other science, including detection of isolated black holes, systematic study of brown-dwarf binaries, a pre-explosion lightcurve of the next Galactic supernova, pre-explosion lightcurves of stellar mergers, early nova lightcurves, proper motions of many more stars than can be reached by GAIA, and probably much more. As usual, the most exciting discoveries from probing the huge parameter space encompassed by Galactic-plane stellar populations might well be serendipitous. Unfortunately, the LSST collaboration plans to exclude the first and fourth quadrants of the Galactic plane from their "synoptic" observations because the DC image that resulted from repeated observations would be limited by crowding. I demonstrate that the majority of this science can be recovered by employing well-developed image subtraction analysis methods, and that the cost to other (high Galactic latitude) science would be negligible.


title: Convergence of AMR and SPH simulations - I. Hydrodynamical resolution and convergence tests

abstract: We compare the results for a set of hydrodynamical tests performed with the AMR finite volume code, MG and the SPH code, SEREN. The test suite includes shock tube tests, with and without cooling, the non-linear thin-shell instability and the Kelvin-Helmholtz instability. The main conclusions are : (i) the two methods converge in the limit of high resolution and accuracy in most cases. All tests show good agreement when numerical effects (e.g. discontinuities in SPH) are properly treated. (ii) Both methods can capture adiabatic shocks and well-resolved cooling shocks perfectly well with standard prescriptions. However, they both have problems when dealing with under-resolved cooling shocks, or strictly isothermal shocks, at high Mach numbers. The finite volume code only works well at 1st order and even then requires some additional artificial viscosity. SPH requires either a larger value of the artificial viscosity parameter, alpha_AV, or a modified form of the standard artificial viscosity term using the harmonic mean of the density, rather than the arithmetic mean. (iii) Some SPH simulations require larger kernels to increase neighbour number and reduce particle noise in order to achieve agreement with finite volume simulations. However, this is partly due to the need to reduce noise that can corrupt the growth of small-scale perturbations. In contrast, instabilities seeded from large-scale perturbations do not require more neighbours and hence work well with standard SPH formulations and converge with the finite volume simulations. (iv) For purely hydrodynamical problems, SPH simulations take an order of magnitude longer to run than finite volume simulations when running at equivalent resolutions, i.e. when they both resolve the underlying physics to the same degree. This requires about 2-3 times as many particles as the number of cells.


title: Three-dimensional orbits of the triple-O stellar system HD 150136

abstract: Context. HD 150136 is a triple hierarchical system and a non-thermal radio emitter. It is formed by an O3-3.5 V + O5.5-6 V close binary and a more distant O6.5-7 V tertiary. So far, only the inner orbital properties have been reliably constrained. Aims. To quantitatively understand the non-thermal emission process, accurate knowledge of the physical and orbital properties of the object is crucial. Here, we aim to investigate the orbital properties of the wide system and to constrain the inclinations of the inner and outer binaries, and with these the absolute masses of the system components. Methods. We used the PIONIER combiner at the Very Large Telescope Interferometer to obtain the very first interferometric measurements of HD 150136. We combined the interferometric observations with new and existing high resolution spectroscopic data to derive the orbital solution of the outer companion in the three-dimensional space. Results. The wide system is clearly resolved by PIONIER, with a projected separation on the plane of the sky of about 9 milli-arcsec. The best-fit orbital period, eccentricity, and inclination are 8.2 yr, 0.73 and 108 degr. We constrain the masses of the three stars of the system to 63 +/- 10, 40 +/- 6, and 33 +/- 12 Msun for the O3-3.5 V, O5.5-6 V and O6.5-7 V components. Conclusions. The dynamical masses agree within errors with the evolutionary masses of the components. Future interferometric and spectroscopic monitoring of HD 150136 should allow one to reduce the uncertainties to a few per cent only and to accurately constrain the distance to the system. This makes HD 150136 an ideal system to quantitatively test evolutionary models of high-mass stars as well as the physics of non-thermal processes occurring in O-type systems.


title: Decoupling of High Dimension Operators from the Low Energy Sector in Holographic Models

abstract: We study the decoupling of high dimension operators from the the description of the low-energy spectrum in theories where conformal symmetry is broken by a single scale, which we refer to as `broken CFTs'. Holographic duality suggests that this decoupling occurs in generic backgrounds. We show how the decoupling of high mass states in the (d+1)-dimensional bulk relates to the decoupling of high energy states in the d-dimensional broken CFT. In other words, we explain why both high dimension operators and high mass states in the CFT decouple from the low-energy physics of the mesons and glueballs. In many cases, the decoupling can occur exponentially fast in the dimension of the operator. Holography motivates a new kind of form factor proportional to the two point function between broken CFT operators with very different scaling dimensions. This new notion of decoupling can provide a systematic justification for holographic descriptions of QCD and condensed matter systems with only light degrees of freedom in the bulk.


title: The Universality of the Companion Mass Ratio Distribution

abstract: We present new results regarding the companion mass-ratio distribution (CMRD) of stars, as a follow-up of our previous work. We used a maximum-likelihood-estimation method to re-derive the field CMRD power law avoiding dependence on the arbitrary binning. We also considered two new surveys of multiples in the field for solar-type stars and M dwarfs to test the universality of the CMRD. We found no significant differences in the CMRD for M dwarfs and solar-type stars compared with previous results over the common mass ratio and separation range. The new best-fit power law of the CMRD in the field, combining two previous sets of data, is $dN/dq \propto q^{\beta}$, with $\beta=0.25\pm0.29$.


title: Constraints on New Neutrino Interactions via Light Abelian Vector Bosons

abstract: We calculate new constraints on extra neutrino interactions via light Abelian vector bosons, where the boson mass arises from Stuckelberg mechanism. We use the requirement that $Z$, $W$, and kaon decays, as well as electron-neutrino scattering, are not altered by the new interactions beyond what is allowed by experimental uncertainties. These constraints are strong and apply to neutrinophilic dark matter, where interactions of neutrinos and dark matter via a new gauge boson are important. In particular, we show that models where neutrino interactions are needed to solve the small-scale structure problems in the $\Lambda$CDM cosmology are constrained.

categories: hep-ph astro-ph.CO astro-ph.HE hep-ex nucl-ex


title: Dark Matter Detectors as Dark Photon Helioscopes

abstract: Light new particles with masses below 10 keV, often considered as a plausible extension of the Standard Model, will be emitted from the solar interior, and can be detected on the Earth with a variety of experimental tools. Here we analyze the new "dark" vector state V, a massive vector boson mixed with the photon via an angle kappa, that in the limit of the small mass m_V has its emission spectrum strongly peaked at low energies. Thus, we utilize the constraints on the atomic ionization rate imposed by the results of the XENON10 experiment to set the limit on the parameters of this model: kappa times m_V< 3 times10^{-12} eV. This makes low-threshold Dark Matter experiments the most sensitive dark vector helioscopes, as our result not only improves current experimental bounds from other searches by several orders of magnitude, but also surpasses even the most stringent astrophysical and cosmological limits in a seven-decade-wide interval of m_V. We generalize this approach to other light exotic particles, and set the most stringent direct constraints on "mini-charged" particles.


title: Large Scale Structure Constraints for a Class of f(R) Theories of Gravity

abstract: Over the last few years much attention has been given to the study of modified gravity theories in order to find a more natural explanation for the late time acceleration of the Universe. Nevertheless, a comparison of the matter power spectrum predictions made by these theories with available data has not yet been subjected to a detailed analysis. In the context of f(R) theories of gravity we study the predicted power spectra using both a dynamical systems approach for the background and solving for the matter perturbations without using the quasi-static approximation, comparing the theoretical results with several SDSS data. The importance of studying the first order perturbed equations by assuming the correct background evolution and the relevance of the initial conditions are also stressed. We determine the statistical significance in relation to the observational data and demonstrate their conflict with existing observations.


title: Millijansky Radio Variability in SDSS Stripe 82

abstract: We report on a blind survey for extragalactic radio variability that was carried out by comparing two epochs of data from the FIRST survey with a third epoch from a new 1.4 GHz survey of SDSS Stripe 82. The three epochs are spaced seven years apart and have an overlapping area of 60 deg^2. We uncover 89 variable sources down to the millijansky level, 75 of which are newly-identified, and we find no evidence for transient phenomena. This new sample of variable sources allows us to infer an upper limit to the mean characteristic timescale of AGN radio variability of 14 years. We find that only 1% of extragalactic sources have fractional variability f_var >3, while 44% of Galactic sources vary by this much. The variable sample contains a larger fraction of quasars than a comparable non-variable control sample, though the majority of the variable sources appear to be extended galaxies in the optical. This implies that either quasars are not the dominant contributor to the variability of the sample, or that the deep optical data allow us to detect the host galaxies of some low-z quasars. We use the new, higher resolution data to report on the morphology of the variable sources. Finally, we show that the fraction of sources that are variable remains constant or increases at low flux densities. This may imply that next generation radio surveys with telescopes like the Australian Square Kilometer Array Pathfinder and MeerKAT will see a constant or even increasing fraction of variable sources down into the submillijansky regime.


title: Higgsogenesis

abstract: In addition to explaining the masses of elementary particles, the Higgs boson may have far-reaching implications for the generation of the matter content in the Universe. For instance, the Higgs plays a key role in two main theories of baryogenesis, namely electroweak baryogenesis and leptogenesis. In this letter, we propose a new cosmological scenario where the Higgs chemical potential mediates asymmetries between visible and dark matter sectors, either generating a baryon asymmetry from a dark matter asymmetry or vice-versa. We illustrate this mechanism with a simple model with two new fermions coupled to the Higgs and discuss associated signatures.


title: Turbulence driven by structure formation in the circum-galactic medium

abstract: The injection of turbulence in the circum-galactic medium at redshift z = 2 is investigated using the mesh-based hydrodynamic code Enzo and a subgrid-scale (SGS) model for unresolved turbulence. Radiative cooling and heating by a uniform Ultraviolet (UV) background are included in our runs and compared with the effect of turbulence modelling. Mechanisms of gas exchange between galaxies and the surrounding medium, as well as metal enrichment, are not taken into account, and turbulence is here driven solely by structure formation (mergers and shocks). We find that turbulence, both at resolved and SGS scales, impacts mostly the warm-hot intergalactic medium (WHIM), with temperature between 10^5 and 10^7 K, mainly located around collapsed and shock heated structures, and in filaments. Typical values of the ratio of turbulent to thermal pressure is 0.1 in the WHIM, corresponding to a volume-weighted average of the SGS turbulent to thermal Doppler broadening b_t / b_therm = 0.26, on length scales below the grid resolution of 25 kpc/h. In the diffuse intergalactic medium (IGM), defined in a range of baryon overdensity \delta\ between 1 and 50, the importance of turbulence is smaller, but grows as a function of gas density, and the Doppler broadening ratio is fitted by the function b_t / b_therm = 0.023 \delta^{0.58}.


title: Composition of Low Redshift Halo Gas

abstract: Halo gas in low-z (z<0.5) >0.1L* galaxies in high-resolution, large-scale cosmological hydrodynamic simulations is examined with respect to three components: (cold, warm, hot) with temperatures equal to (<10^5, 10^{5-6}, >10^6)K, respectively. The warm component is compared, utilizing O VI \lambda\lambda 1032, 1038 absorption lines, to observations and agreement is found with respect to the galaxy-O VI line correlation, the ratio of O VI line incidence rate in blue to red galaxies and the amount of O VI mass in star-forming galaxies. A detailed account of the sources of warm halo gas (stellar feedback heating, gravitational shock heating and accretion from the intergalactic medium), inflowing and outflowing warm halo gas metallicity disparities and their dependencies on galaxy types and environment is also presented. Having the warm component securely anchored, our simulations make the following additional predictions. First, cold gas is the primary component in inner regions, with its mass comprising 50% of all gas within galacto-centric radius r=(30,150)kpc in (red, blue) galaxies. Second, at r>(30,200)kpc in (red, blue) galaxies the hot component becomes the majority. Third, the warm component is a perpetual minority, with its contribution peaking at ~30% at r=100-300kpc in blue galaxies and never exceeding 5% in red galaxies. The significant amount of cold gas in low-z early-type galaxies found in simulations, in agreement with recent observations (Thom et al.), is intriguing, so is the dominance of hot gas at large radii in blue galaxies.


title: An effective network reduction approach to find the dynamical repertoire of discrete dynamic networks

abstract: Discrete dynamic models are a powerful tool for the understanding and modeling of large biological networks. Although a lot of progress has been made in developing analysis tools for these models, there is still a need to find approaches that can directly relate the network structure to its dynamics. Of special interest is identifying the stable patterns of activity, i.e., the attractors of the system. This is a problem for large networks, because the state space of the system increases exponentially with network size. In this work we present a novel network reduction approach that is based on finding network motifs that stabilize in a fixed state. Notably, we use a topological criterion to identify these motifs. Specifically, we find certain types of strongly connected components in a suitably expanded representation of the network. To test our method we apply it to a dynamic network model for a type of cytotoxic T cell cancer and to an ensemble of random Boolean networks of size up to 200. Our results show that our method goes beyond reducing the network and in most cases can actually predict the dynamical repertoire of the nodes (fixed states or oscillations) in the attractors of the system.


title: Neutrino masses and mixing in A4 models with three Higgs doublets

abstract: We study neutrino masses and mixing in the context of flavor models with A4 symmetry, three scalar doublets in the triplet representation, and three lepton families. We show that there is no representation assignment that yields a dimension-five mass operator consistent with experiment. We then consider a type-I seesaw with three heavy right-handed neutrinos, explaining in detail why it fails, and showing with a numerical example that agreement with the present neutrino oscillation data can be recovered with the inclusion of dimension-three heavy neutrino mass terms that break softly the A4 symmetry.


title: Arbitrary non-paraxial accelerating periodic beams and spherical shaping of light

abstract: We report the observation of arbitrary accelerating beams designed using a non-paraxial description of optical caustics. We use a spatial light modulator-based setup and techniques of Fourier optics to generate circular and Weber beams subtending over 95 degrees of arc. Applying a complementary binary mask also allows the generation of periodic accelerating beams taking the forms of snake-like trajectories, and the application of a rotation to the caustic allows the first experimental synthesis of optical accelerating beams upon the surface of a sphere in three dimensions.


title: Spontaneous knotting and unknotting of flexible linear polymers: equilibrium and kinetic aspects

abstract: We report on a computational study of the statics and dynamics of long flexible linear polymers that spontaneously knot and unknot. Specifically, the equilibrium self-entanglement properties, such as the knotting probability, knot length and position, are investigated with extensive Monte Carlo sampling of chains of up to 15,000 beads. Tens of such equilibrated chains of up to 4, 096 beads are next used as starting points for Langevin dynamics simulations. The complex interplay of chain dynamics and self-knotting is addressed by monitoring the time evolution of various metric and entanglement properties. In particular, the extensive duration of the simulations allows for observing the spontaneous formation and disappearance of prime and composite physical knots in linear chains. Notably, a sizeable fraction of self-knotting and unknotting events is found to involve regions that are far away from the chain termini. To the best of our knowledge this represents the first instance where spontaneous changes in knotting for linear homopolymers are systematically characterized using unbiased dynamics simulations.


title: Uniformly factoring weakly compact operators

abstract: Let $X$ and $Y$ be separable Banach spaces. Suppose $Y$ either has a shrinking basis or $Y$ is isomorphic to $C(2^\mathbb{N})$ and $A$ is a subset of weakly compact operators from $X$ to $Y$ which is analytic in the strong operator topology. We prove that there is a reflexive space with a basis $Z$ such that every $T \in A$ factors through $Z$. Likewise, we prove that if $A \subset L(X, C(2^\mathbb{N}))$ is a set of operators whose adjoints have separable range and is analytic in the strong operator topology then there is a Banach space $Z$ with separable dual such that every $T \in A$ factors through $Z$. Finally we prove a uniformly version of this result in which we allow the domain and range spaces to vary.


title: Effect of charged line defects on conductivity in graphene: numerical Kubo and analytical Boltzmann approaches

abstract: Charge carrier transport in single-layer graphene with one-dimensional charged defects is studied theoretically. Extended charged defects, considered an important factor for mobility degradation in chemically-vapor-deposited graphene, are described by a self-consistent Thomas-Fermi potential. A numerical study of electronic transport is performed by means of a time-dependent real-space Kubo approach in honeycomb lattices containing millions of carbon atoms, capturing the linear response of realistic size systems in the highly disordered regime. Our numerical calculations are complemented with a kinetic transport theory describing charge transport in the weak scattering limit. The semiclassical transport lifetimes are obtained by computing scattered amplitudes within the second Born approximation. The transport electron-hole asymmetry found in the semiclassical approach is consistent with the Kubo calculations. In the strong scattering regime, the conductivity is found to be a sublinear function of electronic density and weakly dependent on the Thomas-Fermi screening wavelength. We attribute this atypical behavior to the extended nature of one-dimensional charged defects. Our results are consistent with recent experimental reports.


title: Gravitational Wave Tests of General Relativity with Ground-Based Detectors and Pulsar Timing Arrays

abstract: This review is focused on tests of Einstein's theory of General Relativity with gravitational waves that are detectable by ground-based interferometers and pulsar timing experiments. Einstein's theory has been greatly constrained in the quasi-linear, quasi-stationary regime, where gravity is weak and velocities are small. Gravitational waves will allow us to probe a complimentary, yet previously unexplored regime: the non-linear and dynamical strong-field regime. Such a regime is, for example, applicable to compact binaries coalescing, where characteristic velocities can reach fifty percent the speed of light and compactnesses can reach a half. This review begins with the theoretical basis and the predicted gravitational wave observables of modified gravity theories. The review continues with a brief description of the detectors, including both gravitational wave interferometers and pulsar timing arrays, leading to a discussion of the data analysis formalism that is applicable for such tests. The review ends with a discussion of gravitational wave tests for compact binary systems.

categories: gr-qc astro-ph.CO astro-ph.HE hep-ph hep-th


title: The synergy between the Dark Energy Survey and the South Pole Telescope

abstract: The Dark Energy Survey (DES) has recently completed the Science Verification phase (SV), collecting data over 150 sq. deg. of sky. In this work we analyze to what extent it is beneficial to supplement the analysis of DES data with CMB lensing data. We provide forecasts for both DES-SV and for the full survey covering 5000 sq. deg. We show that data presently available from DES-SV and SPT-SZ would allow a ~ 8% measurement of the linear galaxy bias in three out of four redshift bins. We further show that a joint analysis of cosmic shear, galaxy density and CMB lensing data allows to break the degeneracy between the shear multiplicative bias, the linear galaxy bias and the normalization of the matter power spectrum. We show that these observables can thus be self calibrated to the percent or sub-percent level, depending on the quality of available data, fraction of overlap of the footprints and priors included in the analysis.


title: Fermi Discovers a New Population of Gamma-ray Novae

abstract: Novae had not been widely considered as high-energy (>100 MeV) gamma-ray sources before the launch of the Fermi Large Area Telescope (LAT). In March 2010, the LAT made the first gamma-ray detection of a nova in the symbiotic binary V407 Cygni. The LAT observations uniquely probed the high-energy particle acceleration mechanism in the environs of the V407 Cyg binary system consisting of a white dwarf and its red giant companion. Subsequently in June 2012, two more novae were detected with the LAT, Nova Sco 2012 and Nova Mon 2012, thus heralding novae as a new gamma-ray source class. For Nova Mon 2012, the gamma-ray transient source was discovered first, followed by the optical confirmation of the nova, showcasing how novae can be found with the LAT independently from traditional optical searches. We discuss the LAT detected gamma-ray novae together with observational limits on other optical novae over the first four years of the Fermi mission and reconsider the possible high-energy gamma-ray production mechanisms in novae in light of the new detections.


title: Intrinsic Spin Hall Effect at Oxide Interfaces: a Simple Model

abstract: An asymmetric triangular potential well provides the simplest model for the confinement of mobile electrons at the interface between two insulating oxides, such as LaAlO_3 and SrTiO_3 (LAO/STO). These electrons have been recently shown to exhibit a large spin-orbit coupling of the Rashba type, i.e., linear in the in-plane momentum. In this paper we study the intrinsic spin Hall effect due to Rashba coupling in an asymmetric triangular potential well. Besides splitting each subband into two branches of opposite helicity, the spin-orbit interaction causes the wave function in the direction perpendicular to the plane of the quantum well (the z direction) to depend on the in-plane wave vector k. In contrast to the extreme asymmetric case, i.e., the wedge-shaped quantum well, for which the intrinsic spin Hall effect vanishes due to vertex corrections, we find that the asymmetric well supports a non-vanishing intrinsic spin Hall conductivity, which increases in magnitude as the well becomes more symmetric. The spin Hall conductivity is found to be proportional to the square of the spin-orbit coupling constant and, in the limit of low carrier density, depends only on the effective mass renormalization associated with the k-dependence of the wave functions in the z direction. Its origin lies in the non-vanishing matrix elements of the spin current between subbands corresponding to different states of quantized motion perpendicular to the plane of the well.


title: Concurrent learning-based approximate optimal regulation

abstract: In deterministic systems, reinforcement learning-based online approximate optimal control methods typically require a restrictive persistence of excitation (PE) condition for convergence. This paper presents a concurrent learning-based solution to the online approximate optimal regulation problem that eliminates the need for PE. The development is based on the observation that given a model of the system, the Bellman error, which quantifies the deviation of the system Hamiltonian from the optimal Hamiltonian, can be evaluated at any point in the state space. Further, a concurrent learning-based parameter identifier is developed to compensate for parametric uncertainty in the plant dynamics. Uniformly ultimately bounded (UUB) convergence of the system states to the origin, and UUB convergence of the developed policy to the optimal policy are established using a Lyapunov-based analysis, and simulations are performed to demonstrate the performance of the developed controller.


title: Sparse Stable Matrices

abstract: In the design of decentralized networked systems, it is useful to know whether a given network topology can sustain stable dynamics. We consider a basic version of this problem here: given a vector space of sparse real matrices, does it contain a stable (Hurwitz) matrix? Said differently, is a feedback channel (corresponding to a non-zero entry) necessary for stabilization or can it be done without. We provide in this paper a set of necessary and a set of sufficient conditions for the existence of stable matrices in a vector space of sparse matrices. We further prove some properties of the set of sparse matrix spaces that contain Hurwitz matrices. The conditions we exhibit are most easily stated in the language of graph theory, which we thus adopt in this paper.


title: Approximate optimal cooperative decentralized control for consensus in a topological network of agents with uncertain nonlinear dynamics

abstract: Efforts in this paper seek to combine graph theory with adaptive dynamic programming (ADP) as a reinforcement learning (RL) framework to determine forward-in-time, real-time, approximate optimal controllers for distributed multi-agent systems with uncertain nonlinear dynamics. A decentralized continuous time-varying control strategy is proposed, using only local communication feedback from two-hop neighbors on a communication topology that has a spanning tree. An actor-critic-identifier architecture is proposed that employs a nonlinear state derivative estimator to estimate the unknown dynamics online and uses the estimate thus obtained for value function approximation.


title: Friendship Paradox Redux: Your Friends Are More Interesting Than You

abstract: Feld's friendship paradox states that "your friends have more friends than you, on average." This paradox arises because extremely popular people, despite being rare, are overrepresented when averaging over friends. Using a sample of the Twitter firehose, we confirm that the friendship paradox holds for >98% of Twitter users. Because of the directed nature of the follower graph on Twitter, we are further able to confirm more detailed forms of the friendship paradox: everyone you follow or who follows you has more friends and followers than you. This is likely caused by a correlation we demonstrate between Twitter activity, number of friends, and number of followers. In addition, we discover two new paradoxes: the virality paradox that states "your friends receive more viral content than you, on average," and the activity paradox, which states "your friends are more active than you, on average." The latter paradox is important in regulating online communication. It may result in users having difficulty maintaining optimal incoming information rates, because following additional users causes the volume of incoming tweets to increase super-linearly. While users may compensate for increased information flow by increasing their own activity, users become information overloaded when they receive more information than they are able or willing to process. We compare the average size of cascades that are sent and received by overloaded and underloaded users. And we show that overloaded users post and receive larger cascades and they are poor detector of small cascades.

categories: cs.SI cs.CY nlin.AO physics.soc-ph stat.AP


title: Quadruply-graded colored homology of knots

abstract: We conjecture the existence of four independent gradings in the colored HOMFLY homology. We describe these gradings explicitly for the rectangular colored homology of torus knots and make qualitative predictions of various interesting structures and symmetries in the colored homology of general knots. We also give a simple representation-theoretic model for the HOMFLY homology of the unknot colored by any representation. While some of these structures have a natural interpretation in the physical realization of knot homologies based on counting supersymmetric configurations (BPS states, instantons, and vortices), others are completely new. They suggest new geometric and physical realizations of colored HOMFLY homology as the Hochschild homology of the category of branes in a Landau-Ginzburg B-model or, equivalently, in the mirror A-model. Supergroups and supermanifolds are surprisingly ubiquitous in all aspects of this work.


title: Variant N= 1 Supersymmetric Non-Abelian Proca-Stueckelberg Formalism in Four Dimensions

abstract: We present a new (variant) formulation of N=1 supersymmetric compensator mechanism for an arbitrary non-Abelian group in four dimensions. We call this `variant supersymmetric non-Abelian Proca-Stueckelberg formalism'. Our field content is economical, consisting only of the two multiplets: (i) A Non-Abelian vector multiplet (A_\mu{}^I, \lambda^I, C_{\mu\nu\rho}{}^I) and (ii) A compensator tensor multiplet (B_{\mu\nu}{}^I, \chi^I, \varphi^I). The index I is for the adjoint representation of a non-Abelian gauge group. The C_{\mu\nu\rho}{}^I is originally an auxiliary field Hodge-dual to the conventional auxiliary field D^I. The \varphi^I and B_{\mu\nu}{}^I are compensator fields absorbed respectively into the longitudinal components of A_\mu{}^I and C_{\mu\nu\rho}{}^I which become massive. After the absorption, C_{\mu\nu\rho}{}^I becomes no longer auxiliary, but starts propagating as a massive scalar field. We fix all non-trivial cubic interactions in the total lagrangian, and quadratic interactions in all field equations. The superpartner fermion \chi^I acquires a Dirac mass shared with the gaugino \lambda^I. As an independent confirmation, we give the superspace re-formulation of the component results.