Explicit Evidence Systems with Common Knowledge

Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge. We define a Kripke-style semantics that is similar to Fitting's semantics for the Logic of Proofs LP. We show the soundness, completeness, and finite model property of our multi-agent justification logic with respect to this Kripke-style semantics. We demonstrate that our logic is a conservative extension of Yavorskaya's minimal bimodal explicit evidence logic, which is a two-agent version of LP. We discuss the relationship of our logic to the multi-agent modal logic S4 with common knowledge. Finally, we give a brief analysis of the coordinated attack problem in the newly developed language of our logic

Marginal Pinning of Quenched Random Polymers

An elastic string embedded in 3D space and subject to a short-range correlated random potential exhibits marginal pinning at high temperatures, with the pinning length $L_c(T)$ becoming exponentially sensitive to temperature. Using a functional renormalization group (FRG) approach we find $L_c(T) \propto \exp[(32/\pi)(T/T_{\rm dp})^3]$, with $T_{\rm dp}$ the depinning temperature. A slow decay of disorder correlations as it appears in the problem of flux line pinning in superconductors modifies this result, $\ln L_c(T)\propto T^{3/2}$.Comment: 4 pages, RevTeX, 1 figure inserte

Impact of long-range interactions on the disordered vortex lattice

The interaction between the vortex lines in a type-II superconductor is mediated by currents. In the absence of transverse screening this interaction is long-ranged, stiffening up the vortex lattice as expressed by the dispersive elastic moduli. The effect of disorder is strongly reduced, resulting in a mean-squared displacement correlator = characterized by a mere logarithmic growth with distance. Finite screening cuts the interaction on the scale of the London penetration depth \lambda and limits the above behavior to distances R<\lambda. Using a functional renormalization group (RG) approach, we derive the flow equation for the disorder correlation function and calculate the disorder-averaged mean-squared relative displacement \propto ln^{2\sigma} (R/a_0). The logarithmic growth (2\sigma=1) in the perturbative regime at small distances [A.I. Larkin and Yu.N. Ovchinnikov, J. Low Temp. Phys. 34, 409 (1979)] crosses over to a sub-logarithmic growth with 2\sigma=0.348 at large distances.Comment: 9 pages, no figure

Functional Renormalization Group and the Field Theory of Disordered Elastic Systems

We study elastic systems such as interfaces or lattices, pinned by quenched disorder. To escape triviality as a result of ``dimensional reduction'', we use the functional renormalization group. Difficulties arise in the calculation of the renormalization group functions beyond 1-loop order. Even worse, observables such as the 2-point correlation function exhibit the same problem already at 1-loop order. These difficulties are due to the non-analyticity of the renormalized disorder correlator at zero temperature, which is inherent to the physics beyond the Larkin length, characterized by many metastable states. As a result, 2-loop diagrams, which involve derivatives of the disorder correlator at the non-analytic point, are naively "ambiguous''. We examine several routes out of this dilemma, which lead to a unique renormalizable field-theory at 2-loop order. It is also the only theory consistent with the potentiality of the problem. The beta-function differs from previous work and the one at depinning by novel "anomalous terms''. For interfaces and random bond disorder we find a roughness exponent zeta = 0.20829804 epsilon + 0.006858 epsilon^2, epsilon = 4-d. For random field disorder we find zeta = epsilon/3 and compute universal amplitudes to order epsilon^2. For periodic systems we evaluate the universal amplitude of the 2-point function. We also clarify the dependence of universal amplitudes on the boundary conditions at large scale. All predictions are in good agreement with numerical and exact results, and an improvement over one loop. Finally we calculate higher correlation functions, which turn out to be equivalent to those at depinning to leading order in epsilon.Comment: 42 pages, 41 figure

Corporate political activity in less developed countries:The Volta River Project in Ghana, 1958-66

The article expands existing categorisations of political and economic governance by including literature on less developed countries (LDCs). In four consecutive negotiations between the US multinational Kaisers and the US and Ghana governments in the early 1960s, it is argued that the company reached levels of influence that are at odds with existing explanations. In order to understand corporate political activities in LDCs, analysis needs to go beyond static factors (political risk) and include dynamic factors such as diplomatic relations and 'arenas of power', and consider the role of the investor's home country relative to the host economy

Conceptualizing historical organization studies

© 2016 Academy of Management Review. The promise of a closer union between organizational and historical research has long been recognized. However, its potential remains unfulfilled: The authenticity of theory development expected by organization studies and the authenticity of historical veracity required by historical research place exceptional conceptual and empirical demands on researchers. We elaborate the idea of historical organization studies-organizational research that draws extensively on historical data, methods, and knowledge to promote historically informed theoretical narratives attentive to both disciplines. Building on prior research, we propose a typology of four differing conceptions of history in organizational research: History as evaluating, explicating, conceptualizing, and narrating. We identify five principles of historical organization studies-dual integrity, pluralistic understanding, representational truth, context sensitivity, and theoretical fluency-and illustrate our typology holistically from the perspective of institutional entrepreneurship. We explore practical avenues for a creative synthesis, drawing examples from social movement research and microhistory. Historically informed theoretical narratives whose validity derives from both historical veracity and conceptual rigor afford dual integrity that enhances scholarly legitimacy, enriching understanding of historical, contemporary, and future-directed social realities

Glacial Refugia in Pathogens: European Genetic Structure of Anther Smut Pathogens on Silene latifolia and Silene dioica

Climate warming is predicted to increase the frequency of invasions by pathogens and to cause the large-scale redistribution of native host species, with dramatic consequences on the health of domesticated and wild populations of plants and animals. The study of historic range shifts in response to climate change, such as during interglacial cycles, can help in the prediction of the routes and dynamics of infectious diseases during the impending ecosystem changes. Here we studied the population structure in Europe of two Microbotryum species causing anther smut disease on the plants Silene latifolia and Silene dioica. Clustering analyses revealed the existence of genetically distinct groups for the pathogen on S. latifolia, providing a clear-cut example of European phylogeography reflecting recolonization from southern refugia after glaciation. The pathogen genetic structure was congruent with the genetic structure of its host species S. latifolia, suggesting dependence of the migration pathway of the anther smut fungus on its host. The fungus, however, appeared to have persisted in more numerous and smaller refugia than its host and to have experienced fewer events of large-scale dispersal. The anther smut pathogen on S. dioica also showed a strong phylogeographic structure that might be related to more northern glacial refugia. Differences in host ecology probably played a role in these differences in the pathogen population structure. Very high selfing rates were inferred in both fungal species, explaining the low levels of admixture between the genetic clusters. The systems studied here indicate that migration patterns caused by climate change can be expected to include pathogen invasions that follow the redistribution of their host species at continental scales, but also that the recolonization by pathogens is not simply a mirror of their hosts, even for obligate biotrophs, and that the ecology of hosts and pathogen mating systems likely affects recolonization patterns

DSIF and RNA Polymerase II CTD Phosphorylation Coordinate the Recruitment of Rpd3S to Actively Transcribed Genes

Histone deacetylase Rpd3 is part of two distinct complexes: the large (Rpd3L) and small (Rpd3S) complexes. While Rpd3L targets specific promoters for gene repression, Rpd3S is recruited to ORFs to deacetylate histones in the wake of RNA polymerase II, to prevent cryptic initiation within genes. Methylation of histone H3 at lysine 36 by the Set2 methyltransferase is thought to mediate the recruitment of Rpd3S. Here, we confirm by ChIP–Chip that Rpd3S binds active ORFs. Surprisingly, however, Rpd3S is not recruited to all active genes, and its recruitment is Set2-independent. However, Rpd3S complexes recruited in the absence of H3K36 methylation appear to be inactive. Finally, we present evidence implicating the yeast DSIF complex (Spt4/5) and RNA polymerase II phosphorylation by Kin28 and Ctk1 in the recruitment of Rpd3S to active genes. Taken together, our data support a model where Set2-dependent histone H3 methylation is required for the activation of Rpd3S following its recruitment to the RNA polymerase II C-terminal domain

Research strategies for organizational history:a dialogue between historical theory and organization theory

If history matters for organization theory, then we need greater reflexivity regarding the epistemological problem of representing the past; otherwise, history might be seen as merely a repository of ready-made data. To facilitate this reflexivity, we set out three epistemological dualisms derived from historical theory to explain the relationship between history and organization theory: (1) in the dualism of explanation, historians are preoccupied with narrative construction, whereas organization theorists subordinate narrative to analysis; (2) in the dualism of evidence, historians use verifiable documentary sources, whereas organization theorists prefer constructed data; and (3) in the dualism of temporality, historians construct their own periodization, whereas organization theorists treat time as constant for chronology. These three dualisms underpin our explication of four alternative research strategies for organizational history: corporate history, consisting of a holistic, objectivist narrative of a corporate entity; analytically structured history, narrating theoretically conceptualized structures and events; serial history, using replicable techniques to analyze repeatable facts; and ethnographic history, reading documentary sources "against the grain." Ultimately, we argue that our epistemological dualisms will enable organization theorists to justify their theoretical stance in relation to a range of strategies in organizational history, including narratives constructed from documentary sources found in organizational archives. Copyright of the Academy of Management, all rights reserved