A formal proof of instability for five-dimensional Schwarzschild black strings

Scilight ◽  
2021 ◽  
Vol 2021 (10) ◽  
pp. 101112
Author(s):  
Matthew Ishimaru
Keyword(s):  
Formal Proof ◽  
Black Strings

Type Theory and Formal Proof

2009 ◽  
Author(s):  
Rob Nederpelt ◽  
Herman Geuvers
Keyword(s):  
Type Theory ◽  
Formal Proof

scholarly journals Better state pictures facilitating state machine characteristic conjecture

2021 ◽  
Author(s):  
Dang Duy Bui ◽  
Kazuhiro Ogata
Keyword(s):  
Virtual Machines ◽  
Mutual Exclusion ◽  
State Machine ◽  
Formal Proof ◽  
The State ◽  
Lessons Learned ◽  
Java Virtual Machines ◽  
Core Part ◽  
Proximity Principle

AbstractThe mutual exclusion protocol invented by Mellor-Crummey and Scott (called MCS protocol) is used to exemplify that state picture designs based on which the state machine graphical animation (SMGA) tool produces graphical animations should be better visualized. Variants of MCS protocol have been used in Java virtual machines and therefore the 2006 Edsger W. Dijkstra Prize in Distributed Computing went to their paper on MCS protocol. The new state picture design of a state machine formalizing MCS protocol is assessed based on Gestalt principles, more specifically proximity principle and similarity principle. We report on a core part of a formal verification case study in which the new state picture design and the SMGA tool largely contributed to the successful completion of the formal proof that MCS protocol enjoys the mutual exclusion property. The lessons learned acquired through our experiments are summarized as two groups of tips. The first group is some new tips on how to make state picture designs. The second one is some tips on how to conjecture state machine characteristics by using the SMGA tool. We also report on one more case study in which the state picture design has been made for the mutual exclusion protocol invented by Anderson (called Anderson protocol) and some characteristics of the protocol have been discovered based on the tips.

scholarly journals Thermodynamics of charged and rotating black strings

2012 ◽  
Vol 341 (2) ◽  
pp. 437-443 ◽  
Author(s):  
Aeeman Fatima ◽  
K. Saifullah
Keyword(s):  
Black Strings

scholarly journals International Criminal Tribunal for Rwanda—genocide—conspiracy to commit genocide—complicity in genocide—mens rea—judicial notice

2007 ◽  
Vol 101 (1) ◽  
pp. 157-163 ◽  
Author(s):  
Daniel Bodansky ◽  
Kevin Jon Heller
Keyword(s):  
International Criminal ◽  
Common Knowledge ◽  
Military Training ◽  
International Criminal Tribunal ◽  
Executive Leadership ◽  
Formal Proof ◽  
Mens Rea ◽  
Significant Reversal ◽  
Republican Movement

Prosecutor v. Karemera, Ngirumpatse, & Nzirorera. Case No. ICTR-98-44-AR73(C). Decision on Prosecutor's Interlocutory Appeal of Decision on Judicial Notice. At <http://www.ictr.org>.International Criminal Tribunal for Rwanda, Appeals Chamber, June 16, 2006.In an interlocutory appeal in Prosecutor v. Karemera, the appeals chamber of the International Criminal Tribunal for Rwanda (ICTR) held that the commission of genocide against the Tutsis in 1994 is a “fact of common knowledge” of which trial chambers must take judicial notice (Appeals Decision, paras. 35, 38). The decision represents a significant reversal in ICTR practice: although some trial chambers have been willing to take notice of “widespread and systematic attacks” against Tutsis in Rwanda, they have uniformly insisted that the question of whether the attacks amounted to genocide is so fundamental that formal proof is required.As noted in the indictment, Edouard Karemera and Jospeh Nzirorera were minister-level officials in the Rwanda’ interim government (Indictment, paras. 1, 3) and served, along with Mathieu Ngirumpatse, as the national executive leadership of the National Republican Movement for Democracy and Development (MRND) (id., para. 9). They are charged with, inter alia, conspiracy to commit genocide, direct and public incitement to commit genocide, genocide, and—alternatively—complicity in genocide (id.). The prosecution alleges that they created, recruited, and organized the Interahamwe, the vicious youth wing of the MRND; provided members of the Interahamwe with weapons and military training; and helped formulate and implement policies of the interim government of April 8, 1994, that were intended to incite, encourage, and abet killings of Tutsis (id., para. 14).

The possibility of a stable flat dark energy-dominated Swiss-cheese brane-world universe

2020 ◽  
Vol 17 (05) ◽  
pp. 2050075
Author(s):  
Nasr Ahmed ◽  
Kazuharu Bamba ◽  
F. Salama
Keyword(s):  
Dark Energy ◽  
Cosmological Constant ◽  
Cosmological Models ◽  
Brane World ◽  
Fine Tuning ◽  
Energy Conditions ◽  
Late Time ◽  
Swiss Cheese ◽  
Black Strings ◽  
The Stability

In this paper, we study the possibility of obtaining a stable flat dark energy-dominated universe in a good agreement with observations in the framework of Swiss-cheese brane-world cosmology. Two different brane-world cosmologies with black strings have been introduced for any cosmological constant [Formula: see text] using two empirical forms of the scale factor. In both models, we have performed a fine-tuning between the brane tension and the cosmological constant so that the Equation of state (EoS) parameter [Formula: see text] for the current epoch, where the redshift [Formula: see text]. We then used these fine–tuned values to calculate and plot all parameters and energy conditions. The deceleration–acceleration cosmic transition is allowed in both models, and the jerk parameter [Formula: see text] at late-times. Both solutions predict a future dark energy-dominated universe in which [Formula: see text] with no crossing to the phantom divide line. While the pressure in the first solution is always negative, the second solution predicts a better behavior of cosmic pressure where the pressure is negative only in the late-time accelerating era but positive in the early-time decelerating era. Such a positive-to-negative transition in the evolution of pressure helps to explain the cosmic deceleration–acceleration transition. Since black strings have been proved to be unstable by some authors, this instability can actually reflect doubts on the stability of cosmological models with black strings (Swiss-cheese type brane-worlds cosmological models). For this reason, we have carefully investigated the stability through energy conditions and sound speed. Because of the presence of quadratic energy terms in Swiss-cheese type brane-world cosmology, we have tested the new nonlinear energy conditions in addition to the classical energy conditions. We have also found that a negative tension brane is not allowed in both models of the current work as the energy density will no longer be well defined.

Sign in / Sign up

Export Citation Format

Share Document