We give explicit constructions of static, non-supersymmetric p-brane (for p ≤ d − 4, where d is the space-time dimensionality and including p = −1 or D-instanton) solutions of type II supergravities in diverse dimensions. A subclass of these are the static counterpart of the time dependent solutions obtained in [hep-th/0309202]. Depending on the forms of the nonextremality function G(r) defined...

We have shown that if one relaxes the constraint that the quarks in a heavy quarkonium are at rest and on-shell, new contributions to the discontinuity of the production amplitude appear. These can be seen as a s-cut in the amplitude and are on the same footage as the classical cut of the Colour-Singlet Model (CSM), where the heavy quarks forming the quarkonium are put on-shell by hypothesis. W...

The well-known “displace, cut and reflect” method used to generate disks from given solutions of Einstein field equations is applied to the superposition of two extreme Reissner-Nordström black holes to construct disks made of charged dust and also non-axisymmetric planar distributions of charged dust on the z = 0 plane. They are symmetric with respect to two or one coordinate axes, depending w...

In mechanical systems, Maxwell-Betti reciprocity means that the displacement at point B in response to a force at point A is the same as the displacement at point A in response to the same force applied at point B. Because the notion of reciprocity is general, fundamental, and is operant for other physical systems like electromagnetics, acoustics, and optics, there is significant interest in un...

We propose a size analysis algorithm that combines testing and type checking to automatically obtain static output-on-input size dependencies for first-order functions. Attention is restricted to functions for which the size of the result is strictly polynomial, not necessarily monotonic, in the sizes of the arguments. To infer a size dependency, the algorithm generates hypotheses for increasin...

Conventional array partitioning analyses split arrays into contiguous partitions to infer properties of sets of cells. Such analyses cannot group together non contiguous cells, even when they have similar properties. In this paper, we propose an abstract domain which utilizes semantic properties to split array cells into groups. Cells with similar properties will be packed into groups and abstr...

We present a method for computing the static quark-antiquark potential, which is not based on Wilson loops, but where the trial states are formed by eigenvector components of the covariant lattice Laplace operator. We have tested this method in SU(2) Yang-Mills theory and have obtained results with statistical errors of similar magnitude compared to a standard Wilson loop computation. The runti...

What restrictions are there on a spacetime for which the Ricci curvature is such as to produce convergence of geodesics (such as the preconditions for the Singularity Theorems) but for which there are no singularities? We answer this question for a restricted class of spacetimes: static, geodesically complete, and globally hyperbolic. The answer is that, in at least one spacelike direction, the...

We carry out the renormalization and the Symanzik O(a)-improvement programme for the static vector current in quenched lattice QCD. The scale independent ratio of the renormalization constants of the static vector and axial currents is obtained non-perturbatively from an axial Ward identity with Wilson-type light quarks and various lattice discretizations of the static action. The improvement c...

This paper presents a spin-transfer torquemagnetic tunnel junction (STT-MTJ) based non-volatile 9-transistor (9T) SRAM cell. The cell achieves low power dissipation due to its series connected MTJ elements and read buffer which offer stacking effect. The paper studies the impact of PVT (process, voltage, and temperature) variations on the design metric of the SRAM cell such as write delay and c...