49 citations · 152 across the 17 of their papers we have counts for
18 papers
Entangling capacity of operators
Manas K Patra
Given a unitary operator acting on a composite quantum system what is the entangling capacity of ? This question is investigated using a geometric approach. The entangling c…
Metrics and pseudometrics on unitary groups with applications in quantum information processing
Manas K Patra
Metrics and pseudometrics are defined on the group of unitary operators in a Hilbert space. Several explicit formulas are derived. A special feature of the work is investigation of…
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract)
R van der Meyden, M K Patra
We investigate the decidability of model-checking logics of time, knowledge and probability, with respect to two epistemic semantics: the clock and synchronous perfect recall seman…
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic
Ron van der Meyden, Manas K. Patra
We investigate the decidability of model-checking logics of time, knowledge and probability, with respect to two epistemic semantics: the clock and synchronous perfect recall seman…
Information and communication in polygon theories
Serge Massar, Manas K. Patra
Generalized probabilistic theories (GPT) provide a framework in which one can formulate physical theories that includes classical and quantum theories, but also many other alternat…
Generalised probabilistic theories and conic extensions of polytopes
Samuel Fiorini, Serge Massar, Manas K. Patra +1
Generalized probabilistic theories (GPT) provide a general framework that includes classical and quantum theories. It is described by a cone and its dual . We show that wh…