Black String Perturbations in RS1 Model

We present a general formalism for black string perturbations in Randall-Sundrum 1 model (RS1). First, we derive the master equation for the electric part of the Weyl tensor $E_{\mu\nu}$. Solving the master equation using the gradient expansion method, we give the effective Teukolsky equation on the brane at low energy. It is useful to estimate gravitational waves emitted by perturbed rotating black strings. We also argue the effect of the Gregory-Laflamme instability on the brane using our formalism.Comment: 14 pages, Based on a talk presented at ACRGR4, the 4th Australasian Conference on General Relativity and Gravitation, Monash University, Melbourne, January 2004. To appear in the proceedings, in General Relativity and Gravitatio

The Quark Gluon Pion Plasma

While it is commonly believed that there is a {\it direct} transition from the hadronic to a quark gluon phase at high temperature, it would be prejudicial to rule out a sequence of dynamically generated intermediate scales. Using as guide, an effective lagrangian with unconfined gluons and constituent quarks, interacting with a chiral multiplet, we examine a scenario in which the system undergoes first-order transitions at $T_{comp}$, the compositeness scale of the pions, at $T_{\chi}$, the scale for spontaneous chiral symmetry breaking, and at $T_c$, the confinement temperature. We find that at current energies, it is likely that the formation temperature of the plasma, $T_0 < T_{comp}$, and that this is therefore a quark gluon pion plasma (QGPP) rather than the usual quark gluon plasma (QGP). We propose some dilepton-related signatures of this scenario.Comment: Rewritten, new figure

Quantum Statistical Entropy and Minimal Length of 5D Ricci-flat Black String with Generalized Uncertainty Principle

In this paper, we study the quantum statistical entropy in a 5D Ricci-flat black string solution, which contains a 4D Schwarzschild-de Sitter black hole on the brane, by using the improved thin-layer method with the generalized uncertainty principle. The entropy is the linear sum of the areas of the event horizon and the cosmological horizon without any cut-off and any constraint on the bulk's configuration rather than the usual uncertainty principle. The system's density of state and free energy are convergent in the neighborhood of horizon. The small-mass approximation is determined by the asymptotic behavior of metric function near horizons. Meanwhile, we obtain the minimal length of the position $\Delta x$ which is restrained by the surface gravities and the thickness of layer near horizons.Comment: 11pages and this work is dedicated to the memory of Professor Hongya Li

Metric for Security Activities assisted by Argumentative Logic

International audienceRecent security concerns related to future embedded systems make enforcement of security requirements one of the most critical phases when designing such systems. This paper introduces an approach for efficient enforcement of security requirements based on argumentative logic, especially reasoning about activation or deactivation of different security mechanisms under certain functional and non-functional requirements. In this paper, the argumentative logic is used to reason about the rationale behind dynamic enforcement of security policies

Introducing Preference-Based Argumentation to Inconsistent Ontological Knowledge Bases

International audienceHandling inconsistency is an inherent part of decision making in traditional agri-food chains – due to the various concerns involved. In order to explain the source of inconsistency and represent the existing conflicts in the ontological knowledge base, argumentation theory can be used. However, the current state of art methodology does not allow to take into account the level of significance of the knowledge expressed by the various ontological knowledge sources. We propose to use preferences in order to model those differences between formulas and evaluate our proposal practically by implementing it within the INRA platform and showing a use case using this formalism in a bread making decision support system

Brick Walls on the Brane

The so-called ``brick-wall model'' is a semi-classical approach that has been used to explain black hole entropy in terms of thermal matter fields. Here, we apply the brick-wall formalism to thermal bulk fields in a Randall-Sundrum brane world scenario. In this case, the black hole entity is really a string-like object in the anti-de Sitter bulk, while appearing as a Schwarzchild black hole to observers living on the brane. In spite of these exotic circumstances, we establish that the Bekenstein-Hawking entropy law is preserved. Although a similar calculation was recently considered in the literature, this prior work invoked a simplifying assumption (which we avoid) that can not be adequately justified.Comment: 18 pages, Latex; references and discussion added but conclusions unchanged; references missing in V4 have been restore

Classical logic, argument and dialectic

A well studied instantiation of Dung's abstract theory of argumentation yields argumentation-based characterisations of non-monotonic inference over possibly inconsistent sets of classical formulae. This provides for single-agent reasoning in terms of argument and counter-argument, and distributed non-monotonic reasoning in the form of dialogues between computational and/or human agents. However, features of existing formalisations of classical logic argumentation (Cl-Arg) that ensure satisfaction of rationality postulates, preclude applications of Cl-Arg that account for real-world dialectical uses of arguments by resource-bounded agents. This paper formalises dialectical classical logic argumentation that both satisfies these practical desiderata and is provably rational. In contrast to standard approaches to Cl-Arg we: 1) draw an epistemic distinction between an argument's premises accepted as true, and those assumed true for the sake of argument, so formalising the dialectical move whereby arguments' premises are shown to be inconsistent, and avoiding the foreign commitment problem that arises in dialogical applications; 2) provide an account of Cl-Arg suitable for real-world use by eschewing the need to check that an argument's premises are subset minimal and consistent, and identifying a minimal set of assumptions as to the arguments that must be constructed from a set of formulae in order to ensure that the outcome of evaluation is rational. We then illustrate our approach with a natural deduction proof theory for propositional classical logic that allows measurement of the ‘depth’ of an argument, such that the construction of depth-bounded arguments is a tractable problem, and each increase in depth naturally equates with an increase in the inferential capabilities of real-world agents. We also provide a resource-bounded argumentative characterisation of non-monotonic inference as defined by Brewka's Preferred Subtheories

Towards Depth-Bounded Natural Deduction for Classical First-order Logic

In this paper we lay the foundations of a new proof-theory for classical first-order logic that allows for a natural characterization of a notion of inferential depth. The approach we propose here aims towards extending the proof-theoretical framework presented in [6] by combining it with some ideas inspired by Hintikka’s work [18]. Unlike standard natural deduction, in this framework the inference rules that fix the meaning of the logical operators are symmetrical with respect to assent and dissent and do not involve the discharge of formulas. The only discharge rule is a classical dilemma rule whose nested applications provide a sensible measure of inferential depth. The result is a hierarchy of decidable depth-bounded approximations of classical first-order logic that expands the hierarchy of tractable approximations of Boolean logic investigated in [11, 10, 7]

Orbital resonances in discs around braneworld Kerr black holes

Rotating black holes in the brany universe of the Randall-Sundrum type are described by the Kerr geometry with a tidal charge b representing the interaction of the brany black hole and the bulk spacetime. For b<0 rotating black holes with dimensionless spin a>1 are allowed. We investigate the role of the tidal charge b in the orbital resonance model of QPOs in black hole systems. The orbital Keplerian, the radial and vertical epicyclic frequencies of the equatorial, quasicircular geodetical motion are given and their radial profiles are discussed. The resonant conditions are given in three astrophysically relevant situations: for direct (parametric) resonances, for the relativistic precession model, and for some trapped oscillations of the warped discs, with resonant combinational frequencies. It is shown, how b could influence matching of the observational data indicating the 3:2 frequency ratio observed in GRS 1915+105 microquasar with prediction of the orbital resonance model; limits on allowed range of the black hole parameters a and b are established. The "magic" dimensionless black hole spin enabling presence of strong resonant phenomena at the radius where \nu_K:\nu_{\theta}:\nu_r=3:2:1 is determined in dependence on b. Such strong resonances could be relevant even in sources with highly scattered resonant frequencies, as those expected in Sgr A*. The specific values of a and b are given also for existence of specific radius where \nu_K:\nu_{\theta}:\nu_r=s:t:u with 5>=s>t>u being small natural numbers. It is shown that for some ratios such situation is impossible in the field of black holes. We can conclude that analysing the microquasars high-frequency QPOs in the framework of orbital resonance models, we can put relevant limits on the tidal charge of brany Kerr black holes.Comment: 31 pages, 19 figures, to appear in General Relativity and Gravitatio