Connecting anomaly and tunneling methods for Hawking effect through chirality

The role of chirality is discussed in unifying the anomaly and the tunneling formalisms for deriving the Hawking effect. Using the chirality condition and starting from the familiar form of the trace anomaly, the chiral (gravitational) anomaly, manifested as a nonconservation of the stress tensor, near the horizon of a black hole, is derived. Solution of this equation yields the stress tensor whose asymptotic infinity limit gives the Hawking flux. Finally, use of the same chirality condition in the tunneling formalism gives the Hawking temperature that is compatible with the flux obtained by anomaly method.Comment: LaTex, 8 pages, no figures, reformulation of tunneling mechanism, to appear in Phys. Rev.

Metastable tight knots in a worm-like polymer

Based on an estimate of the knot entropy of a worm-like chain we predict that the interplay of bending energy and confinement entropy will result in a compact metastable configuration of the knot that will diffuse, without spreading, along the contour of the semi-flexible polymer until it reaches one of the chain ends. Our estimate of the size of the knot as a function of its topological invariant (ideal aspect ratio) agrees with recent experimental results of knotted dsDNA. Further experimental tests of our ideas are proposed.Comment: 4 pages, 3 figure

A Canonical Approach to the Quantization of the Damped Harmonic Oscillator

We provide a new canonical approach for studying the quantum mechanical damped harmonic oscillator based on the doubling of degrees of freedom approach. Explicit expressions for Lagrangians of the elementary modes of the problem, characterising both forward and backward time propagations are given. A Hamiltonian analysis, showing the equivalence with the Lagrangian approach, is also done. Based on this Hamiltonian analysis, the quantization of the model is discussed.Comment: Revtex, 6 pages, considerably expanded with modified title and refs.; To appear in J.Phys.

Critical behavior of Born Infeld AdS black holes in higher dimensions

Based on a canonical framework, we investigate the critical behavior of Born-Infeld AdS black holes in higher dimensions. As a special case, considering the appropriate limit, we also analyze the critical phenomena for Reissner Nordstrom AdS black holes. The critical points are marked by the divergences in the heat capacity at constant charge. The static critical exponents associated with various thermodynamic entities are computed and shown to satisfy the thermodynamic scaling laws. These scaling laws have also been found to be compatible with the static scaling hypothesis. Furthermore, we show that the values of these exponents are universal and do not depend on the spatial dimensionality of the AdS space. We also provide a suggestive way to calculate the critical exponents associated with the spatial correlation which satisfy the scaling laws of second kind.Comment: LaTex, 22 pages, 12 figures, minor modifications in text, To appear in Phys. Rev.

On the Hierarchy of Block Deterministic Languages

A regular language is $k$-lookahead deterministic (resp. $k$-block deterministic) if it is specified by a $k$-lookahead deterministic (resp. $k$-block deterministic) regular expression. These two subclasses of regular languages have been respectively introduced by Han and Wood ($k$-lookahead determinism) and by Giammarresi et al. ($k$-block determinism) as a possible extension of one-unambiguous languages defined and characterized by Br\"uggemann-Klein and Wood. In this paper, we study the hierarchy and the inclusion links of these families. We first show that each $k$-block deterministic language is the alphabetic image of some one-unambiguous language. Moreover, we show that the conversion from a minimal DFA of a $k$-block deterministic regular language to a $k$-block deterministic automaton not only requires state elimination, and that the proof given by Han and Wood of a proper hierarchy in $k$-block deterministic languages based on this result is erroneous. Despite these results, we show by giving a parameterized family that there is a proper hierarchy in $k$-block deterministic regular languages. We also prove that there is a proper hierarchy in $k$-lookahead deterministic regular languages by studying particular properties of unary regular expressions. Finally, using our valid results, we confirm that the family of $k$-block deterministic regular languages is strictly included into the one of $k$-lookahead deterministic regular languages by showing that any $k$-block deterministic unary language is one-unambiguous

On the completeness of quantum computation models

The notion of computability is stable (i.e. independent of the choice of an indexing) over infinite-dimensional vector spaces provided they have a finite "tensorial dimension". Such vector spaces with a finite tensorial dimension permit to define an absolute notion of completeness for quantum computation models and give a precise meaning to the Church-Turing thesis in the framework of quantum theory. (Extra keywords: quantum programming languages, denotational semantics, universality.)Comment: 15 pages, LaTe

Angioarchitectural evolution of clival dural arteriovenous fistulas in two patients.

Dural arteriovenous fistulas (dAVFs) may present in a variety of ways, including as carotid-cavernous sinus fistulas. The ophthalmologic sequelae of carotid-cavernous sinus fistulas are known and recognizable, but less commonly seen is the rare clival fistula. Clival dAVFs may have a variety of potential anatomical configurations but are defined by the involvement of the venous plexus just overlying the bony clivus. Here we present two cases of clival dAVFs that most likely evolved from carotid-cavernous sinus fistulas

Verifiable Random Functions

We efficiently combine unpredictability and verifiability by extending the Goldreich-Goldwasser-Micali notion of pseudorandom functions $f_s$ from a secret seed s, so that knowledge of $s$ not only enables one to evaluate $f_s$ at any point x, but also to provide an NP-proof that the value $f{_s}(x)$ is indeed correct without compromising the unpredictability of $f_s$ at any other point for which no such a proof was provided.Engineering and Applied Science

Decidability of quantified propositional intuitionistic logic and S4 on trees

Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers \forall p, \exists p over propositions. In the context of Kripke semantics, a proposition is a subset of the worlds in a model structure which is upward closed. Kremer (1997) has shown that the quantified propositional intuitionistic logic H\pi+ based on the class of all partial orders is recursively isomorphic to full second-order logic. He raised the question of whether the logic resulting from restriction to trees is axiomatizable. It is shown that it is, in fact, decidable. The methods used can also be used to establish the decidability of modal S4 with propositional quantification on similar types of Kripke structures.Comment: v2, 9 pages, corrections and additions; v1 8 page

Enhancement by polydispersity of the biaxial nematic phase in a mixture of hard rods and plates

The phase diagram of a polydisperse mixture of uniaxial rod-like and plate-like hard parallelepipeds is determined for aspect ratios $\kappa=5$ and 15. All particles have equal volume and polydispersity is introduced in a highly symmetric way. The corresponding binary mixture is known to have a biaxial phase for $\kappa=15$, but to be unstable against demixing into two uniaxial nematics for $\kappa=5$. We find that the phase diagram for $\kappa=15$ is qualitatively similar to that of the binary mixture, regardless the amount of polydispersity, while for $\kappa=5$ a sufficient amount of polydispersity stabilizes the biaxial phase. This provides some clues for the design of an experiment in which this long searched biaxial phase could be observed.Comment: 4 pages, 5 eps figure files, uses RevTeX 4 styl