Tracing a Crystallization Pathway of an RT Liquid, 4-Fluorobenzoyl Chloride: Metastable Polytypic Form as an Intermediate Phase

When quenched with liquid N-2, a room temperature liquid, 4-fluorobenzoyl chloride, generates a new crystalline form that appears to be polytypic to the previously reported form. The structural and energetic correlations between these forms trace a crystallization pathway of the compound.

Polymorphism and Phase Transformation Behavior of Solid Forms of 4-Amino-3,5-dinitrobenzamide

We report the preparation, analysis, and phase transformation behavior of polymorphs and the hydrate of 4-amino-3,5-dinitrobenzamide. The compound crystallizes in four different polymorphic forms, Form I (monoclinic, P2(1)/n), Form II (orthorhombic, Pbca), Form III (monoclinic, P2(1)/c), and Form IV (monoclinic, P2(1)/c). Interestingly, a hydrate (triclinic, P (1) over bar) of the compound is also discovered during the systematic identification of the polymorphs. Analysis of the polymorphs has been investigated using hot stage microscopy, differential scanning calorimetry, in situ variable-temperature powder X-ray diffraction, and single-crystal X-ray diffraction. On heating, all of the solid forms convert into Form I irreversibly, and on further heating, melting is observed. In situ single-crystal X-ray diffraction studies revealed that Form II transforms to Form I above 175 degrees C via single-crystal-to-single-crystal transformation. The hydrate, on heating, undergoes a double phase transition, first to Form III upon losing water in a single-crystal-to-single-crystal fashion and then to a more stable polymorph Form I on further heating. Thermal analysis leads to the conclusion that Form II appears to be the most stable phase at ambient conditions, whereas Form I is more stable at higher temperature.

Trace Formulae for Curvature of Jet Bundles over Planar Domains

For a domain Omega in C and an operator T in B-n(Omega), Cowen and Douglas construct a Hermitian holomorphic vector bundle E-T over Omega corresponding to T. The Hermitian holomorphic vector bundle E-T is obtained as a pull-back of the tautological bundle S(n, H) defined over by Gr(n, H) a nondegenerate holomorphic map z bar right arrow ker(T - z), z is an element of Omega. To find the answer to the converse, Cowen and Douglas studied the jet bundle in their foundational paper. The computations in this paper for the curvature of the jet bundle are rather intricate. They have given a set of invariants to determine if two rank n Hermitian holomorphic vector bundle are equivalent. These invariants are complicated and not easy to compute. It is natural to expect that the equivalence of Hermitian holomorphic jet bundles should be easier to characterize. In fact, in the case of the Hermitian holomorphic jet bundle J(k)(L-f), we have shown that the curvature of the line bundle L-f completely determines the class of J(k)(L-f). In case of rank Hermitian holomorphic vector bundle E-f, We have calculated the curvature of jet bundle J(k)(E-f) and also obtained a trace formula for jet bundle J(k)(E-f).

An integral fluctuation theorem for systems with unidirectional transitions

The fluctuations of a Markovian jump process with one or more unidirectional transitions, where R-ij > 0 but R-ji = 0, are studied. We find that such systems satisfy an integral fluctuation theorem. The fluctuating quantity satisfying the theorem is a sum of the entropy produced in the bidirectional transitions and a dynamical contribution, which depends on the residence times in the states connected by the unidirectional transitions. The convergence of the integral fluctuation theorem is studied numerically and found to show the same qualitative features as systems exhibiting microreversibility.

Jacobi forms and differential operators

We affirmatively answer a question due to S. Bocherer concerning the feasibility of removing one differential operator from the standard collection of m + 1 of them used to embed the space of Jacobi forms of weight 2 and index m into several pieces of elliptic modular forms. (C) 2014 Elsevier Inc. All rights reserved.

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.

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.

THEORY OF NEWFORMS OF HALF-INTEGRAL WEIGHT

We set up the theory of newforms of half-integral weight on Gamma(0)(8N) and Gamma(0)(16N), where N is odd and squarefree. Further, we extend the definition of the Kohnen plus space in general for trivial character and also study the theory of newforms in the plus spaces on Gamma(0)(8N), Gamma(0)(16N), where N is odd and squarefree. Finally, we show that the Atkin-Lehner W-operator W-4 acts as the identity operator on S-2k(new)(4N), where N is odd and squarefree. This proves that S-2k(-)(4) = S-2k(4).

Markov chain splitting methods in structural reliability integral estimation

Monte Carlo simulation methods involving splitting of Markov chains have been used in evaluation of multi-fold integrals in different application areas. We examine in this paper the performance of these methods in the context of evaluation of reliability integrals from the point of view of characterizing the sampling fluctuations. The methods discussed include the Au-Beck subset simulation, Holmes-Diaconis-Ross method, and generalized splitting algorithm. A few improvisations based on first order reliability method are suggested to select algorithmic parameters of the latter two methods. The bias and sampling variance of the alternative estimators are discussed. Also, an approximation to the sampling distribution of some of these estimators is obtained. Illustrative examples involving component and series system reliability analyses are presented with a view to bring out the relative merits of alternative methods. (C) 2015 Elsevier Ltd. All rights reserved.

Phase space path integral approach to harmonic oscillator with a time-dependent force constant

The quantum statistical mechanical propagator for a harmonic oscillator with a time-dependent force constant, m omega(2)(t), has been investigated in the past and was found to have only a formal solution in terms of the solutions of certain ordinary differential equations. Such path integrals are frequently encountered in semiclassical path integral evaluations and having exact analytical expressions for such path integrals is of great interest. In a previous work, we had obtained the exact propagator for motion in an arbitrary time-dependent harmonic potential in the overdamped limit of friction using phase space path integrals in the context of Levy flights - a result that can be easily extended to Brownian motion. In this paper, we make a connection between the overdamped Brownian motion and the imaginary time propagator of quantum mechanics and thereby get yet another way to evaluate the latter exactly. We find that explicit analytic solution for the quantum statistical mechanical propagator can be written when the time-dependent force constant has the form omega(2)(t) = lambda(2)(t) - d lambda(t)/dt where lambda(t) is any arbitrary function of t and use it to evaluate path integrals which have not been evaluated previously. We also employ this method to arrive at a formal solution of the propagator for both Levy flights and Brownian subjected to a time-dependent harmonic potential in the underdamped limit of friction. (C) 2015 Elsevier B.V. All rights reserved.

New structural forms of a mycobacterial adenylyl cyclase Rv1625c

Rv1625c is one of 16 adenylyl cyclases encoded in the genome of Mycobacterium tuberculosis. In solution Rv1625c exists predominantly as a monomer, with a small amount of dimer. It has been shown previously that the monomer is active and the dimeric fraction is inactive. Both fractions of wild-type Rv1625c crystallized as head-to-head inactive domain-swapped dimers as opposed to the head-to-tail dimer seen in other functional adenylyl cyclases. About half of the molecule is involved in extensive domain swapping. The strain created by a serine residue located on a hinge loop and the crystallization condition might have led to this unusual domain swapping. The inactivity of the dimeric form of Rv1625c could be explained by the absence of the required catalytic site in the swapped dimer. A single mutant of the enzyme was also generated by changing a phenylalanine predicted to occur at the functional dimer interface to an arginine. This single mutant exists as a dimer in solution but crystallized as a monomer. Analysis of the structure showed that a salt bridge formed between a glutamate residue in the N-terminal segment and the mutated arginine residue hinders dimer formation by pulling the N-terminal region towards the dimer interface. Both structures reported here show a change in the dimerization-arm region which is involved in formation of the functional dimer. It is concluded that the dimerization arm along with other structural elements such as the N-terminal region and certain loops are vital for determining the oligomeric nature of the enzyme, which in turn dictates its activity.

Nonvanishing of Koecher-Maass series attached to Siegel cusp forms

We prove a nonvanishing result for Koecher-Maass series attached to Siegel cusp forms of weight k and degree n in certain strips on the complex plane. When n = 2, we prove such a result for forms orthogonal to the space of the Saito-Kurokawa lifts `up to finitely many exceptions', in bounded regions. (C) 2015 Elsevier Inc. All rights reserved.

L-infinity norms of holomorphic modular forms in the case of compact quotient

We prove a sub-convex estimate for the sup-norm of L-2-normalized holomorphic modular forms of weight k on the upper half plane, with respect to the unit group of a quaternion division algebra over Q. More precisely we show that when the L-2 norm of an eigenfunction f is one, parallel to f parallel to(infinity) <<(epsilon) k(1/2-1/33+epsilon) for any epsilon > 0 and for all k sufficiently large.

A modified approach to numerical solution of Fredholm integral equations of the second kind

A modified approach to obtain approximate numerical solutions of Fredholin integral equations of the second kind is presented. The error bound is explained by the aid of several illustrative examples. In each example, the approximate solution is compared with the exact solution, wherever possible, and an excellent agreement is observed. In addition, the error bound in each example is compared with the one obtained by the Nystrom method. It is found that the error bound of the present method is smaller than the ones obtained by the Nystrom method. Further, the present method is successfully applied to derive the solution of an integral equation arising in a special Dirichlet problem. (C) 2015 Elsevier Inc. All rights reserved.

An alternative approach to study nonlinear inviscid flow over arbitrary bottom topography

This paper deals with a new approach to study the nonlinear inviscid flow over arbitrary bottom topography. The problem is formulated as a nonlinear boundary value problem which is reduced to a Dirichlet problem using certain transformations. The Dirichlet problem is solved by applying Plemelj-Sokhotski formulae and it is noticed that the solution of the Dirichlet problem depends on the solution of a coupled Fredholm integral equation of the second kind. These integral equations are solved numerically by using a modified method. The free-surface profile which is unknown at the outset is determined. Different kinds of bottom topographies are considered here to study the influence of bottom topography on the free-surface profile. The effects of the Froude number and the arbitrary bottom topography on the free-surface profile are demonstrated in graphical forms for the subcritical flow. Further, the nonlinear results are validated with the results available in the literature and compared with the results obtained by using linear theory. (C) 2015 Elsevier Inc. All rights reserved.