scholarly journals Natural Quantum Operational Semantics with Predicates

Author(s):  
Marek Sawerwain ◽  
Roman Gielerak

Natural Quantum Operational Semantics with PredicatesA general definition of a quantum predicate and quantum labelled transition systems for finite quantum computation systems is presented. The notion of a quantum predicate as a positive operator-valued measure is developed. The main results of this paper are a theorem about the existence of generalised predicates for quantum programs defined as completely positive maps and a theorem about the existence of a GSOS format for quantum labelled transition systems. The first theorem is a slight generalisation of D'Hondt and Panagaden's theorem about the quantum weakest precondition in terms of discrete support positive operator-valued measures.

2019 ◽  
Vol 17 (03) ◽  
pp. 1950021
Author(s):  
Gang Wang ◽  
Min-Yao Niu ◽  
Fang-Wei Fu

A symmetric informationally complete positive operator-valued measure (SIC-POVM) is a POVM in [Formula: see text] consisting of [Formula: see text] positive operators of rank one such that all of whose Hermite inner products are equal. SIC-POVMs are important in quantum information theory, which have many applications in quantum state tomography, quantum cryptography and basic research in quantum mechanics. However, it is very difficult to construct SIC-POVMs. Therefore, many scholars have focused on approximately symmetric informationally complete positive operator-valued measures (ASIC-POVMs) for which the Hermite inner products are close to equal. In this paper, two new constructions of ASIC-POVMs are provided by using character sums and some special functions over finite fields.


2014 ◽  
Vol 24 (4) ◽  
Author(s):  
FILIPPO BONCHI ◽  
FABIO GADDUCCI ◽  
GIACOMA VALENTINA MONREALE

In this paper we focus on the synthesis of labelled transition systems (LTSs) for process calculi using Mobile Ambients (MAs) as a testbed. Our proposal is based on a graphical encoding: a process is mapped into a graph equipped with interfaces such that the denotation is fully abstract with respect to the standard structural congruence. Graphs with interfaces are amenable to the synthesis mechanism based on borrowed contexts (BCs), which is an instance of relative pushouts (RPOs). The BC mechanism allows the effective construction of an LTS that has graphs with interfaces as states and labels, and such that the associated bisimilarity is a congruence. We focus here on the analysis of an LTS over processes as graphs with interfaces: we use the LTS on graphs to recover an LTS directly defined over the structure of MA processes and define a set of SOS inference rules capturing the same operational semantics.


2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Maria Joiţa

AbstractWe extend the definition of order zero maps to the setting of pro-{C^{*}}-algebras and generalize structure theorems of order zero maps between {C^{*}}-algebras to strongly bounded order zero maps between pro-{C^{\ast}}-algebras. An application to tensor products is included.


Author(s):  
Liangxue Fu ◽  
Fengli Yan ◽  
Ting Gao

Abstract We mainly study the block-coherence measures based on resource theory of block-coherence and the coherence measures based on positive-operator-valued measures (POVM). Several block-coherence measures including a block-coherence measure based on maximum relative entropy, the one-shot block coherence cost under the maximally block-incoherent operations, and a coherence measure based on coherent rank have been introduced and the relationships between these block-coherence measures have been obtained. We also give the definition of the maximally block-coherent state and describe the deterministic coherence dilution process by constructing block-incoherent operations. Based on the POVM coherence resource theory, we propose a POVM-based coherence measure by using the known scheme of building POVM-based coherence measures from block-coherence measures, and the one-shot block coherence cost under the maximally POVM-incoherent operations. The relationship between the POVM-based coherence measure and the one-shot block coherence cost under the maximally POVM-incoherent operations is analysed.


2012 ◽  
Vol 22 (2) ◽  
pp. 125-173 ◽  
Author(s):  
LUCA ACETO ◽  
ANNA INGOLFSDOTTIR ◽  
PAUL BLAIN LEVY ◽  
JOSHUA SACK

The concurrency theory literature offers a wealth of examples of characteristic-formula constructions for various behavioural relations over finite labelled transition systems and Kripke structures that are defined in terms of fixed points of suitable functions. Such constructions and their proofs of correctness have been developed independently, but have a common underlying structure. This paper provides a general view of characteristic formulae that are expressed in terms of logics that have a facility for the recursive definition of formulae. We show how several examples of characteristic-formula constructions in the literature can be recovered as instances of the proposed general framework, and how the framework can be used to yield novel constructions. The paper also offers general results pertaining to the definition of co-characteristic formulae and of characteristic formulae expressed in terms of infinitary modal logics.


2016 ◽  
Vol 14 (1) ◽  
pp. 1122-1124 ◽  
Author(s):  
Ricardo Almeida ◽  
Małgorzata Guzowska ◽  
Tatiana Odzijewicz

AbstractIn this short note we present a new general definition of local fractional derivative, that depends on an unknown kernel. For some appropriate choices of the kernel we obtain some known cases. We establish a relation between this new concept and ordinary differentiation. Using such formula, most of the fundamental properties of the fractional derivative can be derived directly.


2020 ◽  
Vol 79 (Suppl 1) ◽  
pp. 1633.2-1634
Author(s):  
F. Cosan ◽  
O. M. Gedar

Background:Reactive arthritis (ReA) is defined by 1999 ACR criteria as arthritis preceding a bacterial genitourinary (GUS) or gastrointestinal (GIS) infection in 3 days-6 weeks and evidence of triggering infection. Recently, ReA is classified as SpA and patients who do not fulfill SpA criteria are classified as undifferentiated spondyloarthritis (USpA) according to ASAS/EULAR SpA classification criteria.Objectives:In several case reports which are associated with other infective agents are reported and the definition is extended for some clinicians so that SpA which is occurred after any infection is called as ReA. On the other hand, some researchers still accept the classical definition of ReA. The problem with the heterogeneity of opinions and unstandardized definition of ReA hinders studies about pathogenesis and standardization of treatments. In this study, we aimed to determine the spectrum of the use of the definition of reactive arthritis in publications in PubMed between 2009-2019.Methods:The ReA keyword is searched in PubMed for the years between 2009-2019. 248 different publications have been identified and included in this research. 89 articles, 47 reviews, 108 case reports, 2 guidelines, and 2 editorials reviewed for the definition of ReA.Results:Only 42.7% (106 patients) of these publications meet the classical definition which suggests ReA after only GIS and GUS infections. In 4 (1.6%) of the publications ReA was defined after GIS, GUS and oropharyngeal infections; in 3 (1,2%) of the publications after any bacterial infection; in 9 (3.6%) of the publications after any infection. In 8 (3.2%) of the publications, ReA and USPA was used correspondingly. In 39 (15,7%) of the publications the term agent related, ReA was used without making a general definition for ReA. 79 publications (31,9%) have not defined ReA.According to causative agent and ReA relationship, in 64 (24,6%) general infective agents, in 75 (30,2%) classical agents, in 22 (8,9%) other bacterial agents, in 23 (9,3%) streptococcus, in 10(4%) intravesical BCG, in 6 (2.4%) HIV, in 6 (2.4%) tuberculosis, in 12 (4,8%) clostrudium difficle, in 2 (0.8%) parasites were reported. In 31 (12,5%) of the publications the causative agent for the ReA was unknown, the diagnosis was made clinically.Conclusion:In this study, it is aimed to draw attention terminology intricacy and the need for the standardization of the definition of ReA and USpA. It is clear that to standardize the definition of Rea and USpA is necessary. Between 2009-2019 there are reported cases diagnosed as ReA associated with bacterial infections (especially with Clostridium difficile, streptococcus and tuberculosis infections), and viral infections (by a majority with HIV), and parasitic infections. It is not clear if we need to define them classically or define them as USPA. Another important consideration is the necessity of extended laboratory investigations to find out the real causative agent even if the patient is clinically diagnosed with ReA. The requirement of the differentiation between ReA and USpA must be revealed for therapeutic researches.References:[1]A proposal for the classification of patients for clinical and experimental studies on reactive arthritis. Pacheco-Tena C, Burgos-Vargas R, Vázquez-Mellado J, Cazarín J, Pérez-Díaz JA. J Rheumatol. 1999 Jun;26(6):1338-46.[2]The Assessment of SpondyloArthritis International Society classification criteria for peripheral spondyloarthritis and for spondyloarthritis in general. Rudwaleit M, van der Heijde D, Landewé R, Akkoc N, Brandt J, Chou CT, Dougados M, Huang F, Gu J, Kirazli Y, et al. Ann Rheum Dis. 2011;70:25–31.Disclosure of Interests:None declared


Sign in / Sign up

Export Citation Format

Share Document