Constraints on the omega pi form factor from analyticity and unitarity

Motivated by the discrepancies noted recently between the theoretical calculations of the electromagnetic omega pi form factor and certain experimental data, we investigate this form factor using analyticity and unitarity in a framework known as the method of unitarity bounds. We use a QCD correlator computed on the spacelike axis by operator product expansion and perturbative QCD as input, and exploit unitarity and the positivity of its spectral function, including the two-pion contribution that can be reliably calculated using high-precision data on the pion form factor. From this information, we derive upper and lower bounds on the modulus of the omega pi form factor in the elastic region. The results provide a significant check on those obtained with standard dispersion relations, confirming the existence of a disagreement with experimental data in the region around 0.6 GeV.

Mycobacterium tuberculosis Cell Division Protein, FtsE, is an ATPase in Dimeric Form

FtsE is one of the earliest cell division proteins that assembles along with FtsX at the mid-cell site during cell division in Escherichia coli. Both these proteins are highly conserved across diverse bacterial genera and are predicted to constitute an ABC transporter type complex, in which FtsE is predicted to bind ATP and hydrolyse it, and FtsX is predicted to be an integral membrane protein. We had earlier reported that the MtFtsE of the human pathogen, Mycobacterium tuberculosis, binds ATP and interacts with MtFtsX on the cell membrane of M. tuberculosis and E. coli. In this study, we demonstrate that MtFtsE is an ATPase, the active form of which is a dimer, wherein the participating monomers are held together by non-covalent interactions, with the Cys84 of each monomer present at the dimer interface. Under oxidising environment, the dimer gets stabilised by the formation of Cys84-Cys84 disulphide bond. While the recombinant MtFtsE forms a dimer on the membrane of E. coli, the native MtFtsE seems to be in a different conformation in the M. tuberculosis membrane. Although disulphide bridges were not observed on the cytoplasmic side (reducing environment) of the membrane, the two participating monomers could be isolated as dimers held together by non-covalent interactions. Taken together, these findings show that MtFtsE is an ATPase in the non-covalent dimer form, with the Cys84 of each monomer present in the reduced form at the dimer interface, without participating in the dimerisation or the catalytic activity of the protein.

First-Principles Study on Structural Stability of Belite

A first-principles study was carried out to investigate the stability of the crystal structure of beta-form belite (beta-C2S) substituted by Sr atoms as trace impurities for Ca atoms in CaOx polyhedra. The effect of the connection types of CaOx polyhedral, in the form of common-edge bond and common-face bond, upon the crystal stability is described. The Ca-Ca interatomic distance closely relates to the hydraulic activity of beta-C2S. The beta-C2S substituted by an Sr atom for Ca(1) atoms having seven Ca-O bonds is energetically more stable than that substituted by an Sr atom for Ca(2) atoms having eight Ca-O bonds. The Sr-doped beta-C2S having a common face bond with SrOx polyhedra is energetically more favorable and results in structural stability compared with that having a common edge bond with SrOx polyhedra.

Trace Driven Dynamic Deadlock Detection and Reproduction

Dynamic analysis techniques have been proposed to detect potential deadlocks. Analyzing and comprehending each potential deadlock to determine whether the deadlock is feasible in a real execution requires significant programmer effort. Moreover, empirical evidence shows that existing analyses are quite imprecise. This imprecision of the analyses further void the manual effort invested in reasoning about non-existent defects. In this paper, we address the problems of imprecision of existing analyses and the subsequent manual effort necessary to reason about deadlocks. We propose a novel approach for deadlock detection by designing a dynamic analysis that intelligently leverages execution traces. To reduce the manual effort, we replay the program by making the execution follow a schedule derived based on the observed trace. For a real deadlock, its feasibility is automatically verified if the replay causes the execution to deadlock. We have implemented our approach as part of WOLF and have analyzed many large (upto 160KLoC) Java programs. Our experimental results show that we are able to identify 74% of the reported defects as true (or false) positives automatically leaving very few defects for manual analysis. The overhead of our approach is negligible making it a compelling tool for practical adoption.

Do carboximide-carboxylic acid combinations form co-crystals? The role of hydroxyl substitution on the formation of co-crystals and eutectics

Carboxylic acids, amides and imides are key organic systems which provide understanding of molecular recognition and binding phenomena important in biological and pharmaceutical settings. In this context, studies of their mutual interactions and compatibility through co-crystallization may pave the way for greater understanding and new applications of their combinations. Extensive co-crystallization studies are available for carboxylic acid/amide combinations, but only a few examples of carboxylic acid/imide co-crystals are currently observed in the literature. The non-formation of co-crystals for carboxylic acid/imide combinations has previously been rationalized, based on steric and computed stability factors. In the light of the growing awareness of eutectic mixtures as an alternative outcome in co-crystallization experiments, the nature of various benzoic acid/cyclic imide combinations is established in this paper. Since an additional functional group can provide sites for new intermolecular interactions and, potentially, promote supramolecular growth into a co-crystal, benzoic acids decorated with one or more hydroxyl groups have been systematically screened for co-crystallization with one unsaturated and two saturated cyclic imides. The facile formation of an abundant number of hydroxybenzoic acid/cyclic carboximide co-crystals is reported, including polymorphic and variable stoichiometry co-crystals. In the cases where co-crystals did not form, the combinations are shown invariably to result in eutectics. The presence or absence and geometric disposition of hydroxyl functionality on benzoic acid is thus found to drive the formation of co- crystals or eutectics for the studied carboxylic acid/imide combinations.

Universal anomalous dimensions at large spin and large twist

In this paper we consider anomalous dimensions of double trace operators at large spin (l) and large twist (tau) in CFTs in arbitrary dimensions (d >= 3). Using analytic conformal bootstrap methods, we show that the anomalous dimensions are universal in the limit l >> tau >> 1. In the course of the derivation, we extract an approximate closed form expression for the conformal blocks arising in the four point function of identical scalars in any dimension. We compare our results with two different calculations in holography and find perfect agreement.

Trace Formulae in Operator Theory

In this article, we survey several kinds of trace formulas that one encounters in the theory of single and multi-variable operators. We give some sketches of the proofs, often based on the principle of finite-dimensional approximations to the objects at hand in the formulas.

Style and the “Idea” of the sophist after Plato : the impact of form typology on sophistic teaching and writing on interdisciplinary scholarly work

Resumen: Después de la primera sofística, los sofistas actuaron entre el resto de los pensadores del Mediterráneo como un grupo definido. Dado que hay muchos ejemplos que muestran que los sofistas ejercían sus prácticas y que también eran personas comprometidas en otras actividades, vamos a examinar aquí diversos casos de semejanzas y diferencias entre ellos y otros grupos de pensadores. Nuestras tres preguntas fundamentales son: qué, cómo y por qué los sofistas escribían y enseñaban. Intentaremos responder haciendo un análisis diacrónico de las principales formas y géneros de escritura que produjeron (qué). El cómo lo responderemos en su desenvolvimiento como una actividad comunicativa más allá de las fronteras de las disciplinas de la época. El por qué tendrá su respuesta al enfatizar la necesidad de la actividad de los sofistas en la socialización de la época y en la educación de la antigüedad. Al aseverar que el estilo era la idea de los sofistas, ponemos la noción de idea en Platón en el contexto de idea derivado de los sofistas contemporáneos a él y de los sofistas posteriores (segunda sofística) y centramos el foco en la función de visualidad expresada en su concepto de idea desde las obras sofísticas más tempranas en la época de Platón hasta las contribuciones posteriores.

Closed form solutions of T-stress in plane elasticity crack problems

The T-stress is considered as an important parameter in linear elastic fracture mechanics. In this paper, several closed form solutions of T-stress in plane elasticity crack problems in an infinite plate are investigated using the complex potential theory. In the line crack case, if the applied loading is the remote stress or the concentrated forces, the T-stress can be derived from the basic field. Here, the basic field is defined as the field caused by the applied loading in the infinite plate without the crack. For the circular are crack, the T-stress can be abstracted from a known solution. For the cusp crack problems, the T-stress can be separated from the obtained stress solution for which the conformal mapping technique is used.

The Supercore for Normal Form Games

We study the supercore of a system derived from a normal form game. For the case of a finite game with pure strategies, we define a sequence of games and show that the supercore of that system coincides with the set of Nash equilibrium strategy profiles of the last game in the sequence. This result is illustrated with the characterization of the supercore for the n-person prisoners’ dilemma. With regard to the mixed extension of a normal form game, we show that the set of Nash equilibrium profiles coincides with the supercore for games with a finite number of Nash equilibria. For games with an infinite number of Nash equilibria this need not be no longer the case. Yet, it is not difficult to find a binary relation which guarantees the coincidence of these two sets.