Entanglement witnesses arising from Choi type positive linear maps

We construct optimal PPTES witnesses to detect $3\otimes 3$ PPT entangled edge states of type $(6,8)$ constructed recently \cite{kye_osaka}. To do this, we consider positive linear maps which are variants of the Choi type map involving complex numbers, and examine several notions related to optimality for those entanglement witnesses. Through the discussion, we suggest a method to check the optimality of entanglement witnesses without the spanning property.Comment: 18 pages, 4 figures, 1 tabl

Horizon Mass Theorem

A new theorem for black holes is found. It is called the horizon mass theorem. The horizon mass is the mass which cannot escape from the horizon of a black hole. For all black holes: neutral, charged or rotating, the horizon mass is always twice the irreducible mass observed at infinity. Previous theorems on black holes are: 1. the singularity theorem, 2. the area theorem, 3. the uniqueness theorem, 4. the positive energy theorem. The horizon mass theorem is possibly the last general theorem for classical black holes. It is crucial for understanding Hawking radiation and for investigating processes occurring near the horizon.Comment: A new theorem for black holes is establishe

One parameter family of indecomposable optimal entanglement witnesses arising from generalized Choi maps

In the recent paper [Chru\'{s}ci\'{n}ski and Wudarski, arXiv:1105.4821], it was conjectured that the entanglement witnesses arising from some generalized Choi maps are optimal. We show that this conjecture is true. Furthermore, we show that they provide a one parameter family of indecomposable optimal entanglement witnesses.Comment: 3 page

Enhancing bowel cancer surgery recovery through information design

Bowel surgery is the most common treatment for numerous bowel diseases Including cancer. The provision of Information before and after bowel surgery Is an Important element of recovery. Pre-operative education assists In the psychological preparation for surgery, which has been shown to have a positive Impact on patient satisfaction, pain management, and the duration of hospital stay. Traditionally, Information Is provided before surgery and delivered In text heavy written format, which presents a number of challenges, such as patients feeling overwhelmed, especially when diagnoses of cancer and plans for major surgery are discussed concurrently. Previous evidence also shows patients desire to be pro-actively Involved In their recovery. Unfortunately, the development of new education Interventions uncommonly Involves patients and other Information specialists In their design. To tackle this problem, a mixed-methods user-centered design approach was conducted to redesign an existing patient Information booklet In order to meet patient needs and Improve communication among patients and medical staff. For example, among other methods, a 'within co-design' approach was used to Identify stakeholder needs. Several usability tests and Iterations were conducted throughout the design development to create a more visualized design format that follows research-based cognitive and design principles. Empirical testing was then conducted to evaluate and validate the final booklet design, collecting both qualitative and quantitative data. Results show significant differences In performance and users' preference between text dense Information and a combination of text and visualized Information. This In-depth research focusing on the booklet was then followed by the development of companion outputs (website and environmental Infographics) through the same mixed-methods user-centered design approach. All In all, this study provides significant evidence and Important guidelines on how to effectively communicate bowel surgery recovery Information to patients, In order to Increase their understanding and active role In their recovery, as well as minimize their uncertainties and anxiety. Although focusing on a specific scenario, these findings are also widely applicable to many forms of healthcare Information

Event Stream Processing with Multiple Threads

Current runtime verification tools seldom make use of multi-threading to speed up the evaluation of a property on a large event trace. In this paper, we present an extension to the BeepBeep 3 event stream engine that allows the use of multiple threads during the evaluation of a query. Various parallelization strategies are presented and described on simple examples. The implementation of these strategies is then evaluated empirically on a sample of problems. Compared to the previous, single-threaded version of the BeepBeep engine, the allocation of just a few threads to specific portions of a query provides dramatic improvement in terms of running time